Quantum channels, complex Stiefel manifolds, and optimization
arXiv:2408.09820 · doi:10.1007/s11128-025-04782-x
Abstract
Most general dynamics of an open quantum system is commonly represented by a quantum channel, which is a completely positive trace-preserving map (CPTP or Kraus map). Well-known representations of quantum channels are described by Choi matrices and by Kraus operator-sum representation (OSR). As was shown before, one can use Kraus OSR to parameterize quantum channels by points of a suitable quotient of some complex Stiefel manifold by the action of the unitary group. In this work, we establish a homeomorphism between the topological space of quantum channels and the quotient of the complex Stiefel manifold. This homeomorphism can be applied to various quantum optimization problems. As an example, we apply it to the analysis of extrema points for a wide variety of quantum control objective functionals defined on the complex Stiefel manifolds, including mean value, generation of quantum gates, thermodynamic quantities involving entropy, etc. Finally, a metric on the space of quantum channels induced by the Riemannian metric on the Stiefel manifold is defined, and we show that it is a generalization of the Bures angle between density matrices.
23 pages. The published version having a clarified presentation and an expanded Stiefel-induced metric part showing the Bures-angle generalization
References in corpus (30)
- Control of quantum phenomena: Past, present, and future
- From Classical to Quantum Shannon Theory
- Structure of states which satisfy strong subadditivity of quantum entropy with equality
- Vanishing quantum discord is necessary and sufficient for completely positive maps
- Controlling open quantum systems: Tools, achievements, and limitations
- Controllability properties for finite dimensional quantum Markovian master equations
- High fidelity quantum gates via dynamical decoupling
- From Completely Positive Maps to the Quantum Markovian Semigroup Master Equation
- Optimal Control for Generating Quantum Gates in Open Dissipative Systems
- Optimal control theory for a unitary operation under dissipative evolution
- An additive and operational entanglement measure: conditional entanglement of mutual information
- Quantum Control Landscapes: A Closer Look
- 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
- Control Landscapes for Observable Preparation with Open Quantum Systems
- Control landscapes for two-level open quantum systems
- Transition Probability (Fidelity) and Its Relatives
- Riemannian geometry and automatic differentiation for optimization problems of quantum physics and quantum technologies
- Tuning quantum channels to maximize polarization entanglement for telecom photon pairs
- Optimization search effort over the control landscapes for open quantum systems with Kraus-map evolution
- Reachable sets for two-level open quantum systems driven by coherent and incoherent controls
- Continuity of the von Neumann entropy
- Unified analysis of terminal-time control in classical and quantum systems
- Strong convergence of quantum channels: continuity of the Stinespring dilation and discontinuity of the unitary dilation
- Optimal quantum channels
- Control of the von Neumann Entropy for an Open Two-Qubit System Using Coherent and Incoherent Drives
- Finite-Dimensional Stinespring Curves Can Approximate Any Dynamics
- Optimal form of the Kretschmann-Schlingemann-Werner theorem for energy-constrained quantum channels and operations
- On characteristics of mixed unitary channels being additive or multiplicative with respect to taking tensor products
- Progress on the Kretschmann-Schlingemann-Werner Conjecture
- Randomized Gradient Descents on Riemannian Manifolds: Almost Sure Convergence to Global Minima in and beyond Quantum Optimization