Johannes Franke

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.

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.

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.