automated generation of layout and control for quantum circuits mark whitney, nemanja isailovic,...
Post on 21-Dec-2015
217 views
TRANSCRIPT
![Page 1: Automated Generation of Layout and Control for Quantum Circuits Mark Whitney, Nemanja Isailovic, Yatish Patel, John Kubiatowicz University of California,](https://reader030.vdocuments.us/reader030/viewer/2022032521/56649d5a5503460f94a3aa77/html5/thumbnails/1.jpg)
Automated Generation of Layout and Control
for Quantum Circuits
Mark Whitney, Nemanja Isailovic, Yatish Patel, John Kubiatowicz
University of California, Berkeley
![Page 2: Automated Generation of Layout and Control for Quantum Circuits Mark Whitney, Nemanja Isailovic, Yatish Patel, John Kubiatowicz University of California,](https://reader030.vdocuments.us/reader030/viewer/2022032521/56649d5a5503460f94a3aa77/html5/thumbnails/2.jpg)
Quantum applications Shor's algorithm
Exponential speedup in
NP-hard factoring
Many computational
blocks, over a million
quantum gates
Interesting Potential
speedups But: Automate design for
large examples like this?
![Page 3: Automated Generation of Layout and Control for Quantum Circuits Mark Whitney, Nemanja Isailovic, Yatish Patel, John Kubiatowicz University of California,](https://reader030.vdocuments.us/reader030/viewer/2022032521/56649d5a5503460f94a3aa77/html5/thumbnails/3.jpg)
Why quantum CAD now? More and more quantum bits (qubits) realized
DARPA Roadmap predicts 50 qubits by 2012 Ion traps: 30 qubits by 2008
Quantum circuit design done by hand so far
However: Complexity of layout and control
Verification of fault-tolerant properties
Automation (CAD) desirable
Courtesy of Monroe group at U. Mich.
![Page 4: Automated Generation of Layout and Control for Quantum Circuits Mark Whitney, Nemanja Isailovic, Yatish Patel, John Kubiatowicz University of California,](https://reader030.vdocuments.us/reader030/viewer/2022032521/56649d5a5503460f94a3aa77/html5/thumbnails/4.jpg)
Electrode Control Qubits are atomic ions Suspended in channels
between electrodes
Quantum gates performed
by lasers Only at certain trap locations
Ions shuttled between laser
sites to perform gates
Classical control Gate (laser) ops
Movement (electrode) ops
Quantum Computing with Ion Traps
Gate Location
Qubit Ions
Electrodes
Courtesy of Chuang group, MIT
![Page 5: Automated Generation of Layout and Control for Quantum Circuits Mark Whitney, Nemanja Isailovic, Yatish Patel, John Kubiatowicz University of California,](https://reader030.vdocuments.us/reader030/viewer/2022032521/56649d5a5503460f94a3aa77/html5/thumbnails/5.jpg)
Ion Trap Physical Layout
Input: Gate level quantum circuit Bit lines
1-qubit gates
2-qubit gates
Output: Layout of channels
Gate locations
Initial locations of qubit ions
Movement/gate schedule
Control for schedule
HHH
Control
q0
q1
q2
q3
q4
q5
q6
q0
q3
q4
q5
q6
q1
q2
Qub
its
Time
![Page 6: Automated Generation of Layout and Control for Quantum Circuits Mark Whitney, Nemanja Isailovic, Yatish Patel, John Kubiatowicz University of California,](https://reader030.vdocuments.us/reader030/viewer/2022032521/56649d5a5503460f94a3aa77/html5/thumbnails/6.jpg)
Wire channels will be large 10s of microns wide
Gate sites equally large
Also requires laser routing
One layer of traps (no “metal{1,2,3...}”) All planar routing
Reuse wire and gate resources
Ion Trap Technology Constraints
Courtesy of Chuang group, MIT
![Page 7: Automated Generation of Layout and Control for Quantum Circuits Mark Whitney, Nemanja Isailovic, Yatish Patel, John Kubiatowicz University of California,](https://reader030.vdocuments.us/reader030/viewer/2022032521/56649d5a5503460f94a3aa77/html5/thumbnails/7.jpg)
Place and Route
Evaluate
Movement/Gate
Scheduler
Place and Route
Evaluate
Movement/Gate
Scheduler
Physical Layout FlowHHH
Control
![Page 8: Automated Generation of Layout and Control for Quantum Circuits Mark Whitney, Nemanja Isailovic, Yatish Patel, John Kubiatowicz University of California,](https://reader030.vdocuments.us/reader030/viewer/2022032521/56649d5a5503460f94a3aa77/html5/thumbnails/8.jpg)
Scheduling Quantum CircuitsGoal: Schedule given circuit on given layout
Gates fire with inputs Look for best gate site Prioritize critical gates Feedback if cannot
schedule
q0
q1
q2
q3
Layout
Circuit
q0
q1 q2
q3
Schedule
q0
q1 q2
q3
Dataflow
Layout Topology
q0
q1
q2
q3
q0
q1 q2
q3
![Page 9: Automated Generation of Layout and Control for Quantum Circuits Mark Whitney, Nemanja Isailovic, Yatish Patel, John Kubiatowicz University of California,](https://reader030.vdocuments.us/reader030/viewer/2022032521/56649d5a5503460f94a3aa77/html5/thumbnails/9.jpg)
Scheduling Demo
a0
a1a2
a3 a4
a5
Movement/gateScheduler
Time 0: move a0: block 2,4,6,5Time 14: gate laser: block 5Time 114: move a0: block 6,2,3Time 120: move a3: block 6,7Time 125: gate laser: block 6Time 130: gate laser: block 3Time 225: move a0: block 2,1Time 230: move a3: block 6,8Time 231: gate laser: block 1Time 236: gate laser: block 8Time 331: move a0: block 2,0Time 336: move a3: block 6,5
![Page 10: Automated Generation of Layout and Control for Quantum Circuits Mark Whitney, Nemanja Isailovic, Yatish Patel, John Kubiatowicz University of California,](https://reader030.vdocuments.us/reader030/viewer/2022032521/56649d5a5503460f94a3aa77/html5/thumbnails/10.jpg)
Scheduler Control
Control Control Control Control
LaserControl
MeasurementControl
High-levelControl
Time 0:move q0: block 1,2Time 6: gate laser: block 2 Schedule control
synthesis
![Page 11: Automated Generation of Layout and Control for Quantum Circuits Mark Whitney, Nemanja Isailovic, Yatish Patel, John Kubiatowicz University of California,](https://reader030.vdocuments.us/reader030/viewer/2022032521/56649d5a5503460f94a3aa77/html5/thumbnails/11.jpg)
Place and Route
Evaluate
Movement/Gate
Scheduler
Physical Layout Flow
Place and Route
Evaluate
Movement/Gate
Scheduler
HHH
MovementControl
![Page 12: Automated Generation of Layout and Control for Quantum Circuits Mark Whitney, Nemanja Isailovic, Yatish Patel, John Kubiatowicz University of California,](https://reader030.vdocuments.us/reader030/viewer/2022032521/56649d5a5503460f94a3aa77/html5/thumbnails/12.jpg)
P&R Heuristic: Greedy Places minimal gates
Places layout incrementally
Uses scheduler feedback
Empty layout passed to
scheduler
Scheduler feedback to P&R 2 qubits needed for gate
P&R adds gate and
channel resources
Re-schedule
![Page 13: Automated Generation of Layout and Control for Quantum Circuits Mark Whitney, Nemanja Isailovic, Yatish Patel, John Kubiatowicz University of California,](https://reader030.vdocuments.us/reader030/viewer/2022032521/56649d5a5503460f94a3aa77/html5/thumbnails/13.jpg)
P&R Heuristic: Collapsed Dataflow Gate locations placed in dataflow order
Qubits flow left to right
Initial dataflow geometry folded and sorted
Channels routed to reflect dataflow edges
Too many gate locations, collapse dataflow Using scheduler feedback, identify latency critical edges
Merge critical node pairs
Reroute channels
q0
q1
q2
q3
q0
q1
q2
q3
q0
q1
q2
q3
![Page 14: Automated Generation of Layout and Control for Quantum Circuits Mark Whitney, Nemanja Isailovic, Yatish Patel, John Kubiatowicz University of California,](https://reader030.vdocuments.us/reader030/viewer/2022032521/56649d5a5503460f94a3aa77/html5/thumbnails/14.jpg)
Experiments Evaluate generated layouts
Area: final rectangular area
Latency: time to implement movement/gate schedule
Benchmarks Quantum error correction/encoding circuits
Circuit Gates Qubits
CSS 7-bit encoder 21 7
Golay 23-bit encoder 116 23
CSS 7-bit error correct 136 21
CSS concatenated encoder 245 49
![Page 15: Automated Generation of Layout and Control for Quantum Circuits Mark Whitney, Nemanja Isailovic, Yatish Patel, John Kubiatowicz University of California,](https://reader030.vdocuments.us/reader030/viewer/2022032521/56649d5a5503460f94a3aa77/html5/thumbnails/15.jpg)
Results: Golay 23-qubit encodeGreedy P&R Collapsed Dataflow P&R
168 block bounding box area 2457 microsecond latency Good area, few channels
713 block bounding box area 2264 microsecond latency Pipelinable
![Page 16: Automated Generation of Layout and Control for Quantum Circuits Mark Whitney, Nemanja Isailovic, Yatish Patel, John Kubiatowicz University of California,](https://reader030.vdocuments.us/reader030/viewer/2022032521/56649d5a5503460f94a3aa77/html5/thumbnails/16.jpg)
Results: CSS concatenated encoder
Greedy P&R 936 block bounding box area
4791 microsecond latency
Greedy breaks down
1617 block bounding box area
1828 microsecond latency
More scalable with lots of gates
Collapsed Dataflow P&R
![Page 17: Automated Generation of Layout and Control for Quantum Circuits Mark Whitney, Nemanja Isailovic, Yatish Patel, John Kubiatowicz University of California,](https://reader030.vdocuments.us/reader030/viewer/2022032521/56649d5a5503460f94a3aa77/html5/thumbnails/17.jpg)
High-level circuit description
Synthesizer
Technology-Independent
Netlist
Technology Mapping
Technology-Dependent
Netlist
Placement andRouting
Geometry-Aware Layout
TechnologyParameter File
Movement/GateScheduling
Fault tolerance
Quantum Circuit CAD:
Future Work Working on full CAD flow for
quantum circuit design Started with physical layout
Better heuristics for layout Leverage ideas from classical CAD
Interoperability with 3rd party tools QuiDDPro, Malignant, CHP
Encourage other research into tools
to plug into this flow
High-level circuit description
Synthesizer
Technology-Independent
Netlist
Technology Mapping
Technology-Dependent
Netlist
TechnologyParameter File
Fault tolerance
Placement andRouting
Geometry-Aware Layout
Movement/GateScheduling
![Page 18: Automated Generation of Layout and Control for Quantum Circuits Mark Whitney, Nemanja Isailovic, Yatish Patel, John Kubiatowicz University of California,](https://reader030.vdocuments.us/reader030/viewer/2022032521/56649d5a5503460f94a3aa77/html5/thumbnails/18.jpg)
Conclusion Scheduling heuristic for ion trap quantum circuits
Sequences gate and communication ops on arbitrary layout
Synthesizes classical control HDL
Iterative place and route heuristics Simple greedy minimizes gate sites (lasers)
Collapsed dataflow more scalable and potentially good throughput
First steps toward larger CAD flow for quantum computing Provide tools for experimentalists as more qubits implemented
Testbed for new circuit designs for fault tolerance, new algorithms
![Page 19: Automated Generation of Layout and Control for Quantum Circuits Mark Whitney, Nemanja Isailovic, Yatish Patel, John Kubiatowicz University of California,](https://reader030.vdocuments.us/reader030/viewer/2022032521/56649d5a5503460f94a3aa77/html5/thumbnails/19.jpg)
Questions?
![Page 20: Automated Generation of Layout and Control for Quantum Circuits Mark Whitney, Nemanja Isailovic, Yatish Patel, John Kubiatowicz University of California,](https://reader030.vdocuments.us/reader030/viewer/2022032521/56649d5a5503460f94a3aa77/html5/thumbnails/20.jpg)
![Page 21: Automated Generation of Layout and Control for Quantum Circuits Mark Whitney, Nemanja Isailovic, Yatish Patel, John Kubiatowicz University of California,](https://reader030.vdocuments.us/reader030/viewer/2022032521/56649d5a5503460f94a3aa77/html5/thumbnails/21.jpg)
Future Work
Add hierarchical P&R for larger circuits
Fault tolerance layout evaluation metric
Automatic insertion of error correction
circuits
Automatic selection of error correcting
codes
![Page 22: Automated Generation of Layout and Control for Quantum Circuits Mark Whitney, Nemanja Isailovic, Yatish Patel, John Kubiatowicz University of California,](https://reader030.vdocuments.us/reader030/viewer/2022032521/56649d5a5503460f94a3aa77/html5/thumbnails/22.jpg)
Ion Trap Control Ion trap QC is coordinated
ballistic ion movement and laser
operation
Ballistic corner turn takes 120
clock cycles, many electrodes
Significant control problem
Movement and gates explicitly
controlled already
Use it to multiplex over
gates and channels
![Page 23: Automated Generation of Layout and Control for Quantum Circuits Mark Whitney, Nemanja Isailovic, Yatish Patel, John Kubiatowicz University of California,](https://reader030.vdocuments.us/reader030/viewer/2022032521/56649d5a5503460f94a3aa77/html5/thumbnails/23.jpg)
Fault Tolerant Circuit Synthesis
Simple logical circuits are complex at the
physical level
FT gates and correction can be automated
![Page 24: Automated Generation of Layout and Control for Quantum Circuits Mark Whitney, Nemanja Isailovic, Yatish Patel, John Kubiatowicz University of California,](https://reader030.vdocuments.us/reader030/viewer/2022032521/56649d5a5503460f94a3aa77/html5/thumbnails/24.jpg)
Scheduling II
Extract dataflow graph from circuit
Gates fire as soon as input qubits are ready
Gate performed at closest gate site to inputs
![Page 25: Automated Generation of Layout and Control for Quantum Circuits Mark Whitney, Nemanja Isailovic, Yatish Patel, John Kubiatowicz University of California,](https://reader030.vdocuments.us/reader030/viewer/2022032521/56649d5a5503460f94a3aa77/html5/thumbnails/25.jpg)
Quantum Circuits At-a-glance Qubit = discrete 2-level quantum
system
Circuit model has reversible gates
No wire fanout (no-cloning)
Qubits are superposition of “0” and “1”
Exponential algorithmic speedup
relies on superposition
Superposition fragile, needs a lot of
fault tolerance
Current gate failure rates around
1%
To read out data, must measure qubit
![Page 26: Automated Generation of Layout and Control for Quantum Circuits Mark Whitney, Nemanja Isailovic, Yatish Patel, John Kubiatowicz University of California,](https://reader030.vdocuments.us/reader030/viewer/2022032521/56649d5a5503460f94a3aa77/html5/thumbnails/26.jpg)
Grid Flow
Ion TrapPhysical Layout
QubitPlacement
Quantum ProgramDescription
SchedulingOperations
Classical Control
Pattern
![Page 27: Automated Generation of Layout and Control for Quantum Circuits Mark Whitney, Nemanja Isailovic, Yatish Patel, John Kubiatowicz University of California,](https://reader030.vdocuments.us/reader030/viewer/2022032521/56649d5a5503460f94a3aa77/html5/thumbnails/27.jpg)
Better CAD Flow
Fault Tolerance Transformations
Ion TrapPhysical Layout
QubitPlacement
SchedulingOperations
Classical Control
Quantum Program
![Page 28: Automated Generation of Layout and Control for Quantum Circuits Mark Whitney, Nemanja Isailovic, Yatish Patel, John Kubiatowicz University of California,](https://reader030.vdocuments.us/reader030/viewer/2022032521/56649d5a5503460f94a3aa77/html5/thumbnails/28.jpg)
Grid P&R Problems Scheduled qubit paths are inefficient
Gate usage inefficient, wasted space
Exponential search spaces of layout
tiles, qubit positions, grid size
Knowledge of circuit topology should be used for layout
Develop two heuristics for placement and routing
![Page 29: Automated Generation of Layout and Control for Quantum Circuits Mark Whitney, Nemanja Isailovic, Yatish Patel, John Kubiatowicz University of California,](https://reader030.vdocuments.us/reader030/viewer/2022032521/56649d5a5503460f94a3aa77/html5/thumbnails/29.jpg)
Prior Work: Grid Layouts
Good grid tiling
Bad grid tiling
4x performance difference!
![Page 30: Automated Generation of Layout and Control for Quantum Circuits Mark Whitney, Nemanja Isailovic, Yatish Patel, John Kubiatowicz University of California,](https://reader030.vdocuments.us/reader030/viewer/2022032521/56649d5a5503460f94a3aa77/html5/thumbnails/30.jpg)
Varying Grid Structures We evaluated performance of alternate grid
structures
1. Pick tile configuration
2. Create full layout
3. Assign qubit locations
4. Schedule operations
![Page 31: Automated Generation of Layout and Control for Quantum Circuits Mark Whitney, Nemanja Isailovic, Yatish Patel, John Kubiatowicz University of California,](https://reader030.vdocuments.us/reader030/viewer/2022032521/56649d5a5503460f94a3aa77/html5/thumbnails/31.jpg)
Prior work in layout used regular grid of channels/gate sites
Program dictates grid size, not structure Assign qubit starting positions, let scheduler do rest
Prior Work – Grid Layouts
x
y
![Page 32: Automated Generation of Layout and Control for Quantum Circuits Mark Whitney, Nemanja Isailovic, Yatish Patel, John Kubiatowicz University of California,](https://reader030.vdocuments.us/reader030/viewer/2022032521/56649d5a5503460f94a3aa77/html5/thumbnails/32.jpg)
Results: CSS 7-qubit encodeGreedy P&R Dataflow P&R
36 block bounding box area 648 microsecond latency Pretty good latency Minimal congestion
126 block bounding box area 795 microsecond latency No latency improvement
![Page 33: Automated Generation of Layout and Control for Quantum Circuits Mark Whitney, Nemanja Isailovic, Yatish Patel, John Kubiatowicz University of California,](https://reader030.vdocuments.us/reader030/viewer/2022032521/56649d5a5503460f94a3aa77/html5/thumbnails/33.jpg)
Quantum Layout Flow Automate gate placement/routing, scheduling
Ion TrapPlace & Route
Schedule moves &gates
Classical ControlSynthesis
Quantum Circuit Netlist
Classical ControlSynthesis
![Page 34: Automated Generation of Layout and Control for Quantum Circuits Mark Whitney, Nemanja Isailovic, Yatish Patel, John Kubiatowicz University of California,](https://reader030.vdocuments.us/reader030/viewer/2022032521/56649d5a5503460f94a3aa77/html5/thumbnails/34.jpg)
Quantum Layout Flow Automate gate placement/routing, scheduling
Ion TrapPlace & Route
Schedule moves &gates
Classical ControlSynthesis
Quantum Circuit Netlist
Schedule moves &gates
![Page 35: Automated Generation of Layout and Control for Quantum Circuits Mark Whitney, Nemanja Isailovic, Yatish Patel, John Kubiatowicz University of California,](https://reader030.vdocuments.us/reader030/viewer/2022032521/56649d5a5503460f94a3aa77/html5/thumbnails/35.jpg)
Quantum Layout Flow Automate gate placement/routing, scheduling
Ion TrapPlace & Route
Schedule moves &gates
Classical ControlSynthesis
Quantum Circuit Netlist
Ion TrapPlace & Route
Developed two P&R heuristics Greedy
Collapsed dataflow
![Page 36: Automated Generation of Layout and Control for Quantum Circuits Mark Whitney, Nemanja Isailovic, Yatish Patel, John Kubiatowicz University of California,](https://reader030.vdocuments.us/reader030/viewer/2022032521/56649d5a5503460f94a3aa77/html5/thumbnails/36.jpg)
q0
q1
q2
q3
q0
q1
q2
q3
![Page 37: Automated Generation of Layout and Control for Quantum Circuits Mark Whitney, Nemanja Isailovic, Yatish Patel, John Kubiatowicz University of California,](https://reader030.vdocuments.us/reader030/viewer/2022032521/56649d5a5503460f94a3aa77/html5/thumbnails/37.jpg)
P&R Heuristic: Grouped Dataflow Multiple gates can be tied to single gate location to
minimize communication
Critical paths through dataflow graph are shortened by
mapping multiple gates to single location