Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2403.05285 · IEEE Conference on Decision and Control (CDC)

Provably Time-Optimal Cooling of Markovian Quantum Systems

Emanuel Malvetti

Published Dec 16, 2024• 0 citations
arXivHTMLPDF

Abstract

We address the problem of cooling a Markovian quantum system to a pure state in the shortest amount of time possible. Here, the system drift takes the form of a Lindblad master equation and we assume fast unitary control. This setting allows for a natural reduction of the control system to the eigenvalues of the state density matrix. We give a simple necessary and sufficient characterization of systems which are (asymptotically) coolable and present a powerful maximum principle, based on majorization, which allows to considerably simplify the search for optimal cooling solutions. With these tools at our disposal, we derive explicit, provably time-optimal cooling protocols for rank one qubit systems, inverted $\Lambda$-systems on a qutrit, and a certain system consisting of two coupled qubits.

DOI
10.1109/cdc56724.2024.10885805

Related papers

Optimal Control of a Markovian Qubit with Unitary Control

Emanuel Malvetti

We study a single Markovian qubit governed by a Lindblad master equation and subject to fast unitary control. Using reduced control systems and optimal control theory we determine (i) controls for cooling and heating such systems in a time-optimal way as well as (ii) the set of stabilizable states in the Bloch ball. No restrictions on the Lindblad equation are assumed, and several known results, for instance for the Bloch equations, are recovered. Furthermore we introduce integral systems, for which the solutions take a particularly nice form. These integral systems include all systems with real Lindblad terms as well as all coolable systems. The method allows for intuitive visualizations and is mostly analytical, making use of only basic numerical methods.

arXiv:2404.09279•Apr 14, 2024•1 citation

Reachability, Coolability, and Stabilizability of Open Markovian Quantum Systems with Fast Unitary Control

Emanuel Malvetti, Frederik vom Ende, Gunther Dirr +1 more

Abstract. Open Markovian quantum systems with fast unitary control can be reduced to an equivalent control system on the standard simplex modeling 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.

arXiv:2308.00561•SIAM Journal on Control and Optimization•Dec 5, 2024•3 citations

Optimal Control of Bipartite Quantum Systems

Emanuel Malvetti, Léo Van Damme

Closed bipartite quantum systems subject to fast local unitary control are studied using quantum optimal control theory and a method of reduced control systems based on the Schmidt decomposition. Particular focus is given to the time-optimal generation of maximally entangled states and product states, as well as to the problem of stabilizing quantum states with a certain amount of entanglement. Explicit analytical solutions are given for general systems consisting of two qubits (as well as for bosonic and fermionic analogues) and also for a class of systems consisting of two coupled qutrits which is studied using the Pontryagin Maximum Principle.

arXiv:2405.20034•May 30, 2024•0 citations

Heat-Bath Algorithmic Cooling with optimal thermalization strategies

Alvaro Martin Alhambra, Matteo Lostaglio, Christopher Perry

Heat-Bath Algorithmic Cooling is a set of techniques for producing highly pure quantum systems by utilizing a surrounding heat-bath and unitary interactions. These techniques originally used the thermal environment only to fully thermalize ancillas at the environment temperature. Here we extend HBAC protocols by optimizing over the thermalization strategy. We find, for any d -dimensional system in an arbitrary initial state, provably optimal cooling protocols with surprisingly simple structure and exponential convergence to the ground state. Compared to the standard ones, these schemes can use fewer or no ancillas and exploit memory effects to enhance cooling. We verify that the optimal protocols are robusts to various deviations from the ideal scenario. For a single target qubit, the optimal protocol can be well approximated with a Jaynes-Cummings interaction between the system and a single thermal bosonic mode for a wide range of environmental temperatures. This admits an experimental implementation close to the setup of a micromaser, with a performance competitive with leading proposals in the literature. The proposed protocol provides an experimental setup that illustrates how non-Markovianity can be harnessed to improve cooling. On the technical side we 1. introduce a new class of states called maximally active states and discuss their thermodynamic significance in terms of optimal unitary control, 2. introduce a new set of thermodynamic processes, called β-permutations , whose access is sufficient to simulate a generic thermalization process, 3. show how to use abstract toolbox developed within the resource theory approach to thermodynamics to perform challenging optimizations, while combining it with open quantum system dynamics tools to approximate optimal solutions within physically realistic setups.

