Hypergraphic LP Relaxations for Steiner Trees

We investigate hypergraphic LP relaxations for the Steiner tree problem, primarily the partition LP relaxation introduced by Koenemann et al. [Math. Programming, 2009]. Specifically, we are interested in proving upper bounds on the integrality gap of this LP, and studying its relation to other linear relaxations. Our results are the following. Structural results: We extend the technique of uncrossing, usually applied to families of sets, to families of partitions. As a consequence we show that any basic feasible solution to the partition LP formulation has sparse support. Although the number of variables could be exponential, the number of positive variables is at most the number of terminals. Relations with other relaxations: We show the equivalence of the partition LP relaxation with other known hypergraphic relaxations. We also show that these hypergraphic relaxations are equivalent to the well studied bidirected cut relaxation, if the instance is quasibipartite. Integrality gap upper bounds: We show an upper bound of sqrt(3) ~ 1.729 on the integrality gap of these hypergraph relaxations in general graphs. In the special case of uniformly quasibipartite instances, we show an improved upper bound of 73/60 ~ 1.216. By our equivalence theorem, the latter result implies an improved upper bound for the bidirected cut relaxation as well.Comment: Revised full version; a shorter version will appear at IPCO 2010

Optimal measurement precision of a nonlinear interferometer

We study the best attainable measurement precision when a double-well trap with bosons inside acts as an interferometer to measure the energy difference of the atoms on the two sides of the trap. We introduce time independent perturbation theory as the main tool in both analytical arguments and numerical computations. Nonlinearity from atom-atom interactions will not indirectly allow the interferometer to beat the Heisenberg limit, but in many regimes of the operation the Heisenberg limit scaling of measurement precision is preserved in spite of added tunneling of the atoms and atom-atom interactions, often even with the optimal prefactor.Comment: very close to published versio

Self-Energy Correction to the Bound-Electron g Factor of P States

The radiative self-energy correction to the bound-electron g factor of 2P_1/2 and 2P_3/2 states in one-electron ions is evaluated to order alpha (Z alpha)^2. The contribution of high-energy virtual photons is treated by means of an effective Dirac equation, and the result is verified by an approach based on long-wavelength quantum electrodynamics. The contribution of low-energy virtual photons is calculated both in the velocity and in the length gauge and gauge invariance is verified explicitly. The results compare favorably to recently available numerical data for hydrogenlike systems with low nuclear charge numbers.Comment: 8 pages, RevTe

Momentum distributions and spectroscopic factors of doubly-closed shell nuclei in correlated basis function theory

The momentum distributions, natural orbits, spectroscopic factors and quasi-hole wave functions of the C12, O16, Ca40, Ca48, and Pb208 doubly closed shell nuclei, have been calculated in the framework of the Correlated Basis Function theory, by using the Fermi hypernetted chain resummation techniques. The calculations have been done by using the realistic Argonne v8' nucleon-nucleon potential, together with the Urbana IX three-body interaction. Operator dependent correlations, which consider channels up to the tensor ones, have been used. We found noticeable effects produced by the correlations. For high momentum values, the momentum distributions show large enhancements with respect to the independent particle model results. Natural orbits occupation numbers are depleted by about the 10\% with respect to the independent particle model values. The effects of the correlations on the spectroscopic factors are larger on the more deeply bound states.Comment: Modified version of the previous paper (there are new figures). The paper has been accepted for publication in Physical Review

Node-balancing by edge-increments

Suppose you are given a graph $G=(V,E)$ with a weight assignment $w:V\rightarrow\mathbb{Z}$ and that your objective is to modify $w$ using legal steps such that all vertices will have the same weight, where in each legal step you are allowed to choose an edge and increment the weights of its end points by $1$. In this paper we study several variants of this problem for graphs and hypergraphs. On the combinatorial side we show connections with fundamental results from matching theory such as Hall's Theorem and Tutte's Theorem. On the algorithmic side we study the computational complexity of associated decision problems. Our main results are a characterization of the graphs for which any initial assignment can be balanced by edge-increments and a strongly polynomial-time algorithm that computes a balancing sequence of increments if one exists.Comment: 10 page

Cylindrical gravitational waves in expanding universes: Models for waves from compact sources

New boundary conditions are imposed on the familiar cylindrical gravitational wave vacuum spacetimes. The new spacetime family represents cylindrical waves in a flat expanding (Kasner) universe. Space sections are flat and nonconical where the waves have not reached and wave amplitudes fall off more rapidly than they do in Einstein-Rosen solutions, permitting a more regular null inifinity.Comment: Minor corrections to references. A note added in proo

Repeating head-on collisions in an optical trap and the evaluation of spin-dependent interactions among neutral particles

A dynamic process of repeating collisions of a pair of trapped neutral particles with weak spin-dependent interaction is designed and studied. Related theoretical derivation and numerical calculation have been performed to study the inherent coordinate-spin and momentum-spin correlation. Due to the repeating collisions the effect of the weak interaction can be accumulated and enlarged, and therefore can be eventually detected. Numerical results suggest that the Cr-Cr interaction, which has not yet been completely clear, could be thereby determined. The design can be in general used to determine various interactions among neutral atoms and molecules, in particular for the determination of very weak forces.Comment: 15 pages, 7 figure