Towards a Landau-Zener formula for an interacting Bose-Einstein condensate

We consider the Landau-Zener problem for a Bose-Einstein condensate in a linearly varying two-level system, for the full many-particle system as well and in the mean-field approximation. The many-particle problem can be solved approximately within an independent crossings approximation, which yields an explicit Landau-Zener formula.Comment: RevTeX, 8 pages, 9 figure

Breakdown of adiabatic transfer of light in waveguides in the presence of absorption

In atomic physics, adiabatic evolution is often used to achieve a robust and efficient population transfer. Many adiabatic schemes have also been implemented in optical waveguide structures. Recently there has been increasing interests in the influence of decay and absorption, and their engineering applications. Here it is shown that even a small decay can significantly influence the dynamical behaviour of a system, above and beyond a mere change of the overall norm. In particular, a small decay can lead to a breakdown of adiabatic transfer schemes, even when both the spectrum and the eigenfunctions are only sightly modified. This is demonstrated for the generalization of a STIRAP scheme that has recently been implemented in optical waveguide structures. Here the question how an additional absorption in either the initial or the target waveguide influences the transfer property of the scheme is addressed. It is found that the scheme breaks down for small values of the absorption at a relatively sharp threshold, which can be estimated by simple analytical arguments.Comment: 8 pages, 7 figures, revised and extende

Nonlinear Schr\"odinger equation for a PT symmetric delta-functions double well

The time-independent nonlinear Schr\"odinger equation is solved for two attractive delta-function shaped potential wells where an imaginary loss term is added in one well, and a gain term of the same size but with opposite sign in the other. We show that for vanishing nonlinearity the model captures all the features known from studies of PT symmetric optical wave guides, e.g., the coalescence of modes in an exceptional point at a critical value of the loss/gain parameter, and the breaking of PT symmetry beyond. With the nonlinearity present, the equation is a model for a Bose-Einstein condensate with loss and gain in a double well potential. We find that the nonlinear Hamiltonian picks as stationary eigenstates exactly such solutions which render the nonlinear Hamiltonian itself PT symmetric, but observe coalescence and bifurcation scenarios different from those known from linear PT symmetric Hamiltonians.Comment: 16 pages, 9 figures, to be published in Journal of Physics

Event Stream Processing with Multiple Threads

Current runtime verification tools seldom make use of multi-threading to speed up the evaluation of a property on a large event trace. In this paper, we present an extension to the BeepBeep 3 event stream engine that allows the use of multiple threads during the evaluation of a query. Various parallelization strategies are presented and described on simple examples. The implementation of these strategies is then evaluated empirically on a sample of problems. Compared to the previous, single-threaded version of the BeepBeep engine, the allocation of just a few threads to specific portions of a query provides dramatic improvement in terms of running time

Mean-field dynamics of a Bose-Einstein condensate in a time-dependent triple-well trap: Nonlinear eigenstates, Landau-Zener models and STIRAP

We investigate the dynamics of a Bose--Einstein condensate (BEC) in a triple-well trap in a three-level approximation. The inter-atomic interactions are taken into account in a mean-field approximation (Gross-Pitaevskii equation), leading to a nonlinear three-level model. New eigenstates emerge due to the nonlinearity, depending on the system parameters. Adiabaticity breaks down if such a nonlinear eigenstate disappears when the parameters are varied. The dynamical implications of this loss of adiabaticity are analyzed for two important special cases: A three level Landau-Zener model and the STIRAP scheme. We discuss the emergence of looped levels for an equal-slope Landau-Zener model. The Zener tunneling probability does not tend to zero in the adiabatic limit and shows pronounced oscillations as a function of the velocity of the parameter variation. Furthermore we generalize the STIRAP scheme for adiabatic coherent population transfer between atomic states to the nonlinear case. It is shown that STIRAP breaks down if the nonlinearity exceeds the detuning.Comment: RevTex4, 7 pages, 11 figures, content extended and title/abstract change

Long-range adiabatic quantum state transfer through a linear array of quantum dots

We introduce an adiabatic long-range quantum communication proposal based on a quantum dot array. By adiabatically varying the external gate voltage applied on the system, the quantum information encoded in the electron can be transported from one end dot to another. We numerically solve the Schr\"odinger equation for a system with a given number of quantum dots. It is shown that this scheme is a simple and efficient protocol to coherently manipulate the population transfer under suitable gate pulses. The dependence of the energy gap and the transfer time on system parameters is analyzed and shown numerically. We also investigate the adiabatic passage in a more realistic system in the presence of inevitable fabrication imperfections. This method provides guidance for future realizations of adiabatic quantum state transfer in experiments.Comment: 7 pages, 7 figure

The Adiabatic Transport of Bose-Einstein Condensates in a Double-Well Trap: Case a Small Nonlinearity

A complete adiabatic transport of Bose-Einstein condensate in a double-well trap is investigated within the Landau-Zener (LZ) and Gaussian Landau-Zener (GLZ) schemes for the case of a small nonlinearity, when the atomic interaction is weaker than the coupling. The schemes use the constant (LZ) and time-dependent Gaussian (GLZ) couplings. The mean field calculations show that LZ and GLZ suggest essentially different transport dynamics. Significant deviations from the case of a strong coupling are discussed.Comment: 6 pages, 3 figures, to be published in Laser Physic

The nonlinear Schroedinger equation for the delta-comb potential: quasi-classical chaos and bifurcations of periodic stationary solutions

The nonlinear Schroedinger equation is studied for a periodic sequence of delta-potentials (a delta-comb) or narrow Gaussian potentials. For the delta-comb the time-independent nonlinear Schroedinger equation can be solved analytically in terms of Jacobi elliptic functions and thus provides useful insight into the features of nonlinear stationary states of periodic potentials. Phenomena well-known from classical chaos are found, such as a bifurcation of periodic stationary states and a transition to spatial chaos. The relation of new features of nonlinear Bloch bands, such as looped and period doubled bands, are analyzed in detail. An analytic expression for the critical nonlinearity for the emergence of looped bands is derived. The results for the delta-comb are generalized to a more realistic potential consisting of a periodic sequence of narrow Gaussian peaks and the dynamical stability of periodic solutions in a Gaussian comb is discussed.Comment: Enhanced and revised version, to appear in J. Nonlin. Math. Phy

JJ-self-adjoint operators with C\mathcal{C}-symmetries: extension theory approach

A well known tool in conventional (von Neumann) quantum mechanics is the self-adjoint extension technique for symmetric operators. It is used, e.g., for the construction of Dirac-Hermitian Hamiltonians with point-interaction potentials. Here we reshape this technique to allow for the construction of pseudo-Hermitian ($J$-self-adjoint) Hamiltonians with complex point-interactions. We demonstrate that the resulting Hamiltonians are bijectively related with so called hypermaximal neutral subspaces of the defect Krein space of the symmetric operator. This symmetric operator is allowed to have arbitrary but equal deficiency indices . General properties of the $\cC$ operators for these Hamiltonians are derived. A detailed study of $\cC$-operator parametrizations and Krein type resolvent formulas is provided for $J$-self-adjoint extensions of symmetric operators with deficiency indices . The technique is exemplified on 1D pseudo-Hermitian Schr\"odinger and Dirac Hamiltonians with complex point-interaction potentials