arXiv:1807.07974•Quantum•Sep 23, 2019•59 citations

Reachability in Controlled Markovian Quantum Systems

Frederik vom Ende

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? Formulated in the framework of bilinear control systems, the evolution shall be governed by an inevitable Hamiltonian drift term, finitely many control Hamiltonians allowing for (at least) piecewise constant control amplitudes, plus a (possibly bang-bang switchable) noise term in Kossakowski-Lindblad form. Now assuming switchable coupling of finite-dimensional systems to a thermal bath of arbitrary temperature, the core problem of reachability boils down to studying points in the standard simplex amenable to two types of controls that can be used interleaved: Permutations within the simplex, and contractions by a dissipative one-parameter semigroup. We illustrate how the solutions of the core problem pertain to the reachable set of the original controlled Markovian quantum system. This allows us to show that for global as well as local switchable coupling to a temperature-zero bath one can generate every quantum state from every initial state up to arbitrary precision. Moreover we present an inclusion for non-zero temperatures as a consequence of our results on d-majorization. Then we consider infinite-dimensional open quantum-dynamical systems following a unital Kossakowski-Lindblad master equation extended by controls. Here the drift Hamiltonian can be arbitrary, the finitely many control Hamiltonians are bounded, and the switchable noise term is generated by a single compact normal operator. Via new majorization results of ours, 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.

arXiv:2012.03496•Sep 1, 2020•3 citations

Time-minimum control of quantum purity for 2-level Lindblad equations

William Clark, Anthony Bloch, Leonardo Jesus Colombo +1 more

We study time-minimum optimal control for a class of quantum two-dimensional dissipative systems whose dynamics are governed by the Lindblad equation and where control inputs acts only in the Hamiltonian. The dynamics of the control system are analyzed as a bi-linear control system on the Bloch ball after a decoupling of such dynamics into intra- and inter-unitary orbits. The (singular) control problem consists of finding a trajectory of the state variables solving a radial equation in the minimum amount of time, starting at the completely mixed state and ending at the state with the maximum achievable purity.The boundary value problem determined by the time-minimum singular optimal control problem is studied numerically. If controls are unbounded, simulations show that multiple local minimal solutions might exist. To find the unique globally minimal solution, we must repeat the algorithm for various initial conditions and find the best solution out of all of the candidates. If controls are bounded, optimal controls are given by bang-bang controls using the Pontryagin minimum principle. Using a switching map we construct optimal solutions consisting of singular arcs. If controls are bounded, the analysis of our model also implies classical analysis done previously for this problem.

