A Lean-verified multi-agent system produces a catalogue of 14,116 quantum codes with transversal diagonal gates for small parameters, extracts infinite families, and resolves specific distance-3 cases with constructions and no-go proofs.
Transversal gates in nonadditive quantum codes,
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
quant-ph 2representative citing papers
Exact Pauli-detecting codes form continuous connected families in a variance geometry parameterized by λ* from Knill-Laflamme conditions, with stabilizer codes occupying only discrete measure-zero subsets.
citing papers explorer
-
Co-Designing Quantum Codes with Transversal Diagonal Gates via Multi-Agent Systems
A Lean-verified multi-agent system produces a catalogue of 14,116 quantum codes with transversal diagonal gates for small parameters, extracts infinite families, and resolves specific distance-3 cases with constructions and no-go proofs.
-
Variance Geometry of Exact Pauli-Detecting Codes: Continuous Landscapes Beyond Stabilizers
Exact Pauli-detecting codes form continuous connected families in a variance geometry parameterized by λ* from Knill-Laflamme conditions, with stabilizer codes occupying only discrete measure-zero subsets.