We estimate the resources required to prepare the ground state of a quantum many-body system on a quantum computer of intermediate size. This estimate is made possible using a combination of quantum many-body methods and analytic upper bounds. Our routine can also be used to optimize certain design parameters for specific problem instances. Lastly, we propose and benchmark an improved quantum state preparation procedure. We find that it reduces the circuit T-depth by a factor as large as $10^6$ for intermediate-size lattices.
We perform quantum simulation on classical and quantum computers and set up a machine learning framework in which we can map out phase diagrams of known and unknown quantum many-body systems in an unsupervised fashion. The classical simulations are done with state-of-the-art tensor network methods in one and two spatial dimensions. For one dimensional systems, we utilize matrix product states (MPS) that have many practical advantages and can be optimized using the efficient density matrix renormalization group (DMRG) algorithm. The data for two dimensional systems is obtained from entangled pr…
Many-body localization, the persistence against electron-electron interactions of the localization of states with non-zero excitation energy density, poses a challenge to current methods of theoretical and numerical analysis. Numerical simulations have so far been limited to a small number of sites, making it difficult to obtain reliable statements about the thermodynamic limit. In this paper, we explore the ways in which a relatively small quantum computer could be leveraged to study many-body localization. We show that, in addition to studying time-evolution, a quantum computer can, in polyn…
We show that current noisy quantum computers are ideal platforms for the simulation of quantum many-body dynamics in generic open systems. We demonstrate this using the IBM Quantum Computer as an experimental platform for confirming the theoretical prediction from [Phys. Rev. Lett.124, 100604 (2020)] of an emergent hierarchy of relaxation timescales of many-body observables involving different numbers of qubits. Using different protocols, we leverage the intrinsic dissipation of the machine responsible for gate errors, to implement a quantum simulation of generic (i.e. structureless) local dis…
Starting from the Quantum-Phase-Estimate (QPE) algorithm, a method is proposed to construct entangled states that describe correlated many-body systems on quantum computers. Using operators for which the discrete set of eigenvalues is known, the QPE approach is followed by measurements that serve as projectors on the entangled states. These states can then be used as inputs for further quantum or hybrid quantum-classical processing. When the operator is associated to a symmetry of the Hamiltonian, the approach can be seen as a quantum--computer formulation of symmetry breaking followed by symm…
Universal quantum computers are potentially an ideal setting for simulating many-body quantum dynamics that is out of reach for classical digital computers. We use state-of-the-art IBM quantum computers to study paradigmatic examples of condensed matter physics -- we simulate the effects of disorder and interactions on quantum particle transport, as well as correlation and entanglement spreading. Our benchmark results show that the quality of the current machines is below what is necessary for quantitatively accurate continuous time dynamics of observables and reachable system sizes are small …
A disordered system of interacting particles exhibits localized behavior when the disorder is large compared to the interaction strength. Studying this phenomenon on a quantum computer without error correction is challenging because even weak coupling to a thermal environment destroys most signatures of localization. Fortunately, spectral functions of local operators are known to contain features that can survive the presence of noise. In these spectra, discrete peaks and a soft gap at low frequencies compared to the thermal phase indicate localization. Here, we present the computation of spec…
The negative hydrogen ion is the first three body quantum problem whose ground state energy is calculated using the `Chandrasekhar Wavefunction' that accounts for the electron-electron correlation. Solving multi-body systems is a daunting task in quantum mechanics as it includes choosing a trial wavefunction and the calculation of integrals for the system that becomes almost impossible for systems with three or more particles. This difficulty can be addressed by quantum computers. They have emerged as a tool to address different electronic structure problems with remarkable efficiency. They ha…
We explore the possibility to perform symmetry restoration with the variation after projection technique on a quantum computer followed by additional post-processing. The final goal is to develop configuration interaction techniques based on many-body trial states pre-optimized on a quantum computer. We show how the projection method used for symmetry restoration can prepare optimized states that could then be employed as initial states for quantum or hybrid quantum-classical algorithms. We use the quantum phase estimation and quantum Krylov approaches for the post-processing. The latter metho…
We present MISTIQS, a Multiplatform Software for Time-dependent Quantum Simulations. MISTIQS delivers end-to-end functionality for simulating the quantum many-body dynamics of systems governed by time-dependent Heisenberg Hamiltonians across multiple quantum computing platforms. It provides high-level programming functionality for generating intermediate representations of quantum circuits which can be translated into a variety of industry-standard representations. Furthermore, it offers a selection of circuit compilation and optimization methods and facilitates execution of the quantum circui…
Quantum simulators, in which well controlled quantum systems are used to reproduce the dynamics of less understood ones, have the potential to explore physics that is inaccessible to modeling with classical computers. However, checking the results of such simulations will also become classically intractable as system sizes increase. In this work, we introduce and implement a coherent imaging spectroscopic technique to validate a quantum simulation, much as magnetic resonance imaging exposes structure in condensed matter. We use this method to determine the energy levels and interaction strengt…
We investigate many-body localization of interacting spinless fermions in a one-dimensional disordered and tilted lattice. The fermions undergo energy-dependent transitions from ergodic to Stark many-body localization driven by the tilted potential, which are manifested by the appearance of mobility edges between delocalized states and Stark many-body localized states even when the disorder is weak. We can concretely diagnose these transitions rather than crossovers by finite-size scaling of energy-level statistics. Moreover, in the Stark many-body localization, the entanglement entropy obeys …
We study a spin-gas model, where N_S system qubits are interacting with N_B bath qubits via many-body interactions. We consider multipartite Ising interactions and show how the effect of decoherence depends on the specific coupling between the system and its environment. For instance, we analyze the influence of decohenerce induced by k-body interactions for different values of k. Moreover, we study how the effect of decoherence depends on the correlation between baths that are coupled to different individual system qubit and compare Markovian with non-Markovian interactions. As examples we co…
Digital quantum simulation uses the capabilities of quantum computers to determine the dynamics of quantum systems, which are beyond the computability of modern classical computers. A notoriously challenging task in this field is the description of non-equilibrium dynamics in quantum many-body systems. Here we use the IBM quantum computers to simulate the non-equilibrium dynamics of few spin and fermionic systems. Our results reveal, that with a combination of error mitigation, noise extrapolation and optimized initial state preparation, one can tackle the most important drawbacks of modern qu…
Schrieffer-Wolff transformation (SWT) has been extensively used in quantum many-body physics to calculate the low energy effective Hamiltonian. It provides a perturbative method to comprehend the renormalization effects of strong correlations in the quantum many-body models. The generator for Schrieffer-Wolff transformation is calculated usually by heuristic methods. Recently, a systematic and elegant method for the calculation of this extremely significant transformation has been reported [1]. Given the huge significance of SWT for many areas including quantum condensed matter physics, quantu…
Many-body forces are sometimes a relevant ingredient in various fields, such as atomic, nuclear or hadronic physics. Their precise structure is generally difficult to uncover. So, phenomenological effective forces are often used in practice. Nevertheless, they are always very heavy to treat numerically. The envelope theory, also known as the auxiliary field method, is a very efficient technique to obtain approximate, but reliable, solutions of many-body systems interacting via one- or two-body forces. It is adapted here to allow the treatment of a special form of many-body forces. In the most …
An optical realization of the phenomenon of many-body coherent destruction of tunneling, recently predicted for interacting many-boson systems by Gong, Molina and Haenggi [Phys. Rev. Lett. 103, 133002 (2009)], is proposed for light transport in engineered waveguide arrays. The optical system enables a direct visualization in Fock space of the many-body tunneling control process
Comment on a letter to Nature Physics, where Sakmann and Kasevich claim to solve the many-body time dependent Schrödinger equation to simulate single experimental runs of interacting quantum systems.
Interacting quantum systems illustrate complex phenomena including phase transitions to novel ordered phases. The universal nature of critical phenomena reduces their description to determining only the transition temperature and the critical exponents. Numerically calculating these results for systems in new universality classes is complicated due to critical slowing down, requiring increasing resources near the critical point. An alternative approach analytically continues the calculation onto the complex plane and determines the partition function via its zeros. Here we show how to robustly…
We discuss here some aspects related to the symmetries of a quantum many-body problem when trying to treat it on a quantum computer. Several features related to symmetry conservation, symmetry breaking, and possible symmetry restoration are reviewed. After briefly discussing some of the standard symmetries relevant for many-particle systems, we discuss the advantage of encoding some symmetries directly in quantum ansätze, especially to reduce the quantum register size. It is, however, well-known that the use of symmetry-breaking states can also be a unique way to incorporate specific internal …
The generating function of a Hamiltonian $H$ is defined as $F(t)=\langle e^{-itH}\rangle$, where $t$ is the time and where the expectation value is taken on a given initial quantum state. This function gives access to the different moments of the Hamiltonian $\langle H^{K}\rangle$ at various orders $K$. The real and imaginary parts of $F(t)$ can be respectively evaluated on quantum computers using one extra ancillary qubit with a set of measurement for each value of the time $t$. The low cost in terms of qubits renders it very attractive in the near term period where the number of qubits is li…
Dynamical simulations of many-body quantum chaos on a quantum computer
IBM Quantum, IBM Research Europe – Zurich(IBM量子,IBM欧洲苏黎世研究院);École Polytechnique Fédérale de Lausanne(洛桑联邦理工学院);Algorithmiq Ltd(Algorithmiq有限公司);IBM Quantum, IBM Research - Cambridge(IBM量子,IBM剑桥研究院);IBM Quantum, IBM Research Europe - Dublin(IBM量子,IBM欧洲都柏林研究院);School of Physics, Trinity College Dublin(都柏林三一学院物理系);Dipartimento di Fisica “Aldo Pontremoli”, Università degli Studi di Milano(米兰大学阿尔多·庞特莫利物理系);IBM Quantum, IBM T.J. Watson Research Center(IBM量子,IBM托马斯·J·沃森研究中心)
Quantum computer-based simulation of Stark many-body localization in a 1D Fermi-Hubbard model
Centre for Quantum Engineering, Research and Education, TCG CREST(TCG CREST 量子工程、研究与教育中心);Academy of Scientific and Innovative Research (AcSIR)(科学与创新研究学院);Okinawa Institute of Science and Technology Graduate University(冲绳科学技术大学院大学);School of Physical Sciences, National Institute of Science Education and Research(国家科学教育与研究学院物理科学学院);Department of Physics, Institute of Science Tokyo(东京科学大学物理系)
Thermodynamics of quantum systems and quantum thermal machines are rapidly developing fields, which have already delivered several promising results, as well as raised many intriguing questions. Many-body quantum machines present new opportunities stemming from many-body effects. At the same time, they pose new challenges related to many-body physics. In this short review we discuss some of the recent developments on technologies based on many-body quantum systems. We mainly focus on many-body effects in quantum thermal machines. We also briefly address the role played by many-body systems in …
Ultra-cold atoms in optical lattices provide an ideal platform for exploring many-body physics of a large system arising from the coupling among a series of small identical systems whose few-body dynamics is exactly solvable. Using Landau-Zener (LZ) transition of bosonic atoms in double well optical lattices as an experimentally realizable model, we investigate such few to many body route by exploring the relation and difference between the small few-body (in one double well) and the large many-body (in double well lattice) non-equilibrium dynamics of cold atoms in optical lattices. We find th…
We show how coherences between identical constituents of a many-body quantum state can be interrogated by suitable correlation functions, and identify sufficient conditions under which low-order correlators fully characterize many-body coherences, as controlled by the constituents' mutual distinguishability. Comparison of correlators of different order detects many-body entanglement.
A highly anticipated application for quantum computers is as a universal simulator of quantum many-body systems, as was conjectured by Richard Feynman in the 1980s. The last decade has witnessed the growing success of quantum computing for simulating static properties of quantum systems, i.e., the ground state energy of small molecules. However, it remains a challenge to simulate quantum many-body dynamics on current-to-near-future noisy intermediate-scale quantum computers. Here, we demonstrate successful simulation of nontrivial quantum dynamics on IBM's Q16 Melbourne quantum processor and R…
Quantum magnets are never short of novel and fascinating dynamics, yet its simulation by classical computers requires exponentially-scaled computation resources, which renders the research on large-scale many-body dynamics fiendishly difficult. In this letter, we explore the dynamic behavior of 2D large-scale ferromagnetic J1-J2 Heisenberg model both theoretically and experimentally. First, the analytical solution of magnon dynamics is obtained to show an obvious ballistic propagation of magnon, which is typical for quantum walk. Then, we verify the dynamic behavior of the system through numer…