Papers
Topics
Authors
Recent
Search
2000 character limit reached

Flip‑Vine Codes: 2D-Local Quantum LDPC Design

Updated 5 July 2026
  • Flip‑Vine Codes are 2D-local quantum LDPC stabilizer codes that alternate measurement rounds to achieve weak self-duality and enable transversal single-qubit Clifford gates.
  • They arrange active measure and routing qubits on a planar square grid using iSWAP and CZ primitives, maintaining 2D locality and independent measurement constraints.
  • Empirical performance shows these codes reduce qubit overhead and enhance logical error suppression compared to surface codes at matched circuit distances.

Searching arXiv for the cited paper and closely related work on vine codes, directional codes, and weakly self-dual CSS transversality. Flip‑Vine Codes are a variant of Vine Codes: 2D-local quantum LDPC stabilizer codes implemented on a planar square grid with nearest-neighbor two-qubit gates native to superconducting platforms. In the flip-vine construction, active measure qubits flip their Pauli type between QEC rounds and measure both an XX stabilizer in odd rounds and a ZZ stabilizer in even rounds on identical data-qubit support. This makes the CSS code weakly self-dual under appropriate boundary conditions and directly enables transversal single-qubit Clifford gates, while retaining implementation by nearest-neighbor iSWAP- and CZ-equivalent primitives, resets, and measurements on a planar square chip (Nixon et al., 18 Jun 2026).

1. Definition and code architecture

A Vine Code is specified by a step sequence and a layout. The step sequence is an ordered list of eight possible nearest-neighbor entangling steps between measure and data qubits, and the layout specifies the initial pattern of XX- and ZZ-type measure qubits. Qubits are arranged such that each measure qubit has four nearest-neighbor data qubits. The eight steps are upper-case cardinal directions N,E,S,WN,E,S,W, executed as iSWAP-like controlled-XX-SWAP gates denoted CXSWAP, and lower-case directions n,e,s,wn,e,s,w, executed as CZ-like controlled-XX gates denoted CX. The upper-case steps move the qubit via a SWAP, whereas the lower-case steps do not move. Stabilizer supports then trace “vines” across the lattice as measure qubits follow the step sequence, mixing longer-range support from CXSWAP with local offshoots from CX (Nixon et al., 18 Jun 2026).

A Flip‑Vine Code is obtained by choosing an even-length step sequence of weight ww and a subset of measure qubits AA that are active; the complementary subset ZZ0 are routing qubits. In odd rounds, active ZZ1-type measure qubits in ZZ2 measure ZZ3 stabilizers, and in even rounds they flip type and measure the partner ZZ4 stabilizer of the same support; the same alternation applies to active ZZ5-type measure qubits. Routing qubits traverse the same paths but perform only SWAP-like operations, never entangling with data. This “flip” construction is the defining feature of the family.

The principal architectural motivation is hardware compatibility. Vine and flip-vine codes are implementable on a planar square grid using only nearest-neighbor two-qubit iSWAP and CZ gates, up to single-qubit Cliffords, together with resets and measurements. Routing qubits are inserted only where connectivity is required and are aggressively minimized. Relative to Directional Codes, the construction broadens the step set from iSWAP-only dynamics to both iSWAP-like and CZ-like primitives, introduces open boundaries through routing qubits, and adds weak self-duality plus transversal single-qubit Clifford gates. Relative to surface and tile codes, the intended trade-off is higher rate and distance at similar circuit depth with fewer data and measure qubits, at the cost of modest routing overhead near boundaries.

2. CSS formulation, locality, and measurement constraints

For any vine or flip-vine instance, the stabilizer code is CSS, with parity-check matrices ZZ6 and ZZ7 formed by listing the data-qubit supports of all ZZ8- and ZZ9-type stabilizers as binary row vectors. The standard commutation condition is

XX0

Code parameters are written as XX1, and the circuit distance XX2 is defined as the minimum weight of an undetectable logical fault through the full syndrome extraction circuit, including hook errors, computed by an exact distance finder referred to as dist-m4ri “connected cluster” (Nixon et al., 18 Jun 2026).

