Magic-Friendly Triples in Quantum CSS Codes

• Magic-friendly triples are algebraic and combinatorial constructs in CSS quantum codes that satisfy strict orthogonality and parity conditions to enable logical CCZ gates.
• The hypergraph circuit model and packing lemma ensure that these triples can be implemented in constant depth, optimizing resource scaling and fault tolerance.
• In tricycle codes, magic-friendly triples facilitate native magic-state generation with single-shot error correction, significantly reducing space–time overhead.

Magic-friendly triples are an algebraic and combinatorial construct central to the design of quantum CSS codes that natively support constant-depth, high-throughput non-Clifford resource state generation—specifically, logical $\mathrm{CCZ}$ (controlled-controlled-$Z$) gates in qLDPC (quantum low-density parity-check) codes. The existence, distribution, and implementation of magic-friendly triples underpins magic-state factories that dramatically reduce the space–time overhead associated with universal quantum computation, by producing many resource states (such as CCZ magic states) in parallel and without multi-round distillation.

1. Algebraic Definition and Criteria of Magic-Friendly Triples

A magic-friendly triple is defined within the structure of a CSS code specified by two binary linear codes $(C_X, C_Z \subset \mathbb{F}_2^n)$, with $C_Z \subseteq C_X^\perp$. The logical $X$ operators are represented as

$\mathcal{L}_X = C_Z^\perp / C_X,$

where $$C_Z^\perp = \{v \in \mathbb{F}_2^n : v \cdot w = 0 \;\forall w \in C_Z\}$$. A triple of logical $X$ operators $(x, y, z) \in (C_Z^\perp)^3$ is magic-friendly if the following hold (Rowshan, 30 Jan 2026):

• Their images in $\mathcal{L}_X$ are linearly independent (each corresponds to a distinct logical qubit).
• They satisfy pairwise orthogonality:

$Z$0

• The triple overlap is odd:

$Z$1

which guarantees that a transversal layer of $Z$2 gates on corresponding qubits induces a nontrivial diagonal logical $Z$3 on these logical qubits.

This definition ensures that each magic-friendly triple is not only algebraically valid for non-Clifford transformations but also implements them in a manner that is compatible with the error-correction structure of qLDPC codes.

2. Hypergraph Circuit Model and Depth Optimization

The physical implementation of logical $Z$4 operations corresponding to magic-friendly triples is modeled as a bounded-degree 3-uniform hypergraph $Z$5, where $Z$6 is the set of physical qubits and each edge $Z$7 corresponds to a $Z$8 gate acting on a triple of qubits. The depth of the circuit is controlled by edge-coloring:

• If the maximum degree at any qubit is $Z$9, then the circuit can be scheduled in at most $(C_X, C_Z \subset \mathbb{F}_2^n)$0 layers so that no qubit participates in more than one gate per layer (Rowshan, 30 Jan 2026).
• For tricycle codes, every qubit participates in $(C_X, C_Z \subset \mathbb{F}_2^n)$1 $(C_X, C_Z \subset \mathbb{F}_2^n)$2 gates, organized in two layers of $(C_X, C_Z \subset \mathbb{F}_2^n)$3 each (Menon et al., 14 Aug 2025).

This combinatorial approach guarantees that the full pack of logical $(C_X, C_Z \subset \mathbb{F}_2^n)$4 gates arising from a collection of magic-friendly triples can be physically realized in constant depth while maintaining the LDPC property and code distance.

3. Packing Lemma and Distribution of Supports

Given a collection $(C_X, C_Z \subset \mathbb{F}_2^n)$5 of magic-friendly triples, efficient utilization requires that individual physical qubits are not overused—meaning their support is distributed. The packing lemma formalizes this:

• Let each triple $(C_X, C_Z \subset \mathbb{F}_2^n)$6 have support $(C_X, C_Z \subset \mathbb{F}_2^n)$7, with $(C_X, C_Z \subset \mathbb{F}_2^n)$8 for constants $(C_X, C_Z \subset \mathbb{F}_2^n)$9.
• If each qubit participates in at most $C_Z \subseteq C_X^\perp$0 supports, one can greedily extract a subcollection $C_Z \subseteq C_X^\perp$1 such that supports in $C_Z \subseteq C_X^\perp$2 are pairwise disjoint and $C_Z \subseteq C_X^\perp$3 (Rowshan, 30 Jan 2026).

This packing enables simultaneous implementation of many logical $C_Z \subseteq C_X^\perp$4 gates in parallel, regulated by combinatorial bounds on qubit participation.

4. Magic-Friendly Triples in Tricycle Codes

Tricycle codes are a specific instance of CSS qLDPC codes structured as balanced products of three group-algebra codes over a finite Abelian group $C_Z \subseteq C_X^\perp$5 of order $C_Z \subseteq C_X^\perp$6. The quantum parity-check matrices for $C_Z \subseteq C_X^\perp$7 qubits are: $C_Z \subseteq C_X^\perp$8 where each $C_Z \subseteq C_X^\perp$9 is assembled from permutation matrices associated with group-algebra elements (Menon et al., 14 Aug 2025).

