challenges in quantum information science · experimentalists about prospects for implementation of...
TRANSCRIPT
![Page 1: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/1.jpg)
Umesh V. Vazirani U. C. Berkeley
Challenges in Quantum Information Science
![Page 2: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/2.jpg)
1st quantum revolution - Understanding physical world: • periodic table, chemical reactions • electronic wavefunctions underlying semiconductor physics Model of Computers: Based on Mechanistic/Clockwork Universe Extended Church-Turing thesis: Any real world computer can be efficiently simulated on a Turing Machine.
![Page 3: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/3.jpg)
1st quantum revolution - Understanding physical world: • periodic table, chemical reactions • electronic wavefunctions underlying semiconductor physics Model of Computers: Based on Mechanistic/Clockwork Universe Extended Church-Turing thesis: Any real world computer can be efficiently simulated on a Turing Machine. [Feynman ’81, Bernstein, V ’93] Quantum computers violate Extended Church-Turing thesis [Bennett, Brassard ’84] Quantum key distribution 2nd quantum revolution: Synthesize new quantum systems
i.e. Quantum devices.
![Page 4: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/4.jpg)
Superposition Principle
+ -
ψ =α 0 +β 1
α2+ β
2=1
Qubit:
![Page 5: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/5.jpg)
Superposition Principle
+ -
ψ =α 0 +β 1
α2+ β
2=1
Qubit:
Measure: outcome = 0 with probability
outcome = 1 with probability
α2
β2
![Page 6: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/6.jpg)
Hilbert space is Large!
n particles
State=Ψ = αx xx∑ αx
x∑
2=1
all n-bit strings
![Page 7: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/7.jpg)
Hilbert space is Large!
n particles
State=Ψ = αx xx∑ =
α0000
α0001
.
.α1111
#
$
%%%%%%%
&
'
(((((((all n-bit
strings
![Page 8: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/8.jpg)
Quantum computation teaches us that quantum systems are exponentially complex:
Classical: O(n) parameters.
Quantum: 2O(n) parameters. Exponential power of quantum computers.
n particles
![Page 9: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/9.jpg)
Unitary Evolution
€
1 0 0 00 1 0 00 0 0 i0 0 −i 0
#
$
% % % %
&
'
( ( ( (
⊗ In−2
all n-bit strings
Ψ = αx xx∑ =
α0000
α0001
.
.α1111
#
$
%%%%%%%
&
'
(((((((
![Page 10: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/10.jpg)
Unitary Evolution
€
1 0 0 00 1 0 00 0 0 i0 0 −i 0
#
$
% % % %
&
'
( ( ( (
⊗ In−2
all n-bit strings
Ψ = α 'x xx∑ =
α '0000α '0001..
α '1111
#
$
%%%%%%%
&
'
(((((((
![Page 11: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/11.jpg)
Limited Access - Measurement
input
output
∑=Ψx
x xα 1|| 2=∑x
xα
§ Measurement: See with probability |αx|2
€
x
![Page 12: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/12.jpg)
Quantum computers do NOT provide a uniform speed up over classical computers. Only certain problems have the structure that permits speedup.
![Page 13: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/13.jpg)
Quantum computers do NOT provide a uniform speed up over classical computers. Only certain problems have the structure that permits speedup. • Shor’s Algorithm - Efficient Factoring • Breaks Elliptic curve cryptography • (Some) Private key cryptography
• Grover’s algorithm - Quadratic speedup of search
• (Some) Linear algebra, machine learning tasks
• Efficient simulation of quantum systems
![Page 14: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/14.jpg)
“ Soon, my friends, you will look at a child's homework — and see nothing to eat. ”
![Page 15: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/15.jpg)
• Thomas Watson “I think there is a world market for maybe 5 computers.” • Near term: Post-quantum cryptography Classical public-key cryptosystems that resist quantum cryptanalysis. NIST is currently creating standards based on lattice cryptosystems. • Long term: Simulation of quantum systems and nanoscience
Impact of Quantum Computers
![Page 16: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/16.jpg)
• Tremendous recent progress and confidence among experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices
![Page 17: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/17.jpg)
• Tremendous recent progress in experimental realization of quantum communication and computation devices
![Page 18: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/18.jpg)
Martinis Group: Linear array of 9 superconducting qubits Protection of classical states from bit flip errors
![Page 19: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/19.jpg)
Monroe Group (UMD): Five qubit trapped-ion quantum computer. Gate fidelity 98-99% Deutsch-Jozsa 95% Bernstein-Vazirani 90%
![Page 20: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/20.jpg)
![Page 21: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/21.jpg)
• Tremendous recent progress in experimental realization of quantum communication and computation devices • But…
• Devices unreliable • Special purpose (limited control) • Difficult to characterize precisely (full tomography impractical)
• Bringing together theory of untrusted quantum devices with experimental developments will be critical to further progress.
![Page 22: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/22.jpg)
• Tremendous recent progress and confidence among experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…
• Devices unreliable • Special purpose (limited control) • Difficult to characterize precisely (full tomography impractical)
• Bringing together theory of untrusted quantum devices with experimental developments will be critical to further progress.
![Page 23: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/23.jpg)
Testing quantum devices poses fundamental new challenges:
![Page 24: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/24.jpg)
Testing quantum devices poses fundamental new challenges:
![Page 25: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/25.jpg)
Testing quantum devices poses fundamental new challenges:
• exponential complexity:
Classical: O(n) parameters.
Quantum: 2O(n) parameters. • Also exponentially private! Holevo: Can access at most O(n) parameters
n particles
![Page 26: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/26.jpg)
Testing quantum devices poses fundamental new challenges:
Emerging theory of quantum testing of: • Quantum cryptographic devices
• Quantum key distribution
• Quantum randomness generation
• Quantum computers
![Page 27: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/27.jpg)
Part II: Pragmatic approach to testing special purpose quantum computers, such as the D-Wave quantum annealer.
![Page 28: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/28.jpg)
Test for “quantumness”
EPR Paradox 1935: “spooky action at a distance”
€
ψ =1200 +
1211
Both particles give same outcome no matter what (basis) measurement is performed on them. This holds even if they are widely separated, e.g. they are in distant galaxies.
![Page 29: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/29.jpg)
Test for “quantumness”
EPR Paradox 1935: “spooky action at a distance”
John Bell 1964: Entanglement gives rise to non-classical correlations. i.e. quantum mechanics is incompatible with local hidden variable theory. “Test for quantumness”.
Clauser Horn Shimoni Holt 1969: Simplified “test for quantumness”. Aspect 1981: experimental test. Hensen et al, Nature Oct 2015: Loophole-free
€
ψ =1200 +
1211
![Page 30: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/30.jpg)
CHSH Game
Input: x εR {0,1} Output: a ε {0,1}
Input: y εR {0,1} Output: b ε {0,1}
Maximize Pr[xy = ] Classically it is impossible to do better than 0.75 If DA and DB share entangled qubits, then they can achieve success probability cos2 π/8 ≈ 0.85 Violation of Bell Inequality.
a⊕ b
Test of Quantumness
![Page 31: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/31.jpg)
Quantum Strategy for CHSH Game:
Input: x ε {0,1} Output: a ε {0,1}
Input: y ε {0,1} Output: b ε {0,1}
x and y random. Max Pr[xy = a+b (mod 2)] Alice: if x = 0, measure in standard basis
x = 1, measure in π/4 basis Bob: if y = 0, measure in π/8 basis
y = 1, measure in –π/8 basis
€
ψ =1200 +
1211
![Page 32: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/32.jpg)
Bell Basis States
€
ψ =1200 +
1211
€
0
€
1
€
0
€
1
Measurement reveals same outcome on both qubits
![Page 33: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/33.jpg)
Bell Basis States
ψ =1200 +
1211
= 12uu +
12u⊥u⊥
Rotational Invariance: Always see matching outcomes €
0
€
1
€
0
€
1
€
u€
u⊥
€
u€
u⊥
![Page 34: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/34.jpg)
![Page 35: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/35.jpg)
Bell Basis States
Probability of matching outcomes = cos2 θ
Probability of different outcomes = sin2 θ
€
0
€
1
€
0
€
1
€
u€
u⊥
€
v
€
v⊥
θ
€
uψ =
1200 +
1211
= 12uu +
12u⊥u⊥
![Page 36: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/36.jpg)
θ
θ vs sin2θ
![Page 37: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/37.jpg)
CHSH Game
Input: x εR {0,1} Output: a ε {0,1}
Input: y εR {0,1} Output: b ε {0,1}
Maximize Pr[xy = ] Classically it is impossible to do better than 0.75 If DA and DB share entangled qubits, then they can achieve success probability cos2 π/8 ≈ 0.85 Violation of Bell Inequality.
a⊕ b
![Page 38: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/38.jpg)
Quantum Strategy for CHSH Game:
Input: x ε {0,1} Output: a ε {0,1}
Input: y ε {0,1} Output: b ε {0,1}
x and y random. Max Pr[xy = a+b (mod 2)] Alice: if x = 0, measure in standard basis
x = 1, measure in π/4 basis Bob: if y = 0, measure in π/8 basis
y = 1, measure in –π/8 basis
€
ψ =1200 +
1211
![Page 39: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/39.jpg)
Quantum Key Distribution
• Feature: Unconditional security No computational assumptions • BB84: Prepare and measure • Proof of unconditional security: [Mayers ‘01], [Shor&Preskill ’00]
0, 1
K K
0 , + ,...
• Goal: Establish secure shared random key between distant users.
![Page 40: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/40.jpg)
![Page 41: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/41.jpg)
1200 +
1211
Assume that adversary Eve manufactured quantum boxes, and can share entanglement with them.
[Myers & Yao ’98] DIQKD Challenge: quantum devices completely untrusted. Test that they behave as claimed.
Beyond unconditional security
![Page 42: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/42.jpg)
1200 +
1211
Assume that adversary Eve manufactured quantum boxes, and can share entanglement with them.
[Myers & Yao ’98] DIQKD Challenge: quantum devices completely untrusted. Test that they behave as claimed.
Beyond unconditional security
[Ekert 91] Protocol based on testing Bell pairs
![Page 43: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/43.jpg)
Proof of fully device independent QKD. Constant key rate while tolerating constant noise rate.
[V, Vidick PRL 2014]
1200 +
1211
Inputs Alice: 0,1,2 Bob: 0,1 On input 0,1 Perform Bell test Alice input = 2: measure as Bob on input 1.
![Page 44: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/44.jpg)
Proof of fully device independent QKD. Constant key rate while tolerating constant noise rate.
[V, Vidick PRL 2014]
1200 +
1211
Inputs Alice: 0,1,2 Bob: 0,1 On input 0,1 Perform Bell test Alice input = 2: measure as Bob on input 1.
Monogamy test
Key generation
![Page 45: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/45.jpg)
1200 +
1211
Assume that adversary Eve manufactured quantum boxes, and can share entanglement with them.
Eve cannot guess shared random key è fresh randomness! Based on Monogamy of entanglement…
Security against Quantum Adversary
![Page 46: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/46.jpg)
110100010111…
ε-close to uniform distribution in total variation distance.
Certifiable Quantum Generator
log n log 1/ε truly random bits
n bits
[Colbeck Phd thesis ‘09] Pironio, et al. Nature 464, 1021-1024 (15 April 2010) [V. Vidick STOC 2012]
![Page 47: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/47.jpg)
110100010111…
Certifiable Quantum Generator log n log 1/ε truly random bits
n bits
Certifies that this particular output string is random!! And fresh!
![Page 48: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/48.jpg)
A B
x1 … xn y1 … yn
a1 … an b1 … bn
Output is certifiably random provided: • Outputs pass a simple statistical test.
• No-signaling condition is satisfied – e.g. based on speed of light limits imposed by relativity.
• In particular, convincing even to quantum skeptic!
![Page 49: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/49.jpg)
Testing that a claimed quantum computer is really quantum
classical channel
Draws on • Theory of interactive proof systems from computational complexity theory • New properties of entanglement, encryption
![Page 50: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/50.jpg)
Mildly Quantum Verifier – crypto approach
classical channel
small quantum channel
Arthur has constant # bits of quantum storage + quantum channel to Merlin. [Aharonov, Ben-Or, Eban ‘09] [Broadbent, Fitzsimons, Kashefi ’09]
![Page 51: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/51.jpg)
classical channel
small quantum channel
Arthur has constant # bits of quantum storage + quantum channel to Merlin. [Aharonov, Ben-Or, Eban ‘09] [Broadbent, Fitzsimons, Kashefi ’09] [Fitzsimons, Kashefi 2013] [Aharonov, Ben-Or, Eban, Mahadev 2013]
Mildly Quantum Verifier – crypto approach
![Page 52: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/52.jpg)
Testing that a claimed quantum computer is really quantum
classical channel
classical channel
Reichardt, Unger, V. Nature 496, 456–460 (25 April 2013)
![Page 53: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/53.jpg)
Testing that a claimed quantum computer is really quantum
classical channel
Major open question
![Page 54: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/54.jpg)
• Quantum key distribution and quantum random number generation: - Very efficient tests - Next challenge is experimental realization. • Testing of quantum computers:
- Proof of concept but great challenges in making these robust and efficient - Major open question: purely classical verifier testing single quantum computer.
Summary
![Page 55: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/55.jpg)
A pragmatic approach to testing Special purpose quantum computers
Quantum annealers
![Page 56: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/56.jpg)
min − Jiji~ j∑ σ iσ j
s
σ ∈ −1,1{ }
• Finding the lowest energy state of a classical Hamiltonian. (e.g. Ising spin glass) • These are NP-complete CSPs (constraint satisfaction problems)!
Quantum Annealing
![Page 57: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/57.jpg)
min − Jiji~ j∑ σ iσ j
s
σ ∈ −1,1{ }
![Page 58: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/58.jpg)
1
Supplementary material for “Quantum annealing with more than one hundred qubits”
0
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
1
FIG. 1: Qubits and couplers in the D-Wave device.The D-Wave One Rainer chip consists of 4 ⇥ 4 unit cells ofeight qubits, connected by programmable inductive couplersas shown by lines.
I. OVERVIEW
Here we provide additional details in support of themain text. Section II shows details of the chimera graphused in our study and the choice of graphs for our simula-tions. Section III expands upon the algorithms employedin our study. Section IV presents additional success prob-ability histograms for di↵erent numbers of qubits and forinstances with magnetic fields, explains the origin of easyand hard instances, and explains how the final state canbe improved via a simple error reduction scheme. SectionV presents further correlation plots and provide moredetails on gauge averaging. Section VI gives details onhow we determined the scaling plots and how quantumspeedup can be detected on future devices. Finally, sec-tion VII explains how the spectral gaps were calculatedby quantum Monte Carlo (QMC) simulations.
II. THE CHIMERA GRAPH OF THE D-WAVEDEVICE.
The qubits and couplers in the D-Wave device can bethought of as the vertices and edges, respectively, of abipartite graph, called the “chimera graph”, as shown infigure 1. This graph is built from unit cells containingeight qubits each. Within each unit cell the qubits andcouplers realise a complete bipartite graph K4,4 whereeach of the four qubits on the left is coupled to all ofthe four on the right and vice versa. Each qubit on theleft is furthermore coupled to the corresponding qubitin the unit cell above and below, while each of the oneson the right is horizontally coupled to the correspond-ing qubits in the unit cells to the left and right (withappropriate modifications for the boundary qubits). Ofthe 128 qubits in the device, the 108 working qubits usedin the experiments are shown in green, and the couplersbetween them are marked as black lines.
For our scaling analysis we follow the standard pro-cedure for scaling of finite dimensional models by con-sidering the chimera graph as an L ⇥ L square latticewith an eight-site unit cell and open boundary condi-tions. The sizes we typically used in our numerical sim-ulations are L = 1, . . . , 8 corresponding to N = 8L2 =8, 32, 72, 128, 200, 288, 392 or 512 spins. For the simu-lated annealers and exact solvers on sizes of 128 andabove we used a perfect chimera graph. For sizes below128 where we compare to the device we use the workingqubits within selections of L⇥L eight-site unit cells fromthe graph shown in figure 1.
In references [29, 33] it was shown that an optimi-sation problem on a complete graph with
pN vertices
can be mapped to an equivalent problem on a chimeragraph with N vertices through minor-embedding. Thetree width of
pN mentioned in the main text arises from
this mapping. See Section VIA for additional detailsabout the tree width and tree decomposition of a graph.
III. CLASSICAL ALGORITHMS
A. Simulated annealing
Simulated annealing (SA) is performed by using theMetropolis algorithm to sequentially update one spin af-ter the other. One pass through all spins is called onesweep, and the number of sweeps is our measure of theannealing time for SA. Our highly optimised simulated
Quantum Annealing: • Start with x-field: qubits in state
• Gradually turn on z-z coupling between qubits, while turning down x-field. • Final Hamiltonian
• System at finite temperature
120 +
121
H f = − Jiji~ j∑ σ i
zσ jz
H0 = σ ix
i∑
![Page 59: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/59.jpg)
• Correct classical model to capture large scale algorithmic features quantum annealers is not simulated annealing, but a system of interacting magnets.
• Suitable noise model
• Quantum Turing Test:
A classical benchmark for quantum annealers [Shin, Smith, Smolin, V]
Classical model Quantum annealer
![Page 60: Challenges in Quantum Information Science · experimentalists about prospects for implementation of small to medium-scale quantum communication and computation devices • But…](https://reader034.vdocuments.site/reader034/viewer/2022042313/5edc0458ad6a402d6666804b/html5/thumbnails/60.jpg)
Conclusions
• Exciting time for quantum computing: • Experimental breakthroughs and promise. • Implications for foundations of QM
• Bringing together theory of untrusted quantum devices with experimental developments key to further progress. • Testing quantum devices è tests of QM
beyond Bell tests.
• Classical benchmarks and quantum Turing tests as a pragmatic approach to quantum testing.