Christian F. Roos

Autocorrelation functions play a key role in the theoretical characterization of the dynamical properties of interacting many-body quantum systems. Recently, bringing together the eigenstate thermalization hypothesis and hydrodynamics, it was theoretically predicted that the relaxation of autocorrelators can be described by the \textit{relaxation-overlap inequality}, which, when saturated, predicts a hierarchy of relaxation exponents for a set of operators that are easily identified and constructed. Here, we employ a trapped-ion quantum simulator to experimentally demonstrate it in the diffusive regime; to do so, we have extended the theory of the overlap-relaxation inequality to systems with multiple conservation laws. Our study thus opens the path to a thorough characterization of the relaxation to equilibrium and appearance of hydrodynamic behavior in quantum matter.

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.

Characterization of noise of a quantum harmonic oscillator is important for many experimental platforms. We experimentally demonstrate motional spin-locking spectroscopy, a method that allows us to directly measure the motional noise spectrum of a quantum harmonic oscillator. We measure motional noise of a single trapped ion in a frequency range from 200 Hz to 5 kHz with a power spectral density that resolves noise over two orders of magnitude. Coherent modulations in the oscillation frequency of the oscillator can be probed with a relative frequency sensitivity at the $10^{-6}$ level.

In quantum mechanics, the probability distribution function (PDF) and full counting statistics (FCS) play a fundamental role in characterizing the fluctuations of quantum observables, as they encode the complete information about these fluctuations. In this letter, we measure these two quantities in a trapped-ion quantum simulator for the transverse and longitudinal magnetization within a subsystem. We utilize the toolbox of classical shadows to postprocess the measurements performed in random bases. The measurement scheme efficiently allows access to the FCS and PDF of all possible operators on desired choices of subsystems of an extended quantum system.

The oscillating magnetic field produced by unbalanced currents in radio-frequency ion traps induces transition frequency shifts and sideband transitions that can be harmful to precision spectroscopy experiments. Here, we describe a methodology, based on two-photon spectroscopy, for determining both the strength and direction of rf-induced magnetic fields without modifying any DC magnetic bias field or changing any trap RF power. The technique is readily applicable to any trapped-ion experiment featuring narrow linewidth transitions.

In this work, we present a method for measuring the motional state of a two-level system coupled to a harmonic oscillator. Our technique uses ultra-narrowband composite pulses on the blue sideband transition to scan through the populations of the different motional states. Our approach does not assume any previous knowledge of the motional state distribution and is easily implemented. It is applicable both inside and outside of the Lamb-Dicke regime. For higher phonon numbers especially, the composite pulse sequence can be used as a filter for measuring phonon number ranges. We demonstrate this measurement technique using a single trapped ion and show good detection results with the numerically evaluated pulse sequence.

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.

Coulomb crystals of cold trapped ions are a leading platform for the realisation of quantum processors and quantum simulations and, in quantum metrology, for the construction of optical atomic clocks and for fundamental tests of the Standard Model. For these applications, it is not only essential to cool the ion crystal in all its degrees of freedom down to the quantum ground state, but also to be able to determine its temperature with a high accuracy. However, when a large ground-state cooled crystal is interrogated for thermometry, complex many-body interactions take place, making it challenging to accurately estimate the temperature with established techniques. In this work we present a new thermometry method tailored for ion crystals. The method is applicable to all normal modes of motion and does not suffer from a computational bottleneck when applied to large ion crystals. We test the temperature estimate with two experiments, namely with a 1D linear chain of 4 ions and a 2D crystal of 19 ions and verify the results, where possible, using other methods. The results show that the new method is an accurate and efficient tool for thermometry of ion crystals.

Linear strings of trapped atomic ions held in radio-frequency (rf) traps constitute one of the leading platforms for quantum simulation experiments, allowing for the investigation of interacting quantum matter. However, linear ion strings have drawbacks, such as the difficulty to scale beyond $\sim 50$ particles as well as the inability to naturally implement spin models with more than one spatial dimension. Here, we present experiments with planar Coulomb crystals of about 100 $^{40}$Ca$^+$ ions in a novel monolithic rf trap, laying the groundwork for quantum simulations of two-dimensional spin models with single-particle control. We characterize the trapping potential by analysis of crystal images and compare the observed crystal configurations with numerical simulations. We further demonstrate stable confinement of large crystals, free of structural configuration changes, and find that rf heating of the crystal is not an obstacle for future quantum simulation experiments. Finally, we prepare the out-of-plane motional modes of planar crystals consisting of up to 105 ions close to their ground state by electromagnetically-induced transparency cooling, an important prerequisite for implementing long-range entangling interactions.

