Peter Zoller

We propose a quantum computer architecture based on ions confined in optical tweezer arrays, combining the long coherence times of trapped-ion qubits with the reconfigurability and parallel operation enabled by tweezer platforms. Selected ions are transported to local interaction zones, where excitation to an auxiliary state with a displaced optical potential generates a controllable effective electric dipole. We develop and analyze entangling-gate mechanisms mediated by the Coulomb interaction between such effective dipoles, and show that they enable precise, temperature-robust closure of the center-of-mass and relative motional trajectories, leaving no residual entanglement between the qubits and the motion. We further outline a concrete implementation with barium ions based on state-selective polarizability, and study the suppression of cross-talk during parallel gate execution, with relevance to transversal gates in quantum error correction. Our results thereby establish a realistic route toward scalable ion-tweezer quantum processors.

Gauge theories form the foundation of the Standard Model of particle physics. These theories can exhibit confinement, where charged particles only occur in bound states, connected by flux strings whose energy grows linearly with separation. Simulating the real-time dynamics of such strings, including their breaking, remains a major challenge for classical computations and a promising target for quantum simulations. While recent quantum simulation experiments explored string-breaking dynamics in abelian lattice gauge theories, non-abelian theories are qualitatively distinct because gauge fields themselves carry charge. Here, we report the first quantum simulation of genuine non-abelian string-breaking dynamics in a pure SU($2$) lattice gauge theory, where gauge-field self-interactions drive string breaking even in the absence of dynamical matter. Our results are obtained on a trapped-ion quantum computer, using native qudit Hilbert spaces to encode truncated gauge fields on a ladder geometry and implement digital Trotter dynamics. We experimentally study unbreakable and breakable strings generated by fundamental and adjoint static charges, respectively. We locally resolve string oscillations and coherent string breaking through the creation of gluonic excitations driven by non-abelian plaquette interactions. Our work establishes hardware-efficient, problem-tailored qudit simulations as a promising route for accessing non-perturbative dynamics relevant to high-energy physics.

Analog Quantum Simulators offer a route to exploring strongly correlated many-body dynamics beyond classical computation, but their predictive power remains limited by the absence of quantitative error estimation. Establishing rigorous uncertainty bounds is essential for elevating such devices from qualitative demonstrations to quantitative scientific tools. Here we introduce a general framework for bounded-error quantum simulation, which provides predictions for many-body observables with experimentally quantifiable uncertainties. The approach combines Hamiltonian and Lindbladian Learning--a statistically rigorous inference of the coherent and dissipative generators governing the dynamics--with the propagation of their uncertainties into the simulated observables, yielding confidence bounds directly derived from experimental data. We demonstrate this framework on trapped-ion quantum simulators implementing long-range Ising interactions with up to 51 ions, and validate it where classical comparison is possible. We analyze error bounds on two levels. First, we learn an open-system model from experimental data collected in an initial time window of quench dynamics, simulate the corresponding master equation, and quantitatively verify consistency between theoretical predictions and measured dynamics at long times. Second, we establish error bounds directly from experimental measurements alone, without relying on classical simulation--crucial for entering regimes of quantum advantage. The learned models reproduce the experimental evolution within the predicted bounds, demonstrating quantitative reliability and internal consistency. Bounded-error quantum simulation provides a scalable foundation for trusted analog quantum computation, bridging the gap between experimental platforms and predictive many-body physics. The techniques presented here directly extend to digital quantum simulation.