The Tanner graph is 2D-local. Each row of XX3 or XX4 has weight XX5, the step-sequence length, except near open boundaries where operators are truncated. At each layer, a measure qubit couples only to nearest-neighbor data qubits, but the dynamic walk over layers realizes extended stabilizer support. This is the central mechanism by which the construction preserves planar nearest-neighbor circuitry while generating nonlocal stabilizer supports.

A key scheduling condition is the independent measurement constraint. Let XX6 be the set of data qubits, and for each measure qubit XX7, let XX8 denote its sequence of data contacts. Independent measurement requires that for any XX9-type measure qubit ZZ0 and ZZ1-type measure qubit ZZ2, the set

ZZ3

has even cardinality. This guarantees that, at the time of measurement, the measure qubits are not entangled or interleaved.

The construction also uses displacement multisets ZZ4, ZZ5, ZZ6, and ZZ7. The layout must be chosen so that any two measure qubits separated by a vector in ZZ8 are of the same Pauli type; this ensures the commutation and independent measurement conditions. For the flip-vine construction, a further proposition links odd stabilizer overlaps to ZZ9: if N,E,S,WN,E,S,W0 and N,E,S,WN,E,S,W1 are data-qubit supports with N,E,S,WN,E,S,W2 and N,E,S,WN,E,S,W3, then

N,E,S,WN,E,S,W4

This criterion is used to ensure that flipped partner stabilizers commute.

3. Planar square-grid realization and boundary engineering

The standard layout assumes alternating rows of N,E,S,WN,E,S,W5- and N,E,S,WN,E,S,W6-type measure qubits, with data qubits occupying the other grid sites so that every measure qubit has four data neighbors in the cardinal directions. A step sequence is then a word over N,E,S,WN,E,S,W7. Upper-case directions apply CXSWAP between a measure qubit and the adjacent data qubit and swap positions; lower-case directions apply CX without a swap. Data qubits follow the reverse step sequence to measure and routing qubits. Odd rounds trace forward, and even rounds trace backward, or in the flip-vine setting flip roles and measure the opposite Pauli stabilizer (Nixon et al., 18 Jun 2026).

Open boundaries are created by cutting a finite parallelogram patch defined by vectors N,E,S,WN,E,S,W8 and N,E,S,WN,E,S,W9 and truncating or removing stabilizers that extend out of bounds. Pauli XX0 boundaries are placed along edges parallel to XX1 and XX2 boundaries along edges parallel to XX3, or vice versa. Any XX4 stabilizer intersecting a XX5 boundary is removed; any XX6 stabilizer intersecting an XX7 boundary is removed; and any stabilizer intersecting its own boundary is truncated to in-bounds support.

Because step sequences still move qubits near the boundary, routing qubits are introduced where necessary to maintain nearest-neighbor connectivity while replacing entangling actions by SWAP-like transport. Practically, the construction uses single-layer CZSWAP with the routing qubit reset to XX8, yielding effective SWAP without entanglement in the absence of errors. Routing qubits are measured at the end of the round to form flag detectors.

Routing minimization proceeds in three phases. Phase 1 replaces long SWAP paths by shorter equivalent paths whenever the resulting circuit has identical space-time non-SWAP gate locations. Phase 2 removes SWAP-then-measure and reset-then-SWAP events by sliding measurement or reset into the qubit’s final position. Phase 3 deletes routing qubits that no longer participate in any gate. In a distance-10 example, these heuristics reduced routing qubits by approximately XX9, specifically from n,e,s,wn,e,s,w0 to n,e,s,wn,e,s,w1 for the sequence n,e,s,wn,e,s,w2 on a square patch.

The boundary framework is not limited to the familiar n,e,s,wn,e,s,w3 boundaries of surface and tile codes. The construction also gives “colored” boundaries equivalent, up to finite-depth circuits, to the 2D color code. These boundaries condense a Lagrangian subgroup of anyons defined by commuting tunneling operators of a given color and Pauli label, truncate the remaining stabilizers consistently, and in flip-vine cases preserve identical n,e,s,wn,e,s,w4 supports, weak self-duality, and transversality.

4. Weak self-duality and transversal Clifford structure

