A note on the Σ1 spectrum of a theory

Let T be a suitable system of classical set theory. We will show, that the Σ₁ spectrum of T, i.e. the set of ordinals having good Σ₁ definition in T is an initial segment of the ordinals. Received: 11 October 1999 / Published online: 12 December 2001     

Diffusive motion of iron microcrystals studied by Mössbauer spectroscopy

A new model is presented which explains well the dramatic decrease of the Mössbauer line intensities with raising temperatures for freely dispersed iron microscrystals. In contrast to other theories which consider mainly vibration to be responsible we discuss here the decrease in terms of large amplitude diffusive rotational or translational jumps of the particles. Such diffusive jumps lead — in agreement with the observation — to a strong reduction of the Mössbauer-intensity without broadening the line width in a noticeable way. The typical potential well for a diffusing particle in an equilibrium position is derived quantitatively to be 13 meV. The model might be important also for a new understanding of the dynamics of catalytic clusters either in contact with each other or with larger solid surfaces.Part of this work was supported by the DFG Sonderforschungsbereich 306, Konstanz     

Almost global existence for Hamiltonian semilinear Klein‐Gordon equations with small Cauchy data on Zoll manifolds

This paper is devoted to the proof of almost global existence results for Klein‐Gordon equations on Zoll manifolds (e.g., spheres of arbitrary dimension) with Hamiltonian nonlinearities, when the Cauchy data are smooth and small. The proof relies on Birkhoff normal form methods and on the specific distribution of eigenvalues of the Laplacian perturbed by a potential on Zoll manifolds. © 2007 Wiley Periodicals, Inc.     

Precision of a dual energy X-ray absorptiometry device

The standard method to diagnose and follow-up osteoporosis is the measurement of bone mineral density (BMD) using dual X-ray absorptiometry (DEXA). Manufacturers' manuals of DEXA devices state the intrascanner coefficient of variance is less than 0.01 g/cm². The aim of this study was to evaluate the in vivo coefficient of variance of a Lunar DPX scanner in male and female healthy adult subjects. Average BMD for females and males were 1.170±0.091 g/cm² and 1.272±0.115 g/cm², respectively. Monthly phantom measurements provided and controlled by the manufacturer were 1.243±0.008 g/cm² (range 1.222 to 1.257) and the coefficient of variance was 0.006. It is concluded that the in vivo coefficient of variance of DEXA devices can slightly be higher than that proposed by the manufacturer. This revised version was published online in August 2006 with corrections to the Cover Date.     

Spreading Code Design Using a Global Optimization Method

The performance of a code division multiple access system depends on the correlation properties of the employed spreading code. Low cross-correlation values between spreading sequences are desired to suppress multiple access interference and to improve bit error performance. An auto-correlation function with a distinct peak enables proper synchronization and suppresses intersymbol interference. However, these requirements contradict each other and a trade-off needs to be established. In this paper, a global two dimensional optimization method is proposed to minimize the out-of-phase average mean-square aperiodic auto-correlation with average mean-square aperiodic cross-correlation being allowed to lie within a fixed region. This approach is applied to design sets of complex spreading sequences. A design example is presented to illustrate the relation between various correlation characteristics. The correlations of the obtained sets are compared with correlations of other known sequences.     

Capacity Constrained Transit Assignment with Common Lines

This paper proposes the use of absorbing Markov chains to solve the capacity constrained transit network loading problem taking common lines into account. The approach handles congested transit networks, where some passengers will not be able to board because of the absence of sufficient space. The model also handles the common lines problem, where choice of route depends on frequency of arrivals. The mathematical formulation of the problem is presented together with a numerical example. This revised version was published online in July 2006 with corrections to the Cover Date.