Or Katz

Trapped-ion quantum simulators realize programmable spin models through phonon-mediated interactions. For Hamiltonians with noncommuting terms, however, the same phonon bus generates intrinsic spin-phonon errors that strongly distort the target dynamics. Because these errors are governed by the full time history of the spin-dependent phonon motion, they survive standard loop-closing control and limit simulation accuracy. Using a sequence of frame transformations, we isolate the residual error dynamics and show that this intrinsic error can be strongly suppressed while preserving programmable Ising couplings. Full spin-boson simulations of multi-ion chains demonstrate orders-of-magnitude lower error than both constant-drive and conventional loop-closing protocols. These results remove a central precision barrier in trapped-ion analog quantum simulation and enable accurate programmable simulation of noncommuting many-body Hamiltonians and dynamical protocols.

While quantum simulators promise to explore quantum many-body physics beyond classical computation, their capabilities are limited by the available native interactions in the hardware. On many platforms, accessible Hamiltonians are largely restricted to one- and two-body interactions, limiting access to multi-body Hamiltonians and to systems governed by simultaneous, non-commuting interaction terms that are central to condensed matter, quantum chemistry, and high-energy physics. We introduce and experimentally demonstrate a hybrid digital-analog protocol that overcomes these limitations by embedding analog evolution between shallow entangling-gate layers. This method produces effective Hamiltonians with simultaneous non-commuting three- and four-body interactions that are generated non-perturbatively and without Trotter error -- capabilities not practically attainable on near-term hardware using purely digital or purely analog schemes. We implement our scheme on a trapped-ion quantum processor and use it to realize a topological spin chain exhibiting prethermal strong zero modes persisting at high temperature, as well as models featuring three- and four-body interactions. Our hardware-agnostic and scalable method opens new routes to realizing complex many-body physics across quantum platforms.

Analog quantum simulators have provided key insights into quantum many-body dynamics. However, in such systems, both coherent and incoherent errors limit their scalability, hindering simulations in regimes that challenge classical simulations. In this work, we introduce an error mitigation technique that addresses and effectively suppresses a key source of error in leading simulator platforms: shot-to-shot fluctuations in the parameters for the Hamiltonian governing the system dynamics. We rigorously prove that amplifying this shot-to-shot noise and extrapolating to the zero-noise limit recovers noiseless results for realistic noise distributions. Experimentally, we demonstrate this technique on a 27-ion trapped-ion quantum simulator, extending the two-qubit exchange oscillation lifetime threefold. Numerically, we predict a significant enhancement in the effective many-body coherence time for Rydberg atom arrays under realistic conditions. Our scheme provides a possible route towards extending the effective coherence time in analog quantum experiments, enabling deeper explorations of quantum many-body dynamics.

The liquid-vapor transition is a classic example of a discontinuous (first-order) phase transition. Such transitions underlie many phenomena in cosmology, nuclear and particle physics, and condensed-matter physics. They give rise to long-lived metastable states, whose decay can be driven by either thermal or quantum fluctuations. Yet, direct experimental observations of how these states collapse into a stable phase remain elusive in the quantum regime. Here, we use a trapped-ion quantum simulator to observe the real-time dynamics of ``bubble nucleation'' induced by quantum fluctuations. Bubbles are localized domains of the stable phase which spontaneously form, or nucleate, and expand as the system is driven across a discontinuous quantum phase transition. Implementing a mixed-field Ising spin model with tunable and time-dependent interactions, we track the microscopic evolution of the metastable state as the Hamiltonian parameters are varied in time with various speeds, bringing the system out of equilibrium. Site-resolved measurements reveal the emergence and evolution of finite-size quantum bubbles, providing direct insight into the mechanism by which the metastable phase decays. We also identify nonequilibrium scaling behavior near the transition, consistent with a generalized Kibble-Zurek mechanism. Our results demonstrate the power of quantum simulators to probe out-of-equilibrium many-body physics, including quantum bubble nucleation, a key feature of discontinuous quantum phase transitions, with application to studies of matter formation in the early universe.

