Showing 1–13 of 13 results for author: Aliferis, P

An introduction to reliable quantum computation

Authors: Panos Aliferis

Abstract: This is an introduction to software methods of quantum fault tolerance. Broadly speaking, these methods describe strategies for using the noisy hardware components of a quantum computer to perform computations while continually monitoring and actively correcting the hardware faults. We discuss parallels and differences with similar methods for ordinary digital computation, we discuss some of the n… ▽ More This is an introduction to software methods of quantum fault tolerance. Broadly speaking, these methods describe strategies for using the noisy hardware components of a quantum computer to perform computations while continually monitoring and actively correcting the hardware faults. We discuss parallels and differences with similar methods for ordinary digital computation, we discuss some of the noise models used in designing and analyzing noisy quantum circuits, and we sketch the logic of some of the central results in this area of research. △ Less

Submitted 5 December, 2013; v1 submitted 11 July, 2011; originally announced July 2011.

Comments: 34 pages, 25 jpeg figures, uses cupbook.sty and fncychap.sty; chapter 5 in "Quantum Error Correction," edited by Daniel A. Lidar and Todd A. Brun, (Cambridge University Press, 2013)

Journal ref: In "Quantum Error Correction", edited by Daniel A. Lidar and Todd A. Brun, (Cambridge University Press, 2013)

The Fibonacci scheme for fault-tolerant quantum computation

Authors: Panos Aliferis, John Preskill

Abstract: We rigorously analyze Knill's Fibonacci scheme for fault-tolerant quantum computation, which is based on the recursive preparation of Bell states protected by a concatenated error-detecting code. We prove lower bounds on the threshold fault rate of .67\times 10^{-3} for adversarial local stochastic noise, and 1.25\times 10^{-3} for independent depolarizing noise. In contrast to other schemes wit… ▽ More We rigorously analyze Knill's Fibonacci scheme for fault-tolerant quantum computation, which is based on the recursive preparation of Bell states protected by a concatenated error-detecting code. We prove lower bounds on the threshold fault rate of .67\times 10^{-3} for adversarial local stochastic noise, and 1.25\times 10^{-3} for independent depolarizing noise. In contrast to other schemes with comparable proved accuracy thresholds, the Fibonacci scheme has a significantly reduced overhead cost because it uses postselection far more sparingly. △ Less

Submitted 17 December, 2008; v1 submitted 30 September, 2008; originally announced September 2008.

Comments: 24 pages, 10 figures; supersedes arXiv:0709.3603. (v2): Additional discussion about the overhead cost

Journal ref: Phys. Rev. A 79, 012332 (2009)

Fault-Tolerant Computing With Biased-Noise Superconducting Qubits

Authors: Panos Aliferis, Frederico Brito, David P. DiVincenzo, John Preskill, Matthias Steffen, Barbara M. Terhal

Abstract: We present a universal scheme of pulsed operations for the IBM oscillator-stabilized flux qubit comprising the CPHASE gate, single-qubit preparations and measurements. Based on numerical simulations, we argue that the error rates for these operations can be as low as about .5% and that noise is highly biased, with phase errors being stronger than all other types of errors by a factor of nearly 1… ▽ More We present a universal scheme of pulsed operations for the IBM oscillator-stabilized flux qubit comprising the CPHASE gate, single-qubit preparations and measurements. Based on numerical simulations, we argue that the error rates for these operations can be as low as about .5% and that noise is highly biased, with phase errors being stronger than all other types of errors by a factor of nearly 10^3. In contrast, the design of a CNOT gate for this system with an error rate of less than about 1.2% seems extremely challenging. We propose a special encoding which exploits the noise bias allowing us to implement a logical CNOT gate where phase errors and all other types of errors have nearly balanced rates of about .4%. Our results illustrate how the design of an encoding scheme can be adjusted and optimized according to the available physical operations and the particular noise characteristics of experimental devices. △ Less

Submitted 30 January, 2009; v1 submitted 2 June, 2008; originally announced June 2008.

