Building codes with transversal CCZ using projective geometry and SAT solvers DSXBMRYE0V
| URI | m2://res/DSXBMRYE0V |
|---|---|
| Kind | preprint |
| Creators | Bohan Lu, Kenneth R. Brown |
| Date | 2026-10-07 |
| Subjects | arxiv quant-ph, arxiv cs.IT, arxiv math.IT |
| Scope | out |
Expressions
e1: version, preprint
| Date | 2026-10-07 |
|---|---|
| Ids | arXiv 2610.09341 |
Items in this resource
The mentions of the inventory that name this resource. Each name links to the card of its inventory row.
| Item | Kind | Where | Source |
|---|---|---|---|
| Hyperplane reduction | statement | corollary D.5 | arxiv |
| Affine changes of the support | statement | lemma D.2 | arxiv |
| 571BB2YYK8 | definition | definition A.7 | arxiv |
| The indicator of $\Qcode$ | example | example Example | arxiv |
| 5NTFVM17G8 | statement | theorem 3.3 | arxiv |
| Block form of a subspace complement code | statement | corollary 2.4 | arxiv |
| Column indicator | definition | definition 3.1 | arxiv |
| Subspace complements | definition | definition 2.2 | arxiv |
| 8Y48V0C5M5 | statement | lemma 4.2 | arxiv |
| Multiplicity-free support $=d_Z\ge3$ | statement | lemma 2.1 | arxiv |
| Origin indicator | statement | lemma A.4 | arxiv |
| $T/T^\dagger$ implementation | definition | definition 3.4 | arxiv |
| A67BPB9D3G | statement | proposition 3.8 | arxiv |
| Uniqueness of the projective $8$-divisible $[48,6]$ code | statement | proposition 2.3 | arxiv |
| Row operations and puncturing | statement | lemma A.8 | arxiv |
| Stabilizer-rank reduction | statement | lemma 4.4 | arxiv |
| CNPSDQ8EB8 | statement | corollary 3.6 | arxiv |
| Affine changes of Boolean functions | statement | lemma A.5 | arxiv |
| XOR expansion | statement | lemma A.1 | arxiv |
| MRENDF5099 | statement | corollary D.3 | arxiv |
| Length lower bound | statement | theorem 4.5 | arxiv |
| NZ6756QPQZ | example | example 3.7 | arxiv |
| P4P8QS7XBH | statement | proposition 3.5 | arxiv |
| Stabilizer-rank lower bound | statement | proposition 4.3 | arxiv |
| XOR and Hamming weight | statement | corollary A.2 | arxiv |
| SQD1RQ9ES0 | statement | lemma 3.2 | arxiv |
| Coefficient extraction and support parity | statement | lemma A.3 | arxiv |
| WH1NRCXZ6W | statement | lemma D.4 | arxiv |
| Admissible block lengths | statement | theorem 4.1 | arxiv |
| WTZ7BB9DH4 | statement | corollary A.6 | arxiv |
| Reduction to projective $\mathcal C_2$ | statement | lemma D.1 | arxiv |
| Z7EXTZW61C | statement | proposition 3.9 | arxiv |
Catalogue records
- arxiv: 2610.09341 (work)