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:2603.11982 · Quantum Science and Technology

Approximate Reduced Lindblad Dynamics via Algebraic and Adiabatic Methods

Tommaso Grigoletto, Alain Sarlette, Francesco Ticozzi, Lorenza Viola

quant-pheess.SYSubmitted Mar 12, 2026• Announced Mar 13, 2026• 0 citations• Revised Aug 7, 2026 (v2)
v1 · Mar 12, 2026v2 · Aug 7, 2026
arXivHTMLPDF

Abstract

We present an algebraic framework for approximate model reduction of Markovian open quantum dynamics that guarantees complete positivity and trace preservation by construction. First, we show that projecting a Lindblad generator on its center manifold -- the space spanned by eigenoperators with purely imaginary eigenvalue -- yields an asymptotically exact reduced quantum dynamical semigroup whose dynamics is unitary, with exponentially decaying transient error controlled by the generator's spectral gap. Second, for analytic perturbations of a Lindblad generator with a tractable center manifold, we propose a perturbative reduction that keeps the reduced space fixed at the unperturbed center manifold. The resulting generator is shown to remain a valid Lindbladian; explicit finite-time error bounds that quantify leakage from the unperturbed center sector are provided. We further clarify the connection to adiabatic elimination methods, by both showing how the algebraic reduction can be directly related to a first-order adiabatic-elimination and by providing sufficient conditions under which the latter method can be applied while preserving complete positivity. We showcase the usefulness of our techniques in dissipative many-body quantum systems exhibiting non-stationary long-time dynamics.

DOI
10.1088/2058-9565/ae9182

Related papers

Dynamics of Open Quantum Systems II, Markovian Approximation

Marco Merkli

A finite-dimensional quantum system is coupled to a bath of oscillators in thermal equilibrium at temperature T>0 . We show that for fixed, small values of the coupling constant λ , the true reduced dynamics of the system is approximated by the completely positive, trace preserving Markovian semigroup generated by the Davies-Lindblad generator. The difference between the true and the Markovian dynamics is O(|λ|1/4) for all times, meaning that the solution of the Gorini-Kossakowski-Sudarshan-Lindblad master equation is approximating the true dynamics to accuracy O(|λ|1/4) for all times. Our method is based on a recently obtained expansion of the full system-bath propagator. It applies to reservoirs with correlation functions decaying in time as 1/t4 or faster, which is a significant improvement relative to the previously required exponential decay.

arXiv:2105.00023•Quantum•Jan 3, 2022•24 citations

Quantum model reduction based on Oja's flow

Miguel Casanova, Kentaro Ohki, Francesco Ticozzi

We propose a novel approach to numerically derive approximate reduced dynamical models for Markovian quantum open systems without perturbative iterations, projecting the evolution to the subspace associated to their slowest degrees of freedom. The two algorithms we develop are based on Oja's continuous-time principal component flow: the first returns the optimal reduction to the slowest decaying operator-subspace, and is extended to time-dependent dynamics, while the second one is designed to reduce the dynamics on a subspace of the system's Hilbert space, and thus preserve conditional complete positivity. The methods represent a non-perturbative alternative to well-established Adiabatic Elimination (AE) methods, and the second can be used to find noise-protected subspace codes for quantum information processing. Both are tested on a paradigmatic central spin model.

quant-pharXiv:2607.26669•Jul 30, 2026•0 citations

Operator-Algebraic Methods for Asymptotic-Preserving Quantum Simulation of Open Systems

M. W. AlMasri

We develop a mathematically rigorous framework for simulating \emph{multiscale physical systems} using quantum computational resources, by translating the \emph{language of asymptotic-preserving (AP) schemes} into the formalism of quantum channels and Lindbladian dynamics. For stiff open quantum systems governed by singularly perturbed generators $\cL_\eps = \eps^{-1}\cL_{\mathrm{fast}} + \cL_{\mathrm{slow}}$ with $\eps \to 0$, we prove that layered quantum protocols, which implement fast-scale relaxation via native analog evolution or analytic manifold projection, converge uniformly in the diamond norm to consistent discretizations of the limiting slow dynamics, with explicit error bound $\mathcal{O}(\epsΔt + Δt^2)$ independent of stiffness. We establish precise resource-complexity bounds showing that superlinear gate-count savings $Ω(κ\cdot(d_{\mathrm{tot}}/d_{\mathrm{slow}})^c)$ arise if and only if fast dynamics are resolved via (i) hardware-native analog evolution, or (ii) analytic adiabatic elimination reducing effective Hilbert space dimension. The framework is illustrated through cavity QED in the bad-cavity limit and a quantum-inspired AP discretization of kinetic equations converging to fluid limits, with quantified error propagation in trace and diamond norms. This work provides a principled mathematical bridge between classical multiscale numerical analysis and quantum simulation algorithms.

quant-pharXiv:2605.18886•May 19, 2026•0 citations

Complete positivity violation of the reduced dynamics in higher-order quantum adiabatic elimination

