fun with qma and non-unitary gates - school of physics · fun with qma and non-unitary gates dan...
TRANSCRIPT
![Page 1: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/1.jpg)
Fun with QMA and non-unitary gates
Dan Browne
joint work with: Naïri Usher
![Page 2: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/2.jpg)
QMA
❖ Kitaev (1999) - QMA: The quantum analogue of NP
![Page 3: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/3.jpg)
QMA for beginners
talk contains
Interstellarspoilers - sorry!
![Page 4: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/4.jpg)
NP
Arthur
Poly-time classical computer
Merlin
Unboundedcomputational
power
![Page 5: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/5.jpg)
NP
Arthur
Decision problem:
“Is there an answer to the problem of gravity?”
Arthur can verify validity of proof
in poly-time
Merlin
“Yes” “And here’s the proof”
proof
![Page 6: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/6.jpg)
NP
Arthur
Decision problem:
“Is there an answer to the problem of gravity?”
Arthur can verify validity of proof
in poly-time
Merlin
“No” “And there is no
fake proof I could send to you to trick you into thinking the
answer is yes”
![Page 7: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/7.jpg)
Arthur
Poly-time classical computer
Decision problem
Arthur can verify validity of proof
in poly-time
Merlin
Unboundedcomputational
power
“Yes = 1” “And here’s the proof”
“No = 0”
“And there is nofake proof …”
NP
proof
![Page 8: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/8.jpg)
Arthur
Poly-time classical computer
Decision problem
Arthur can verify validity of proof
in poly-time
Merlin
Unboundedcomputational
power
“Yes = 1” “And here’s the proof”
“No = 0”
“And there is nofake proof …”
NP
proof
MA
with “high enough”
probability
![Page 9: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/9.jpg)
“Is there an answer to the problem of gravity?”
We need quantum data!
“Is there an answer to the problem of gravity?”
NP GRAV
“I lied. It is not in NP.”
SPOILER:
![Page 10: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/10.jpg)
QMA
❖ Kitaev (1999) - QMA: The quantum analogue of NP
![Page 11: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/11.jpg)
Arthur
Poly-time quantum computer
Decision problem
Arthur can verify validity of proof
in poly-time
Merlin
Unboundedcomputational
power
“Yes = 1” “And here’s the proof”
“No = 0”
“And there is nofake proof …”
QMA
quantum proof
with “high enough”
probability
| i
![Page 12: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/12.jpg)
NP
GRAV
QMA
3-SAT
Kitaev (1999):
LH: k-local Hamiltonian Problem is
QMA-complete
LH
PP
Local Hamiltonian Problem
![Page 13: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/13.jpg)
Local Hamiltonian Problem
Given: A k-local n-qubit Hamiltonian
H =X
j
Hj
with a promise that the ground state energy of H is:
Problem: Determine whether E0 > b or E0 < a?
E = 0
E = a
E = bor
E0 > b
0 Hj 1
Hj : k-local
0 < E0 < a
“promise gap” >1/poly n
![Page 14: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/14.jpg)
LH is QMA-complete
![Page 15: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/15.jpg)
LH is in QMA
Can efficiently estimate the energy on a quantum computer.
ground state of H| i
![Page 16: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/16.jpg)
LH is hard for QMA
| i
Encode proof verification for any QMA problem into a ground state of a LH
quantum proof
poly-time verification
Yes instances: Low energyNo instances: Higher energy
ground state
![Page 17: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/17.jpg)
Encoding a computation in a ground state
Feynman’s History state idea
Unitary Gates
History State
| i = | ini|0i+U1| ini|1i
+U2U1| ini|2i+U3U2U1| ini|3i
+ · · ·
![Page 18: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/18.jpg)
Encoding a computation in a ground state
Propagator Hamiltonian:
Ground space is space of history states:
Hprop
=X
j
HjHj = �1
2(Uj ⌦ |jihj � 1|+ h.c.)+
1
2⌦ (|jihj|+ |j + 1ihj + 1|)
| ini|0i+U1| ini|1i
+U2U1| ini|2i+U3U2U1| ini|3i
+ · · ·
![Page 19: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/19.jpg)
Encoding a computation in a ground state
This works, because the ground space of
Hj = �1
2(Uj ⌦ |jihj � 1|+ h.c.)+
1
2⌦ (|jihj|+ |j + 1ihj + 1|)
| i|j � 1i+ Uj | i|ji
is:
![Page 20: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/20.jpg)
Encoding a computation in a ground state
This works, because the ground space of
Hj = �1
2(Uj ⌦ |jihj � 1|+ h.c.)+
1
2⌦ (|jihj|+ |j + 1ihj + 1|)
is:Hj(| i|j � 1i+ Uj | i|ji)
= (1/2)(�Uj | i|ji+ Uj | i|ji) = 0
![Page 21: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/21.jpg)
Arthur
Poly-time quantum computer
Decision problem
Arthur can verify validity of proof
in poly-time
Merlin
Unboundedcomputational
power
“Yes = 1” “And here’s the proof”
“No = 0”
“And there is nofake proof …”
QMA
quantum proof
with “high enough”
probability
| i
![Page 22: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/22.jpg)
Encoding a computation in a ground state
The verification circuit we wish to encode:
Unitary Gates
Z meas
|�iProof:
|0i|0i|0i
Ancillas:
L = No. of unitary gates in circuit
![Page 23: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/23.jpg)
Encoding a computation in a ground state
Maps into the ground space of
Unitary Gates
Z meas = 1
|�iProof:
|0i|0i|0i
Ancillas:
H = Hin
+Hprop
+Hout
Hin
=X
j2ancilla
|1ijh1|⌦ |0iclock
h0|
Hout
= |0iout
h0|⌦ |Liclock
hL|
![Page 24: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/24.jpg)
Encoding a computation in a ground state
Yes instance:
H = Hin
+Hprop
+Hout
No frustration: Each term of Hamiltonian can reach its ground space:
Unitary Gates
Z meas
|�iProof:
|0i|0i|0i
Ancillas:
Ground state: History state of this circuit
![Page 25: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/25.jpg)
Encoding a computation in a ground state
No instance:
H = Hin
+Hprop
+Hout
Frustration:Hout wants output qubit to be in state 1, but no proof state exists to allow this.
Unitary Gates
Z meas
|�iProof:
|0i|0i|0i
Ancillas:
Ground state energy must be increased.
![Page 26: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/26.jpg)
Promise gap scalingLH Problem: Determine whether E0 > b or E0 < a?
E = 0
E = a
E = bor
E0 > b
0 < E0 < a
“promise gap” >1/poly n
We need the “promise gap” between yes and no to remain inverse polynomial.
![Page 27: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/27.jpg)
Encoding a computation in a ground stateKitaev:Energy of no frustrated ground state instance scales with
E0 � �12 sin2(✓/2)
2nd lowest eigenvalue of Hprop
Kitaev’s Hprop: Lowest eigenvalue:
scales with 1/L
1� cos(⇡/L+ 1) ⇡ ⇡
2(L+ 1)
2
![Page 28: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/28.jpg)
LH is QMA-complete
![Page 29: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/29.jpg)
Non-unitary ground state computation?
Our work: (Usher/Browne, unfinished 2015)
![Page 30: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/30.jpg)
Non-unitary ground state computation?
Our work: (Usher/Browne, unfinished 2015)
What if?
Add projectors to the circuits
Unitary Gates + non-Unitary
projectors
Ground State Computation
Verifier circuits
![Page 31: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/31.jpg)
Non-unitary ground state computation?
Renormalised Projectors / Post-selection
E.g. quantum lottery ticket
|winihwin|
1
10000000000
|wini+ |losei
1
10000000000|wini
|wini
Renormalise
![Page 32: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/32.jpg)
Non-unitary ground state computation?Why?
• Curiosity! - Feynman’s construction pre-dates all quantum computing theory.
• Add projectors to unitary circuits and you get:
Fault-tolerant Quantum Computation Measurement-based Quantum Computation postIQP = postBQP = PP
![Page 33: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/33.jpg)
Non-unitary ground state computation?Why it will never work!
postIQP = postBQP = PP
NP
QMA
PP
Aaronson: If deterministic projectors (post-selection) are added to unitary gates, we can efficiently solve PP-hardproblems.
LH
![Page 34: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/34.jpg)
Non-unitary ground state computation?Why it might just work…..
postIQP = postBQP = PP
| i
|+i1p2H| i
|+ih+|
One-bit teleportation circuit (Zhou / Leung / Chuang 2000).
![Page 35: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/35.jpg)
Non-unitary ground state computation?Why it might just work…..
postIQP = postBQP = PP
| i
|+i1p2H| i
|+ih+|
One-bit Zero-bit teleportation circuit.
NB Norm of output is independent of input.
![Page 36: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/36.jpg)
Encoding a computation in a ground state
In Kitaev construction, Hout projects the input to the correct proof state.
Unitary Gates
Z meas
|�iProof:
|0i|0i|0i
Ancillas:
Acceptingcircuit
projects input into
proof state
Why it also might just work…..
H = Hin
+Hprop
+Hout
![Page 37: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/37.jpg)
The projector gadget
Recall Kitaev and Feynman’s unitary gadget:
Hj = �1
2(Uj ⌦ |jihj � 1|+ h.c.)+
1
2⌦ (|jihj|+ |j + 1ihj + 1|)
| i|j � 1i+ Uj | i|ji
that had ground space
![Page 38: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/38.jpg)
A projector gadget?For projector P, want a gadget
that has ground space
Hp =?
To avoid PP-hardness, we assume β will be equal for all states |Ψ⟩.
� = kP | i|jik| i|j � 1i+ P | i|ji�
where
![Page 39: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/39.jpg)
The projector gadget
| i|j � 1i+ P | i|ji�
has the ground space we want!
NB In the limit β →1, P→𝟙, we recover Kitaev/Feynman gadget.
Hj =
✓�2
1 + �2
◆P ⌦
✓� 1
�|j � 1ihj|� 1
�|jihj � 1|+ 1
�2|j � 1ihj � 1|+ |jihj|
◆+ P? ⌦ |jihj|
![Page 40: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/40.jpg)
The projector gadget
Hj =
✓�2
1 + �2
◆P ⌦
✓� 1
�|j � 1ihj|� 1
�|jihj � 1|+ 1
�2|j � 1ihj � 1|+ |jihj|
◆+ P? ⌦ |jihj|
Hj
✓| i|j � 1i+ P | i|ji
�
◆
/ �P
�| i|ji+ P
�| i|ji = 0
![Page 41: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/41.jpg)
The projector gadget
| i|j � 1i+ P | i|ji�
has the ground space we want!
NB In the limit β →1, P→𝟙, we recover Kitaev/Feynman gadget.
Hj =
✓�2
1 + �2
◆P ⌦
✓� 1
�|j � 1ihj|� 1
�|jihj � 1|+ 1
�2|j � 1ihj � 1|+ |jihj|
◆+ P? ⌦ |jihj|
![Page 42: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/42.jpg)
Encoding a computation in a ground state
With this gadget, we can construct Hamiltonians
H = Hin
+Hprop
+Hout
such that “Yes” instances have low energy…
Unitary andProjector Gates
Z meas
|�iProof:
|0i|0i|0i
Ancillas:
Ground state: History state of this circuit
![Page 43: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/43.jpg)
Encoding a computation in a ground state
And No instances have frustration
H = Hin
+Hprop
+Hout
The “promise gap” satisfies Kitaev’s formula
E0 � �12 sin2(✓/2)
2nd lowest eigenvalue of Hprop
should scale as 1 / poly(n)Need to check this!
![Page 44: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/44.jpg)
Characterising the promise gap
December 2014: We had a beautiful and elegant analytic bound on λ1 for many circuits.
January 2015: We found one of these in the proof…
![Page 45: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/45.jpg)
Characterising the promise gap
Instead - some quick and simple proof-of-principle numerics.
| i
|+i
|+ih+|
|+i
|+i
|+ih+|
|+ih+|
Equivalent to
| i H H H
![Page 46: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/46.jpg)
Characterising the promise gap
3 4 5 6 7 8
200
400
600
800
1000
1200
n: Number of 1-bit teleportations in circuit
1/λ1
Fit: 21.14(n+1)
EXPONENTIAL!! :-(
Inve
rse
of λ
1
![Page 47: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/47.jpg)
Characterising the promise gap
Extra ancillas giving low energy excited states. :-(
| i
|+i
|+ih+|
|+i
|+i
|+ih+|
|+ih+|
![Page 48: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/48.jpg)
Characterising the promise gap
A second try
| i
|+i
|+ih+|
|+ih+|
Equivalent to
| i H H H
|+ih+|
|+ih+|
H
![Page 49: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/49.jpg)
Characterising the promise gap
2 4 6 8 10
100
200
300
400
500
600
n: Number of 1-bit teleportations in circuit
1/λ1
Inve
rse
of λ
1
Fit: 1.4 + 0.088x+ 5.67x2
QUADRATIC!! :-)
![Page 50: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/50.jpg)
Conclusion
It works! Sometimes…..
(probably)
![Page 51: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/51.jpg)
Where do we go next?
![Page 52: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/52.jpg)
Where do we go next?❖ Numerical evidence for 1/poly promise gap scaling: ❖ But when does exponential scaling occur? ❖ Analytic bounds? ❖ Aim: A QMA construction from a non-universal gate set
with projectors (e.g. IQP circuit).
![Page 53: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/53.jpg)
Where do we go next?❖ Complexity ❖ When does BQP + projectors = BQP ❖ Is constant probability on input states sufficient?
❖ Can we characterise exponentially closing gap withother complexity classes?
![Page 54: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/54.jpg)
Where do we go next?
❖ Post-selection gives IQP / MBQC circuits trivial time complexity. QMA with constant clock-steps?
| i
|+i
|+ih+|
|+i
|+i
|+ih+|
|+ih+|
Need many clocks!
![Page 55: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/55.jpg)
Where do we go next?❖ Incorporate fault tolerance?
❖ Error detection gadgets to project onto error free states? ❖ Robustness of Hamiltonian to perturbations? ❖ Norm of history state vectors problematic?
|+ih+|
Syndrome
|+i
![Page 56: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/56.jpg)
Where do we go next?❖ Other applications for the projector gadget? ❖ Adiabatic Quantum Computation? ❖ Relationship with Bacon and Flammia’s
adiabatic cluster state model?
![Page 57: Fun with QMA and non-unitary gates - School of Physics · Fun with QMA and non-unitary gates Dan Browne joint work with: Naïri Usher. QMA Kitaev (1999) - QMA: The quantum analogue](https://reader033.vdocuments.us/reader033/viewer/2022042303/5ece1b0962d3a4337170b4bd/html5/thumbnails/57.jpg)
Thank you!