Quantum and CircuitsReading edition

Finite census tables and witnesses

Reading tools
Reading libraryFind statementsInspect Lean
Switch work

Saved reading

Read side by side

Verification statements describe the retained edition and its recorded evidence. This HTML presentation adds no Lean execution or proof review.

Start reading

Resources & source

Original TeX with line links · Download TeX

The wording and mathematics follow the retained manuscript. This reading format does not add a proof review or extend Lean coverage.

Skip contents and start reading

C.2 Finite census tables and witnesses

C.2.1 Status key

Every table in this appendix is generated from exact finite output in the accompanying JSON files. “Restricted size” and “ambient size” refer to the enumerated quotient groups, not necessarily the full unitary groups including phases and translations.

C.2.2 Clifford census summary

Finite census tables and witnesses — table 1
QubitsMetricSWAPRestricted sizeAmbient size\(\operatorname{diam}_R\)\(\operatorname{diam}_A\)Defects
1totalno26130
1entanglingno26000
2totalno48720580
2entanglingno48720334
3totalno10,7521,451,52081224
3totalyes10,7521,451,5207110
3entanglingno10,7521,451,520661,624

C.2.3 Clifford defect distributions

Finite census tables and witnesses — table 2
ModelDistance pairCount
Two qubits, entangling\(3\to2\)4
Three qubits, total\(7\to6\)6
Three qubits, total\(8\to7\)18
Three qubits, entangling\(3\to2\)24
Three qubits, entangling\(4\to3\)432
Three qubits, entangling\(5\to4\)1,056
Three qubits, entangling\(6\to4\)48
Three qubits, entangling\(6\to5\)64

C.2.4 Affine-versus-Toffoli census

Finite census tables and witnesses — table 3
BitsMetricRestricted sizeAmbient sizeRestricted diameterDefects
3total1,34440,32070
3entangling1,34440,32060

C.2.5 Linear atom modular checks

Finite census tables and witnesses — table 4
ModulusRestricted word lengthAmbient word lengthBoth match target
276yes
376yes
576yes
876yes

These checks confirm the symbolic words. Exact optimality over general rings is proved separately in the core chapter.

C.2.6 Core binary six-dimensional census

For \(U_6({\mathbb F}_2)\) there are \(2^{15}=32{,}768\) targets. The complete comparison is:

Finite census tables and witnesses — table 5
Restricted distanceAmbient distanceNumber of targets
001
1115
22125
33720
442,914
557,851
6612,656
7620
777,926
88540

The twenty strict defects are exactly the analytic three-cross, one-phase motifs.

C.2.7 Endpoint Green coefficients for the canonical atom

Restricted word counts for degrees zero through ten are

\[ 0,0,0,0,0,0,0,543,25080,510703,10824940. \]

Ambient word counts for degrees zero through eight are

\[ 0,0,0,0,0,0,2,776,39454. \]

Thus first arrival occurs at seven and six, respectively.

C.2.8 Machine-readable locations

The release contains:

  • results/atlas_results.json,

  • results/clifford_n3_total.json,

  • results/clifford_n3_total_swap.json,

  • results/clifford_n3_entangling.json,

  • the complete unitriangular supplement under core_extract/supplement/.

The JSON schema records model, metric, group sizes, diameters, defect distributions, and selected witnesses.

Source and conversion record

Source SHA-256: c21e2450c5dde03dc9f76e1a9de029281f4509fb7a83471dc316a49177993ba7

Unsupported prose commands stop the build. The mathematical expression sequence is checked against the source, with manuscript macros expanded for display.

Conversion records

Notation in Quantum and Circuits

Look up a symbol without leaving this chapter. Select text before opening help to search for it.

Search this work’s notation.

    Symbols can have different meanings in different passages. Read each result in its own context.

    Open the full notation index