Scalable Parallel Numerical Constraint Solver Using Global Load Balancing

We present a scalable parallel solver for numerical constraint satisfaction problems (NCSPs). Our parallelization scheme consists of homogeneous worker solvers, each of which runs on an available core and communicates with others via the global load balancing (GLB) method. The parallel solver is implemented with X10 that provides an implementation of GLB as a library. In experiments, several NCSPs from the literature were solved and attained up to 516-fold speedup using 600 cores of the TSUBAME2.5 supercomputer.Comment: To be presented at X10'15 Worksho

Regular Incidence Complexes, Polytopes, and C-Groups

Regular incidence complexes are combinatorial incidence structures generalizing regular convex polytopes, regular complex polytopes, various types of incidence geometries, and many other highly symmetric objects. The special case of abstract regular polytopes has been well-studied. The paper describes the combinatorial structure of a regular incidence complex in terms of a system of distinguished generating subgroups of its automorphism group or a flag-transitive subgroup. Then the groups admitting a flag-transitive action on an incidence complex are characterized as generalized string C-groups. Further, extensions of regular incidence complexes are studied, and certain incidence complexes particularly close to abstract polytopes, called abstract polytope complexes, are investigated.Comment: 24 pages; to appear in "Discrete Geometry and Symmetry", M. Conder, A. Deza, and A. Ivic Weiss (eds), Springe

Tables of Overlap Integrals. II. Bonds between Some First Row and Second Row Atoms

Tables of overlap integrals for some bonds between the first row atoms and the second row atoms are given. They are based on atomic orbitals o,f Clementi and include the basic overlap integrals of the valence shell orbitals only, i. e. overlaps between 2s anu 2p orbitals of the first row atoms with 3s and 3p orbitals of tne second row atoms. The intervals of interatomic distances are lim~ted so as to cover known _variations in bond lengths reported in the, literature

Tables of Overlap Integrals. II. Bonds between Some First Row and Second Row Atoms

Tables of overlap integrals for some bonds between the first row atoms and the second row atoms are given. They are based on atomic orbitals o,f Clementi and include the basic overlap integrals of the valence shell orbitals only, i. e. overlaps between 2s anu 2p orbitals of the first row atoms with 3s and 3p orbitals of tne second row atoms. The intervals of interatomic distances are lim~ted so as to cover known _variations in bond lengths reported in the, literature

Tables of Overlap Integrals

Tables of overlap integrals for bonds between the first row atoms and their hydrides are given. They are based on atomic orbitals suggested by Clementi, which provide a more reliable guide to the description of bonds than do Slater orbitals. The region of interatomic distances is limited so as to cover known bond lengths found in the literature

Second Order Correlation Function of a Phase Fluctuating Bose-Einstein Condensate

The coherence properties of phase fluctuating Bose-Einstein condensates are studied both theoretically and experimentally. We derive a general expression for the N-particle correlation function of a condensed Bose gas in a highly elongated trapping potential. The second order correlation function is analyzed in detail and an interferometric method to directly measure it is discussed and experimentally implemented. Using a Bragg diffraction interferometer, we measure intensity correlations in the interference pattern generated by two spatially displaced copies of a parent condensate. Our experiment demonstrates how to characterize the second order correlation function of a highly elongated condensate and to measure its phase coherence length.Comment: 22 pages, 5 figure

Status report of the baseline collimation system of CLIC. Part II

Important efforts have recently been dedicated to the characterisation and improvement of the design of the post-linac collimation system of the Compact Linear Collider (CLIC). This system consists of two sections: one dedicated to the collimation of off-energy particles and another one for betatron collimation. The energy collimation system is further conceived as protection system against damage by errant beams. In this respect, special attention is paid to the optimisation of the energy collimator design. The material and the physical parameters of the energy collimators are selected to withstand the impact of an entire bunch train. Concerning the betatron collimation section, different aspects of the design have been optimised: the transverse collimation depths have been recalculated in order to reduce the collimator wakefield effects while maintaining a good efficiency in cleaning the undesired beam halo; the geometric design of the spoilers has been reviewed to minimise wakefields; in addition, the optics design has been optimised to improve the collimation efficiency. This report presents the current status of the the post-linac collimation system of CLIC. Part II is mainly dedicated to the study of the betatron collimation system and collimator wakefield effects.Comment: 25 pages, 13 figure

Characterization and control of phase fluctuations in elongated Bose-Einstein condensates

Quasi one dimensional Bose-Einstein condensates (BECs) in elongated traps exhibit significant phase fluctuations even at very low temperatures. We present recent experimental results on the dynamic transformation of phase fluctuations into density modulations during time-of-flight and show the excellent quantitative agreement with the theoretical prediction. In addition we confirm that under our experimental conditions, in the magnetic trap density modulations are strongly suppressed even when the phase fluctuates. The paper also discusses our theoretical results on control of the condensate phase by employing a time-dependent perturbation. Our results set important limitations on future applications of BEC in precision atom interferometry and atom optics, but at the same time suggest pathways to overcome these limitations.Comment: 9 pages, 7 figure