本文讨论了量子绝热消去，这是一种针对复合 Lindblad 系统的模型降阶技术，该系统由一个快衰减子系统与另一个具有慢得多的时间尺度的子系统耦合而成。此类系统具有一个靠近慢子系统的流形。在快自由度衰减之后，系统会到达该不变流形，随后慢动力学在其上演化。通过对不变流形进行参数化，可以通过约化模型来模拟慢动力学。为了找到约化态的演化，我们针对时间尺度分离进行了渐近展开。到目前为止，主要考虑的是二阶展开。随后已经揭示，约化动力学的二阶展开通常由 Lindblad 方程给出，这确保了时间演化的完全正性。在本文中，我们给出了两个例子，表明在更高阶贡献下约化动力学的完全正性被违反。在第一个例子中，在不截断渐近展开的情况下，通过对偏迹演化的分析检测到了这种违反。偏迹并不是参数化慢动力学的唯一方法。关于这种非唯一性，在 [R. Azouit, F. Chittaro, A. Sarlette, and P. Rouchon, Quantum Sci. Technol. 2, 044011 (2017)] 中曾猜想存在一种能确保完全正性的参数选择。然而，通过第二个例子，我们反驳了这一猜想，表明在任何参数化选择中都无法恢复完全正性。我们根据不变慢流形初始态中快自由度与慢自由度之间不可避免的关联来讨论这些结果。
英文摘要：
This paper discusses quantum adiabatic elimination, which is a model reduction technique for a composite Lindblad system consisting of a fast decaying sub-system coupled to another sub-system with a much slower timescale. Such a system features an invariant manifold that is close to the slow sub-system. 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 invariant manifold, the slow dynamics can be simulated via a reduced model. To find the evolution of the reduced state, we perform the 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 non-uniqueness, it was conjectured in [R. Azouit, F. Chittaro, A. Sarlette, and P. Rouchon, 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 unavoidable correlations, in the initial states on the invariant slow manifold, between the fast and the slow degrees of freedom.
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 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.
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…
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…
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…
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 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.
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 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…
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…
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…
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 …
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.
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 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…
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…
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…
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（帕多瓦大学帕多瓦量子技术研究中心）
We introduce a method where successive coordinate transformations are applied to decrease the error in the adiabatic master equation resulting from truncation in the local adiabatic parameter. Our method reduces the nonphysical behaviour stemming from the lack of complete positivity. The strong environment-induced relaxation at high Cooper pair pumping frequencies leads to adiabatic ground-state pumping only in the lowest-order approximation. We illustrate the robustness of the frequency where the adiabaticity breaks down using the high-order theory and show the emergence of an optimal environ…
We compare different quantum Master equations for the time evolution of the reduced density matrix. The widely applied secular approximation (rotating wave approximation) applied in combination with the Born-Markov approximation generates a Lindblad type master equation ensuring for completely positive and stable evolution and is typically well applicable for optical baths. For phonon baths however, the secular approximation is expected to be invalid. The usual Markovian master equation does not generally preserve positivity of the density matrix. As a solution we propose a coarse-graining app…
Virtual states are a central concept in quantum mechanics. By definition, the probability of finding a quantum system in a virtual state should be vanishingly small at all times. In contrast to this notion, we report a phenomenon occurring in open quantum systems by which virtual states can acquire a sizable population in the long time limit, even if they are not directly coupled to any dissipative channel. This means that the situation where the virtual state remains unpopulated can be metastable. We describe this effect by introducing a two-step adiabiatic elimination method, that we termed …
Tracing the dynamics of a quantum system using a mesoscopic device is an important topic of interest nowadays. Here we show how a mesoscopic mechanical oscillator steers the dynamics of a coupled two-atom system and gives rise to a two-qubit SWAP gate. We have theoretically studied a generic hybrid atom-optomechanical system where two identical atoms in $Λ$ configuration are trapped inside the cavity and the cavity mode mediates the interaction between the atoms and the mechanical oscillator. Adiabatic elimination of the lossy channels is adopted which in turn gives rise to an effective Hamilt…
James' effective Hamiltonian method has been extensively adopted to investigate largely detuned interacting quantum systems. This method is just corresponding to the second-order perturbation theory, and cannot be exploited to treat the problems which should be solved by using the third or higher-order perturbation theory. In this paper, we generalize James' effective Hamiltonian method to the higher-order case. Using the method developed here, we reexamine two examples published recently [Phys. Rev.Lett. 117, 043601 (2016), Phys. Rev A 92, 023842 (2015)], our results turn out to be the same a…
We show that the coherent coupling of atomic qubits at distant nodes of a quantum network, composed of several cavities linked by optical fibers, can be arbitrarily controlled via the selective pairing of Raman transitions. The adiabatic elimination of the atomic excited states and photonic states leads to selective qubit-qubit interactions, which would have important applications in quantum information processing. Quantum gates between any pair of distant qubits and parallel two-qubit operations on selected qubit pairs can be implemented through suitable choices of the parameters of the exter…
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…
