We prove that a harmonic oscillator driven by Lindblad dynamics where the typical drive and loss channels are two-photon processes instead of single-photon ones, converges to a protected subspace spanned by two coherent states of opposite amplitude. We then characterize the slow dynamics induced by a perturbative single-photon loss on this protected subspace, by performing adiabatic elimination in the Lindbladian dynamics.
We restate the adiabatic elimination approximation as the first term in a singular perturbation expansion. We use the invariant manifold formalism for singular perturbations in dynamical systems to identify systematic improvements on adiabatic elimination, connecting with well established quantum mechanical perturbation methods. We prove convergence of the expansions when energy scales are well separated. We state and solve the problem of hermiticity of improved effective hamiltonians.
We consider an ensemble of cavity-coupled two-level emitters interacting via full (coherent and dissipative) dipole-dipole interactions. Using an adiabatic elimination procedure we derive effective equations of motion for a subsystem consisting of the cavity and a single emitter. Those equations can be used for schemes to enhance the cavity-coupling of single emitters as shown in [S. Schütz, J. Schachenmayer, D. Hagenmüller, G. K. Brennen, T. Volz, V. Sandoghdar, T. W. Ebbesen, C. Genes, and G. Pupillo, e-print arXiv:1904.08888]. We analyze limitations of effective subsystem parameters, and st…
Driven Raman processes --- nearly resonant two-photon transitions through an intermediate state that is non-resonantly coupled and does not acquire a sizeable population --- are commonly treated with a simplified description in which the intermediate state is removed by adiabatic elimination. While the adiabatic-elimination approximation is reliable when the detuning of the intermediate state is quite large, it cannot be trusted in other situations, and it does not allow one to estimate the population in the eliminated state. We introduce an alternative method that keeps all states in the desc…
Adiabatic evolution is used in a variety of quantum information processing tasks. However, the elimination of errors is not as well-developed as it is for circuit model processing. Here, we present a strategy to accelerate a reliable quantum adiabatic process by adding Leakage Elimination Operators (LEO) to the evolution which are a sequence of pulse controls acting in an adiabatic subspace. Using the Feshbach $PQ$ partitioning technique, we obtain an analytical solution which traces the footprint of the target eigenstate. The effectiveness of the LEO is independent of the specific form of the…
Adiabatic elimination is a perturbative model reduction technique based on timescale separation and often used to simplify the description of composite quantum systems. We here analyze a quantum experiment where the perturbative expansion can be carried out to arbitrary order, such that: (i) we can formulate in the end an exact reduced model in quantum form; (ii) as the series provides accuracy for ever larger parameter values, we can discard any condition on the timescale separation, thereby analyzing the intermediate regime where the actual experiment is performing best; (iii) we can clarify…
In multi-level systems, the commonly used adiabatic elimination is a method for approximating the dynamics of the system by eliminating irrelevant, non-resonantly coupled levels. This procedure is, however, somewhat ambiguous and it is not clear how to improve on it systematically. We use an integro-differential equation for the probability amplitudes of the levels of interest, which is equivalent to the original Schrodinger equation for all probability amplitudes. In conjunction with a Markov approximation, the integro-differential equation is then used to generate a hierarchy of approximatio…
When a composite Lindblad system consists of weakly coupled sub-systems with fast and slow timescales, the description of slow dynamics can be simplified by discarding fast degrees of freedom. This model reduction technique is called adiabatic elimination. While second-order perturbative expansion with respect to the timescale separation has revealed that the evolution of a reduced state is completely positive, this paper presents an example exhibiting complete positivity violation in the fourth-order expansion. Despite the non-uniqueness of slow dynamics parametrization, we prove that complet…
We model the evolution of a single atom in a cavity interacting with two lasers, one far off resonance which creates an optical potential lattice and one near resonance, which can interact with the atom. The atom may tunnel between sites in the lattice. We find the photon counting statistic $g^{(2)}(τ)$ depends on the tunneling rate. Additionally we derive methods to work with a Bose-Einstein Condensate in the same situation, in ther Josephson junction regime. It is shown that oscillations in $g^{(2)}(τ)$ are directly proportional to the tunneling coefficient. We work in the bad-cavity limit a…
It was recently shown that, for solving NP-complete problems, adiabatic paths always exist without finite-order perturbative crossings between local and global minima, which could lead to anticrossings with exponentially small energy gaps if present. However, it was not shown whether such a path could be found easily. Here, we give a simple construction that deterministically eliminates all such anticrossings in polynomial time, space, and energy, for any Ising models with polynomial final gap. Thus, in order for adiabatic quantum optimization to require exponential time to solve any NP-comple…
When measuring a complex quantum system, we are often interested in only a few degrees of freedom-the plant, while the rest of them are collected as auxiliary modes-the bath. The bath can have finite memory (non-Markovian), and simply ignoring its dynamics, i.e., adiabatically eliminating it, will prevent us from predicting the true quantum behavior of the plant. We generalize the technique introduced by Strunz et. al. [Phys. Rev. Lett 82, 1801 (1999)], and develop a formalism that allows us to eliminate the bath non-adiabatically in continuous quantum measurements, and obtain a non-Markovian …
This paper deals with different ways to extract the effective two-dimensional lower level dynamics of a lambda system excited by off-resonant laser beams. We present a commonly used procedure for elimination of the upper level, and we show that it may lead to ambiguous results. To overcome this problem and better understand the applicability conditions of this scheme, we review two rigorous methods which allow us both to derive an unambiguous effective two-level Hamiltonian of the system and to quantify the accuracy of the approximation achieved: the first one relies on the exact solution of t…
Adiabatic elimination is a standard tool in quantum optics, which produces an effective Hamiltonian for a relevant subspace of states, incorporating effects of its coupling to states with much higher unperturbed energy. It shares with techniques from other fields the emphasis on the existence of widely separated scales. Given this fact, the question arises whether it is feasible to improve on the adiabatic approximation, similarly to some of those other approaches. A number of authors have addressed the issue from the quantum optics/atomic physics perspective, and have run into the issue of no…
Realizing leakage elimination operator-based adiabatic speedup on a superconducting quantum processor
College of Physics and Optoelectronic Engineering, Ocean University of China（中国海洋大学物理与光电工程学院）；China Mobile (Suzhou) Software Technology Co., Ltd（中国移动（苏州）软件技术有限公司）；School of Sciences, Qingdao University of Technology（青岛理工大学理学院）
We provide model reduction formulas for open quantum systems consisting of a target component which weakly interacts with a strongly dissipative environment. The time-scale separation between the uncoupled dynamics and the interaction allows to employ tools from center manifold theory and geometric singular perturbation theory to eliminate the variables associated to the environment (adiabatic elimination) with high-order accuracy. An important specificity is to preserve the quantum structure: reduced dynamics in (positive) Lindblad form and coordinate mappings in Kraus form. We provide formul…
Feedback in compound quantum systems is effected by using the output from one sub-system (``the system'') to control the evolution of a second sub-system (``the ancilla'') which is reversibly coupled to the system. In the limit where the ancilla responds to fluctuations on a much shorter time scale than does the system, we show that it can be adiabatically eliminated, yielding a master equation for the system alone. This is very significant as it decreases the necessary basis size for numerical simulation and allows the effect of the ancilla to be understood more easily. We consider two types …
Far-off-resonant pulsed laser fields produce negligible excitation between two atomic states but may induce considerable phase shifts. The acquired phases are usually calculated by using the adiabatic-elimination approximation. We analyze the accuracy of this approximation and derive the conditions for its applicability to the calculation of the phases. We account for various sources of imperfections, ranging from higher terms in the adiabatic-elimination expansion and irreversible population loss to couplings to additional states. We find that, as far as the phase shifts are concerned, the ad…
In quantum mechanics, adiabatic elimination is a standard tool that produces a low-lying reduced Hamiltonian for a relevant subspace of states, incorporating effects of its coupling to states with much higher energy. Suppose this powerful elimination approach is applied to quasi-energy states in periodically-driven systems, a critical question then arises that the violation of the adiabatic condition caused by driven forces challenges such a presence of spectral reduction in the non-equilibrium driven system. Here, both theoretically and experimentally, we newly reported two kinds of driven-in…
We consider a composite open quantum system consisting of a fast subsystem coupled to a slow one. Using the time-scale separation, we develop an adiabatic elimination technique to derive at any order the reduced model describing the slow subsystem. The method, based on an asymptotic expansion and geometric singular perturbation theory, ensures the physical interpretation of the reduced second-order model by giving the reduced dynamics in a Lindblad form and the state reduction in Kraus map form. We give explicit second-order formulas for Hamiltonian or cascade coupling between the two subsyste…
An ever broader range of physical platforms provides the possibility to study and engineer quantum dynamics under continuous measurements. In many experimental arrangements the system of interest is monitored by means of an ancillary device, whose sole purpose is to transduce the signal from the system to the measurement apparatus. Here, we present a method of adiabatic elimination when the transducer consists of an arbitrary number of bosonic modes with Gaussian dynamics while the measured object can be any quantum system. Crucially, our approach can cope with the highly relevant case of fini…
We present a general method to calculate the quasi-stationary state of a driven-dissipative system coupled to a transmission line (and more generally, to a reservoir) under periodic modulation of its parameters. Using Floquet's theorem, we formulate the differential equation for the system's density operator which has to be solved for a single period of modulation. On this basis we also provide systematic expansions in both the adiabatic and high-frequency regime. Applying our method to three different systems -- two- and three-level models as well as the driven nonlinear cavity -- we propose …
It is challenged only recently that the precision attainable in any measurement of a physical parameter is fundamentally limited by the quantum Cramér-Rao Bound (QCRB). Here, targeting at measuring parameters in strongly dissipative systems, we propose an innovative measurement scheme called {\it dissipative adiabatic measurement} and theoretically show that it can beat the QCRB. Unlike projective measurements, our measurement scheme, though consuming more time, does not collapse the measured state and, more importantly, yields the expectation value of an observable as its measurement outcome,…
We show that, for arbitrary quantum feedback networks consisting of several quantum mechanical components connected by quantum fields, the limit of adiabatic elimination of fast oscillator modes in the components and the limit of instantaneous transmission along internal quantum field connections commute. The underlying technique is to show that both limits involve a Schur complement procedure. The result shows that the frequently used approximations, for instance to eliminate strongly coupled optical cavities, are mathematically consistent.
Adiabatic elimination and Wigner function approach in microscopic derivation of Open Quantum Brownian Motion
University of KwaZulu-Natal（夸祖鲁-纳塔尔大学）；North-West University（西北大学）；National Institute for Theoretical and Computational Sciences (NITheCS)（国家理论与计算科学研究所）；Stellenbosch University（斯泰伦博斯大学）
We consider a physical system with a coupling to bosonic reservoirs via a quantum stochastic differential equation. We study the limit of this model as the coupling strength tends to infinity. We show that in this limit the solution to the quantum stochastic differential equation converges strongly to the solution of a limit quantum stochastic differential equation. In the limiting dynamics the excited states are removed and the ground states couple directly to the reservoirs.
We propose a method to improve the stimulated Raman adiabatic passage (STIRAP) via dissipative quantum dynamics, taking into account the dephasing effects. Fast and robust population transfer can be obtained with the scheme by the designed pulses and detuning, even though the initial state of the system is imperfect. With a concrete three-level system as an example, the influences of the imperfect initial state, variations in the control parameters, and various dissipation effects are discussed in detail. The numerical simulation shows that the scheme is insensitive to moderate fluctuations of…
Adiabatic elimination methods allow the reduction of the space dimension needed to describe systems dynamics which exhibits separation of time scale. For open quantum system, 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 subsystems in a bipartite quantum system. In this work, we extend an adiabatic elimination method used for removing fast deg…
The geometric (Berry) phase of a two-level system in a dissipative environment is analyzed by using the second-quantized formulation, which provides a unified and gauge-invariant treatment of adiabatic and nonadiabatic phases and is thus applicable to a quantitative analysis of transitional regions away from ideal adiabaticity. In view of the recent experimental observation of the Berry phase in a superconducting qubit, we illustrate our formulation for a concrete adiabatic case in the Ohmic dissipation. The correction to the total phase together with the geometry-dependent dephasing time is g…
We determine the incoherent spectrum, squeezing properties and second-order correlation function of the collective atomic degrees of freedom in absorptive optical bistability. This is accomplished via a linearized Fokker-Planck equation in the positive P representation, guided by the analysis of [H. J. Carmichael, Phys. Rev. A 33, 3262 (1986)] which does not resort to adiabatic elimination. We focus on the regimes of weak and strong intracavity excitation, addressing the good-cavity and bad-cavity limits as well as the limit of collective strong coupling. Adiabatic elimination of the intracavi…
Entanglement is the central resource in adiabatic quantum transport. Dephasing affects the availability of that resource by biasing trajectories, driving transitions between success and failure. This depletion of entanglement is important for the practical implementation of quantum technologies. We present a new perspective on the failure of adiabatic computation by understanding the failure of adiabatic transport as a dynamical phase transition. These ideas are demonstrated in a toy model of adiabatic quantum transport in a two spin system.
We consider an open quantum system described by a Lindblad-type master equation with two times-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 completel…
Effective quantum communication between remote quantum nodes requires high fidelity quantum state transfer and remote entanglement generation. Recent experiments have demonstrated that microwave photons, as well as phonons, can be used to couple superconducting qubits, with a fidelity limited primarily by loss in the communication channel. Adiabatic protocols can overcome channel loss by transferring quantum states without populating the lossy communication channel. Here we present a unique superconducting quantum communication system, comprising two superconducting qubits connected by a 0.73 …
Efficient descriptions of open quantum systems can be obtained by performing an adiabatic elimination of the fast degrees of freedom and formulating effective operators for the slow degrees of freedom in reduced dimensions. Here, we perform the construction of effective operators in frequency space, and using the final value theorem or alternatively the Keldysh theorem, we provide a correction for the trace of the density matrix which takes into account the non trace-preserving character of the evolution. We illustrate our results with two different systems, ones where the eliminated fast subs…
We put forth a hitherto unexplored control strategy that enables finite-speed, high-fidelity transport of a quantum wavepacket through a low-temperature dissipative medium. The control consists in confining the wavepacket within a shallow anharmonic trap (tweezer), whose nonuniform velocity is steered so as to maximize the transfer fidelity between two locations. A relevant scenario is a quantum impurity moving through an ultracold gas. Unlike shortcuts to adiabaticity, our approach can simultaneously cope with wavepacket leakage via non-adiabatic and phonon-mediated processes, provided both a…
We study the exact solution of the Schrödinger equation for the dissipative dynamics of a qubit, achieved by means of Short Iterative Lanczos method (SIL), which allows us to describe the qubit and the bath dynamics from weak to strong coupling regimes. We focus on two different models of a qubit in contact with the external environment: the first is the Spin Boson Model (SBM), which gives a description of the qubit in terms of static tunnelling energy and a bias field. The second model describes an externally driven qubit, where both the bias field and the tunnelling rate are controlled by a …
We study two-photon excitation of Rydberg states of atoms under stimulated adiabatic passage with delayed laser pulses. We find that the combination of strong interaction between the atoms in Rydberg state and the spontaneous decay of the intermediate exited atomic state leads to the Rydberg excitation of precisely one atom within the atomic ensemble. The quantum Zeno effect offers a lucid interpretation of this result: the Rydberg blocked atoms repetitively scattering photons effectively monitor a randomly excited atom which therefore remains in the Rydberg state. This system can be used for …
In this paper we formulate limit Zeno dynamics of general open systems as the adiabatic elimination of fast components. We are able to exploit previous work on adiabatic elimination of quantum stochastic models to give explicitly the conditions under which open Zeno dynamics will exist. The open systems formulation is further developed as a framework for Zeno master equations, and Zeno filtering (that is, quantum trajectories based on a limit Zeno dynamical model). We discuss several models from the point of view of quantum control. For the case of linear quantum stochastic systems we present …
With the advent of quantum technologies, control issues are becoming increasingly important. In this article, we address the control in phase space under a global constraint provided by a minimal energy-like cost function and a local (in Fourier space) constraint resulting from a robustness criterion. The inverse engineering Lagrangian formalism developed here generalizes the one commonly used to describe the superoscillation phenomenon. It is applied to both non-dissipative and dissipative quantum mechanics, and extended to stochastic thermodynamics. Interestingly, our approach also allows to…
Protocols for non-adiabatic quantum control often require the use of classical time varying fields. Assessing the thermodynamic cost of such protocols, however, is far from trivial. In this letter we study the irreversible entropy produced by the classical apparatus generating the control fields, thus providing a direct link between the cost of a control protocol and dissipation. We focus, in particular, on the case of time-dependent magnetic fields and shortcuts to adiabaticity. Our results are showcased with two experimentally realisable case studies: the Landau-Zener model of a spin-1/2 par…
We analyze the influence of a dissipative environment on geometric phases in a quantum system subject to non-adiabatic evolution. We find dissipative contributions to the acquired phase and modification of dephasing, considering the cases of weak short-correlated noise as well as of slow quasi-stationary noise. Motivated by recent experiments, we find the leading non-adiabatic corrections to the results, known for the adiabatic limit.
It has been recently realized that dissipative processes can be harnessed and exploited to the end of coherent quantum control and information processing. In this spirit we consider strongly dissipative quantum systems admitting a non-trivial manifold of steady states. We show how one can enact adiabatic coherent unitary manipulations e.g., quantum logical gates, inside this {steady-state} manifold by adding a weak, time-rescaled, Hamiltonian term into the system's Liouvillian. The effective long-time dynamics is governed by a projected Hamiltonian which results from the interplay between the …
We study the adiabatic limit in the density matrix approach for a quantum system coupled to a weakly dissipative medium. The energy spectrum of the quantum model is supposed to be non-degenerate. In the absence of dissipation, the geometric phases for periodic Hamiltonians obtained previously by M.V. Berry are recovered in the present approach. We determine the necessary condition satisfied by the coefficients of the linear expansion of the non-unitary part of the Liouvillian in order to the imaginary phases acquired by the elements of the density matrix, due to dissipative effects, be geometr…
