``Hamiltonian Quantum Cellular Automata in 1D'' by Daniel...

“Hamiltonian Quantum Cellular Automata in 1D”by Daniel Nagaj and Pawel Wocjan

Maris Ozols

University of WaterlooDepartment of C&O

April 3, 2008

Introduction The first construction (d = 10) The second construction (d = 20) Conclusion

Outline

1. Introduction

2. Universal HQCA with d = 10

3. Universal HQCA with d = 20

4. Conclusion

HQCA – Hamiltonian Quantum cellular automatonUniversal – can be used to solve all problems in BQPd – the dimension of the state space of each cell

Introduction

Hamiltonian Quantum cellular automaton

How it works?

1. Take a rotating supermassive black hole

2. Shine a certain amount of the dark energy into it

3. Measure the change of the cosmological constant with respectto the Friedmann-Lemaıtre-Robertson-Walker metric

I’m joking. . .

How it works?

1. Take a rotating supermassive black hole

2. Shine a certain amount of the dark energy into it

3. Measure the change of the cosmological constant with respectto the Friedmann-Lemaıtre-Robertson-Walker metric

I’m joking. . .

How it works?

1. Prepare a basis state containing both – the input and theprogram itself

2. Let this state evolve undisturbed according to some fixedHamiltonian for some amount of time

3. Measure a small subsystem in the computational basis to getthe answer

Motivation

For meI had to choose some topic

Two women wiring the right side of the ENIACwith a new program, in the “pre-von Neumann” days.

Standing: Ester Gerston, Crouching: Gloria Ruth Gorden.

Motivation

For meIt’s a nice idea – reminds me of von Neumann architecture,universal Turing machine and ENIAC. . .

Motivation

For meIt’s a nice idea – reminds me of von Neumann architecture,universal Turing machine and ENIAC. . .

Main ingredients

1. Universal set of quantum gates

2. Classical cellular automaton

3. Quantum walk (for required time analysis)

Real universal gates

Theorem (Rudolph & Grover, 2002)

The gate

G(φ) =

1 0 0 00 1 0 00 0 cosφ − sinφ0 0 sinφ cosφ

is universal for quantum computing, when φ is an irrationalmultiple of π. [RG02]Idea: Simulate one-qubit gates and CNOT, which are universalaccording to [BBC+95].

NoteWe can apply G to any pair of qubits. We have to:

I simulate the real and imaginary parts separately,

I use ancilla qubits.

Thus we get universality only in some subspace.

Real universal gates

Theorem (Rudolph & Grover, 2002)

The gate

G(φ) =

1 0 0 00 1 0 00 0 cosφ − sinφ0 0 sinφ cosφ

is universal for quantum computing, when φ is an irrationalmultiple of π. [RG02]Idea: Simulate one-qubit gates and CNOT, which are universalaccording to [BBC+95].

NoteWe can apply G to any pair of qubits. We have to:

I simulate the real and imaginary parts separately,

I use ancilla qubits.

Thus we get universality only in some subspace.

The W gate

Claim (Nagaj & Wocjan, 2008)

The gate

1 0 0 00 1 0 00 0 1√

2− 1√

0 0 1√2

= G(π4 )

is universal for quantum computing. [NW08]Idea: Simulate Toffoli and Hadamard gates, which are universalaccording to [Aha03]. How?

Swaping qubits

1 0 0 00 0 1 00 1 0 00 0 0 1

The W gate

Claim (Nagaj & Wocjan, 2008)

The gate

1 0 0 00 1 0 00 0 1√

2− 1√

0 0 1√2

= G(π4 )

is universal for quantum computing. [NW08]Idea: Simulate Toffoli and Hadamard gates, which are universalaccording to [Aha03]. How?

Swaping qubits

1 0 0 00 0 1 00 1 0 00 0 0 1

The main challenge

We would like our Hamiltonian to be as simple as possible:

I it acts on a 1D chain of qudits,

I it is local – only nearest-neighbor interactions,

I it is translationally invariant,

I qudits have as small dimension as possible.

Circuits in “ladder form”

Original circuit

Modified circuit

The first construction (d = 10)

Encoding the circuit

Circuit in “ladder form”

Encoded circuit

2nd marker 1st marker 1st sequence 2nd sequence

program

� � I � � I I W S I I W

0 0 0 0 0 0 q1 q2 q3 0 0 0input

