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 pro
tocols 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.
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.
We show how engineered classical noise can be used to generate constrained Hamiltonian dynamics in atomic quantum simulators of many-body systems, taking advantage of the continuous Zeno effect. After discussing the general theoretical framework, we
focus on applications in the context of lattice gauge theories, where imposing exotic, quasi-local constraints is usually challenging. We demonstrate the effectiveness of the scheme for both Abelian and non-Abelian gauge theories, and discuss how engineering dissipative constraints substitutes complicated, non-local interaction patterns by global coupling to laser fields.
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 toolb
ox 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 issu
e 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 compu
tational 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.
Systems with long-range interactions show a variety of intriguing properties: they typically accommodate many meta-stable states, they can give rise to spontaneous formation of supersolids, and they can lead to counterintuitive thermodynamic behavior
. However, the increased complexity that comes with long-range interactions strongly hinders theoretical studies. This makes a quantum simulator for long-range models highly desirable. Here, we show that a chain of trapped ions can be used to quantum simulate a one-dimensional model of hard-core bosons with dipolar off-site interaction and tunneling, equivalent to a dipolar XXZ spin-1/2 chain. We explore the rich phase diagram of this model in detail, employing perturbative mean-field theory, exact diagonalization, and quasiexact numerical techniques (density-matrix renormalization group and infinite time evolving block decimation). We find that the complete devils staircase -- an infinite sequence of crystal states existing at vanishing tunneling -- spreads to a succession of lobes similar to the Mott-lobes found in Bose--Hubbard models. Investigating the melting of these crystal states at increased tunneling, we do not find (contrary to similar two-dimensional models) clear indications of supersolid behavior in the region around the melting transition. However, we find that inside the insulating lobes there are quasi-long range (algebraic) correlations, opposed to models with nearest-neighbor tunneling which show exponential decay of correlations.
