Ancillary-file links:
Ancillary files (details):
- TeleportRouter.jl/.vscode/settings.json
- TeleportRouter.jl/LICENSE
- TeleportRouter.jl/Manifest.toml
- TeleportRouter.jl/Project.toml
- TeleportRouter.jl/circuits/circuit_schema.json
- TeleportRouter.jl/circuits/example.circuit.json
- TeleportRouter.jl/circuits/qasm_to_json.jl
- TeleportRouter.jl/src/TeleportRouter.jl
- TeleportRouter.jl/src/compile.jl
- TeleportRouter.jl/src/edge_disjoint_paths.jl
- TeleportRouter.jl/src/gate_costs.jl
- TeleportRouter.jl/src/lazy_distance_matrix.jl
- TeleportRouter.jl/src/parse_circuit.jl
- TeleportRouter.jl/src/topological_sort.jl
- TeleportRouter.jl/test/Manifest.toml
- TeleportRouter.jl/test/Project.toml
- TeleportRouter.jl/test/circuits/example.circuit.json
- TeleportRouter.jl/test/compile.jl
- TeleportRouter.jl/test/edge_disjoint_paths.jl
- TeleportRouter.jl/test/parse_circuit.jl
- TeleportRouter.jl/test/runtests.jl
- TeleportRouter.jl/test/topological_sort.jl
References & Citations
Quantum Physics
Title: Surface code compilation via edge-disjoint paths
(Submitted on 21 Oct 2021 (v1), last revised 1 Jul 2022 (this version, v2))
Abstract: We provide an efficient algorithm to compile quantum circuits for fault-tolerant execution. We target surface codes, which form a 2D grid of logical qubits with nearest-neighbor logical operations. Embedding an input circuit's qubits in surface codes can result in long-range two-qubit operations across the grid. We show how to prepare many long-range Bell pairs on qubits connected by edge-disjoint paths of ancillas in constant depth that can be used to perform these long-range operations. This forms one core part of our Edge-Disjoint Paths Compilation (EDPC) algorithm, by easily performing many parallel long-range Clifford operations in constant depth. It also allows us to establish a connection between surface code compilation and several well-studied edge-disjoint paths problems. Similar techniques allow us to perform non-Clifford single-qubit rotations far from magic state distillation factories. In this case, we can easily find the maximum set of paths by a max-flow reduction, which forms the other major part of EDPC. EDPC has the best asymptotic worst-case performance guarantees on the circuit depth for compiling parallel operations when compared to related compilation methods based on swaps and network coding. EDPC also shows a quadratic depth improvement over sequential Pauli-based compilation for parallel rotations requiring magic resources. We implement EDPC and find significantly improved performance for circuits built from parallel cnots, and for circuits which implement the multi-controlled $X$ gate.
Submission history
From: Eddie Schoute [view email][v1] Thu, 21 Oct 2021 21:40:43 GMT (2212kb,D)
[v2] Fri, 1 Jul 2022 19:55:32 GMT (2922kb,AD)
Link back to: arXiv, form interface, contact.