We prove approximate controllability for a bilinear quantum system modeling a pair of trapped ions. The proof is based on a spectral decoupling technique, which exploits finite-dimensional considerations to tackle the infinite-dimensional controllability problem.
Theories of quantum control have, until recently, made the assumption that the Hilbert space of a quantum system can be truncated to finite dimensions. Such truncations, which can be achieved for most quantum systems via bandwidth restrictions, have enabled the development of a rich variety of quantum control and optimal control schemes. Recent studies in quantum information processing have addressed the control of infinite-dimensional quantum systems such as the quantum states of a trapped-ion. Controllability in an infinite-dimensional quantum system is hard to prove with conventional methods, and infinite-dimensional systems provide unique challenges in designing control fields. In this paper, we will discuss the control of a popular system for quantum computing the trapped-ion qubit. This system, modeled by a spin-half particle coupled to a quantized harmonic oscillator, is an example for a surprisingly rich variety of control problems. We will show how this infinite-dimensional quantum system can be examined via the lens of the Finite Controllability Theorem, two-color STIRAP, the generalized Heisenberg system, etc. These results are important from the viewpoint of developing more efficient quantum control protocols, particularly in quantum computing systems. This work shows how one can expand the scope of quantum control research to beyond that of finite-dimensional quantum systems.
In this paper, we consider the problem of the controllability of a finite-dimensional quantum system in both the Schrödinger and interaction pictures. Introducing a Quantum Transfer Graph, we elucidate the role of Lie algebra rank conditions and the complex nature of the control matrices. We analyze the example of a sequentially coupled N-level system: a spin-12 particle coupled to a finite quantum harmonic oscillator. This models an important physical paradigm of quantum computers—the trapped ion. We describe the control of the finite model obtained, under the right conditions, from the original infinite-dimensional system.
In the framework of bilinear control of the Schrödinger equation with bounded control operators, it has been proved that the reachable set has a dense complemement in S∩H2. Hence, in this setting, exact quantum control in infinite dimensions is not possible. On the other hand it is known that there is a simple choice of operators which, when applied to an arbitrary state, generate dense orbits in Hilbert space. Compatibility of these two results is established in this paper and, in particular, it is proved that the closure of the reachable set of bilinear control by bounded operators is dense in S∩H2. The requirements for controllability in infinite dimensions are also related to the properties of the infinite dimensional unitary group.
Quantum phenomena of interest in connection with applications to computation and communication often involve generating specific transfers between eigenstates, and their linear superpositions. For some quantum systems, such as spin systems, the quantum evolution equation (the Schrödinger equation) is finite-dimensional and old results on controllability of systems defined on on Lie groups and quotient spaces provide most of what is needed insofar as controllability of non-dissipative systems is concerned. However, in an infinite-dimensional setting, controlling the evolution of quantum systems often presents difficulties, both conceptual and technical. In this paper we present a systematic approach to a class of such problems for which it is possible to avoid some of the technical issues. In particular, we analyze controllability for infinite-dimensional bilinear systems under assumptions that make controllability possible using trajectories lying in a nested family of pre-defined subspaces. This result, which we call the Finite Controllability Theorem, provides a set of sufficient conditions for controllability in an infinite-dimensional setting. We consider specific physical systems that are of interest for quantum computing, and provide insights into the types of quantum operations (gates) that may be developed.