-
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.
-
Compactness of Fixed Point Maps and the Ball-Marsden-Slemrod Conjecture
Authors:
Gunther Dirr
Abstract:
Given a parameter dependent fixed point equation $x = F(x,u)$, we derive an abstract compactness principle for the fixed point map $u \mapsto x^*(u)$ under the assumptions that (i) the fixed point equation can be solved by the contraction principle and (ii) the map $u \mapsto F(x,u)$ is compact for fixed $x$. This result is applied to infinite-dimensional, semi-linear control systems and their rea…
▽ More
Given a parameter dependent fixed point equation $x = F(x,u)$, we derive an abstract compactness principle for the fixed point map $u \mapsto x^*(u)$ under the assumptions that (i) the fixed point equation can be solved by the contraction principle and (ii) the map $u \mapsto F(x,u)$ is compact for fixed $x$. This result is applied to infinite-dimensional, semi-linear control systems and their reachable sets. More precisely, we extend a non-controllability result of Ball, Marsden, and Slemrod [1] to semi-linear systems. First we consider $L^p$-controls, $p>1$. Subsequently we analyze the case $p=1$.
△ Less
Submitted 4 August, 2022; v1 submitted 19 November, 2021;
originally announced November 2021.
-
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.
-
The $d$-Majorization Polytope
Authors:
Frederik vom Ende,
Gunther Dirr
Abstract:
We investigate geometric and topological properties of $d$-majorization -- a generalization of classical majorization to positive weight vectors $d \in \mathbb{R}^n$. In particular, we derive a new, simplified characterization of $d$-majorization which allows us to work out a halfspace description of the corresponding $d$-majorization polytopes. That is, we write the set of all vectors which are…
▽ More
We investigate geometric and topological properties of $d$-majorization -- a generalization of classical majorization to positive weight vectors $d \in \mathbb{R}^n$. In particular, we derive a new, simplified characterization of $d$-majorization which allows us to work out a halfspace description of the corresponding $d$-majorization polytopes. That is, we write the set of all vectors which are $d$-majorized by some given vector $y \in \mathbb{R}^n$ as an intersection of finitely many half spaces, i.e. as solutions to an inequality of the type $Mx\leq b$. Here $b$ depends on $y$ while $M$ can be chosen independently of $y$. This description lets us prove continuity of the $d$-majorization polytope (jointly with respect to $d$ and $y$) and, furthermore, lets us fully characterize its extreme points. Interestingly, for $y\geq 0$ one of these extreme points classically majorizes every other element of the $d$-majorization polytope. Moreover, we show that the induced preorder structure on $\mathbb{R}^n$ admits minimal and maximal elements. While the former are always unique the latter are unique if and only if they correspond to the unique minimal entry of the $d$-vector.
△ Less
Submitted 6 May, 2022; v1 submitted 4 November, 2019;
originally announced November 2019.
-
Von Neumann Type of Trace Inequalities for Schatten-Class Operators
Authors:
Gunther Dirr,
Frederik vom Ende
Abstract:
We generalize von Neumann's well-known trace inequality, as well as related eigenvalue inequalities for hermitian matrices, to Schatten-class operators between complex Hilbert spaces of infinite dimension. To this end, we exploit some recent results on the $C$-numerical range of Schatten-class operators. For the readers' convenience, we sketched the proof of these results in the Appendix.
We generalize von Neumann's well-known trace inequality, as well as related eigenvalue inequalities for hermitian matrices, to Schatten-class operators between complex Hilbert spaces of infinite dimension. To this end, we exploit some recent results on the $C$-numerical range of Schatten-class operators. For the readers' convenience, we sketched the proof of these results in the Appendix.
△ Less
Submitted 3 June, 2019;
originally announced June 2019.
-
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.
-
Uniform and $L^q$-Ensemble Reachability of Parameter-dependent Linear Systems
Authors:
Gunther Dirr,
Michael Schönlein
Abstract:
In this paper, we consider families of linear systems (linear ensembles) defined by matrix pairs $\big( A(θ),B(θ) \big)$ depending on a parameter $θ\in \p$ that is varying over a compact subset $\p$ of the complex plane. In particular, we investigate the following control task: Find an open-loop control which is {\it independent} of the parameter $θ\in \p$ and steers a given family of initial stat…
▽ More
In this paper, we consider families of linear systems (linear ensembles) defined by matrix pairs $\big( A(θ),B(θ) \big)$ depending on a parameter $θ\in \p$ that is varying over a compact subset $\p$ of the complex plane. In particular, we investigate the following control task: Find an open-loop control which is {\it independent} of the parameter $θ\in \p$ and steers a given family of initial states $x_0(θ)$ arbitrarily close to a desired family of terminal states $f(θ)$ in finite time. Here, the maps $θ\mapsto x_0(θ)$ and $θ\mapsto f(θ)$ are assumed to lie in a common appropriately chosen {Banach space $X_n(\p)$ of $\C^n$-valued functions}. If this task is solvable for all initial and terminal states, the pair $\big( A(θ),B(θ) \big)$ is called {(completely)} ensemble controllable with respect to $X_n(\p)$.
Using a well-known infinite-dimensional version of the Kalman rank condition for systems on Banach spaces, we derive sufficient conditions for cascade and parallel connections linear ensembles. Moreover, we prove an abstract decomposition theorem which results from a spectral splitting of the matrix family $A(θ)$. Based on thses findings as well as approximation theory and cyclicity conditions of multiplications operators, we obtain necessary and sufficient conditions for ensemble controllability (reachability) with respect to the Banach spaces of continuous functions and $L^q$-functions. In the last section, results on {averaged} controllability (reachability) for linear families $\big( A(θ),B(θ),C(θ) \big)$ are presented.
△ Less
Submitted 26 October, 2020; v1 submitted 22 October, 2018;
originally announced October 2018.
-
The C-Numerical Range for Schatten-Class Operators
Authors:
Gunther Dirr,
Frederik vom Ende
Abstract:
We generalize the $C$-numerical range $W_C(T)$ from trace-class to Schatten-class operators, i.e. to $C\in\mathcal B^p(\mathcal H)$ and $T\in\mathcal B^q(\mathcal H)$ with $1/p + 1/q = 1$, and show that its closure is always star-shaped with respect to the origin. For $q \in (1,\infty]$, this is equivalent to saying that the closure of the image of the unitary orbit of…
▽ More
We generalize the $C$-numerical range $W_C(T)$ from trace-class to Schatten-class operators, i.e. to $C\in\mathcal B^p(\mathcal H)$ and $T\in\mathcal B^q(\mathcal H)$ with $1/p + 1/q = 1$, and show that its closure is always star-shaped with respect to the origin. For $q \in (1,\infty]$, this is equivalent to saying that the closure of the image of the unitary orbit of $T\in\mathcal B^q(\mathcal H)$ under any continous linear functional $L\in(\mathcal B^q(\mathcal H))'$ is star-shaped with respect to the origin. For $q=1$, one has star-shapedness with respect to $\operatorname{tr}(T)W_e(L)$, where $W_e(L)$ denotes the essential range of $L$. Moreover, the closure of $W_C(T)$ is convex if $C$ or $T$ is normal with collinear eigenvalues. If $C$ and $T$ are both normal, then the $C$-spectrum of $T$ is a subset of the $C$-numerical range, which itself is a subset of the closure of the convex hull of the $C$-spectrum. This closure coincides with the closure of the $C$-numerical range if, in addition, the eigenvalues of $C$ or $T$ are collinear.
△ Less
Submitted 16 April, 2019; v1 submitted 21 August, 2018;
originally announced August 2018.
-
Unitary Dilations of Discrete-Time Quantum-Dynamical Semigroups
Authors:
Frederik vom Ende,
Gunther Dirr
Abstract:
We show that the discrete-time evolution of an open quantum system generated by a single quantum channel $T$ can be embedded in the discrete-time evolution of an enlarged closed quantum system, i.e. we construct a unitary dilation of the discrete-time quantum-dynamical semigroup $(T^n)_{n \in \mathbb N_0}$. In the case of a cyclic channel $T$, the auxiliary space may be chosen (partially) finite-d…
▽ More
We show that the discrete-time evolution of an open quantum system generated by a single quantum channel $T$ can be embedded in the discrete-time evolution of an enlarged closed quantum system, i.e. we construct a unitary dilation of the discrete-time quantum-dynamical semigroup $(T^n)_{n \in \mathbb N_0}$. In the case of a cyclic channel $T$, the auxiliary space may be chosen (partially) finite-dimensional. We further investigate discrete-time quantum control systems generated by finitely many commuting quantum channels and prove a similar unitary dilation result as in the case of a single channel.
△ Less
Submitted 12 March, 2019; v1 submitted 3 April, 2018;
originally announced April 2018.
-
The C-Numerical Range in Infinite Dimensions
Authors:
Gunther Dirr,
Frederik vom Ende
Abstract:
In infinite dimensions and on the level of trace-class operators $C$ rather than matrices, we show that the closure of the $C$-numerical range $W_C(T)$ is always star-shaped with respect to the set $\operatorname{tr}(C)W_e(T)$, where $W_e(T)$ denotes the essential numerical range of the bounded operator $T$. Moreover, the closure of $W_C(T)$ is convex if either $C$ is normal with collinear eigenva…
▽ More
In infinite dimensions and on the level of trace-class operators $C$ rather than matrices, we show that the closure of the $C$-numerical range $W_C(T)$ is always star-shaped with respect to the set $\operatorname{tr}(C)W_e(T)$, where $W_e(T)$ denotes the essential numerical range of the bounded operator $T$. Moreover, the closure of $W_C(T)$ is convex if either $C$ is normal with collinear eigenvalues or if $T$ is essentially self-adjoint. In the case of compact normal operators, the $C$-spectrum of $T$ is a subset of the $C$-numerical range, which itself is a subset of the convex hull of the closure of the $C$-spectrum. This convex hull coincides with the closure of the $C$-numerical range if, in addition, the eigenvalues of $C$ or $T$ are collinear.
△ Less
Submitted 20 August, 2018; v1 submitted 4 December, 2017;
originally announced December 2017.
-
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.
-
Riemannian optimization on tensor products of Grassmann manifolds: Applications to generalized Rayleigh-quotients
Authors:
O. Curtef,
G. Dirr,
U. Helmke
Abstract:
We introduce a generalized Rayleigh-quotient on the tensor product of Grassmannians enabling a unified approach to well-known optimization tasks from different areas of numerical linear algebra, such as best low-rank approximations of tensors (data compression), geometric measures of entanglement (quantum computing) and subspace clustering (image processing). We briefly discuss the geometry of the…
▽ More
We introduce a generalized Rayleigh-quotient on the tensor product of Grassmannians enabling a unified approach to well-known optimization tasks from different areas of numerical linear algebra, such as best low-rank approximations of tensors (data compression), geometric measures of entanglement (quantum computing) and subspace clustering (image processing). We briefly discuss the geometry of the constraint set, we compute the Riemannian gradient of the generalized Rayleigh-quotient, we characterize its critical points and prove that they are generically non-degenerated. Moreover, we derive an explicit necessary condition for the non-degeneracy of the Hessian. Finally, we present two intrinsic methods for optimizing the generalized Rayleigh-quotient - a Newton-like and a conjugated gradient - and compare our algorithms tailored to the above-mentioned applications with established ones from the literature.
△ Less
Submitted 30 November, 2011; v1 submitted 26 May, 2010;
originally announced May 2010.
-
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.
-
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.
