Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf ·...
Transcript of Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf ·...
![Page 1: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/1.jpg)
Basics of quantum computing and some recent results
Tomoyuki Morimae(YITP Kyoto University)
50+10 min
![Page 2: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/2.jpg)
Outline
1. Basics of quantum computing circuit model, classically simulatable/unsimulatable, quantum supremacy (15min)
2. Measurement-based quantum computing Tensor-network and quantum computing (15min)
3. Quantum interactive proof system, verification of quantum computing, blind quantum computing (20min)
4. Question (10min)
![Page 3: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/3.jpg)
Basics of Quantum Computing
![Page 4: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/4.jpg)
Circuit model
Single-qubit unitary operator
Two-qubit unitary operator
Projective measurement
![Page 5: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/5.jpg)
Universal gates
X-rotation + Z-rotation is single-qubit universal
Hadamard H → basis changing
Single-qubit universal + any entangling two-qubit gate is n-qubit universal
Hadamard + Toffoli = universal
Toffoli is classically universal→ Hadamard has the quantum power
![Page 6: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/6.jpg)
Important question
Which quantum circuits are classically simulatable? Which are not?
![Page 7: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/7.jpg)
Simulatable 1: Clifford circuits
Clifford gates
Quantum circuit that consists of only Clifford gates is classically simulatable= Gottesman-Knill theorem
Clifford circuits can generate highly-entangled states...
GHZ state
Graph state
States for QEC
Having strong entanglement is not enough for quantum speed up
![Page 8: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/8.jpg)
Simulatable 2: Neural-network representation
σ
η
Carleo and Troyer, Science 2017
![Page 9: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/9.jpg)
Simulatable 3: Match gate circuit
Jordan-Wigner transform
Majonarafermion
Quadratic form of Fermions → solvable!
Valiant 2001
![Page 10: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/10.jpg)
We have seen several quantum circuits are classically simulatable.
Next question: which circuits are NOT classically simulatable?
Universal QC → classically not simulatable→ even non-universal weak QCs are faster than classical computing?
→ Important for quantum supremacy
Google 72qubit quantum computer (this March APS)
![Page 11: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/11.jpg)
One clean qubit model
Model for NMR QCKnill and Laflamme PRL1998
Q circuit
Classical Q universal
Not hereMay be here?
Usual QC One clean qubit model
Q circuit
Ambainis STOC2000
![Page 12: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/12.jpg)
Ex: Jones polynomial
Classical: no efficient algorithm is knownOne clean qubit model: poly-time algorithm (Shor and Jordan, QIC 2008)
H H
Classical Q universal
Not hereMay be here Ambainis STOC2000
Not persuading:
A classical fast algorithm may be found in a future
c.f. Factoring: it can be in BPP since it is not believed to be NP-complete
![Page 13: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/13.jpg)
If one clean qubit is classically simulated then PH collapses[TM, Fujii, and Fitzsimons, PRL 112, 130502 (2014); TM, PRA(R)2017]
Polynomial hierarchy
Hardness of classically simulating one clean qubit model
Collapse of PH is not believed to happen
→ one-clean qubit model cannot be simulated classically
![Page 14: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/14.jpg)
IQP(Instantaneous Quantum Polytime)
C' : Z-diagonal gate, such as Z、CZ、CCZ、exp(iZΘ)
IQP is closely related to Ising partition function [Fujii and TM, NJP2016]
IQP is not universal, but its classical simulation leads to the collapse of PH [Bremner, et. al. Proc. Roy. Soc. 2010]
![Page 15: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/15.jpg)
Summary
1. Some circuits are classically simulatable
Clifford circuitsNeural network statesMatch gate circuits
→ Efficient numerical algorithm for cond-mat and stat phys?
2. Some circuits exhibit quantum supremacy
→ Near-term realization of QC→ Foundation of quantum physics: clarifies the boarder between Q and C
![Page 16: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/16.jpg)
Measurement-based quantum computing
![Page 17: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/17.jpg)
|ψ> is generated → quantum computing is done!
Why we can generate it? → intuitive idea: disturbance
The initial state is indepent of |ψ> → existance of universal resource state
(Raussendorf and Briegel, PRL 2001)
Measurement-based quantum computing
Generate a many-qubit state Measure each qubit The state is generated!
![Page 18: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/18.jpg)
Cluster state (graph state)
Definition 1: CZ|++...+>
Definition 2: Stabilized by commuting
[Raussendorf and Briegel, PRL 2001]
![Page 19: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/19.jpg)
How MBQC work
is universal
![Page 20: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/20.jpg)
1
2
1
2
One-dimensional cluster state is single qubit unviersal
![Page 21: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/21.jpg)
1
1 2
H
H
CZ
1
2
2
![Page 22: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/22.jpg)
2D-square graph state is universal
![Page 23: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/23.jpg)
Advantage of MBQC
|0>
|0>
|0>
|0>
|0>
Classical vs quantum is clear!
Clear separation between quantum and classical
Which entanglement is essential?
Initial entanglement is essential!
Quantum phase Classical phase
State preparation Measurements
Consumingentanglement
![Page 24: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/24.jpg)
MBQC and Ising partition function
(Bravyi and Raussendorf, PRA 2007)(Nest, et. al. PRL 2007) (Fujii and TM, NJP2016)
An interesting relation between MBQC and Ising partition function
Classical Ising model
Graph state
Classical statistical physics
Solvable, NP-hard....
Quantum computing
Classically simulatable, universal....
![Page 25: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/25.jpg)
Quantum subroutineAnother interpretation of measurement-based QC
Classical computer (only XOR gate)
Quantum many-body system (resource state)
Measurement
Subroutine
XOR+GHZ=classical universal [Anders and Browne, PRL2009]
XOR gate
0 0 → 00 1 → 11 0 → 11 1 → 0
Classical XOR + graph state = quantum universal
![Page 26: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/26.jpg)
Tensor network and measurement-based quantum computing
![Page 27: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/27.jpg)
Matrix-product stateN-qubit state
Matrix-product state
A is a D-dim matrix, |L> and |R> are D-dim vector
Only small corner of the huge Hilbert space is of interest
By specifying A, |L>, and |R>, we can specify the state!
Exponentially many parameters have to be specified → numerical simulation is hard
![Page 28: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/28.jpg)
Tensor-network state
TT
T
T
TT
TT
TT
T
TT
Contraction of tensors
Generalization of MPS to higher dimension
![Page 29: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/29.jpg)
(Gross and Eisert, PRL 2007)(TM, PRA 2012)
Simulating QC in the virtual space!|R>
|ψ>
![Page 30: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/30.jpg)
Edge state
Virtual space corresponds to the edge state
Edge stateAKLT
Edge state is the register of QC!
New resource states for MBQC:
AKLT (Brennen, et. al. PRL 2008)VBS, PEPS (Verstraete, et. al. PRA(R) 2004; Fujii and TM PRA(R) 2012)Haldane phase (Bartlett, et. al. PRL 2010)String-net condensate (TM, PRA 2011)
![Page 31: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/31.jpg)
|R>
|ψ>
Recent interest
Some physical properties:Topological order, SPT, etc.
Some structure in Hilbert space→ useful/useless for QC
How physical properties affect the structure of virtual space?Is it useful for QC?
Some symmetry-protected topological order
→ Else, PRL 2012
![Page 32: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/32.jpg)
Summary
● Tensor network representation/MPS● MBQC and tensor network (virtual space)● Edge state interpretation● Relation between physical properties and virtual
space structure
![Page 33: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/33.jpg)
Quantum interactive proof systemand its applications
![Page 34: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/34.jpg)
Quantum computational complexity
Decision problem: answerable with YES or NO
For example, what is 1+1=? (it is not decision problem)Is 1+1 larger than 3? (it is)
Computational complexity: how much resource (time, space, entanglement, etc.) you need to solve a problem?
P
BPP
BQP
QMA
PSPACE
Deterministic classical polytime
Probabilistic classicalpolytime
Quantum polytime
Polynomial space
![Page 35: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/35.jpg)
QMA(Quantum Merlin-Arthur)
MerlinProver Arthur
Verifier
Quantum state(witness)
Kitaev, Knill, Watrous
Unboundedcomputational power BQP
A problem is QMA if and only if
If yes then there exists a quantum state such that Arthur accepts with high probabilityIf no then for any state Arthur accepts with small probability
![Page 36: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/36.jpg)
QIP(Quantum Interactive proof)
MerlinProver Arthur
Verifier
Quantum state(witness)
QIP=IP=PSPACEWatrous
Unboundedcomputational power BQP
![Page 37: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/37.jpg)
QZK(Quantum Zero Knowledge)
MerlinProver Arthur
Verifier
Quantum state(witness)
Unboundedcomputational power BQP
Zero knowledge: no information is leaked to Arthur
Where's Waldo?
![Page 38: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/38.jpg)
Local Hamiltonian problem
H_j = local Hamiltonian acting on 2 qubits
Yes: The ground energy of H is smaller than a
No: The ground energy of H is larger than b
Here, a-b>1/poly
Local Hamiltonian problem is QMA-complete
Kitaev, Kempe, Regev,Review by Aharonov arXiv:0210077
Even quantum computing cannot calculate the ground energy of Hamiltonians
![Page 39: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/39.jpg)
Verification of QC
![Page 40: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/40.jpg)
Example
I can distinguish PepsiAnd Coca-Cola
I don't believe it
Merlin Arthur
If Merlin answers correctly every time, Arthur is persuaded.
Pepsi or Cola
answer
![Page 41: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/41.jpg)
How about it?
I have a QC I don't believe it
Merlin(Google) Arthur
Only classical power
Can Arthur verify it?
Long-standing open problem in computer science!
Practically important: Can we verify Google?
classicalcommunication
![Page 42: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/42.jpg)
Partial solutions
I have a QC I don't believe it
Merlin ArthurOnly classical power
Classicalcommunication
Partial solutions
1. multi provers2. verifier can generate single qubits3. verifier can measure single qubits
![Page 43: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/43.jpg)
More than two servers
Reichardt, Unger, Vazirani, Nature 2013McKague Theory of Computing 2016Zi, STOC16
Experiment: Jian-Wei Pan, PRL2017Non-communicating provers cannot cheat!
CompletelyClassical!
![Page 44: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/44.jpg)
Partial solutions
I have a QC I don't believe it
Merlin ArthurOnly classical power
Classicalcommunication
Partial solutions
1. multi provers2. verifier can generate single qubits3. verifier can measure single qubits
![Page 45: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/45.jpg)
Trap technique (FK protocol)
Hiding traps
Experiment by Vienna groupBarz et al. Nature Phys. 2013TM, Nature Phys. N&V 2013
Fitzsimons and Kashefi, arXiv 2012TM, Phys. Rev. A (R) 2014
![Page 46: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/46.jpg)
Hiding traps
Fitzsimons and Kashefi, PRA 2017
CZ CZ |+>|0>|+>=|+>|0>|+>
CZ CZ |+>|+>|+> = |G>
Trap!!
![Page 47: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/47.jpg)
Quantum error correcting code
Probability being detected=1/N
Encoding registers with QEC
Few qubit error → corrected
To change the logical state, more than d qubits must be changed→ probability that Bob can change state without touching any trap = 2^{-d}
![Page 48: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/48.jpg)
Partial solutions
I have a QC I don't believe it
Merlin ArthurOnly classical power
Classicalcommunication
Partial solutions
1. multi provers2. verifier can generate single qubits3. verifier can measure single qubits
![Page 49: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/49.jpg)
Verification with stabilizer testing
Hayashi and TM, PRL 2015
If the test passes, the resultant state satisfies (k is # of samples)
Experiment by Vienna groupGreganti et al. NJP2016
![Page 50: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/50.jpg)
Verification of Q supremacy
I have a QC I don't believe it
Merlin(Google) Arthur
Only classical power(User)
Classicalcommunication
Can Arthur verify Q supremacy?
![Page 51: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/51.jpg)
IQP(Instantaneous Quantum Polytime)
Output state of IQP is hypergraph state!
![Page 52: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/52.jpg)
Verification of hypergraph state
Given state Ideal state
If the test passes
TM, Takeuchi, Hayashi, PRA2017Takeuchi and TM, arXiv:1709.07575
Z_i = diag(1,-1)
Generalized stabilizer state!
![Page 53: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/53.jpg)
Blind quantum computing
![Page 54: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/54.jpg)
Blind quantum computing
Quantum computerIs expensive..
Want to learn Alice'ssecret
Can Alice delegate her quantum computing while protecting her privacy?
Quantum server
Quantum channel
Client
![Page 55: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/55.jpg)
BFK protocolcluster MBQC is used
[Broadbent, Fitzsimons, Kashefi, FOCS 2009]
![Page 56: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/56.jpg)
Measurement result
Bob cannot learn
measurement
More rigorous proof: Dunjko et al. ASIACRYPTO2014
AliceBob
![Page 57: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/57.jpg)
Experiment
Photonic qubits (Vienna group)Barz et al., Science 2012
![Page 58: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/58.jpg)
Topological QC
Unitary representation of braid group → quantum gate
Physics
Mathematics
Quasi-particle in a 2D electron system: anyon
Different representation → Difference anyonsIsing anyon → realistic, but non-universalFibonattic anyon → not yet found, but universal
time
Topological equivalence
![Page 59: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/59.jpg)
Simulation of topological QC
(Raussendorf et al, Physical Review Letters 2007)
Simulate topological QC on measurement-based model
![Page 60: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/60.jpg)
Topological blind QC
Topological QC with a nice error threshold
TM and Fujii, Nature Communications 2012
![Page 61: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/61.jpg)
Measurement-only blind QC
Quantum phys.
No-signaling principle
PR box
Advantage:
Measurement is easier (optics, etc.)SimpleNo-signaling securityDevice independence security
TM and Fujii, PRA(R) 2012
![Page 62: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/62.jpg)
Summary
● Quantum Interactive proof system (QMA, QIP, QZK)
● Verification of QC● Verification of Q supremacy● Blind QC
![Page 63: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/63.jpg)
END
![Page 64: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/64.jpg)
Problems of the BFK protocol
1. Generating single qubit is not easy
2. Fault-tolerant?
3. Security proof is complicated
![Page 65: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/65.jpg)
Post hoc verification
Post hoc verification
Merlin Arthur
result
Arthur
proof10years later
Fitzsimons, Hajdusek, TM, Phys. Rev. Lett. 2018
Merlin
![Page 66: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/66.jpg)
Post hoc verification
Merlin Arthur
BQP is in QMAQMA can be verified with single-qubit measurements [TM, Nagaj, Schuch, PRA2016]
![Page 67: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/67.jpg)
Summary
● QMA (higher than BQP)● Verification of QC● Blind QC
![Page 68: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/68.jpg)
QMA for single-qubit measurement verifier
TM, Nagaj, Schuch, PRA 2016
Graph state + witness
Check stabilizers, orDoing MBQC
Correct graph state→ by the soundness, rejection probability is high
Wrong state→ Stabilizer check rejects it
![Page 69: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/69.jpg)
By using gentle measurement lemma,
If
if then
if then
![Page 70: Basics of quantum computing and some recent resultstadashi.takayanagi/wsMarch2018/Morimae.pdf · Universal QC → classically not simulatable ... Exponentially many parameters have](https://reader030.fdocuments.net/reader030/viewer/2022040912/5e86723296a3433fd2302509/html5/thumbnails/70.jpg)
QMA for Clifford ArthurTM, Hayashi, Nishimura, Fujii, QIC 2015
Magic states + witness
Check magic state, andDoing QC
Clifford gates: H, CNOT, S=(1,i) → Classically simulatable(Gottesman-Knill)
Magic state: → universal
|ψ>
Magic state
measurement