Spontaneous particle-pair formation is a fundamental phenomenon in nature. It can, for example, appear when the potential energy between two particles increases with separation, as if they were connected by a tense string. Beyond a critical separation, new particle pairs can form, causing the string to break. String-breaking dynamics in quantum chromodynamics play a vital role in high-energy particle collisions and early universe evolution. Simulating string evolution and hadron formation is, therefore, a grand challenge in modern physics. Quantum simulators, well-suited for studying dynamics, are expected to outperform classical computing methods. However, the required experimental capabilities to simulate string-breaking dynamics have not yet been demonstrated, even for simpler models of the strong force. We experimentally probe, for the first time, the spatiotemporal dynamics of string-breaking in a (1+1)-dimensional $\mathbb{Z}_2$ lattice gauge theory using a fully programmable trapped-ion quantum simulator. We emulate external static charges and strings via site-dependent magnetic-field control enabled by a dual array of tightly focused laser beams targeting individual ions. First, we study how confinement affects isolated charges, finding that they freely spread without string tension but exhibit localized oscillations when tension is increased. Then, we observe and characterize string-breaking dynamics of a string stretched between two static charges after an abrupt increase in string tension. Charge pairs appear near the string edges and spread into the bulk, revealing a route to dynamical string-breaking distinct from the conventional Schwinger mechanism. Our work demonstrates that analog quantum simulators have achieved the necessary control to explore string-breaking dynamics, which may ultimately be relevant to nuclear and high-energy physics.

Simulating non-equilibrium phenomena in strongly-interacting quantum many-body systems, including thermalization, is a promising application of near-term and future quantum computation. By performing experiments on a digital quantum computer consisting of fully-connected optically-controlled trapped ions, we study the role of entanglement in the thermalization dynamics of a $Z_2$ lattice gauge theory in 2+1 spacetime dimensions. Using randomized-measurement protocols, we efficiently learn a classical approximation of non-equilibrium states that yields the gap-ratio distribution and the spectral form factor of the entanglement Hamiltonian. These observables exhibit universal early-time signals for quantum chaos, a prerequisite for thermalization. Our work, therefore, establishes quantum computers as robust tools for studying universal features of thermalization in complex many-body systems, including in gauge theories.

Tunable scattering resonances are crucial for controlling atomic and molecular systems. However, their use has so far been limited to ultracold temperatures. These conditions remain hard to achieve for most hybrid trapped ion-atom systems -- a prospective platform for quantum technologies and fundamental research. Here we measure inelastic collision probabilities for ${\text{Sr}^++\text{Rb}}$ and use them to calibrate a comprehensive theoretical model of ion-atom collisions. Our theoretical results, compared with experimental observations, confirm that quantum interference effects persist to the multiple-partial-wave regime, leading to the pronounced state and mass dependence of the collision rates. Using our model, we go beyond interference and identify a rich spectrum of Feshbach resonances at moderate magnetic fields with the Rb atom in its lower ($f=1$) hyperfine state, which persist at temperatures as high as 1 mK. Future observation of these predicted resonances should allow precise control of the short-range dynamics in ${\text{Sr}^+}+{\text{Rb}}$ collisions under unprecedentedly warm conditions.

Studying high-energy collisions of composite particles, such as hadrons and nuclei, is an outstanding goal for quantum simulators. However, preparation of hadronic wave packets has posed a significant challenge, due to the complexity of hadrons and the precise structure of wave packets. This has limited demonstrations of hadron scattering on quantum simulators to date. Observations of confinement and composite excitations in quantum spin systems have opened up the possibility to explore scattering dynamics in spin models. In this article, we develop two methods to create entangled spin states corresponding to wave packets of composite particles in analog quantum simulators of Ising spin Hamiltonians. One wave-packet preparation method uses the blockade effect enabled by beyond-nearest-neighbor Ising spin interactions. The other method utilizes a quantum-bus-mediated exchange, such as the native spin-phonon coupling in trapped-ion arrays. With a focus on trapped-ion simulators, we numerically benchmark both methods and show that high-fidelity wave packets can be achieved in near-term experiments. We numerically study scattering of wave packets for experimentally realizable parameters in the Ising model and find inelastic-scattering regimes, corresponding to particle production in the scattering event, with prominent and distinct experimental signals. Our proposal, therefore, demonstrates the potential of observing inelastic scattering in near-term quantum simulators.

Quantum simulators based on trapped ions enable the study of spin systems and models with rich dynamical phenomena. The Su-Schrieffer-Heeger (SSH) model for fermions in one dimension is a canonical example that can support a topological insulator phase when couplings between sites are dimerized, featuring long-lived edge states. Here, we experimentally implement a spin-based variant of the SSH model using one-dimensional trapped-ion chains with tunable interaction range, realized in crystals containing up to 22 interacting spins. Using an array of individually focused laser beams, we apply site-specific, time-dependent Floquet fields to induce controlled bond dimerization. Under conditions that preserve inversion symmetry, we observe edge-state dynamics consistent with SSH-like behavior. We study the propagation and localization of spin excitations, as well as the evolution of highly excited configurations across different interaction regimes. These results demonstrate how precision Floquet engineering enables the exploration of complex spin models and dynamics, laying the groundwork for future preparation and characterization of topological and exotic phases of matter.

