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.

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.

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.

Measurement-Device-Independent Verification of Quantum Channels.

The capability to reliably transmit and store quantum information is an essential building block for future quantum networks and processors. Gauging the ability of a communication link or quantum memory to preserve quantum correlations is therefore vital for their technological application. Here, we experimentally demonstrate a measurement-device-independent protocol for certifying that an unknown channel acts as an entanglement-preserving channel. Our results show that, even under realistic experimental conditions, including imperfect single-photon sources and the various kinds of noise-in the channel or in detection-where other verification means would fail or become inefficient, the present verification protocol is still capable of affirming the quantum behavior in a faithful manner with minimal trust on the measurement device.

Enhanced Multiqubit Phase Estimation in Noisy Environments by Local Encoding.

The first generation of multiqubit quantum technologies will consist of noisy, intermediate-scale devices for which active error correction remains out of reach. To exploit such devices, it is thus imperative to use passive error protection that meets a careful trade-off between noise protection and resource overhead. Here, we experimentally demonstrate that single-qubit encoding can significantly enhance the robustness of entanglement and coherence of four-qubit graph states against local noise with a preferred direction. In particular, we explicitly show that local encoding provides a significant practical advantage for phase estimation in noisy environments. This demonstrates the efficacy of local unitary encoding under realistic conditions, with potential applications in multiqubit quantum technologies for metrology, multipartite secrecy, and error correction.

Experimental test of local observer independence.

The scientific method relies on facts, established through repeated measurements and agreed upon universally, independently of who observed them. In quantum mechanics the objectivity of observations is not so clear, most markedly exposed in Wigner's eponymous thought experiment where two observers can experience seemingly different realities. The question whether the observers' narratives can be reconciled has only recently been made accessible to empirical investigation, through recent no-go theorems that construct an extended Wigner's friend scenario with four observers. In a state-of-the-art six-photon experiment, we realize this extended Wigner's friend scenario, experimentally violating the associated Bell-type inequality by five standard deviations. If one holds fast to the assumptions of locality and free choice, this result implies that quantum theory should be interpreted in an observer-dependent way.

Ultrafine Entanglement Witnessing.

Entanglement witnesses are invaluable for efficient quantum entanglement certification without the need for expensive quantum state tomography. Yet, standard entanglement witnessing requires multiple measurements and its bounds can be elusive as a result of experimental imperfections. Here, we introduce and demonstrate a novel procedure for entanglement detection which simply and seamlessly improves any standard witnessing procedure by using additional available information to tighten the witnessing bounds. Moreover, by relaxing the requirements on the witness operators, our method removes the general need for the difficult task of witness decomposition into local observables. We experimentally demonstrate entanglement detection with our approach using a separable test operator and a simple fixed measurement device for each agent. Finally, we show that the method can be generalized to higher-dimensional and multipartite cases with a complexity that scales linearly with the number of parties.

Erratum: Ultrafine Entanglement Witnessing [Phys. Rev. Lett. 118, 110502 (2017)].

This corrects the article DOI: 10.1103/PhysRevLett.118.110502.

Experimental test of nonlocal causality.

Explaining observations in terms of causes and effects is central to empirical science. However, correlations between entangled quantum particles seem to defy such an explanation. This implies that some of the fundamental assumptions of causal explanations have to give way. We consider a relaxation of one of these assumptions, Bell's local causality, by allowing outcome dependence: a direct causal influence between the outcomes of measurements of remote parties. We use interventional data from a photonic experiment to bound the strength of this causal influence in a two-party Bell scenario, and observational data from a Bell-type inequality test for the considered models. Our results demonstrate the incompatibility of quantum mechanics with a broad class of nonlocal causal models, which includes Bell-local models as a special case. Recovering a classical causal picture of quantum correlations thus requires an even more radical modification of our classical notion of cause and effect.

Information causality in the quantum and post-quantum regime.

Quantum correlations can be stronger than anything achieved by classical systems, yet they are not reaching the limit imposed by relativity. The principle of information causality offers a possible explanation for why the world is quantum and why there appear to be no even stronger correlations. Generalizing the no-signaling condition it suggests that the amount of accessible information must not be larger than the amount of transmitted information. Here we study this principle experimentally in the classical, quantum and post-quantum regimes. We simulate correlations that are stronger than allowed by quantum mechanics by exploiting the effect of polarization-dependent loss in a photonic Bell-test experiment. Our method also applies to other fundamental principles and our results highlight the special importance of anisotropic regions of the no-signalling polytope in the study of fundamental principles.

A two-qubit photonic quantum processor and its application to solving systems of linear equations.

Large-scale quantum computers will require the ability to apply long sequences of entangling gates to many qubits. In a photonic architecture, where single-qubit gates can be performed easily and precisely, the application of consecutive two-qubit entangling gates has been a significant obstacle. Here, we demonstrate a two-qubit photonic quantum processor that implements two consecutive CNOT gates on the same pair of polarisation-encoded qubits. To demonstrate the flexibility of our system, we implement various instances of the quantum algorithm for solving of systems of linear equations.

Experimental simulation of closed timelike curves.

Closed timelike curves are among the most controversial features of modern physics. As legitimate solutions to Einstein's field equations, they allow for time travel, which instinctively seems paradoxical. However, in the quantum regime these paradoxes can be resolved, leaving closed timelike curves consistent with relativity. The study of these systems therefore provides valuable insight into nonlinearities and the emergence of causal structures in quantum mechanics--essential for any formulation of a quantum theory of gravity. Here we experimentally simulate the nonlinear behaviour of a qubit interacting unitarily with an older version of itself, addressing some of the fascinating effects that arise in systems traversing a closed timelike curve. These include perfect discrimination of non-orthogonal states and, most intriguingly, the ability to distinguish nominally equivalent ways of preparing pure quantum states. Finally, we examine the dependence of these effects on the initial qubit state, the form of the unitary interaction and the influence of decoherence.

Experimental joint quantum measurements with minimum uncertainty.

Quantum physics constrains the accuracy of joint measurements of incompatible observables. Here we test tight measurement-uncertainty relations using single photons. We implement two independent, idealized uncertainty-estimation methods, the three-state method and the weak-measurement method, and adapt them to realistic experimental conditions. Exceptional quantum state fidelities of up to 0.999 98(6) allow us to verge upon the fundamental limits of measurement uncertainty.