We study optimal quantum sensing of multiple physical parameters using repeated measurements. In this scenario, the Fisher information framework sets the fundamental limits on sensing performance, yet the optimal states and corresponding measurements that attain these limits remain to be discovered. To address this, we extend the Fisher information approach with a second optimality requirement for a sensor to provide unambiguous estimation of unknown parameters. We propose a systematic method integrating Fisher information and Bayesian approaches to quantum metrology to identify the combination of input states and measurements that satisfies both optimality criteria. Specifically, we frame the optimal sensing problem as an optimization of an asymptotic Bayesian cost function that can be efficiently solved numerically and, in many cases, analytically. We refer to the resulting optimal sensor as a `quantum compass' solution, which serves as a direct multiparameter counterpart to the Greenberger-Horne-Zeilinger state-based interferometer, renowned for achieving the Heisenberg limit in single-parameter metrology. We provide exact quantum compass solutions for paradigmatic multiparameter problem of sensing two and three parameters using an SU(2) sensor. Our metrological cost function opens avenues for quantum variational techniques to design low-depth quantum circuits approaching the optimal sensing performance in the many-repetition scenario. We demonstrate this by constructing simple quantum circuits that achieve the Heisenberg limit for vector field and 3D rotations estimation using a limited set of gates available on a trapped-ion platform. Our work introduces and optimizes sensors for a practical notion of optimality, keeping in mind the ultimate goal of quantum sensors to precisely estimate unknown parameters.

The non-equilibrium physics of many-body quantum systems harbors various unconventional phenomena. In this study, we experimentally investigate one of the most puzzling of these phenomena -- the quantum Mpemba effect, where a tilted ferromagnet restores its symmetry more rapidly when it is farther from the symmetric state compared to when it is closer. We present the first experimental evidence of the occurrence of this effect in a trapped-ion quantum simulator. The symmetry breaking and restoration are monitored through entanglement asymmetry, probed via randomized measurements, and postprocessed using the classical shadows technique. Our findings are further substantiated by measuring the Frobenius distance between the experimental state and the stationary thermal symmetric theoretical state, offering direct evidence of subsystem thermalization.

Particle physics underpins our understanding of the world at a fundamental level by describing the interplay of matter and forces through gauge theories. Yet, despite their unmatched success, the intrinsic quantum mechanical nature of gauge theories makes important problem classes notoriously difficult to address with classical computational techniques. A promising way to overcome these roadblocks is offered by quantum computers, which are based on the same laws that make the classical computations so difficult. Here, we present a quantum computation of the properties of the basic building block of two-dimensional lattice quantum electrodynamics, involving both gauge fields and matter. This computation is made possible by the use of a trapped-ion qudit quantum processor, where quantum information is encoded in $d$ different states per ion, rather than in two states as in qubits. Qudits are ideally suited for describing gauge fields, which are naturally high-dimensional, leading to a dramatic reduction in the quantum register size and circuit complexity. Using a variational quantum eigensolver, we find the ground state of the model and observe the interplay between virtual pair creation and quantized magnetic field effects. The qudit approach further allows us to seamlessly observe the effect of different gauge field truncations by controlling the qudit dimension. Our results open the door for hardware-efficient quantum simulations with qudits in near-term quantum devices.

We propose an autonomous quantum error correction scheme using squeezed cat (SC) code against the dominant error source, excitation loss, in continuous-variable systems. Through reservoir engineering, we show that a structured dissipation can stabilize a two-component SC while autonomously correcting the errors. The implementation of such dissipation only requires low-order nonlinear couplings among three bosonic modes or between a bosonic mode and a qutrit. While our proposed scheme is device independent, it is readily implementable with current experimental platforms such as superconducting circuits and trapped-ion systems. Compared to the stabilized cat, the stabilized SC has a much lower dominant error rate and a significantly enhanced noise bias. Furthermore, the bias-preserving operations for the SC have much lower error rates. In combination, the stabilized SC leads to substantially better logical performance when concatenating with an outer discrete-variable code. The surface-SC scheme achieves more than one order of magnitude increase in the threshold ratio between the loss rate $κ_1$ and the engineered dissipation rate $κ_2$. Under a practical noise ratio $κ_1/κ_2 = 10^{-3}$, the repetition-SC scheme can reach a $10^{-15}$ logical error rate even with a small mean excitation number of 4, which already suffices for practically useful quantum algorithms.

Two-dimensional $p+ i p$ superconductors and superfluids are systems that feature chiral behavior emerging from the Cooper pairing of electrons or neutral fermionic atoms with non-zero angular momentum. Their realization has been a longstanding goal because they offer great potential utility for quantum computation and memory. However, they have so far eluded experimental observation both in solid state systems as well as in ultracold quantum gases. Here, we propose to leverage the tremendous control offered by rotating two-dimensional trapped-ion crystals in a Penning trap to simulate the dynamical phases of two-dimensional $p+ip$ superfluids. This is accomplished by mapping the presence or absence of a Cooper pair into an effective spin-1/2 system encoded in the ions' electronic levels. We show how to infer the topological properties of the dynamical phases, and discuss the role of beyond mean-field corrections. More broadly, our work opens the door to use trapped ion systems to explore exotic models of topological superconductivity and also paves the way to generate and manipulate skyrmionic spin textures in these platforms.

With today's quantum processors venturing into regimes beyond the capabilities of classical devices [1-3], we face the challenge to verify that these devices perform as intended, even when we cannot check their results on classical computers [4,5]. In a recent breakthrough in computer science [6-8], a protocol was developed that allows the verification of the output of a computation performed by an untrusted quantum device based only on classical resources. Here, we follow these ideas, and demonstrate in a first, proof-of-principle experiment a verification protocol using only classical means on a small trapped-ion quantum processor. We contrast this to verification protocols, which require trust and detailed hardware knowledge, as in gate-level benchmarking [9], or additional quantum resources in case we do not have access to or trust in the device to be tested [5]. While our experimental demonstration uses a simplified version [10] of Mahadev's protocol [6] we demonstrate the necessary steps for verifying fully untrusted devices. A scaled-up version of our protocol will allow for classical verification, requiring no hardware access or detailed knowledge of the tested device. Its security relies on post-quantum secure trapdoor functions within an interactive proof [11]. The conceptually straightforward, but technologically challenging scaled-up version of the interactive proofs, considered here, can be used for a variety of additional tasks such as verifying quantum advantage [8], generating [12] and certifying quantum randomness [7], or composable remote state preparation [13].

Quantum sensors are an established technology that has created new opportunities for precision sensing across the breadth of science. Using entanglement for quantum-enhancement will allow us to construct the next generation of sensors that can approach the fundamental limits of precision allowed by quantum physics. However, determining how state-of-the-art sensing platforms may be used to converge to these ultimate limits is an outstanding challenge. In this work we merge concepts from the field of quantum information processing with metrology, and successfully implement experimentally a *programmable quantum sensor* operating close to the fundamental limits imposed by the laws of quantum mechanics. We achieve this by using low-depth, parametrized quantum circuits implementing optimal input states and measurement operators for a sensing task on a trapped ion experiment. With 26 ions, we approach the fundamental sensing limit up to a factor of 1.45(1), outperforming conventional spin-squeezing with a factor of 1.87(3). Our approach reduces the number of averages to reach a given Allan deviation by a factor of 1.59(6) compared to traditional methods not employing entanglement-enabled protocols. We further perform on-device quantum-classical feedback optimization to `self-calibrate' the programmable quantum sensor with comparable performance. This ability illustrates that this next generation of quantum sensor can be employed without prior knowledge of the device or its noise environment.