Comments: 15 pages, 7 figures

Journal ref: New J. Phys. 11 (2009) 013061

Fault-tolerant quantum computation against biased noise

Authors: Panos Aliferis, John Preskill

Abstract: We formulate a scheme for fault-tolerant quantum computation that works effectively against highly biased noise, where dephasing is far stronger than all other types of noise. In our scheme, the fundamental operations performed by the quantum computer are single-qubit preparations, single-qubit measurements, and conditional-phase (CPHASE) gates, where the noise in the CPHASE gates is biased. We… ▽ More We formulate a scheme for fault-tolerant quantum computation that works effectively against highly biased noise, where dephasing is far stronger than all other types of noise. In our scheme, the fundamental operations performed by the quantum computer are single-qubit preparations, single-qubit measurements, and conditional-phase (CPHASE) gates, where the noise in the CPHASE gates is biased. We show that the accuracy threshold for quantum computation can be improved by exploiting this noise asymmetry; e.g., if dephasing dominates all other types of noise in the CPHASE gates by four orders of magnitude, we find a rigorous lower bound on the accuracy threshold higher by a factor of five than for the case of unbiased noise. △ Less

Submitted 21 November, 2008; v1 submitted 6 October, 2007; originally announced October 2007.

Comments: 9 pages, 11 figures. (v3): minor revisions

Report number: CALT-68-2661

Journal ref: Phys. Rev. A 78, 052331 (2008)

Fibonacci schemes of fault-tolerant quantum computation

Authors: Panos Aliferis

Abstract: The threshold estimate derived in previous versions of this paper was incorrect; this note explains the flaw. A new proof is discussed in arXiv:0809.5063. The threshold estimate derived in previous versions of this paper was incorrect; this note explains the flaw. A new proof is discussed in arXiv:0809.5063. △ Less

Submitted 29 September, 2008; v1 submitted 22 September, 2007; originally announced September 2007.

Comments: Superseded by arXiv:0809.5063

Accuracy threshold for postselected quantum computation

Authors: Panos Aliferis, Daniel Gottesman, John Preskill

Abstract: We prove an accuracy threshold theorem for fault-tolerant quantum computation based on error detection and postselection. Our proof provides a rigorous foundation for the scheme suggested by Knill, in which preparation circuits for ancilla states are protected by a concatenated error-detecting code and the preparation is aborted if an error is detected. The proof applies to independent stochasti… ▽ More We prove an accuracy threshold theorem for fault-tolerant quantum computation based on error detection and postselection. Our proof provides a rigorous foundation for the scheme suggested by Knill, in which preparation circuits for ancilla states are protected by a concatenated error-detecting code and the preparation is aborted if an error is detected. The proof applies to independent stochastic noise but (in contrast to proofs of the quantum accuracy threshold theorem based on concatenated error-correcting codes) not to strongly-correlated adversarial noise. Our rigorously established lower bound on the accuracy threshold, 1.04 \times 10^{-3}, is well below Knill's numerical estimates. △ Less

Submitted 17 September, 2007; v1 submitted 28 March, 2007; originally announced March 2007.

Comments: 54 pages, 26 figures, uses qic.sty. (v2): minor revisions

Report number: CALT-68-2616

Journal ref: Quant. Inf. Comput. 8 (2008) 181-244

Level Reduction and the Quantum Threshold Theorem

Authors: Panos Aliferis

Abstract: The quantum threshold theorem shows that a noisy quantum computer can accurately and efficiently simulate any ideal quantum computation provided that noise is weakly correlated and its strength is below a critical value known as the quantum accuracy threshold. This thesis provides a simpler and more transparent non-inductive proof of this theorem based on the concept of level reduction. This conce… ▽ More The quantum threshold theorem shows that a noisy quantum computer can accurately and efficiently simulate any ideal quantum computation provided that noise is weakly correlated and its strength is below a critical value known as the quantum accuracy threshold. This thesis provides a simpler and more transparent non-inductive proof of this theorem based on the concept of level reduction. This concept is also used in proving the quantum threshold theorem for coherent and leakage noise and for quantum computation by measurements. In addition, the proof provides a methodology which allows us to establish improved rigorous lower bounds on the value of the quantum accuracy threshold. △ Less

