Reachability in Infinite-Dimensional Unital Open Quantum Systems with Switchable GKS-Lindblad Generators

In quantum systems theory one of the fundamental problems boils down to: given an initial state, which final states can be reached by the dynamic system in question. Here we consider infinite dimensional open quantum dynamical systems following a unital Kossakowski-Lindblad master equation extended by controls. More precisely, their time evolution shall be governed by an inevitable potentially unbounded Hamiltonian drift term $H_0$, finitely many bounded control Hamiltonians $H_j$ allowing for (at least) piecewise constant control amplitudes $u_j(t)\in{\mathbb R}$ plus a bang-bang (i.e. on-off) switchable noise term $\mathbf{\Gamma}_V$ in Kossakowski-Lindblad form. Generalizing standard majorization results from finite to infinite dimensions, we show that such bilinear quantum control systems allow to approximately reach any target state majorized by the initial one, as up to now only has been known in finite dimensional analogues.---The proof of the result is currently limited to the control Hamiltonians $ H_j$ being bounded and noise terms $\mathbf{\Gamma}_V$ with compact normal $V$.

[1]  S. Nadler.  Hyperspaces of Sets: A Text with Research Questions , 1978 .

[2]  Yuan Li,et al.  Von Neumann entropy and majorization , 2013, 1304.7442.

[3]  G. Lindblad.  On the generators of quantum dynamical semigroups , 1976 .

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

[5]  Sterling K. Berberian,et al.  Introduction to Hilbert Space , 1977 .

[6]  Michael Keyl,et al.  Quantum control in infinite dimensions and Banach-Lie algebras , 2018, 2019 IEEE 58th Conference on Decision and Control (CDC).

[7]  David L. Elliott,et al.  Bilinear Control Systems , 2009 .

[8]  R. Meise,et al.  Introduction to Functional Analysis , 1997 .

[9]  Haidong Yuan,et al.  Characterization of Majorization Monotone Quantum Dynamics , 2010, IEEE Transactions on Automatic Control.

[10]  Thomas Schulte-Herbrüggen,et al.  Illustrating the Geometry of Coherently Controlled Unital Open Quantum Systems , 2011, IEEE Transactions on Automatic Control.

[11]  V. Bergholm,et al.  Arbitrary n-Qubit State Transfer Implemented by Coherent Control and Simplest Switchable Local Noise , 2016, 1605.06473.

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

[13]  J. Cirac,et al.  Dividing Quantum Channels , 2006, math-ph/0611057.

[14]  P. Bergmann.  Stochasticity And Partial Order Doubly Stochastic Maps And Unitary Mixing , 2016 .

[15]  E. Sudarshan,et al.  Completely Positive Dynamical Semigroups of N Level Systems , 1976 .

[16]  Mario Sigalotti,et al.  Exact Controllability in Projections of the Bilinear Schrödinger Equation , 2018, SIAM J. Control. Optim..

[17]  Uwe Helmke,et al.  Lie-semigroup structures for reachability and control of open quantum systems: kossakowski-lindblad generators form lie wedge to markovian channels , 2009 .

[18]  Uwe Helmke,et al.  Lie Theory for Quantum Control , 2008 .

[19]  H. Sussmann,et al.  Controllability of nonlinear systems , 1972 .

[20]  K. Kraus,et al.  States, effects, and operations : fundamental notions of quantum theory : lectures in mathematical physics at the University of Texas at Austin , 1983 .

[21]  Serge Haroche,et al.  Controlling photons in a box and exploring the quantum to classical boundary , 2013, Angewandte Chemie.

[22]  Reinhard F. Werner,et al.  Unbounded Generators of Dynamical Semigroups , 2017, Open Syst. Inf. Dyn..

[23]  M. Sentís.  Quantum theory of open systems , 2002 .

[24]  Thomas Schulte-Herbrüggen,et al.  Quantum Systems Theory Viewed from Kossakowski-Lindblad Lie Semigroups - and Vice Versa , 2017, Open Syst. Inf. Dyn..

[25]  Nam-Kiu Tsing,et al.  The C-numerical range of matrices is star-shaped , 1996 .

[26]  Ian R. Petersen,et al.  Quantum control theory and applications: A survey , 2009, IET Control Theory & Applications.

[27]  U. Helmke,et al.  Lie-Semigroup Structures for Reachability and Control of Open Quantum Systems: Viewing Markovian Quantum Channels as Lie Semigroups and GKS-Lindblad Generators as Lie Wedge , 2008 .

[28]  G. Dirr,et al.  Unitary dilations of discrete-time quantum-dynamical semigroups , 2018, 1804.00918.

[29]  Mazyar Mirrahimi,et al.  Real-time quantum feedback prepares and stabilizes photon number states , 2011, Nature.

[30]  Mario Sigalotti,et al.  A Weak Spectral Condition for the Controllability of the Bilinear Schrödinger Equation with Application to the Control of a Rotating Planar Molecule , 2011, ArXiv.

[31]  A N Cleland,et al.  Qubit Architecture with High Coherence and Fast Tunable Coupling. , 2014, Physical review letters.

[32]  Thomas Schulte-Herbrüggen,et al.  Reachable Sets from Toy Models to Controlled Markovian Quantum Systems * , 2019, 2019 IEEE 58th Conference on Decision and Control (CDC).

[33]  S. Berberian.  Review: Harro Heuser, Funktionanalysis, and Richard B. Holmes, Geometric functional analysis and its applications, and Michael Reed and Barry Simon, Functional analysis, and Michael Reed and Barry Simon, Methods of modern mathematical physics, vol. II, Fourier analysis, self-adjointness , 1976 .

[34]  H. Sussmann,et al.  Control systems on Lie groups , 1972 .

[35]  T. Andô.  Majorization, doubly stochastic matrices, and comparison of eigenvalues , 1989 .

[36]  K. Fan.  On a Theorem of Weyl Concerning Eigenvalues of Linear Transformations: II. , 1949, Proceedings of the National Academy of Sciences of the United States of America.

[37]  D. Elliott.  Bilinear Control Systems: Matrices in Action , 2009 .

[38]  A. Kossakowski,et al.  On quantum statistical mechanics of non-Hamiltonian systems , 1972 .

[39]  Chi-Kwong Li,et al.  C-numerical ranges and C-numerical radii , 1994 .