Smart Geodesic Tracing in GRworkbench

We have developed a new tool for numerical work in General Relativity: GRworkbench. We discuss how GRworkbench's implementation of a numerically-amenable analogue to Differential Geometry facilitates the development of robust and chart-independent numerical algorithms. We consider, as an example, geodesic tracing on two charts covering the exterior Schwarzschild space-time.     

On the Reality of the Eigenvalues for a Class of -Symmetric Oscillators

 We study the eigenvalue problem with the boundary conditions that decays to zero as z tends to infinity along the rays , where is a real polynomial and . We prove that if for some we have for all , then the eigenvalues are all positive real. We then sharpen this to a larger class of polynomial potentials. In particular, this implies that the eigenvalues are all positive real for the potentials when with , and with the boundary conditions that decays to zero as z tends to infinity along the positive and negative real axes. This verifies a conjecture of Bessis and Zinn-Justin. Received: 16 January 2002 / Accepted: 1 May 2002 Published online: 6 August 2002     

Eigenvalue distributions of random unitary matrices

 Let U be an n × n random matrix chosen from Haar measure on the unitary group. For a fixed arc of the unit circle, let X be the number of eigenvalues of M which lie in the specified arc. We study this random variable as the dimension n grows, using the connection between Toeplitz matrices and random unitary matrices, and show that (X -E [X])/(\Var (X))^1/2 is asymptotically normally distributed. In addition, we show that for several fixed arcs I ₁ , ..., I _m , the corresponding random variables are jointly normal in the large n limit. Received: 15 November 2000 / Revised version: 27 September 2001 / Published online: 17 May 2002     

Inequalities for the Moments and Distribution of the Ladder Height of a Random Walk

We obtain upper bounds for the tail distribution of the first nonnegative sum of a random walk and for the moments of the overshoot over an arbitrary nonnegative level if the expectation of jumps is positive and close to zero. In addition, we find an estimate for the expectation of the first ladder epoch.     

Some Estimates for the Derivative of a Quasiconformal Reflection Spiral-Shaped Domains

Some estimates of derivatives are sharpened for quasiconformal reflections of a special class of simply connected plane domains. Bibliography: 2 titles.     

Harmonic mappings of the Sierpinski gasket to the circle

Harmonic mappings from the Sierpinski gasket to the circle are described explicitly in terms of boundary values and topological data. In particular, all such mappings minimize energy within a given homotopy class. Explicit formulas are also given for the energy of the mapping and its normal derivatives at boundary points.

     

Splittings of finitely generated groups over two-ended subgroups

We describe a means of constructing splittings of a one-ended finitely generated group over two-ended subgroups, starting with a finite collection of codimension-one two-ended subgroups. In the case where all the two-ended subgroups have two-ended commensurators, we obtain an annulus theorem, and a form of the JSJ splitting of Rips and Sela. The construction uses ideas from the work of Dunwoody, Sageev and Swenson. We use a particular kind of order structure which combines cyclic orders and treelike structures. In the special case of hyperbolic groups, this provides a link between combinarorial constructions, and constructions arising from the topological structure of the boundary. In this context, we recover the annulus theorem of Scott and Swarup. We also show that a one-ended finitely generated group which contains an infinite-order element, and such that every infinite cyclic subgroup is (virtually) codimension-one is a virtual surface group.