Quantum Error Correction for Quantum Memories

Active quantum error correction using qubit stabilizer codes has emerged as a promising, but experimentally challenging, engineering program for building a universal quantum computer. In this review we consider the formalism of qubit stabilizer and subsystem stabilizer codes and their possible use in protecting quantum information in a quantum memory. We review the theory of fault-tolerance and quantum error-correction, discuss examples of various codes and code constructions, the general quantum error correction conditions, the noise threshold, the special role played by Clifford gates and the route towards fault-tolerant universal quantum computation. The second part of the review is focused on providing an overview of quantum error correction using two-dimensional (topological) codes, in particular the surface code architecture. We discuss the complexity of decoding and the notion of passive or self-correcting quantum memories. The review does not focus on a particular technology but discusses topics that will be relevant for various quantum technologies.Comment: Final version: 47 pages, 17 Figs, 311 reference

Bell Inequalities and the Separability Criterion

We analyze and compare the mathematical formulations of the criterion for separability for bipartite density matrices and the Bell inequalities. We show that a violation of a Bell inequality can formally be expressed as a witness for entanglement. We also show how the criterion for separability and a description of the state by a local hidden variable theory, become equivalent when we restrict the set of local hidden variable theories to the domain of quantum mechanics. This analysis sheds light on the essential difference between the two criteria and may help us in understanding whether there exist entangled states for which the statistics of the outcomes of all possible local measurements can be described by a local hidden variable theory.Comment: 16 pages Revtex, typo in equation (14) correcte

The Bounded Storage Model in The Presence of a Quantum Adversary

An extractor is a function E that is used to extract randomness. Given an imperfect random source X and a uniform seed Y, the output E(X,Y) is close to uniform. We study properties of such functions in the presence of prior quantum information about X, with a particular focus on cryptographic applications. We prove that certain extractors are suitable for key expansion in the bounded storage model where the adversary has a limited amount of quantum memory. For extractors with one-bit output we show that the extracted bit is essentially equally secure as in the case where the adversary has classical resources. We prove the security of certain constructions that output multiple bits in the bounded storage model.Comment: 13 pages Latex, v3: discussion of independent randomizers adde

Could Grover's quantum algorithm help in searching an actual database?

I investigate whether it would technologically and economically make sense to build database search engines based on Grover's quantum search algorithm. The answer is not fully conclusive but in my judgement rather negative.Comment: 7 pages, LaTe

Encoding a Qubit into a Cavity Mode in Circuit-QED using Phase Estimation

Gottesman, Kitaev and Preskill have formulated a way of encoding a qubit into an oscillator such that the qubit is protected against small shifts (translations) in phase space. The idea underlying this encoding is that error processes of low rate can be expanded into small shift errors. The qubit space is defined as an eigenspace of two mutually commuting displacement operators $S_p$ and $S_q$ which act as large shifts/translations in phase space. We propose and analyze the approximate creation of these qubit states by coupling the oscillator to a sequence of ancilla qubits. This preparation of the states uses the idea of phase estimation where the phase of the displacement operator, say $S_p$, is approximately determined. We consider several possible forms of phase estimation. We analyze the performance of repeated and adapative phase estimation as the simplest and experimentally most viable schemes given a realistic upper-limit on the number of photons in the oscillator. We propose a detailed physical implementation of this protocol using the dispersive coupling between a transmon ancilla qubit and a cavity mode in circuit-QED. We provide an estimate that in a current experimental set-up one can prepare a good code state from a squeezed vacuum state using $8$ rounds of adapative phase estimation, lasting in total about $4 \mu$ sec., with $94\%$ (heralded) chance of success.Comment: 24 pages, 15 figures. Some minor improvements to text and figures. Some of the numerical data has been replaced by more accurate simulations. The improved simulation shows that the code performs better than originally anticipate

Constructions and Noise Threshold of Hyperbolic Surface Codes

We show how to obtain concrete constructions of homological quantum codes based on tilings of 2D surfaces with constant negative curvature (hyperbolic surfaces). This construction results in two-dimensional quantum codes whose tradeoff of encoding rate versus protection is more favorable than for the surface code. These surface codes would require variable length connections between qubits, as determined by the hyperbolic geometry. We provide numerical estimates of the value of the noise threshold and logical error probability of these codes against independent X or Z noise, assuming noise-free error correction