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.

Native qudit entanglement in a trapped ion quantum processor.

Quantum information carriers, just like most physical systems, naturally occupy high-dimensional Hilbert spaces. Instead of restricting them to a two-level subspace, these high-dimensional (qudit) quantum systems are emerging as a powerful resource for the next generation of quantum processors. Yet harnessing the potential of these systems requires efficient ways of generating the desired interaction between them. Here, we experimentally demonstrate an implementation of a native two-qudit entangling gate up to dimension 5 in a trapped-ion system. This is achieved by generalizing a recently proposed light-shift gate mechanism to generate genuine qudit entanglement in a single application of the gate. The gate seamlessly adapts to the local dimension of the system with a calibration overhead that is independent of the dimension.

Approaching optimal entangling collective measurements on quantum computing platforms.

Entanglement is a fundamental feature of quantum mechanics and holds great promise for enhancing metrology and communications. Much of the focus of quantum metrology so far has been on generating highly entangled quantum states that offer better sensitivity, per resource, than what can be achieved classically. However, to reach the ultimate limits in multi-parameter quantum metrology and quantum information processing tasks, collective measurements, which generate entanglement between multiple copies of the quantum state, are necessary. Here, we experimentally demonstrate theoretically optimal single- and two-copy collective measurements for simultaneously estimating two non-commuting qubit rotations. This allows us to implement quantum-enhanced sensing, for which the metrological gain persists for high levels of decoherence, and to draw fundamental insights about the interpretation of the uncertainty principle. We implement our optimal measurements on superconducting, trapped-ion and photonic systems, providing an indication of how future quantum-enhanced sensing networks may look.

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.

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.

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.

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.

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.

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.

Characterizing large-scale quantum computers via cycle benchmarking.

Quantum computers promise to solve certain problems more efficiently than their digital counterparts. A major challenge towards practically useful quantum computing is characterizing and reducing the various errors that accumulate during an algorithm running on large-scale processors. Current characterization techniques are unable to adequately account for the exponentially large set of potential errors, including cross-talk and other correlated noise sources. Here we develop cycle benchmarking, a rigorous and practically scalable protocol for characterizing local and global errors across multi-qubit quantum processors. We experimentally demonstrate its practicality by quantifying such errors in non-entangling and entangling operations on an ion-trap quantum computer with up to 10 qubits, and total process fidelities for multi-qubit entangling gates ranging from [Formula: see text] for 2 qubits to [Formula: see text] for 10 qubits. Furthermore, cycle benchmarking data validates that the error rate per single-qubit gate and per two-qubit coupling does not increase with increasing system size.

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.

Probing Rényi entanglement entropy via randomized measurements.

Entanglement is a key feature of many-body quantum systems. Measuring the entropy of different partitions of a quantum system provides a way to probe its entanglement structure. Here, we present and experimentally demonstrate a protocol for measuring the second-order Rényi entropy based on statistical correlations between randomized measurements. Our experiments, carried out with a trapped-ion quantum simulator with partition sizes of up to 10 qubits, prove the overall coherent character of the system dynamics and reveal the growth of entanglement between its parts, in both the absence and presence of disorder. Our protocol represents a universal tool for probing and characterizing engineered quantum systems in the laboratory, which is applicable to arbitrary quantum states of up to several tens of qubits.

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.

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.

Realization of a scalable Shor algorithm.

Certain algorithms for quantum computers are able to outperform their classical counterparts. In 1994, Peter Shor came up with a quantum algorithm that calculates the prime factors of a large number vastly more efficiently than a classical computer. For general scalability of such algorithms, hardware, quantum error correction, and the algorithmic realization itself need to be extensible. Here we present the realization of a scalable Shor algorithm, as proposed by Kitaev. We factor the number 15 by effectively employing and controlling seven qubits and four "cache qubits" and by implementing generalized arithmetic operations, known as modular multipliers. This algorithm has been realized scalably within an ion-trap quantum computer and returns the correct factors with a confidence level exceeding 99%.

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.

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.