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

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

Formation of Two Component Bose Condensate During the Chemical Potential Curve Crossing

In this article we study the formation of the two modes Bose-Einstein condensate and the correlation between them. We show that beyond the mean field approximation the dissociation of a molecular condensate due to the chemical potential curve crossing leads to the formation of two modes condensate. We also show that these two modes are correlated in a two mode squeezed state.Comment: 10 page

Verification of Hierarchical Artifact Systems

Data-driven workflows, of which IBM's Business Artifacts are a prime exponent, have been successfully deployed in practice, adopted in industrial standards, and have spawned a rich body of research in academia, focused primarily on static analysis. The present work represents a significant advance on the problem of artifact verification, by considering a much richer and more realistic model than in previous work, incorporating core elements of IBM's successful Guard-Stage-Milestone model. In particular, the model features task hierarchy, concurrency, and richer artifact data. It also allows database key and foreign key dependencies, as well as arithmetic constraints. The results show decidability of verification and establish its complexity, making use of novel techniques including a hierarchy of Vector Addition Systems and a variant of quantifier elimination tailored to our context.Comment: Full version of the accepted PODS pape

Verifying Temporal Heap Properties Specified via Evolution Logic

This paper addresses the problem of establishing temporal properties of programs written in languages, such as Java, that make extensive use of the heap to allocate--- and deallocate---new objects and threads. Establishing liveness properties is a particularly hard challenge. One of the crucial obstacles is that heap locations have no static names and the number of heap locations is unbounded. The paper presents a framework for the verification of Java-like programs. Unlike classical model checking, which uses propositional temporal logic, we use first-order temporal logic to specify temporal properties of heap evolutions; this logic allows domain changes to be expressed, which permits allocation and deallocation to be modelled naturally. The paper also presents an abstract-interpretation algorithm that automatically verifies temporal properties expressed using the logic

Diluted maximum-likelihood algorithm for quantum tomography

We propose a refined iterative likelihood-maximization algorithm for reconstructing a quantum state from a set of tomographic measurements. The algorithm is characterized by a very high convergence rate and features a simple adaptive procedure that ensures likelihood increase in every iteration and convergence to the maximum-likelihood state. We apply the algorithm to homodyne tomography of optical states and quantum tomography of entangled spin states of trapped ions and investigate its convergence properties.Comment: v2: Convergence proof adde

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

Reconstruction of photon statistics using low performance photon counters

The output of a photodetector consists of a current pulse whose charge has the statistical distribution of the actual photon numbers convolved with a Bernoulli distribution. Photodetectors are characterized by a nonunit quantum efficiency, i.e. not all the photons lead to a charge, and by a finite resolution, i.e. a different number of detected photons leads to a discriminable values of the charge only up to a maximum value. We present a detailed comparison, based on Monte Carlo simulated experiments and real data, among the performances of detectors with different upper limits of counting capability. In our scheme the inversion of Bernoulli convolution is performed by maximum-likelihood methods assisted by measurements taken at different quantum efficiencies. We show that detectors that are only able to discriminate between zero, one and more than one detected photons are generally enough to provide a reliable reconstruction of the photon statistics for single-peaked distributions, while detectors with higher resolution limits do not lead to further improvements. In addition, we demonstrate that, for semiclassical states, even on/off detectors are enough to provide a good reconstruction. Finally, we show that a reliable reconstruction of multi-peaked distributions requires either higher quantum efficiency or better capability in discriminating high number of detected photons.Comment: 8 pages, 3 figure

Coherently Controlled Nanoscale Molecular Deposition

Quantum interference effects are shown to provide a means of controlling and enhancing the focusing a collimated neutral molecular beam onto a surface. The nature of the aperiodic pattern formed can be altered by varying laser field characteristics and the system geometry.Comment: 13 pages (inculding 4 figures), LaTeX (Phys. Rev. Lett., 2000, in Press