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