In this paper,we present a rigorous demonstration and discussion of the quantum adiabatic theorem for systems having a non degenerate continuous spectrum. A new strategy is initiated by defining a kind of gap, "a virtual gap", for the continuous spectrum through the notion of eigendifferential (Weyl's packet) and using the differential projector operator. Finally we obtain the validity condition of the adiabatic approximation.
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 …
In this work, we provide an answer to the question: how sudden or adiabatic is a change in the frequency of a quantum harmonic oscillator (HO)? To do this, we investigate the behavior of a HO, initially in its fundamental state, by making a frequency transition that we can control how fast it occurs. The resulting state of the system is shown to be a vacuum squeezed state in two bases related by Bogoliubov transformations. We characterize the time evolution of the squeezing parameter in both bases and discuss its relation with adiabaticity by changing the rate of the frequency transition from …
We aim to give more insights on adiabatic evolution concerning the occurrence of anti-crossings and their link to the spectral minimum gap $Δ_{min}$. We study in detail adiabatic quantum computation applied to a specific combinatorial problem called weighted max $k$-clique. A clear intuition of the parametrization introduced by V. Choi is given which explains why the characterization isn't general enough. We show that the instantaneous vectors involved in the anti-crossing vary brutally through it making the instantaneous ground-state hard to follow during the evolution. This result leads to a…
Besides the traditional circuit-based model of quantum computation, several quantum algorithms based on a continuous-time Hamiltonian evolution have recently been introduced, including for instance continuous-time quantum walk algorithms as well as adiabatic quantum algorithms. Unfortunately, very little is known today on the behavior of these Hamiltonian algorithms in the presence of noise. Here, we perform a fully analytical study of the resistance to noise of these algorithms using perturbation theory combined with a theoretical noise model based on random matrices drawn from the Gaussian O…
Adiabatic quantum computing is a framework for quantum computing that is superficially very different to the standard circuit model. However, it can be shown that the two models are computationally equivalent. The key to the proof is a mapping of a quantum circuit to an an adiabatic evolution, and then showing that the minimum spectral gap of the adiabatic Hamiltonian is at least inverse polynomial in the number of computational steps $L$. In this paper we provide two simplified proofs that the gap is inverse polynomial. Both proofs result in the same lower bound for the minimum gap, which for…
We present two new continuous time quantum search algorithms similar to the adiabatic search algorithm, but now without an adiabatic evolution. We find that both algorithms work for a wide range of values of the parameters of the Hamiltonian, and one of them has, as an additional feature that, for values of time larger than a characteristic one, it will converge to a state which can be close to the searched state.
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 investigate the efficiency of Quantum Adiabatic Optimization when overcoming potential barriers to get from a local to a global minimum. Specifically we look at n qubit systems with symmetric cost functions f:{0, 1}^n->R where the ground state must tunnel through a potential barrier of width n^a and height n^b. By the quantum adiabatic theorem the time delay sufficient to ensure tunneling grows quadratically with the inverse spectral gap during this tunneling process. We analyze barrier sizes with 1/2 < a + b and a < 1/2 and show that the minimum gap scales polynomially as n^{1/2-a-b} when …
We present a unified approach to study continuous measurement based quantum thermal machines in static as well as adiabatically driven systems. We investigate both steady state and transient dynamics for the time-independent case. In the adiabatically driven case, we show how measurement based thermodynamic quantities can be attributed geometric characteristics. We also provide the appropriate definition for heat transfer and dissipation owing to continous measurement in the presence and absence of adiabatic driving. We illustrate the aforementioned ideas and study the phenomena of refrigerati…
Much research regarding quantum adiabatic optimization has focused on stoquastic Hamiltonians with Hamming symmetric potentials, such as the well studied "spike" example. Due to the large amount of symmetry in these potentials such problems are readily open to analysis both analytically and computationally. However, more realistic potentials do not have such a high degree of symmetry and may have many local minima. Here we present a somewhat more realistic class of problems consisting of many individually Hamming symmetric potential wells. For two or three such wells we demonstrate that such a…
We study the asymptotic behavior of the spectral gap of simple barrier tunneling problems, which are related to using quantum annealing to find the global optimum of cost functions defined over n bits. Specifically we look at the problem of having an n qubit system tunnel through a barrier of width and height proportional to n^a. We show that with these quantum annealing problems, the asymptotic, $n\to\infty$, behavior of the spectral gap does not accurately describe the behavior of the gap at finite n until extremely large values of n (n>10^{12}). We prove that this deficiency of the asymptot…
We show that it is possible to use a classical computer to efficiently simulate the adiabatic evolution of a quantum system in one dimension with a constant spectral gap, starting the adiabatic evolution from a known initial product state. The proof relies on a recently proven area law for such systems, implying the existence of a good matrix product representation of the ground state, combined with an appropriate algorithm to update the matrix product state as the Hamiltonian is changed. This implies that adiabatic evolution with such Hamiltonians is not useful for universal quantum computati…
The problem of photoionization of atomic hydrogen in a white-dwarf-strength magnetic field is revisited to understand the existing discrepancies in the positive-energy spectra obtained by a variety of theoretical approaches reported in the literature. Oscillator strengths for photoionization are calculated with the adiabatic-basis-expansion method developed by Mota-Furtado and O'Mahony [Phys. Rev. A {\bf 76}, 053405 (2007)]. A comparative study is performed between the adiabatic-basis-expansion method and our previously developed coupled-channel theory [Phys. Rev. A {\bf 94}, 033422 (2016)]. A…
Computing using a continuous-time evolution, based on the natural interaction Hamiltonian of the quantum computer hardware, is a promising route to building useful quantum computers in the near-term. Adiabatic quantum computing, quantum annealing, computation by continuous-time quantum walk, and special purpose quantum simulators all use this strategy. In this work, we carry out a detailed examination of adiabatic and quantum walk implementation of the quantum search algorithm, using the more physically realistic hypercube connectivity, rather than the complete graph, for our base Hamiltonian.…
The time or cost of simulating a quantum circuit by adiabatic evolution is determined by the spectral gap of the Hamiltonians involved in the simulation. In "standard" constructions based on Feynman's Hamiltonian, such a gap decreases polynomially with the number of gates in the circuit, L. Because a larger gap implies a smaller cost, we study the limits of spectral gap amplification in this context. We show that, under some assumptions on the ground states and the cost of evolving with the Hamiltonians (which apply to the standard constructions), an upper bound on the gap of order 1/L follows…
We present a 2-local quantum algorithm for graph isomorphism GI based on an adiabatic protocol. By exploiting continuous-time quantum-walks, we are able to avoid a mere diffusion over all possible configurations and to significantly reduce the dimensionality of the visited space. Within this restricted space, the graph isomorphism problem can be translated into the search of a satisfying assignment to a 2-SAT formula without resorting to perturbation gadgets or projective techniques. We present an analysis of the execution time of the algorithm on small instances of the graph isomorphism probl…
By stating the adiabatic theorem of quantum mechanics in a clear and rigorous way, we establish a necessary condition and a sufficient condition for its validity, where the latter is obtained employing our recently developed adiabatic perturbation theory. Also, we simplify further the sufficient condition into a useful and simple practical test at the expenses of its mathematical rigor. We present results for the most general case of quantum systems, i.e., those with degenerate energy spectra. These conditions are of upmost importance to assess the validity of practical implementations of non-…
We study adiabatic regularization of a coupling massless scalar field in general spatially flat Robertson-Walker (RW) spacetimes. For the conformally-coupling, the 0th-order regularized power spectrum and 0th-order regularized stress tensor are zero, and no trace anomaly exists in general RW spacetimes. This is a new result which extents those found in de Sitter space. For the minimally-coupling, the regularized spectra are also zero in the radiation-dominant stage, the matter-dominant stage, and de Sitter space as well. The vanishing of these adiabatically regularized spectra are also confirm…
Quantum query complexity is known to be characterized by the so-called quantum adversary bound. While this result has been proved in the standard discrete-time model of quantum computation, it also holds for continuous-time (or Hamiltonian-based) quantum computation, due to a known equivalence between these two query complexity models. In this work, we revisit this result by providing a direct proof in the continuous-time model. One originality of our proof is that it draws new connections between the adversary bound, a modern technique of theoretical computer science, and early theorems of qu…
We show that adiabatic evolution of a low-dimensional lattice of quantum spins with a spectral gap can be simulated efficiently. In particular, we show that as long as the spectral gap ΔE between the ground state and the first excited state is any constant independent of n, the total number of spins, then the ground-state expectation values of local operators, such as correlation functions, can be computed using polynomial space and time resources. Our results also imply that the local ground-state properties of any two spin models in the same quantum phase can be efficiently obtained from eac…
We prove the adiabatic theorem for quantum evolution without the traditional gap condition. All that this adiabatic theorem needs is a (piecewise) twice differentiable finite dimensional spectral projection. The result implies that the adiabatic theorem holds for the ground state of atoms in quantized radiation field. The general result we prove gives no information on the rate at which the adiabatic limit is approached. With additional spectral information one can also estimate this rate.
We prove an adiabatic theorem for the evolution of spectral data under a weak additive perturbation in the context of a system without an intrinsic time scale. For continuous functions of the unperturbed Hamiltonian the convergence is in norm while for a larger class functions, including the spectral projections associated to embedded eigenvalues, the convergence is in the strong operator topology.
Modeling linear absorption spectra of solvated chromophores is highly challenging as contributions are present both from coupling of the electronic states to nuclear vibrations and solute-solvent interactions. In systems where excited states intersect in the Condon region, significant non-adiabatic contributions to absorption lineshapes can also be observed. Here, we introduce a robust approach to model linear absorption spectra accounting for both environmental and non-adiabatic effects from first principles. This model parameterizes a linear vibronic coupling (LVC) Hamiltonian directly from …
Adiabatic evolutions with a gap condition have, under a range of circumstances, exponentially small tails that describe the leaking out of the spectral subspace. Adiabatic evolutions without a gap condition do not seem to have this feature in general. This is a known fact for eigenvalue crossing. We show that this is also the case for eigenvalues at the threshold of the continuous spectrum by considering the Friedrichs model.
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…
Worldline-Susceptibility Scheduling for Quantum Annealing Beyond Local-Adiabatic Evolution
The Institute of Mathematical Sciences (IMSc)（数学科学研究所）；Pecslab Research（Pecslab研究）；Department of Physics, Ramjas College, University of Delhi（德里大学拉姆贾斯学院物理系）；Homi Bhabha National Institute（霍米·巴巴国立研究所）
We study the behavior of the non-adiabatic population transfer between resonances at an exceptional point in the spectrum of the hydrogen atom. It is known that, when the exceptional point is encircled, the system always ends up in the same state, independent of the initial occupation within the two-dimensional subspace spanned by the states coalescing at the exceptional point. We verify this behavior for a realistic quantum system, viz. the hydrogen atom in crossed electric and magnetic fields. It is also shown that the non-adiabatic hypothesis can be violated when resonances in the vicinity …
Construction of First Principle Based Adiabatic and Diabatic Hamiltonian for TiO$_6^{8-}$ unit of BaTiO$_3$ Crystal: Photoemission Spectra and Ferroelectricity
Conditions for the validity of the quantum adiabatic approximation are analyzed. For the case of linear Hamiltonians, a simple and general sufficient condition is derived, which is valid for arbitrary spectra and any kind of time variation. It is shown that in some cases the found condition is necessary and sufficient. The adiabatic theorem is generalized for the case of nonlinear Hamiltonians.
We derive a nearly optimal upper bound on the running time in the adiabatic theorem for a switching family of Hamiltonians. We assume the switching Hamiltonian is in the Gevrey class $G^α$ as a function of time, and we show that the error in adiabatic approximation remains small for running times of order $g^{-2}\,|\ln\,g\,|^{6α}$. Here $g$ denotes the minimal spectral gap between the eigenvalue(s) of interest and the rest of the spectrum of the instantaneous Hamiltonian.
In 2004 Ambainis and Regev formulated a certain form of quantum adiabatic theorem and provided an elementary proof which is especially accessible to computer scientists. Their result is achieved by discretizing the total adiabatic evolution into a sequence of unitary transformations acting on the quantum system. Here we continue this line of study by providing another elementary and shorter proof with improved bounds. Our key finding is a succinct integral representation of the difference between the target and the actual states, which yields an accurate estimation of the approximation error. …
We develop a systematic study of Jahn-Teller (JT) models with continuous symmetries by explor- ing their algebraic properties. The compact symmetric spaces corresponding to JT models carrying a Lie group symmetry are identified, and their invariants used to reduce their adiabatic potential energy surfaces into orbit spaces. Each orbit consists of a set of JT distorted molecular structures with equal adiabatic electronic spectrum. Molecular motion may be decomposed into pseudorota- tional and radial. The former preserves the orbit, while the latter maps an orbit into another. The dimensionality…
We consider a reduced two-channel model of an atom consisting of a quantum dot coupled to an open scattering channel described by a three-dimensional Laplacian. We are interested in the survival probability of a bound state when the dot energy varies smoothly and adiabatically in time. The initial state corresponds to a discrete eigenvalue which dives into the continuous spectrum and re-emerges from it as the dot energy is varied in time and finally returns to its initial value. Our main result is that for a large class of couplings, the survival probability of this bound state vanishes in the…