Basis states are marked by elements of {�,I,W, S, I} × {0, 1}.

Encoded circuit

program

� � I � � I I W S I I W

0 0 0 0 0 0

q1 q2 q3

Encoded circuit

program

� � I � � I I W S I I W

data 0 0 0 0 0 0 q1 q2 q3 0 0 0input

Encoded circuit

2nd marker 1st marker

1st sequence

2nd sequence

program

� � I � � I I

data 0 0 0 0 0 0 q1 q2 q3 0 0 0input

Encoded circuit

1st sequence 2nd sequence

program

� � I � � I I

I Wdata 0 0 0 0 0 0 q1 q2 q3 0 0 0

Encoded circuit

program

� � I � � I

I W S I I Wdata 0 0 0 0 0 0 q1 q2 q3 0 0 0

Encoded circuit

2nd marker

1st marker 1st sequence 2nd sequence

program

� � I

� � I I W S I I Wdata 0 0 0 0 0 0 q1 q2 q3 0 0 0

Encoded circuit

program � � I � � I I W S I I Wdata 0 0 0 0 0 0 q1 q2 q3 0 0 0

Encoded circuit

program � � I � � I I W S I I Wdata 0 0 0 0 0 0 q1 q2 q3 0 0 0

Evolution

Circuit

Current configuration

� � I � � I I W S I I W0 0 0 0 0 0 q1 q2 q3 0 0 0

Evolution

Circuit

� � I � � I I W S I I W0 0 0 0 0 0 q1 q2 q3 0 0 0

Evolution

Circuit

� � I � � I W I S I I W0 0 0 0 0 0 | q12 〉 q3 0 0 0

Evolution

Circuit

� � I � � I W S I I I W0 0 0 0 0 0 | q123 〉 0 0 0

Evolution

Circuit

� � I � � I W S I I I W0 0 0 0 0 0 | q123 〉 0 0 0

Evolution

Circuit

� � I � � I W S I I I W0 0 0 0 0 0 | q123 〉 0 0 0

Evolution

Circuit

� � I � � I W S I I W I0 0 0 0 0 0 | q123 〉 0 0 0

Evolution

Circuit

� � I � I � W S I I W I0 0 0 0 0 0 | q123 〉 0 0 0

Evolution

Circuit

� � I � I W � S I I W I0 0 0 0 0 0 | q123 〉 0 0 0

Evolution

Circuit

� � I I � W � S I I W I0 0 0 0 0 0 | q123 〉 0 0 0

Evolution

Circuit

� � I I � W � S I I W I0 0 0 0 0 0 | q123 〉 0 0 0

Evolution

Circuit

� � I I � W S � I I W I0 0 0 0 0 0 | q123 〉 0 0 0

Evolution

Circuit

� � I I � W S I � I W I0 0 0 0 0 0 | q123 〉 0 0 0

Evolution

Circuit

� � I I � W S I I � W I0 0 0 0 0 0 | q123 〉 0 0 0

Evolution

Circuit

� � I I � W S I I W � I0 0 0 0 0 0 | q123 〉 0 0 0

Evolution

Circuit

� � I I W � S I I W � I0 0 0 0 0 0 | q123 〉 0 0 0

Evolution

Circuit

� � I I W S � I I W � I0 0 0 0 0 0 | q123 〉 0 0 0

Evolution

Circuit

� � I I W S I � I W � I0 0 0 0 0 0 | q123 〉 0 0 0

Evolution

Circuit

� � I I W S I I � W � I0 0 0 0 0 0 | q123 〉 0 0 0

Evolution

Circuit

� � I I W S I I W � � I0 0 0 0 0 0 | q123 〉 0 0 0

Evolution

Circuit

� � I W I S I I W � � I0 0 0 0 0 0 | q123 〉 0 0 0

Evolution

Circuit

� � I W S I I I W � � I0 0 0 0 0 0 | q123 〉 0 0 0

Evolution

Circuit

� � I W S I I I W � � I0 0 0 0 0 0 | q123 〉 0 0 0

Evolution

Circuit

� � I W S I I I W � � I0 0 0 0 0 0 | q123 〉 0 0 0

Evolution

Circuit

� � I W S I I W I � � I0 0 0 0 0 0 | s123 〉 0 0 0

Evolution

Circuit

� I � W S I I W I � � I0 0 0 0 0 0 | s123 〉 0 0 0