The defining algebraic property of Flip‑Vine Codes is weak self-duality under periodic boundary conditions or certain generalized open boundaries. Because each active measure qubit supports both an n,e,s,wn,e,s,w5 and a n,e,s,wn,e,s,w6 stabilizer with identical data-qubit support in alternating rounds, one has n,e,s,wn,e,s,w7 up to qubit permutation. This immediately yields a transversal Hadamard:

n,e,s,wn,e,s,w8

Applying n,e,s,wn,e,s,w9 to every data qubit swaps XX0 and XX1 stabilizers and realizes a logical tensor product of Hadamards on all encoded qubits (Nixon et al., 18 Jun 2026).

A transversal phase gate exists when there is a bipartition of data qubits into sets XX2 and XX3 such that for every XX4 stabilizer XX5,

XX6

Then

XX7

implements a transversal logical XX8 on all encoded qubits. In particular, any flip-vine with weight-8 stabilizers admits the trivial bipartition XX9 all data, ww0, so applying ww1 to all data qubits implements logical ww2.

These transversality criteria are situated in the standard weak self-dual CSS framework and are satisfied in flip-vine codes because the flip enforces identical supports for ww3 and ww4 stabilizers, while the relevant weight and parity constraints are enforced by construction and boundary choice. No transversal ww5 gate is claimed; non-Clifford gates are instead supplied by magic-state methods.

An explicit parity-check example is given by the flip-vine sequence ww6 on a triangular patch. This yields an exact 2D color code of distance ww7 encoding one logical qubit, equivalent to the Steane code ww8 with weak self-duality ww9, where

AA0

All AA1 stabilizers have weight AA2, pairwise overlaps are even, and AA3, so transversal AA4 and AA5 exist.

5. Instances, circuits, and empirical performance

The paper reports representative vine-code patches with open boundaries and matched-distance comparisons to surface-code baselines. Several examples are singled out as promising candidates.

Instance Parameters Note
AA6, rotated AA7 AA8, total qubits AA9
ZZ00, vertical parallelogram ZZ01 ZZ02, total qubits ZZ03
ZZ04, horizontal parallelogram ZZ05 ZZ06
ZZ07, horizontal parallelogram ZZ08 ZZ09
ZZ10, rotated ZZ11 routing ZZ12, total ZZ13
ZZ14, vertical parallelogram ZZ15 routing ZZ16, total ZZ17

For periodic flip-vine tori, the enumeration found many weakly self-dual instances with large data-qubit savings relative to toric or surface-code baselines. Examples include ZZ18 with parameters ZZ19 and data-qubit ratio ZZ20, ZZ21 with ZZ22 and ratio ZZ23, ZZ24 with ZZ25 and ratio ZZ26, and ZZ27 with ZZ28 and ratio ZZ29.

Syndrome extraction is organized layer by layer along the step sequence. For each upper-case step, a CXSWAP is applied and the measure qubit advances along its vine; for each lower-case step, a CX is applied and positions remain unchanged. Near boundaries, deleted neighbors are handled by SWAP-like transport using CZSWAP against a reset routing qubit, or by skipping the gate if no movement is needed. Hook-error suppression depends on the independent-measurement condition, and for all listed small-distance patches the reported verification finds ZZ30 equal to the code distance, with no distance-reducing hooks.

Circuit-level noise simulations use the SI1000 superconducting-inspired noise model with strength ZZ31. The model includes two-qubit depolarizing noise after CX, CZ, and CXSWAP of strength ZZ32; single-qubit depolarizing noise after ZZ33 of strength ZZ34; reset errors in the complementary Pauli basis of strength ZZ35; measurement classical readout error ZZ36 plus post-measure depolarization ZZ37; and idle depolarization of strength ZZ38 during unitary layers and ZZ39 during measurement or reset layers. Simulations use at least ZZ40 Monte Carlo shots or at least ZZ41 errors per circuit.

At ZZ42, the rotated ZZ43 patches show that ZZ44-basis memory is nearly an order-of-magnitude better in logical error than a matched-distance surface code at ZZ45, while ZZ46-basis memory is comparable at the same distance. The reported asymmetry is attributed to patch entropics and slight ZZ47 versus ZZ48 imbalances in certain cuts. A simple empirical scaling model,

