bob lucas federico spedalieri information sciences institute viterbi school of engineering usc
DESCRIPTION
Adiabatic Quantum Computing with the D-Wave One. Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC. 1. The End of Dennard Scaling. Need More Capability?. Massive Scaling – ORNL Cray XK7. Exploit a New Phenomenon - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/1.jpg)
1
Bob Lucas Federico Spedalieri
Information Sciences InstituteViterbi School of Engineering
USC
Adiabatic Quantum Computing with the D-Wave One
![Page 2: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/2.jpg)
The End of Dennard Scaling
![Page 3: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/3.jpg)
Need More Capability?
Application Specific SystemsD.E. Shaw Research Anton
Massive Scaling – ORNL Cray XK7
Exploit a New PhenomenonAdiabatic Quantum Processor
D-Wave One
![Page 4: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/4.jpg)
Overview
• Adiabatic quantum computation
• Brief description of D-Wave One
• The three main thrusts of research:
1. Quantumness
2. Benchmarking
3. Applications
![Page 5: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/5.jpg)
Quantum computer Hamiltonian: H(t) = (1- (t))H0 + (t)H1
• Prepare the computer in the ground state of H0
• Slowly vary (t) from 0 to 1
• Read out the final state: the ground state of H1
• Runtime associated with (gmin)-2
E
gmin
E0
E1
10
.
.
.
.
.
.
Adiabatic Quantum Computation
![Page 6: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/6.jpg)
• Adiabatic QC is universal (can compute any function, just like circuit model)
• But universality may be too much to ask for.• Consider only “classical” final Hamiltonians, i.e.:
Diagonal(in computational basis)
Off-diagonal (in computational basis)
The final state is a classical state that minimizes the energy of H1
Adiabatic Quantum Optimization
![Page 7: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/7.jpg)
Solving Ising models with AQC
• Ising problem: Find
• Adiabatic quantum optimization:
![Page 8: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/8.jpg)
Overview
• Adiabatic quantum computation
• Brief description of D-Wave One
• The three main thrusts of research:
1. Quantumness
2. Benchmarking
3. Applications
![Page 9: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/9.jpg)
USC/ISI’s D-Wave One128 (well, 108) qubit Rainier chip
20mK operating temperature1 nanoTesla in 3D across processor
![Page 10: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/10.jpg)
Qubits and Unit Cell
One qubit SC loop;qubit = flux generated by Josephson current Unit cell
compound-compound Josephson junction (CCJJ) rf SQUIDs flux qubit
![Page 11: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/11.jpg)
Eight Qubit Unit Cell
![Page 12: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/12.jpg)
Tiling of Eight-Qubit Unit Cells
![Page 13: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/13.jpg)
Adiabatic Quantum Optimization
Problem: find the ground state of
Use adiabatic interpolation from transverse field (Farhi et al., 2000)
Graph Embedding implemented on DW-1 via Chimera graph retains NP-hardness V. Choi (2010)
13
![Page 14: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/14.jpg)
Program API
![Page 15: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/15.jpg)
Overview
• Adiabatic quantum computation
• Brief description of D-Wave One
• The three main thrusts of research:
1. Quantumness
2. Benchmarking
3. Applications
![Page 16: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/16.jpg)
16
Experimental Quantum Signature
(S. Boixo, T. Albash, F. S., N. Chancellor, D. Lidar)
![Page 17: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/17.jpg)
Classical Simulated Annealing
Minimizing a complex cost function we can get trapped in local minima.
Add temperature to go “uphill”.Temperature decreases with time.
![Page 18: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/18.jpg)
Quantum resources: tunneling
![Page 19: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/19.jpg)
Degenerate Ising Hamiltonian
+1
-1
-1
17-fold degenerate ground space:
+/- 1
+/- 1
+/- 1
1
+/- 1
1
11
-1
-1
-1
-1-1
-1-1
-1
![Page 20: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/20.jpg)
20
Classical Thermalization
![Page 21: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/21.jpg)
Several SA schedules
![Page 22: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/22.jpg)
22
Quantum annealing
![Page 23: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/23.jpg)
Quantum Annealing
We want to find the ground state of an Ising Hamiltonian:
Instead of “temperature” fluctuations, we use quantum fluctuationsa transverse field
Slowly remove the transverse field to stay on the ground state:
![Page 24: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/24.jpg)
DW1 Gap
Gap 1.5 GHz(Temp: 0.35 GHz)
Transitions to 4th order in
Small gap ->small coupling!!!
![Page 25: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/25.jpg)
QA closed system
![Page 26: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/26.jpg)
QA open system
![Page 27: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/27.jpg)
QA vs. SA
![Page 28: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/28.jpg)
28
Experiments
![Page 29: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/29.jpg)
Embedding
Chip Connectivity Our Quantum Signature problemas it looks in the chip
![Page 30: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/30.jpg)
DW1 Experiments
144 embeddings
Quantum Signature: this state is suppressed
![Page 31: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/31.jpg)
31
Entanglement
![Page 32: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/32.jpg)
32
Entanglement: a definition
• Separable states
• Entangled states
• It is a classical mixture of product states• It can be constructed locally
![Page 33: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/33.jpg)
ENTANGLEMENT IN DW2• Even numerically, determining if a state is entangled is NP-hard
• How can we experimentally show entanglement?
1. Measure the complete density matrix of the system Quantum State Tomography
2. Measure an observable that distinguishes entangled states Entanglement Witnesses
• Requires a large number of measurements (exponential in the number of qubits)
• The reconstructed density matrix may not be physical (not PSD)
• For DW2, these measurements are not even possible
• For every entangled state there is an entanglement witness
• Measuring the expectation of Z can prove entanglement
• But to find Z we need to know the state (or be very lucky)
• The measurements required will likely not be available in DW2
Separable States
![Page 34: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/34.jpg)
Magnetic susceptibilities in DW2
• Use a weakly coupled probe to measure
• Compute the magnetic susceptibilities as
• Use perturbation theory (and some assumptions) to write
![Page 35: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/35.jpg)
Separability criteria
• Apply PPTSE separability criteria to this general state
• All separable states have a PPTSE for any k
• Search for PPTSE can be cast as a semidefinite program
• Produces a hierarchy of separability tests
• If state is entangled, dual SDP computes an entanglement witness
![Page 36: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/36.jpg)
36
Separability criteria with partial information
• Some properties of this approach:
1. If the test fails the state may still be entangled
2. We can use a dual approach that checks if a state satisfying the linear constraints is separable (also a SDP)
3. If both tests fail, we need to go to higher k
4. All entangled states will be detected for some k
5. Going beyond k=2 may be tricky (the size of the SDP gets too big)
6. In theory, this is the best you can do with partial information: if you could run the tests for all k, this approach will eventually prove that all states satisfying the linear constraints are entangled or that there is one such state that is separable
![Page 37: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/37.jpg)
Overview
• Adiabatic quantum computation
• Brief description of D-Wave One
• The three main thrusts of research:
1. Quantumness
2. Benchmarking
3. Applications
![Page 38: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/38.jpg)
38
Benchmarking
![Page 39: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/39.jpg)
Benchmarking hard problems10 – 108 qubits
![Page 40: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/40.jpg)
Benchmarking hard problems108 qubits, 5us – 20ms
![Page 41: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/41.jpg)
Classical repetition cost r
![Page 42: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/42.jpg)
Some benchmarking
Exponential run time for the best exact classical solver
Faster exponential run time for the D-Wave (Vesuvius)
![Page 43: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/43.jpg)
Some benchmarking(3BOP h and J)
![Page 44: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/44.jpg)
Overview
• Adiabatic quantum computation
• Brief description of D-Wave One
• The three main thrusts of research:
1. Quantumness
2. Benchmarking
3. Applications
![Page 45: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/45.jpg)
Some NP-complete problems and their applications
Problem Application
Traveling salesman Logistics, vehicle routing
Minimum Steiner tree Circuit layout, network design
Graph coloring Scheduling, register allocation
MAX-CLIQUE Social networks, bioinformatics
QUBO Machine learning (H. Neven, Google)
Integer Linear Programming Natural language processing
Sub-graph isomorphism Cheminformatics, drug discovery
Job shop scheduling Manufacturing
Motion planning Robotics
MAX-2SAT Artificial intelligence
The problem addressed by quantum annealing is NP-Complete
![Page 46: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/46.jpg)
• Given a:– Finite transition system M– A temporal property p
• The model checking problem: – Does M satisfy p?
• It typically requires analyzing every possible path the system can take
• Workarounds:– Binary Decision Diagrams (BDDs)– Abstractions
The Model Checking Problem
Complexity is exponential on the number of states
State space explosion problem
46
![Page 47: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/47.jpg)
Abstraction
• Group states together– Eg., localization: neglect some state variables
(make them invisible)
• Eliminate details irrelevant to the property
• Obtain smaller models sufficient to verify the property using traditional model checking tools
• Disadvantage:— Loss of Precision— False positives/negatives
Spurious counterexamples
47
![Page 48: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/48.jpg)
Counterexample-Guided Abstraction-Refinement (CEGAR)
Check Counterexample
Obtain Refinement Cue
Model CheckBuild New Abstract Model
M’M
No Bug
Pass
Fail
BugReal CESpurious CE
SATILPMachine learning AQC 48
![Page 49: Bob Lucas Federico Spedalieri Information Sciences Institute Viterbi School of Engineering USC](https://reader036.vdocuments.mx/reader036/viewer/2022081515/56816457550346895dd625b0/html5/thumbnails/49.jpg)
Summary• DW1 is a programmable superconducting quantum adiabatic processor
• It solves a particular type of combinatorial optimization problem
• We have investigated the quantum nature of the device
• We chose a problem for which classical thermalization and quantum annealing predict different statistics
• Experiments agree with quantum annealing prediction suggesting quantum annealing is surprisingly robust against noise
• Working on an experimental test for entanglement
• Benchmarks show promising scaling when compared with classical solvers
• Currently working to bridge the gap between the device and real applications (non-trivial issues to be addressed)