In the continuum limit (large number of qubits), adiabatic quantum algorithms display a remarkable similarity to sweeps through quantum phase transitions. We find that transitions of second or higher order are advantageous in comparison to those of first order. With this insight, we propose a novel adiabatic quantum algorithm for the solution of 3-satisfiability (3-SAT) problems (exact cover), which is significantly faster than previous proposals according to numerical simulations (up to 20 qubits). These findings suggest that adiabatic quantum algorithms can solve NP-complete problems such as 3-SAT much faster than the Grover search routine (yielding a quadratic enhancement), possibly even with an exponential speed-up. PACS: 03.67.-a, 03.67.Lx, 73.43.Nq, 64.70.-p.
We develop new protocols for high-fidelity single qubit gates that exploit and extend theoretical ideas for accelerated adiabatic evolution. Our protocols are compatible with qubit architectures with highly isolated logical states, where traditional approaches are problematic; a prime example are superconducting fluxonium qubits. By using an accelerated adiabatic protocol we can enforce the desired adiabatic evolution while having gate times that are comparable to the inverse adiabatic energy gap (a scale that is ultimately set by the amount of power used in the control pulses). By modelling t…
We explain why quantum adiabatic evolution and simulated annealing perform similarly in certain examples of searching for the minimum of a cost function of n bits. In these examples each bit is treated symmetrically so the cost function depends only on the Hamming weight of the n bits. We also give two examples, closely related to these, where the similarity breaks down in that the quantum adiabatic algorithm succeeds in polynomial time whereas simulated annealing requires exponential time.
We give an overview of a quantum adiabatic algorithm for Hilbert's tenth problem, including some discussions on its fundamental aspects and the emphasis on the probabilistic correctness of its findings. For the purpose of illustration, the numerical simulation results of some simple Diophantine equations are presented. We also discuss some prejudicial misunderstandings as well as some plausible difficulties faced by the algorithm in its physical implementation.
Most experimental and theoretical studies of adiabatic optimization use stoquastic Hamiltonians, whose ground states are expressible using only real nonnegative amplitudes. This raises a question as to whether classical Monte Carlo methods can simulate stoquastic adiabatic algorithms with polynomial overhead. Here, we analyze diffusion Monte Carlo algorithms. We argue that, based on differences between L1 and L2 normalized states, these algorithms suffer from certain obstructions preventing them from efficiently simulating stoquastic adiabatic evolution in generality. In practice however, we o…
Most research regarding quantum adiabatic optimization has focused on stoquastic Hamiltonians, whose ground states can be expressed with only real, nonnegative amplitudes. This raises the question of whether classical Monte Carlo algorithms can efficiently simulate quantum adiabatic optimization with stoquastic Hamiltonians. Recent results have given counterexamples in which path integral and diffusion Monte Carlo fail to do so. However, most adiabatic optimization algorithms, such as for solving MAX-k-SAT problems, use k-local Hamiltonians, whereas our previous counterexample for diffusion Mo…
The measurement of the tunneling time in attosecond experiments, termed attoclock, triggered a hot debate about the tunneling time, the role of time in quantum mechanics, where the interaction with the laser pulse involves two regimes of a different character, the multiphoton and the tunneling (field-) ionization. In the adiabatic field calibration, one of us (O. K.) developed in earlier works a real tunneling time model and showed that the model fits well to the experimental data of Landsmann et al. (Optica {\bf 1}, 343 2014). In the present work, it is shown that the model explains the exper…
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 illustrate the adiabatic quantum computing solution of the knapsack problem with both integer profits and weights. For problems with $n$ objects (or items) and integer capacity $c$, we give specific examples using both an Ising class problem Hamiltonian requiring $n+c$ qubits and a much more efficient one using $n+[\log_2 c]+1$ qubits. The discussion includes a brief mention of classical algorithms for knapsack, applications of this commonly occurring problem, and the relevance of further studies both theoretically and numerically of the behavior of the energy gap. Included too is a demonst…
I describe one quantum approach to solving 3-satisfiability (3-SAT), the well known problem in computer science. The approach is based on repeatedly measuring the truth value of the clauses forming the 3-SAT proposition using a non-orthogonal basis. If the basis slowly evolves then there is a strong analogy to adiabatic quantum computing, although the approach is entirely circuit-based. To solve a 3-SAT problem of n variables requires a quantum register of $n$ qubits, or more precisely rebits i.e. qubits whose phase need only be real. For cases of up to n=26 qubits numerical simulations indica…
Asher Peres' proof that a violation of No Cloning Theorem would imply a violation of the Second Law of Thermodynamics is shown not to take into account the algorithmic-information's contribution to the Thermodynamical Entropy of the semi-permeable membranes of Peres' engine.
The quantum Zeno effect is well-known for fixing a system to an eigenstate by frequent measurements. It is also known that applying frequent unitary pulses induces a Zeno subspace that can also pin the system to an eigenspace. Both approaches have been studied as means to maintain a system in a certain subspace. Extending the two concepts, we consider making the measurements/pulses dynamical so that the state can move with the motion of the measurement axis/pulse basis. We show that the system stays in the dynamical eigenbasis when the measurements/pulses are slowly changing. Explicit bounds f…
We consider the quantum discord in a two-particle spin-1/2 system (dimer) governed by the standard multiple quantum (MQ) Hamiltonian and reveal the relation between the discord and the intensity of the second-order MQ coherence. Since the coherence intensities may be measured in experiment, we obtain a method of detecting the quantum discord in experiment. Comparison of discord and concurrence is represented.
Open Quantum Systems Driven by Chirped Pulses: Quantized versus Semiclassical Fields and the Validity of the Rotating-Wave Approximation
Nanyang Technological University（南洋理工大学）；Technische Universität Dresden（德累斯顿工业大学）；Zhejiang University of Science and Technology（浙江科技学院）；Hangzhou Dianzi University（杭州电子科技大学）
Adiabatic quantum programming defines the time-dependent mapping of a quantum algorithm into an underlying hardware or logical fabric. An essential step is embedding problem-specific information into the quantum logical fabric. We present algorithms for embedding arbitrary instances of the adiabatic quantum optimization algorithm into a square lattice of specialized unit cells. These methods extend with fabric growth while scaling linearly in time and quadratically in footprint. We also provide methods for handling hard faults in the logical fabric without invoking approximations to the origin…
In this paper we present an invariant perturbation theory to adiabatic process according to the concepts of adiabatic orbits, adiabatic evolution orbit and U(1)-invariant adiabatic orbit. The probabilities of keeping the adiabatic orbit in the first-order and the second-order approximation are calculated, respectively. We also give a convenient sufficient condition.
Grover's algorithm is one of the most important quantum algorithms, which performs the task of searching an unsorted database without a priori probability. Recently the adiabatic evolution has been used to design and reproduce quantum algorithms, including Grover's algorithm. In this paper, we show that quantum search algorithm by adiabatic evolution has two properties that conventional quantum search algorithm doesn't have. Firstly, we show that in the initial state of the algorithm only the amplitude of the basis state corresponding to the solution affects the running time of the algorithm, …
We implement a non-adiabatic universal set of holonomic quantum gates based on abelian holonomies using dynamical invariants, by Lie-algebraic methods. Unlike previous implementations, presented scheme does not rely on secondary methods such as double-loop or spin-echo and avoids associated experimental difficulties. It turns out that such gates exist purely in the non-adiabatic regime for these systems.
We examine the stability versus different types of perturbations of recently proposed shortcuts-to-adiabaticity to speed up the population inversion of a two-level quantum system. We find optimally robust processes using invariant based engineering of the Hamiltonian. Amplitude noise and systematic errors require different optimal protocols.
We study the phase diagram of a class of models in which a generalized cluster interaction can be quenched by Ising exchange interaction and external magnetic field. We characterize the various phases through winding numbers. They may be ordinary phases with local order parameter or exotic ones, known as symmetry protected topologically ordered phases. Quantum phase transitions with dynamical critical exponents z = 1 or z = 2 are found. Quantum phase transitions are analyzed through finite-size scaling of the geometric phase accumulated when the spins of the lattice perform an adiabatic preces…
We compare the two approaches to the empirical logic of automata. The first, called partition logic (logic of microstatements), refers to experiments on individual automata. The second one, the logic of simulation (logic of macrostatements), deals with ensembles of automata.
A shortcut to adiabaticity (STA) is concerned with the fast and robust manipulation of the dynamics of a quantum system that reproduces the effect of an adiabatic process. A recently proposed method enables the generation of shortcuts from a prescribed slow dynamics by simply rescaling the time variable of the quantum evolution operator [B. L. Bernardo, Phys. Rev. Research 2, 013133 (2020)]. This time-rescaling method does not demand knowledge about the eigenvalues and eigenstates of the Hamiltonian, and in many cases no additional coupling fields. Here, we use this approach to study the probl…
In this paper, we study two different nonlinear interpolating paths in adiabatic evolution algorithms for solving a particular class of quantum search problems where both the initial and final Hamiltonian are one-dimensional projector Hamiltonians on the corresponding ground state. If the overlap between the initial state and final state of the quantum system is not equal to zero, both of these models can provide a constant time speedup over the usual adiabatic algorithms by increasing some another corresponding "complexity". But when the initial state has a zero overlap with the solution stat…
We propose an optimal method exploiting second order quantum phase transitions to perform high precision measurements of the control parameter at criticality. Our approach accesses the high fidelity susceptibility via the measurement of first- and second-moments of the order parameter and overcomes the difficulties of existing methods based on the overlap between nearby quantum states, which is hardly detectable in many-body systems. We experimentally demonstrate the feasibility of the method with a Bose-Einstein condensate undergoing a symmetry-breaking quantum phase transition as a function …
A systematic perturbation scheme is developed for approximate solutions to the time-dependent Schroedinger equation with a space-adiabatic Hamiltonian. For a particular isolated energy band, the basic approach is to separate kinematics from dynamics. The kinematics is defined through a subspace of the full Hilbert space for which transitions to other band subspaces are suppressed to all orders and the dynamics operates in that subspace in terms of an effective intraband Hamiltonian. As novel applications we discuss the Born-Oppenheimer theory to second order and derive the nonperturbative defi…
We, based on the photoassociation of fermion atoms into bosonic molecules, propose a scheme to create the steady entanglement between the atom state and the molecule state inside an optical lattice. The stability of entanglement state is guaranteed by sweeping the frequency of Ramman laser beam through resonance according to the second Demkov-Kunike (DK2) nonadiabatic transition model\cite{DK,models}. The probability amplitude of each components can be precisely controlled by adjusting the sweeping parameter.
Temporal correlations of radiation intensities of a multimode Fabry-Perot semiconductor laser are investigated. Strong intensity correlations with a fixed phase shift between different longitudinal modes of the laser are revealed. The second g^(2) and third g^(3) order intensity correlation functions are studied to clear the character of the intermodal coupling.
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 examine both quantum and classical versions of the problem of spin evolution in a slowly varying magnetic field. Main attention is given to the first- and second-order adiabatic corrections in the case of in-plane variations of the magnetic field. While the first-order correction relates to the adiabatic Berry phase and Coriolis-type lateral deflection of the spin, the second-order correction is shown to be responsible for the next-order geometric phase and in-plain deflection. A comparison between different approaches, including the exact (non-adiabatic) geometric phase, is presented.
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…
In this paper we analyze the performance of the Quantum Adiabatic Evolution algorithm on a variant of Satisfiability problem for an ensemble of random graphs parametrized by the ratio of clauses to variables, $γ=M/N$. We introduce a set of macroscopic parameters (landscapes) and put forward an ansatz of universality for random bit flips. We then formulate the problem of finding the smallest eigenvalue and the excitation gap as a statistical mechanics problem. We use the so-called annealing approximation with a refinement that a finite set of macroscopic variables (versus only energy) is used, …
The adiabatic manipulation of quantum states is a powerful technique that has opened up new directions in quantum engineering, enabling tests of fundamental concepts such as the Berry phase and its nonabelian generalization, the observation of topological transitions, and holds the promise of alternative models of quantum computation. Here we benchmark the stimulated Raman adiabatic passage process for circuit quantum electrodynamics, by using the first three levels of a transmon qubit. We demonstrate a population transfer efficiency above 80% between the ground state and the second excited st…
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…
A toy model (suggested by Klauder) is analyzed from the perspective of First Class and Second Class Dirac constrained systems. The comparison is made by turning a First Class into a Second Class system with the introduction of suitable auxiliary conditions. The links between Dirac's system of constraints, the Faddeev-Popov canonical functional integral method and the Maskawa-Nakajima procedure to reduced phase space are explicitly illustrated. The model reveals stark contrasts and physically distinguishable results between First and Second class routes. Physically relevant systems such as the …
The quantum mechanical motion of the atomic nuclei is considered over a single- or a multi-dimensional subspace of electronic states which is separated by a gap from the rest of the electronic spectrum over the relevant range of nuclear configurations. The electron-nucleus Hamiltonian is block-diagonalized up to $\mathcal{O}(\varepsilon^{n+1})$ through a unitary transformation of the electronic subspace and the corresponding $n$th-order effective Hamiltonian is derived for the quantum nuclear motion. Explicit but general formulae are given for the second- and the third-order corrections. As a …
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 analyze the production of entropy along non-equilibrium processes in quantum systems coupled to generic environments. First, we show that the entropy production due to final measurements and the loss of correlations obeys a fluctuation theorem in detailed and integral forms. Second, we discuss the decomposition of the entropy production into two positive contributions, adiabatic and non-adiabatic, based on the existence of invariant states of the local dynamics. Fluctuation theorems for both contributions hold only for evolutions verifying a specific condition of quantum origin. We illustra…
To reconstruct thermodynamics based on the microscopic laws is one of the most important unfulfilled goals of statistical physics. Here, we show that the first law and the second law for adiabatic processes are derived from an assumption that "probability distributions of energy in Gibbs states satisfy large deviation", which is widely accepted as a property of thermodynamic equilibrium states. We define an adiabatic transformation as a randomized energy-preserving unitary transformations on the many-body systems and the work storage. As the second law, we show that an adiabatic transformation…
The geometry and topology of quantum systems have deep connections to quantum dynamics. In this paper, I show how to measure the non-Abelian Berry curvature and its related topological invariant, the second Chern number, using dynamical techniques. The second Chern number is the defining topological characteristic of the four-dimensional generalization of the quantum Hall effect and has relevance in systems from three-dimensional topological insulators to Yang-Mills field theory. I illustrate its measurement using the simple example of a spin-3/2 particle in an electric quadrupole field. I sho…
We discuss a toy model for adiabatic quantum computation which displays some phenomenological properties expected in more realistic implementations. This model has two free parameters: the adiabatic evolution parameter $s$ and the $α$ parameter which emulates many-variables constrains in the classical computational problem. The proposed model presents, in the $s-α$ plane, a line of first order quantum phase transition that ends at a second order point. The relation between computation complexity and the occurrence of quantum phase transitions is discussed. We analyze the behavior of the ground…
We present a versatile electric trap for the exploration of a wide range of quantum phenomena in the interaction between polar molecules. The trap combines tunable fields, homogeneous over most of the trap volume, with steep gradient fields at the trap boundary. An initial sample of up to 10^8 CH3F molecules is trapped for as long as 60 seconds, with a 1/e storage time of 12 seconds. Adiabatic cooling down to 120 mK is achieved by slowly expanding the trap volume. The trap combines all ingredients for opto-electrical cooling, which, together with the extraordinarily long storage times, brings …
Adiabatic manipulation of the quantum state is an essential tool in modern quantum information processing. Here we demonstrate the speed-up of the adiabatic population transfer in a three-level superconducting transmon circuit by suppressing the spurious non-adiabatic excitations with an additional two-photon microwave pulse. We apply this superadiabatic method to the stimulated Raman adiabatic passage, realizing fast and robust population transfer from the ground state to the second excited state of the quantum circuit.
We present two applications of emergent local Hamiltonians to speed up quantum adiabatic protocols for isolated noninteracting and weakly interacting fermionic systems in one-dimensional lattices. We demonstrate how to extract maximal work from initial band-insulating states, and how to adiabatically transfer systems from linear and harmonic traps into box traps. Our protocols consist of two stages. The first one involves a free expansion followed by a quench to an emergent local Hamiltonian. In the second stage, the emergent local Hamiltonian is "turned off" quasistatically. For the adiabatic…
We elucidate the geometry of quantum adiabatic evolution. By minimizing the deviation from adiabaticity we find a Riemannian metric tensor underlying adiabatic evolution. Equipped with this tensor, we identify a unified geometric description of quantum adiabatic evolution and quantum phase transitions, which generalizes previous treatments to allow for degeneracy. The same structure is relevant for applications in quantum information processing, including adiabatic and holonomic quantum computing, where geodesics over the manifold of control parameters correspond to paths which minimize errors…
Adiabatic quantum optimization offers a new method for solving hard optimization problems. In this paper we calculate median adiabatic times (in seconds) determined by the minimum gap during the adiabatic quantum optimization for an NP-hard Ising spin glass instance class with up to 128 binary variables. Using parameters obtained from a realistic superconducting adiabatic quantum processor, we extract the minimum gap and matrix elements using high performance Quantum Monte Carlo simulations on a large-scale Internet-based computing platform. We compare the median adiabatic times with the media…