Tricycle codes admit transversal, constant-depth $X$0 gates, and the logical connectivity induced by magic-friendly triples allows for the extraction of up to $X$1 disjoint logical $X$2 gates per block, directly enabling high-rate magic state generation.

5. Thresholds, Decoding, and Fault-Tolerance

Single-shot state-preparation and fault-tolerant error correction are facilitated by properties intrinsic to magic-friendly triples:

• $X$3-type checks act on initial $X$4 states and return deterministic $X$5 syndromes.
• $X$6-type checks are rendered redundant by meta-check relations, permitting single-shot correction via decoders such as Belief-Propagation with Order-Statistics (BP+OSD).
• Circuit-level depolarizing noise models with two-qubit gate error rates $X$7 confirm robust suppression of logical error rates, with thresholds $X$8 for codes as large as $X$9 (Menon et al., 14 Aug 2025).

A plausible implication is that the space–time overhead for distillation is significantly reduced, as redundancy and packing of magic-friendly triples minimize both error propagation and decoding complexity.

6. Implementation Strategies and Resource Scaling

Magic-friendly triples enable the construction of optimal-depth syndrome extraction circuits:

• For codes where permutation matrices have weight-1 per row/column, all CNOT layers can be scheduled in $\mathcal{L}_X = C_Z^\perp / C_X,$0 layers (e.g., $\mathcal{L}_X = C_Z^\perp / C_X,$1 for $\mathcal{L}_X = C_Z^\perp / C_X,$2 weights in tricycle codes).
• Implementation on neutral atom arrays takes advantage of sector-wise qubit movement and global pulses, yielding per-syndrome cycle depth $\mathcal{L}_X = C_Z^\perp / C_X,$3 (Menon et al., 14 Aug 2025).

Resource scaling tables for select tricycle codes under $\mathcal{L}_X = C_Z^\perp / C_X,$4:

Code	$\mathcal{L}_X = C_Z^\perp / C_X,$5	$\mathcal{L}_X = C_Z^\perp / C_X,$6	$\mathcal{L}_X = C_Z^\perp / C_X,$7
[[192,27,8]]	$\mathcal{L}_X = C_Z^\perp / C_X,$8	$\mathcal{L}_X = C_Z^\perp / C_X,$9	$$C_Z^\perp = \{v \in \mathbb{F}_2^n : v \cdot w = 0 \;\forall w \in C_Z\}$$0
[[375,15,15]]	$$C_Z^\perp = \{v \in \mathbb{F}_2^n : v \cdot w = 0 \;\forall w \in C_Z\}$$1	$$C_Z^\perp = \{v \in \mathbb{F}_2^n : v \cdot w = 0 \;\forall w \in C_Z\}$$2	$$C_Z^\perp = \{v \in \mathbb{F}_2^n : v \cdot w = 0 \;\forall w \in C_Z\}$$3
[[648,18,18]]	$$C_Z^\perp = \{v \in \mathbb{F}_2^n : v \cdot w = 0 \;\forall w \in C_Z\}$$4	$$C_Z^\perp = \{v \in \mathbb{F}_2^n : v \cdot w = 0 \;\forall w \in C_Z\}$$5	$$C_Z^\perp = \{v \in \mathbb{F}_2^n : v \cdot w = 0 \;\forall w \in C_Z\}$$6

This suggests the deterministic production of many logical CCZ resource states in one code block with orders-of-magnitude reduction in spatial and temporal overhead compared to multi-level distillation protocols.

7. Structural Theorem and Applications to qLDPC Code Families

The existence of native constant-depth CCZ magic-state fountains in qLDPC code families is governed by the capacity to generate and distribute a large number of magic-friendly triples:

• If a CSS qLDPC family on $$C_Z^\perp = \{v \in \mathbb{F}_2^n : v \cdot w = 0 \;\forall w \in C_Z\}$$7 qubits admits at least $$C_Z^\perp = \{v \in \mathbb{F}_2^n : v \cdot w = 0 \;\forall w \in C_Z\}$$8 magic-friendly triples with supports distributed so that each qubit is used at most $$C_Z^\perp = \{v \in \mathbb{F}_2^n : v \cdot w = 0 \;\forall w \in C_Z\}$$9 times, then by packing, at least $X$0 logical CCZ gates can be realized in parallel in constant depth (Rowshan, 30 Jan 2026).
• For quantum Tanner codes and other LDPC constructions, the key combinatorial problem is demonstration of sufficient numbers and distribution of magic-friendly triples in logical $X$1 space.

This result eliminates the need for repeated distillation cycles and post-selection: the algebraic presence and combinatorial packing of magic-friendly triples alone ensures the existence of a native magic-state fountain preserving the LDPC properties and linear code distance.

---

Magic-friendly triples thus represent the bridging concept that enables efficient, scalable, and robust magic state generation in leading CSS code architectures, linking algebraic structure, circuit-model combinatorics, and practical implementation protocols for next-generation fault-tolerant quantum computation (Menon et al., 14 Aug 2025, Rowshan, 30 Jan 2026).