Submitted 11 July, 2011; v1 submitted 25 March, 2007; originally announced March 2007.

Comments: 125 pages, Ph.D. thesis, Caltech, 2007; pdf file fixed

Report number: CALT-68-2641

Subsystem fault tolerance with the Bacon-Shor code

Authors: Panos Aliferis, Andrew W. Cross

Abstract: We discuss how the presence of gauge sub-systems in the Bacon-Shor code [D. Bacon, Phys. Rev. A 73, 012340 (2006)] leads to remarkably simple and efficient methods for fault-tolerant error correction (FTEC). Most notably, FTEC does not require entangled ancillary states and it can be implemented with nearest-neighbor two-qubit measurements. By using these methods, we prove a lower bound on the q… ▽ More We discuss how the presence of gauge sub-systems in the Bacon-Shor code [D. Bacon, Phys. Rev. A 73, 012340 (2006)] leads to remarkably simple and efficient methods for fault-tolerant error correction (FTEC). Most notably, FTEC does not require entangled ancillary states and it can be implemented with nearest-neighbor two-qubit measurements. By using these methods, we prove a lower bound on the quantum accuracy threshold, 1.94 \times 10^{-4} for adversarial stochastic noise, that improves previous lower bounds by nearly an order of magnitude. △ Less

Submitted 28 March, 2007; v1 submitted 10 October, 2006; originally announced October 2006.

Comments: 4 pages, 2 figures. v3: small revisions, appendix moved to chapter 5 in quant-ph/0703230

Journal ref: Phys. Rev. Lett. 98 (2007) 220502

Effective fault-tolerant quantum computation with slow measurements

Authors: David P. DiVincenzo, Panos Aliferis

Abstract: How important is fast measurement for fault-tolerant quantum computation? Using a combination of existing and new ideas, we argue that measurement times as long as even 1,000 gate times or more have a very minimal effect on the quantum accuracy threshold. This shows that slow measurement, which appears to be unavoidable in many implementations of quantum computing, poses no essential obstacle to… ▽ More How important is fast measurement for fault-tolerant quantum computation? Using a combination of existing and new ideas, we argue that measurement times as long as even 1,000 gate times or more have a very minimal effect on the quantum accuracy threshold. This shows that slow measurement, which appears to be unavoidable in many implementations of quantum computing, poses no essential obstacle to scalability. △ Less

Submitted 3 August, 2006; v1 submitted 6 July, 2006; originally announced July 2006.

Comments: 9 pages, 11 figures. v2: small changes and reference additions

Journal ref: Phys. Rev. Lett. 98 (2007) 220501

Fault-Tolerant Quantum Computation for Local Leakage Faults

Authors: Panos Aliferis, Barbara M. Terhal

Abstract: We provide a rigorous analysis of fault-tolerant quantum computation in the presence of local leakage faults. We show that one can systematically deal with leakage by using appropriate leakage-reduction units such as quantum teleportation. The leakage noise is described by a Hamiltonian and the noise is treated coherently, similar to general non-Markovian noise analyzed in Refs. quant-ph/0402104… ▽ More We provide a rigorous analysis of fault-tolerant quantum computation in the presence of local leakage faults. We show that one can systematically deal with leakage by using appropriate leakage-reduction units such as quantum teleportation. The leakage noise is described by a Hamiltonian and the noise is treated coherently, similar to general non-Markovian noise analyzed in Refs. quant-ph/0402104 and quant-ph/0504218. We describe ways to limit the use of leakage-reduction units while kee** the quantum circuits fault-tolerant and we also discuss how leakage reduction by teleportation is naturally achieved in measurement-based computation. △ Less