One of the most striking many-body phenomena in nature is the sudden change of macroscopic properties as the temperature or energy reaches a critical value. Such equilibrium transitions have been predicted and observed in two and three spatial dimensions, but have long been thought not to exist in one-dimensional (1D) systems. Fifty years ago, Dyson and Thouless pointed out that a phase transition in 1D can occur in the presence of long-range interactions, but an experimental realization has so far not been achieved due to the requirement to both prepare equilibrium states and realize sufficiently long-range interactions. Here we report on the first experimental demonstration of a finite-energy phase transition in 1D. We use the simple observation that finite-energy states can be prepared by time-evolving product initial states and letting them thermalize under the dynamics of a many-body Hamiltonian. By preparing initial states with different energies in a 1D trapped-ion quantum simulator, we study the finite-energy phase diagram of a long-range interacting quantum system. We observe a ferromagnetic equilibrium phase transition as well as a crossover from a low-energy polarized paramagnet to a high-energy unpolarized paramagnet in a system of up to $23$ spins, in excellent agreement with numerical simulations. Our work demonstrates the ability of quantum simulators to realize and study previously inaccessible phases at finite energy density.

One-dimensional systems exhibiting a continuous symmetry can host quantum phases of matter with true long-range order only in the presence of sufficiently long-range interactions. In most physical systems, however, the interactions are short-ranged, hindering the emergence of such phases in one dimension. Here we use a one-dimensional trapped-ion quantum simulator to prepare states with long-range spin order that extends over the system size of up to $23$ spins and is characteristic of the continuous symmetry-breaking phase of matter. Our preparation relies on simultaneous control over an array of tightly focused individual-addressing laser beams, generating long-range spin-spin interactions. We also observe a disordered phase with frustrated correlations. We further study the phases at different ranges of interaction and the out-of-equilibrium response to symmetry-breaking perturbations. This work opens an avenue to study new quantum phases and out-of-equilibrium dynamics in low-dimensional systems.

A test of quantumness is a protocol where a classical user issues challenges to a quantum device to determine if it exhibits non-classical behavior, under certain cryptographic assumptions. Recent attempts to implement such tests on current quantum computers rely on either interactive challenges with efficient verification, or non-interactive challenges with inefficient (exponential time) verification. In this paper, we execute an efficient non-interactive test of quantumness on an ion-trap quantum computer. Our results significantly exceed the bound for a classical device's success.

Quantum processors use the native interactions between effective spins to simulate Hamiltonians or execute quantum gates. In most processors, the native interactions are pairwise, limiting the efficiency of controlling entanglement between many qubits. Here we experimentally demonstrate a new class of native interactions between trapped-ion qubits, extending conventional pairwise interactions to higher order. We realize three- and four-body spin interactions as examples, showing that high-order spin polynomials may serve as a new toolbox for quantum information applications.

Pairs of free particles cannot form bound states in elastic collision due to momentum and energy conservation. In many ultracold experiments, however, the particles collide in the presence of an external trapping potential which can couple the center-of-mass and relative motions and assist the formation of bound-states. Here, we report on observation of weakly bound molecular states formed between one ultracold $^{87}$Rb atom and a single trapped $^{88}$Sr$^+$ ion in the presence of a linear Paul trap. We show that bound states can form efficiently in binary collisions, and enhance the rate of inelastic processes. By observing electronic spin-exchange rate, we study the dependence of these bound states on the collision energy and magnetic field and extract the average molecular binding energy $E_{\textrm{bind}}=0.7(1)$ mK$\cdot k_B$ and the mean lifetime of the molecule $τ=0.5(1)\,μ$s, with good agreement with molecular-dynamics simulations. Our simulations predict a highly unusual power-law distribution of molecular lifetimes with a mean that is dominated by extreme, long-lived, events. The dependence of the molecular properties on the trapping parameters opens new avenues to study and control ultracold collisions.

Trapped atomic ion crystals are a leading platform for quantum simulations of spin systems, with programmable and long-range spin-spin interactions mediated by excitations of phonons in the crystal. We describe a complementary approach for quantum simulations of bosonic systems using phonons in trapped-ion crystals, here mediated by excitations of the trapped ion spins. The scheme features a high degree of programability over a dense graph of bosonic couplings and is suitable for hard problems such as boson sampling and simulations of long range bosonic and spin-boson Hamiltonians.