We discuss quantum variational optimization of Ramsey interferometry with ensembles of $N$ entangled atoms, and its application to atomic clocks based on a Bayesian approach to phase estimation. We identify best input states and generalized measurements within a variational approximation for the corresponding entangling and decoding quantum circuits. These circuits are built from basic quantum operations available for the particular sensor platform, such as one-axis twisting, or finite range interactions. Optimization is defined relative to a cost function, which in the present study is the Bayesian mean square error of the estimated phase for a given prior distribution, i.e. we optimize for a finite dynamic range of the interferometer. In analogous variational optimizations of optical atomic clocks, we use the Allan deviation for a given Ramsey interrogation time as the relevant cost function for the long-term instability. Remarkably, even low-depth quantum circuits yield excellent results that closely approach the fundamental quantum limits for optimal Ramsey interferometry and atomic clocks. The quantum metrological schemes identified here are readily applicable to atomic clocks based on optical lattices, tweezer arrays, or trapped ions.

When a quantum system initialized in a product state is subjected to either coherent or incoherent dynamics, the entropy of any of its connected partitions generically increases as a function of time, signalling the inevitable spreading of (quantum) information throughout the system. Here, we show that, in the presence of continuous symmetries and under ubiquitous experimental conditions, symmetry-resolved information spreading is inhibited due to the competition of coherent and incoherent dynamics: in given quantum number sectors, entropy decreases as a function of time, signalling dynamical purification. Such dynamical purification bridges between two distinct short and intermediate time regimes, characterized by a log-volume and log-area entropy law, respectively. It is generic to symmetric quantum evolution, and as such occurs for different partition geometry and topology, and classes of (local) Liouville dynamics. We then develop a protocol to measure symmetry-resolved entropies and negativities in synthetic quantum systems based on the random unitary toolbox, and demonstrate the generality of dynamical purification using experimental data from trapped ion experiments [Brydges et al., Science 364, 260 (2019)]. Our work shows that symmetry plays a key role as a magnifying glass to characterize many-body dynamics in open quantum systems, and, in particular, in noisy-intermediate scale quantum devices.

