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].
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].
Quantum field theories are the cornerstones of modern physics, providing relativistic and quantum mechanical descriptions of physical systems at the most fundamental level. Simulating real-time dynamics within these theories remains elusive in classical computing. This provides a unique opportunity for quantum simulators, which hold the promise of revolutionizing our simulation capabilities. Trapped-ion systems are successful quantum-simulator platforms for quantum many-body physics and can operate in digital, or gate-based, and analog modes. Inspired by the progress in proposing and realizing quantum simulations of a number of relativistic quantum field theories using trapped-ion systems, and by the hybrid analog-digital proposals for simulating interacting boson-fermion models, we propose hybrid analog-digital quantum simulations of selected quantum field theories, taking recent developments to the next level. On one hand, the semi-digital nature of this proposal offers more flexibility in engineering generic model interactions compared with a fully-analog approach. On the other hand, encoding the bosonic fields onto the phonon degrees of freedom of the trapped-ion system allows a more efficient usage of simulator resources, and a more natural implementation of intrinsic quantum operations in such platforms. This opens up ways for simulating complex dynamics of, e.g., Abelian and non-Abelian gauge theories, by combining the benefits of digital and analog schemes.
Trapped atomic ions are among the most advanced platforms for quantum simulation, computation, and metrology, offering long coherence times and precise, individual control over both internal and motional degrees of freedom. In this review, we present a pedagogical introduction to trapped-ion systems, covering the physics of ion trapping, qubit encodings, and laser-ion interactions. We explain how spin-dependent forces generated by light fields enable both analog and digital quantum simulations of spin and spin-boson models, as well as high-fidelity quantum logic gates. We then highlight an emerging frontier in the simulation of chemical dynamics, summarizing recent experiments that demonstrate the capability of trapped ions to simulate vibronic models and excitation-transfer processes. Finally, we outline future directions in quantum simulation and discuss open challenges in scaling up trapped-ion architectures.
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.
We explore the feasibility of gate-based hybrid quantum computing using both discrete (qubit) and continuous (qumode) variables on trapped-ion platforms. Trapped-ion systems have demonstrated record one- and two-qubit gate fidelities and long qubit coherence times, while qumodes, which can be represented by the collective vibrational modes of the ion chain, have remained relatively unexplored for their use in computing. Using numerical simulations, we show that high-fidelity hybrid gates and measurement operations can be achieved for existing trapped-ion quantum platforms. As an exemplary application, we consider quantum simulations of the Jaynes-Cummings-Hubbard model, which is given by a one-dimensional chain of interacting spin and boson degrees of freedom. Using classical simulations, we study its real-time evolution and develop a suitable variational quantum algorithm for ground state preparation. Our results motivate further studies of hybrid quantum computing in this context, which may lead to direct applications in condensed matter and fundamental particle and nuclear physics.
Abstract The past few years have witnessed the concrete and fast spreading of quantum technologies for practical computation and simulation. In particular, quantum computing platforms based on either trapped ions or superconducting qubits have become available for simulations and benchmarking, with up to few tens of qubits that can be reliably initialized, controlled, and measured. The present Review aims at giving a comprehensive outlook on the state‐of‐the‐art capabilities offered from these near‐term noisy devices as universal quantum simulators, that is, programmable quantum computers potentially able to calculate the time evolution of many physical models. First, a pedagogic overview on the basic theoretical background pertaining digital quantum simulations is given, with a focus on hardware‐dependent mapping of spin‐type Hamiltonians into the corresponding quantum circuit as a key initial step toward simulating more complex models. Then, the main experimental achievements obtained in the last decade are reviewed, focusing on the digital quantum simulation of such spin models by employing two leading quantum architectures. Their performances are compared, and future challenges are outlined, also in view of prospective hybrid technologies, towards the ultimate goal of reaching the long‐sought quantum advantage for the simulation of complex many‐body models in the physical sciences.
Abstract We introduce a hardware-specific, problem-dependent digital-analog quantum algorithm of a counterdiabatic quantum dynamics tailored for optimization problems. Specifically, we focus on trapped-ion architectures, taking advantage from global Mølmer–Sørensen gates as the analog interactions complemented by digital gates, both of which are available in the state-of-the-art technologies. We show an optimal configuration of analog blocks and digital steps leading to a substantial reduction in circuit depth compared to the purely digital approach. This implies that, using the proposed encoding, we can address larger optimization problem instances, requiring more qubits, while preserving the coherence time of current devices. Furthermore, we study the minimum gate fidelity required by the analog blocks to outperform the purely digital simulation, finding that it is below the best fidelity reported in the literature. To validate the performance of the digital-analog encoding, we tackle the maximum independent set problem, showing that it requires fewer resources compared to the digital case. This hybrid co-design approach paves the way towards quantum advantage for efficient solutions of quantum optimization problems.