Demonstrating a quantum computational speedup is a crucial milestone for near-term quantum technology. Recently, quantum simulation architectures have been proposed that have the potential to show such a quantum advantage, based on commonly made assumptions. The key challenge in the theoretical analysis of this scheme - as of other comparable schemes such as boson sampling - is to lessen the assumptions and close the theoretical loopholes, replacing them by rigorous arguments. In this work, we prove two open conjectures for these architectures for Hamiltonian quantum simulators: Anticoncentration of the generated probability distributions and average-case hardness of exactly evaluating those probabilities. The latter is proven building upon recently developed techniques for random circuit sampling. For the former, we develop new techniques that exploit the insight that approximate 2-designs for the unitary group admit anticoncentration. We prove that the 2D translation-invariant, constant depth architectures of quantum simulation form approximate 2-designs in a specific sense, thus obtaining a significantly stronger result. Our work provides the strongest evidence to date that Hamiltonian quantum simulation architectures are classically intractable.
Liouvillian gap closing--bound states in the continuum connection and diverse dynamics in a giant-atom waveguide QED setup
Center for Quantum Sciences and School of Physics, Northeast Normal University（东北师范大学量子科学中心与物理学院）；School of Physics Science and Technology, Shenyang Normal University（沈阳师范大学物理科学与技术学院）；Department of Chemistry and of Physics and Astronomy, Stony Brook University（石溪大学化学与物理及天文学系）
Quantum fluctuations driven by non-stoquastic Hamiltonians have been conjectured to be an important and perhaps essential missing ingredient for achieving a quantum advantage with adiabatic optimization. We introduce a transformation that maps every non-stoquastic adiabatic path ending in a classical Hamiltonian to a corresponding stoquastic adiabatic path by appropriately adjusting the phase of each matrix entry in the computational basis. We compare the spectral gaps of these adiabatic paths and find both theoretically and numerically that the paths based on non-stoquastic Hamiltonians have …
All Hamiltonian complexity results to date have been proven by constructing a local Hamiltonian whose ground state -- or at least some low-energy state -- is a "computational history state", encoding a quantum computation as a superposition over the history of the computation. We prove that all history-state Hamiltonians must be critical. More precisely, for any circuit-to-Hamiltonian mapping that maps quantum circuits to local Hamiltonians with low-energy history states, there is an increasing sequence of circuits that maps to a growing sequence of Hamiltonians with spectral gap closing at le…
We present a collection of results about the clock in Feynman's computer construction and Kitaev's Local Hamiltonian problem. First, by analyzing the spectra of quantum walks on a line with varying endpoint terms, we find a better lower bound on the gap of the Feynman Hamiltonian, which translates into a less strict promise gap requirement for the QMA-complete Local Hamiltonian problem. We also translate this result into the language of adiabatic quantum computation. Second, introducing an idling clock construction with a large state space but fast Cesaro mixing, we provide a way for achieving…
Using exact diagonalization and tensor network techniques we compute the gap for the AKLT Hamiltonian in 1D and 2D spatial dimensions. Tensor Network methods are used to extract physical properties directly in the thermodynamic limit, and we support these results using finite-size scalings from exact diagonalization. Studying the AKLT Hamiltonian perturbed by an external field, we show how to obtain an accurate value of the gap of the original AKLT Hamiltonian from the field value at which the ground state verifies e_0<0, which is a quantum critical point. With the Tensor Network Renormalizati…
We consider random translation-invariant frustration-free quantum spin Hamiltonians on $\mathbb Z^D$ in which the nearest-neighbor interaction in every direction is randomly sampled and then distributed across the lattice. Our main result is that, under a small rank constraint, the Hamiltonians are automatically frustration-free and they are gapped with a positive probability. This extends previous results on 1D spin chains to all dimensions. The argument additionally controls the local gap. As an application, we obtain a 2D area law for a cut-dependent ground state via recent AGSP methods of …
A class of quantum superintegrable Hamiltonians defined on a two-dimensional hyperboloid is considered together with a set of intertwining operators connecting them. It is shown that such intertwining operators close a su(2,1) Lie algebra and determine the Hamiltonians through the Casimir operators. By means of discrete symmetries a broader set of operators is obtained closing a so(4,2) algebra. The physical states corresponding to the discrete spectrum of bound states as well as the degeneration are characterized in terms of unitary representations of su(2,1) and so(4,2).
All known examples confirming the possibility of an exponential separation between classical simulation algorithms and stoquastic adiabatic quantum computing (AQC) exploit symmetries that constrain adiabatic dynamics to effective, symmetric subspaces. The symmetries produce large effective eigenvalue gaps, which in turn make adiabatic computation efficient. We present a classical algorithm to efficiently sample from the effective subspace of a $k$-local stoquastic Hamiltonian $H$, without a priori knowledge of its symmetries (or near-symmetries). Our algorithm maps any $k$-local Hamiltonian to…
The Cheeger inequalities give an upper and lower bound on the spectral gap of discrete Laplacians defined on a graph in terms of the geometric characteristics of the graph. We generalise this approach and we employ it to determine if a given discrete Hamiltonian with non-positive elements is gapped or not in the thermodynamic limit. First, we define the graph that corresponds to such a generic Hamiltonian. Then we present a suitable generalisation of the Cheeger inequalities that overcomes scaling deficiencies of the original version. By employing simple examples we illustrate how the generali…
We present an algorithm for reliably and systematically proving the existence of spectral gaps in Hamiltonians with quasicrystalline order, based on numerical calculations on finite domains. We apply this algorithm to prove that the Hofstadter model on the Ammann-Beenker tiling of the plane has spectral gaps at certain energies, and we are able to prove the existence of a spectral gap where previous numerical results were inconclusive. Our algorithm is applicable to more general systems with finite local complexity and eventually finds all gaps, circumventing an earlier no-go theorem regarding…
Minimal action shortcut to adiabaticity in a driven Kitaev chain: competing gaps in a topological transition at finite-time
Instituto de Física Teórica, Universidade Estadual Paulista（圣保罗州立大学理论物理研究所）；Instituto de Física de São Carlos, Universidade de São Paulo（圣保罗大学圣卡洛斯物理研究所）
Providing system-size independent lower bounds on the spectral gap of local Hamiltonian is in general a hard problem. For the case of finite-range, frustration free Hamiltonians on a spin lattice of arbitrary dimension, we show that a property of the ground state space is sufficient to obtain such a bound. We furthermore show that such a condition is necessary and equivalent to a constant spectral gap. Thanks to this equivalence, we can prove that for gapless models in any dimension, the spectral gap on regions of diameter $n$ is at most $o\left(\frac{\log(n)^{2+ε}}{n}\right)$ for any positive…
It is believed that the presence of anticrossings with exponentially small gaps between the lowest two energy levels of the system Hamiltonian, can render adiabatic quantum optimization inefficient. Here, we present a simple adiabatic quantum algorithm designed to eliminate exponentially small gaps caused by anticrossings between eigenstates that correspond with the local and global minima of the problem Hamiltonian. In each iteration of the algorithm, information is gathered about the local minima that are reached after passing the anticrossing non-adiabatically. This information is then used…
We study the Hamiltonian associated with the quantum adiabatic algorithm with a random cost function. Because the cost function lacks structure we can prove results about the ground state. We find the ground state energy as the number of bits goes to infinity, show that the minimum gap goes to zero exponentially quickly, and we see a localization transition. We prove that there are no levels approaching the ground state near the end of the evolution. We do not know which features of this model are shared by a quantum adiabatic algorithm applied to random instances of satisfiability since despi…
In this work we study the convergence of a classical algorithm called Simulated Quantum Annealing (SQA) on the Spike Hamiltonian, a specific toy model Hamiltonian for quantum-mechanical tunneling introduced by [FGG02]. This toy model Hamiltonian encodes a simple bit-symmetric cost function f in the computational basis, and is used to emulate local minima in more complex optimization problems. In previous work [CH16] showed that SQA runs in polynomial time in much of the regime of spikes that QA does, pointing to evidence against an exponential speedup through tunneling. In this paper we extend…
Advanced Photonic and Electronic Sciences Division, US DEVCOM Army Research Laboratory（美国国防部陆军研究实验室先进光子与电子科学部）；Quantum Algorithms and Applications Collaboratory, Sandia National Laboratories（桑迪亚国家实验室量子算法与应用协作体）；Department of Physics, Loughborough University（拉夫堡大学物理系）；Department of Physics and Engineering Physics, Tulane University（杜兰大学物理与工程物理系）
Motivated by the quantum adiabatic algorithm (QAA), we consider the scaling of the Hamiltonian gap at quantum first order transitions, generally expected to be exponentially small in the size of the system. However, we show that a quantum antiferromagnetic Ising chain in a staggered field can exhibit a first order transition with only an algebraically small gap. In addition, we construct a simple classical translationally invariant one-dimensional Hamiltonian containing nearest-neighbour interactions only, which exhibits an exponential gap at a thermodynamic quantum first-order transition of e…
We introduce a phenomenological theory for many-body control of critical phenomena by engineering causally-induced gaps for quantum Hamiltonian systems. The core mechanisms are controlling information flow within and/or between clusters that are created near a quantum critical point. To this end, we construct inhomogeneous quantum phase transitions via designing spatio-temporal quantum fluctuations. We show how non-equilibrium evolution of disordered quantum systems can create new effective correlation length scales and effective dynamical critical exponents. In particular, we construct a clas…
We study the dynamical process of equilibration of topological properties in quantum many-body systems undergoing a parameter quench between two topologically inequivalent Hamiltonians. This scenario is motivated by recent experiments on ultracold atomic gases, where a trivial initial state is prepared before the Hamiltonian is ramped into a topological insulator phase. While the many-body wave function must stay topologically trivial in the coherent post-quench dynamics, here we show how the topological properties of the single particle density matrix dynamically change and equilibrate in the…
We study the dynamical quantum phase transition of the critical quantum quench, in which the prequenched Hamiltonian, or the postquenched Hamiltonian, or both of them are set to be the critical points of equilibrium quantum phase transitions, we find half-quantized or unquantized dynamical topological order parameter and dynamical Chern number; these results and also the existence of dynamical quantum phase transition are all closely related to the singularity of the Bogoliubov angle at the gap-closing momentum. The effects of the singularity may also be canceled out if both the prequenched an…
In contrast to the usual quantum systems which have at most a finite number of open spectral gaps if they are periodic in more than one direction, periodic quantum graphs may have gaps arbitrarily high in the spectrum. This property of graph Hamiltonians, being generic in a sense, inspires the question about the existence of graphs with a finite and nonzero number of spectral gaps. We show that the answer depends on the vertex couplings together with commensurability of the graph edges. A finite and nonzero number of gaps is excluded for graphs with scale invariant couplings; on the other hand…
