Topological gauge theories and group cohomology

We show that three dimensional Chern-Simons gauge theories with a compact gauge groupG (not necessarily connected or simply connected) can be classified by the integer cohomology groupH ⁴(BG,Z). In a similar way, possible Wess-Zumino interactions of such a groupG are classified byH ³(G,Z). The relation between three dimensional Chern-Simons gauge theory and two dimensional sigma models involves a certain natural map fromH ⁴(BG,Z) toH ³(G,Z). We generalize this correspondence to topological spin theories, which are defined on three manifolds with spin structure, and are related to what might be calledZ ₂ graded chiral algebras (or chiral superalgebras) in two dimensions. Finally we discuss in some detail the formulation of these topological gauge theories for the special case of a finite group, establishing links with two dimensional (holomorphic) orbifold models.     

Delaunay graphs are almost as good as complete graphs

LetS be any set ofN points in the plane and let DT(S) be the graph of the Delaunay triangulation ofS. For all pointsa andb ofS, letd(a, b) be the Euclidean distance froma tob and let DT(a, b) be the length of the shortest path in DT(S) froma tob. We show that there is a constantc (≤((1+√5)/2) π≈5.08) independent ofS andN such that $$\frac{{DT(a,b)}}{{d(a,b)}}< c.$$      

Quadratically constrained minimum cross-entropy analysis

Quadratically constrained minimum cross-entropy problem has recently been studied by Zhang and Brockett through an elaborately constructed dual. In this paper, we take a geometric programming approach to analyze this problem. Unlike Zhang and Brockett, we separate the probability constraint from general quadratic constraints and use two simple geometric inequalities to derive its dual problem. Furthermore, by using the dual perturbation method, we directly prove the strong duality theorem and derive a dual-to-primal conversion formula. As a by-product, the perturbation proof gives us insights to develop a computation procedure that avoids dual non-differentiability and allows us to use a general purpose optimizer to find an-optimal solution for the quadratically constrained minimum cross-entropy analysis.     

Amenability,Poincaré series and quasiconformal maps

Summary Any coveringYX of a hyperbolic Riemann surfaceX of finite area determines an inclusion of Teichmüller spaces Teich(X)Teich(Y). We show this map is an isometry for the Teichmüller metric if the covering isamenable, and contracting otherwise. In particular, we establish <1 for classical Poincaré series (Kra's Theta conjecture).The appendix develops the theory of geometric limits of quadratic differentials, used in this paper and a sequel.Research partially supported by an NSF Postdoctoral Fellowship     

Valence bond ground states in isotropic quantum antiferromagnets

Haldane predicted that the isotropic quantum Heisenberg spin chain is in a massive phase if the spin is integral. The first rigorous example of an isotropic model in such a phase is presented. The Hamiltonian has an exactSO(3) symmetry and is translationally invariant, but we prove the model has a unique ground state, a gap in the spectrum of the Hamiltonian immediately above the ground state and exponential decay of the correlation functions in the ground state. Models in two and higher dimension which are expected to have the same properties are also presented. For these models we construct an exact ground state, and for some of them we prove that the two-point function decays exponentially in this ground state. In all these models exact ground states are constructed by using valence bonds.Supported in part by N.S.F. Grant PHY-80-19754. Fellow of the A.P. Sloan Foundation and the Canadian Institute for Advanced ResearchN.S.F. Post-doctoral FellowSupported in part by N.S.F. Grant PHY-85-15288-A01     

Analyticity properties of eigenfunctions and scattering matrix

For potentialsV=V(x)=O(|x|^–2–) for |x|,x³ we prove that if theS-matrix of (–, –+V) has an analytic extension to a regionO in the lower half-plane, then the family of generalized eigenfunctions of –+V has an analytic extension toO such that for |Imk|<b. Consequently, the resolvent (–+V–z ²)^–1 has an analytic continuation from ⁺ to {kOImk|<b} as an operator from _b ={f=e ^–b|x| g|gL ₂(³)} to _–b . Based on this, we define for potentialsW=o(e ^–2b|x|) resonances of (–+V, –+V+W) as poles of and identify these resonances with poles of the analytically continuedS-matrix of (–+V, –+V+W).The author would like to thank the Institute for Advanced Study for its hospitality and the National Science Foundation for financial support under Grant No. DMS-8610730(1)     

A general relation between kink-exchange and kink-rotation

The normal correlation between spin and statistics is shown to be valid for arbitrary kinks, among them theSU(n) Skyrmions forn3. It is assumed in the proof that no gauge-ambiguity attaches to the values of the underlying scalar field, and that conversely each configuration of this field is represented quantum mechanically by a Hilbert subspace of dimension precisely one.Supported in part by NSF Grant No. PHY 83-18350     

The stability and instability of relativistic matter

We consider the quantum mechanical many-body problem of electrons and fixed nuclei interacting via Coulomb forces, but with a relativistic form for the kinetic energy, namelyp ²/2m is replaced by (p ² c ²+m ² c ⁴)^1/2–mc ². The electrons are allowed to haveq spin states (q=2 in nature). For one electron and one nucleus instability occurs ifz>2/, wherez is the nuclear charge and is the fine structure constant. We prove that stability occurs in the many-body case ifz2/ and <1/(47q). For smallz, a better bound on is also given. In the other direction we show that there is a critical _c (no greater than 128/15) such that if > _c then instability always occurs forall positivez (not necessarily integral) when the number of nuclei is large enough. Several other results of a technical nature are also given such as localization estimates and bounds for the relativistic kinetic energy.Work partially supported by U.S. National Science Foundation grant PHY-85-15288-A02The author thanks the Institute for Advanced Study for its hospitality and the U.S. National Science Foundation for support under grant DMS-8601978     

Approximate neutrality of large-Z ions

LetN(Z) denote the number of electrons which a nucleus of chargeZ can bind in non-relativistic quantum mechanics (assuming that electrons are fermions). We prove thatN(Z)/Z1 asZ.Research partially supported by the NSERC under Grant NA7901 and by the USNSF under Grants DMS-8416049 and PHY 85-15288-A01