Quantum Zeno control of coherent dissociation

We study the effect of dephasing on the coherent dissociation dynamics of an atom-molecule Bose-Einstein condensate. We show that when phase-noise intensity is strong with respect to the inverse correlation time of the stimulated process, dissociation is suppressed via a Bose enhanced Quantum Zeno effect. This is complementary to the quantum zeno control of phase-diffusion in a bimodal condensate by symmetric noise (Phys. Rev. Lett. {\bf 100}, 220403 (2008)) in that the controlled process here is phase-{\it formation} and the required decoherence mechanism for its suppression is purely phase noise.Comment: 5 pages, 4 figure

On the conversion efficiency of ultracold fermionic atoms to bosonic molecules via Feshbach resonances

We explain why the experimental efficiency observed in the conversion of ultracold Fermi gases of $^{40}$K and $^{6}$Li atoms into diatomic Bose gases is limited to 0.5 when the Feshbach resonance sweep rate is sufficiently slow to pass adiabatically through the Landau Zener transition but faster than ``the collision rate'' in the gas, and increases beyond 0.5 when it is slower. The 0.5 efficiency limit is due to the preparation of a statistical mixture of two spin-states, required to enable s-wave scattering. By constructing the many-body state of the system we show that this preparation yields a mixture of even and odd parity pair-states, where only even parity can produce molecules. The odd parity spin-symmetric states must decorrelate before the constituent atoms can further Feshbach scatter thereby increasing the conversion efficiency; ``the collision rate'' is the pair decorrelation rate.Comment: 4 pages, 3 figures, final version accepted to Phys. Rev. Let

Squeezing in driven bimodal Bose-Einstein Condensates: Erratic driving versus noise

We study the interplay of squeezing and phase randomization near the hyperbolic instability of a two-site Bose-Hubbard model in the Josephson interaction regime. We obtain results for the quantum Zeno suppression of squeezing, far beyond the previously found short time behavior. More importantly, we contrast the expected outcome with the case where randomization is induced by erratic driving with the same fluctuations as the quantum noise source, finding significant differences. These are related to the distribution of the squeezing factor, which has log-normal characteristics: hence its average is significantly different from its median due to the occurrence of rare events.Comment: 5 pages, 4 figure

Many-body effects on adiabatic passage through Feshbach resonances

We theoretically study the dynamics of an adiabatic sweep through a Feshbach resonance, thereby converting a degenerate quantum gas of fermionic atoms into a degenerate quantum gas of bosonic dimers. Our analysis relies on a zero temperature mean-field theory which accurately accounts for initial molecular quantum fluctuations, triggering the association process. The structure of the resulting semiclassical phase space is investigated, highlighting the dynamical instability of the system towards association, for sufficiently small detuning from resonance. It is shown that this instability significantly modifies the finite-rate efficiency of the sweep, transforming the single-pair exponential Landau-Zener behavior of the remnant fraction of atoms Gamma on sweep rate alpha, into a power-law dependence as the number of atoms increases. The obtained nonadiabaticity is determined from the interplay of characteristic time scales for the motion of adiabatic eigenstates and for fast periodic motion around them. Critical slowing-down of these precessions near the instability leads to the power-law dependence. A linear power law $Gamma\propto alpha$ is obtained when the initial molecular fraction is smaller than the 1/N quantum fluctuations, and a cubic-root power law $Gamma\propto alpha^{1/3}$ is attained when it is larger. Our mean-field analysis is confirmed by exact calculations, using Fock-space expansions. Finally, we fit experimental low temperature Feshbach sweep data with a power-law dependence. While the agreement with the experimental data is well within experimental error bars, similar accuracy can be obtained with an exponential fit, making additional data highly desirable.Comment: 9 pages, 9 figure

Nonlinear adiabatic passage from fermion atoms to boson molecules

We study the dynamics of an adiabatic sweep through a Feshbach resonance in a quantum gas of fermionic atoms. Analysis of the dynamical equations, supported by mean-field and many-body numerical results, shows that the dependence of the remaining atomic fraction $\Gamma$ on the sweep rate $\alpha$ varies from exponential Landau-Zener behavior for a single pair of particles to a power-law dependence for large particle number $N$. The power-law is linear, $\Gamma \propto \alpha$, when the initial molecular fraction is smaller than the 1/N quantum fluctuations, and $\Gamma \propto \alpha^{1/3}$ when it is larger. Experimental data agree better with a linear dependence than with an exponential Landau-Zener fit, indicating that many-body effects are significant in the atom-molecule conversion process.Comment: 5 pages, 4 figure

Thou Shalt is not You Will

In this paper we discuss some reasons why temporal logic might not be suitable to model real life norms. To show this, we present a novel deontic logic contrary-to-duty/derived permission paradox based on the interaction of obligations, permissions and contrary-to-duty obligations. The paradox is inspired by real life norms

Confinement effects on the stimulated dissociation of molecular BECs

We show that a molecular BEC in a trap is stabilized against stimulated dissociation if the trap size is smaller than the resonance healing length $(\hbar^2/2mg\sqrt{n})^{1/2}$. The condensate shape determines the critical atom-molecule coupling frequency. We discuss an experiment for triggering dissociation by a sudden change of coupling or trap parameters. This effect demonstrates one of the unique collective features of 'superchemistry' in that the yield of a chemical reaction depends critically on the size and shape of the reaction vessel.Comment: 4 pages, 4 figure

Regular Queries on Graph Databases

Graph databases are currently one of the most popular paradigms for storing data. One of the key conceptual differences between graph and relational databases is the focus on navigational queries that ask whether some nodes are connected by paths satisfying certain restrictions. This focus has driven the definition of several different query languages and the subsequent study of their fundamental properties. We define the graph query language of Regular Queries, which is a natural extension of unions of conjunctive 2-way regular path queries (UC2RPQs) and unions of conjunctive nested 2-way regular path queries (UCN2RPQs). Regular queries allow expressing complex regular patterns between nodes. We formalize regular queries as nonrecursive Datalog programs with transitive closure rules. This language has been previously considered, but its algorithmic properties are not well understood. Our main contribution is to show elementary tight bounds for the containment problem for regular queries. Specifically, we show that this problem is 2EXPSPACE-complete. For all extensions of regular queries known to date, the containment problem turns out to be non-elementary. Together with the fact that evaluating regular queries is not harder than evaluating UCN2RPQs, our results show that regular queries achieve a good balance between expressiveness and complexity, and constitute a well-behaved class that deserves further investigation

Biased tomography schemes: an objective approach

We report on an intrinsic relationship between the maximum-likelihood quantum-state estimation and the representation of the signal. A quantum analogy of the transfer function determines the space where the reconstruction should be done without the need for any ad hoc truncations of the Hilbert space. An illustration of this method is provided by a simple yet practically important tomography of an optical signal registered by realistic binary detectors.Comment: 4 pages, 3 figures, accepted in PR