Geometry and dimensionality have played crucial roles in our understanding of the fundamental laws of nature, with examples ranging from curved space time in general relativity to modern theories of quantum gravity. In quantum many-body systems, the entanglement structure can change if the constituents are connected differently, leading to altered bounds for correlation growth and difficulties for classical computers to simulate large systems. While a universal quantum computer can perform digital simulations, an analog-digital hybrid quantum processor offers advantages such as parallelism. Here, we engineer a class of high-dimensional Ising interactions using a linear one-dimensional ion chain with up to eight qubits through stroboscopic sequences of commuting Hamiltonians. In addition, we extend this method to noncommuting circuits and demonstrate the quantum XY and Heisenberg models using Floquet periodic drives with tunable symmetries. The realization of higher-dimensional spin models offers new opportunities ranging from studying topological phases of matter or quantum spin glasses to future fault-tolerant quantum computation.
Geometry and dimensionality have played crucial roles in our understanding of the fundamental laws of nature, with examples ranging from curved space time in general relativity to modern theories of quantum gravity. In quantum many-body systems, the entanglement structure can change if the constituents are connected differently, leading to altered bounds for correlation growth and difficulties for classical computers to simulate large systems. While a universal quantum computer can perform digital simulations, an analog-digital hybrid quantum processor offers advantages such as parallelism. Here, we engineer a class of high-dimensional Ising interactions using a linear one-dimensional ion chain with up to eight qubits through stroboscopic sequences of commuting Hamiltonians. In addition, we extend this method to noncommuting circuits and demonstrate the quantum XY and Heisenberg models using Floquet periodic drives with tunable symmetries. The realization of higher-dimensional spin models offers new opportunities ranging from studying topological phases of matter or quantum spin glasses to future fault-tolerant quantum computation.
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.
While fault-tolerant quantum computation might still be years away, analog quantum simulators offer a way to leverage current quantum technologies to study classically intractable quantum systems. Cutting edge quantum simulators such as those utilizing ultracold atoms are beginning to study physics which surpass what is classically tractable. As the system sizes of these quantum simulators increase, there are also concurrent gains in the complexity and types of Hamiltonians which can be simulated. In this work, I describe advances toward the realization of an adaptable, tunable quantum simulator capable of surpassing classical computation. We simulate long-ranged Ising and XY spin models which can have global arbitrary transverse and longitudinal fields in addition to individual transverse fields using a linear chain of up to 24 Yb+ 171 ions confined in a linear rf Paul trap. Each qubit is encoded in the ground state hyperfine levels of an ion. Spin-spin interactions are engineered by the application of spin-dependent forces from laser fields, coupling spin to motion. Each spin can be read independently using state-dependent fluorescence. The results here add yet more tools to an ever growing quantum simulation toolbox. One of many challenges has been the coherent manipulation of individual qubits. By using a surprisingly large fourth-order Stark shifts in a clock-state qubit, we demonstrate an ability to individually manipulate spins and apply independent Hamiltonian terms, greatly increasing the range of quantum simulations which can be implemented. As quantum systems grow beyond the capability of classical numerics, a constant question is how to verify a quantum simulation. Here, I present measurements which may provide useful metrics for large system sizes and demonstrate them in a system of up to 24 ions during a classically intractable simulation. The observed values are consistent with extremely large entangled states, as much as ~95% of the system entangled. Finally, we use many of these techniques in order to generate a spin Hamiltonian which fails to thermalize during experimental time scales due to a meta-stable state which is often called prethermal. The observed prethermal state is a new form of prethermalization which arises due to long-range interactions and open boundary conditions, even in the thermodynamic limit. This prethermalization is observed in a system of up to 22 spins. We expect that system sizes can be extended up to 30 spins with only minor upgrades to the current apparatus. These results emphasize that as the technology improves, the techniques and tools developed here can potentially be used to perform simulations which will surpass the capability of even the most sophisticated classical techniques, enabling the study of a whole new regime of quantum many-body physics.
<!--HTML--> In this talk, I will review the fundamental principles of quantum information processing and provide an update on the Innsbruck trapped-ion quantum computer [1]. Using strings of trapped ions, we realize a programmable quantum processor capable of performing universal operations. I will give an overview of the experimental quantum toolbox and discuss current strategies for scaling the system to larger sizes. The versatility of this platform is illustrated through both analog and digital quantum simulations. By exploiting the trapped-ion toolbox for entanglement-enhanced Ramsey interferometry, we identify optimal parameters for quantum metrology [2]. Employing universal quantum computation, we explore the dynamics of the Lattice Schwinger model [3] - a one-dimensional gauge theory of quantum electrodynamics - and, using a hybrid quantum-classical variational approach, we determine steady-state properties of the corresponding Hamiltonian [4]. Finally, with a trapped-ion qudit quantum processor, in which quantum information is encoded in multiple internal states, we simulate a two-dimensional lattice gauge theory [5}. [1] I. Pogorelov et al., PRX Quantum 2, 020343 (2021) [2] C. D. Marciniak et al., Nature 603, 604 (2022) [3] E. A. Martinez et al., Nature 534, 516 (2016) [4] C. Kokail et al., Nature 569, 355–360 (2019) [5] M. Meth et al., Nature Physics 21, 570 (2025)
A promising paradigm of quantum computing for achieving practical quantum advantages is quantum annealing or quantum approximate optimization algorithm, where the classical problems are encoded in Ising interactions. However, it is challenging to build a quantum system that can efficiently map any structured problems. Here, we present a trapped-ion quantum processor that can efficient encode arbitrary Ising models with all-to-all connectivity for up to four spins. We implement the spin-spin interactions by using the coupling of trapped ions to multiple collective motional modes and realize the programmability through phase modulation of the Raman laser beams that are individually addressed on ions. As an example, we realize several Ising models with different interaction connectivities, where the interactions can be ferromagnetic or antiferromagnetic. We confirm the programmed interaction geometry by observing the ground states of the corresponding models through quantum state tomography. Our experimental demonstrations serve as an important basis for realizing practical quantum advantages with trapped ions.
Universal digital quantum computers are able to approximate any Hamiltonian evolution as a digital quantum circuit consisting of discrete time steps. Strongly interacting physics models, for example in high-energy physics or materials science, make this a challenging task for near-term devices as they place a high demand on the quantum resources required [1]. One alternative is analog quantum simulation where the native evolution of a quantum system can be tailored to mimic that of the model of interest. While more efficient at specific problems, there are limits on the types of evolution available and on the observables that can be measured. In this conference paper we present first results towards unifying these two concepts in a trapped-ion experiment. Trapped atomic ions are one of the most advanced experimental platforms for both analog quantum simulation and digital quantum computing. Typically, the internal spin degrees of freedom are used qubits or for the simulation of spin models. The harmonic oscillator modes given by the motion of the ions in the trap are only employed transiently to create quantum gates or spin-spin interactions. However, these motional modes constitute a large Hilbert space themselves and present a bosonic degree of freedom, which is costly to model with qubits. Many systems of interest, for example Lattice gauge theories, require both spin and boson degrees of freedom. It was recently shown that they can be encoded more efficiently using the harmonic oscillator modes directly [2].
In a recent experiment, Barreiro et al (2011 Nature 470 486) demonstrated the fundamental building blocks of an open-system quantum simulator with trapped ions. Using up to five ions, dynamics were realized by sequences that combined single- and multi-qubit entangling gate operations with optical pumping. This enabled the implementation of both coherent many-body dynamics and dissipative processes by controlling the coupling of the system to an artificial, suitably tailored environment. This engineering was illustrated by the dissipative preparation of entangled two- and four-qubit states, the simulation of coherent four-body spin interactions and the quantum non-demolition measurement of a multi-qubit stabilizer operator. In this paper, we present the theoretical framework of this gate-based ('digital') simulation approach for open-system dynamics with trapped ions. In addition, we discuss how within this simulation approach, minimal instances of spin models of interest in the context of topological quantum computing and condensed matter physics can be realized in state-of-the-art linear ion-trap quantum computing architectures. We outline concrete simulation schemes for Kitaev's toric code Hamiltonian and a recently suggested color code model. The presented simulation protocols can be adapted to scalable and two-dimensional ion-trap architectures, which are currently under development.