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     

Structural evolution in amorphous silicon and germanium thin films.

The structural evolution in amorphous silicon and germanium thin films has been investigated by high-resolution transmission electron microscopy (HRTEM) in conjunction with autocorrelation function (ACF) analysis. The results established that the structure of as-deposited semiconductor films is of a high density of nanocrystallites embedded in the amorphous matrix. In addition, from ACF analysis, the structure of a-Ge is more ordered than that of a-Si. The density of embedded nanocrystallites in amorphous films was found to diminish with annealing temperature first, then to increase. The conclusions also corroborate well with the results of diminished medium-range order in annealed amorphous films determined previously by a variable coherence microscopy method.     

Locally Periodic Versus Globally Periodic Infinite Words

We call a one-way infinite word w over a finite alphabet (ρ,l)-repetitive if all long enough prefixes of w contain as a suffix a ρth power (or more generally a repetition of order ρ) of a word of length at most l. We show that each (2,4)-repetitive word is ultimately periodic, as well as that there exist continuum many, and hence also nonultimately periodic, (2,5)-repetitive words. Further, we characterize nonultimately periodic (2,5)-repetitive words both structurally and algebraically.     

Possible Loss and Recovery of Gibbsianness¶During the Stochastic Evolution of Gibbs Measures

We consider Ising-spin systems starting from an initial Gibbs measure ν and evolving under a spin-flip dynamics towards a reversible Gibbs measure μ≠ν. Both ν and μ are assumed to have a translation-invariant finite-range interaction. We study the Gibbsian character of the measure νS(t) at time t and show the following: (1) For all ν and μ, νS(t) is Gibbs for small t. (2) If both ν and μ have a high or infinite temperature, then νS(t) is Gibbs for all t > 0. (3) If ν has a low non-zero temperature and a zero magnetic field and μ has a high or infinite temperature, then νS(t) is Gibbs for small t and non-Gibbs for large t. (4) If ν has a low non-zero temperature and a non-zero magnetic field and μ has a high or infinite temperature, then νS(t) is Gibbs for small t, non-Gibbs for intermediate t, and Gibbs for large t. The regime where μ has a low or zero temperature and t is not small remains open. This regime presumably allows for many different scenarios. Received: 26 April 2001 / Accepted: 10 October 2001     

Stable multi-sets

In this paper we introduce a generalization of stable sets: stable multi-sets. A stable multi-set is an assignment of integers to the vertices of a graph, such that specified bounds on vertices and edges are not exceeded. In case all vertex and edge bounds equal one, stable multi-sets are equivalent to stable sets.  For the stable multi-set problem, we derive reduction rules and study the associated polytope. We state necessary and sufficient conditions for the extreme points of the linear relaxation to be integer. These conditions generalize the conditions for the stable set polytope. Moreover, the classes of odd cycle and clique inequalities for stable sets are generalized to stable multi-sets and conditions for them to be facet defining are determined.  The study of stable multi-sets is initiated by optimization problems in the field of telecommunication networks. Stable multi-sets emerge as an important substructure in the design of optical networks. Received: February 14, 2001/Revised version: September 7, 2001     

MODEL COMPARISON FOR ACOUSTIC SCATTERING BY A SPHERICAL AIR BUBBLE IN WATER

The oscillation of a bubble has many vibrational modes, contributing to different portions in acoustic scattering. Without approximations a priori, an hydrodynamic approach is applied to investigate acoustic scattering by a bubble in water, taking into account the heat exchange and viscosity. The scattering function is derived for a wide range of frequencies. Examples are shown to illustrate the thermal and viscous effects on sound scattering. Comparison is made with three existing models. While these models are known not to be applicable for high frequencies, it is shown here that even in the low-frequency region, there are also noticeable discrepancies between the exact solution and the three existing models with regard to the scattering properties such as the scattering cross-section, and the quality factor of resonant peaks. By numerical simulation, we claim that the discrepancies may be due to the incomplete consideration of the thermal exchange process in the previous models. The approach presented here is valid for any other fluid enclosure in liquids.