Adiabatic limit is the presumption of the adiabatic geometric quantum computation and of the adiabatic quantum algorithm. But in reality, the variation speed of the Hamiltonian is finite. Here we develop a general formulation of adiabatic quantum computing, which accurately describes the evolution of the quantum state in a perturbative way, in which the adiabatic limit is the zeroth-order approximation. As an application of this formulation, non-adiabatic correction or error is estimated for several physical implementations of the adiabatic geometric gates. A quantum computing process consisting of many adiabatic gate operations is considered, for which the total non-adiabatic error is found to be about the sum of those of all the gates. This is a useful constraint on the computational power. The formalism is also briefly applied to the adiabatic quantum algorithm.
Recently, Marzlin and Sanders (2004) demonstrated an inconsistency when the adiabatic approximation was applied to specific, "inverse" time-evolving systems. Following that, Tong et al. (2005) showed that the widely used traditional adiabatic conditions are insufficient to guarantee the validity of the adiabatic approximation for this class of systems. In this article we explore the origin of these observations by a perturbative approach and find that in first order approximation certain nonzero terms appear in the solution which gives rise to the breakdown of the adiabatic approximation (desp…
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 use the Rayleigh-Schrödinger perturbation theory to calculate the corrections to the adiabatic geometric phase due to a perturbation of the Hamiltonian. We show that these corrections are at least of second order in the perturbation parameter. As an application of our general results we address the problem of the adiabatic geometric phase for a one-dimensional particle which is confined to an infinite square well with moving walls.
We introduce a perturbative approach to solving the time dependent Schroedinger equation, named adiabatic perturbation theory (APT), whose zeroth order term is the quantum adiabatic approximation. The small parameter in the power series expansion of the time-dependent wave function is the inverse of the time it takes to drive the system's Hamiltonian from the initial to its final form. We review other standard perturbative and non-perturbative ways of going beyond the adiabatic approximation, extending and finding exact relations among them, and also compare the efficiency of those methods aga…
A new and intuitive perturbative approach to time-dependent quantum mechanics problems is presented, which is useful in situations where the evolution of the Hamiltonian is slow. The state of a system which starts in an instantaneous eigenstate of the initial Hamiltonian is written as a power series which has a straightforward diagrammatic representation. Each term of the series corresponds to a sequence of "adiabatic" evolutions, during which the system remains in an instantaneous eigenstate of the Hamiltonian, punctuated by transitions from one state to another. The first term of this series…
Recently there have been some controversies about the criterion of the adiabatic approximation. It is shown that an approximate diagonalization of the effective Hamiltonian in the second quantized formulation gives rise to a reliable and unambiguous criterion of the adiabatic approximation. This is illustrated for the model of Marzlin and Sanders and a model related to the geometric phase which can be exactly diagonalized in the present sense.
We introduce an adiabatic perturbation theory for quantum systems with degenerate energy spectra. This perturbative series enables one to rigorously establish conditions for the validity of the adiabatic theorem of quantum mechanics for degenerate systems. The same formalism can be used to find non-adiabatic corrections to the non-Abelian Wilczek-Zee geometric phase. These corrections are relevant to assess the validity of the practical implementation of the concept of fractional exchange statistics. We illustrate the formalism by exactly solving a time-dependent problem and comparing its solu…
The asymmetric quantum Rabi model (AQRM), which describes the interaction between a quantum harmonic oscillator and a biased qubit, arises naturally in circuit quantum electrodynamic circuits and devices. The existence of hidden symmetry in the AQRM leads to a rich energy landscape of conical intersections (CIs) and thus to interesting topological properties. However, current approximations to the AQRM fail to reproduce these CIs correctly. To overcome these limitations we propose a generalized adiabatic approximation (GAA) to describe the energy spectrum of the AQRM. This is achieved by combi…
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…
We consider a two-level system coupled to an environment that evolves non-adiabatically. We present a non-perturbative method for determining the persistence amplitude whose phase contains all the corrections to Berry's phase produced by the non-adiabatic motion of the environment. Specifically, it includes the effects of transitions between the two energy levels to all orders in the non-adiabatic coupling. The problem of determining all non-adiabatic corrections is reduced to solving an ordinary differential equation to which numerical methods should provide solutions in a variety of situatio…
We propose a new adiabatic algorithm for the unsorted database search problem. This algorithm saves two thirds of qubits than Grover's algorithm in realizations. Meanwhile, we analyze the time complexity of the algorithm by both perturbative method and numerical simulation. The results show it provides a better speedup than the previous adiabatic search algorithm.
All the geometric phases, adiabatic and non-adiabatic, are formulated in a unified manner in the second quantized path integral formulation. The exact hidden local symmetry inherent in the Schrödinger equation defines the holonomy. All the geometric phases are shown to be topologically trivial. The geometric phases are briefly compared to the chiral anomaly which is naturally formulated in the path integral.
An adiabatic change of parameters along a closed path may interchange the (quasi-)eigenenergies and eigenspaces of a closed quantum system. Such discrepancies induced by adiabatic cycles are refereed to as the exotic quantum holonomy, which is an extension of the geometric phase. "Small" adiabatic cycles induce no change on eigenspaces, whereas some "large" adiabatic cycles interchange eigenspaces. We explain the topological formulation for the eigenspace anholonomy, where the homotopy equivalence precisely distinguishes the larger cycles from smaller ones. An application to two level systems …
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.
A novel expansion -- which generalizes Magnus expansion -- of the evolution operator associated with a (in general, time-dependent) perturbed Hamiltonian is introduced. It is shown that it has a wide range of possible solutions that can be fitted according to computational convenience. The time-independent and the adiabatic case are studied in detail.
The conventional formulation of the non-adiabatic (Aharonov-Anandan) phase is based on the equivalence class $\{e^{iα(t)}ψ(t,\vec{x})\}$ which is not a symmetry of the Schrödinger equation. This equivalence class when understood as defining generalized rays in the Hilbert space is not generally consistent with the superposition principle in interference and polarization phenomena. The hidden local gauge symmetry, which arises from the arbitrariness of the choice of coordinates in the functional space, is then proposed as a basic gauge symmetry in the non-adiabatic phase. This re-formulation re…
The smallness of the variation rate of the hamiltonian matrix elements compared to the (square of the) energy spectrum gap is usually believed to be the key parameter for a quantum adiabatic evolution. However it is only perturbatively valid for scaled timed hamiltonian and resonance processes as well as off resonance possible constructive Stückelberg interference effects violate this usual condition for general hamiltionian. More general adiabatic condition and exact bounds for adiabatic quantum evolution are derived and studied in the framework of a two-level system. The usual criterion is r…
We present a perturbative method to estimate the spectral gap for adiabatic quantum optimization, based on the structure of the energy levels in the problem Hamiltonian. We show that for problems that have exponentially large number of local minima close to the global minimum, the gap becomes exponentially small making the computation time exponentially long. The quantum advantage of adiabatic quantum computation may then be accessed only via the local adiabatic evolution, which requires phase coherence throughout the evolution and knowledge of the spectrum. Such problems, therefore, are not s…
We study the assisted adiabatic passage, and equivalently the transitionless quantum driving, as a quantum brachistochrone trajectory. The optimal Hamiltonian for given constraints is constructed from the quantum brachistochrone equation. We discuss how the adiabatic passage is realized as the solution of the equation. The formulation of the quantum brachistochrone is based on the principle of least action. We utilize it to discuss the stability of the adiabatic passage.
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…
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…
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…
We present a systematic, perturbative method for correcting quantum gates to suppress errors that take the target system out of a chosen subspace. It addresses the generic problem of non-adiabatic errors in adiabatic evolution and state preparation, as well as general leakage errors due to spurious couplings to undesirable states. The method is based on the Magnus expansion: by correcting control pulses, we modify the Magnus expansion of an initially-given, imperfect unitary in such a way that the desired evolution is obtained. Applications to adiabatic quantum state transfer, superconducting …
In this paper we investigate the dynamics of the quantum Zeno subspaces which are the eigenspaces of the interaction Hamiltonian, belonging to different eigenvalues. Using the perturbation theory and the adiabatic approximation, we get a general expression of the jump probability between different Zeno subspaces. We applied this result in some examples. In these examples, as the coupling constant of the interactions increases, the measurement keeps the system remaining in its initial subspace and the quantum Zeno effect takes place.
We present the formulation of the problem of the coherent dynamics of quantum mechanical two-level systems in the adiabatic region in terms of the differential geometry of plane curves. We show that there is a natural plane curve corresponding to the Hamiltonian of the system for which the geometrical quantities have a simple physical interpretation. In particular, the curvature of the curve has the role of the nonadiabatic coupling.
Currently, there is a growing interest in the development of a new hierarchy of methods based on the concept of seniority, which has been introduced quite recently in quantum chemistry. Despite the enormous potential of these methods, the accurate description of both dynamical and static correlation effects within a single and in-principle-exact approach remains a challenge. In this work, we propose an alternative formulation of reduced density-matrix functional theory (RDMFT) where the (one-electron reduced) density matrix is mapped onto an ab initio seniority-zero wave function. In this theo…
We formulate binary optimization functions for single-vehicle routing, travelling salesperson and collision-free multi-vehicle routing with significant improvements in the number of variables over existing formulations. The provided functions are readily implemented on gate-based quantum computers using variational algorithms and on adiabatic quantum hardware.
We show how to apply the quantum adiabatic algorithm directly to the quantum computation of molecular properties. We describe a procedure to map electronic structure Hamiltonians to 2-local qubit Hamiltonians with a small set of physically realizable couplings. By combining the Bravyi-Kitaev construction to map fermions to qubits with perturbative gadgets to reduce the Hamiltonian to 2-local, we obtain precision requirements on the coupling strengths and a number of ancilla qubits that scale polynomially in the problem size. Hence our mapping is efficient. The required set of controllable inte…
Adiabatic quantum algorithms are often most easily formulated using many-body interactions. However, experimentally available interactions are generally two-body. In 2004, Kempe, Kitaev, and Regev introduced perturbative gadgets, by which arbitrary three-body effective interactions can be obtained using Hamiltonians consisting only of two-body interactions. These three-body effective interactions arise from the third order in perturbation theory. Since their introduction, perturbative gadgets have become a standard tool in the theory of quantum computation. Here we construct generalized gadget…
Effective low-energy theories represent powerful theoretical tools to reduce the complexity in modeling interacting quantum many-particle systems. However, common theoretical methods rely on perturbation theory, which limits their applicability to weak interactions. Here we introduce the Variational Adiabatic Gauge Transformation (VAGT), a non-perturbative hybrid quantum algorithm that can use nowadays quantum computers to learn the variational parameters of the unitary circuit that brings the Hamiltonian to either its block-diagonal or full-diagonal form. If a Hamiltonian can be diagonalized …
In order to build a quantum analog of traditional Carnot engine, a common choice is replacing the two thermodynamic adiabatic processes with two quantum mechanical adiabatic processes. In general, such quantum Carnot engine has six strokes. We analyze the efficiency of such six-stroke quantum Carnot engine in a perturbative way.
We consider a quantum gas of non-interacting particles confined in the expanding cavity, and investigate the nature of the non-adiabatic force which is generated from the gas and acts on the cavity wall. Firstly, with use of the time-dependent canonical transformation which transforms the expanding cavity to the non-expanding one, we can define the force operator. Secondly, applying the perturbative theory which works when the cavity wall begins to move at time origin, we find that the non-adiabatic force is quadratic in the wall velocity and thereby does not break the time-reversal symmetry, …
We study the adiabatic approximation of the dynamics of a bipartite quantum system with respect to one of the components, when the coupling between its two components is perturbative. We show that the density matrix of the considered component is described by adiabatic transport formulae exhibiting operator-valued geometric and dynamical phases. The present results can be used to study the quantum control of the dynamics of qubits and of open quantum systems where the two components are the system and its environment. We treat two examples, the control of an atomic qubit interacting with anoth…
We study defects in adiabatic control of a quantum system caused by the entanglement of the system with its environment. Such defects can be assimilated to decoherence processes due to perturbative couplings between the system and the environment. To analyse these effects, we propose a geometric approach based on a field theory on the control manifold issued from the higher gauge theory associated with the $C^*$-geometric phases. We study a visualization method to analyse the defects of adiabatic control based on the drawing of the field strengths of the gauge theory. To illustrate the present…
The present paper finds the complete set of exact solutions of the general time-dependent dynamical models for quantum decoherence, by making use of the Lewis-Riesenfeld invariant theory and the invariant-related unitary transformation formulation. Based on this, the general explicit expression for the decoherence factor is then obtained and the adiabatic classical limit of an illustrative example is discussed. The result (i.e., the adiabatic classical limit) obtained in this paper is consistent with what obtained by other authors, and futhermore we obtain the more general results concerning t…
We give a gauge description of the adiabatic charge pumping in closed systems, both in Abelian and non-Abelian processes, and by means of asymptotic Wilson loops in a suitable parameter manifold. Our geometric formulation provides new insights into this issue, and a very simple algorithm for numerical computations. Indeed, as we show first, discretized Berry--Wilczeck--Zee holonomies are easy to implement. Finally, we study non-Abelian pumping in a solvable four-state model, already used in several contexts, to demonstrate the relevance of our approach.
An algebraic method has been developed which allows one to engineer several energy levels including the low-energy subspace of interacting spin systems. By introducing ancillary qubits, this approach allows k-body interactions to be captured exactly using 2-body Hamiltonians. Our method works when all terms in the Hamiltonian share the same basis and has no dependence on perturbation theory or the associated large spectral gap. Our methods allow problem instance solutions to be embedded into the ground energy state of Ising spin systems. Adiabatic evolution might then be used to place a comput…
The discrete formulation of adiabatic quantum computing is compared with other search methods, classical and quantum, for random satisfiability (SAT) problems. With the number of steps growing only as the cube of the number of variables, the adiabatic method gives solution probabilities close to 1 for problem sizes feasible to evaluate via simulation on current computers. However, for these sizes the minimum energy gaps of most instances are fairly large, so the good performance scaling seen for small problems may not reflect asymptotic behavior where costs are dominated by tiny gaps. Moreover…
By introducing a temporal change timescale $τ_{\text{A}}(t)$ for the time-dependent system Hamiltonian, a general formulation of the Markovian quantum master equation is given to go well beyond the adiabatic regime. In appropriate situations, the framework is well justified even if $τ_{\text{A}}(t)$ is faster than the decay timescale of the bath correlation function. An application to the dissipative Landau-Zener model demonstrates this general result. The findings are applicable to a wide range of fields, providing a basis for quantum control beyond the adiabatic regime.
The second quantized approach to geometric phases is reviewed. The second quantization generally induces a hidden local (time-dependent) gauge symmetry. This gauge symmetry defines the parallel transport and holonomy, and thus it controls all the known geometric phases, either adiabatic or non-adiabatic, in a unified manner. The transitional region from the adiabatic to non-adiabatic phases is thus analyzed in a quantitative way. It is then shown that the topology of the adiabatic Berry's phase is trivial in a precise sense and also the adiabatic phase is rather fragile against the non-adiabat…
A topological formulation of the eigenspace anholonomy, where eigenspaces are interchanged by adiabatic cycles, is introduced. The anholonomy in two-level systems is identified with a disclination of the director (headless vector) of a Bloch vector, which characterizes eigenprojectors. The covering map structure behind the exotic quantum holonomy and the role of the homotopy classification of adiabatic cycles are elucidated. The extensions of this formulation to nonadiabatic cycles and N-level systems are outlined.
The problem Hamiltonian of the adiabatic quantum algorithm for the maximum-weight independent set problem (MIS) that is based on the reduction to the Ising problem (as described in [Choi08]) has flexible parameters. We show that by choosing the parameters appropriately in the problem Hamiltonian (without changing the problem to be solved) for MIS on CK graphs, we can prevent the first order quantum phase transition and significantly change the minimum spectral gap. We raise the basic question about what the appropriate formulation of adiabatic running time should be. We also describe adiabatic…
Using a perturbative treatment, we quantify the influence of non-adiabatic leakage and system dissipation on the transfer fidelity of a stimulated Raman adiabatic passage (STIRAP) process. We find that, optimizing transfer time rather than coupling profiles, leads to a significant improvement of the transfer fidelity. The upper bound of the fidelity has been found as a simple analytical function of system cooperativities. We also provide a systematic approach to reach this upper bound efficiently.
The ground-state potential and dipole moment of carbon monoxide: contributions from electronic correlation, relativistic effects, QED, adiabatic, and non-adiabatic corrections
