In open quantum systems theory, reduced models are invaluable for conceptual understanding and computational efficiency. Adiabatic elimination is a useful model reduction method for systems with separated timescales, where a reduced model is derived by discarding rapidly decaying degrees of freedom. So far, adiabatic elimination has been formulated using a geometric approach, which provides a versatile and general framework. This article introduces a reformulation of adiabatic elimination through the framework of the time-convolutionless (TCL) master equation, a widely recognized tool for computing projected time evolution in open quantum systems. We show that the TCL master equation formulation yields results equivalent to those obtained from the geometric formulation. By applying the TCL master equation formulation to typical examples, we demonstrate a practical methodology for performing adiabatic elimination calculation. This study not only bridges two previously independent approaches, thereby making the adiabatic elimination method accessible to a broader audience, but also enables the analysis of complex cases that are challenging within the geometric formulation. Additionally, it reveals a geometric interpretation of the TCL master equation formalism.
Adiabatic elimination methods allow the reduction of the space dimension needed to describe systems whose dynamics exhibit separation of timescale. For open quantum systems, it consists in eliminating the fast part assuming it has almost instantaneously reached its steady state and obtaining an approximation of the evolution of the slow part. These methods can be applied to eliminate a linear subspace within the system Hilbert space or, alternatively, to eliminate a fast subsystem in a bipartite quantum system. In this work, we extend an adiabatic elimination method used for removing fast degrees of freedom within a system [Phys. Rev. A 101, 042102 (2020)] to eliminate a subsystem from an open bipartite quantum system. As an illustration, we apply our technique to a dispersively coupled two-qubit system and in the case of the open Rabi model.
This thesis develops model reduction methods for open quantum system dynamics, yielding efficient models for bipartite systems, with direct application to circuit QED and broader applicability beyond this platform. First, we consider dissipative dynamics characterized by timescale separation, which translates to a gap on the real axis of the spectrum of the Liouvillian generating it. This allows to compute the reduced evolution for a target subsystem by adiabatically eliminating fast-decaying degrees of freedom. A Sylvester equation integral representation yields closed forms for the reduced generators and explicit reconstruction maps to arbitrary order without a preliminary interaction-picture averaging step, providing a linear center manifold description that separates long-lived from fast-decaying modes by the real parts of the spectrum. The reduced dynamics takes place on the center manifold, that is, the spectral subspace associated with eigenvalues whose real parts are small (long-lived modes), while placing no restriction on imaginary parts, thus allowing for fast unitary dynamics on the target subsystem. We further demonstrate the equivalence of such a geometric approach to adiabatic elimination with the time-convolutionless master equation framework, by showing that the maps defining the reduced model satisfy the same invariance equation in both frameworks. The time-convolutionless formulation of adiabatic elimination extends to cases where the target system undergoes fast unitary dynamics and retains explicit time dependence in the reduced model, hence capturing initial transients that are neglected in time-independent geometric reductions. Second, we apply a unitary chain mapping of microscopic system–environment Hamiltonians to a nearest-neighbor form, enabling efficient time evolution exploiting tensor network time evolution algorithms based on the time dependent variational principle. Accuracy of the tensor network representation, and thus the size of the reduced model, is controlled by entanglement entropy growth, which we quantify numerically. While the methods are general and apply beyond the specific platform considered, we focus on dispersive readout in circuit QED (a qubit dipolarly coupled to a driven, lossy cavity). We quantify the dependence of the relaxation time
T1 of the qubit on intracavity photon number
nˉ (and thus on the drive amplitude) and on the spectral structure of the environment, and compute the emission spectrum directly from environmental observables. Simulations including a Purcell notch filter predict a decrease of
T1 with increasing drive power, a qualitatively different behavior with respect to Born–Markov–secular GKSL predictions but consistent with experimental trends, indicating that explicit filter modeling is required in this case. Together, the results specify when reduced Liouvillian models under a dissipative gap are reliable and when microscopic, non-perturbative simulations are required.
Steady-state observables, such as occupation numbers and currents, are crucial experimental signatures in open quantum systems.The time-convolutionless (TCL) master equation, which is both exact and time-local, is an ideal candidate for the perturbative computation of such observables.We develop a diagrammatic approach to evaluate the steady-state TCL generator based on operators rather than superoperators.We obtain the steady-state occupation numbers, extend our formulation to the calculation of currents, and provide a simple physical interpretation of the diagrams.We further benchmark our method on a single noninteracting level coupled to Fermi reservoirs, where we recover the exact expansion to next-to-leading order.The low number of diagrams appearing in our formulation makes the extension to higher orders accessible.Combined, these properties make the steady-state time-convolutionless master equation an effective tool for the calculation of steady-state properties in open quantum systems.
The generalized quantum master equation provides a powerful tool to describe the dynamics in quantum impurity models driven away from equilibrium. Two complementary approaches, one based on Nakajima-Zwanzig-Mori time-convolution (TC) and the other on the Tokuyama-Mori time-convolutionless (TCL) formulations provide a starting point to describe the time-evolution of the reduced density matrix. A key in both approaches is to obtain the so called "memory kernel" or "generator," going beyond second or fourth order perturbation techniques. While numerically converged techniques are available for the TC memory kernel, the canonical approach to obtain the TCL generator is based on inverting a super-operator in the full Hilbert space, which is difficult to perform and thus, nearly all applications of the TCL approach rely on a perturbative scheme of some sort. Here, the TCL generator is expressed using a reduced system propagator which can be obtained from system observables alone and requires the calculation of super-operators and their inverse in the reduced Hilbert space rather than the full one. This makes the formulation amenable to quantum impurity solvers or to diagrammatic techniques, such as the nonequilibrium Green's function. We implement the TCL approach for the resonant level model driven away from equilibrium and compare the time scales for the decay of the generator with that of the memory kernel in the TC approach. Furthermore, the effects of temperature, source-drain bias, and gate potential on the TCL/TC generators are discussed.
We consider an open quantum system described by a Lindblad-type master equation with two time scales. The fast time scale is strongly dissipative and drives the system towards a low-dimensional decoherence-free space. To perform the adiabatic elimination of this fast relaxation, we propose a geometric asymptotic expansion based on the small positive parameter describing the time scale separation. This expansion exploits geometric singular perturbation theory and center-manifold techniques. We conjecture that, at any order, it provides an effective slow Lindblad master equation and a completely positive parameterization of the slow invariant sub-manifold associated to the low-dimensional decoherence-free space. By preserving complete positivity and trace, two important structural properties attached to open quantum dynamics, we obtain a reduced-order model that directly conveys a physical interpretation since it relies on effective Lindbladian descriptions of the slow evolution. At the first order, we derive simple formulae for the effective Lindblad master equation. For a specific type of fast dissipation, we show how any Hamiltonian perturbation yields Lindbladian second-order corrections to the first-order slow evolution governed by the Zeno-Hamiltonian. These results are illustrated on a composite system made of a strongly dissipative harmonic oscillator, the ancilla, weakly coupled to another quantum system.
We explore the performance of the time-convolutionless (TCL) projection operator technique using the Fano-Anderson model as a test case. Comparing the exact TCL master equation with an expansion in powers of the strength of the system-environment coupling, we analyze the transient dynamics as well as the steady-state behavior. For a Lorentzian spectral density we demonstrate that the dimensionless expansion parameter corresponds to the ratio of the environmental correlation time to the relaxation time of the system, and we derive the convergence radius for the TCL expansion, which is seen to depend on the ratio of detuning and width of the spectral density. We further study the quantum non-Markovianity of the model based on the evolution of the Bures distance between quantum states and how it is represented by the second and fourth order of the expansion. Our results highlight both the strengths and the limitations of the TCL formalism in capturing key features of open quantum systems and, in particular, the challenges of accurately describing strongly coupled systems and non-Markovian dynamics.