2,951 research outputs found
Adjusted ADM systems and their expected stability properties: constraint propagation analysis in Schwarzschild spacetime
In order to find a way to have a better formulation for numerical evolution
of the Einstein equations, we study the propagation equations of the
constraints based on the Arnowitt-Deser-Misner formulation. By adjusting
constraint terms in the evolution equations, we try to construct an
"asymptotically constrained system" which is expected to be robust against
violation of the constraints, and to enable a long-term stable and accurate
numerical simulation. We first provide useful expressions for analyzing
constraint propagation in a general spacetime, then apply it to Schwarzschild
spacetime. We search when and where the negative real or non-zero imaginary
eigenvalues of the homogenized constraint propagation matrix appear, and how
they depend on the choice of coordinate system and adjustments. Our analysis
includes the proposal of Detweiler (1987), which is still the best one
according to our conjecture but has a growing mode of error near the horizon.
Some examples are snapshots of a maximally sliced Schwarzschild black hole. The
predictions here may help the community to make further improvements.Comment: 23 pages, RevTeX4, many figures. Revised version. Added subtitle,
reduced figures, rephrased introduction, and a native checked. :-
Symmetric hyperbolic system in the Ashtekar formulation
We present a first-order symmetric hyperbolic system in the Ashtekar
formulation of general relativity for vacuum spacetime. We add terms from
constraint equations to the evolution equations with appropriate combinations,
which is the same technique used by Iriondo, Leguizam\'on and Reula [Phys. Rev.
Lett. 79, 4732 (1997)]. However our system is different from theirs in the
points that we primarily use Hermiticity of a characteristic matrix of the
system to characterize our system "symmetric", discuss the consistency of this
system with reality condition, and show the characteristic speeds of the
system.Comment: 4 pages, RevTeX, to appear in Phys. Rev. Lett., Comments added, refs
update
Neutron wave packet tomography
A tomographic technique is introduced in order to determine the quantum state
of the center of mass motion of neutrons. An experiment is proposed and
numerically analyzed.Comment: 4 pages, 3 figure
Efficient Set Sharing Using ZBDDs
Set sharing is an abstract domain in which each concrete object is represented by the set of local variables from which it might be reachable. It is a useful abstraction to detect parallelism opportunities, since it contains definite information about which variables do not share in memory, i.e., about when the memory regions reachable from those variables are disjoint. Set sharing is a more precise alternative to pair sharing, in which each domain element is a set of all pairs of local variables from which a common object may be reachable. However, the exponential complexity of some set sharing operations has limited its wider application. This work introduces an efficient implementation of the set sharing domain using Zero-suppressed Binary Decision Diagrams (ZBDDs). Because ZBDDs were designed to represent sets of combinations (i.e., sets of sets), they naturally represent elements of the set sharing domain. We show how to synthesize the operations needed in the set sharing transfer functions from basic ZBDD operations. For some of the operations, we devise custom ZBDD algorithms that perform better in practice. We also compare our implementation of the abstract domain with an efficient, compact, bit set-based alternative, and show that the ZBDD version scales better in terms of both memory usage and running time
- …