Finite Controllability of Infinite-Dimensional Quantum Systems

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.

[1]  Mario Sigalotti,et al.  Controllability of the discrete-spectrum Schrödinger equation driven by an external field , 2008, 0801.4893.

[2]  Kurt Jacobs,et al.  Engineering quantum states of a nanoresonator via a simple auxiliary system. , 2007, Physical review letters.

[3]  C. Rangan,et al.  Controllability and Universal Three-qubit Quantum Computation with Trapped Electron States , 2007, Quantum Inf. Process..

[4]  Reinhard Illner,et al.  Limitations on the control of Schrödinger equations , 2006 .

[5]  J. Swoboda.  Time-optimal Control of Spin Systems , 2006, quant-ph/0601131.

[6]  U. Boscain,et al.  Controllability of the Schrödinger Equation via Intersection of Eigenvalues , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[7]  Karine Beauchard,et al.  Local controllability of a 1-D Schrödinger equation , 2005 .

[8]  T. Tarn,et al.  Smooth controllability of infinite-dimensional quantum-mechanical systems (11 pages) , 2005, quant-ph/0505063.

[9]  Anthony M. Bloch,et al.  Control of finite-dimensional quantum systems: Application to a spin-12 particle coupled with a finite quantum harmonic oscillator , 2005 .

[10]  John W. Clark,et al.  Analytic controllability of time-dependent quantum control systems , 2004, quant-ph/0409147.

[11]  Mazyar Mirrahimi,et al.  Controllability of quantum harmonic oscillators , 2004, IEEE Transactions on Automatic Control.

[12]  Yuly Billig,et al.  Coarse-grained controllability of wavepackets by free evolution and phase shifts. , 2004, The Journal of chemical physics.

[13]  A. Bloch,et al.  Control of trapped-ion quantum states with optical pulses. , 2004, Physical review letters.

[14]  C. Rangan,et al.  The controllability of infinite quantum systems , 2003, 42nd IEEE International Conference on Decision and Control (IEEE Cat. No.03CH37475).

[15]  Michael Spanner,et al.  Quantum logic approach to wave packet control. , 2003, Physical review letters.

[16]  R. Mendes,et al.  Quantum control in infinite dimensions , 2003, quant-ph/0311034.

[17]  Domenico D'Alessandro,et al.  Notions of controllability for bilinear multilevel quantum systems , 2003, IEEE Trans. Autom. Control..

[18]  Herschel Rabitz,et al.  Wavefunction controllability for finite-dimensional bilinear quantum systems , 2003 .

[19]  Kenneth R. Brown,et al.  Scalable ion trap quantum computation in decoherence-free subspaces with pairwise interactions only , 2003 .

[20]  D. Leibfried,et al.  Experimental demonstration of a technique to generate arbitrary quantum superposition states of a harmonically bound spin-1/2 particle. , 2002, Physical review letters.

[21]  R. Kosloff,et al.  Quantum computing by an optimal control algorithm for unitary transformations. , 2002, Physical review letters.

[22]  C. Rangan,et al.  Optimally shaped terahertz pulses for phase retrieval in a Rydberg-atom data register , 2001, quant-ph/0103171.

[23]  Gabriel Turinici,et al.  Controllable quantities for bilinear quantum systems , 2000, Proceedings of the 39th IEEE Conference on Decision and Control (Cat. No.00CH37187).

[24]  Gabriel Turinici,et al.  Contrôlabilité exacte de la population des états propres dans les systèmes quantiques bilinéaires , 2000 .

[25]  S. Lloyd,et al.  Quantum Computation over Continuous Variables , 1998, quant-ph/9810082.

[26]  C. K. Law,et al.  PREPARATION OF ARBITRARY ENTANGLED QUANTUM STATES OF A TRAPPED ION , 1998 .

[27]  C. Monroe,et al.  Experimental Issues in Coherent Quantum-State Manipulation of Trapped Atomic Ions , 1997, Journal of research of the National Institute of Standards and Technology.

[28]  Law,et al.  Arbitrary control of a quantum electromagnetic field. , 1996, Physical review letters.

[29]  Ramakrishna,et al.  Controllability of molecular systems. , 1995, Physical review. A, Atomic, molecular, and optical physics.

[30]  K. Kime,et al.  Control of transition probabilities of the quantum-mechanical harmonic oscillator , 1993 .

[31]  Amnon Pazy,et al.  Semigroups of Linear Operators and Applications to Partial Differential Equations , 1992, Applied Mathematical Sciences.

[32]  Bruce W. Shore,et al.  Theory of Coherent Atomic Excitation , 1991 .

[33]  B. Shore.  The Theory of Coherent Atomic Excitation, Volume 2, Multilevel Atoms and Incoherence , 1990 .

[34]  H. Rabitz,et al.  Optimal control of quantum-mechanical systems: Existence, numerical approximation, and applications. , 1988, Physical review. A, General physics.

[35]  Stuart A. Rice,et al.  Coherent pulse sequence induced control of selectivity of reactions , 1986, International Laser Science Conference.

[36]  Paul Brumer,et al.  Laser control of product quantum state populations in unimolecular reactions , 1986 .

[37]  Stuart A. Rice,et al.  Control of selectivity of chemical reaction via control of wave packet evolution , 1985 .

[38]  T. Tarn,et al.  On the controllability of quantum‐mechanical systems , 1983 .

[39]  M. Slemrod,et al.  Controllability of distributed bilinear systems , 1981, 1981 20th IEEE Conference on Decision and Control including the Symposium on Adaptive Processes.

[40]  J. Linnett,et al.  Quantum mechanics , 1975, Nature.

[41]  R. Brockett.  Lie Theory and Control Systems Defined on Spheres , 1973 .

[42]  R. Brockett.  System Theory on Group Manifolds and Coset Spaces , 1972 .

[43]  R. Glauber.  Coherent and incoherent states of the radiation field , 1963 .

[44]  Riccardo Adami,et al.  Controllability of the Schrödinger Equation via Intersection of Eigenvalues , 2005 .

[45]  H. Rabitz,et al.  Wavefunction controllability in quantum systems , 2003 .

[46]  Enrique Zuazua,et al.  Remarks on the controllability of the Schrödinger equation , 2002, CRM Workshop.

[47]  J. Eberly,et al.  Optical resonance and two-level atoms , 1975 .

[48]  E. Jaynes,et al.  Comparison of quantum and semiclassical radiation theories with application to the beam maser , 1962 .

[49]  A. Messiah.  Quantum Mechanics , 1961 .