Adiabatic quantum optimization has been proposed as a route to solve NP-complete problems, with a possible quantum speedup compared to classical algorithms. However, the precise role of quantum effects, such as entanglement, in these optimization protocols is still unclear. We propose a setup of cold trapped ions that allows one to quantitatively characterize, in a controlled experiment, the interplay of entanglement, decoherence, and non-adiabaticity in adiabatic quantum optimization. We show that, in this way, a broad class of NP-complete problems becomes accessible for quantum simulations, including the knapsack problem, number partitioning, and instances of the max-cut problem. Moreover, a general theoretical study reveals correlations of the success probability with entanglement at the end of the protocol. From exact numerical simulations for small systems and linear ramps, however, we find no substantial correlations with the entanglement during the optimization. For the final state, we derive analytically a universal upper bound for the success probability as a function of entanglement, which can be measured in experiment. The proposed trapped-ion setups and the presented study of entanglement address pertinent questions of adiabatic quantum optimization, which may be of general interest across experimental platforms.
Ergodicity in quantum many-body systems is - despite its fundamental importance - still an open problem. Many-body localization provides a general framework for quantum ergodicity, and may therefore offer important insights. However, the characterization of many-body localization through simple observables is a difficult task. In this article, we introduce a measure for distances in Hilbert space for spin-1/2 systems that can be interpreted as a generalization of the Anderson localization length to the many-body Hilbert space. We show that this many-body localization length is equivalent to a simple local observable in real space, which can be measured in experiments of superconducting qubits, polar molecules, Rydberg atoms, and trapped ions. Using the many-body localization length and a necessary criterion for ergodicity that it provides, we study many-body localization and quantum ergodicity in power-law-interacting Ising models subject to disorder in the transverse field. Based on the nonequilibrium dynamical renormalization group, numerically exact diagonalization, and an analysis of the statistics of resonances we find a many-body localized phase at infinite temperature for small power-law exponents. Within the applicability of these methods, we find no indications of a delocalization transition.
Originally, the Hubbard model has been derived for describing the behaviour of strongly-correlated electrons in solids. However, since over a decade now, variations of it are also routinely being implemented with ultracold atoms in optical lattices. We review some of the rich literature on this subject, with a focus on more recent non-standard forms of the Hubbard model. After an introduction to standard (fermionic and bosonic) Hubbard models, we discuss briefly common models for mixtures, as well as the so called extended Bose-Hubbard models, that include interactions between neighboring sites, next-neighboring sites, and so on. The main part of the review discusses the importance of additional terms appearing when refining the tight-binding approximation on the original physical Hamiltonian. Even when restricting the models to the lowest Bloch band is justified, the standard approach neglects the density-induced tunneling (which has the same origin as the usual on-site interaction). The importance of these contributions is discussed for both contact and dipolar interactions. For sufficiently strong interactions, also the effects related to higher Bloch bands become important even for deep optical lattices. Different approaches that aim at incorporating these effects, mainly via dressing the basis Wannier functions with interactions, leading to effective, density-dependent Hubbard-type models, are reviewed. We discuss also examples of Hubbard-like models that explicitly involve higher $p$-orbitals, as well as models that couple dynamically spin and orbital degrees of freedom. Finally, we review mean-field nonlinear-Schrodinger models of the Salerno type that share with the non-standard Hubbard models the nonlinear coupling between the adjacent sites. In that part, discrete solitons are the main subject of the consideration. We conclude by listing some future open problems.
We propose a simple scheme for tomography of band-insulating states in one- and two-dimensional optical lattices with two sublattice states. In particular, the scheme maps out the Berry curvature in the entire Brillouin zone and extracts topological invariants such as the Chern number. The measurement relies on observing---via time-of-flight imaging---the time evolution of the momentum distribution following a sudden quench in the band structure. We consider two examples of experimental relevance: the Harper model with $pi$-flux and the Haldane model on a honeycomb lattice. Moreover, we illustrate the performance of the scheme in the presence of a parabolic trap, noise, and finite measurement resolution.
Recently, it has become apparent that, when the interactions between polar molecules in optical lattices becomes strong, the conventional description using the extended Hubbard model has to be modified by additional terms, in particular a density-dependent tunneling term. We investigate here the influence of this term on the ground-state phase diagrams of the two dimensional extended Bose-Hubbard model. Using Quantum Monte Carlo simulations, we investigate the changes of the superfluid, supersolid, and phase-separated parameter regions in the phase diagram of the system. By studying the interplay of the density-dependent hopping with the usual on-site interaction U and nearest-neighbor repulsion V, we show that the ground-state phase diagrams differ significantly from the ones that are expected from the standard extended Bose-Hubbard model. However we find no indication of pair-superfluid behavior in this two dimensional square lattice study in contrast to the one-dimensional case.
We discuss how a lattice Schwinger model can be realized in a linear ion trap, allowing a detailed study of the physics of Abelian lattice gauge theories related to one-dimensional quantum electrodynamics. Relying on the rich quantum-simulation toolbox available in state-of-the-art trapped-ion experiments, we show how one can engineer an effectively gauge-invariant dynamics by imposing energetic constraints, provided by strong Ising-like interactions. Applying exact diagonalization to ground-state and time-dependent properties, we study the underlying microscopic model, and discuss undesired interaction terms and other imperfections. As our analysis shows, the proposed scheme allows for the observation in realistic setups of spontaneous parity- and charge-symmetry breaking, as well as false-vacuum decay. Besides an implementation aimed at larger ion chains, we also discuss a minimal setting, consisting of only four ions in a simpler experimental setup, which enables to probe basic physical phenomena related to the full many-body problem. The proposal opens a new route for analog quantum simulation of high-energy and condensed-matter models where gauge symmetries play a prominent role.
The non-equilibrium response of a quantum many-body system defines its fundamental transport properties and how initially localized quantum information spreads. However, for long-range-interacting quantum systems little is known. We address this issue by analyzing a local quantum quench in the long-range Ising model in a transverse field, where interactions decay as a variable power-law with distance $propto r^{-alpha}$, $alpha>0$. Using complementary numerical and analytical techniques, we identify three dynamical regimes: short-range-like with an emerging light cone for $alpha>2$; weakly long-range for $1<alpha<2$ without a clear light cone but with a finite propagation speed of almost all excitations; and fully non-local for $alpha<1$ with instantaneous transmission of correlations. This last regime breaks generalized Lieb--Robinson bounds and thus locality. Numerical calculation of the entanglement spectrum demonstrates that the usual picture of propagating quasi-particles remains valid, allowing an intuitive interpretation of our findings via divergences of quasi-particle velocities. Our results may be tested in state-of-the-art trapped-ion experiments.
Spin liquids occuring in 2D frustrated spin systems were initially assumed to appear at strongest frustration, but evidence grows that they more likely intervene at transitions between two different types of order. To identify if this is more general, we here analyze a generalization of the spatially anisotropic triangular lattice (SATL) with antiferromagnetic XY interactions, the spatially emph{completely} anisotropic triangular lattice (SCATL). This model can be implemented in experiments with trapped ions, ultra-small Josephson junctions, or ultracold atoms in optical lattices. Using Takahashis modified spin-wave theory, we find indications that indeed two different kinds of order are always separated by phases without magnetic long-range order. Our results further suggest that two gapped, magnetically-disordered phases, identified as distinct in the SATL, are actually continuously connected via the additional anisotropy of the SCATL. As these results indicate, this additional anisotropy -- allowing to approach quantum-disordered phases from different angles -- can give fundamental insight into the nature of quantum disordered phases. We complement our results by exact diagonalizations, which also indicate that in part of the gapped non-magnetic phase, chiral long-range correlations could survive.
Spin liquids occuring in 2D frustrated spin systems were initially assumed to appear at strongest frustration, but evidence grows that they more likely intervene at transitions between two different types of order. To identify if this is more general, we here analyze a generalization of the spatially anisotropic triangular lattice (SATL) with antiferromagnetic Heisenberg interactions, the spatially emph{completely} anisotropic triangular lattice (SCATL). Using Takahashis modified spin-wave theory, complemented by exact diagonalizations, we find indications that indeed different kinds of order are always separated by disordered phases. Our results further suggest that two gapped non-magnetic phases, identified as distinct in the SATL, are actually continuously connected via the additional anisotropy of the SCATL. Finally, measurements on several materials found magnetic long-range order where calculations on the SATL predict disordered behavior. Our results suggest a simple explanation through the additional anisotropy of the SCATL, which locates the corresponding parameter values in ordered phases. The studied model might therefore not only yield fundamental insight into quantum disordered phases, but should also be relevant for experiments on the quest for spin liquids.
Various fundamental phenomena of strongly-correlated quantum systems such as high-$T_c$ superconductivity, the fractional quantum-Hall effect, and quark confinement are still awaiting a universally accepted explanation. The main obstacle is the computational complexity of solving even the most simplified theoretical models that are designed to capture the relevant quantum correlations of the many-body system of interest. In his seminal 1982 paper [Int. J. Theor. Phys. 21, 467], Richard Feynman suggested that such models might be solved by simulation with a new type of computer whose constituent parts are effectively governed by a desired quantum many-body dynamics. Measurements on this engineered machine, now known as a quantum simulator, would reveal some unknown or difficult to compute properties of a model of interest. We argue that a useful quantum simulator must satisfy four conditions: relevance, controllability, reliability, and efficiency. We review the current state of the art of digital and analog quantum simulators. Whereas so far the majority of the focus, both theoretically and experimentally, has been on controllability of relevant models, we emphasize here the need for a careful analysis of reliability and efficiency in the presence of imperfections. We discuss how disorder and noise can impact these conditions, and illustrate our concerns with novel numerical simulations of a paradigmatic example: a disordered quantum spin chain governed by the Ising model in a transverse magnetic field. We find that disorder can decrease the reliability of an analog quantum simulator of this model, although large errors in local observables are introduced only for strong levels of disorder. We conclude that the answer to the question Can we trust quantum simulators? is... to some extent.
