Universal Digital Quantum Simulation with Trapped Ions
B. P. Lanyon, Cornelius Hempel, Daniel Nigg, Markus Müller, R. Gerritsma, F. Zähringer, Philipp Schindler, Julio T. Barreiro, Markus Rambach, Gerhard Kirchmair, Markus Hennrich, P. Zoller, R. Blatt, Christian F. Roos
A digital quantum simulator is an envisioned quantum device that can be programmed to efficiently simulate any other local system. We demonstrate and investigate the digital approach to quantum simulation in a system of trapped ions. With sequences of up to 100 gates and 6 qubits, the full time dynamics of a range of spin systems are digitally simulated. Interactions beyond those naturally present in our simulator are accurately reproduced, and quantitative bounds are provided for the overall simulation quality. Our results demonstrate the key principles of digital quantum simulation and provide evidence that the level of control required for a full-scale device is within reach.
A digital quantum simulator is an envisioned quantum device that can be programmed to efficiently simulate any other local system. We demonstrate and investigate the digital approach to quantum simulation in a system of trapped ions. With sequences of up to 100 gates and 6 qubits, the full time dynamics of a range of spin systems are digitally simulated. Interactions beyond those naturally present in our simulator are accurately reproduced, and quantitative bounds are provided for the overall simulation quality. Our results demonstrate the key principles of digital quantum simulation and provide evidence that the level of control required for a full-scale device is within reach.
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 computing will be one of the most incredible breakthroughs in science and technology of our generation. Although the ultimate goal of building quantum computers that hold thousands of error-corrected qubits is still beyond our reach, we have made substantial progress. Compared with the first-generation prototypes, holding a few qubits with gate errors of several percent, the latest generation systems can apply more than a hundred gates (with fidelities above 99%) to tens of fully connected qubits. This thesis focuses on the applications of such state-of-the-art ion-trap quantum computers. The latest generation ion-trap quantum computers have become complex enough that automation is necessary for optimal operations. We present a full-stack automation scheme implemented on a system at the University of Maryland. With the automation scheme, the system can operate without human interference for a few days. With automation, such systems can efficiently demonstrate different categories of applications. We present the experimental study of several hybrid algorithms aiming for generation modeling and efficient quantum state preparation. We also present a gate-based digital quantum simulation with the trotterization method. Our result accurately reproduced all the features expected from running the algorithms. Verifying quantum computations with classical simulation is getting increasingly challenging as quantum computers evolve. We present two approaches to validate quantum computations. First, we demonstrate a method based on random measurement for comparing the results from different quantum computers. Our comparison captures the similarities between quantum computers made with the same technology. We then present experimental works in verifying quantum advantage classically with interactive protocols. We show that our results, at scale with real-time interaction, can demonstrate quantum advantages.
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.
Quantum simulators, which exploit quantum effects to reveal unknown or difficult-to-compute properties of a model of interest, play a significant role in quantum information science. Quantum simulation of the dynamics of many-body system has been widely studied for various quantum computing systems, including cold atoms, trapped ions and photons. However, simulation of quantum channels, which describes one of the most general quantum processes in realistic systems, has not yet been fully explored, even for single-qubit channels. Here we report the first experimental digital quantum simulator of arbitrary single-qubit channels. We built this simulator with a set of single-qubit gates together with a single two-qubit entangling gate. We show that any single-qubit channel can be efficiently and accurately programmed and compiled by our simulator. Our scheme generalizes Hamiltonian-based simulators to channel-based digital quantum simulators, which could have important applications in quantum computation and quantum simulation.
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.
Trapped ions offer long coherence times and high-fidelity, programmable quantum operations, making them a promising platform for quantum simulation of condensed matter systems, quantum dynamics, and problems related to high-energy physics. We review selected developments in trapped-ion qubits and architectures and discuss quantum simulation applications that utilize these emerging capabilities. This review emphasizes developments in digital (gate-based) quantum simulations that exploit trapped-ion hardware capabilities, such as flexible qubit connectivity, selective midcircuit measurement, and classical feedback, to simulate models with long-range interactions, explore nonunitary dynamics, compress simulations of states with limited entanglement, and reduce the circuit depths required to prepare or simulate long-range entangled states.