# Building codes with transversal CCZ using projective geometry and SAT solvers

Preprint · Bohan Lu, Kenneth R. Brown

- Archive id: arxiv:2610.09341
- Published: 2026-10-07
- arXiv: <https://arxiv.org/abs/2610.09341>
- Source URL: <https://arxiv.org/abs/2610.09341>
- PDF: <https://arxiv.org/pdf/2610.09341>
- Provenance: arxiv

## Abstract

We construct CSS codes with three logical qubits whose logical CCZ gate is implemented by transversal physical $T/T^\\dagger$ gates and whose distance is at least 3. These codes start with 8-divisible $X$-stabilizers defined by projective geometry, which guarantees $d\_Z \\geq 3$. A SAT solver then finds three $X$-logical operators compatible with the transversal CCZ. We build codes at thirteen block lengths from $n=48$ to $n=496$, with $d\_Z=3$ or 4, and illustrate the method with the \[\[48,3,3\]\] code $Q\_{48}$. Additionally, we prove that no CSS code with three logical qubits, $Z$-distance at least 3, and a quasi-transversal CCZ gate (transversal $T$ with a diagonal Clifford correction) exists below $n=39$. The \[\[47,3,3\]\] code of Jacinto et al. attains the minimum length in this class, as established by the classification of Wills, Jain, and Singh.

_Abstract reproduced under CC0-1.0 (arXiv descriptive metadata)._


---
Space Kitty Archive · https://space-kitty.com · API: https://space-kitty.com/api/v1 · MCP: https://space-kitty.com/mcp · Premium: $0.20/request via x402 (Base). Metadata: arXiv (CC0), OpenAlex (CC0), Europe PMC (CC BY/CC0 works), ClinicalTrials.gov.