Quantum Computer Architecturemueller/qc/qc18/readings/byrd.pdf · 2018-05-07 · Quantum Computer...

36
Quantum Computer Architecture Scalable and Reliable Quantum Computers Greg Byrd (ECE) CSC 801 - Feb 13, 2018

Transcript of Quantum Computer Architecturemueller/qc/qc18/readings/byrd.pdf · 2018-05-07 · Quantum Computer...

Page 1: Quantum Computer Architecturemueller/qc/qc18/readings/byrd.pdf · 2018-05-07 · Quantum Computer Architecture Scalable and Reliable Quantum Computers Greg Byrd (ECE) CSC 801 - Feb

Quantum Computer Architecture

Scalable and Reliable Quantum Computers

Greg Byrd (ECE)

CSC 801 - Feb 13, 2018

Page 2: Quantum Computer Architecturemueller/qc/qc18/readings/byrd.pdf · 2018-05-07 · Quantum Computer Architecture Scalable and Reliable Quantum Computers Greg Byrd (ECE) CSC 801 - Feb

Overview

1

Page 3: Quantum Computer Architecturemueller/qc/qc18/readings/byrd.pdf · 2018-05-07 · Quantum Computer Architecture Scalable and Reliable Quantum Computers Greg Byrd (ECE) CSC 801 - Feb

Sources

2

Page 4: Quantum Computer Architecturemueller/qc/qc18/readings/byrd.pdf · 2018-05-07 · Quantum Computer Architecture Scalable and Reliable Quantum Computers Greg Byrd (ECE) CSC 801 - Feb

Key Concepts

Page 5: Quantum Computer Architecturemueller/qc/qc18/readings/byrd.pdf · 2018-05-07 · Quantum Computer Architecture Scalable and Reliable Quantum Computers Greg Byrd (ECE) CSC 801 - Feb

Quantum Computer

3

Page 6: Quantum Computer Architecturemueller/qc/qc18/readings/byrd.pdf · 2018-05-07 · Quantum Computer Architecture Scalable and Reliable Quantum Computers Greg Byrd (ECE) CSC 801 - Feb

Outline

4

Page 7: Quantum Computer Architecturemueller/qc/qc18/readings/byrd.pdf · 2018-05-07 · Quantum Computer Architecture Scalable and Reliable Quantum Computers Greg Byrd (ECE) CSC 801 - Feb

Ion Trap Operation

The ion can move into any of the six adjacent trapping regions.

Move two qubits together to perform gate operation.

5

Page 8: Quantum Computer Architecturemueller/qc/qc18/readings/byrd.pdf · 2018-05-07 · Quantum Computer Architecture Scalable and Reliable Quantum Computers Greg Byrd (ECE) CSC 801 - Feb

Ion Trap System

6

Page 9: Quantum Computer Architecturemueller/qc/qc18/readings/byrd.pdf · 2018-05-07 · Quantum Computer Architecture Scalable and Reliable Quantum Computers Greg Byrd (ECE) CSC 801 - Feb

Outline

7

Page 10: Quantum Computer Architecturemueller/qc/qc18/readings/byrd.pdf · 2018-05-07 · Quantum Computer Architecture Scalable and Reliable Quantum Computers Greg Byrd (ECE) CSC 801 - Feb

Error Model

“. . . errors are so frequent that the speed of the error correction

method used is critical for the application run-time.”

• Quantum states are continuous and therefore errors are continuous.

In principle, it could take infinite resources to determine exactly

what the error is.

• Measurement destroys the superposition of quantum data, but the

only way to extract the error syndrome bits is to measure.

Therefore, we can only measure indirectly.

• Quantum data is fundamentally more faulty than classical data.

(E.g., 1 error in 108 operations.)

• Quantum states are entangled, affecting how errors propagate.

8

Page 11: Quantum Computer Architecturemueller/qc/qc18/readings/byrd.pdf · 2018-05-07 · Quantum Computer Architecture Scalable and Reliable Quantum Computers Greg Byrd (ECE) CSC 801 - Feb

Steane Method for Error Correction

Two blocks of ancillary qubits, same size as encoded logical qubit.

1. CNOT propagates bit flips (X errors) to |+〉. Measure and correct.

2. Reverse CNOT propagates phase flips (Z errors) to |0〉. Measure and

correct.

Can use one set of ancillary qubits, if correction in series.

9

Page 12: Quantum Computer Architecturemueller/qc/qc18/readings/byrd.pdf · 2018-05-07 · Quantum Computer Architecture Scalable and Reliable Quantum Computers Greg Byrd (ECE) CSC 801 - Feb

Steane [[7,1,3]] Code

One logical qubit is encoded using seven physical qubits.

|0〉 = |0000000〉+ |1111000〉+ |1100110〉+ |1010101〉+

|0011110〉+ |0101101〉+ |0110011〉+ |1001011〉

Smallest code that allows transversal logical gates for:

H,CNOT,X ,Z ,Y ,S

Transversal means that the gate is applied in parallel to all component