Masaaki Tokieda, Cyril Elouard, Alain Sarlette +1 more

This paper discusses quantum adiabatic elimination, which is a model reduction technique for a composite Lindblad system consisting of a fast decaying subsystem coupled to another subsystem with a much slower timescale. Such a system features an invariant manifold that is close to the slow subsystem. This invariant manifold is reached subsequent to the decay of the fast degrees of freedom, after which the slow dynamics follow on it. By parametrizing the invariant manifold, the slow dynamics can be simulated via a reduced model. To find the evolution of the reduced state, we perform an asymptotic expansion with respect to the timescale separation. So far, the second-order expansion has mostly been considered. It has then been revealed that the second-order expansion of the reduced dynamics is generally given by a Lindblad equation, which ensures complete positivity of the time evolution. In this paper, we present two examples where complete positivity of the reduced dynamics is violated with higher-order contributions. In the first example, the violation is detected for the evolution of the partial trace without truncation of the asymptotic expansion. The partial trace is not the only way to parametrize the slow dynamics. Concerning this nonuniqueness, it was conjectured in [Quantum Sci. Technol. 2, 044011 (2017)] that there exists a parameter choice ensuring complete positivity. With the second example, however, we refute this conjecture by showing that complete positivity cannot be restored in any choice of parametrization. We discuss these results in terms of the invariant slow manifold consisting of quantum correlated states.

arXiv:2303.04495•Physical Review A•Jun 3, 2024•7 citations

A palette of approaches for adiabatic elimination in bipartite open quantum systems with Hamiltonian dynamics on target

Paolo Forni, Timothee Launay, Alain Sarlette +1 more

Adiabatic elimination is a model reduction technique commonly used by physicists to eliminate quickly dissipating components from quantum physics equations. We revisit this technique when the target non-dissipating component is driven by Hamiltonian actuation at a fast timescale. Following center manifold theory, we can still write reduced dynamics for the target component, but there may be new conditions to ensure that it takes the standard structure of quantum dynamics, i.e. evolution equations of Lindblad type and coordinate changes in Kraus map form. We here propose various approaches to recover a Lindblad form up to third-order terms: without conditions for finite-dimensional systems, and under some finite set conditions for infinite-dimensional systems.

IEEE Conference on Decision and Control (CDC)•Dec 1, 2019•1 citation

Heisenberg Formulation of Adiabatic Elimination for Open Quantum Systems with Two Timescales

François-Marie Le Régent, Pierre Rouchon

Consider an open quantum system governed by a Gorini-Kossakowski-Sudarshan-Lindblad master equation with two times-scales: a fast one, exponentially converging towards a linear subspace of quasi-equilibria; a slow one resulting from small decoherence and Hamiltonian dynamics. Usually adiabatic elimination is performed in the Schrödinger picture. We propose here a Heisenberg formulation where the invariant operators attached to the fast decay dynamics towards the quasi-equilibria subspace play a key role. Based on geometric singular perturbations, asymptotic expansions of the Heisenberg slow dynamics and of the fast invariant linear subspaces are proposed. They exploit Carr's approximation lemma from center-manifold and bifurcation theory. Second-order expansions are detailed and shown to ensure preservation, up to second-order terms, of the complete positivity for the slow propagator on a slow timescale. Such expansions can be exploited numerically to derive reduced-order dynamical models.

