In recent years, we have witnessed an explosion of experimental tools by which quantum systems can be manipulated in a controlled and coherent way. One of the most important goals now is to build quantum simulators, which would open up the possibility of exciting experiments probing various theories in regimes that are not achievable under normal lab circumstances. Here we present a novel approach to gain detailed control on the quantum simulation of strongly correlated quantum many-body systems by constructing the explicit quantum circuits that diagonalize their dynamics. We show that the exact quantum circuits underlying some of the most relevant many-body Hamiltonians only need a finite amount of local gates. As a particularly simple instance, the full dynamics of a one-dimensional Quantum Ising model in a transverse field with four spins is shown to be reproduced using a quantum circuit of only six local gates. This opens up the possibility of experimentally producing strongly correlated states, their time evolution at zero time and even thermal superpositions at zero temperature. Our method also allows to uncover the exact circuits corresponding to models that exhibit topological order and to stabilizer states.
We introduce a scheme for efficiently describing pure states of strongly correlated fermions in higher dimensions using unitary circuits featuring a causal cone. A local way of computing local expectation values is presented. We formulate a dynamical reordering scheme, corresponding to time-adaptive Jordan-Wigner transformation, that avoids nonlocal string operators. Primitives of such a reordering scheme are highlighted. Fermionic unitary circuits can be contracted with the same complexity as in the spin case. The scheme gives rise to a variational description of fermionic models not sufferin…
A fermionic operator circuit is a product of fermionic operators of usually different and partially overlapping support. Further elements of fermionic operator circuits (FOCs) are partial traces and partial projections. The presented framework allows for the introduction of fermionic versions of known qudit operator circuits (QUOC), important for the simulation of strongly correlated d-dimensional systems: The multiscale entanglement renormalization ansatz (MERA), tree tensor networks (TTN), projected entangled pair states (PEPS), or their infinite-size versions (iPEPS etc.). After the definit…
Temporal noise correlations are ubiquitous in quantum systems, yet often neglected in the analysis of quantum circuits due to the complexity required to accurately characterize and model them. Autoregressive moving average (ARMA) models are a well-known technique from time series analysis that model time correlations in data. By identifying the space of completely positive trace reserving (CPTP) quantum operations with a particular matrix manifold, we generalize ARMA models to the space of CPTP maps to parameterize and simulate temporally correlated noise in quantum circuits. This approach, de…
Quantum Simulation of Strongly Correlated Fermion-Phonon Models in Circuit QED
Institute for Quantum Computing Analytics (PGI-12), Forschungszentrum Jülich（朱利希研究中心量子计算分析研究所）；Theoretical Physics, Saarland University（萨尔兰州立大学理论物理系）；Institute for Theoretical Physics, University of Cologne（科隆大学理论物理研究所）
Here we report the first observation of simultaneous excitation of two noninteracting atoms by a pair of time-frequency correlated photons in a superconducting circuit. The strong coupling regime of this process enables the synthesis of a three-body interaction Hamiltonian, which allows the generation of the tripartite Greenberger-Horne-Zeilinger state in a single step with a fidelity as high as 0.95. We further demonstrate the quantum Zeno effect of inhibiting the simultaneous two-atom excitation by continuously measuring whether the first photon is emitted. This work provides a new route in …
Quantum phase transitions are ubiquitous in many exotic behaviors of strongly-correlated materials. However the microscopic complexity impedes their quantitative understanding. Here, we observe thoroughly and comprehend the rich strongly-correlated physics in two profoundly dissimilar regimes of quantum criticality. With a circuit implementing a quantum simulator for the three-channel Kondo model, we reveal the universal scalings toward different low-temperature fixed points and along the multiple crossovers from quantum criticality. Notably, an unanticipated violation of the maximum conductan…
The variational quantum eigensolver has been proposed as a low-depth quantum circuit that can be employed to examine strongly correlated systems on today's noisy intermediate-scale quantum computers. We examine details associated with the factorized form of the unitary coupled-cluster variant of this algorithm. We apply it to a simple strongly correlated condensed-matter system with nontrivial behavior---the four-site Hubbard model at half filling. This work show some of the subtle issues one needs to take into account when applying this algorithm in practice, especially to condensed-matter sy…
Recently, it has become clear that non-hermitian phenomena can be observed not only in open quantum systems experiencing gain and loss but also in equilibrium single-particle properties of strongly correlated systems. However, the circumstances and requirements for the emergence of non-hermitian phenomena in each field are entirely different. While the implementation of postselection is a significant obstacle to observe non-hermitian phenomena in open quantum systems, it is unnecessary in strongly correlated systems. Until now, a relation between both descriptions of non-hermitian phenomena ha…
Quantum simulations are bound to be one of the main applications of near-term quantum computers. Quantum chemistry and condensed matter physics are expected to benefit from these technological developments. Several quantum simulation methods are known to prepare a state on a quantum computer and measure the desired observables. The most resource economic procedure is the variational quantum eigensolver (VQE), which has traditionally employed unitary coupled cluster as the ansatz to approximate ground states of many-body fermionic Hamiltonians. A significant caveat of the method is that the ini…
We present an exact solution of an experimentally realizable and strongly interacting one-dimensional spin system which is a limiting case of a quantum Ising model with long range interaction in a transverse and longitudinal field. Pronounced quantum fluctuations lead to a strongly correlated liquid ground state. For open boundary conditions the ground state manifold consists of four degenerate sectors whose quantum numbers are determined by the orientation of the edge spins. Explicit expressions for the entanglement properties, the excitation gap as well as the exact wave functions for a coup…
We apply the atom counting theory to strongly correlated Fermi systems and spin models, which can be realized with ultracold atoms. The counting distributions are typically sub-Poissonian and remain smooth at quantum phase transitions, but their moments exhibit critical behavior, and characterize quantum statistical properties of the system. Moreover, more detailed characterizations are obtained with experimentally feasible spatially resolved counting distributions.
We propose a non-linear, hybrid quantum-classical scheme for simulating non-equilibrium dynamics of strongly correlated fermions described by the Hubbard model in a Bethe lattice in the thermodynamic limit. Our scheme implements non-equilibrium dynamical mean field theory (DMFT) and uses a digital quantum simulator to solve a quantum impurity problem whose parameters are iterated to self-consistency via a classically computed feedback loop where quantum gate errors can be partly accounted for. We analyse the performance of the scheme in an example case.
We demonstrate that extending the Shadow Wave Function to fermionic systems facilitates to accurately calculate strongly-correlated multi-reference systems such as the stretched H2 molecule. This development considerably extends the scope of electronic structure calculations and enables to efficiently recover the static correlation energy using just a single Slater determinant.
We propose a general tensor network method for simulating quantum circuits. The method is massively more efficient in computing a large number of correlated bitstring amplitudes and probabilities than existing methods. As an application, we study the sampling problem of Google's Sycamore circuits, which are believed to be beyond the reach of classical supercomputers and have been used to demonstrate quantum supremacy. Using our method, employing a small computational cluster containing 60 graphical processing units (GPUs), we have generated one million correlated bitstrings with some entries f…
We report on the discovery of a quantum tri-critical point (QTP) separating a line of first-order topological quantum phase transitions from a continuous transition regime in a strongly correlated one-dimensional lattice system. Specifically, we study a fermionic four-leg ladder supporting a symmetry-protected topological phase in the presence of on-site interaction, which is driven towards a trivial gapped phase by a nearest-neighbor interaction. Based on DMRG simulations, we show that, as a function of the interaction strength, the phase transition between the topological and the trivial pha…
We present a classically solvable model that leads to optimized low-depth quantum circuits leveraging separable pair approximations. The obtained circuits are well suited as a baseline circuit for emerging quantum hardware and can, in the long term, provide significantly improved initial states for quantum algorithms. The associated wavefunctions can be represented with linear memory requirement which allows classical optimization of the circuits and naturally defines a minimum benchmark for quantum algorithms. In this work, we employ directly determined pair-natural orbitals within a basis-se…
Simulating strongly correlated fermionic systems is notoriously hard on classical computers. An alternative approach, as proposed by Feynman, is to use a quantum computer. Here, we discuss quantum simulation of strongly correlated fermionic systems. We focus specifically on 2D and linear geometry with nearest neighbor qubit-qubit couplings, typical for superconducting transmon qubit arrays. We improve an existing algorithm to prepare an arbitrary Slater determinant by exploiting a unitary symmetry. We also present a quantum algorithm to prepare an arbitrary fermionic Gaussian state with $O(N^2…
Bounding the cost of classically simulating the outcomes of universal quantum circuits to additive error $δ$ is often called weak simulation and is a direct way to determine when they confer a quantum advantage. Weak simulation of the $T$+Clifford gateset is $BQP$-complete and is expected to scale exponentially with the number $t$ of $T$ gates. We constructively tighten the upper bound on the worst-case $L_1$ norm sampling cost to next order in $t$ from $\mathcal O(ξ^t δ^{-2})$ if $δ^2 \gg ξ^{-t}$ to $\mathcal O((ξ^t{-}t) δ^{-2} )$ if $δ^2 \gg (ξ^t -t)^{-1}$, where $ξ^t = 2^{\sim 0.228 t}$ is …
Simulating quantum circuits using classical computers lets us analyse the inner workings of quantum algorithms. The most complete type of simulation, strong simulation, is believed to be generally inefficient. Nevertheless, several efficient strong simulation techniques are known for restricted families of quantum circuits and we develop an additional technique in this article. Further, we show that strong simulation algorithms perform another fundamental task: solving search problems. Efficient strong simulation techniques allow solutions to a class of search problems to be counted and found …
Quasi-particles described by Green's functions of equilibrium systems exhibit non-Hermitian topological phenomena because of their finite lifetime. This non-Hermitian perspective on equilibrium systems provides new insights into correlated systems and attracts much interest because of its potential to solve open questions in correlated compounds. In this paper, we provide a concise review of the non-Hermitian topological band structures for quantum many-body systems in equilibrium as well as their classification.
It is shown that strong driving of a quantum system substantially enhances the Lamb shift induced by broadband reservoirs which are typical for solid-state devices. By varying drive parameters the impact of environmental vacuum fluctuations with continuous spectral distribution onto system observables can be tuned in a distinctive way. This provides experimentally feasible measurement schemes for the Lamb shift in superconducting circuits based on Cooper pair boxes, where it can be detected either in shifted dressed transition frequencies or in pumped charge currents.
Quantum error correction provides a path to large-scale quantum computers, but is built on challenging assumptions about the characteristics of the underlying errors. In particular, the mathematical assumption of independent errors in quantum logic operations is at odds with realistic environments where error-sources may exhibit strong temporal correlations. We present experiments enabling the identification of error correlations between operations in quantum circuits, using only projective measurements at the end of the circuit. Using a single trapped ion qubit and engineered noise with tunab…
We study a composite multimode light-two-level atom system in a cavity. We show that coupling of the two-level atom to multiple modes of the light destroys the Mott phase of the composite system thus making the system less useful platform for developing concepts in quantum information processing.
Using a recently developed quantum embedding theory, we present first principles calculations of strongly correlated states of spin defects in diamond. Within this theory, effective Hamiltonians are constructed, which can be solved by classical and quantum computers; the latter promise a much more favorable scaling as a function of system size than the former. In particular, we report a study of the neutral group-IV vacancy complexes in diamond, and we discuss their strongly-correlated spin-singlet and spin-triplet excited states. Our results provide valuable predictions for experiments aimed …
We propose a practical scheme to observe the polaritonic quantum phase transition (QPT) from the superfluid (SF) to Bose-glass (BG) to Mott-insulator (MI) states. The system consists of a two-dimensional array of photonic crystal microcavities doped with substitutional donor/acceptor impurities. Using realistic parameters, we show that such strongly correlated polaritonic systems can be constructed using the state-of-art semiconductor technology.
We study BCS-BEC crossover in the strongly correlated regime of two component rotating Fermi gases. We predict that the strong correlations induced by rotation will have the effect of modifying the crossover region relative to the non-rotating situation. We show via the two particle correlation function that the crossover smoothly connects the s-wave paired fermionic fractional quantum Hall state to the bosonic Laughlin state.
These lectures are an introduction to the physics of strongly correlated fermions and bosons. They are specially targeted for the experimental realizations that have been provided by cold atomic gases in optical lattices.
Permutational Quantum Computing (PQC) [\emph{Quantum~Info.~Comput.}, \textbf{10}, 470--497, (2010)] is a natural quantum computational model conjectured to capture non-classical aspects of quantum computation. An argument backing this conjecture was the observation that there was no efficient classical algorithm for estimation of matrix elements of the $S_n$ irreducible representation matrices in the Young's orthogonal form, which correspond to transition amplitudes of a broad class of PQC circuits. This problem can be solved with a PQC machine in polynomial time, but no efficient classical al…
We create a one-dimensional strongly correlated quantum gas of $^{133}$Cs atoms with attractive interactions by direct laser cooling in 300~ms. After compressing and cooling the optically trapped atoms to the vibrational ground state along two tightly confined directions, the emergence of a non-Gaussian time-of-flight distribution along the third, weakly confined direction reveals that the system enters a quantum degenerate regime. We observe a strong reduction of two- and three-body spatial correlations and infer that the atoms are directly cooled into a highly correlated excited metastable s…