Trapped-ion quantum computers have demonstrated high-performance gate operations in registers of about ten qubits. However, scaling up and parallelizing quantum computations with long one-dimensional (1D) ion strings is an outstanding challenge due to the global nature of the motional modes of the ions which mediate qubit-qubit couplings. Here, we devise methods to implement scalable and parallel entangling gates by using engineered localized phonon modes. We propose to tailor such localized modes by tuning the local potential of individual ions with programmable optical tweezers. Localized modes of small subsets of qubits form the basis to perform entangling gates on these subsets in parallel. We demonstrate the inherent scalability of this approach by presenting analytical and numerical results for long 1D ion chains and even for infinite chains of uniformly spaced ions. Furthermore, we show that combining our methods with optimal coherent control techniques allows to realize maximally dense universal parallelized quantum circuits.

Gauge theories are the most successful theories for describing nature at its fundamental level, but obtaining analytical or numerical solutions often remains a challenge. We propose an experimental quantum simulation scheme to study ground state properties in two-dimensional quantum electrodynamics (2D QED) using existing quantum technology. The proposal builds on a formulation of lattice gauge theories as effective spin models in arXiv:2006.14160, which reduces the number of qubits needed by eliminating redundant degrees of freedom and by using an efficient truncation scheme for the gauge fields. The latter endows our proposal with the perspective to take a well-controlled continuum limit. Our protocols allow in principle scaling up to large lattices and offer the perspective to connect the lattice simulation to low energy observable quantities, e.g. the hadron spectrum, in the continuum theory. By including both dynamical matter and a non-minimal gauge field truncation, we provide the novel opportunity to observe 2D effects on present-day quantum hardware. More specifically, we present two Variational Quantum Eigensolver (VQE) based protocols for the study of magnetic field effects, and for taking an important first step towards computing the running coupling of QED. For both instances, we include variational quantum circuits for qubit-based hardware, which we explicitly apply to trapped ion quantum computers. We simulate the proposed VQE experiments classically to calculate the required measurement budget under realistic conditions. While this feasibility analysis is done for trapped ions, our approach can be easily adapted to other platforms. The techniques presented here, combined with advancements in quantum hardware pave the way for reaching beyond the capabilities of classical simulations by extending our framework to include fermionic potentials or topological terms.

In ergodic many-body quantum systems, locally encoded quantum information becomes, in the course of time evolution, inaccessible to local measurements. This concept of "scrambling" is currently of intense research interest, entailing a deep understanding of many-body dynamics such as the processes of chaos and thermalization. Here, we present first experimental demonstrations of quantum information scrambling on a 10-qubit trapped-ion quantum simulator representing a tunable long-range interacting spin system, by estimating out-of-time ordered correlators (OTOCs) through randomized measurements. We also analyze the role of decoherence in our system by comparing our measurements to numerical simulations and by measuring Rényi entanglement entropies.

