Exploring large-scale entanglement in quantum simulation.

Entanglement is a distinguishing feature of quantum many-body systems, and uncovering the entanglement structure for large particle numbers in quantum simulation experiments is a fundamental challenge in quantum information science1. Here we perform experimental investigations of entanglement on the basis of the entanglement Hamiltonian (EH)2 as an effective description of the reduced density operator for large subsystems. We prepare ground and excited states of a one-dimensional XXZ Heisenberg chain on a 51-ion programmable quantum simulator3 and perform sample-efficient 'learning' of the EH for subsystems of up to 20 lattice sites4. Our experiments provide compelling evidence for a local structure of the EH. To our knowledge, this observation marks the first instance of confirming the fundamental predictions of quantum field theory by Bisognano and Wichmann5,6, adapted to lattice models that represent correlated quantum matter. The reduced state takes the form of a Gibbs ensemble, with a spatially varying temperature profile as a signature of entanglement2. Our results also show the transition from area- to volume-law scaling7 of von Neumann entanglement entropies from ground to excited states. As we venture towards achieving quantum advantage, we anticipate that our findings and methods have wide-ranging applicability to revealing and understanding entanglement in many-body problems with local interactions including higher spatial dimensions.

Quantum-enhanced sensing on optical transitions through finite-range interactions.

The control over quantum states in atomic systems has led to the most precise optical atomic clocks so far1-3. Their sensitivity is bounded at present by the standard quantum limit, a fundamental floor set by quantum mechanics for uncorrelated particles, which can-nevertheless-be overcome when operated with entangled particles. Yet demonstrating a quantum advantage in real-world sensors is extremely challenging. Here we illustrate a pathway for harnessing large-scale entanglement in an optical transition using 1D chains of up to 51 ions with interactions that decay as a power-law function of the ion separation. We show that our sensor can emulate many features of the one-axis-twisting (OAT) model, an iconic, fully connected model known to generate scalable squeezing4 and Greenberger-Horne-Zeilinger-like states5-8. The collective nature of the state manifests itself in the preservation of the total transverse magnetization, the reduced growth of the structure factor, that is, spin-wave excitations (SWE), at finite momenta, the generation of spin squeezing comparable with OAT (a Wineland parameter9,10 of -3.9 ± 0.3 dB for only N = 12 ions) and the development of non-Gaussian states in the form of multi-headed cat states in the Q-distribution. We demonstrate the metrological utility of the states in a Ramsey-type interferometer, in which we reduce the measurement uncertainty by -3.2 ± 0.5 dB below the standard quantum limit for N = 51 ions.

Demonstration of fault-tolerant universal quantum gate operations.

Quantum computers can be protected from noise by encoding the logical quantum information redundantly into multiple qubits using error-correcting codes1,2. When manipulating the logical quantum states, it is imperative that errors caused by imperfect operations do not spread uncontrollably through the quantum register. This requires that all operations on the quantum register obey a fault-tolerant circuit design3-5, which, in general, increases the complexity of the implementation. Here we demonstrate a fault-tolerant universal set of gates on two logical qubits in a trapped-ion quantum computer. In particular, we make use of the recently introduced paradigm of flag fault tolerance, where the absence or presence of dangerous errors is heralded by the use of auxiliary flag qubits6-10. We perform a logical two-qubit controlled-NOT gate between two instances of the seven-qubit colour code11,12, and fault-tolerantly prepare a logical magic state8,13. We then realize a fault-tolerant logical T gate by injecting the magic state by teleportation from one logical qubit onto the other14. We observe the hallmark feature of fault tolerance-a superior performance compared with a non-fault-tolerant implementation. In combination with recently demonstrated repeated quantum error-correction cycles15,16, these results provide a route towards error-corrected universal quantum computation.

Optimal metrology with programmable quantum sensors.

Quantum sensors are an established technology that has created new opportunities for precision sensing across the breadth of science. Using entanglement for quantum enhancement will allow us to construct the next generation of sensors that can approach the fundamental limits of precision allowed by quantum physics. However, determining how state-of-the-art sensing platforms may be used to converge to these ultimate limits is an outstanding challenge. Here we merge concepts from the field of quantum information processing with metrology, and successfully implement experimentally a programmable quantum sensor operating close to the fundamental limits imposed by the laws of quantum mechanics. We achieve this by using low-depth, parametrized quantum circuits implementing optimal input states and measurement operators for a sensing task on a trapped-ion experiment. With 26 ions, we approach the fundamental sensing limit up to a factor of 1.45 ± 0.01, outperforming conventional spin-squeezing with a factor of 1.87 ± 0.03. Our approach reduces the number of averages to reach a given Allan deviation by a factor of 1.59 ± 0.06 compared with traditional methods not using entanglement-enabled protocols. We further perform on-device quantum-classical feedback optimization to 'self-calibrate' the programmable quantum sensor with comparable performance. This ability illustrates that this next generation of quantum sensor can be used without previous knowledge of the device or its noise environment.

Entangling logical qubits with lattice surgery.

