Demand-Driven Routing Space for Lattice-Surgery Compilation
summary
The gist
The gist: The authors present a co-designed dynamic architecture and compiler that allocates routing space according to circuit demand, reducing space–time volume by 55.6% and compiling circuits
In short
The authors developed a co-designed dynamic architecture and compiler that allocates routing space based on circuit demand. This allows physical spacing to change between execution stages, reducing space-time volume by 55.6% and compiling circuits 75.5 times faster than DasCot.
Key concepts
- Dynamic Architecture
- The architecture allows the physical spacing between qubits to change depending on the execution stage of a circuit. This flexibility enables aggressive lane reuse within stages, which is inspired by reversible road lanes, leading to significant area savings.
- Patch-Layer Execution Model
- Circuits are modeled as a directed acyclic traffic dependency graph (TDG). This model tracks qubit placements and the tile connectivity allocated to gates in each step, creating a sequence of tile connectivity graphs (TCGs) that define the circuit's execution flow.
- Demand-Driven Compiler
- The compiler coordinates floorplanning, placement, scheduling, and routing by predicting circuit demand. It selects virtual array shapes and lane budgets based on predicted volume to minimize the total required space before physical layout begins.
- Compaction-Aware Frontier Routing
- This routing step selects paths for gates using dependency criticality as a primary factor. It balances the need for critical paths against lane costs and retained coordinates, maximizing a score that ensures efficient use of available routing resources.
Terminology used across episodes
This episode discusses
- Demand-Driven Routing Space for Lattice-Surgery Compilation · Paper Radio
- On the CNOT-complexity of CNOT-PHASE circuits
- Polynomial-time T-depth Optimization of Clifford+T circuits via Matroid Partitioning
- Surface code compilation via edge-disjoint paths
- Assessing requirements to scale to practical quantum advantage
- C-Phase-Aware Compilation for Efficient Fault-Tolerant Quantum Execution
- Patchwork: automated lattice surgery and space-time partitioning for real-time decoding · Paper Radio
- The Q-Spellbook: Crafting Surface Code Layouts and Magic State Protocols for Large-Scale Quantum Computing
- The ZX calculus is a language for surface code lattice surgery
- Magic-State Functional Units: Mapping and Scheduling Multi-Level Distillation Circuits for Fault-Tolerant Quantum Architectures
- Time-optimal quantum computation
- Low overhead quantum computation using lattice surgery
- Surface codes: Towards practical large-scale quantum computation
- No Tile Left Behind: Multiprogramming for Surface-Code Architectures
- Rings Around the Ancilla: A Workload-Aware FTQC Architecture · Paper Radio
- How to factor 2048 bit RSA integers with less than a million noisy qubits
- How to factor 2048 bit RSA integers in 8 hours using 20 million noisy qubits
- Efficient magic state factories with a catalyzed CCZ> to 2T> transformation
- Magic state cultivation: growing T states as cheap as CNOT gates
- Stabilizer Codes and Quantum Error Correction
- Bounded-depth spacetime lattice surgery for resource-efficient fault-tolerant quantum computation
The paper
Demand-Driven Routing Space for Lattice-Surgery Compilation · Read on arXiv
Hanyu Wang, Wan-Hsuan Lin, Zihan Chen, Eddy Z. Zhang, Jason Cong
University of California, Los Angeles · QuEra Computing Inc. · Rutgers University
Lattice-surgery compilation places logical qubits on a grid of surface-code tiles and routes their interactions. Sparse static layouts limit routing contention but reserve space that often remains idle. Reducing this reservation requires balancing area savings against additional gate serialization and qubit movement. In this paper, we present a co-designed dynamic architecture and compiler that allocates routing space according to circuit demand. The architecture preserves a fixed virtual qubit floorplan while allowing its physical spacing to change between execution stages. The compiler coordinates placement, scheduling, and routing to implement lattice surgeries using fewer physical qubits. Across our application benchmarks, our method reduces space-time volume by 55.6% in geometric mean and compiles 75.5 times faster than the evaluated DasCot configuration. A circuit-synthesis case study shows how our compiler exposes optimization tradeoffs.
Transcript
Introduction to the show: ident: Quantum Radio. Generated commentary on the latest quantum physics and condensed matter papers.
Kai: We're looking at the paper: "Demand-Driven Routing Space for Lattice-Surgery Compilation".
Mira: Here's the gist of the paper. The gist: The authors present a co-designed dynamic architecture and compiler that allocates routing space according to circuit demand, reducing space–time volume by 55.6% and compiling circuits 75.5× faster than DasCot How it works The core idea is to address the trade-off between area savings and additional gate serialization by allowing physical spacing to change between execution stages The architecture preserves a fixed virtual qubit floorplan while allowing its physical spacing to change between execution stages The compiler coordinates placement, scheduling, and routing to implement lattice surgeries using fewer physical qubits The dynamic architecture is inspired by reversible road lanes in Figure 2a, where routing space shifts from above to below the qubits between stages This allows different layouts at different stages, enabling more aggressive lane reuse within stages The transition from (b) to (c) moves the middle qubit column one tile left, giving delta s = 1 This movement adds execution time, which is modeled as a walk cost Patch-Layer Execution Model The circuit is modeled as a directed acyclic traffic dependency graph (TDG), where each vertex represents an operation that requires routing A tile connectivity graph (TCG) records qubit placements and the tile connectivity allocated to gates in one routed step, resulting in a sequence of TCGs Qubit placement is defined as a tuple (r, c, o), where r and c are zero-based tile coordinates and o ∈ TB or LR is the orientation Traffic routing involves selecting a subset of frontier gates and one candidate path for each selected gate based on dependency criticality Demand-Driven Compiler The compiler coordinates demand-driven floorplanning, contention-aware placement, scheduling, and routing Floorplanning selects the virtual array’s shape and the routing space available within each stage by minimizing predicted volume Stage dimensions are bounded by lane budgets ΔH and ΔW, which limit the additional rows and columns retained for routing and magic-state delivery Frontier routing selects routes using dependency criticality, the additional coordinates retained after compaction, and row and column budgets to maximize a score that balances criticality with lane costs Placement refines site assignment and qubit orientations using simulated annealing to minimize an estimated placement cost that balances routing contention, retained routing space, and path length Evaluation Experimental results show that the method reduces the space–time volume by 55.6% in geometric mean and compiles 75.5× faster than the evaluated DasCot configuration The geometric-mean volume is lower than TopoLS under their respective cost models On-demand layouts show that all benchmarks benefit from an on-demand layout, whereas comparing A with C shows that all benchmarks benefit from an on-demand layout Breakdown and Utilization Analysis Volume breakdown for DasCot (D) and our method (R) shows that the idle routingspace contribution is reduced by sharing lanes and adjusting physical spacing Geometric-mean utilization increases from 9.5% for DasCot to 28.0% for our method, an improvement of 18.5% The coupling between routing and compaction is key, as routing determines which coordinates are needed, and compaction turns that choice into area savings Our method combines a dynamic architecture with compaction-aware routing and demand-driven floorplanning to reduce geometric-mean space–time volume by 55.6% and compile circuits 75.5× faster than DasCot The benefits of on-demand layouts and the dynamic architecture enable more aggressive lane reuse within stages, yielding the lowest space–time volume overall The compiler's heuristics limit search effort at each stage, making it 75.
Title and authors: Kai: So we're looking at this paper now, "Demand-Driven Routing Space for Lattice-Surgery Compilation," and the title says it's about using demand to guide how routing space is allocated. Mira, what do you get from that in plain English?
Mira: It’s essentially about fixing a fixed layout for the qubits but letting the physical spacing shift between execution stages based on what the circuit actually needs at that moment. The authors are trying to balance saving area against adding extra gate movement, which they call serialization >
Lev: From an error correction side, I'm wondering how this dynamic architecture translates to actual hardware constraints. If you're running this on real qubits, is the overhead of tracking that shifting space too much for the physical control layer?
Kai: That’s a good point, Lev. The core idea is that we preserve a fixed virtual floorplan for the logical qubits while allowing the physical spacing to change between stages >
Mira: Exactly. They are tackling this trade-off between area savings and needing more gates to execute in parallel because of how the layout changes dynamically >
Lev: So they’re saying that by using this dynamic approach, you can implement lattice surgeries using fewer physical qubits overall, which is the main goal here >
Kai: Right. It’s about using demand-driven allocation to make sure we only use the routing space we actually need for a given step in the circuit >
The paper's summary: Mira: So, looking at what they summarize about "Demand-Driven Routing Space for Lattice-Surgery Compilation," it basically sets up a patch-layer abstraction where execution is modeled as routing steps on a two-dimensional tile grid >
Lev: And that means every CX or T gate requires a path of free tiles, and the authors are using this to analyze the space utilization in their DasCot layout, which they found to be wasteful because only five to twenty-seven percent of the free tiles carry paths in an average step across our application benchmarks > <ref:2610.30747#pg1>
Kai: That’s where it gets interesting. The paper points out that fixing data-qubit positions and separating neighboring sites reserves a border around the array, but most execution steps leave that space idle >
Mira: And they are addressing that by saying sharing lanes saves area but can introduce routing conflicts and serialize gates >
Lev: That serialization is the overhead we have to worry about on real hardware. How does this demand-driven thing manage those conflicts when the layout is constantly moving?
Kai: The architecture preserves a fixed virtual qubit floorplan while allowing its physical spacing to change between execution stages, which lets them achieve more aggressive lane reuse within those stages >
Mira: So they are coordinating the placement, scheduling, and routing so that they implement lattice surgeries using fewer physical qubits than the static methods like DasCot >
Lev: It sounds like it’s a compiler-driven approach that anticipates the routing demands rather than just reacting to them when a static layout is chosen >
Kai: Right. The paper shows how this demand-driven floorplanning selects the virtual array shape and lane budgets based on predicted circuit demand using a throughput model inspired by Roofline >
The paper's improvements: Kai: Moving into the improvements section of "Demand-Driven Routing Space for Lattice-Surgery Compilation," they highlight several things they did to make this method better than what was already there >
Mira: One big thing is how they use demand-driven floorplanning, which selects the virtual array shape and lane budgets based on predicted circuit demand using a throughput model inspired by Roofline, aiming to minimize the predicted volume Vb(h,w) >
Lev: Minimizing that volume sounds like a good way to keep track of resource usage before you even start placing anything on hardware. That’s practical for the compilation phase >
Kai: Then they have this compaction-aware frontier routing, where they select routes using dependency criticality, including a penalty for retained coordinates to maximize a score I equals sum p in I of kappa g(p) - lambda l s (I), subject to row and column budgets >
Mira: That formula is telling us they are balancing the importance of the operation with how much physical space they are actually keeping available after compaction >
Lev: So, it’s a multi-objective optimization problem during routing—criticality versus lane cost versus retained space budget—which sounds like a heavy lift for the compiler to handle >
Kai: And finally, qubit placement refinement uses simulated annealing to minimize a cost function b J (pi) which balances routing contention, retained routing space, and path length using spectral initialization as a starting point >
Mira: So they’re using simulated annealing for the final placement decisions because it tries to find that sweet spot where the physical arrangement minimizes contention while respecting those lane and space budgets >
Conclusion: Kai: Wrapping up "Demand-Driven Routing Space for Lattice-Surgery Compilation," the authors show that this combination of dynamic architecture, demand-driven floorplanning, and compaction-aware routing reduces the geometric mean space–time volume by fifty-five point six percent and compiles circuits seventy-five point five times faster than DasCot >
Mira: That speedup is pretty significant when you compare it to the DasCot configuration they evaluated, especially since their geometric-mean volume is lower than TopoLS under their respective cost models >
Lev: From a hardware perspective, that seventy-five point five times faster compilation means a huge reduction in the time spent generating the necessary layout for an error correction circuit, which translates directly into less time on the superconducting control pulses > <ref:2610.30747#pg1>
Kai: It seems like this approach delivers on its promise by enabling more aggressive lane reuse within stages through those dynamic layouts, which yields the lowest space–time volume overall >
Mira: The benefit of these on-demand layouts is that all benchmarks benefit from them, which suggests this demand-driven strategy is universally advantageous across different circuit types >
Lev: I just want to say that while they show these results on their application benchmarks, we need to see how well this performs when you move into larger systems where the routing contention gets much harder to manage >
Kai: That’s a fair point, Lev. But for now, it looks like this paper provides a solid framework for building compilers that can actually adapt their physical layout dynamically based on the circuit's immediate needs >
Mira: So, in summary, they combine dynamic architecture with compaction-aware routing and demand-driven floorplanning to achieve those fifty-five point six percent volume reduction and seventy-five point five times compilation speedup with the "Demand-Driven Routing Space for Lattice-Surgery Compilation" paper >
Lev: And that’s the gist of it—it’s about making the layout adaptive so it doesn't waste space when the circuit doesn't need it, which is something we always need on real chips >
More episodes
- 2610.30216-Lean-QuantumAlg: A Framework for AI Agents to Produce Quantum Algorithms that Humans Can Trust
- 2610.30250-Continuous Measurement of Quantum Axion Dark Matter
- 2610.30257-Scalable Neural Wave Functions via Information Mixing and Hierarchical Network Architectures
- 2610.30266-Discrete time liquids
- 2610.30270-Symmetry-Preserving and Scalable Variational Circuits for the Lattice Gross-Neveu Model
- 2610.30279-Transversal syndrome extraction: A unifying construction for measuring the error syndromes of any stabilizer code
- 2610.30295-Pure states are optimal for total energy-constrained quantum channel discrimination
- 2610.30301-Non-adiabatic Optimisation via Localisation-Delocalisation Transitions
- 2610.30305-Dealing with low-weight errors that lead BP OSD to fail
- 2610.30315-Normal-Form Characterization of Adaptivity and Entanglement in Pauli-Based Computation