We describe a protocol for cross-platform verification of quantum simulators and quantum computers. We show how to measure directly the overlap $\textrm{Tr}\left[ρ_1 ρ_2\right]$ and the purities $\textrm{Tr}\left[ρ^2_{1,2}\right]$, and thus a fidelity of two possibly mixed quantum states $ρ_1$ and $ρ_2$ prepared in separate experimental platforms. We require only local measurements in randomized product bases, which are communicated classically. As a proof-of-principle, we present the measurement of experiment-theory fidelities for entangled $10$-qubit quantum states in a trapped ion quantum simulator.

In an ideal quantum measurement, the wave function of a quantum system collapses to an eigenstate of the measured observable, and the corresponding eigenvalue determines the measurement outcome. If the observable commutes with the system Hamiltonian, repeated measurements yield the same result and thus minimally disturb the system. Seminal quantum optics experiments have achieved such quantum non-demolition (QND) measurements of systems with few degrees of freedom. In contrast, here we describe how the QND measurement of a complex many-body observable, the Hamiltonian of an interacting many-body system, can be implemented in a trapped-ion analog quantum simulator. Through a single-shot measurement, the many-body system is prepared in a narrow band of (highly excited) energy eigenstates, and potentially even a single eigenstate. Our QND scheme, which can be carried over to other platforms of quantum simulation, provides a framework to investigate experimentally fundamental aspects of equilibrium and non-equilibrium statistical physics including the eigenstate thermalization hypothesis and quantum fluctuation relations.

This work aims at giving Trotter errors in digital quantum simulation (DQS) of collective spin systems an interpretation in terms of quantum chaos of the kicked top. In particular, for DQS of such systems, regular dynamics of the kicked top ensures convergence of the Trotterized time evolution, while chaos in the top, which sets in above a sharp threshold value of the Trotter step size, corresponds to the proliferation of Trotter errors. We show the possibility to analyze this phenomenology in a wide variety of experimental realizations of the kicked top, ranging from single atomic spins to trapped-ion quantum simulators which implement DQS of all-to-all interacting spin-1/2 systems. These platforms thus enable in-depth studies of Trotter errors and their relation to signatures of quantum chaos, including the growth of out-of-time-ordered correlators.

We develop a general theoretical framework for measurement protocols employing statistical correlations of randomized measurements. We focus on locally randomized measurements implemented with local random unitaries in quantum lattice models. In particular, we discuss the theoretical details underlying the recent measurement of the second Rényi entropy of highly mixed quantum states consisting of up to $10$ qubits in a trapped-ion quantum simulator [Brydges et al., Science 364, 260 (2019)]. We generalize the protocol to access the overlap of quantum states, prepared sequentially in an experiment. Furthermore, we discuss proposals for quantum state tomography based on randomized measurements within our framework and the respective scaling of statistical errors with system size.

Hybrid classical-quantum algorithms aim at variationally solving optimisation problems, using a feedback loop between a classical computer and a quantum co-processor, while benefitting from quantum resources. Here we present experiments demonstrating self-verifying, hybrid, variational quantum simulation of lattice models in condensed matter and high-energy physics. Contrary to analog quantum simulation, this approach forgoes the requirement of realising the targeted Hamiltonian directly in the laboratory, thus allowing the study of a wide variety of previously intractable target models. Here, we focus on the Lattice Schwinger model, a gauge theory of 1D quantum electrodynamics. Our quantum co-processor is a programmable, trapped-ion analog quantum simulator with up to 20 qubits, capable of generating families of entangled trial states respecting symmetries of the target Hamiltonian. We determine ground states, energy gaps and, by measuring variances of the Schwinger Hamiltonian, we provide algorithmic error bars for energies, thus addressing the long-standing challenge of verifying quantum simulation.

Entanglement is the key feature of many-body quantum systems, and the development of new tools to probe it in the laboratory is an outstanding challenge. Measuring the entropy of different partitions of a quantum system provides a way to probe its entanglement structure. Here, we present and experimentally demonstrate a new protocol for measuring entropy, based on statistical correlations between randomized measurements. Our experiments, carried out with a trapped-ion quantum simulator, prove the overall coherent character of the system dynamics and reveal the growth of entanglement between its parts - both in the absence and presence of disorder. Our protocol represents a universal tool for probing and characterizing engineered quantum systems in the laboratory, applicable to arbitrary quantum states of up to several tens of qubits.