The development of quantum computing architectures from early designs and current noisy devices to fully fledged quantum computers hinges on achieving fault tolerance using quantum error correction1-4. However, these correction capabilities come with an overhead for performing the necessary fault-tolerant logical operations on logical qubits (qubits that are encoded in ensembles of physical qubits and protected by error-correction codes)5-8. One of the most resource-efficient ways to implement logical operations is lattice surgery9-11, where groups of physical qubits, arranged on lattices, can be merged and split to realize entangling gates and teleport logical information. Here we report the experimental realization of lattice surgery between two qubits protected via a topological error-correction code in a ten-qubit ion-trap quantum information processor. In this system, we can carry out the necessary quantum non-demolition measurements through a series of local and entangling gates, as well as measurements on auxiliary qubits. In particular, we demonstrate entanglement between two logical qubits and we implement logical state teleportation between them. The demonstration of these operations-fundamental building blocks for quantum computation-through lattice surgery represents a step towards the efficient realization of fault-tolerant quantum computation.

Experimental deterministic correction of qubit loss.

The successful operation of quantum computers relies on protecting qubits from decoherence and noise, which-if uncorrected-will lead to erroneous results. Because these errors accumulate during an algorithm, correcting them is a key requirement for large-scale and fault-tolerant quantum information processors. Besides computational errors, which can be addressed by quantum error correction1-9, the carrier of the information can also be completely lost or the information can leak out of the computational space10-14. It is expected that such loss errors will occur at rates that are comparable to those of computational errors. Here we experimentally implement a full cycle of qubit loss detection and correction on a minimal instance of a topological surface code15,16 in a trapped-ion quantum processor. The key technique used for this correction is a quantum non-demolition measurement performed via an ancillary qubit, which acts as a minimally invasive probe that detects absent qubits while imparting the smallest quantum mechanically possible disturbance to the remaining qubits. Upon detecting qubit loss, a recovery procedure is triggered in real time that maps the logical information onto a new encoding on the remaining qubits. Although the current demonstration is performed in a trapped-ion quantum processor17, the protocol is applicable to other quantum computing architectures and error correcting codes, including leading two- and three-dimensional topological codes. These deterministic methods provide a complete toolbox for the correction of qubit loss that, together with techniques that mitigate computational errors, constitute the building blocks of complete and scalable quantum error correction.

Versatile Fidelity Estimation with Confidence.

As quantum devices become more complex and the requirements on these devices become more demanding, it is crucial to be able to verify the performance of such devices in a scalable and reliable fashion. A cornerstone task in this challenge is quantifying how close an experimentally prepared quantum state is to the desired one. Here we present a method to construct an estimator for the quantum state fidelity that is compatible with any measurement protocol. Our method provides a confidence interval on this estimator that is guaranteed to be nearly minimax optimal for the specified measurement protocol. For a well-chosen measurement scheme, our method is competitive in the number of measurement outcomes required for estimation. We demonstrate our method using simulations and experimental data from a trapped-ion quantum computer and compare the results to state-of-the-art techniques. Our method can be easily extended to estimate the expectation value of any observable, such as entanglement witnesses.

Observing the Quantum Mpemba Effect in Quantum Simulations.

The nonequilibrium physics of many-body quantum systems harbors various unconventional phenomena. In this Letter, 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.

Real-time dynamics of lattice gauge theories with a few-qubit quantum computer.

Gauge theories are fundamental to our understanding of interactions between the elementary constituents of matter as mediated by gauge bosons. However, computing the real-time dynamics in gauge theories is a notorious challenge for classical computational methods. This has recently stimulated theoretical effort, using Feynman's idea of a quantum simulator, to devise schemes for simulating such theories on engineered quantum-mechanical devices, with the difficulty that gauge invariance and the associated local conservation laws (Gauss laws) need to be implemented. Here we report the experimental demonstration of a digital quantum simulation of a lattice gauge theory, by realizing (1 + 1)-dimensional quantum electrodynamics (the Schwinger model) on a few-qubit trapped-ion quantum computer. We are interested in the real-time evolution of the Schwinger mechanism, describing the instability of the bare vacuum due to quantum fluctuations, which manifests itself in the spontaneous creation of electron-positron pairs. To make efficient use of our quantum resources, we map the original problem to a spin model by eliminating the gauge fields in favour of exotic long-range interactions, which can be directly and efficiently implemented on an ion trap architecture. We explore the Schwinger mechanism of particle-antiparticle generation by monitoring the mass production and the vacuum persistence amplitude. Moreover, we track the real-time evolution of entanglement in the system, which illustrates how particle creation and entanglement generation are directly related. Our work represents a first step towards quantum simulation of high-energy theories using atomic physics experiments-the long-term intention is to extend this approach to real-time quantum simulations of non-Abelian lattice gauge theories.

Heating of a Trapped Ion Induced by Dielectric Materials.

Electric-field noise due to surfaces disturbs the motion of nearby trapped ions, compromising the fidelity of gate operations that are the basis for quantum computing algorithms. We present a method that predicts the effect of dielectric materials on the ion's motion. Such dielectrics are integral components of ion traps. Quantitative agreement is found between a model with no free parameters and measurements of a trapped ion in proximity to dielectric mirrors. We expect that this approach can be used to optimize the design of ion-trap-based quantum computers and network nodes.

