Noise-Robust and Loss-Tolerant Quantum Steering with Qudits
Vatshal Srivastav, Natalia Herrera Valencia, Will McCutcheon, Saroch Leedumrongwatthanakun, Sébastien Designolle, Roope Uola, Nicolas Brunner, Mehul Malik
一个稳健且无条件安全的量子网络的首要要求，是在真实信道上建立量子非局域关联。尽管 Bell 非局域性的无漏洞测试允许在此类设备无关设置中进行纠缠认证，但它们对损耗和噪声极其敏感，而这两者在任何实际通信场景中都会自然出现。量子操控通过以非对称方式重新表述 Bell 非局域性，放宽了其严格的技术约束，从而为可在现实条件下运行的单边设备无关量子网络提供基础。在此，我们介绍一种抗噪声且容忍损耗的量子操控测试，它专为单探测器测量设计，并利用高维纠缠的优势。我们通过在 53 个维度中实验展示无探测漏洞的量子操控，体现了相对于基于量子比特（qubit）系统的改进；实验同时处于损耗与噪声条件下，对应 14.2 dB 损耗（相当于 79 km 电信光纤）以及 36% 白噪声。我们进一步表明，高维的使用如何反直觉地导致总测量时间大幅缩短：仅通过将 Hilbert 空间维度加倍，就能以快近两个数量级的速度获得量子操控违背。通过克服设备无关纠缠分发所受的限制，我们这种容忍损耗、抗噪声且资源高效的量子操控展示，证明其本身是使长距离设备无关量子通信成为现实的关键要素。
英文摘要：
A primary requirement for a robust and unconditionally secure quantum network is the establishment of quantum nonlocal correlations over a realistic channel. While loophole-free tests of Bell nonlocality allow for entanglement certification in such a device-independent setting, they are extremely sensitive to loss and noise, which naturally arise in any practical communication scenario. Quantum steering relaxes the strict technological constraints of Bell nonlocality by re-framing it in an asymmetric manner, thus providing the basis for one-sided device-independent quantum networks that can operate under realistic conditions. Here we introduce a noise-robust and loss-tolerant test of quantum steering designed for single detector measurements that harnesses the advantages of high-dimensional entanglement. We showcase the improvements over qubit-based systems by experimentally demonstrating detection loophole-free quantum steering in 53 dimensions through simultaneous loss and noise conditions corresponding to 14.2 dB loss equivalent to 79 km of telecommunication fibre, and 36% of white noise. We go on to show how the use of high dimensions counter-intuitively leads to a dramatic reduction in total measurement time, enabling a quantum steering violation almost two orders of magnitude faster obtained by simply doubling the Hilbert space dimension. By surpassing the constraints imposed upon the device-independent distribution of entanglement, our loss-tolerant, noise-robust, and resource-efficient demonstration of quantum steering proves itself a critical ingredient for making device-independent quantum communication over long distances a reality.
The phenomenon of quantum steering and probabilistic meaning of the correlations are discussed for the state of the single qudit. The method of qubit portrait of the qudit states is used to extend the known steering detection inequality to the system without subsystems. The example of the $X$-state with $j=3/2$ is studied in detail.
The steering property known for two qubit-state in terms of specific inequalities for correlation function is translated for the state of qudit with the spin $j=3/2$. Since most steering detection inequalities are based on the correlation functions we introduce analogs of such functions for the single qudit systems. The tomographic probability representation for the qudit states is applied. The connection between the correlation function in two qubit system and the single qudit is presented in an integral form with a intertwining kernel calculated explicitly in tomographic probability terms.
The surface code is one of the most promising candidates for combating errors in large scale fault-tolerant quantum computation. A fault-tolerant decoder is a vital part of the error correction process---it is the algorithm which computes the operations needed to correct or compensate for the errors according to the measured syndrome, even when the measurement itself is error prone. Previously decoders based on minimum-weight perfect matching have been studied. However, these are not immediately generalizable from qubit to qudit codes. In this work, we develop a fault-tolerant decoder for the …
Entanglement, quantum steering and nonlocality are distinct quantum correlations which are the resources behind various of quantum information and quantum computation applications. However, a central question of determining the precise quantitative relation among them is still unresolved. Here, we present a mapping criterion between Bell nonlocality and quantum steering in bipartite qudit-qubit system, as well as a mapping criterion between quantum steering and quantum entanglement in bipartite qubit-qudit system, starting from the fundamental concepts of quantum correlations. Precise quantita…
We consider the generation of randomness based upon the observed violation of an Einstein-Podolsky-Rosen (EPR) steering inequality, known as one-sided device-independent randomness expansion. We show that in the simplest scenario -- involving only two parties applying two measurements with $d$ outcomes each -- that there exist EPR steering inequalities whose maximal violation certifies the maximal amount of randomness, equal to log(d) bits. We further show that all pure partially entangled full-Schmidt-rank states in all dimensions can achieve maximal violation of these inequalities, and thus …
We study the Einstein-Podolsky-Rosen (EPR) steering and present steerability criteria for arbitrary qubit-qudit (qudit-qubit) systems based on mutually unbiased measurements (MUMs) and general symmetric informationally complete measurements (general SIC-POVMs). Avoiding the usual complicated steering inequalities, these criteria can be more operational than some existing criteria and implemented experimentally. Detailed examples are given to illustrate the efficiency of the criteria in both computation and experimental implementation.
Fault-Tolerant Resource Comparison of Qudit and Qubit Encodings for Diagonal Quadratic Operators
University of Liverpool（利物浦大学）；Fermi National Accelerator Laboratory（费米国家加速器实验室）；University of Trento（特伦托大学）；INFN-TIFPA Trento Institute of Fundamental Physics and Applications（意大利国家核物理研究所-特伦托基础物理与应用研究所）
We propose a method to verify quantum steering for two qubit states with an arbitrary amount of null results when both the steering and steered parties cannot be trusted. We converted the steering inequality proposed in a recent article [Phys.~Rev.~X {\bf 2}, 031003 (2012)] to a corresponding measurement-device-independent steering criterion that depends on the heralding efficiency of the steering party, number of measurement settings, and imperfection of the state preparation. As a result, for a relative frequency of valid measurement outcomes $η_H$, the steering can be verified using a numbe…
We analyse two classes of Einstein-Podolsky-Rosen (EPR)-steering inequalities, the violation of which can be used to demonstrate EPR-steering with an entangled two-qubit Werner state: linear inequalities and quadratic inequalities. We discuss how post-selection of results (by appeal to the fair sampling assumption) can compromise the rigour of these inequalities in experimental tests of EPR-steering. By considering the worst-case scenarios in which detector inefficiency or other loss could be exploited within a local hidden-state model, we derive inequalities that enable rigorous but loss-tole…
Error correcting codes protect quantum information and form the basis of fault tolerant quantum computing. Leading proposals for fault-tolerant quantum computation require codes with an exceedingly rare property, a transverse non-Clifford gate. Codes with the desired property are presented for $d$-level, qudit, systems with prime $d$. The codes use $n=d-1$ qudits and can detect upto $\sim d/3$ errors. We quantify the performance of these codes for one approach to quantum computation, known as magic state distillation. Unlike prior work, we find performance is always enhanced by increasing $d$.
We show how to construct loss-tolerant linear steering inequalities using a generic set of von Neumann measurements that are violated by $d$-dimensional states, and that rely only upon a simple property of the set of measurements used (the maximal overlap between measurement directions). Using these inequalities we show that the critical detection efficiency above which $n$ von Neumann measurements can demonstrate steering is $1/n$. We show furthermore that using our construction and high dimensional states allows for steering demonstrations which are also highly robust to depolarising noise a…
Demonstrating nonclassical effects over longer and longer distances is essential for both quantum technology and fundamental science. The main challenge is loss of photons during propagation, because considering only those cases where photons are detected opens a "detection loophole" in security whenever parties or devices are untrusted. Einstein-Podolsky-Rosen (EPR) steering is equivalent to an entanglement-verification task in which one party (device) is untrusted. We derive arbitrarily loss-tolerant tests, enabling us to perform a detection-loophole-free demonstration of EPR-steering with p…
Einstein-Podolsky-Rosen (EPR) steering describes how different ensembles of quantum states can be remotely prepared by measuring one particle of an entangled pair. Here, we investigate quantum steering for single quantum d-dimensional systems (qudits) and devise efficient conditions to certify the steerability therein, which are applicable both to single-system steering and EPR steering. In the single-system case our steering conditions enable the unambiguous ruling-out of generic classical means of mimicking steering. Ruling out false-steering scenarios has implications for securing channels …
A long-standing open problem in fault-tolerant quantum computation has been to find a universal set of transversal gates. As three of us proved in arXiv: 0706.1382, such a set does not exist for binary stabilizer codes. Here we generalize our work to show that for subsystem stabilizer codes in $d$ dimensional Hilbert space, such a universal set of transversal gates cannot exist for even one encoded qudit, for any dimension $d$, prime or nonprime. This result strongly supports the idea that other primitives, such as quantum teleportation, are necessary for universal fault-tolerant quantum compu…
Einstein-Podolsky-Rosen (EPR) steering allows two parties to verify their entanglement, even if one party's measurements are untrusted. This concept has not only provided new insights into the nature of non-local spatial correlations in quantum mechanics, but also serves as a resource for one-sided device-independent quantum information tasks. Here, we investigate how EPR steering behaves when one-half of a maximally-entangled pair of qudits (multidimensional quantum systems) is cloned by a universal cloning machine. We find that EPR steering, as verified by a criterion based on the mutual inf…
We observe that lattice surgery, a model of fault-tolerant qubit computation, generalises straightforwardly to arbitrary finite-dimensional qudits. The generalised model is based on the group algebras $\mathbb{C}\mathbb{Z}_d$ for $d \geq 2$. It still requires magic state injection for universal quantum computation. We relate the model to the ZX-calculus, a diagrammatic language based on Hopf-Frobenius algebras.
CSS codes are a subfamily of stabilizer codes especially appropriate for fault-tolerant quantum computations. A very simple method is proposed to encode a general qudit when a Calderbank-Shor-Steane quantum code, defined over a q-ary alphabet, is used.
All known qudit-based prepare-and-measure quantum key distribution (PM-QKD) schemes are more error resilient than their qubit-based counterparts. Their high error resiliency comes partly from the careful encoding of multiple bits of signals used to generate the raw key in each transmitted qudit so that the same eavesdropping attempt causes a higher bit error rate (BER) in the raw key. Here I show that highly error-tolerant PM-QKD schemes can be constructed simply by encoding one bit of classical information in each transmitted qudit in the form $(|i\rangle\pm|j\rangle)/\sqrt{2}$, where $|i\ran…
Protection of quantum information from noise is a massive challenge. One avenue people have begun to explore is reducing the number of particles needing to be protected from noise and instead use systems with more states, so called qudit quantum computers. These systems will require codes which utilize the full computational space. Many prior qudit codes are very restrictive on relations between parameters. In this paper we show that codes for these systems can be derived from already known codes, often relaxing the constraints somewhat, a result which could prove to be very useful for fault-t…
We consider four-dimensional qudits as qubit pairs and their qudit Pauli operators as qubit Clifford operators. This introduces a nesting, $C_1^2 \subset C_2^4 \subset C_3^2$, where $C_n^m$ is the $n$th level of the $m$-dimensional qudit Clifford hierarchy. If we can convert between logical qubits and qudits, then qudit Clifford operators are qubit non-Clifford operators. Conversion is achieved by qubit fusion and qudit fission using stabilizer circuits that consume a resource state. This resource is a fused qubit stabilizer state with a fault-tolerant state preparation using stabilizer circui…
We construct a classical algorithm that designs quantum circuits for algorithmic quantum simulation of arbitrary qudit channels on fault-tolerant quantum computers within a pre-specified error tolerance with respect to diamond-norm distance. The classical algorithm is constructed by decomposing a quantum channel into a convex combination of generalized extreme channels by optimization of a set of nonlinear coupled algebraic equations. The resultant circuit is a randomly chosen generalized extreme channel circuit whose run-time is logarithmic with respect to the error tolerance and quadratic wi…
In this letter we consider the problem of certification of quantum measurements with an arbitrary number of outcomes. We propose a simple scheme for certifying any set of $d$-outcome projective measurements which do not share any common invariant proper subspace, termed here genuinely incompatible, and the maximally entangled state of two qudits. For our purpose, we focus on a simpler scenario, termed as one-sided device-independent scenario where the resource employed for certification is quantum steering. We also study robustness of our self-testing statements for a certain class of genuinel…
In comparison to qubit-based protocols, qudit-based quantum key distribution (QKD) ones gen- erally allow two cooperative parties to share unconditionally secure keys under a higher channel noise. However, it is very hard to prepare and measure the required quantum states in qudit-based protocols in general. One exception is the recently proposed highly error tolerant qudit-based proto- col known as the Chau15 [1]. Remarkably, the state preparation and measurement in this protocol can be done relatively easily since the required states are phase encoded almost like the diagonal basis states of…
Centre for Quantum Software and Information, University of Technology Sydney（悉尼科技大学量子软件与信息中心）；Joint Center for Quantum Information and Computer Science, University of Maryland（马里兰大学量子信息与计算科学联合中心）；InstituteQ, Aalto University（阿尔托大学 InstituteQ）；University of Technology Sydney（悉尼科技大学）
Having protected quantum information is essential to perform quantum computations. One possibility is to reduce the number of particles needing to be protected from noise and instead use systems with more states, so called qudit quantum computers. In this paper we show that codes for these systems can be derived from already known codes, and in particular this procedure removes the need for shared entanglement in entanglement-assisted quantum error-correcting codes, which is a result which could prove to be useful for fault-tolerant qudit, and even qubit, quantum computers.
Quantum steering is an asymmetric correlation which occupies a place between entanglement and Bell nonlocality. In the paradigmatic scenario involving the protagonists Alice and Bob, the entangled state shared between them, is said to be steerable from Alice to Bob if the steering assemblage on Bob's side do not admit a local hidden state (LHS) description. Quantum conditional entropies, on the other hand provide for another characterization of quantum correlations. Contrary to our common intuition conditional entropies for some entangled states can be negative, marking a significant departure…
We address the problem of characterizing the steerability of quantum states under restrictive measurement scenarios, i.e., the problem of determining whether a quantum state can demonstrate steering when subjected to $N$ measurements of $k$ outcomes. We consider the cases of either general positive operator-valued measures (POVMs) or specific kinds of measurements (e.g., projective or symmetric). We propose general methods to calculate lower and upper bounds for the white-noise robustness of a $d$-dimensional quantum state under different measurement scenarios that are also applicable to the s…
In the framework of quantum computational tensor network [D. Gross and J. Eisert, Phys. Rev. Lett. {\bf98}, 220503 (2007)], which is a general framework of measurement-based quantum computation, the resource many-body state is represented in a tensor-network form, and universal quantum computation is performed in a virtual linear space, which is called a correlation space, where tensors live. Since any unitary operation, state preparation, and the projection measurement in the computational basis can be simulated in a correlation space, it is natural to expect that fault-tolerant quantum circu…
The idea of self-testing is to render guarantees concerning the inner workings of a device based on the measurement statistics. It is one of the most formidable quantum certification and benchmarking schemes. Recently it was shown by Coladangelo et. al. (Nat Commun 8, 15485 (2017)) that all pure bipartite entangled states can be self tested in the device independent scenario by employing subspace methods introduced by Yang et. al. (Phys. Rev. A 87, 050102(R)). Here, we have adapted their method to show that any bipartite pure entangled state can be certified in the semi-device independent scen…
When visualised as an operation on the Bloch sphere, the qubit "pi-over-eight" gate corresponds to one-eighth of a complete rotation about the vertical axis. This simple gate often plays an important role in quantum information theory, typically in situations for which Pauli and Clifford gates are insufficient. Most notably, when it supplements the set of Clifford gates then universal quantum computation can be achieved. The "pi-over-eight" gate is the simplest example of an operation from the third level of the Clifford hierarchy (i.e., it maps Pauli operations to Clifford operations under co…
We propose a new scheme of measurement-based quantum computation (MBQC) using an error-correcting code against photon-loss in circuit quantum electrodynamics. We describe a specific protocol of logical single-qubit gates given by sequential cavity measurements for logical MBQC and a generalised Schrödinger cat state is used for a continuous-variable (CV) logical qubit captured in a microwave cavity. It is assumed that a three CV-qudit entangled state is initially prepared in three jointed cavities and the microwave qudit states are individually controlled, operated, and measured through a read…
In the framework of quantum computational tensor network, which is a general framework of measurement-based quantum computation, the resource many-body state is represented in a tensor-network form, and universal quantum computation is performed in a virtual linear space, which is called a correlation space, where tensors live. Since any unitary operation, state preparation, and the projection measurement in the computational basis can be simulated in a correlation space, it is natural to expect that fault-tolerant quantum circuits can also be simulated in a correlation space. However, we poin…
