lectures on fault-tolerant quantum computationmctp/sciprgpgs/events/2008/ss08/lectures/... ·...

35
Lectures on Fault-Tolerant Quantum Computation B.M. Terhal, IBM Research I. Descriptions of Noise and Quantum States II. Quantum Coding and Error-Correction III. Fault-Tolerant Error-Correction. Surface Codes. Some Results on Noise Thresholds.

Upload: others

Post on 29-Mar-2020

2 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Lectures on Fault-Tolerant Quantum Computationmctp/SciPrgPgs/events/2008/SS08/Lectures/... · 2010-12-16 · Arxiv: 0711.1556 by Cross, DiVincenzo, Terhal with . threshold studies

Lectures on Fault-Tolerant Quantum Computation

B.M. Terhal, IBM Research

I. Descriptions of Noise and Quantum States

II. Quantum Coding and Error-Correction

III. Fault-Tolerant Error-Correction. Surface Codes. Some Results on Noise Thresholds.

Page 2: Lectures on Fault-Tolerant Quantum Computationmctp/SciPrgPgs/events/2008/SS08/Lectures/... · 2010-12-16 · Arxiv: 0711.1556 by Cross, DiVincenzo, Terhal with . threshold studies

Some Background Reading

Textbook by Michael Nielsen & Isaac Chuang Lectures notes of John Preskill

PhD Thesis of Dan GottesmanPhD Thesis by Ben Reichardt

Arxiv: quant-ph/0110143 by Dennis, Landahl, Kitaev,Preskillon use of surface codesArxiv: quant-ph/0610063 by Aliferis, Cross on Bacon-Shor CodesArxiv: 0711.1556 by Cross, DiVincenzo, Terhal with threshold studies

Page 3: Lectures on Fault-Tolerant Quantum Computationmctp/SciPrgPgs/events/2008/SS08/Lectures/... · 2010-12-16 · Arxiv: 0711.1556 by Cross, DiVincenzo, Terhal with . threshold studies

The 5 DiVincenzo Criteria1. Architecture needs to be scalable with well-defined

qubits.

2. Ability to initialize qubits to |00…0> state

3. Qubits should undergo little decoherence

4. Ability to enact a discrete set of logical gates. For example:

2-qubit gate: CNOT (C-X) or CPHASE (C-Z)1-qubit gates: Pauli X, Z, Y, Hadamard, Phase gate, T gate

5. Ability to measure single qubits in the computational (0,1) basis.

Page 4: Lectures on Fault-Tolerant Quantum Computationmctp/SciPrgPgs/events/2008/SS08/Lectures/... · 2010-12-16 · Arxiv: 0711.1556 by Cross, DiVincenzo, Terhal with . threshold studies

Some Quantum Formalism

Page 5: Lectures on Fault-Tolerant Quantum Computationmctp/SciPrgPgs/events/2008/SS08/Lectures/... · 2010-12-16 · Arxiv: 0711.1556 by Cross, DiVincenzo, Terhal with . threshold studies

Superoperators

Page 6: Lectures on Fault-Tolerant Quantum Computationmctp/SciPrgPgs/events/2008/SS08/Lectures/... · 2010-12-16 · Arxiv: 0711.1556 by Cross, DiVincenzo, Terhal with . threshold studies

Examples

Page 7: Lectures on Fault-Tolerant Quantum Computationmctp/SciPrgPgs/events/2008/SS08/Lectures/... · 2010-12-16 · Arxiv: 0711.1556 by Cross, DiVincenzo, Terhal with . threshold studies

Superoperator Noise Model

Each location in a quantum circuit is represented by its own superoperator which ideally is close to the idealoperation.

(Simplest) Noise Model considered in Fault-Tolerance Theory

In what situations is this model sufficient….

Page 8: Lectures on Fault-Tolerant Quantum Computationmctp/SciPrgPgs/events/2008/SS08/Lectures/... · 2010-12-16 · Arxiv: 0711.1556 by Cross, DiVincenzo, Terhal with . threshold studies

(In)Sufficiency of Superoperator Noise Picture

Cross-talk between neighboring qubits (addressing the wrong qubits with the control fields)Couplings we cannot turn off…

Some noise is best modeled as a system interacting with a quantum environment. Correlations in time and space, non-markovian environment.

Some noise can be clearly approximated by classical fluctuations of control parameters, correlations in time and space of these parameters.

Page 9: Lectures on Fault-Tolerant Quantum Computationmctp/SciPrgPgs/events/2008/SS08/Lectures/... · 2010-12-16 · Arxiv: 0711.1556 by Cross, DiVincenzo, Terhal with . threshold studies