arXiv:1904.10325•Discrete and Continuous Dynamical Systems - S•Apr 21, 2019•5 citations
We address the problem of cooling a Markovian quantum system to a pure state in the shortest amount of time possible. Here, the system drift takes the form of a Lindblad master equation and we assume fast unitary control. This setting allows for a natural reduction of the control system to the eigenvalues of the state density matrix. We give a simple necessary and sufficient characterization of systems which are (asymptotically) coolable and present a powerful maximum principle, based on majorization, which allows to considerably simplify the search for optimal cooling solutions. With these tools at our disposal, we derive explicit, provably time-optimal cooling protocols for rank one qubit systems, inverted Λ\LambdaΛ-systems on a qutrit, and a certain system consisting of two coupled qubits.
We study a single Markovian qubit governed by a Lindblad master equation and subject to fast unitary control. Using reduced control systems and optimal control theory we determine (i) controls for cooling and heating such systems in a time-optimal way as well as (ii) the set of stabilizable states in the Bloch ball. No restrictions on the Lindblad equation are assumed, and several known results, for instance for the Bloch equations, are recovered. Furthermore we introduce integral systems, for which the solutions take a particularly nice form. These integral systems include all systems with real Lindblad terms as well as all coolable systems. The method allows for intuitive visualizations and is mostly analytical, making use of only basic numerical methods.
Abstract. Open Markovian quantum systems with fast unitary control can be reduced to an equivalent control system on the standard simplex modeling 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.
Closed bipartite quantum systems subject to fast local unitary control are studied using quantum optimal control theory and a method of reduced control systems based on the Schmidt decomposition. Particular focus is given to the time-optimal generation of maximally entangled states and product states, as well as to the problem of stabilizing quantum states with a certain amount of entanglement. Explicit analytical solutions are given for general systems consisting of two qubits (as well as for bosonic and fermionic analogues) and also for a class of systems consisting of two coupled qutrits which is studied using the Pontryagin Maximum Principle.
Heat-Bath Algorithmic Cooling is a set of techniques for producing highly pure quantum systems by utilizing a surrounding heat-bath and unitary interactions. These techniques originally used the thermal environment only to fully thermalize ancillas at the environment temperature. Here we extend HBAC protocols by optimizing over the thermalization strategy. We find, for any d -dimensional system in an arbitrary initial state, provably optimal cooling protocols with surprisingly simple structure and exponential convergence to the ground state. Compared to the standard ones, these schemes can use fewer or no ancillas and exploit memory effects to enhance cooling. We verify that the optimal protocols are robusts to various deviations from the ideal scenario. For a single target qubit, the optimal protocol can be well approximated with a Jaynes-Cummings interaction between the system and a single thermal bosonic mode for a wide range of environmental temperatures. This admits an experimental implementation close to the setup of a micromaser, with a performance competitive with leading proposals in the literature. The proposed protocol provides an experimental setup that illustrates how non-Markovianity can be harnessed to improve cooling. On the technical side we 1. introduce a new class of states called maximally active states and discuss their thermodynamic significance in terms of optimal unitary control, 2. introduce a new set of thermodynamic processes, called β-permutations , whose access is sufficient to simulate a generic thermalization process, 3. show how to use abstract toolbox developed within the resource theory approach to thermodynamics to perform challenging optimizations, while combining it with open quantum system dynamics tools to approximate optimal solutions within physically realistic setups.
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? Formulated in the framework of bilinear control systems, the evolution shall be governed by an inevitable Hamiltonian drift term, finitely many control Hamiltonians allowing for (at least) piecewise constant control amplitudes, plus a (possibly bang-bang switchable) noise term in Kossakowski-Lindblad form. Now assuming switchable coupling of finite-dimensional systems to a thermal bath of arbitrary temperature, the core problem of reachability boils down to studying points in the standard simplex amenable to two types of controls that can be used interleaved: Permutations within the simplex, and contractions by a dissipative one-parameter semigroup. We illustrate how the solutions of the core problem pertain to the reachable set of the original controlled Markovian quantum system. This allows us to show that for global as well as local switchable coupling to a temperature-zero bath one can generate every quantum state from every initial state up to arbitrary precision. Moreover we present an inclusion for non-zero temperatures as a consequence of our results on d-majorization. Then we consider infinite-dimensional open quantum-dynamical systems following a unital Kossakowski-Lindblad master equation extended by controls. Here the drift Hamiltonian can be arbitrary, the finitely many control Hamiltonians are bounded, and the switchable noise term is generated by a single compact normal operator. Via new majorization results of ours, 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.
We study time-minimum optimal control for a class of quantum two-dimensional dissipative systems whose dynamics are governed by the Lindblad equation and where control inputs acts only in the Hamiltonian. The dynamics of the control system are analyzed as a bi-linear control system on the Bloch ball after a decoupling of such dynamics into intra- and inter-unitary orbits. The (singular) control problem consists of finding a trajectory of the state variables solving a radial equation in the minimum amount of time, starting at the completely mixed state and ending at the state with the maximum achievable purity.The boundary value problem determined by the time-minimum singular optimal control problem is studied numerically. If controls are unbounded, simulations show that multiple local minimal solutions might exist. To find the unique globally minimal solution, we must repeat the algorithm for various initial conditions and find the best solution out of all of the candidates. If controls are bounded, optimal controls are given by bang-bang controls using the Pontryagin minimum principle. Using a switching map we construct optimal solutions consisting of singular arcs. If controls are bounded, the analysis of our model also implies classical analysis done previously for this problem.