Over the recent years coherent, time-periodic modulation has been established as a versatile tool for realizing novel Hamiltonians. Using this approach, known as Floquet engineering, we experimentally realize a long-ranged, anisotropic Heisenberg model with tunable interactions in a trapped ion quantum simulator. We demonstrate that the spectrum of the model contains not only single magnon excitations but also composite magnon bound states. For the long-range interactions with the experimentally realized power-law exponent, the group velocity of magnons is unbounded. Nonetheless, for sufficiently strong interactions we observe bound states of these unconventional magnons which possess a non-diverging group velocity. By measuring the configurational mutual information between two disjoint intervals, we demonstrate the implications of the bound state formation on the entanglement dynamics of the system. Our observations provide key insights into the peculiar role of composite excitations in the non-equilibrium dynamics of quantum many-body systems.

Quantum simulators have recently enabled experimental observations of quantum many-body systems' internal thermalization. Often, the global energy and particle number are conserved, and the system is prepared with a well-defined particle number - in a microcanonical subspace. However, quantum evolution can also conserve quantities, or charges, that fail to commute with each other. Noncommuting charges have recently emerged as a subfield at the intersection of quantum thermodynamics and quantum information. Until now, this subfield has remained theoretical. We initiate the experimental testing of its predictions, with a trapped-ion simulator. We prepare 6-21 spins in an approximate microcanonical subspace, a generalization of the microcanonical subspace for accommodating noncommuting charges, which cannot necessarily have well-defined nontrivial values simultaneously. We simulate a Heisenberg evolution using laser-induced entangling interactions and collective spin rotations. The noncommuting charges are the three spin components. We find that small subsystems equilibrate to near a recently predicted non-Abelian thermal state. This work bridges quantum many-body simulators to the quantum thermodynamics of noncommuting charges, whose predictions can now be tested.

Scaling a trapped-ion based quantum simulator to a large number of ions creates a fully-controllable quantum system that becomes inaccessible to numerical methods. When highly anisotropic trapping potentials are used to confine the ions in the form of a long linear string, several challenges have to be overcome to achieve high-fidelity coherent control of a quantum system extending over hundreds of micrometers. In this paper, we describe a setup for carrying out many-ion quantum simulations including single-ion coherent control that we use for demonstrating entanglement in 50-ion strings. Furthermore, we present a set of experimental techniques probing ion-qubits by Ramsey and Carr-Purcell-Meiboom-Gill (CPMG) pulse sequences that enable detection (and compensation) of power-line-synchronous magnetic-field variations, measurement of path length fluctuations, and of the wavefronts of elliptical laser beams coupling to the ion string.

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.

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.

The way in which energy is transported through an interacting system governs fundamental properties in many areas of physics, chemistry, and biology. Remarkably, environmental noise can enhance the transport, an effect known as environment-assisted quantum transport (ENAQT). In this paper, we study ENAQT in a network of coupled spins subject to engineered static disorder and temporally varying dephasing noise. The interacting spin network is realized in a chain of trapped atomic ions and energy transport is represented by the transfer of electronic excitation between ions. With increasing noise strength, we observe a crossover from coherent dynamics and Anderson localization to ENAQT and finally a suppression of transport due to the quantum Zeno effect. We found that in the regime where ENAQT is most effective the transport is mainly diffusive, displaying coherences only at very short times. Further, we show that dephasing characterized by non-Markovian noise can maintain coherences longer than white noise dephasing, with a strong influence of the spectral structure on the transport effciency. Our approach represents a controlled and scalable way to investigate quantum transport in many-body networks under static disorder and dynamic noise.

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.

Quantum computers hold the promise to solve certain problems exponentially faster than their classical counterparts. Trapped atomic ions are among the physical systems in which building such a computing device seems viable. In this work we present a small-scale quantum information processor based on a string of $^{40}$Ca${^+}$ ions confined in a macroscopic linear Paul trap. We review our set of operations which includes non-coherent operations allowing us to realize arbitrary Markovian processes. In order to build a larger quantum information processor it is mandatory to reduce the error rate of the available operations which is only possible if the physics of the noise processes is well understood. We identify the dominant noise sources in our system and discuss their effects on different algorithms. Finally we demonstrate how our entire set of operations can be used to facilitate the implementation of algorithms by examples of the quantum Fourier transform and the quantum order finding algorithm.

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 analyze nonlinear coupling between individual vibrational quanta for trapped ions. The nonlinear Coulomb interaction causes a Kerr-type Hamiltonian, for which we derive an analytical expression for the coupling constant. In contrast to a previously published formula [1], our result is in close agreement with experimental data.

In ion traps, entangling gate operations can be realized by a bichromatic pair of laser beams that collectively interact with the ions. In this paper, a new method of modelling the laser-ion interaction is introduced that turns out to be superior to standard techniques for the description of gate operations on optical qubits. The treatment allows for a comparison of the performance of gates based on $σ_z\otimesσ_z$ and Mølmer-Sørensen interactions on optical transitions where the bichromatic laser field can be realized by an amplitude-modulated laser resonant with the qubit transition. Shaping the amplitude of the bichromatic laser pulse is shown to make the gates more robust against experimental imperfections.