Error Rates

Error rate of a superoperator?

Page 10: Lectures on Fault-Tolerant Quantum Computationmctp/SciPrgPgs/events/2008/SS08/Lectures/... · 2010-12-16 · Arxiv: 0711.1556 by Cross, DiVincenzo, Terhal with . threshold studies

Error-CorrectionClassical error-correction is fairly common:

Satellite communication & deep-space communicationSoft (radiation errors) in dynamical RAM in satellitesCompact discs (Reed Solomon codes) and hard discs.Hard-wired coding of bits as ferromagnetic domains ->2D repetition code

Noise levels of quantum operations are high

Quantum error-correction will be crucial in any robust implementation of quantum computation.

Passive EC (e.g. topological quantum computation) or active

Page 11: Lectures on Fault-Tolerant Quantum Computationmctp/SciPrgPgs/events/2008/SS08/Lectures/... · 2010-12-16 · Arxiv: 0711.1556 by Cross, DiVincenzo, Terhal with . threshold studies

Error-CorrectionClassical error-correction is fairly common:

Satellite communication & deep-space communicationSoft (radiation errors) in dynamical RAM in satellitesCompact discs (Reed Solomon codes) and hard discs.Hard-wired coding of bits as ferromagnetic domains ->2D repetition code

Noise levels of quantum operations are high

Quantum error-correction will be crucial in any robust implementation of quantum computation.

Passive EC (e.g. topological quantum computation) or active

Page 12: Lectures on Fault-Tolerant Quantum Computationmctp/SciPrgPgs/events/2008/SS08/Lectures/... · 2010-12-16 · Arxiv: 0711.1556 by Cross, DiVincenzo, Terhal with . threshold studies

Classical Repetition Code

Page 13: Lectures on Fault-Tolerant Quantum Computationmctp/SciPrgPgs/events/2008/SS08/Lectures/... · 2010-12-16 · Arxiv: 0711.1556 by Cross, DiVincenzo, Terhal with . threshold studies

Classical Repetition Code

Page 14: Lectures on Fault-Tolerant Quantum Computationmctp/SciPrgPgs/events/2008/SS08/Lectures/... · 2010-12-16 · Arxiv: 0711.1556 by Cross, DiVincenzo, Terhal with . threshold studies

Quantizing Repetition Code

Page 15: Lectures on Fault-Tolerant Quantum Computationmctp/SciPrgPgs/events/2008/SS08/Lectures/... · 2010-12-16 · Arxiv: 0711.1556 by Cross, DiVincenzo, Terhal with . threshold studies

Error Correction

Page 16: Lectures on Fault-Tolerant Quantum Computationmctp/SciPrgPgs/events/2008/SS08/Lectures/... · 2010-12-16 · Arxiv: 0711.1556 by Cross, DiVincenzo, Terhal with . threshold studies
Page 17: Lectures on Fault-Tolerant Quantum Computationmctp/SciPrgPgs/events/2008/SS08/Lectures/... · 2010-12-16 · Arxiv: 0711.1556 by Cross, DiVincenzo, Terhal with . threshold studies

[[9,1,3]] Shor code

Page 18: Lectures on Fault-Tolerant Quantum Computationmctp/SciPrgPgs/events/2008/SS08/Lectures/... · 2010-12-16 · Arxiv: 0711.1556 by Cross, DiVincenzo, Terhal with . threshold studies

Other Quantum Codes

Page 19: Lectures on Fault-Tolerant Quantum Computationmctp/SciPrgPgs/events/2008/SS08/Lectures/... · 2010-12-16 · Arxiv: 0711.1556 by Cross, DiVincenzo, Terhal with . threshold studies

Other Quantum Codes

Page 20: Lectures on Fault-Tolerant Quantum Computationmctp/SciPrgPgs/events/2008/SS08/Lectures/... · 2010-12-16 · Arxiv: 0711.1556 by Cross, DiVincenzo, Terhal with . threshold studies

Bacon-Shor CodesLattice of 3 x 3 qubits (or 5 x 5 or 7 x 7 etc.)X-stabilizers are 2 adjacent horizontal lines of Xs.Z-stabilizers (linear combinations of [[9,1,3]] stabilizers) are adjacent vertical lines of Zs.9-4=5 encoded qubits…(in general n2-2(n-1) qubits).

Page 21: Lectures on Fault-Tolerant Quantum Computationmctp/SciPrgPgs/events/2008/SS08/Lectures/... · 2010-12-16 · Arxiv: 0711.1556 by Cross, DiVincenzo, Terhal with . threshold studies

