Abstract Understanding nonsecular dynamics in open quantum systems is addressed here, with emphasis on systems with large numbers of Bohr frequencies, zero temperature, and fast driving. We employ the master equation, which replaces arithmetic averages of the decay rates in the open system, with their geometric averages, and find that it can improve the second order perturbation theory, known as the Redfield equation, while enforcing complete positivity on quantum dynamics. The characteristic frequency scale that governs the approximation is the minimax frequency: the minimum of the maximum system oscillation frequency and the bath relaxation rate; this needs to be larger than the dissipation rate for it to be valid. The concepts are illustrated on the Heisenberg ferromagnetic spin-chain model. To study the accuracy of the approximation, a Hamiltonian is drawn from the Gaussian unitary ensemble, for which we calculate the fourth order time-convolutionless master equation, in the Ohmic bath at zero temperature. Enforcing the geometric average, decreases the trace distance to the exact solution. Dynamical decoupling of a qubit is examined by applying the Redfield and the geometric-arithmetic master equations, in the interaction picture of the time dependent system Hamiltonian, and the results are compared to the exact path integral solution. The geometric-arithmetic approach is significantly simpler and can be super-exponentially faster compared to the Redfield approach.
Abstract Understanding nonsecular dynamics in open quantum systems is addressed here, with emphasis on systems with large numbers of Bohr frequencies, zero temperature, and fast driving. We employ the master equation, which replaces arithmetic averages of the decay rates in the open system, with their geometric averages, and find that it can improve the second order perturbation theory, known as the Redfield equation, while enforcing complete positivity on quantum dynamics. The characteristic frequency scale that governs the approximation is the minimax frequency: the minimum of the maximum system oscillation frequency and the bath relaxation rate; this needs to be larger than the dissipation rate for it to be valid. The concepts are illustrated on the Heisenberg ferromagnetic spin-chain model. To study the accuracy of the approximation, a Hamiltonian is drawn from the Gaussian unitary ensemble, for which we calculate the fourth order time-convolutionless master equation, in the Ohmic bath at zero temperature. Enforcing the geometric average, decreases the trace distance to the exact solution. Dynamical decoupling of a qubit is examined by applying the Redfield and the geometric-arithmetic master equations, in the interaction picture of the time dependent system Hamiltonian, and the results are compared to the exact path integral solution. The geometric-arithmetic approach is significantly simpler and can be super-exponentially faster compared to the Redfield approach.
Despite recent advances in quantum sciences, a quantum master equation that accurately and simply characterizes open quantum dynamics across extremely long timescales and in dispersive environments is still needed. In this study, we optimize the computation of the fourth-order time-convolutionless master equation to meet this need. Early versions of this master equation required computing a multidimensional integral, limiting its use. Our master equation accounts for simultaneous relaxation and dephasing, resulting in coefficients proportional to the system's spectral density over frequency derivative. In sub-Ohmic environments, this derivative induces infrared divergence in the master equation, invalidating the second-order Bloch-Redfield master equation findings. We analyze the approach to a ground state in a generic open quantum system and demonstrate that it is not reliably computed by the Bloch-Redfield equation alone. The optimized fourth-order equation shows that the ground-state approach is accurate to second order in bath coupling regardless of the dispersion, even though it can diverge in the fourth order.
Quantum master equations are an invaluable and highly successful tool for the approximate, yet accurate, description of undriven open quantum systems weakly coupled to their environment. In contrast, results on the description of the equally important case of driven open quantum systems using quantum master equations remain scarce. Existing approaches typically impose restrictions on the driving protocol, including, for instance, Floquet master equations for periodic driving and adiabatic master equations for slow driving. However, no generally accepted formulation for arbitrary driving has yet been established. A promising candidate from which all existing approaches can be derived by approximations based on protocol constraints is the driven Redfield master equation. Strikingly, it has received very little attention so far. A main reason is that, in analogy to its undriven counterpart, the driven Redfield master equation notoriously violates complete positivity. In the undriven case, this problem can be successfully addressed using the rotating wave approximation (RWA). For approaches derived from the driven Redfield master equation for specific protocols, such as Floquet master equations and adiabatic master equations, a generalized form of the RWA can still be applied. However, a full generalization directly applicable to the driven Redfield master equation under arbitrary driving has not yet been developed. To address this issue, we propose a straightforward and natural generalization of the RWA based on the version of the RWA used for adiabatic master equations. We then apply the driven Redfield master equation to the paradigmatic, exactly solvable model of a driven quantum harmonic oscillator coupled to a bosonic bath and benchmark it against the exact solution. In particular, we compare the original driven Redfield master equation without an RWA to its generalized RWA version. We find that the driven Redfield master equation without an RWA exhibits excellent agreement with the exact solution across all driving speeds, while the violation of complete positivity shows no notable effect. By contrast, the RWA-based version of the driven Redfield master equation fails to reproduce the dynamics accurately beyond slow driving at short times. Additionally, we analyze known adiabatic master equations, both without and with an RWA. Remarkably, the non-RWA versions agree with the exact dynamics far beyond the strictly adiabatic regime, while the RWA-based versions already show noticeable deviations even for slow driving, contrasting previous observations in the literature. Taken together, these results indicate that the driven Redfield master equation and adiabatic master equations without RWA have been significantly underestimated in their practical usefulness, whereas RWA-based approaches in driven settings may have been overestimated. This strongly suggests that future work should focus on alternative approximation methods applied to the driven Redfield master equation that preserve its high numerical accuracy while restoring complete positivity.
Markovian master equations are a ubiquitous tool in the study of open quantum systems, but deriving them from first principles involves a series of compromises. On the one hand, the Redfield equation is valid for fast environments (whose correlation function decays much faster than the system relaxation time) regardless of the relative strength of the coupling to the system Hamiltonian, but is notoriously non-completely-positive. On the other hand, the Davies equation preserves complete positivity but is valid only in the ultra-weak coupling limit and for systems with a finite level spacing, which makes it incompatible with arbitrarily fast time-dependent driving. Here we show that a recently derived Markovian coarse-grained master equation (CGME), already known to be completely positive, has a much expanded range of applicability compared to the Davies equation, and moreover, is locally generated and can be generalized to accommodate arbitrarily fast driving. This generalization, which we refer to as the time-dependent CGME, is thus suitable for the analysis of fast operations in gate-model quantum computing, such as quantum error correction and dynamical decoupling. Our derivation proceeds directly from the Redfield equation and allows us to place rigorous error bounds on all three equations: Redfield, Davies, and coarse-grained. Our main result is thus a completely positive Markovian master equation that is a controlled approximation to the true evolution for any time-dependence of the system Hamiltonian, and works for systems with arbitrarily small level spacing. We illustrate this with an analysis showing that dynamical decoupling can extend coherence times even in a strictly Markovian setting.
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.
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.
Here we present a Lindblad master equation that approximates the Redfield equation, a well known master equation derived from first principles, without significantly compromising the range of applicability of the Redfield equation. Instead of full-scale coarse-graining, this approximation only truncates terms in the Redfield equation that average out over a time-scale typical of the quantum system. The first step in this approximation is to properly renormalize the system Hamiltonian, to symmetrize the gains and losses of the state due to the environmental coupling. In the second step, we swap out an arithmetic mean of the spectral density with a geometric one, in these gains and losses, thereby restoring complete positivity. This completely positive approximation, GAME (geometric-arithmetic master equation), is adaptable between its time-independent, time-dependent, and Floquet form. In the exactly solvable, three-level, Jaynes-Cummings model, we find that the error of the approximate state is almost an order of magnitude lower than that obtained by solving the coarse-grained stochastic master equation. As a test-bed, we use a ferromagnetic Heisenberg spin-chain with long-range dipole-dipole coupling between up to 25-spins, and study the differences between various master equations. We find that GAME has the highest accuracy per computational resource.