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 finite temperature of the transducer, which is not easily achieved with other methods. We show that this approach provides a significant improvement in the readout of superconducting qubits in circuit QED already for a few thermal excitations, and admits to adiabatically eliminate optomechanical transducers.
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 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 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…
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…
Explicit formulas for adiabatic elimination with fast unitary dynamics
Laboratoire de Physique de l’Ecole normale supérieure（巴黎高等师范学院物理实验室）；ENS-PSL（巴黎文理研究大学高等师范学院）；CNRS（法国国家科学研究中心）；Inria（法国国家信息与自动化研究所）；Centre Automatique et Systèmes (CAS)（自动与系统中心）；Mines Paris, Université PSL（巴黎矿业学院，巴黎文理研究大学）；Sorbonne Université（索邦大学）；Université Paris Cité（巴黎西岱大学）；Dept. of Electronics and Information Science, UGent（根特大学电子与信息科学系）
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…
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…
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…
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…
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 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…
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…
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…
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 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.
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 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…
The effect of inter-subsystem coupling on the adiabaticity of composite systems and that of its subsystems is investigated. Similar to the adiabatic evolution defined for pure states, non-transitional evolution for mixed states is introduced; conditions for the non-transitional evolution are derived and discussed. An example that describes two coupled qubits is presented to detail the general presentation. The effects due to non-adiabatic evolution on the geometric phase are also presented and discussed.
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…
Despite the enormous technological interest in micro and nanolasers, surprisingly, no class-B quantum density-matrix model is available to date, capable of accurately describing coherence and photon correlations within a unified theory. In class-B lasers $-$applicable for most solid-state lasers at room temperature$-$, the macroscopic polarization decay rate is larger than the cavity damping rate which, in turn, exceeds the upper level population decay rate. Here we carry out a density-matrix theoretical approach for generic class-B lasers, and provide closed equations for the photonic and ato…
We propose a theory of adiabaticity in quantum Markovian dynamics based on a decomposition of the Hilbert space induced by the asymptotic behavior of the Lindblad semigroup. A central idea of our approach is that the natural generalization of the concept of eigenspace of the Hamiltonian in the case of Markovian dynamics is a noiseless subsystem with a minimal noisy cofactor. Unlike previous attempts to define adiabaticity for open systems, our approach deals exclusively with physical entities and provides a simple, intuitive picture at the underlying Hilbert-space level, linking the notion of …
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…
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 the adiabatic demagnetization in the rotating reference frame (ADRF) of a system of dipolar coupled nuclear spins $s=1/2$ in the external magnetic field. The demagnetization starts with the offset of the external magnetic field (in frequency units) from the Larmor frequency being several times greater than the local dipolar field. For different subsystem sizes, we have found from numerical simulations the temperatures at which subsystems of a one-dimensional nine-spin chain and a plane nine-spin cluster become entangled. These temperatures are of the order of microkelvins and are a…
I show how to protect adiabatic quantum computation (AQC) against decoherence and certain control errors, using a hybrid methodology involving dynamical decoupling, subsystem and stabilizer codes, and energy gaps. Corresponding error bounds are derived. As an example I show how to perform decoherence-protected AQC against local noise using at most two-body interactions.
Projective Quantum Eigensolver via Adiabatically Decoupled Subsystem Evolution: a Resource Efficient Approach to Molecular Energetics in Noisy Quantum Computers
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 …
This work addresses quantum adiabatic decoherence of many-body spin systems coupled with a boson field in the framework of open quantum systems theory. We generalize the traditional spin-boson model by considering a system-environment interaction Hamiltonian that represents a partition of non-interacting subsystems and highlights the collective correlation that appears exclusively due to the coupling with a common environment. Remarkably, this simple, exactly solvable model encompasses relevant aspects of a many-body open quantum system and features the subtle quantum effects that arise when t…
We present general conditions for quantum error suppression for Hamiltonian-based quantum computation using subsystem codes. This involves encoding the Hamiltonian performing the computation using an error detecting subsystem code and the addition of a penalty term that commutes with the encoded Hamiltonian. The scheme is general and includes the stabilizer formalism of both subspace and subsystem codes as special cases. We derive performance bounds and show that complete error suppression results in the large penalty limit. To illustrate the power of subsystem-based error suppression, we intr…
Two standard operations of model reduction for quantum feedback networks, elimination of internal connections under the instantaneous feedback limit and adiabatic elimination of fast degrees of freedom, are cast as structure-preserving transformations of Itō generator matrices. It is shown that the order in which they are applied is inconsequential.
In molecular systems containing conical intersections (CIs), a nontrivial geometric phase (GP) appears in the nuclear and electronic wave-functions in the adiabatic representation. We study GP effects in nuclear dynamics of an N-dimensional linear vibronic coupling (LVC) model. The main impact of GP on low-energy nuclear dynamics is reduction of population transfer between the local minima of the LVC lower energy surface. For the LVC model, we proposed an isometric coordinate transformation that confines non-adiabatic effects within a two-dimensional subsystem interacting with an N-2 dimension…
Quantum information processing requires a high degree of isolation from the detrimental effects of the environment as well as an extremely precise level of control on the way quantum dynamics unfolds in the information-processing system. In this paper, we show how these two goals can be ideally achieved by hybridizing the concepts of noiseless subsystems and of holonomic quantum computation. An all-geometric universal computation scheme based on non-adiabatic and non-Abelian quantum holonomies embedded in a four-qubit noiseless subsystem for general collective decoherence is proposed. The impl…
We iteratively apply a recently formulated adiabatic theorem for the strong-coupling limit in finite-dimensional quantum systems. This allows us to improve approximations to a perturbed dynamics, beyond the standard approximation based on quantum Zeno dynamics and adiabatic elimination. The effective generators describing the approximate evolutions are endowed with the same block structure as the unperturbed part of the generator, and exhibit adiabatic evolutions. This iterative adiabatic theorem reveals that adiabaticity holds eternally, that is, the system evolves within each eigenspace of t…
Approximate Reduced Lindblad Dynamics via Algebraic and Adiabatic Methods
University of Padova（帕多瓦大学）；Laboratoire de Physique de l’Ecole Normale Supérieure, Mines Paris-PSL, Inria, ENS-PSL, Université PSL, CNRS, Sorbonne Université（巴黎高等师范学校物理实验室，巴黎矿业综合理工学院-巴黎文理研究大学，法国国家信息与自动化研究所，巴黎文理研究大学高等师范学校-巴黎文理研究大学，法国国家科学研究中心，索邦大学）；Ghent University（根特大学）；Dartmouth College（达特茅斯学院）；Padua Quantum Technologies Research Center, University of Padova（帕多瓦大学帕多瓦量子技术研究中心）
Effective Hamiltonians in Cavity and Waveguide QED from Transition-Operator Diagrammatic Perturbation Theory
Telecom Paris, Institut Polytechnique de Paris（巴黎电信学院，巴黎理工学院）；Laboratoire Interdisciplinaire Carnot de Bourgogne, UMR 6303 CNRS - Université de Bourgogne Franche-Comté（勃艮第卡诺跨学科实验室，CNRS联合研究单位6303，勃艮第弗朗什-孔泰大学）；Technical University of Munich, TUM School of Natural Sciences, Physics Department（慕尼黑工业大学，自然科学学院，物理系）；Walther-Meißner-Institut, Bayerische Akademie der Wissenschaften（瓦尔特·迈斯纳研究所，巴伐利亚科学院）；Munich Center for Quantum Science and Technology (MCQST)（慕尼黑量子科学与技术中心）；Centre for Nanosciences and Nanotechnology, Université Paris-Saclay（纳米科学与工程中心，巴黎萨克雷大学）
Precise and efficient control of quantum systems is essential to perform quantum information processing tasks. In terms of adiabatic speedup via leakage elimination operator approach, for a closed system, the ideal pulse control conditions have been theoretically derived by P-Q partitioning technique. However, it is a challenge to design the corresponding control pulses for an open system, which requires to tackle noisy environments. In this paper, we apply the stochastic search procedures to an open qutrit system and successfully obtain the optimal control pulses for significant adiabatic spe…
The main challenge in deterministic quantum state transfer between remote mechanical resonators is the local decoherence and the transmission losses in the communication channel. In the path of overcoming this limitation, here we employ a shortcut to adiabatic passage protocol to devise a fast and reliable evolution path between two remote mechanical modes in separate optomechanical systems. A quantum state transfer between the two nodes is conceived by engineering their coupling to an intermediate fiber optical channel. The coupling pulses are operated such that the dark eigenmode of the syst…
A chirped-pulse quantum control scheme applicable to Coherent Anti-Stokes Raman Scattering spectroscopy, named as C-CARS, is presented aimed at maximizing the vibrational coherence in molecules. It implies chirping of three incoming pulses in the four-wave mixing process of CARS, the pump, the Stokes and the probe, to fulfil the conditions of adiabatic passage. The scheme is derived in the framework of rotating wave approximation and adiabatic elimination of excited state manifold simplifying the four-level model system into a ``super-effective'' two level system. The robustness, spectral sele…
Shortcuts to adiabaticity (STA) provide control protocols to guide the dynamics of a quantum system through an adiabatic reference trajectory in an arbitrary prescheduled time. Designing STA proves challenging in complex quantum systems when the dynamics of the degrees of freedom span different time scales. We introduce Counterdiabatic Born-Oppenheimer Dynamics (CBOD) as a framework to design STA in systems with a large separation of energy scales. CBOD exploits the Born-Oppenheimer approximation to separate the Hamiltonian into effective fast and slow degrees of freedom and calculate the corr…