Bacon-Shor CodesElements in N(S)-S of weight 2, no protection against thoseerrors...?

Page 22: Lectures on Fault-Tolerant Quantum Computationmctp/SciPrgPgs/events/2008/SS08/Lectures/... · 2010-12-16 · Arxiv: 0711.1556 by Cross, DiVincenzo, Terhal with . threshold studies

Bacon-Shor CodesElements in N(S)-S of weight 2, no protection against thoseerrors...?

Page 23: Lectures on Fault-Tolerant Quantum Computationmctp/SciPrgPgs/events/2008/SS08/Lectures/... · 2010-12-16 · Arxiv: 0711.1556 by Cross, DiVincenzo, Terhal with . threshold studies

Measuring Stabilizers

Page 24: Lectures on Fault-Tolerant Quantum Computationmctp/SciPrgPgs/events/2008/SS08/Lectures/... · 2010-12-16 · Arxiv: 0711.1556 by Cross, DiVincenzo, Terhal with . threshold studies

Surface Code Family

Page 25: Lectures on Fault-Tolerant Quantum Computationmctp/SciPrgPgs/events/2008/SS08/Lectures/... · 2010-12-16 · Arxiv: 0711.1556 by Cross, DiVincenzo, Terhal with . threshold studies

Surface Code Family

Page 26: Lectures on Fault-Tolerant Quantum Computationmctp/SciPrgPgs/events/2008/SS08/Lectures/... · 2010-12-16 · Arxiv: 0711.1556 by Cross, DiVincenzo, Terhal with . threshold studies

Errors on Surface Codes

Page 27: Lectures on Fault-Tolerant Quantum Computationmctp/SciPrgPgs/events/2008/SS08/Lectures/... · 2010-12-16 · Arxiv: 0711.1556 by Cross, DiVincenzo, Terhal with . threshold studies

Passive Noise Protection

Page 28: Lectures on Fault-Tolerant Quantum Computationmctp/SciPrgPgs/events/2008/SS08/Lectures/... · 2010-12-16 · Arxiv: 0711.1556 by Cross, DiVincenzo, Terhal with . threshold studies

Noise Threshold

Page 29: Lectures on Fault-Tolerant Quantum Computationmctp/SciPrgPgs/events/2008/SS08/Lectures/... · 2010-12-16 · Arxiv: 0711.1556 by Cross, DiVincenzo, Terhal with . threshold studies
Page 30: Lectures on Fault-Tolerant Quantum Computationmctp/SciPrgPgs/events/2008/SS08/Lectures/... · 2010-12-16 · Arxiv: 0711.1556 by Cross, DiVincenzo, Terhal with . threshold studies

Threshold Studies

Cross, DiVincenzo, Terhal, 2007

Page 31: Lectures on Fault-Tolerant Quantum Computationmctp/SciPrgPgs/events/2008/SS08/Lectures/... · 2010-12-16 · Arxiv: 0711.1556 by Cross, DiVincenzo, Terhal with . threshold studies

What we study

Extended-rectangle.Here 1-Ga taken as transversal CNOT. Steane EC.Generate random X,Y,Z errors with probability p on all locations.Follow errors through gates in the rectangle. If errors add up to logical error between state at t and state at t’, call it a failure.

Estimate probability for failure p1 as function of p. Threshold: p1=p.

t’t

Page 32: Lectures on Fault-Tolerant Quantum Computationmctp/SciPrgPgs/events/2008/SS08/Lectures/... · 2010-12-16 · Arxiv: 0711.1556 by Cross, DiVincenzo, Terhal with . threshold studies

Perfect Ancillas for Steane EC

Page 33: Lectures on Fault-Tolerant Quantum Computationmctp/SciPrgPgs/events/2008/SS08/Lectures/... · 2010-12-16 · Arxiv: 0711.1556 by Cross, DiVincenzo, Terhal with . threshold studies

Thresholds

Page 34: Lectures on Fault-Tolerant Quantum Computationmctp/SciPrgPgs/events/2008/SS08/Lectures/... · 2010-12-16 · Arxiv: 0711.1556 by Cross, DiVincenzo, Terhal with . threshold studies

Surface Code

We find for L , pc goes to 3.5 x 10-3

Page 35: Lectures on Fault-Tolerant Quantum Computationmctp/SciPrgPgs/events/2008/SS08/Lectures/... · 2010-12-16 · Arxiv: 0711.1556 by Cross, DiVincenzo, Terhal with . threshold studies

Overhead versus logical error-rate