Hospital Waiting List Management Models

This paper describes work carried out with hospital consultants in Lancaster District Health Authority to develop and use computerized waiting list management models. The ‘what if?’ models produced have been found to be a very useful tool in the constructive debate about problems faced by consultants and managers, and of the options available to them.     

Engel Values in Residually Finite Groups

The following theorem is proved. Let n be a positive integer and q a power of a prime p. There exists a number m = m(n, q) depending only on n and q such that if G is any residually finite group satisfying the identity ([x _1,n y ₁] ⋯ [x _m,n y _m ])^q ≡ 1, then the verbal subgroup of G corresponding to the nth Engel word is locally finite.     

Construct non-graded bi-Frobenius algebras via quivers

Using the quiver technique we construct a class of non-graded bi-Frobenius algebras. We also classify a class of graded bi-Frobenius algebras via certain equations of structure coefficients.     

Refraction of light in media

The roles of the magnetic field and electric field of the light are investigated when the light is refracted in the medium. The model of the electron cloud conductor is presented. Electron cloud in a molecule is treated as a conductor and the Faraday’s Law is applied to this conductor that is in the alternating magnetic field of the light. dB _M/dt of the light gives rise to an alternating induced current on the electron cloud conductor, and the light exchanges energy, i.e. the refractive energy, with the electron cloud conductor. Formulas of refractive index, which is the ratio of light speed in vacuum to that in the medium, are derived with this model. These formulas are tested with several mediums and Langevin’s diamagnetic susceptibility of helium gas, and the results are in good agreement with the measured data. The anisotropy and the nonlinearity of the refractive index are explained with the theory described in this work. Supported by Beijing Science and Technology New Star Program (Grant No. 952870400), the Beijing Municipal Commission of Education and the Excellent Young Teachers Program of Ministry of Education of China     

On Donaldson’s flow of surfaces in a hyperkähler four-manifold

We prove some basic properties of Donaldson’s flow of surfaces in a hyperkähler 4-manifold. When the initial submanifold is symplectic with respect to one Kähler form and Lagrangian with respect to another, we show that certain kinds of singularities cannot form, and we prove a convergence result under a condition related to one considered by M.-T. Wang for the mean curvature flow.     

Completely Simple Semigroups,Lie Algebras,and the Road Coloring Problem

Consider a semigroup generated by matrices associated with an edge-coloring of a strongly connected, aperiodic digraph. We call the semigroup Lie-solvable if the Lie algebra generated by its elements is solvable. We show that if the semigroup is Lie-solvable then its kernel is a right group. Next, we study the Lie algebra generated by the kernel. Lie algebras generated by two idempotents are analyzed in detail. We find that these have homomorphic images that are generalized quaternion algebras. We show that if the kernel is not a direct product, then the Lie algebra generated by the kernel is not solvable by describing the structure of these algebras. Finally, we discuss an infinite class of examples that are shown to always produce strongly connected aperiodic digraphs having kernels that are not right groups.     

On the torsion of Jacobians of principal modular curves of level 3<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

We demonstrate that the 3-power torsion points of the Jacobians of the principal modular curves X(3ⁿ) are fixed by the kernel of the canonical outer Galois representation of the pro-3 fundamental group of the projective line minus three points. The proof proceeds by demonstrating the curves in question satisfy a two-part criterion given by Anderson and Ihara. Two proofs of the second part of the criterion are provided; the first relies on a theorem of Shimura, while the second uses the moduli interpretation. Received: 30 September 2005