Entanglement is central to our understanding of many-body quantum matter. In particular, the entanglement spectrum, as eigenvalues of the reduced density matrix of a subsystem, provides a unique footprint of properties of strongly correlated quantum matter from detection of topological order to characterisation of quantum critical systems. However, direct experimental measurement of the entanglement spectrum has so far remained elusive due to lack of direct experimental probes. Here we show that the entanglement spectrum of the ground state of a broad class of Hamiltonians becomes directly accessible as quantum simulation and spectroscopy of an entanglement Hamil- tonian, building on the Bisognano-Wichmann (BW) theorem of axiomatic quantum field theory. Remarkably, this theorem gives an explicit physical construction of the entanglement Hamiltonian, identified as Hamiltonian of the many-body system of interest with spatially varying couplings. Building on this, we propose an immediate, scalable recipe for implementation of the entanglement Hamiltonian, and measurement of the corresponding entanglement spectrum as spectroscopy of the Bisognano-Wichmann Hamiltonian with synthetic quantum systems, including atoms in optical lat- tices and trapped ions. We illustrate and benchmark this scenario on a variety of models, spanning phenomena as diverse as conformal field theories, topological order, and quantum phase transitions.

Lattice gauge theories describe fundamental phenomena in nature, but calculating their real-time dynamics on classical computers is notoriously difficult. In a recent publication [Nature 534, 516 (2016)], we proposed and experimentally demonstrated a digital quantum simulation of the paradigmatic Schwinger model, a U(1)-Wilson lattice gauge theory describing the interplay between fermionic matter and gauge bosons. Here, we provide a detailed theoretical analysis of the performance and the potential of this protocol. Our strategy is based on analytically integrating out the gauge bosons, which preserves exact gauge invariance but results in complicated long-range interactions between the matter fields. Trapped-ion platforms are naturally suited to implementing these interactions, allowing for an efficient quantum simulation of the model, with a number of gate operations that scales only polynomially with system size. Employing numerical simulations, we illustrate that relevant phenomena can be observed in larger experimental systems, using as an example the production of particle--antiparticle pairs after a quantum quench. We investigate theoretically the robustness of the scheme towards generic error sources, and show that near-future experiments can reach regimes where finite-size effects are insignificant. We also discuss the challenges in quantum simulating the continuum limit of the theory. Using our scheme, fundamental phenomena of lattice gauge theories can be probed using a broad set of experimentally accessible observables, including the entanglement entropy and the vacuum persistence amplitude.

The prospect of quantum simulating lattice gauge theories opens exciting possibilities for understanding fundamental forms of matter. Here, we show that trapped ions represent a promising platform in this context when simultaneously exploiting internal pseudo-spins and external phonon vibrations. We illustrate our ideas with two complementary proposals for simulating lattice-regularized quantum electrodynamics (QED) in (1+1) space-time dimensions. The first scheme replaces the gauge fields by local vibrations with a high occupation number. By numerical finite-size scaling, we demonstrate that this model recovers Wilson's lattice gauge theory in a controlled way. Its implementation can be scaled up to tens of ions in an array of micro-traps. The second scheme represents the gauge fields by spins 1/2, and thus simulates a quantum link model. As we show, this allows the fermionic matter to be replaced by bosonic degrees of freedom, permitting small-scale implementations in a linear Paul trap. Both schemes work on energy scales significantly larger than typical decoherence rates in experiments, thus enabling the investigation of phenomena such as string breaking, Coleman's quantum phase transition, and false-vacuum decay. The underlying ideas of the proposed analog simulation schemes may also be adapted to other platforms, such as superconducting qubits.