Trapped atomic ion qubits or effective spins are a powerful quantum platform for quantum computation and simulation, featuring densely connected and efficiently programmable interactions between the spins. While native interactions between trapped ion spins are typically pairwise, many quantum algorithms and quantum spin models naturally feature couplings between triplets, quartets or higher orders of spins. Here we formulate and analyze a mechanism that extends the standard Mølmer-Sørensen pairwise entangling gate and generates a controllable and programmable coupling between $N$ spins of trapped ions. We show that spin-dependent optical forces applied at twice the motional frequency generate a coordinate-transformation of the collective ion motion in phase-space, rendering displacement forces that are nonlinear in the spin operators. We formulate a simple framework that enables a systematic and faithful construction of high-order spin Hamiltonians and gates, including the effect of multiple modes of motion, and characterize the performance of such operations under realistic conditions.

We describe a simple protocol for the single-step generation of $N$-body entangling interactions between trapped atomic ion qubits. We show that qubit state-dependent squeezing operations and displacement forces on the collective atomic motion can generate full $N$-body interactions. Similar to the Mølmer-Sørensen two-body Ising interaction at the core of most trapped ion quantum computers and simulators, the proposed operation is relatively insensitive to the state of motion. We show how this $N$-body gate operation allows the single-step implementation of a family of $N$-bit gate operations such as the powerful $N$-Toffoli gate, which flips a single qubit if and only if all other $N$-$1$ qubits are in a particular state.

Achieving quantum computational advantage requires solving a classically intractable problem on a quantum device. Natural proposals rely upon the intrinsic hardness of classically simulating quantum mechanics; however, verifying the output is itself classically intractable. On the other hand, certain quantum algorithms (e.g. prime factorization via Shor's algorithm) are efficiently verifiable, but require more resources than what is available on near-term devices. One way to bridge the gap between verifiability and implementation is to use "interactions" between a prover and a verifier. By leveraging cryptographic functions, such protocols enable the classical verifier to enforce consistency in a quantum prover's responses across multiple rounds of interaction. In this work, we demonstrate the first implementation of an interactive quantum advantage protocol, using an ion trap quantum computer. We execute two complementary protocols -- one based upon the learning with errors problem and another where the cryptographic construction implements a computational Bell test. To perform multiple rounds of interaction, we implement mid-circuit measurements on a subset of trapped ion qubits, with subsequent coherent evolution. For both protocols, the performance exceeds the asymptotic bound for classical behavior; maintaining this fidelity at scale would conclusively demonstrate verifiable quantum advantage.

Simulations of nuclear magnetic resonance (NMR) experiments can be an important tool for extracting information about molecular structure and optimizing experimental protocols but are often intractable on classical computers for large molecules such as proteins and for protocols such as zero-field NMR. We demonstrate the first quantum simulation of an NMR spectrum, computing the zero-field spectrum of the methyl group of acetonitrile using four qubits of a trapped-ion quantum computer. We reduce the sampling cost of the quantum simulation by an order of magnitude using compressed sensing techniques. We show how the intrinsic decoherence of NMR systems may enable the zero-field simulation of classically hard molecules on relatively near-term quantum hardware and discuss how the experimentally demonstrated quantum algorithm can be used to efficiently simulate scientifically and technologically relevant solid-state NMR experiments on more mature devices. Our work opens a practical application for quantum computation.

The cross section of a given process fundamentally quantifies the probability for that given process to occur. In the quantum regime of low energies, the cross section can vary strongly with collision energy due to quantum effects. Here, we report on a method to directly measure the atom-ion collisional cross section in the energy range of 0.2-12 mK$\cdot$ k$_B$, by shuttling ultracold atoms trapped in an optical-lattice across a radio-frequency trapped ion. In this method, the average number of atom-ion collisions per experiment is below one such that the energy resolution is not limited by the broad (power-law) steady-state atom-ion energy distribution. Here, we estimate that the energy resolution is below 200 $μ$K$\cdot$k$_B$, limited by drifts in the ion's excess micromotion compensation and can be reduced to the 10's $μ$K$\cdot$k$_B$ regime. This resolution is one order-of-magnitude better than previous experiments measuring cold atom-ion collisional cross section energy dependence. We used our method to measure the energy dependence of the inelastic collision cross sections of a non-adiabatic Electronic-Excitation-Exchange (EEE) and Spin-Orbit Change (SOC) processes. We found that in the measured energy range, the EEE and SOC cross sections statistically agree with the classical Langevin cross section. This method allows for measuring the cross sections of various inelastic processes and opens up possibilities to search for atom-ion quantum signatures such as shape-resonances.