Evolution

Circuit

� I W � S I I W I � � I0 0 0 0 0 0 | s123 〉 0 0 0

Evolution

Circuit

� I W S � I I W I � � I0 0 0 0 0 0 | s123 〉 0 0 0

Evolution

Circuit

� I W S I � I W I � � I0 0 0 0 0 0 | s123 〉 0 0 0

Evolution

Circuit

� I W S I I � W I � � I0 0 0 0 0 0 | s123 〉 0 0 0

Evolution

Circuit

� I W S I I W � I � � I0 0 0 0 0 0 | s123 〉 0 0 0

Evolution

Circuit

I � W S I I W � I � � I0 0 0 0 0 0 | s123 〉 0 0 0

Evolution

Circuit

I W � S I I W � I � � I0 0 0 0 0 0 | s123 〉 0 0 0

Evolution

Circuit

I W S � I I W � I � � I0 0 0 0 0 0 | s123 〉 0 0 0

Evolution

Circuit

I W S I � I W � I � � I0 0 0 0 0 0 | s123 〉 0 0 0

Evolution

Circuit

I W S I I � W � I � � I0 0 0 0 0 0 | s123 〉 0 0 0

Evolution

Circuit

I W S I I W � � I � � I0 0 0 0 0 0 | s123 〉 0 0 0

Move gate

� A → A � where A ∈ {W,S, I}

Apply gate

x y→ A I

A(x, y)where A ∈ {W,S, I}

HamiltonianThese rules give us

H10 = −L−1∑j=1

(R+R†)(j,j+1)

R =∑

A∈{W,S,I}