Efficient ion-photon qubit SWAP gate in realistic ion cavity-QED systems without strong coupling.

We present a scheme for deterministic ion-photon qubit exchange, namely a SWAP gate, based on realistic cavity-QED systems with 171Yb+, 40Ca+ and 138Ba+ ions. The gate can also serve as a single-photon quantum memory, in which an outgoing photon heralds the successful arrival of the incoming photonic qubit. Although strong coupling, namely having the single-photon Rabi frequency be the fastest rate in the system, is often assumed essential, this gate (similarly to the Duan-Kimble C-phase gate) requires only Purcell enhancement, i.e. high single-atom cooperativity. Accordingly, it does not require small mode volume cavities, which are challenging to incorporate with ions due to the difficulty of trapping them close to dielectric surfaces. Instead, larger cavities, potentially more compatible with the trap apparatus, are sufficient, as long as their numerical aperture is high enough to maintain small mode area at the ion's position. We define the optimal parameters for the gate's operation and simulate the expected fidelities and efficiencies, demonstrating that efficient photon-ion qubit exchange, a valuable building block for scalable quantum computation, is practically attainable with current experimental capabilities.

Quantum Information Scrambling in a Trapped-Ion Quantum Simulator with Tunable Range Interactions.

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.

Cross-Platform Verification of Intermediate Scale Quantum Devices.

We describe a protocol for cross-platform verification of quantum simulators and quantum computers. We show how to measure directly the overlap Tr[ρ_{1}ρ_{2}] and the purities Tr[ρ_{1,2}^{2}], 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.

Environment-Assisted Quantum Transport in a 10-qubit Network.

The way in which energy is transported through an interacting system governs fundamental properties in nature such as thermal and electric conductivity or phase changes. Remarkably, environmental noise can enhance the transport, an effect known as environment-assisted quantum transport (ENAQT). In this Letter, 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 find 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 efficiency. Our approach represents a controlled and scalable way to investigate quantum transport in many-body networks under static disorder and dynamic noise.

Ion-Based Quantum Sensor for Optical Cavity Photon Numbers.

We dispersively couple a single trapped ion to an optical cavity to extract information about the cavity photon-number distribution in a nondestructive way. The photon-number-dependent ac Stark shift experienced by the ion is measured via Ramsey spectroscopy. We use these measurements first to obtain the ion-cavity interaction strength. Next, we reconstruct the cavity photon-number distribution for coherent states and for a state with mixed thermal-coherent statistics, finding overlaps above 99% with the calibrated states.

An open-system quantum simulator with trapped ions.

The control of quantum systems is of fundamental scientific interest and promises powerful applications and technologies. Impressive progress has been achieved in isolating quantum 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 realize an experimental toolbox for simulating an open quantum system with up to five quantum bits (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 our ability to engineer the open-system dynamics through 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.

Entangled states of trapped atomic ions.

To process information using quantum-mechanical principles, the states of individual particles need to be entangled and manipulated. One way to do this is to use trapped, laser-cooled atomic ions. Attaining a general-purpose quantum computer is, however, a distant goal, but recent experiments show that just a few entangled trapped ions can be used to improve the precision of measurements. If the entanglement in such systems can be scaled up to larger numbers of ions, simulations that are intractable on a classical computer might become possible.

Certifying systematic errors in quantum experiments.

When experimental errors are ignored in an experiment, the subsequent analysis of its results becomes questionable. We develop tests to detect systematic errors in quantum experiments where only a finite amount of data is recorded and apply these tests to tomographic data taken in an ion trap experiment. We put particular emphasis on quantum state tomography and present three detection methods: the first two employ linear inequalities while the third is based on the generalized likelihood ratio.

Undoing a quantum measurement.

In general, a quantum measurement yields an undetermined answer and alters the system to be consistent with the measurement result. This process maps multiple initial states into a single state and thus cannot be reversed. This has important implications in quantum information processing, where errors can be interpreted as measurements. Therefore, it seems that it is impossible to correct errors in a quantum information processor, but protocols exist that are capable of eliminating them if they affect only part of the system. In this work we present the deterministic reversal of a fully projective measurement on a single particle, enabled by a quantum error-correction protocol in a trapped ion quantum information processor. We further introduce an in-sequence, single-species recooling procedure to counteract the motional heating of the ion string due to the measurement.

Experimental characterization of quantum dynamics through many-body interactions.

We report on the implementation of a quantum process tomography technique known as direct characterization of quantum dynamics applied on coherent and incoherent single-qubit processes in a system of trapped (40)Ca(+) ions. Using quantum correlations with an ancilla qubit, direct characterization of quantum dynamics reduces substantially the number of experimental configurations required for a full quantum process tomography and all diagonal elements of the process matrix can be estimated with a single setting. With this technique, the system's relaxation times T(1) and T(2) were measured with a single experimental configuration. We further show the first, complete characterization of single-qubit processes using a single generalized measurement realized through multibody correlations with three ancilla qubits.