Submitted 26 May, 2006; v1 submitted 7 November, 2005; originally announced November 2005.

Comments: 19 pages Latex with 8 figures. v2 has some added references. v3 has an additional discussion. v4 is a compact version of the preceding ones

Journal ref: Quant. Inf. Comp. 7 (2007) 139-156

Quantum accuracy threshold for concatenated distance-3 codes

Authors: Panos Aliferis, Daniel Gottesman, John Preskill

Abstract: We prove a new version of the quantum threshold theorem that applies to concatenation of a quantum code that corrects only one error, and we use this theorem to derive a rigorous lower bound on the quantum accuracy threshold epsilon_0. Our proof also applies to concatenation of higher-distance codes, and to noise models that allow faults to be correlated in space and in time. The proof uses new… ▽ More We prove a new version of the quantum threshold theorem that applies to concatenation of a quantum code that corrects only one error, and we use this theorem to derive a rigorous lower bound on the quantum accuracy threshold epsilon_0. Our proof also applies to concatenation of higher-distance codes, and to noise models that allow faults to be correlated in space and in time. The proof uses new criteria for assessing the accuracy of fault-tolerant circuits, which are particularly conducive to the inductive analysis of recursive simulations. Our lower bound on the threshold, epsilon_0 > 2.73 \times 10^{-5} for an adversarial independent stochastic noise model, is derived from a computer-assisted combinatorial analysis; it is the best lower bound that has been rigorously proven so far. △ Less

Submitted 20 October, 2005; v1 submitted 28 April, 2005; originally announced April 2005.

Comments: 58 pages, 15 figures, uses qic.sty. (v2): New proof of the main lemma; generalized analysis of local non-Markovian noise. (v3): minor revisions

Report number: CALT-68-2548

Journal ref: Quant. Inf. Comput. 6 (2006) 97-165

Simple proof of fault tolerance in the graph-state model

Authors: Panos Aliferis, Debbie W. Leung

Abstract: We consider the problem of fault tolerance in the graph-state model of quantum computation. Using the notion of composable simulations, we provide a simple proof for the existence of an accuracy threshold for graph-state computation by invoking the threshold theorem derived for quantum circuit computation. Lower bounds for the threshold in the graph-state model are then obtained from known bound… ▽ More We consider the problem of fault tolerance in the graph-state model of quantum computation. Using the notion of composable simulations, we provide a simple proof for the existence of an accuracy threshold for graph-state computation by invoking the threshold theorem derived for quantum circuit computation. Lower bounds for the threshold in the graph-state model are then obtained from known bounds in the circuit model under the same noise process. △ Less

Submitted 27 March, 2006; v1 submitted 15 March, 2005; originally announced March 2005.

Comments: 6 pages, 2 figures, REVTeX4. (v4): Minor revisions and new title; published version

Journal ref: Phys. Rev. A 73, 032308 (2006)

Computation by measurements: a unifying picture

Authors: Panos Aliferis, Debbie W. Leung

Abstract: The ability to perform a universal set of quantum operations based solely on static resources and measurements presents us with a strikingly novel viewpoint for thinking about quantum computation and its powers. We consider the two major models for doing quantum computation by measurements that have hitherto appeared in the literature and show that they are conceptually closely related by demons… ▽ More The ability to perform a universal set of quantum operations based solely on static resources and measurements presents us with a strikingly novel viewpoint for thinking about quantum computation and its powers. We consider the two major models for doing quantum computation by measurements that have hitherto appeared in the literature and show that they are conceptually closely related by demonstrating a systematic local map** between them. This way we effectively unify the two models, showing that they make use of interchangeable primitives. With the tools developed for this map**, we then construct more resource-effective methods for performing computation within both models and propose schemes for the construction of arbitrary graph states employing two-qubit measurements alone. △ Less

Submitted 15 April, 2004; v1 submitted 13 April, 2004; originally announced April 2004.

Comments: 13 pages, 18 figures, REVTeX4

Journal ref: Phys. Rev. A 70, 062314 (2004)