qubits. The T gate is more complicated.

10

Page 13: Quantum Computer Architecturemueller/qc/qc18/readings/byrd.pdf · 2018-05-07 · Quantum Computer Architecture Scalable and Reliable Quantum Computers Greg Byrd (ECE) CSC 801 - Feb

Recursive Error Correction Code

Recursive error coding allows error rate to be scaled according to the

problem size.

• As problem scales (in time and qubits), error rate per logical

operation (gate or move) must decrease.

11

Page 14: Quantum Computer Architecturemueller/qc/qc18/readings/byrd.pdf · 2018-05-07 · Quantum Computer Architecture Scalable and Reliable Quantum Computers Greg Byrd (ECE) CSC 801 - Feb

Shor Factorization Speedup

12

Page 15: Quantum Computer Architecturemueller/qc/qc18/readings/byrd.pdf · 2018-05-07 · Quantum Computer Architecture Scalable and Reliable Quantum Computers Greg Byrd (ECE) CSC 801 - Feb

Outline

13

Page 16: Quantum Computer Architecturemueller/qc/qc18/readings/byrd.pdf · 2018-05-07 · Quantum Computer Architecture Scalable and Reliable Quantum Computers Greg Byrd (ECE) CSC 801 - Feb

Movement of Qubits

For most physical implementation technologies (e.g., ion trap), qubits

must be near each other to interact in a 2-qubit gate.

Movement is challenging:

• Time to physically move

• Decoherence (error) introduced by movement ops

• Many physical qubits must be moved (e.g., 49 for L2)

• Higher recursion in QEC ⇒ qubits are further apart

In large applications, long-range qubit movement is needed.

14

Page 17: Quantum Computer Architecturemueller/qc/qc18/readings/byrd.pdf · 2018-05-07 · Quantum Computer Architecture Scalable and Reliable Quantum Computers Greg Byrd (ECE) CSC 801 - Feb

No-Cloning Rule

Proof.

Suppose a cloning operator U, such that U |a0〉 = |aa〉 for all |a〉.

Let |a〉 and |b〉 be orthogonal quantum states.

U |a0〉 = |aa〉 , andU |b0〉 = |bb〉

Consider |c〉 = 1√2

(|a〉+ |b〉). By linearity,

U |c0〉 =1√2

(U |a0〉+ U |b0〉) =1√2

(|aa〉+ |bb〉)

However, if U is a cloning operator, then

U |c0〉 = |cc〉 =1

2(|aa〉+ |bb〉+ |ab〉+ |ba〉) 6= 1√

2(|aa〉+ |bb〉)

15

Page 18: Quantum Computer Architecturemueller/qc/qc18/readings/byrd.pdf · 2018-05-07 · Quantum Computer Architecture Scalable and Reliable Quantum Computers Greg Byrd (ECE) CSC 801 - Feb

Quantum Teleportation

However, we can use entangled EPR pair to achieve teleportation. We

can recreate a state |q1〉, even at a distance, but we have to measure the

original qubit (and thereby destroy its state).

16

Page 19: Quantum Computer Architecturemueller/qc/qc18/readings/byrd.pdf · 2018-05-07 · Quantum Computer Architecture Scalable and Reliable Quantum Computers Greg Byrd (ECE) CSC 801 - Feb

Teleportation: Step 1

Alice has qubit |q1〉 in unknown state a |0〉+ b |1〉.

Create EPR pair |q2q3〉 = 1√2

(|00〉+ |11〉).

Alice keeps |q2〉 and sends |q3〉 to Bob.

17

Page 20: Quantum Computer Architecturemueller/qc/qc18/readings/byrd.pdf · 2018-05-07 · Quantum Computer Architecture Scalable and Reliable Quantum Computers Greg Byrd (ECE) CSC 801 - Feb

Teleportation: Step 2

After CNOT and H gate:

|q1q2q3〉 =1

2( |00〉 (a |0〉+ b |1〉)

+ |01〉 (a |1〉+ b |0〉)+ |10〉 (a |0〉 − b |1〉)+ |11〉 (a |1〉 − b |0〉))

18

Page 21: Quantum Computer Architecturemueller/qc/qc18/readings/byrd.pdf · 2018-05-07 · Quantum Computer Architecture Scalable and Reliable Quantum Computers Greg Byrd (ECE) CSC 801 - Feb

Teleportation: Step 3

When Alice measures |q1q2〉, we know the state of Bob’s qubit |q3〉, and

what transform is needed to restore it to the original state. (See next

slide.)

19

Page 22: Quantum Computer Architecturemueller/qc/qc18/readings/byrd.pdf · 2018-05-07 · Quantum Computer Architecture Scalable and Reliable Quantum Computers Greg Byrd (ECE) CSC 801 - Feb

Post-measurement Transform

|q1q2〉 |q3〉 Transform Result

|00〉 a |0〉+ b |1〉 I a |0〉+ b |1〉|01〉 a |1〉+ b |0〉 X a |0〉+ b |1〉|10〉 a |0〉 − b |1〉 Z a |0〉+ b |1〉|11〉 a |1〉 − b |0〉 ZX a |0〉+ b |1〉

