-
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.
-
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.
-
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.
-
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.
