We treat control of several two-level atoms interacting with one mode of the electromagnetic field in a cavity. This provides a useful model to study pertinent aspects of quantum control in infinite dimensions via the emergence of infinite-dimensional system algebras. Hence we address problems arising with infinite-dimensional Lie algebras and those of unbounded operators. For the models considered, these problems can be solved by splitting the set of control Hamiltonians into two subsets: the first obeys an Abelian symmetry and can be treated in terms of infinite-dimensional Lie algebras and strongly closed subgroups of the unitary group of the system Hilbert space. The second breaks this symmetry, and its discussion introduces new arguments. Yet, full controllability can be achieved in a strong sense: e.g., in a time dependent Jaynes–Cummings model we show that, by tuning coupling constants appropriately, every unitary of the coupled system (atoms and cavity) can be approximated with arbitrarily small error.
In quantum control theory, the fundamental issue of controllability covers the questions whether and under which conditions a system can be steered from one pure state into another by suitably tuned time evolution operators. Even though Lie theoretic methods to analyze these aspects are well-established for finite dimensional systems, they fail to apply to those with an infinite number of levels. The Jaynes-Cummings-Hubbard model - describing two-level systems in coupled cavities - is such an infinite dimensional system. In this contribution we study its controllability. In the two cavity case we exploit symmetry arguments; we show that one part of the control Hamiltonians can be studied in terms of infinite dimensional block diagonal Lie algebras while the other part breaks this symmetry to achieve controllability. An induction on the number of cavities extends this result to the general case. Individual control of the qubit and collective control of the hopping between cavities is sufficient for both pure state and strong operator controllability. We additionally establish new criteria for the controllability of infinite dimensional quantum systems admitting symmetries.
In this paper we study controllability of a
d-level atom interacting with the electromagnetic field in a cavity. The system is modelled by an ordered graph
Γ. The vertices of
Γ describe the energy levels and the edges allowed transitions. To each edge of
Γ we associate a harmonic oscillator representing one mode of the electromagnetic field. The dynamics of the system (drift) is given by a natural generalization of the Jaynes-Cummings Hamiltonian. If we add in addition sufficient control over the atom, the overall system (atom and em-field) becomes strongly controllable, i.e. each unitary on the system Hilbert space can be approximated with arbitrary precision in the strong topology by control unitaries. A key role in the proof is played by a topological *-algebra which is (roughly speaking) a representation of the path algebra of
Γ. It contains crucial structural information about the control problem, and is therefore an important tool for the implementation of control tasks like preparing a particular state from the ground state. This is demonstrated by a detailed discussion of different versions of three-level systems.
We investigate the controllability of quantum systems in two different settings: the standard "closed" setting, in which a quantum system is seen as isolated and the control problem is formulated on the Schrödinger equation; the open setting that describes a quantum system in interaction with a larger one, of which just qualitative parameters are known, by means of the Lindblad equation on states. In the context of closed systems we focus our attention to an interesting class of models, namely the spin-boson models. The latter describe the interaction between a 2-level quantum system and finitely many distinguished modes of a bosonic field. We discuss two prototypical examples, the Rabi model and the Jaynes-Cummings model, which despite their age are still very popular in several fields of quantum physics. Notably, in the context of cavity Quantum Electro Dynamics (C-QED) they provide an approximate yet accurate description of the dynamics of a 2-level atom in a resonant microwave cavity, as in recent experiments of S. Haroche. We investigate the controllability properties of these models, analyzing two different types of control operators acting on the bosonic part, corresponding -in the application to cavity QED- to an external electric and magnetic field, respectively. We review some recent results and prove the approximate controllability of the Jaynes-Cummings model with these controls. This result is based on a spectral analysis exploiting the non-resonances of the spectrum. As far as the relation between the Rabi and the Jaynes-Cummings Hamiltonians concerns, we treat the so called rotating wave approximation in a rigorous framework. We formulate the problem as an adiabatic limit in which the detuning frequency and the interaction strength parameter goes to zero, known as the weak-coupling regime. We prove that, under certain hypothesis on the ratio between the detuning and the coupling, the Jaynes-Cumming and the Rabi dynamics exhibit the same behaviour, more precisely the evolution operators they generate are close in norm. In the framework of open quantum systems we investigate the controllability of the Lindblad equation. We consider a control acting adiabatically on the internal part of the system, which we see as a degree of freedom that can be used to contrast the action of the environment. The adiabatic action of the control is chosen to produce a robust transition. We prove, in the prototype case of a two-level system, that the system approach a set of equilibrium points determined by the environment, i.e. the parameters that specify the Lindblad operator. On that set the system can be adiabatically steered choosing a suitable control. The analysis is based on the application of geometrical singular perturbation methods.
We examine the dynamics of bipartite quantum entanglement between a two-level atom and the electromagnetic field. We begin with the Jaynes-Cummings model with a single field mode and examine in detail the exact time evolution of entanglement, including cases where the atomic state is initially mixed and the atomic transition is detuned from resonance. We then explore the effects of other nearby modes by calculating the exact time evolution of entanglement in more complex systems with two, three, and five field modes. For these cases we can obtain exact solutions which include the strong-coupling regime. Finally, we consider the entanglement of a two-level atom with the infinite collection of modes present in the intracavity field of a Fabre-Perot cavity. In contrast to the usual treatment of atom-field interactions with a continuum of modes using the Born-Markov approximation, our treatment in all cases describes the full non-Markovian dynamics of the atomic subsystem under general couplings. Only when an analytic expression for the infinite mode case is desired do we need to make a weak coupling assumption which at late times approximates Markovian dynamics.
We consider a two-level atom interacting with a single mode of the electromagnetic field in a cavity within the Jaynes-Cummings model. Initially, the atom is thermal while the cavity is in a coherent state. The atom interacts with the cavity field for a fixed time. After removing the atom from the cavity and applying a laser pulse the atom will be in a thermal state again. Depending on the interaction time with the cavity field the final temperature can be varied over a large range. We discuss how this method can be used to cool the internal degrees of freedom of atoms and create heat baths suitable for studying thermodynamics at the nanoscale.
We study, classify, and explore the mathematical properties of finite-dimensional Lie algebras occurring in the quantum dynamics of single-mode and self-interacting bosonic systems. These Lie algebras are contained in the real skew-hermitian Weyl algebra
A^1, defined as the real subalgebra of the Weyl algebra
A1 consisting of all skew-hermitian polynomials. A central aspect of our analysis is the choice of basis for
A^1, which is composed of skew-symmetric combinations of two elements of the Weyl algebra called monomials, namely strings of creation and annihilation operators combined with their hermitian conjugate. Motivated by the quest for analytical solutions in quantum optimal control and dynamics, we aim at answering the following three fundamental questions: (i) What are the finite-dimensional Lie subalgebras in
A^1 generated by monomials alone? (ii)~What are the finite-dimensional Lie subalgebras in
A^1 that contain the free Hamiltonian? (iii) What are the non-abelian and finite-dimensional Lie subalgebras that can be faithfully realized in
A^1? We answer the first question by providing all possible realizations of all finite-dimensional non-abelian Lie algebras that are generated by monomials alone. We answer the second question by proving that any non-abelian and finite-dimensional subalgebra of
A^1 that contains a free Hamiltonian term must be a subalgebra of the Schrödinger algebra. We partially answer the third question by classifying all nilpotent and non-solvable Lie algebras that can be realized in
A^1, and comment on the remaining cases. Finally, we also discuss the implications of our results for quantum control theory. Our work constitutes an important stepping stone to understanding quantum dynamics of bosonic systems in full generality.