20

Page 23: Quantum Computer Architecturemueller/qc/qc18/readings/byrd.pdf · 2018-05-07 · Quantum Computer Architecture Scalable and Reliable Quantum Computers Greg Byrd (ECE) CSC 801 - Feb

Teleportation: Step 4

Alice sends two cbits (result of measurements) to Bob, who then

performs the needed transforms.

21

Page 24: Quantum Computer Architecturemueller/qc/qc18/readings/byrd.pdf · 2018-05-07 · Quantum Computer Architecture Scalable and Reliable Quantum Computers Greg Byrd (ECE) CSC 801 - Feb

Communication through Teleportation

NOTE: Still moving the EPR qubit. Degrades over time/distance. But

EPR pairs can be replaced/repaired (EPR purification).

22

Page 25: Quantum Computer Architecturemueller/qc/qc18/readings/byrd.pdf · 2018-05-07 · Quantum Computer Architecture Scalable and Reliable Quantum Computers Greg Byrd (ECE) CSC 801 - Feb

Quantum Repeaters

EPR entanglement survives teleportation. Can stage multiple pairs so

that each qubit need not travel far.

Picture for third phase is wrong. Should be teleporting EPR qubit in the middle to the

right.

23

Page 26: Quantum Computer Architecturemueller/qc/qc18/readings/byrd.pdf · 2018-05-07 · Quantum Computer Architecture Scalable and Reliable Quantum Computers Greg Byrd (ECE) CSC 801 - Feb

Architectural Elements

Page 27: Quantum Computer Architecturemueller/qc/qc18/readings/byrd.pdf · 2018-05-07 · Quantum Computer Architecture Scalable and Reliable Quantum Computers Greg Byrd (ECE) CSC 801 - Feb

Two Fundamental Components

• Logical qubit

• Apply 1- and 2-qubit gates

• Error correction

• Communications channels

• Teleportation-based

• Quantum repeaters

• EPR pair creation and purification

24

Page 28: Quantum Computer Architecturemueller/qc/qc18/readings/byrd.pdf · 2018-05-07 · Quantum Computer Architecture Scalable and Reliable Quantum Computers Greg Byrd (ECE) CSC 801 - Feb

High-Level Architecture

Blank tiles: logical data qubits

Shaded tiles: logical ancilla tiles

25

Page 29: Quantum Computer Architecturemueller/qc/qc18/readings/byrd.pdf · 2018-05-07 · Quantum Computer Architecture Scalable and Reliable Quantum Computers Greg Byrd (ECE) CSC 801 - Feb

Compute vs. Memory Tiles

Reasons to specialize tiles for compute vs. storage

• Different encoding schemes

• Limited qubit-level parallelism

Parallelism vs. time for 64-bit adder

26

Page 30: Quantum Computer Architecturemueller/qc/qc18/readings/byrd.pdf · 2018-05-07 · Quantum Computer Architecture Scalable and Reliable Quantum Computers Greg Byrd (ECE) CSC 801 - Feb

QLA: Quantum Logic Array

Page 31: Quantum Computer Architecturemueller/qc/qc18/readings/byrd.pdf · 2018-05-07 · Quantum Computer Architecture Scalable and Reliable Quantum Computers Greg Byrd (ECE) CSC 801 - Feb

Quantum Logic Array

A detailed proposed architecture based on ion trap technology.

27

Page 32: Quantum Computer Architecturemueller/qc/qc18/readings/byrd.pdf · 2018-05-07 · Quantum Computer Architecture Scalable and Reliable Quantum Computers Greg Byrd (ECE) CSC 801 - Feb

Parameters

28

Page 33: Quantum Computer Architecturemueller/qc/qc18/readings/byrd.pdf · 2018-05-07 · Quantum Computer Architecture Scalable and Reliable Quantum Computers Greg Byrd (ECE) CSC 801 - Feb

Logical (L2) Qubit

29

Page 34: Quantum Computer Architecturemueller/qc/qc18/readings/byrd.pdf · 2018-05-07 · Quantum Computer Architecture Scalable and Reliable Quantum Computers Greg Byrd (ECE) CSC 801 - Feb

Communication Channel

30

Page 35: Quantum Computer Architecturemueller/qc/qc18/readings/byrd.pdf · 2018-05-07 · Quantum Computer Architecture Scalable and Reliable Quantum Computers Greg Byrd (ECE) CSC 801 - Feb

Communication Latency

Time to transmit an L2 qubit (49 physical qubits).

31

Page 36: Quantum Computer Architecturemueller/qc/qc18/readings/byrd.pdf · 2018-05-07 · Quantum Computer Architecture Scalable and Reliable Quantum Computers Greg Byrd (ECE) CSC 801 - Feb

Shor Factorization: Est. Time and Resources

Additional gains in area and performance

• Reduced recursion to decrease area

• Introduce memory hierarchy

32