scholarly journals Limitations on transversal computation through quantum homomorphic encryption

2018 ◽  
Vol 18 (11&12) ◽  
pp. 927-948
Author(s):  
Michael Newman ◽  
Yaoyun Shi
Keyword(s):  
Quantum Computation ◽  
Homomorphic Encryption ◽  
Error Correcting Code ◽  
Toffoli Gate ◽  
Additive Codes ◽  
Important Open Problem ◽  
Small Set ◽  
Quantum Error ◽  
Universal Gate ◽  
Rule Out

Transversality is a simple and effective method for implementing quantum computation fault-tolerantly. However, no quantum error-correcting code (QECC) can transversally implement a quantum universal gate set (Eastin and Knill, {\em Phys. Rev. Lett.}, 102, 110502). Since reversible classical computation is often a dominating part of useful quantum computation, whether or not it can be implemented transversally is an important open problem. We show that, other than a small set of non-additive codes that we cannot rule out, no binary QECC can transversally implement a classical reversible universal gate set. In particular, no such QECC can implement the Toffoli gate transversally.}{We prove our result by constructing an information theoretically secure (but inefficient) quantum homomorphic encryption (ITS-QHE) scheme inspired by Ouyang {\em et al.} (arXiv:1508.00938). Homomorphic encryption allows the implementation of certain functions directly on encrypted data, i.e. homomorphically. Our scheme builds on almost any QECC, and implements that code's transversal gate set homomorphically. We observe a restriction imposed by Nayak's bound ({\em FOCS} 1999) on ITS-QHE, implying that any ITS quantum {\em fully} homomorphic scheme (ITS-QFHE) implementing the full set of classical reversible functions must be highly inefficient. While our scheme incurs exponential overhead, any such QECC implementing Toffoli transversally would still violate this lower bound through our scheme.

Quantum Error Correction

2020 ◽  
Author(s):  
Todd A. Brun
Keyword(s):  
Error Correction ◽  
Quantum Computation ◽  
Single Photon ◽  
Error Correcting Code ◽  
Quantum Systems ◽  
Quantum Error Correction ◽  
The State ◽  
Quantum States ◽  
Quantum Code ◽  
Quantum Error

Quantum error correction is a set of methods to protect quantum information—that is, quantum states—from unwanted environmental interactions (decoherence) and other forms of noise. The information is stored in a quantum error-correcting code, which is a subspace in a larger Hilbert space. This code is designed so that the most common errors move the state into an error space orthogonal to the original code space while preserving the information in the state. It is possible to determine whether an error has occurred by a suitable measurement and to apply a unitary correction that returns the state to the code space without measuring (and hence disturbing) the protected state itself. In general, codewords of a quantum code are entangled states. No code that stores information can protect against all possible errors; instead, codes are designed to correct a specific error set, which should be chosen to match the most likely types of noise. An error set is represented by a set of operators that can multiply the codeword state. Most work on quantum error correction has focused on systems of quantum bits, or qubits, which are two-level quantum systems. These can be physically realized by the states of a spin-1/2 particle, the polarization of a single photon, two distinguished levels of a trapped atom or ion, the current states of a microscopic superconducting loop, or many other physical systems. The most widely used codes are the stabilizer codes, which are closely related to classical linear codes. The code space is the joint +1 eigenspace of a set of commuting Pauli operators on n qubits, called stabilizer generators; the error syndrome is determined by measuring these operators, which allows errors to be diagnosed and corrected. A stabilizer code is characterized by three parameters [[n,k,d]], where n is the number of physical qubits, k is the number of encoded logical qubits, and d is the minimum distance of the code (the smallest number of simultaneous qubit errors that can transform one valid codeword into another). Every useful code has n>k; this physical redundancy is necessary to detect and correct errors without disturbing the logical state. Quantum error correction is used to protect information in quantum communication (where quantum states pass through noisy channels) and quantum computation (where quantum states are transformed through a sequence of imperfect computational steps in the presence of environmental decoherence to solve a computational problem). In quantum computation, error correction is just one component of fault-tolerant design. Other approaches to error mitigation in quantum systems include decoherence-free subspaces, noiseless subsystems, and dynamical decoupling.

scholarly journals Measurement-based quantum computation cannot avoid byproducts

2014 ◽  
Vol 12 (05) ◽  
pp. 1450026 ◽  
Author(s):  
Tomoyuki Morimae
Keyword(s):  
Quantum Computation ◽  
Error Correcting Code ◽  
Circuit Model ◽  
Measurement Device ◽  
No Signaling ◽  
Quantum Error

In the circuit model of quantum computation, a desired unitary gate can be implemented deterministically, whereas in the measurement-based model the unitary gate is implemented up to a byproduct operator. In order to compensate byproducts, following measurement angles must be adjusted, or classical results must be corrected. Such a feed-forwarding requires some classical processing and tuning of the measurement device, which cause the delay of computation and the additional decoherence. We show that if we respect the no-signaling principle, which is one of the most fundamental principles in physics, byproducts cannot be avoided in measurement-based quantum computation. Furthermore, we also show by using the idea of the quantum error correcting code that due to the no-signaling principle, not all byproducts are allowed in measurement-based quantum computation.

Maximality of Quantum Error-Correcting Code Spaces

2018 ◽  
Vol 57 (10) ◽  
pp. 3190-3199
Author(s):  
Cheng-Yang Zhang ◽  
Zhi-Hua Guo ◽  
Huai-Xin Cao ◽  
Ling Lu
Keyword(s):  
Error Correcting Code ◽  
Quantum Error

scholarly journals Theory of quasi-exact fault-tolerant quantum computing and valence-bond-solid codes

2021 ◽  
Author(s):  
Dongsheng Wang ◽  
Yunjiang Wang ◽  
Ningping Cao ◽  
Bei Zeng ◽  
Raymond Lafflamme
Keyword(s):  
Error Correction ◽  
Quantum Computation ◽  
Fault Tolerant ◽  
Valence Bond ◽  
Quantum Error Correction ◽  
Quantum Codes ◽  
Error Correction Codes ◽  
Exact Quantum ◽  
Valence Bond Solid ◽  
Quantum Error

Abstract In this work, we develop the theory of quasi-exact fault-tolerant quantum (QEQ) computation, which uses qubits encoded into quasi-exact quantum error-correction codes (``quasi codes''). By definition, a quasi code is a parametric approximate code that can become exact by tuning its parameters. The model of QEQ computation lies in between the two well-known ones: the usual noisy quantum computation without error correction and the usual fault-tolerant quantum computation, but closer to the later. Many notions of exact quantum codes need to be adjusted for the quasi setting. Here we develop quasi error-correction theory using quantum instrument, the notions of quasi universality, quasi code distances, and quasi thresholds, etc. We find a wide class of quasi codes which are called valence-bond-solid codes, and we use them as concrete examples to demonstrate QEQ computation.

scholarly journals Universal quantum computation and quantum error correction with ultracold atomic mixtures

2021 ◽  
Author(s):  
Valentin Kasper ◽  
Daniel González-Cuadra ◽  
Apoorva Hegde ◽  
Andy Xia ◽  
Alexandre Dauphin ◽  
...  
Keyword(s):  
Error Correction ◽  
Quantum Computation ◽  
Quantum Error Correction ◽  
Universal Quantum ◽  
Quantum Error

scholarly journals Logical measurement-based quantum computation in circuit-QED

2019 ◽  
Vol 9 (1) ◽  
Author(s):  
Jaewoo Joo ◽  
Chang-Woo Lee ◽  
Shingo Kono ◽  
Jaewan Kim
Keyword(s):  
Quantum Computation ◽  
Quantum Electrodynamics ◽  
Cluster State ◽  
Error Correcting Code ◽  
Microwave Cavity ◽  
Entangled State ◽  
Superconducting Qubit ◽  
Circuit Qed ◽  
Specific Protocol ◽  
Logical Qubit

Abstract 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. To apply an error-correcting scheme on the logical qubit, we utilise a d-dimensional quantum system called a qudit. 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 readout resonator coupled with an ancillary superconducting qubit. We then examine a practical approach of how to create the CV-qudit cluster state via a cross-Kerr interaction induced by intermediary superconducting qubits between neighbouring cavities under the Jaynes-Cummings Hamiltonian. This approach could be scalable for building 2D logical cluster states and therefore will pave a new pathway of logical MBQC in superconducting circuits toward fault-tolerant quantum computing.

Improvement of quantum correlations by repetitive quantum error correction

2019 ◽  
Vol 17 (05) ◽  
pp. 1950044
Author(s):  
A. El Allati ◽  
H. Amellal ◽  
A. Meslouhi
Keyword(s):  
Error Correction ◽  
Quantum Correlation ◽  
Coherent States ◽  
Quantum Discord ◽  
Error Correcting Code ◽  
Quantum Correlations ◽  
Quantum Error Correction ◽  
Optical Field ◽  
Quantum Error ◽  
Entangled Coherent States

A quantum error-correcting code is established in entangled coherent states (CSs) with Markovian and non-Markovian environments. However, the dynamic behavior of these optical states is discussed in terms of quantum correlation measurements, entanglement and discord. By using the correcting codes, these correlations can be as robust as possible against environmental effects. As the number of redundant CSs increases due to the repetitive error correction, the probabilities of success also increase significantly. Based on different optical field parameters, the discord can withstand more than an entanglement. Furthermore, the behavior of quantum discord under decoherence may exhibit sudden death and sudden birth phenomena as functions of dimensionless parameters.

Sign in / Sign up

Export Citation Format

Share Document