-
Randomized Gradient Descents on Riemannian Manifolds: Almost Sure Convergence to Global Minima in and beyond Quantum Optimization
Authors:
Emanuel Malvetti,
Christian Arenz,
Gunther Dirr,
Thomas Schulte-Herbrüggen
Abstract:
We analyze the convergence properties of gradient descent algorithms on Riemannian manifolds. We study randomization of the tangent space directions of Riemannian gradient flows for minimizing smooth cost functions (of Morse--Bott type) to obtain convergence to local optima. We prove that through randomly projecting Riemannian gradients according to the Haar measure, convergence to local optima ca…
▽ More
We analyze the convergence properties of gradient descent algorithms on Riemannian manifolds. We study randomization of the tangent space directions of Riemannian gradient flows for minimizing smooth cost functions (of Morse--Bott type) to obtain convergence to local optima. We prove that through randomly projecting Riemannian gradients according to the Haar measure, convergence to local optima can be obtained almost surely despite the existence of saddle points. As an application we consider ground state preparation through quantum optimization over the unitary group. In this setting one can efficiently approximate the Haar-random projections by implementing unitary 2-designs on quantum computers. We prove that the respective algorithm almost surely converges to the global minimum that corresponds to the ground state of a desired Hamiltonian. Finally, we discuss the time required by the algorithm to pass a saddle point in a simple two-dimensional setting.
△ Less
Submitted 20 May, 2024;
originally announced May 2024.
-
Reachability, Coolability, and Stabilizability of Open Markovian Quantum Systems with Fast Unitary Control
Authors:
Emanuel Malvetti,
Frederik vom Ende,
Gunther Dirr,
Thomas Schulte-Herbrüggen
Abstract:
Open Markovian quantum systems with fast and full Hamiltonian control can be reduced to an equivalent control system on the standard simplex modelling the dynamics of the eigenvalues of the density matrix describing the quantum state. We explore this reduced control system for answering questions on reachability and stabilizability with immediate applications to the cooling of Markovian quantum sy…
▽ More
Open Markovian quantum systems with fast and full Hamiltonian control can be reduced to an equivalent control system on the standard simplex modelling the dynamics of the eigenvalues of the density matrix describing the quantum state. We explore this reduced control system for answering questions on reachability and stabilizability with immediate applications to the cooling of Markovian quantum systems. We show that for certain tasks of interest, the control Hamiltonian can be chosen time-independent. -- The reduction picture is an example of dissipative interconversion between equivalence classes of states, where the classes are induced by fast controls.
△ Less
Submitted 1 August, 2023;
originally announced August 2023.
-
Reduced Control Systems on Symmetric Lie Algebras
Authors:
Emanuel Malvetti,
Gunther Dirr,
Frederik vom Ende,
Thomas Schulte-Herbrüggen
Abstract:
For a symmetric Lie algebra $\mathfrak g=\mathfrak k\oplus\mathfrak p$ we consider a class of bilinear or more general control-affine systems on $\mathfrak p$ defined by a drift vector field $X$ and control vector fields $\mathrm{ad}_{k_i}$ for $k_i\in\mathfrak k$ such that one has fast and full control on the corresponding compact group $\mathbf K$. We show that under quite general assumptions on…
▽ More
For a symmetric Lie algebra $\mathfrak g=\mathfrak k\oplus\mathfrak p$ we consider a class of bilinear or more general control-affine systems on $\mathfrak p$ defined by a drift vector field $X$ and control vector fields $\mathrm{ad}_{k_i}$ for $k_i\in\mathfrak k$ such that one has fast and full control on the corresponding compact group $\mathbf K$. We show that under quite general assumptions on $X$ such a control system is essentially equivalent to a natural reduced system on a maximal Abelian subspace $\mathfrak a\subseteq\mathfrak p$, and likewise to related differential inclusions defined on $\mathfrak a$. We derive a number of general results for such systems and as an application we prove a simulation result with respect to the preorder induced by the Weyl group action.
△ Less
Submitted 25 July, 2023;
originally announced July 2023.
-
Exploring the Limits of Controlled Markovian Quantum Dynamics with Thermal Resources
Authors:
Frederik vom Ende,
Emanuel Malvetti,
Gunther Dirr,
Thomas Schulte-Herbrüggen
Abstract:
Our aim is twofold: First, we rigorously analyse the generators of quantum-dynamical semigroups of thermodynamic processes. We characterise a wide class of GKSL-generators for quantum maps within thermal operations and argue that every infinitesimal generator of (a one-parameter semigroup of) Markovian thermal operations belongs to this class. We completely classify and visualise them and their no…
▽ More
Our aim is twofold: First, we rigorously analyse the generators of quantum-dynamical semigroups of thermodynamic processes. We characterise a wide class of GKSL-generators for quantum maps within thermal operations and argue that every infinitesimal generator of (a one-parameter semigroup of) Markovian thermal operations belongs to this class. We completely classify and visualise them and their non-Markovian counterparts for the case of a single qubit.
Second, we use this description in the framework of bilinear control systems to characterise reachable sets of coherently controllable quantum systems with switchable coupling to a thermal bath. The core problem reduces to studying a hybrid control system ("toy model") on the standard simplex allowing for two types of evolution: (i) instantaneous permutations and (ii) a one-parameter semigroup of $d$-stochastic maps. We generalise upper bounds of the reachable set of this toy model invoking new results on thermomajorisation. Using tools of control theory we fully characterise these reachable sets as well as the set of stabilisable states as exemplified by exact results in qutrit systems.
△ Less
Submitted 19 April, 2023; v1 submitted 3 March, 2023;
originally announced March 2023.
-
Analytic, Differentiable and Measurable Diagonalizations in Symmetric Lie Algebras
Authors:
Emanuel Malvetti,
Gunther Dirr,
Frederik vom Ende,
Thomas Schulte-Herbrüggen
Abstract:
We generalize several important results from the perturbation theory of linear operators to the setting of semisimple orthogonal symmetric Lie algebras. These Lie algebras provide a unifying framework for various notions of matrix diagonalization, such as the eigenvalue decomposition of real symmetric or complex Hermitian matrices, and the real or complex singular value decomposition. Concretely,…
▽ More
We generalize several important results from the perturbation theory of linear operators to the setting of semisimple orthogonal symmetric Lie algebras. These Lie algebras provide a unifying framework for various notions of matrix diagonalization, such as the eigenvalue decomposition of real symmetric or complex Hermitian matrices, and the real or complex singular value decomposition. Concretely, given a path of structured matrices with a certain smoothness, we study what kind of smoothness one can obtain for the corresponding diagonalization of the matrices.
△ Less
Submitted 30 June, 2023; v1 submitted 1 December, 2022;
originally announced December 2022.
-
Quantum optimal control in quantum technologies. Strategic report on current status, visions and goals for research in Europe
Authors:
Christiane P. Koch,
Ugo Boscain,
Tommaso Calarco,
Gunther Dirr,
Stefan Filipp,
Steffen J. Glaser,
Ronnie Kosloff,
Simone Montangero,
Thomas Schulte-Herbrüggen,
Dominique Sugny,
Frank K. Wilhelm
Abstract:
Quantum optimal control, a toolbox for devising and implementing the shapes of external fields that accomplish given tasks in the operation of a quantum device in the best way possible, has evolved into one of the cornerstones for enabling quantum technologies. The last few years have seen a rapid evolution and expansion of the field. We review here recent progress in our understanding of the cont…
▽ More
Quantum optimal control, a toolbox for devising and implementing the shapes of external fields that accomplish given tasks in the operation of a quantum device in the best way possible, has evolved into one of the cornerstones for enabling quantum technologies. The last few years have seen a rapid evolution and expansion of the field. We review here recent progress in our understanding of the controllability of open quantum systems and in the development and application of quantum control techniques to quantum technologies. We also address key challenges and sketch a roadmap for future developments.
△ Less
Submitted 24 May, 2022;
originally announced May 2022.
-
Exploring the Limits of Open Quantum Dynamics I: Motivation, New Results from Toy Models to Applications
Authors:
Thomas Schulte-Herbrüggen,
Frederik vom Ende,
Gunther Dirr
Abstract:
Which quantum states can be reached by controlling open Markovian $n$-level quantum systems? Here, we address reachable sets of coherently controllable quantum systems with switchable coupling to a thermal bath of temperature $T$. The core problem reduces to a toy model of studying points in the standard simplex allowing for two types of controls: (i) permutations within the simplex, (ii) contract…
▽ More
Which quantum states can be reached by controlling open Markovian $n$-level quantum systems? Here, we address reachable sets of coherently controllable quantum systems with switchable coupling to a thermal bath of temperature $T$. The core problem reduces to a toy model of studying points in the standard simplex allowing for two types of controls: (i) permutations within the simplex, (ii) contractions by a dissipative semigroup. By illustration, we put the problem into context and show how toy-model solutions pertain to the reachable set of the original controlled Markovian quantum system. Beyond the case $T=0$ (amplitude dam**) we present new results for $0 <T < \infty$ using methods of $d$-majorisation.
△ Less
Submitted 28 March, 2023; v1 submitted 9 March, 2020;
originally announced March 2020.
-
Reachable Sets from Toy Models to Controlled Markovian Quantum Systems
Authors:
Gunther Dirr,
Frederik vom Ende,
Thomas Schulte-Herbrüggen
Abstract:
In the framework of bilinear control systems, we present reachable sets of coherently controllable open quantum systems with switchable coupling to a thermal bath of arbitrary temperature $T geq 0$. The core problem boils down to studying points in the standard simplex amenable to two types of controls that can be used interleaved:
(i) permutations within the simplex,
(ii) contractions by a di…
▽ More
In the framework of bilinear control systems, we present reachable sets of coherently controllable open quantum systems with switchable coupling to a thermal bath of arbitrary temperature $T geq 0$. The core problem boils down to studying points in the standard simplex amenable to two types of controls that can be used interleaved:
(i) permutations within the simplex,
(ii) contractions by a dissipative one-parameter semigroup.
Our work illustrates how the solutions of the core problem pertain to the reachable set of the original controlled Markovian quantum system. We completely characterize the case $T=0$ and present inclusions for $T>0$.
△ Less
Submitted 6 August, 2019; v1 submitted 3 May, 2019;
originally announced May 2019.
-
Reachability in Infinite Dimensional Unital Open Quantum Systems with Switchable GKS-Lindblad Generators
Authors:
Frederik vom Ende,
Gunther Dirr,
Michael Keyl,
Thomas Schulte-Herbrüggen
Abstract:
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 unb…
▽ More
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Γ_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Γ_V$ with compact normal $V$.
△ Less
Submitted 8 May, 2019; v1 submitted 8 February, 2019;
originally announced February 2019.
-
Optimal Control of Hybrid Optomechanical Systems for Generating Non-Classical States of Mechanical Motion
Authors:
Ville Bergholm,
Witlef Wieczorek,
Thomas Schulte-Herbrueggen,
Michael Keyl
Abstract:
Cavity optomechanical systems are one of the leading experimental platforms for controlling mechanical motion in the quantum regime. We exemplify that the control over cavity optomechanical systems greatly increases by coupling the cavity also to a two-level system, thereby creating a hybrid optomechanical system. If the two-level system can be driven largely independently of the cavity, we show t…
▽ More
Cavity optomechanical systems are one of the leading experimental platforms for controlling mechanical motion in the quantum regime. We exemplify that the control over cavity optomechanical systems greatly increases by coupling the cavity also to a two-level system, thereby creating a hybrid optomechanical system. If the two-level system can be driven largely independently of the cavity, we show that the non-linearity thus introduced enables us to steer the extended system to non-classical target states of the mechanical oscillator with Wigner functions exhibiting significant negative regions. We illustrate how to use optimal control techniques beyond the linear regime to drive the hybrid system from the near ground state into a Fock target state of the mechanical oscillator. We base our numerical optimization on realistic experimental parameters for exemplifying how optimal control enables the preparation of decidedly non-classical target states, where naive control schemes fail. Our results thus pave the way for applying the toolbox of optimal control in hybrid optomechanical systems for generating non-classical mechanical states.
△ Less
Submitted 4 May, 2019; v1 submitted 14 December, 2018;
originally announced December 2018.
-
Arbitrary n-Qubit State Transfer Implemented by Coherent Control and Simplest Switchable Local Noise
Authors:
Ville Bergholm,
F. K. Wilhelm,
T. Schulte-Herbrueggen
Abstract:
We study reachable sets of open n-qubit quantum systems, whose coherent parts are under full unitary control, by adding as a further degree of incoherent control switchable Markovian noise on a single qubit. In particular, adding bang-bang control of amplitude dam** noise (non-unital) allows the dynamic system to act transitively on the entire set of density operators. Thus one can transform any…
▽ More
We study reachable sets of open n-qubit quantum systems, whose coherent parts are under full unitary control, by adding as a further degree of incoherent control switchable Markovian noise on a single qubit. In particular, adding bang-bang control of amplitude dam** noise (non-unital) allows the dynamic system to act transitively on the entire set of density operators. Thus one can transform any initial quantum state into any desired target state. Adding switchable bit-flip noise (unital) instead suffices to get all states majorised by the initial state. Our open-loop optimal control package DYNAMO is extended by incoherent control to exploit these unprecedented reachable sets in experiments. We propose implementation by a GMon, a superconducting device with fast tunable coupling to an open transmission line, and illustrate how open-loop control with noise switching achieves all state transfers without measurement-based closed-loop feedback and resettable ancilla.
△ Less
Submitted 20 April, 2017; v1 submitted 20 May, 2016;
originally announced May 2016.
-
Training Schrödinger's cat: quantum optimal control
Authors:
Stefffen J. Glaser,
Ugo Boscain,
Tommaso Calarco,
Christiane P. Koch,
Walter Köckenberger,
Ronnie Kosloff,
Ilya Kuprov,
Burkard Luy,
Sophie Schirmer,
Thomas Schulte-Herbrüggen,
D. Sugny,
Frank K. Wilhelm
Abstract:
It is control that turns scientific knowledge into useful technology: in physics and engineering it provides a systematic way for driving a system from a given initial state into a desired target state with minimized expenditure of energy and resources -- as famously applied in the Apollo programme. As one of the cornerstones for enabling quantum technologies, optimal quantum control keeps evolvin…
▽ More
It is control that turns scientific knowledge into useful technology: in physics and engineering it provides a systematic way for driving a system from a given initial state into a desired target state with minimized expenditure of energy and resources -- as famously applied in the Apollo programme. As one of the cornerstones for enabling quantum technologies, optimal quantum control keeps evolving and expanding into areas as diverse as quantum-enhanced sensing, manipulation of single spins, photons, or atoms, optical spectroscopy, photochemistry, magnetic resonance (spectroscopy as well as medical imaging), quantum information processing and quantum simulation. --- Here state-of-the-art quantum control techniques are reviewed and put into perspective by a consortium uniting expertise in optimal control theory and applications to spectroscopy, imaging, quantum dynamics of closed and open systems. We address key challenges and sketch a roadmap to future developments.
△ Less
Submitted 3 August, 2015;
originally announced August 2015.
-
Symmetry criteria for quantum simulability of effective interactions
Authors:
Zoltán Zimborás,
Robert Zeier,
T. Schulte-Herbrueggen,
Daniel Burgarth
Abstract:
What can one do with a given tunable quantum device? We provide complete symmetry criteria deciding whether some effective target interaction(s) can be simulated by a set of given interactions. Symmetries lead to a better understanding of simulation and permit a reasoning beyond the limitations of the usual explicit Lie closure. Conserved quantities induced by symmetries pave the way to a resource…
▽ More
What can one do with a given tunable quantum device? We provide complete symmetry criteria deciding whether some effective target interaction(s) can be simulated by a set of given interactions. Symmetries lead to a better understanding of simulation and permit a reasoning beyond the limitations of the usual explicit Lie closure. Conserved quantities induced by symmetries pave the way to a resource theory for simulability. On a general level, one can now decide equality for any pair of compact Lie algebras just given by their generators without determining the algebras explicitly. Several physical examples are illustrated, including entanglement invariants, the relation to unitary gate membership problems, as well as the central-spin model.
△ Less
Submitted 13 October, 2015; v1 submitted 29 April, 2015;
originally announced April 2015.
-
Controlling Several Atoms in a Cavity
Authors:
Michael Keyl,
Robert Zeier,
T. Schulte-Herbrueggen
Abstract:
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 considere…
▽ More
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.
△ Less
Submitted 22 January, 2014;
originally announced January 2014.
-
Quantum error correction in a solid-state hybrid spin register
Authors:
G. Waldherr,
Y. Wang,
S. Zaiser,
M. Jamali,
T. Schulte-Herbrueggen,
H. Abe,
T. Ohshima,
J. Isoya,
P. Neumann,
J. Wrachtrup
Abstract:
Hybrid quantum systems seek to combine the strength of its constituents to master the fundamental conflicting requirements of quantum technology: fast and accurate systems control together with perfect shielding from the environment, including the measurements apparatus, to achieve long quantum coherence. Excellent examples for hybrid quantum systems are heterogeneous spin systems where electron s…
▽ More
Hybrid quantum systems seek to combine the strength of its constituents to master the fundamental conflicting requirements of quantum technology: fast and accurate systems control together with perfect shielding from the environment, including the measurements apparatus, to achieve long quantum coherence. Excellent examples for hybrid quantum systems are heterogeneous spin systems where electron spins are used for readout and control while nuclear spins are used as long-lived quantum bits. Here we show that joint initialization, projective readout and fast local and non-local gate operations are no longer conflicting requirements in those systems, even under ambient conditions. We demonstrate high-fidelity initialization of a whole spin register (99 %) and single-shot readout of multiple individual nuclear spins by using the ancillary electron spin of a nitrogen-vacancy defect in diamond. Implementation of a novel non-local gate generic to our hybrid electron-nuclear quantum register allows to prepare entangled states of three nuclear spins, with fidelities exceeding 85 %. An important tool for scalable quantum computation is quantum error correction. Combining, for the first time, optimal-control based error avoidance with error correction, we realize a three-qubit phase-flip error correction algorithm. Utilizing optimal control, all of the above algorithms achieve fidelities approaching fault tolerant quantum operation, thus paving the way to large scale integrations. Our techniques can be used to improve scaling of quantum networks relying on diamond spins, phosphorous in silicon or other spin systems like quantum dots, silicon carbide or rare earth ions in solids.
△ Less
Submitted 27 September, 2013; v1 submitted 25 September, 2013;
originally announced September 2013.
-
High fidelity spin entanglement using optimal control
Authors:
Florian Dolde,
Ville Bergholm,
Ya Wang,
Ingmar Jakobi,
Sebastien Pezzagna,
Jan Meijer,
Philipp Neumann,
T. Schulte-Herbrueggen,
Jacob Biamonte,
Jörg Wrachtrup
Abstract:
Precise control of quantum systems is of fundamental importance for quantum device engineering, such as is needed in the fields of quantum information processing, high-resolution spectroscopy and quantum metrology. When scaling up the quantum registers in such devices, several challenges arise: individual addressing of qubits in a dense spectrum while suppressing crosstalk, creation of entanglemen…
▽ More
Precise control of quantum systems is of fundamental importance for quantum device engineering, such as is needed in the fields of quantum information processing, high-resolution spectroscopy and quantum metrology. When scaling up the quantum registers in such devices, several challenges arise: individual addressing of qubits in a dense spectrum while suppressing crosstalk, creation of entanglement between distant nodes, and decoupling from unwanted interactions. The experimental implementation of optimal control is a prerequisite to meeting these challenges. Using engineered microwave pulses, we experimentally demonstrate optimal control of a prototype solid state spin qubit system comprising thirty six energy levels. The spin qubits are associated with proximal nitrogen-vacancy (NV) centers in diamond. We demonstrate precise single-electron spin qubit operations with an unprecedented fidelity F \approx 0.99 in combination with high-efficiency storage of electron spin states in a nuclear spin quantum memory. Matching single-electron spin operations with spin-echo techniques, we further realize high-quality entangled states (F > 0.82) between two electron spins on demand. After exploiting optimal control, the fidelity is mostly limited by the coherence time and imperfect initialization. Errors from crosstalk in a crowded spectrum of 8 lines as well as detrimental effects from active dipolar couplings have been simultaneously eliminated to unprecedented extent. Finally, by entanglement swap** to nuclear spins, nuclear spin entanglement over a length scale of 25 nm is demonstrated. This experiment underlines the importance of optimal control for scalable room temperature spin-based quantum information devices.
△ Less
Submitted 17 September, 2013;
originally announced September 2013.
-
Exploiting Matrix Symmetries and Physical Symmetries in Matrix Product States and Tensor Trains
Authors:
T. Huckle,
K. Waldherr,
T. Schulte-Herbrueggen
Abstract:
We focus on symmetries related to matrices and vectors appearing in the simulation of quantum many-body systems. Spin Hamiltonians have special matrix-symmetry properties such as persymmetry. Furthermore, the systems may exhibit physical symmetries translating into symmetry properties of the eigenvectors of interest. Both types of symmetry can be exploited in sparse representation formats such as…
▽ More
We focus on symmetries related to matrices and vectors appearing in the simulation of quantum many-body systems. Spin Hamiltonians have special matrix-symmetry properties such as persymmetry. Furthermore, the systems may exhibit physical symmetries translating into symmetry properties of the eigenvectors of interest. Both types of symmetry can be exploited in sparse representation formats such as Matrix Product States (MPS) for the desired eigenvectors.
This paper summarizes symmetries of Hamiltonians for typical physical systems such as the Ising model and lists resulting properties of the related eigenvectors. Based on an overview of Matrix Product States (Tensor Trains or Tensor Chains) and their canonical normal forms we show how symmetry properties of the vector translate into relations between the MPS matrices and, in turn, which symmetry properties result from relations within the MPS matrices. In this context we analyze different kinds of symmetries and derive appropriate normal forms for MPS representing these symmetries. Exploiting such symmetries by using these normal forms will lead to a reduction in the number of degrees of freedom in the MPS matrices. This paper provides a uniform platform for both well-known and new results which are presented from the (multi-)linear algebra point of view.
△ Less
Submitted 4 January, 2013;
originally announced January 2013.
-
Computations in Quantum Tensor Networks
Authors:
T. Huckle,
K. Waldherr,
T. Schulte-Herbrueggen
Abstract:
The computation of the ground state (i.e. the eigenvector related to the smallest eigenvalue) is an important task in the simulation of quantum many-body systems. As the dimension of the underlying vector space grows exponentially in the number of particles, one has to consider appropriate subsets promising both convenient approximation properties and efficient computations. The variational ansatz…
▽ More
The computation of the ground state (i.e. the eigenvector related to the smallest eigenvalue) is an important task in the simulation of quantum many-body systems. As the dimension of the underlying vector space grows exponentially in the number of particles, one has to consider appropriate subsets promising both convenient approximation properties and efficient computations. The variational ansatz for this numerical approach leads to the minimization of the Rayleigh quotient. The Alternating Least Squares technique is then applied to break down the eigenvector computation to problems of appropriate size, which can be solved by classical methods. Efficient computations require fast computation of the matrix-vector product and of the inner product of two decomposed vectors. To this end, both appropriate representations of vectors and efficient contraction schemes are needed.
Here approaches from many-body quantum physics for one-dimensional and two-dimensional systems (Matrix Product States and Projected Entangled Pair States) are treated mathematically in terms of tensors. We give the definition of these concepts, bring some results concerning uniqueness and numerical stability and show how computations can be executed efficiently within these concepts. Based on this overview we present some modifications and generalizations of these concepts and show that they still allow efficient computations such as applicable contraction schemes. In this context we consider the minimization of the Rayleigh quotient in terms of the {\sc parafac} (CP) formalism, where we also allow different tensor partitions. This approach makes use of efficient contraction schemes for the calculation of inner products in a way that can easily be extended to the mps format but also to higher dimensional problems.
△ Less
Submitted 21 December, 2012; v1 submitted 20 December, 2012;
originally announced December 2012.
-
A Dynamic Systems Approach to Fermions and Their Relation to Spins
Authors:
Zoltán Zimborás,
Robert Zeier,
Michael Keyl,
T. Schulte-Herbrueggen
Abstract:
Dynamic properties of fermionic systems, like contollability, reachability, and simulability, are investigated in a general Lie-theoretical frame for quantum systems theory. Observing the parity superselection rule, we treat the fully controllable and quasifree cases, as well as various translation-invariant and particle-number conserving cases. We determine the respective dynamic system Lie algeb…
▽ More
Dynamic properties of fermionic systems, like contollability, reachability, and simulability, are investigated in a general Lie-theoretical frame for quantum systems theory. Observing the parity superselection rule, we treat the fully controllable and quasifree cases, as well as various translation-invariant and particle-number conserving cases. We determine the respective dynamic system Lie algebras to express reachable sets of pure (and mixed) states by explicit orbit manifolds.
△ Less
Submitted 20 December, 2013; v1 submitted 9 November, 2012;
originally announced November 2012.
-
How to Transfer between Arbitrary $n$-Qubit Quantum States by Coherent Control and Simplest Switchable Noise on a Single Qubit
Authors:
V. Bergholm,
T. Schulte-Herbrueggen
Abstract:
We explore reachable sets of open $n$-qubit quantum systems, the coherent parts of which are under full unitary control and that have just one qubit whose Markovian noise amplitude can be modulated in time such as to provide an additional degree of incoherent control. In particular, adding bang-bang control of amplitude dam** noise (non-unital) allows the dynamic system to act transitively on th…
▽ More
We explore reachable sets of open $n$-qubit quantum systems, the coherent parts of which are under full unitary control and that have just one qubit whose Markovian noise amplitude can be modulated in time such as to provide an additional degree of incoherent control. In particular, adding bang-bang control of amplitude dam** noise (non-unital) allows the dynamic system to act transitively on the entire set of density operators. This means one can transform any initial quantum state into any desired target state. Adding switchable bit-flip noise (unital), on the other hand, suffices to explore all states majorised by the initial state. We have extended our open-loop optimal control algorithm (DYNAMO package) by such degrees of incoherent control so that these unprecedented reachable sets can systematically be exploited in experiments. As illustrated for an ion trap experimental setting, open-loop control with noise switching can accomplish all state transfers one can get by the more complicated measurement-based closed-loop feedback schemes.
△ Less
Submitted 12 December, 2012; v1 submitted 21 June, 2012;
originally announced June 2012.
-
Illustrating the Geometry of Coherently Controlled Quantum Channels
Authors:
C. O'Meara,
G. Dirr,
T. Schulte-Herbrueggen
Abstract:
We extend standard Markovian open quantum systems (quantum channels) by allowing for Hamiltonian controls and elucidate their geometry in terms of Lie semigroups. For standard dissipative interactions with the environment and different coherent controls, we particularly specify the tangent cones (Lie wedges) of the respective Lie semigroups of quantum channels. These cones are the counterpart of t…
▽ More
We extend standard Markovian open quantum systems (quantum channels) by allowing for Hamiltonian controls and elucidate their geometry in terms of Lie semigroups. For standard dissipative interactions with the environment and different coherent controls, we particularly specify the tangent cones (Lie wedges) of the respective Lie semigroups of quantum channels. These cones are the counterpart of the infinitesimal generator of a single one-parameter semigroup. They comprise all directions the underlying open quantum system can be steered to and thus give insight into the geometry of controlled open quantum dynamics. Such a differential characterisation is highly valuable for approximating reachable sets of given initial quantum states in a plethora of experimental implementations.
△ Less
Submitted 16 August, 2011; v1 submitted 14 March, 2011;
originally announced March 2011.
-
Symmetry Principles in Quantum Systems Theory
Authors:
Robert Zeier,
T. Schulte-Herbrueggen
Abstract:
General dynamic properties like controllability and simulability of spin systems, fermionic and bosonic systems are investigated in terms of symmetry. Symmetries may be due to the interaction topology or due to the structure and representation of the system and control Hamiltonians. In either case, they obviously entail constants of motion. Conversely, the absence of symmetry implies irreducibilit…
▽ More
General dynamic properties like controllability and simulability of spin systems, fermionic and bosonic systems are investigated in terms of symmetry. Symmetries may be due to the interaction topology or due to the structure and representation of the system and control Hamiltonians. In either case, they obviously entail constants of motion. Conversely, the absence of symmetry implies irreducibility and provides a convenient necessary condition for full controllability much easier to assess than the well-established Lie-algebra rank condition. We give a complete lattice of irreducible simple subalgebras of su(2^n) for up to n=15 qubits. It complements the symmetry condition by allowing for easy tests solving homogeneous linear equations to filter irreducible unitary representations of other candidate algebras of classical type as well as of exceptional types. --- The lattice of irreducible simple subalgebras given also determines mutual simulability of dynamic systems of spin or fermionic or bosonic nature. We illustrate how controlled quadratic fermionic (and bosonic) systems can be simulated by spin systems and in certain cases also vice versa.
△ Less
Submitted 21 July, 2011; v1 submitted 23 December, 2010;
originally announced December 2010.
-
Comparing, Optimising and Benchmarking Quantum Control Algorithms in a Unifying Programming Framework
Authors:
S. Machnes,
U. Sander,
S. J. Glaser,
P. de Fouquieres,
A. Gruslys,
S. Schirmer,
T. Schulte-Herbrueggen
Abstract:
For paving the way to novel applications in quantum simulation, computation, and technology, increasingly large quantum systems have to be steered with high precision. It is a typical task amenable to numerical optimal control to turn the time course of pulses, i.e. piecewise constant control amplitudes, iteratively into an optimised shape. Here, we present the first comparative study of optimal c…
▽ More
For paving the way to novel applications in quantum simulation, computation, and technology, increasingly large quantum systems have to be steered with high precision. It is a typical task amenable to numerical optimal control to turn the time course of pulses, i.e. piecewise constant control amplitudes, iteratively into an optimised shape. Here, we present the first comparative study of optimal control algorithms for a wide range of finite-dimensional applications. We focus on the most commonly used algorithms: GRAPE methods which update all controls concurrently, and KROTOV-type methods which do so sequentially. Guidelines for their use are given and open research questions are pointed out. --- Moreover we introduce a novel unifying algorithmic framework, DYNAMO (dynamic optimisation platform) designed to provide the quantum-technology community with a convenient MATLAB-based toolset for optimal control. In addition, it gives researchers in optimal-control techniques a framework for benchmarking and comparing new proposed algorithms to the state-of-the-art. It allows for a mix-and-match approach with various types of gradients, update and step-size methods as well as subspace choices. Open-source code including examples is made available at http://qlib.info.
△ Less
Submitted 13 May, 2011; v1 submitted 22 November, 2010;
originally announced November 2010.
-
Optimal control of circuit quantum electrodynamics in one and two dimensions
Authors:
R. Fisher,
F. Helmer,
S. J. Glaser,
F. Marquardt,
T. Schulte-Herbrueggen
Abstract:
Optimal control can be used to significantly improve multi-qubit gates in quantum information processing hardware architectures based on superconducting circuit quantum electrodynamics. We apply this approach not only to dispersive gates of two qubits inside a cavity, but, more generally, to architectures based on two-dimensional arrays of cavities and qubits. For high-fidelity gate operations,…
▽ More
Optimal control can be used to significantly improve multi-qubit gates in quantum information processing hardware architectures based on superconducting circuit quantum electrodynamics. We apply this approach not only to dispersive gates of two qubits inside a cavity, but, more generally, to architectures based on two-dimensional arrays of cavities and qubits. For high-fidelity gate operations, simultaneous evolutions of controls and couplings in the two coupling dimensions of cavity grids are shown to be significantly faster than conventional sequential implementations. Even under experimentally realistic conditions speedups by a factor of three can be gained. The methods immediately scale to large grids and indirect gates between arbitrary pairs of qubits on the grid. They are anticipated to be paradigmatic for 2D arrays and lattices of controllable qubits.
△ Less
Submitted 31 March, 2010; v1 submitted 24 November, 2009;
originally announced November 2009.
-
Controllability and Observability of Multi-Spin Systems: Constraints by Symmetry and by Relaxation
Authors:
U. Sander,
T. Schulte-Herbrueggen
Abstract:
We investigate the universality of multi-spin systems in architectures of various symmetries of coupling type and topology. Explicit reachability sets under symmetry constraints are provided. Thus for a given (possibly symmetric) experimental coupling architecture several decision problems can be solved in a unified way: (i) can a target Hamiltonian be simulated? (ii) can a target gate be synthe…
▽ More
We investigate the universality of multi-spin systems in architectures of various symmetries of coupling type and topology. Explicit reachability sets under symmetry constraints are provided. Thus for a given (possibly symmetric) experimental coupling architecture several decision problems can be solved in a unified way: (i) can a target Hamiltonian be simulated? (ii) can a target gate be synthesised? (iii) to which extent is the system observable by a given set of detection operators? and, as a special case of the latter, (iv) can an underlying system Hamiltonian be identified with a given set of detection operators? Finally, in turn, lack of symmetry provides a convenient necessary condition for full controllability. Though often easier to assess than the well-established Lie-algebra rank condition, this is not sufficient unless the candidate dynamic simple Lie algebra can be pre-identified uniquely, which is fortunately less complicated than expected.
△ Less
Submitted 16 May, 2009; v1 submitted 29 April, 2009;
originally announced April 2009.
-
Least-Squares Approximation by Elements from Matrix Orbits Achieved by Gradient Flows on Compact Lie Groups
Authors:
C. K. Li,
Y. T. Poon,
T. Schulte-Herbrueggen
Abstract:
Let $S(A)$ denote the orbit of a complex or real matrix $A$ under a certain equivalence relation such as unitary similarity, unitary equivalence, unitary congruences etc. Efficient gradient-flow algorithms are constructed to determine the best approximation of a given matrix $A_0$ by the sum of matrices in $S(A_1), ..., S(A_N)$ in the sense of finding the Euclidean least-squares distance…
▽ More
Let $S(A)$ denote the orbit of a complex or real matrix $A$ under a certain equivalence relation such as unitary similarity, unitary equivalence, unitary congruences etc. Efficient gradient-flow algorithms are constructed to determine the best approximation of a given matrix $A_0$ by the sum of matrices in $S(A_1), ..., S(A_N)$ in the sense of finding the Euclidean least-squares distance $$\min \{\|X_1+ ... + X_N - A_0\|: X_j \in S(A_j), j = 1, >..., N\}.$$ Connections of the results to different pure and applied areas are discussed.
△ Less
Submitted 9 December, 2008;
originally announced December 2008.
-
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
Authors:
G. Dirr,
U. Helmke,
I. Kurniawan,
T. Schulte-Herbrueggen
Abstract:
In view of controlling finite dimensional open quantum systems, we provide a unified Lie-semigroup framework describing the structure of completely positive trace-preserving maps. It allows (i) to identify the Kossakowski-Lindblad generators as the Lie wedge of a subsemigroup, (ii) to link properties of Lie semigroups such as divisibility with Markov properties of quantum channels, and (iii) to…
▽ More
In view of controlling finite dimensional open quantum systems, we provide a unified Lie-semigroup framework describing the structure of completely positive trace-preserving maps. It allows (i) to identify the Kossakowski-Lindblad generators as the Lie wedge of a subsemigroup, (ii) to link properties of Lie semigroups such as divisibility with Markov properties of quantum channels, and (iii) to characterise reachable sets and controllability in open systems. We elucidate when time-optimal controls derived for the analogous closed system already give good fidelities in open systems and when a more detailed knowledge of the open system (e.g., in terms of the parameters of its Kossakowski-Lindblad master equation) is actually required for state-of-the-art optimal-control algorithms. -- As an outlook, we sketch the structure of a new, potentially more efficient numerical approach explicitly making use of the corresponding Lie wedge.
△ Less
Submitted 22 February, 2009; v1 submitted 24 November, 2008;
originally announced November 2008.
-
Gradient Flows for Optimisation and Quantum Control: Foundations and Applications
Authors:
T. Schulte-Herbrueggen,
S. J. Glaser,
G. Dirr,
U. Helmke
Abstract:
For addressing optimisation tasks on finite dimensional quantum systems, we give a comprehensive account of the foundations of gradient flows on Riemannian manifolds including new developments: we extend former results from Lie groups such as the full unitary group to closed subgroups like partitionings by factorisation into tensor products, where the finest partitioning consists of purely local…
▽ More
For addressing optimisation tasks on finite dimensional quantum systems, we give a comprehensive account of the foundations of gradient flows on Riemannian manifolds including new developments: we extend former results from Lie groups such as the full unitary group to closed subgroups like partitionings by factorisation into tensor products, where the finest partitioning consists of purely local unitary operations. Moreover, the common framework is kept sufficiently general and allows for setting up gradient flows on (sub-)manifolds, Lie (sub-)groups, quotient groups, and reductive homogeneous spaces. Relevant convergence conditions are discussed meant to serve as justification for recent and new achievements, and as foundation for further research.
Exploiting the differential geometry of quantum dynamics under different scenarios helps to provide highly useful algorithms: (a) On an abstract level, gradient flows may establish the exact upper bounds of pertinent quality functions, i.e. upper bounds reachable within the underlying manifold of the state space dynamics; (b) in a second stage referring to a concrete experimental setting, gradient flows on the manifold of piecewise constant control amplitudes $\R^m$ may be set up to provide (approximations to) optimal control of quantum devices under realistic conditions.
Illustrative examples and new applications are given relating to distance measures of pure-state entanglement. We establish the correspondence to best rank-1 approximations of higher-order tensors.
△ Less
Submitted 9 December, 2008; v1 submitted 28 February, 2008;
originally announced February 2008.
-
Quantum CISC Compilation by Optimal Control and Scalable Assembly of Complex Instruction Sets beyond Two-Qubit Gates
Authors:
T. Schulte-Herbrueggen,
A. Spoerl,
S. J. Glaser
Abstract:
We present a quantum CISC compiler and show how to assemble complex instruction sets in a scalable way. Enlarging the toolbox of universal gates by optimised complex multi-qubit instruction sets thus paves the way to fight decoherence for realistic settings.
Compiling a quantum module into the machine code for steering a concrete quantum hardware device lends itself to be tackled by means of o…
▽ More
We present a quantum CISC compiler and show how to assemble complex instruction sets in a scalable way. Enlarging the toolbox of universal gates by optimised complex multi-qubit instruction sets thus paves the way to fight decoherence for realistic settings.
Compiling a quantum module into the machine code for steering a concrete quantum hardware device lends itself to be tackled by means of optimal quantum control. To this end, there are two opposite approaches: (i) one may use a decomposition into the restricted instruction set (RISC) of universal one- and two-qubit gates, which in turn have prefabricated translations into the machine code or (ii) one may prefer to generate the entire target module directly by a complex instruction set (CISC) of available controls. Here we advocate direct compilation up to the limit of system size a classical high-performance parallel computer cluster can reasonably handle. For going beyond these limits, i.e. for large systems we propose a combined way, namely (iii) to make recursive use of medium-sized building blocks generated by optimal control in the sense of a quantum CISC compiler.
The advantage of the method over standard RISC compilations into one- and two-qubit universal gates is explored on the parallel cluster HLRB-II (with a total LINPACK performance of 63.3 TFlops/s) for the quantum Fourier transform, the indirect SWAP gate as well as for multiply-controlled CNOT gates. Implications for upper limits to time complexities are also derived.
△ Less
Submitted 22 December, 2008; v1 submitted 19 December, 2007;
originally announced December 2007.
-
Relative $C$"-Numerical Ranges for Applications in Quantum Control and Quantum Information
Authors:
G. Dirr,
U. Helmke,
M. Kleinsteuber,
T. Schulte-Herbrueggen
Abstract:
Motivated by applications in quantum information and quantum control, a new type of $C$"-numerical range, the relative $C$"-numerical range denoted $W_K(C,A)$, is introduced. It arises upon replacing the unitary group U(N) in the definition of the classical $C$"-numerical range by any of its compact and connected subgroups $K \subset U(N)$.
The geometric properties of the relative $C$"-numeric…
▽ More
Motivated by applications in quantum information and quantum control, a new type of $C$"-numerical range, the relative $C$"-numerical range denoted $W_K(C,A)$, is introduced. It arises upon replacing the unitary group U(N) in the definition of the classical $C$"-numerical range by any of its compact and connected subgroups $K \subset U(N)$.
The geometric properties of the relative $C$"-numerical range are analysed in detail. Counterexamples prove its geometry is more intricate than in the classical case: e.g. $W_K(C,A)$ is neither star-shaped nor simply-connected. Yet, a well-known result on the rotational symmetry of the classical $C$"-numerical range extends to $W_K(C,A)$, as shown by a new approach based on Lie theory. Furthermore, we concentrate on the subgroup $SU_{\rm loc}(2^n) := SU(2)\otimes ... \otimes SU(2)$, i.e. the $n$-fold tensor product of SU(2), which is of particular interest in applications. In this case, sufficient conditions are derived for $W_{K}(C,A)$ being a circular disc centered at origin of the complex plane. Finally, the previous results are illustrated in detail for $SU(2) \otimes SU(2)$.
△ Less
Submitted 1 February, 2007;
originally announced February 2007.
-
The Significance of the $C$-Numerical Range and the Local $C$-Numerical Range in Quantum Control and Quantum Information
Authors:
Thomas Schulte-Herbrueggen,
Gunther Dirr,
Uwe Helmke,
Steffen J. Glaser
Abstract:
This paper shows how C-numerical-range related new strucures may arise from practical problems in quantum control--and vice versa, how an understanding of these structures helps to tackle hot topics in quantum information.
We start out with an overview on the role of C-numerical ranges in current research problems in quantum theory: the quantum mechanical task of maximising the projection of a…
▽ More
This paper shows how C-numerical-range related new strucures may arise from practical problems in quantum control--and vice versa, how an understanding of these structures helps to tackle hot topics in quantum information.
We start out with an overview on the role of C-numerical ranges in current research problems in quantum theory: the quantum mechanical task of maximising the projection of a point on the unitary orbit of an initial state onto a target state C relates to the C-numerical radius of A via maximising the trace function |\tr \{C^\dagger UAU^\dagger\}|. In quantum control of n qubits one may be interested (i) in having U\in SU(2^n) for the entire dynamics, or (ii) in restricting the dynamics to {\em local} operations on each qubit, i.e. to the n-fold tensor product SU(2)\otimes SU(2)\otimes >...\otimes SU(2). Interestingly, the latter then leads to a novel entity, the {\em local} C-numerical range W_{\rm loc}(C,A), whose intricate geometry is neither star-shaped nor simply connected in contrast to the conventional C-numerical range. This is shown in the accompanying paper (math-ph/0702005).
We present novel applications of the C-numerical range in quantum control assisted by gradient flows on the local unitary group: (1) they serve as powerful tools for deciding whether a quantum interaction can be inverted in time (in a sense generalising Hahn's famous spin echo); (2) they allow for optimising witnesses of quantum entanglement. We conclude by relating the relative C-numerical range to problems of constrained quantum optimisation, for which we also give Lagrange-type gradient flow algorithms.
△ Less
Submitted 2 February, 2007; v1 submitted 11 January, 2007;
originally announced January 2007.
-
Optimal control of a qubit coupled to a non-Markovian environment
Authors:
P. Rebentrost,
I. Serban,
T. Schulte-Herbrueggen,
F. K. Wilhelm
Abstract:
A central challenge for implementing quantum computing in the solid state is decoupling the qubits from the intrinsic noise of the material. We investigate the implementation of quantum gates for a paradigmatic, non-Markovian model: A single qubit coupled to a two-level system that is exposed to a heat bath. We systematically search for optimal pulses using a generalization of the novel open sys…
▽ More
A central challenge for implementing quantum computing in the solid state is decoupling the qubits from the intrinsic noise of the material. We investigate the implementation of quantum gates for a paradigmatic, non-Markovian model: A single qubit coupled to a two-level system that is exposed to a heat bath. We systematically search for optimal pulses using a generalization of the novel open systems Gradient Ascent Pulse Engineering (GRAPE) algorithm. We show and explain that next to the known optimal bias point of this model, there are optimal shapes which refocus unwanted terms in the Hamiltonian. We study the limitations of controls set by the decoherence properties. This can lead to a significant improvement of quantum operations in hostile environments.
△ Less
Submitted 10 December, 2008; v1 submitted 19 December, 2006;
originally announced December 2006.
-
Which Quantum Evolutions Can Be Reversed by Local Unitary Operations? Algebraic Classification and Gradient-Flow-Based Numerical Checks
Authors:
T. Schulte-Herbrueggen,
A. Spoerl
Abstract:
Generalising in the sense of Hahn's spin echo, we completely characterise those unitary propagators of effective multi-qubit interactions that can be inverted solely by {\em local} unitary operations on $n$ qubits (spins-$\tfrac{1}{2}$). The subset of $U\in \mathbf{SU}(2^n)$ satisfying $U^{-1}=K_1 U K_2$ with pairs of local unitaries $K_1, K_2\in\mathbf{SU}(2)^{\otimes n}$ comprises two classes:…
▽ More
Generalising in the sense of Hahn's spin echo, we completely characterise those unitary propagators of effective multi-qubit interactions that can be inverted solely by {\em local} unitary operations on $n$ qubits (spins-$\tfrac{1}{2}$). The subset of $U\in \mathbf{SU}(2^n)$ satisfying $U^{-1}=K_1 U K_2$ with pairs of local unitaries $K_1, K_2\in\mathbf{SU}(2)^{\otimes n}$ comprises two classes: in type-I, $K_1$ and $K_2$ are inverse to one another, while in type-II they are not. {Type-I} consists of one-parameter groups that can jointly be inverted for all times $t\in\R{}$ because their Hamiltonian generators satisfy $K H K^{-1} = \Ad K (H) = -H$. As all the Hamiltonians generating locally invertible unitaries of type-I are spanned by the eigenspace associated to the eigenvalue -1 of the {\em local} conjugation map $\Ad K$, this eigenspace can be given in closed algebraic form. The relation to the root space decomposition of $\mathfrak{sl}(N,\C{})$ is pointed out. Special cases of type-I invertible Hamiltonians are of $p$-quantum order and are analysed by the transformation properties of spherical tensors of order $p$. Effective multi-qubit interaction Hamiltonians are characterised via the graphs of their coupling topology.
{Type-II} consists of pointwise locally invertible propagators, part of which can be classified according to the symmetries of their matrix representations. Moreover, we show gradient flows for numerically solving the decision problem whether a propagator is type-I or type-II invertible or not by driving the least-squares distance $\norm{K_1 e^{-itH} K_2 - e^{+itH}}^2_2$ to zero.
△ Less
Submitted 9 October, 2006;
originally announced October 2006.
-
Optimal Control for Generating Quantum Gates in Open Dissipative Systems
Authors:
T. Schulte-Herbrueggen,
A. Spoerl,
N. Khaneja,
S. J. Glaser
Abstract:
Optimal control methods for implementing quantum modules with least amount of relaxative loss are devised to give best approximations to unitary gates under relaxation. The potential gain by optimal control using relaxation parameters against time-optimal control is explored and exemplified in numerical and in algebraic terms: it is the method of choice to govern quantum systems within subspaces…
▽ More
Optimal control methods for implementing quantum modules with least amount of relaxative loss are devised to give best approximations to unitary gates under relaxation. The potential gain by optimal control using relaxation parameters against time-optimal control is explored and exemplified in numerical and in algebraic terms: it is the method of choice to govern quantum systems within subspaces of weak relaxation whenever the drift Hamiltonian would otherwise drive the system through fast decaying modes. In a standard model system generalising decoherence-free subspaces to more realistic scenarios, openGRAPE-derived controls realise a CNOT with fidelities beyond 95% instead of at most 15% for a standard Trotter expansion. As additional benefit it requires control fields orders of magnitude lower than the bang-bang decouplings in the latter.
△ Less
Submitted 17 May, 2009; v1 submitted 6 September, 2006;
originally announced September 2006.
-
Quantum Gate Design Metric
Authors:
Navin Khaneja,
Bjoern Heitmann,
Andreas Spoerl,
Haidong Yuan,
Thomas Schulte-Herbrueggen,
Steffen J. Glaser
Abstract:
What is the time-optimal way of realizing quantum operations? Here, we show how important instances of this problem can be related to the study of shortest paths on the surface of a sphere under a special metric. Specifically, we provide an efficient synthesis of a controlled NOT (CNOT) gate between qubits coupled indirectly via Ising-type couplings to a third spin. Our implementation of the CNO…
▽ More
What is the time-optimal way of realizing quantum operations? Here, we show how important instances of this problem can be related to the study of shortest paths on the surface of a sphere under a special metric. Specifically, we provide an efficient synthesis of a controlled NOT (CNOT) gate between qubits coupled indirectly via Ising-type couplings to a third spin. Our implementation of the CNOT gate is more than twice as fast as conventional approaches. The pulse sequences for efficient manipulation of our coupled spin system are obtained by explicit computation of geodesics on a sphere under the special metric. These methods are also used for the efficient synthesis of indirect couplings and of the Toffoli gate. We provide experimental realizations of the presented methods on a linear three-spin chain with Ising couplings.
△ Less
Submitted 7 May, 2006;
originally announced May 2006.
-
Optimal Control of Coupled Josephson Qubits
Authors:
A. K. Spoerl,
T. Schulte-Herbrueggen,
S. J. Glaser,
V. Bergholm,
M. J. Storcz,
J. Ferber,
F. K. Wilhelm
Abstract:
Quantum optimal control theory is applied to two and three coupled Josephson charge qubits. It is shown that by using shaped pulses a CNOT gate can be obtained with a trace fidelity > 0.99999 for the two qubits, and even when including higher charge states, the leakage is below 1%. Yet, the required time is only a fifth of the pioneering experiment [T. Yamamoto et al., Nature 425 (2003), 941] fo…
▽ More
Quantum optimal control theory is applied to two and three coupled Josephson charge qubits. It is shown that by using shaped pulses a CNOT gate can be obtained with a trace fidelity > 0.99999 for the two qubits, and even when including higher charge states, the leakage is below 1%. Yet, the required time is only a fifth of the pioneering experiment [T. Yamamoto et al., Nature 425 (2003), 941] for otherwise identical parameters. The controls have palindromic smooth time courses representable by superpositions of a few harmonics. We outline schemes to generate these shaped pulses such as simple network synthesis. The approach is easy to generalise to larger systems as shown by a fast realisation of TOFFOLI's gate in three linearly coupled charge qubits. Thus it is to be anticipated that this method will find wide application in coherent quantum control of systems with finite degrees of freedom whose dynamics are Lie-algebraically closed.
△ Less
Submitted 27 April, 2005; v1 submitted 26 April, 2005;
originally announced April 2005.
-
Optimal Control-Based Efficient Synthesis of Building Blocks of Quantum Algorithms Seen in Perspective from Network Complexity towards Time Complexity
Authors:
T. Schulte-Herbrueggen,
A. K. Spoerl,
N. Khaneja,
S. J. Glaser
Abstract:
In this paper, we demonstrate that optimal control algorithms can be used to speed up the implementation of modules of quantum algorithms or quantum simulations in networks of coupled qubits. The gain is most prominent in realistic cases, where the qubits are not all mutually coupled. Thus the shortest times obtained depend on the coupling topology as well as on the characteristicratio of the ti…
▽ More
In this paper, we demonstrate that optimal control algorithms can be used to speed up the implementation of modules of quantum algorithms or quantum simulations in networks of coupled qubits. The gain is most prominent in realistic cases, where the qubits are not all mutually coupled. Thus the shortest times obtained depend on the coupling topology as well as on the characteristicratio of the time scales for local controls {\em vs} non-local ({\em i.e.} coupling) evolutions in the specific experimental setting. Relating these minimal times to the number of qubits gives the tightest known upper bounds to the actual time complexity of the quantum modules. As will be shown, time complexity is a more realistic measure of the experimental cost than the usual gate complexity.
In the limit of fast local controls (as {\em e.g.} in NMR), time-optimised realisations are shown for the quantum Fourier transform (QFT) and the multiply controlled {\sc not}-gate ({\sc c$^{n-1}$not}) in various coupling topologies of $n$ qubits. The speed-ups are substantial: in a chain of six qubits the quantum Fourier transform so far obtained by optimal control is more than eight times faster than the standard decomposition into controlled phase, Hadamard and {\sc swap} gates, while the {\sc c$^{n-1}$not}-gate for completely coupled network of six qubits is nearly seven times faster.
△ Less
Submitted 16 February, 2005;
originally announced February 2005.