(|A�〉〈�A| ⊗ I + |A I〉〈I A| ⊗A

Consider how H10 acts on the program register. If we map {I, �}to |0〉 (no fermion) and {W,S, I} to |1〉 (a fermion), then we get

Hfermion = −L−1∑j=1

(|10〉〈01|+ |01〉〈10|

)(j,j+1)

or diffusion of a discrete free fermion gas on a line! In other words:the initial state remains in the subspace spaned by the basisvectors of the same Hamming weight – fermions jumping around.

H10 = −L−1∑j=1

(R+R†)(j,j+1)

R =∑

A∈{W,S,I}

(|A�〉〈�A| ⊗ I + |A I〉〈I A| ⊗A

)Consider how H10 acts on the program register. If we map {I, �}to |0〉 (no fermion) and {W,S, I} to |1〉 (a fermion), then we get

(|10〉〈01|+ |01〉〈10|

)(j,j+1)

or diffusion of a discrete free fermion gas on a line!

In other words:the initial state remains in the subspace spaned by the basisvectors of the same Hamming weight – fermions jumping around.

H10 = −L−1∑j=1

(R+R†)(j,j+1)

R =∑

A∈{W,S,I}

(|A�〉〈�A| ⊗ I + |A I〉〈I A| ⊗A

)Consider how H10 acts on the program register. If we map {I, �}to |0〉 (no fermion) and {W,S, I} to |1〉 (a fermion), then we get

(|10〉〈01|+ |01〉〈10|

)(j,j+1)

or diffusion of a discrete free fermion gas on a line! In other words:the initial state remains in the subspace spaned by the basisvectors of the same Hamming weight – fermions jumping around.

“Fermion love story”

Example with 5 sites and 2 fermions. . .♥

0 2 4 6 8 10

È00011\È00110\ È00101\È01100\ È01010\ È01001\È11000\ È10100\ È10010\ È10001\

The second construction (d = 20)

Encoded circuit

program

� � � � � � I W S I I I W

0 1 0 0 0 1 q1 q2 q3 1 0 0 0 1boundary markers input

Basis states are marked by elements of

{W,S, I, W©, S©, I©,I,B,, �} × {0, 1} .

Encoded circuit

program

� � � � � � I W S I I I W

0 1 0 0 0 1

q1 q2 q3

1 0 0 0 1boundary markers

{W,S, I, W©, S©, I©,I,B,, �} × {0, 1} .

Encoded circuit

program

� � � � � � I W S I I I W

1 q1 q2 q3 1

1boundary markers input

{W,S, I, W©, S©, I©,I,B,, �} × {0, 1} .

Encoded circuit

program

� � � � � � I W S I I I W

data 0 1 0 0 0 1 q1 q2 q3 1 0 0 0 1boundary markers input

{W,S, I, W©, S©, I©,I,B,, �} × {0, 1} .

Encoded circuit1st sequence

2nd sequence

program

� � � � � � I

I I I W

{W,S, I, W©, S©, I©,I,B,, �} × {0, 1} .

Encoded circuit1st sequence 2nd sequence

program

� � � � � � I

{W,S, I, W©, S©, I©,I,B,, �} × {0, 1} .

program

� � � � � �

I W S I I I W

{W,S, I, W©, S©, I©,I,B,, �} × {0, 1} .

program

� � � � � �

I W S I I I W data 0 1 0 0 0 1 q1 q2 q3 1 0 0 0 1

boundary markers input

{W,S, I, W©, S©, I©,I,B,, �} × {0, 1} .

program � � � � � � I W S I I I W data 0 1 0 0 0 1 q1 q2 q3 1 0 0 0 1

{W,S, I, W©, S©, I©,I,B,, �} × {0, 1} .

program � � � � � � I W S I I I W data 0 1 0 0 0 1 q1 q2 q3 1 0 0 0 1

{W,S, I, W©, S©, I©,I,B,, �} × {0, 1} .

Evolution

Circuit

Current configuration� � � � � � I W S I I I W 0 1 0 0 0 1 q1 q2 q3 1 0 0 0 1

Evolution

Circuit

Current configuration� � � � � � I W S I I I W© �0 1 0 0 0 1 q1 q2 q3 1 0 0 0 1

Evolution

Circuit

Current configuration� � � � � � I W S I I I© W �0 1 0 0 0 1 q1 q2 q3 1 0 0 0 1

Evolution

Circuit

Current configuration� � � � � � I W S I I© I W �0 1 0 0 0 1 q1 q2 q3 1 0 0 0 1

Evolution

Circuit

Current configuration� � � � � � I W S I© I I W �0 1 0 0 0 1 q1 q2 q3 1 0 0 0 1

Evolution

Circuit

Current configuration� � � � � � I W S© I I I W �0 1 0 0 0 1 q1 q2 q3 1 0 0 0 1

Evolution

Circuit

Current configuration� � � � � � I W© S I I I W �0 1 0 0 0 1 q1 q2 q3 1 0 0 0 1

Evolution

Circuit

Current configuration� � � � � � I© W S I I I W �0 1 0 0 0 1 q1 q2 q3 1 0 0 0 1

Evolution

Circuit

Current configuration� � � � � I W S I I I W �0 1 0 0 0 1 q1 q2 q3 1 0 0 0 1

Evolution

Circuit

Current configuration� � � � � I W S I I I W �0 1 0 0 0 1 q1 q2 q3 1 0 0 0 1

Evolution

Circuit

Current configuration� � � � � I I W S I I I W �0 1 0 0 0 1 q1 q2 q3 1 0 0 0 1

Evolution

Circuit

Evolution

Circuit

Evolution

Circuit

Current configuration� � � � � I W I S I I I W �0 1 0 0 0 1 | q12 〉 q3 1 0 0 0 1

Evolution

Circuit

Current configuration� � � � � I W S I I I I W �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Evolution

Circuit

Evolution

Circuit

Evolution

Circuit

Current configuration� � � � � I W S I I I W I �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� � � � � I W S I I I W I �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� � � � � I W S I I I W �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� � � � � I W S I I I W �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� � � � � I W S I I I W© � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� � � � � I W S I I I© W � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� � � � � I W S I I© I W � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� � � � � I W S I© I I W � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� � � � � I W S© I I I W � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� � � � � I W© S I I I W � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� � � � � I© W S I I I W � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� � � � I W S I I I W � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Evolution

Circuit

Current configuration� � � � B I W S I I I W � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� � � � B I W S I I I W � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� � � � I B W S I I I W � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� � � � I W B S I I I W � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� � � � I W S B I I I W � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� � � � I W S I B I I W � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� � � � I W S I I B I W � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� � � � I W S I I I B W � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� � � � I W S I I I W B � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� � � � I W S I I I W B � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Evolution

Circuit

Evolution

Circuit

Current configuration� � � � I W S I I I W© � � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� � � � I W S I I I© W � � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� � � � I W S I I© I W � � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� � � � I W S I© I I W � � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� � � � I W S© I I I W � � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� � � � I W© S I I I W � � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� � � � I© W S I I I W � � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� � � I W S I I I W � � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Evolution

Circuit

Current configuration� � � B I W S I I I W � � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� � � B I W S I I I W � � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� � � I B W S I I I W � � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� � � I W B S I I I W � � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� � � I W S B I I I W � � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� � � I W S I B I I W � � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� � � I W S I I B I W � � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� � � I W S I I I B W � � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� � � I W S I I I W B � � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� � � I W S I I I W B � � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Evolution

Circuit

Evolution

Circuit

Evolution

Circuit

Evolution

Circuit

Evolution

Circuit

Evolution

Circuit

Evolution

Circuit

Evolution

Circuit

Evolution

Circuit

Current configuration� � I W S I I I W � � � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Evolution

Circuit

Current configuration� � B I W S I I I W � � � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� � B I W S I I I W � � � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� � I B W S I I I W � � � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� � I W B S I I I W � � � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� � I W S B I I I W � � � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� � I W S I B I I W � � � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� � I W S I I B I W � � � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� � I W S I I I B W � � � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� � I W S I I I W B � � � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� � I W S I I I W B � � � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Evolution

Circuit

Evolution

Circuit

Evolution

Circuit

Evolution

Circuit

Evolution

Circuit

Evolution

Circuit

Evolution

Circuit

Evolution

Circuit

Evolution

Circuit

Current configuration� I W S I I I W � � � � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� I W S I I I W � � � � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� I I W S I I I W � � � � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Evolution

Circuit

Evolution

Circuit

Current configuration� I W I S I I I W � � � � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� I W S I I I I W � � � � �0 1 0 0 0 1 | q123 〉 1 0 0 0 1

Evolution

Circuit

Evolution

Circuit

Evolution

Circuit

Evolution

Circuit

Current configuration� I W S I I I W I � � � � �0 1 0 0 0 1 | s123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� I W S I I I W I � � � � �0 1 0 0 0 1 | s123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� I W S I I I W � � � � �0 1 0 0 0 1 | s123 〉 1 0 0 0 1

Evolution

Circuit

Current configuration� I W S I I I W � � � � �0 1 0 0 0 1 | s123 〉 1 0 0 0 1

Evolution

Circuit

Evolution

Circuit

Evolution

Circuit

Evolution

Circuit

Evolution

Circuit

Evolution

Circuit

Evolution

Circuit

Evolution

Circuit

Current configuration I W S I I I W � � � � � �0 1 0 0 0 1 | s123 〉 1 0 0 0 1

Rules 1

Moving the active spot

A → A© �

A B© → A© B

� A© → A

Turning around

1→ � I

0→ � B

Rules 2

Apply gates

x y→ A I

A(x, y)

1→ �

Shift gates

B A → A B

0→ �

Hamiltonian

These rules give us the following Hamiltonian:

H20 = −L−1∑j=1

∑r∈rules

(Rr +R†r)(j,j+1)

Since the cellular automaton is deterministic and reversible, we canchange the basis so that our Hamiltonian becomes

Hline = −T−1∑t=0

(|t〉〈t+ 1|+ |t+ 1〉〈t|

)This is a continuous time quantum walk on a line of length T + 1.

“Lonely fermion”

Example with 5 sites and 1 fermion

0 2 4 6 8 10 12

1.0È10000\ È01000\ È00100\ È00010\ È00001\

Conclusion

Hamiltonian QCA

I on a 1D chain of qudits

I only nearest-neighbor interactions

I translationally invariant rules

Evolution

I diffusion of fermion gas (d = 10)

I quantum walk on a line (d = 20)

Conclusion

Hamiltonian QCA

I on a 1D chain of qudits

I only nearest-neighbor interactions

I translationally invariant rules

Evolution

I diffusion of fermion gas (d = 10)

I quantum walk on a line (d = 20)

References

Daniel Nagaj, Pawel Wocjan, Hamiltonian Quantum CellularAutomata in 1D, arXiv:0802.0886. Pawel’s talk at PI isavailable at pirsa-08010008.

Terry Rudolph, Lov Grover, A 2 rebit gate universal forquantum computing, arXiv:quant-ph/0210187.

A. Barenco, C.H. Bennett, R. Cleve, D.P. DiVincenzo, N.Margolus, P. Shor, T. Sleator, J. Smolin, H. Weinfurter,Elementary gates for quantum computation,arXiv:quant-ph/9503016.

Dorit Aharonov, A Simple Proof that Toffoli and Hadamardare Quantum Universal, arXiv:quant-ph/0301040.

Pictures are taken fromhttp://ftp.arl.army.mil/ftp/historic-computers/

Thank you for your attention!

Left: Patsy Simmers, holding ENIAC boardNext: Mrs. Gail Taylor, holding EDVAC board

Next: Mrs. Milly Beck, holding ORDVAC boardRight: Mrs. Norma Stec, holding BRLESC-I board

``Hamiltonian Quantum Cellular Automata in 1D'' by Daniel...

Documents

Transcript of ``Hamiltonian Quantum Cellular Automata in 1D'' by Daniel...

Cosmological Effective Hamiltonian from full Loop Quantum ...relativity.phys.lsu.edu/ilqgs/dapor092617.pdf · Cosmological E ective Hamiltonian from full Loop Quantum Gravity Andrea

Quantum Hamiltonian learning using imperfect quantum resources · range of problems in experimental physics and quantum information theory. Recently, a method called quantum Hamiltonian

Quantum Hamiltonian Complexity

Quantum Dot Cellular Automata - UCSB

HOQST: Hamiltonian Open Quantum System ToolkitHOQST: Hamiltonian Open Quantum System Toolkit Huo Chena,b,, Daniel A. Lidara,b,c,d aDepartment of Electrical Engineering, University

Computational Quantum MechanicsComputational Quantum Mechanics From Fourier Grid Hamiltonian Method to Quantum Monte Carlo HSIN-YUAN HUANG, B03902124 National Taiwan University December

Simulating Hamiltonian dynamics on a quantum computeriqst.ca/media/pdf/events/sschool03/Lecture23-Hamiltonian-Childs.pdf · Simulating a sparse Hamiltonian Proof. (of Rule 7) CCDFGS

Overview of adiabatic quantum computationamchilds/talks/pi06.pdf · Outline • Quantum mechanical computers • Quantum computation and Hamiltonian dynamics • The adiabatic theorem

Probability current in the relativistic Hamiltonian …mborn29/rembielinski.pdfProbability current in the relativistic Hamiltonian quantum mechanics Jakub Rembielinski University of

Hamiltonian Cellular Automata in 1Dcnls.lanl.gov/~ashipman/conferences/Classical and Quantum/wocjan… · prepare an initial state in the computational basis that encodes both the

Quantum Fluctuations in Low-Dimensional Superconductors · Hamiltonian of a supercondcuting nanowire in the regime of quantum fluctuations: is dual to the corresponding Hamiltonian

Quantum Bootstrapping via Compressed Quantum Hamiltonian ... · We also use ideas from quantum Hamiltonian learn-ing by swapping the quantum state of a subsystem of the larger (uncharacterized)

Simulating Hamiltonian dynamics on a quantum computeramchilds/talks/ibm13.pdfSimulating Hamiltonian dynamics! on a small quantum computer Andrew Childs! Department of Combinatorics

Fractional Quantum Hall Eﬁect: the Extended Hamiltonian ...guava.physics.uiuc.edu/~nigel/courses/569/Essays_Fall2006/files/... · Fractional Quantum Hall Eﬁect: the Extended Hamiltonian

ECE 604, Lecture 24 - Purdue University...via Hamiltonian mechanics. Since Hamiltonian mechanics motivates quantum mechanics, we will look at the Hamiltonian mechanics view of the

SCALING AND HOLOGRAPHIC QUANTUM QUENCHentangle2016/das.pdf · QUANTUM QUENCH • Suppose we have a Hamiltonian system where a parameter in the Hamiltonian depends on time –attaining

Quantum Information Processing Via Hamiltonian Inverse ... · Quantum Information Processing Via Hamiltonian Inverse Quantum Engineering and Grover’s algorithm. Remarkable we show

Quantum-Inspired Hamiltonian Monte Carlo for Bayesian Samplingzhengzhang/submitted/Ziming_QHMC.pdf · Keywords: Hamiltonian Monte Carlo, Quantum-Inspired Methods, Sparse Modeling

Molecular quantum-dot cellular automata

Simulating Hamiltonian dynamics on a quantum computeramchilds/talks/ibm13.pdf · Simulating Hamiltonian dynamics! on a small quantum computer Andrew Childs! Department of Combinatorics