ZZ49

is reported to capture the approximate exponential decay of logical error with circuit distance below pseudothresholds.

Overhead comparisons are one of the central results. At matched circuit distance, the rotated ZZ50 patch at ZZ51 uses total qubits ZZ52 versus the surface code’s ZZ53, corresponding to a ZZ54 total saving, with data-plus-measure ratio approximately ZZ55, corresponding to a ZZ56 saving. At distance ZZ57, the same family attains total ratio approximately ZZ58, an ZZ59 saving, with data-plus-measure ratio approximately ZZ60, a ZZ61 saving. For ZZ62 at ZZ63, the data-plus-measure ratio is approximately ZZ64, a ZZ65 saving, and total ratio is approximately ZZ66, a ZZ67 saving. For the rotated ZZ68 family, the asymptotic coefficient comparison gives ZZ69 in the quadratic-plus-linear fit ZZ70, suggesting increasing benefits with distance (Nixon et al., 18 Jun 2026).

6. Search methodology, fault-tolerant role, and scope of the term

The construction is supported by an exhaustive search over step sequences up to stabilizer weight ZZ71. Sequences are filtered by four validity conditions: commutativity, independent measurement, topological order, and patch connectivity. Duplicates are then removed by ZZ72 sequence symmetry, by replacing sequences that begin or end with CXSWAP by equivalent CX moves to eliminate fruitless swaps, and by ZZ73 support symmetry when different sequences yield identical data support. The reported outcome is ZZ74 unique topologically ordered sequences, with ZZ75 having ZZ76 and ZZ77 having ZZ78; before support-equivalent reduction there are ZZ79 sequences. Small patches are validated by exact circuit-distance computation.

Flip-vine instances are identified using ZZ80. Routing lattices are constructed from seed measure qubits so that any measure pair separated by a vector in ZZ81 are not both active, guaranteeing that flipped partner stabilizers commute. Active measure qubits then support both ZZ82 and ZZ83 stabilizers of identical support in alternating rounds, while routing qubits follow SWAP-only paths. Periodic tori of the form ZZ84, ZZ85 are searched for weak self-duality and distance.

In fault-tolerant architecture, the principal role of Flip‑Vine Codes is to provide transversal single-qubit Clifford gates together with 2D-local nearest-neighbor implementation. The available transversal operations are logical basis swaps via ZZ86 and logical phase rotations via ZZ87 when the bipartition condition holds, without ancilla overhead. No transversal ZZ88 is provided. The intended non-Clifford mechanism is magic-state cultivation or distillation; the paper states that weakly self-dual and doubly-even flip-vine instances align with known color-code-like cultivation schemes and that adapting quasi-triorthogonal distance-optimized gadgets to flip-vine geometry is promising future work.

Several open questions remain explicit. These include faster high-accuracy decoders specialized to vine Tanner structure, systematic design of generalized boundaries including Pauli-ZZ89 and exotic patch shapes, integration into full-stack lattice surgery with magic-state cultivation and distillation, exploration of hyperbolic embeddings and higher-valency tilings, Floquet generalizations of flip-vine dynamics, and hardware co-optimization of iSWAP, CZ, leakage mitigation, and routing-qubit flag handling.

A separate point of terminology is that the phrase “vine” also appears in a non-quantum combinatorial context. The paper “Inside the Binary Reflected Gray Code: Flip-Swap Languages in 2-Gray Code Order” studies flip-swap languages on binary strings, where the leftmost ZZ90 may be flipped or swapped one position to the right, and the “vine” intuition refers to rightward growth of that leftmost ZZ91 under repeated swap operations (Sawada et al., 2021). That framework concerns cyclic ZZ92-Gray codes and flip-swap posets rather than quantum LDPC stabilizer codes.

Definition Search Book Streamline Icon: https://streamlinehq.com
References (2)

Topic to Video (Beta)

No one has generated a video about this topic yet.

Whiteboard

No one has generated a whiteboard explanation for this topic yet.

Follow Topic

Get notified by email when new papers are published related to Flip-Vine Codes.