We propose two setups for realizing a chiral quantum network, where two-level systems representing the nodes interact via directional emission into discrete waveguides, as introduced in T. Ramos et al. [Phys. Rev. A 93, 062104 (2016)]. The first implementation realizes a spin waveguide via Rydberg states in a chain of atoms, whereas the second one realizes a phonon waveguide via the localized vibrations of a string of trapped ions. For both architectures, we show that strong chirality can be obtained by a proper design of synthetic gauge fields in the couplings from the nodes to the waveguide. In the Rydberg case, this is achieved via intrinsic spin-orbit coupling in the dipole-dipole interactions, while for the trapped ions it is obtained by engineered sideband transitions. We take long-range couplings into account that appear naturally in these implementations, discuss useful experimental parameters, and analyze potential error sources. Finally, we describe effects that can be observed in these implementations within state-of-the-art technology, such as the driven-dissipative formation of entangled dimer states.

We propose a trapped ion scheme en route to realize spin Hamiltonians on a Kagome lattice which, at low energies, are described by emergent Z2 gauge fields, and support a topological quantum spin liquid ground state. The enabling element in our scheme is the hexagonal plaquette spin-spin interactions in a 2D ion crystal. For this, the phonon-mode spectrum of the crystal is engineered by standing-wave optical potentials or by using Rydberg excited ions, thus generating localized phonon-modes around a hexagon of ions selected out of the entire two-dimensional crystal. These tailored modes can mediate spin-spin interactions between ion-qubits on a hexagonal plaquette when subject to state-dependent optical dipole forces. We discuss how these interactions can be employed to emulate a generalized Balents-Fisher-Girvin model in minimal instances of one and two plaquettes. This model is an archetypical Hamiltonian in which gauge fields are the emergent degrees of freedom on top of the classical ground state manifold. Under realistic situations, we show the emergence of a discrete Gauss's law as well as the dynamics of a deconfined charge excitation on a gauge-invariant background using the two-plaquettes trapped ions spin-system. The proposed scheme in principle allows further scaling in a future trapped ion quantum simulator, and we conclude that our work will pave the way towards the simulation of emergent gauge theories and quantum spin liquids in trapped ion systems.

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 control of quantum systems is of fundamental scientific interest and promises powerful applications and technologies. Impressive progress has been achieved in isolating the systems from the environment and coherently controlling their dynamics, as demonstrated by the creation and manipulation of entanglement in various physical systems. However, for open quantum systems, engineering the dynamics of many particles by a controlled coupling to an environment remains largely unexplored. Here we report the first realization of a toolbox for simulating an open quantum system with up to five qubits. Using a quantum computing architecture with trapped ions, we combine multi-qubit gates with optical pumping to implement coherent operations and dissipative processes. We illustrate this engineering by the dissipative preparation of entangled states, the simulation of coherent many-body spin interactions and the quantum non-demolition measurement of multi-qubit observables. By adding controlled dissipation to coherent operations, this work offers novel prospects for open-system quantum simulation and computation.

We propose and analyze a scheme for sympathetic cooling of the translational motion of polar molecules in an optical lattice, interacting one by one with laser-cooled ions in a radio-frequency trap. The energy gap between the excitation spectra of the particles in their respective trapping potentials is bridged by means of a parametric resonance, provided by the additional modulation of the RF field. We analyze two scenarios: simultaneous laser cooling and energy exchange between the ion and the molecule, and a scheme when these two processes take place separately. We calculate the lowest final energy of the molecule and the cooling rate depending on the amplitude of the parametric modulation. For small parametric modulation, the dynamics can be solved analytically within the rotating wave approximation.

Based on a real-time measurement of the motion of a single ion in a Paul trap, we demonstrate its electro-mechanical cooling below the Doppler limit by homodyne feedback control (cold damping). The feedback cooling results are well described by a model based on a quantum mechanical Master Equation.

We discuss continuous observation of the momentum of a single atom by employing the high velocity sensitivity of the index of refraction in a driven $Λ$-system based on electromagnetically induced transparency (EIT). In the ideal limit of unit collection efficiency this provides a quantum limited measurement with minimal backaction on the atomic motion. A feedback loop, which drives the atom with a force proportional to measured signal, provides a cooling mechanism for the atomic motion. We derive the master equation which describes the feedback cooling and show that in the Lamb-Dicke limit the steady state energies are close to the ground state, limited only by the photon collection efficiency. Outside of the Lamb-Dicke regime the predicted temperatures are well below the Doppler limit.