arXiv:2303.17308•IEEE Conference on Decision and Control (CDC)•Dec 13, 2023•4 citations
We present an algebraic framework for approximate model reduction of Markovian open quantum dynamics that guarantees complete positivity and trace preservation by construction. First, we show that projecting a Lindblad generator on its center manifold -- the space spanned by eigenoperators with purely imaginary eigenvalue -- yields an asymptotically exact reduced quantum dynamical semigroup whose dynamics is unitary, with exponentially decaying transient error controlled by the generator's spectral gap. Second, for analytic perturbations of a Lindblad generator with a tractable center manifold, we propose a perturbative reduction that keeps the reduced space fixed at the unperturbed center manifold. The resulting generator is shown to remain a valid Lindbladian; explicit finite-time error bounds that quantify leakage from the unperturbed center sector are provided. We further clarify the connection to adiabatic elimination methods, by both showing how the algebraic reduction can be directly related to a first-order adiabatic-elimination and by providing sufficient conditions under which the latter method can be applied while preserving complete positivity. We showcase the usefulness of our techniques in dissipative many-body quantum systems exhibiting non-stationary long-time dynamics.
A finite-dimensional quantum system is coupled to a bath of oscillators in thermal equilibrium at temperature T>0 . We show that for fixed, small values of the coupling constant λ , the true reduced dynamics of the system is approximated by the completely positive, trace preserving Markovian semigroup generated by the Davies-Lindblad generator. The difference between the true and the Markovian dynamics is O(|λ|1/4) for all times, meaning that the solution of the Gorini-Kossakowski-Sudarshan-Lindblad master equation is approximating the true dynamics to accuracy O(|λ|1/4) for all times. Our method is based on a recently obtained expansion of the full system-bath propagator. It applies to reservoirs with correlation functions decaying in time as 1/t4 or faster, which is a significant improvement relative to the previously required exponential decay.
We propose a novel approach to numerically derive approximate reduced dynamical models for Markovian quantum open systems without perturbative iterations, projecting the evolution to the subspace associated to their slowest degrees of freedom. The two algorithms we develop are based on Oja's continuous-time principal component flow: the first returns the optimal reduction to the slowest decaying operator-subspace, and is extended to time-dependent dynamics, while the second one is designed to reduce the dynamics on a subspace of the system's Hilbert space, and thus preserve conditional complete positivity. The methods represent a non-perturbative alternative to well-established Adiabatic Elimination (AE) methods, and the second can be used to find noise-protected subspace codes for quantum information processing. Both are tested on a paradigmatic central spin model.
We develop a mathematically rigorous framework for simulating \emph{multiscale physical systems} using quantum computational resources, by translating the \emph{language of asymptotic-preserving (AP) schemes} into the formalism of quantum channels and Lindbladian dynamics. For stiff open quantum systems governed by singularly perturbed generators $\cL_\eps = \eps^{-1}\cL_{\mathrm{fast}} + \cL_{\mathrm{slow}}$ with $\eps \to 0$, we prove that layered quantum protocols, which implement fast-scale relaxation via native analog evolution or analytic manifold projection, converge uniformly in the diamond norm to consistent discretizations of the limiting slow dynamics, with explicit error bound $\mathcal{O}(\epsΔt + Δt^2)$ independent of stiffness. We establish precise resource-complexity bounds showing that superlinear gate-count savings Ω(κ⋅(dtot/dslow)c)Ω(κ\cdot(d_{\mathrm{tot}}/d_{\mathrm{slow}})^c)Ω(κ⋅(dtot​/dslow​)c) arise if and only if fast dynamics are resolved via (i) hardware-native analog evolution, or (ii) analytic adiabatic elimination reducing effective Hilbert space dimension. The framework is illustrated through cavity QED in the bad-cavity limit and a quantum-inspired AP discretization of kinetic equations converging to fluid limits, with quantified error propagation in trace and diamond norms. This work provides a principled mathematical bridge between classical multiscale numerical analysis and quantum simulation algorithms.
This paper discusses quantum adiabatic elimination, which is a model reduction technique for a composite Lindblad system consisting of a fast decaying subsystem coupled to another subsystem with a much slower timescale. Such a system features an invariant manifold that is close to the slow subsystem. This invariant manifold is reached subsequent to the decay of the fast degrees of freedom, after which the slow dynamics follow on it. By parametrizing the invariant manifold, the slow dynamics can be simulated via a reduced model. To find the evolution of the reduced state, we perform an asymptotic expansion with respect to the timescale separation. So far, the second-order expansion has mostly been considered. It has then been revealed that the second-order expansion of the reduced dynamics is generally given by a Lindblad equation, which ensures complete positivity of the time evolution. In this paper, we present two examples where complete positivity of the reduced dynamics is violated with higher-order contributions. In the first example, the violation is detected for the evolution of the partial trace without truncation of the asymptotic expansion. The partial trace is not the only way to parametrize the slow dynamics. Concerning this nonuniqueness, it was conjectured in [Quantum Sci. Technol. 2, 044011 (2017)] that there exists a parameter choice ensuring complete positivity. With the second example, however, we refute this conjecture by showing that complete positivity cannot be restored in any choice of parametrization. We discuss these results in terms of the invariant slow manifold consisting of quantum correlated states.
Adiabatic elimination is a model reduction technique commonly used by physicists to eliminate quickly dissipating components from quantum physics equations. We revisit this technique when the target non-dissipating component is driven by Hamiltonian actuation at a fast timescale. Following center manifold theory, we can still write reduced dynamics for the target component, but there may be new conditions to ensure that it takes the standard structure of quantum dynamics, i.e. evolution equations of Lindblad type and coordinate changes in Kraus map form. We here propose various approaches to recover a Lindblad form up to third-order terms: without conditions for finite-dimensional systems, and under some finite set conditions for infinite-dimensional systems.
Consider an open quantum system governed by a Gorini-Kossakowski-Sudarshan-Lindblad master equation with two times-scales: a fast one, exponentially converging towards a linear subspace of quasi-equilibria; a slow one resulting from small decoherence and Hamiltonian dynamics. Usually adiabatic elimination is performed in the Schrödinger picture. We propose here a Heisenberg formulation where the invariant operators attached to the fast decay dynamics towards the quasi-equilibria subspace play a key role. Based on geometric singular perturbations, asymptotic expansions of the Heisenberg slow dynamics and of the fast invariant linear subspaces are proposed. They exploit Carr's approximation lemma from center-manifold and bifurcation theory. Second-order expansions are detailed and shown to ensure preservation, up to second-order terms, of the complete positivity for the slow propagator on a slow timescale. Such expansions can be exploited numerically to derive reduced-order dynamical models.