Alias: CCS v2.1 (Computational Companion and Status Archive)
Version: 2.1
Date: 2026-08-18
Document type: Versioned non-paper computational companion archive
Status: Version 2.1 correction release. Published version 2.0 remains at
DOI 10.5281/zenodo.21616956; concept DOI 10.5281/zenodo.21108196.
WuJun Chen∗
Independent Researcher, China Email: dooven@outlook.com
∗ Code, companion archive, and experiment scripts: RIME repository
Archive boundary. This archive is optional human-readable research companion material. Papers I, II, and III are mathematically self-contained and do not rely on it as a premise, definition source, executable certificate, or claim authority. It is not a paper, theorem source, semantic authority, or prerequisite for those papers. Mathematical claims must be cited from the corresponding papers. The archive preserves reproducibility data, computational observations, open conjectures, and versioned historical records with explicit status labels. Executable certificates are controlled by their declared scripts and structured artifacts; corrections affecting interpretation are recorded in
HISTORY.md.
The entries below are navigation records, not a dependency chain. Papers I, II, and III have independent Zenodo records.
| Paper | Independent title | Repository | Separate Zenodo DOI |
|---|---|---|---|
| I | Spectral Sector Decomposition in the Rubik's Cube Representation: Block Spectral Structure and a Conditional Rationality Criterion | PDF, source, BibTeX paper1 |
10.5281/zenodo.21571403 |
| II | Noncommutative Transport Topology in the Rubik's Cube Representation: Sector Non-Invariance, Direct Support, and Transport Channels | PDF, source, BibTeX paper2 |
10.5281/zenodo.21581072 |
| III | Support-Graph Reachability and Matrix-Composition Obstructions: Image--Kernel Mismatch with a Rubik-Cube Case Study | PDF, source, BibTeX paper3 |
10.5281/zenodo.21583070 |
The immutable combined-release DOI 10.5281/zenodo.21108197 remains historical provenance. It does not define the current Paper I--III architecture and must not be reused as the CCS v2.1 DOI. That historical combined package is a provenance record only.
Paper II v2 routing. The Paper II theorem spine is the exact Transport--Non-Invariance Identity and direct block-locality theorem. The nine-sector registration, ten-edge graph, Type I/II labels, and EP algebra census are computational certificates. Block-level
$\operatorname{Supp}_{\mathrm{nc}}$ is the family-level maximum over all three per-axis QT commutator pairs and is only a candidate localizer: its 15 overlap pairs contain the nine Type I labelled edges and six nonedges. It is not a sufficient transport criterion. Generator-family field tables, S3 negative controls, full EP algebra tables, and auxiliary figures remain CCS material and are not manuscript premises.
The repository uses four separated layers:
| Layer | Name | Files | Role | Rule |
|---|---|---|---|---|
| 1 | Papers | papers/paper*/ |
Claim | Self-contained theorem, certificate, observation, and research-program boundaries. |
| 2 | Executable artifacts | experiments/paper*/, results/ |
Certify | Declared scripts, parameters, hashes, residuals, and structured outputs. |
| 3 | CCS v2.1 | ccs/canonical_specification.md |
Review | Human-readable extended data, observations, open questions, and selected history. |
| 4 | Private raw archive | not distributed | Preserve | Giant matrices, abandoned runs, and exploratory provenance. |
CCS v2.1 is not a copy of the raw archive and does not replace executable
artifacts. It is a curated review layer. The papers state their claims, the
declared scripts and structured artifacts certify finite computations, and
HISTORY.md records corrections that affect interpretation.
Papers I--III do not cite CCS v2.1 as a scholarly or mathematical authority. Internal part, table, and figure labels below are navigation aids for this archive only. Paper III numerical claims are defined by its own manuscript and matrix certificate.
Internal part references. Archive-local links use Roman numeral prefixes:
| Prefix | Scope | Example |
|---|---|---|
CCS Part 0 |
Global Reference Map (notation tables, terminology) | (CCS Part 0) |
CCS Part 0.5 |
Canonical API Surface | (CCS Part 0.5) |
CCS-I |
Part I — Core Numerical Structures (§1, §2) | (CCS-I §2.1) |
CCS-II |
Part II — Extended Computational Observations (§II.1–II.4) | (CCS-II §II.4) |
CCS-III |
Historical derivation index; excluded from the release PDF | source provenance only |
CCS Appendix X |
Appendices A–F | (CCS Appendix F) |
Section numbering. Part I uses §1.x (spectral objects) and §2.x (numerical data). Part II uses §II.1–II.4 for extended observations. The historical Part III numbering is retained in source provenance only. Appendix subsections use letter prefixes (§A.1, §B.1, §E.1, §F.1).
Tables and figures. (CCS Table C3), (CCS Fig. C1) — figures are
captioned where they appear. Historical images are repository provenance and
are not separately indexed in this release.
The Terminology Convention at the end of Part 0 defines the four canonical terms: QT/HT joint-spectral sector, hybrid sector, transport-active, canonical sectorization.
Every retained item must carry one of the following statuses in context:
| Status | Meaning |
|---|---|
| Theorem / exact derivation | Finite mathematical statement proved under explicit hypotheses; the independent paper remains the preferred citation. |
| Computational certificate | Declared realization, dtype, tolerance, algorithm, artifact, and reproducible script are available. |
| Computational observation | Finite pattern or numerical recognition without a full promotion certificate. |
| Research program | Conjecture, proposed hierarchy, genericity question, or future experiment. |
| Historical / withdrawn | Provenance only; excluded from the PDF or displayed with an explicit historical warning. |
Callout boxes separate exact statements, registered data, warnings, and provisional findings. Their labels describe archive status; they do not make CCS v2.1 an independent claim authority:
| Box | Style | Purpose |
|---|---|---|
| Theorem / Lemma / Corollary / Definition | Blockquote > with bold label |
Formal mathematical statement. Proofs appear inside the box, set off with Proof. or Proof sketch. |
| Registered | Blockquote > with Registered. label |
Finite data tied to a declared computational realization. |
| Warning | Blockquote > with Warning. label |
Important constraint, pitfall, or normative requirement (SHALL/MUST). Non-negotiable. |
| Exploratory | Blockquote > with Exploratory. label |
Observation, conjecture, or research-program item subject to revision. |
This guide provides the shortest reliable reading path through the archive. The subsequent sections preserve tables, implementation context, figures, failed candidates, and research history. They do not enlarge the claims of the independent papers.
| Record | Current status | Owning source |
|---|---|---|
Six displayed averaging layers with dimension census (20,2,39,26,106,35)
|
Computational observation; exact and conditional statements are separated in Paper I | Paper I and experiments/paper1/validation/
|
| Nine registered QT/HT joint-spectral sectors | Numerical registration on the declared complex128 realization | Paper II and experiments/paper2/validation/
|
Symmetric ten-edge direct graph with degree sequence (0,2,2,2,2,5,3,1,3)
|
Computational certificate | Paper II |
| Fifteen noncommutative-support candidates: nine Type I edges and six nonedges | Computational certificate; the localizer is not sufficient | Paper II |
| EP algebra census: four |
Computational certificate supported by the finite-dimensional unital |
Paper II |
| Five support-graph paths whose evaluated projected products are machine-zero | Computational certificate with image--kernel/block obstruction interpretation | Paper III |
These five declared two-step support-graph paths form the finite Paper III composition-obstruction audit.
- Numerical QT/HT commutation and clustering do not prove an exact labelled joint spectral resolution.
- Numerical recognition of rational or quadratic values does not determine an exact spectral field.
- A direct-support path does not guarantee a nonzero routed matrix product.
- A routed product does not automatically determine a full word, commutator, or Lie depth.
- Ambient incidence codimension is a benchmark, not the codimension of a representation-derived pullback.
The archive retains three concrete promotion targets: exact QH algebra registration; exact characteristic/minimal-polynomial certificates for generator-family arithmetic contrasts; and structured pullback geometry for representation-derived incidence. Earlier T7, commutant-restriction, completion, search, and spectral-triple narratives are historical records only.
Part 0 — Global Reference Map
Purpose. Human-readable lookup for registered Paper I--II numerical objects, implementation locations, and shared Rubik notation. The independent papers define their own mathematical objects and claims locally.
How to use. For any symbol or concept name, use column 3 to locate the paper definition or the archive record and column 4 to identify its scope. Paper definitions control mathematical meaning; archive entries provide data and provenance only.
Registered default. Unless otherwise stated, the archived nine-sector
decomposition is the numerical joint-spectral registration associated with
$$\mathcal B_{\mathrm{QH}}=\operatorname{alg}(A_{18},\mathrm{QT}{\mathrm{all}},\mathrm{HT}{\mathrm{all}})=\operatorname{alg}(\mathrm{QT}{\mathrm{all}},\mathrm{HT}{\mathrm{all}}),$$
where $A_{18}=(2/3)\mathrm{QT}{\mathrm{all}}+(1/3)\mathrm{HT}{\mathrm{all}}$.
The displayed algebraic interpretation is conditional on exact
commuting-Hermitian registration. Sectorizations involving auxiliary block
projectors (e.g.
Core object:
| Symbol | Concept | First Defined | Used In |
|---|---|---|---|
| Rubik's cube representation | Paper I §2 | I, II, III | |
| Block decomposition ( |
Paper I §3.4 | I, II, III | |
| Four invariant blocks | Paper I §2 | I, II, III | |
| $A = \frac{1}{ | S | }\sum_{s \in S} \rho(s)$ | Averaging operator |
|
|
Canonical layers (6), eigenvalue form | Paper I §3 | I, II, III |
| Admissible |
Paper I §3, §7.3 | I, II, III | |
| Orthogonal projector onto the |
Paper I §3.1 | I, II | |
| Blockwise |
Paper I §7.3 | I | |
| Eigenspace trace | Paper I §3.1 | I | |
|
|
Paper I §4.1, §7.1 | I | |
| Per-generator Hermitian average | Paper I §7.2 | I | |
|
|
Ambient |
Paper I App B | I |
| Ambient-isotypic overlap mass; not a subrepresentation multiplicity unless the projectors commute | Paper I App B | I | |
|
|
Registered orientation-preserving cubic rotation action commuting numerically with |
Paper I §4, App B | I |
| Candidate ambient-commutant dimension; unpromoted pending exact certificate | CCS legacy §2.8 | provenance only |
Core object:
| Symbol | Concept | First Defined | Used In |
|---|---|---|---|
|
|
Nine numerically registered QT/HT joint-spectral sectors | Paper II §2 | II, III |
| $\mathcal B_{\mathrm{QH}}=\operatorname{alg}(A, \mathrm{QT}{\mathrm{all}}, \mathrm{HT}{\mathrm{all}})$ | Conditional exact algebra associated with the numerically commuting QT/HT registration; not identified with the full group commutant | Paper II §2 | II, III |
| $\mathrm{QT}{\mathrm{all}}$, $\mathrm{HT}{\mathrm{all}}$ | Quarter-turn / half-turn total averages | Paper II §2 | II, III |
| QT/HT joint-spectral sector projector; not assumed |
Paper II §2 | II, III | |
| Direct generator-transport norm | Paper II §3.1 | II, III | |
| Thresholded family-level block localizer using the maximum over all three per-axis QT commutator pairs; Type I labels require overlap by definition, but overlap is not sufficient | Paper II §4 | II | |
| Per-block QT commutator norm | Paper II §4.2 | II, III | |
|
|
Per-axis quarter-turn averaging operators | Paper II App A | II, III |
| Type I / Type II transport | Post-certification labels for the nine shared-noncommutative-support edges and the one CP exception; not universal sufficient criteria | Paper II §4 | II |
|
|
Registered S8$\leftrightarrow$S9 Type II edge ( |
Paper II §4 | II |
| Computational EP block algebra census (20-dimensional with 8-dimensional center) | Paper II §4 | II | |
| QH refinement boundary | Conditional minimality only inside the declared commuting QH algebra; no global maximal-refinement theorem | Paper II §5 | II |
| Hub pattern | Sparse ten-edge graph with unique degree-five hub S6; the graph is not a star | Paper II §3.4 | II, III |
| S1 isolation | Machine-zero off-diagonal direct transport in the canonical audit; exact |
Paper II §4 | II |
| Generator-family comparison | Extended computational census retained in CCS; not part of the Paper II theorem spine | CCS Part II | CCS only |
| Generator transport block from source |
Paper II §3.1 | II, III | |
| $\sum_{\beta\ne\alpha}|T_{\beta\alpha}(g)|F^2=\frac12|[\rho(g),Q\alpha]|_F^2$ | Off-diagonal transport--non-invariance identity | Paper II Prop. 3.5 | II, III |
The independent Paper III defines its support graph, projected composition operators, image--kernel obstruction, local promotion criteria, and Rubik matrix certificate in its own manuscript. The CCS does not define, number, or certify that theorem spine.
| Symbol | Concept | First Defined | Used In |
|---|---|---|---|
| S₃ nat$\oplus$reg (9-dim) | Archived first-version sector-invariance control; not matrix-composition evidence | excluded source provenance | provenance only |
| S₃ reg$\oplus$reg (12-dim) | Archived first-version sector-invariance control; not matrix-composition evidence | excluded source provenance | provenance only |
| N=2 pocket cube (72-dim) | Archived first-version graph/kappa control; not matrix-composition evidence | CCS legacy control | provenance only |
| Archived S1–S6 summaries | First-version empirical summaries; current status is determined item by item | CCS legacy §II.5 | archive only |
| Cross-paper comparison path | Spectral sectors → direct support graph → projected composition audit | Independent Papers I--III | comparison only |
| Canonical layer keys |
|
CCS Part 0.5 | I, II, III |
| $m = | S | /2$ | Effective generator count |
| Face-symmetric / symmetry-broken | Generator family classification | Paper I §7.4 | I, II |
| Registered arithmetic contrast | Historical generator-family scans with values numerically recognized in |
CCS Part II | archive only |
| Term | Definition |
|---|---|
| QT/HT joint-spectral sector | One of the nine numerical joint-spectral clusters registered from the declared QT/HT averages. Under exact commuting-Hermitian registration, these become the joint spectral subspaces associated with primitive spectral idempotents of the generated commutative algebra. |
| hybrid sector | A QT/HT joint-spectral sector whose projector has nonzero support on more than one block. There are 6 hybrid sectors: S1 (cp+ep), S3 (ep+eo), S4 (ep+co), S6 (ep+eo), S7 (cp+ep+co+eo), S9 (cp+co). S7 is the unique all-block hybrid spanning all four blocks. |
| transport-active | A sector pair |
| registered QH sectorization | The nine-sector numerical decomposition obtained from the declared QT/HT pair. Exact commutation is a hypothesis for the corresponding algebraic joint-resolution statement. It is not a full-$G$ commutant decomposition. |
Geometric & move conventions (coordinate system, cubie ordering, generator encoding, action direction, block decomposition, numerical tolerances) are maintained in docs/conventions.md.
Part 0.5 — Registered API Surface
Purpose. Record the current mapping between mathematical notation, computational interfaces, and archived numerical outputs. This section answers which implementation produced a value; it does not make that implementation a mathematical definition.
Scope. Functions listed here are the registered v2 implementation entry points. Alternative implementations may be used when their conventions, parameters, and comparison residuals are declared.
Dependencies. rime.cubieoperator.CubieSpectralOperator (primary), rime.cubie.CubieMove (generator enumeration), rime.spectral_utils (S₃ negative controls, joint diagonalization helpers).
Outputs. All numerical values in CCS Parts I–II are produced by the functions listed below.
This part records the current paper-to-code mapping; executable scripts and structured artifacts remain the computational certificate layer.
| Mathematical object | Canonical API | Returns | Stability |
|---|---|---|---|
| Layer eigenvalues | CubieSpectralOperator().layer_keys |
list[float] — 6 canonical λ, descending (property, not method) |
A |
| Layer dimension | .layer_dimension(lam) |
int |
A |
| Layer projector | .layer_projector(lam) |
ndarray (228×228) |
A |
| Closest layer | .closest_layer(lam) |
float — canonical λ key |
A |
| Sector decomposition | .center_decomposition() |
dict with n_sectors, projectors, sectors |
A |
| A_18 operator | .A (property) |
ndarray (228×228) |
A |
| Mathematical object | Canonical API | Returns | Stability |
|---|---|---|---|
| Direct-support matrix plus legacy arrays | .transport_kappa(projectors, compute_kappa1=True) |
tuple[K, kappa0, kappa1]; only |
B/C |
| First-version κ array at depth d | .kappa_depth(d) |
archived principal-log diagnostic; not current exact Lie depth | C |
| Principal-log registration | .compute_lie_generators() |
list[ndarray] — 18 numerically skew-Hermitian matrices for the declared branch |
B/C |
| ρ(g) matrices | .rho_matrices() |
list[ndarray] — 18 unitary representation matrices |
A |
| Mathematical object | Canonical API | Returns | Stability |
|---|---|---|---|
| Ambient commutant candidate | .full_commutant_combinatorial() |
numerical/combinatorial candidate basis of dimension 610; exact certificate still required | C |
| Compressed spectral-layer commutants | .commutant_algebra() |
withdrawn layerwise interpretation; archive compatibility only | C |
| Block projectors | BLOCK_RANGES (in rime.cubie) |
block index slices | A |
| QT/HT per-axis ops | .build_per_axis_ops() |
QT⁰,QT¹,QT², HT⁰,HT¹,HT² | A |
| Mathematical object | Canonical API | Returns | Stability |
|---|---|---|---|
| S₃ representations | rime.spectral_utils.build_s3_*_rep() |
ndarray — S₃ irrep matrices |
A |
| Joint diagonalization | rime.spectral_utils.joint_diag_sectors() |
sector projectors | A |
| Two-step projected product maximum | rime.spectral_utils.max_two_step_composition() |
maximum Frobenius norm and maximizing generator pair | B |
| Graph-only candidate enumeration | rime.spectral_utils.find_graph_only_two_step_pairs() |
endpoint/intermediate triples requiring matrix audit | B |
| First-version T7 detector | rime.spectral_utils.find_t7_pairs() |
archived support-level interpretation; not a morphism certificate | C |
| Mathematical object | Canonical API | Returns | Stability |
|---|---|---|---|
| 18 face-turn generators | CubieMove.prim_moves |
list[CubieMove] |
A |
| Generator weighting | A_18 = (12 QT_all + 6 HT_all) / 18 |
Definitional identity | A |
Legacy stability key: A = invariant under the listed recomputation, permutation, and gauge checks; B = stable with fixed parameters and the declared tolerance sweep; C = exploratory or withdrawn. These tags describe the archived implementation record and are not the current four-level paper claim status.
Implementation boundary. The listed APIs are the registered implementation paths used to generate this archive. Alternative implementations are allowed when they declare conventions, parameters, tolerances, and comparison residuals. The independent papers and their claim-specific executable artifacts, not this API table, control current claims and certificates.
Part I — Core Numerical Structures
Purpose. Register the numerical objects used by Papers I--II. These data do not replace paper-level proofs and do not govern revised Paper III.
Scope. Operators, eigenspaces, sectors, projectors at 6-layer (
Dependencies. The Rubik's cube representation construction (rime/cubie.py, rime/cubieoperator.py).
Outputs. All objects and numerical values referenced by Parts II–III and the papers.
CCS Fig. C0 omitted. The first-version combined pipeline is not part of the current reproducibility compendium.
The Rubik's cube group acts on a 228-dimensional complex vector space with four G-invariant blocks:
Table C1 — Block Decomposition.
| Block | Dim | Content | Algebra |
|---|---|---|---|
| CP | 64 | Corner permutation | Q₃ Hamming scheme H(3,2), Bose-Mesner algebra ≅ Hecke H(S₂≀S₃, S₃) |
| EP | 144 | Edge permutation | Face-incidence adjacency JJᵀ, noncommutative core |
| CO | 8 | Corner orientation ( |
Abelian phase structure |
| EO | 12 | Edge orientation ( |
Abelian phase structure |
Block order throughout: CP → EP → CO → EO.
For the canonical 18 face-turn generators (
where $\mathrm{QT}{\mathrm{all}} = \sum{a \in {x,y,z}} \mathrm{QT}^a$, $\mathrm{HT}{\mathrm{all}} = \sum{a \in {x,y,z}} \mathrm{HT}^a$, and
In the declared complex128 realization, the QT/HT averages are registered as numerically commuting. Conditional on exact commutation, the corresponding commutative algebra is
The nine sectors in §1.4 are numerical joint-spectral clusters. Conditional on exact registration, the six displayed layers are the collision quotient obtained by the linear projection
The declared computation registers six eigenspaces of
Table C2 — Six Canonical Layers.
| Label | Block composition | Layer | |||
|---|---|---|---|---|---|
| 0 | 1 | 20 | cp(8) + ep(12) | A | |
| 1 | 8/9 | 2 | eo(2) | A | |
| 2 | 7/9 | 39 | ep(36) + eo(3) | A | |
| 3 | 2/3 | 26 | ep(24) + co(2) | A | |
| 4 | 5/9 | 106 | cp(24) + ep(72) + co(3) + eo(7) | A | |
| 6 | 1/3 | 35 | cp(32) + co(3) | A |
Canonical layer keys:
These nine numerical clusters are produced by the declared QT/HT joint
diagonalization and registration policy. For commuting Hermitian QT/HT
operators, the corresponding projectors are primitive spectral idempotents of
the generated commutative algebra. This does not assert a finest orthogonal
sectorization in all of
Table C3 — Nine QT/HT Joint-Spectral Sectors.
| Sector | Block support | Layer | Role | |||||
|---|---|---|---|---|---|---|---|---|
| S1 | 20 | 0 | 1 | 1 | 1 | cp(8)+ep(12) | ISOLATED | |
| S2 | 2 | 1 | 8/9 | 5/6 | 1 | eo(2) | Connective | |
| S3 | 39 | 2 | 7/9 | 5/6 | 2/3 | ep(36)+eo(3) | Metastable | |
| S4 | 26 | 3 | 2/3 | 1/2 | 1 | ep(24)+co(2) | Intermediate | |
| S5 | 1 | 4 | 5/9 | 1/3 | 1 | eo(1) | Tiny EO | |
| S6 | 39 | 4 | 5/9 | 1/2 | 2/3 | ep(36)+eo(3) | PRIMARY HUB | |
| S7 | 66 | 4 | 5/9 | 2/3 | 1/3 | cp(24)+ep(36)+co(3)+eo(3) | Secondary hub | |
| S8 | 8 | 6 | 1/3 | 0 | 1 | cp(8) | Pure CP | |
| S9 | 27 | 6 | 1/3 | 1/3 | 1/3 | cp(24)+co(3) | CP+CO |
Sector ordering: CCS canonical — sort by
This section preserves the finite block reductions and orientation-block audits behind the registered census. The cp and ep reductions are exact combinatorial calculations. The co and eo sections retain their explicit numerical inputs. Paper I, rather than this archive, owns the block-union theorem and its proof.
The 8 corner positions are the vertices of a 3-dimensional hypercube
where
Define the position transition sum
where
- A corner is fixed by the 3 faces not incident to it:
$3 \times 3 = 9$ (diagonal) - Adjacent corners (Hamming distance 1) share 2 faces, each contributing a quarter-turn sending one to the other: 2
- Face-diagonal corners (Hamming distance 2) share 1 face, with the 180° turn providing the transition: 1
- Cube-diagonal corners (Hamming distance 3) share no face: 0
The eigenfunctions of
Hence
The Bose–Mesner algebra of
The 12 edge positions and 6 faces define a
The edge-permutation representation factors as:
For the 18-full family, every move on face
(The term
The nonzero eigenvalues of
The opposite-face permutation
Projecting back to the 12-dimensional edge space adds a 6-dimensional nullspace:
With
The matrix
The corner-orientation block is the only block where generator matrix entries
live in
Computational Proposition (registered CO spectrum). Let
-
The permutation representation of the cube symmetry group
$O$ on the 8 corners decomposes as$\chi_{\mathrm{corners}} = A_1 \oplus A_2 \oplus T_1 \oplus T_2$ (irrep dimensions$1 + 1 + 3 + 3 = 8$ ). -
By Schur's lemma,
$A_{\mathrm{co}}$ acts as a scalar on each irreducible$O$ -submodule:$$A_{\mathrm{co}} = \lambda_{A_1} P_{A_1} + \lambda_{A_2} P_{A_2} + \lambda_{T_1} P_{T_1} + \lambda_{T_2} P_{T_2}$$ -
The spectrum is:
$$\operatorname{Spec}(A_{\mathrm{co}}) = {\tfrac{2}{3}, \tfrac{2}{3}, \tfrac{5}{9}^{(3)}, \tfrac{1}{3}^{(3)}}, \qquad \mathcal{K}_{\mathrm{co}} = {3, 4, 6}, \qquad (d_3, d_4, d_6) = (2, 3, 3)$$
Audit sketch.
Diagonal & trace. Tr$(\rho_{\mathrm{co}}(g)) = 4$ for all 18 generators: each face turn fixes the 4 corners on the opposite face (no orientation change →
O_h invariance. The set of 18 face-turn generators is closed under cube symmetries. Therefore
Adjacency structure. Work with
| Class | Shared faces | Pairs per corner | Count | |
|---|---|---|---|---|
| Edge-adjacent | 2 | 2 |
|
8 |
| Face-opposite | 1 | 4 | 16 | |
| Body-opposite | 0 | 1 | 4 |
Total:
Row sum → $A_1$ eigenvalue. The row sum of
$M_{\mathrm{co}}$ spectrum. Diagonalizing the Hermitian,
Converting to
Accidental $A_1/A_2$ degeneracy. The multiplicity-2 eigenvalue at
Irrep assignment. The eigenvalue-multiplicity pattern
| mult |
|
||
|---|---|---|---|
| 3 | 2 | ||
| 4 | 3 |
|
|
| 6 | 3 | the other |
(The isotypic assignment of the two 3-dimensional
Trace consistency.
Local arithmetic identity. The complete-face phase sum satisfies
Status. Computational proposition. The symmetry decomposition and trace
identities are exact local ingredients; the accidental
The edge-orientation block carries a
Observed spectrum (18-full).
Diagonal & trace. Tr$(\rho_{\mathrm{eo}}(g)) = 8$ for all 18 generators (each face turn fixes 8 edges: 4 on the opposite face + 4 equatorial). Hence Tr$(A_{\mathrm{eo}}) = 8$ and
Off-diagonal structure. All off-diagonal entries are purely real (
Two edge classes. Two distinct edge types emerge from the row sums of
| Class | Count | Row sum | Positive couplings | Negative couplings |
|---|---|---|---|---|
| Type A | 4 edges | 6 | 0 | |
| Type B | 8 edges | 4 | 2 |
The 4 Type A edges correspond to the 4 space diagonals of the cube; the 8 Type B edges are the remaining edges. This two-class split is
Why this is NOT a theorem. The obstruction is the
A complete analytic proof would require: edge incidence algebra on the signed line graph of the cube, Hecke-type structure encoding the Z₂ orientation representation, and multiplicity-algebra machinery to resolve the
Generator-family scope. The registered k-set
Historical computational observation. This table preserves a first-version family scan. Its rational and quadratic labels are numerical recognitions, not exact spectral-field certificates. Every family must be recomputed and supplied with an exact characteristic or minimal polynomial before its field label can be promoted.
Table C4 — Block Spectra Across Generator Families.
| Family | #layers | ||||||
|---|---|---|---|---|---|---|---|
| 18-full | 9 | 6 | |||||
| 12-quarter | 6 | 6 | |||||
| 6-half | 3 | 3 | |||||
| 10-partial | 5 | 5 | |||||
| 21-full+slice | 10.5 | 6† |
† For 21-full+slice,
Key structural observations:
-
Block profiles determine k. Each admissible k-value corresponds to a specific combination of active blocks. The block profile is a sharper invariant than the k-value itself: the same k can appear in different families with different block profiles (e.g.,
$k=2$ in 18-full is ep+eo, while$k=2$ in 12-quarter is cp+ep+eo). -
The co block is the decisive arithmetic filter. Within this archived family census, it is the only block whose generator matrix entries lie in
$\mathbb{Z}[\omega]$ rather than$\mathbb{Z}$ . An eigenspace can have$d_{\mathrm{co}}>0$ only for specific k-values where the$\omega$ -phase cancellation across complete faces yields integer per-face trace sums. -
The number of layers is
$|\mathcal{K}(A)|$ , not$m+1$ . The 6 layers in the 18-full case is not a fundamental constant — it is the size of the admissible k-set for this specific generator family. -
Forbidden k-values are those for which no block-dimension assignment satisfies all integrality constraints (see §7.2 for the full Diophantine system C1–C5).
The declared block computations register repeated eigenvalues across the four physical blocks. Grouping equal displayed values gives the following six global layers. This is a blockwise census, not a claim that a fixed number of primitive idempotents is canonically present across all four block algebras.
Full resonance merging table (18-full,
Table C5 — Registered Blockwise Union.
| Global |
cp |
ep |
co |
eo |
Blocks merged | ||
|---|---|---|---|---|---|---|---|
| 0 | 20 | 0 (8) | 0 (12) | — | — | cp + ep | |
| 1 | 2 | — | — | — | 1 (2) | eo only | |
| 2 | 39 | — | 2 (36) | — | 2 (3) | ep + eo | |
| 3 | 26 | — | 3 (24) | 3 (2) | — | ep + co | |
| 4 | 106 | 4 (24) | 4 (72) | 4 (3) | 4 (7) | cp + ep + co + eo | |
| 6 | 35 | 6 (32) | — | 6 (3) | — | cp + co |
For any block-diagonal operator, the spectrum is the union of the block spectra. In the declared computation, the six displayed labels are the union of the four registered block spectra.
The historical “10 to 6” rendering is retained in the figure archive but is not used in this release because its primitive-idempotent count was not a stable typed object.
The vacancy at
cp block: The Q₃ hypercube Bose–Mesner algebra has eigenspaces indexed by Hamming weight
-
$|u| = 0$ :$S_8 = 18 \Rightarrow k = 0$ -
$|u| = 1$ :$S_8 = 10 \Rightarrow k = 4$ -
$|u| = 2,3$ :$S_8 = 6 \Rightarrow k = 6$
The Krawtchouk polynomial
ep block: The face-incidence adjacency algebra has eigenvalues of
co block: The $\mathbb{Z}3$ permutation@phase structure yields $\mathcal{K}{\mathrm{co}} = {3, 4, 6}$. The phase cancellation
eo block: The $\mathbb{Z}2$ permutation@phase structure yields $\mathcal{K}{\mathrm{eo}} = {1, 2, 4}$. The
Conclusion. The declared finite census contains no
In the registered census, the
This layer forms the principal resonance locus: four distinct block-level primitive idempotents from four different commuting algebras coincide at this single global eigenvalue. No other layer receives contributions from all four blocks.
The
Part I — Core Numerical Structures (cont.)
These tables register CCS-backed numerical claims in Papers I--II.
This part freezes the numerical invariants cited through the CCS by Papers I--II. Paper III uses its own matrix certificate.
Table C6 — Block Noncommutativity.
| Block | % of total | Character | |
|---|---|---|---|
| CP | 0 | 0% | Registered machine-zero |
| EP | 2.74 | 93.9% | Noncommutative core |
| CO | 0.61 | 21.0% | Weakly noncommutative |
| EO | 0.79 | 27.1% | Weakly noncommutative |
For every axis pair, the total norm is
Figure C14 records block-sector incidence alongside family-level commutator norms. It is a localizer display, not a derivation of the direct-support graph.
Because the canonical generator family is inverse-closed and
Full K matrix (9×9, canonical S1–S9 order, Layer B):
Table C7 — Transport Matrix K (9-Sector).
| S1(20) | S2(2) | S3(39) | S4(26) | S5(1) | S6(39) | S7(66) | S8(8) | S9(27) | |
|---|---|---|---|---|---|---|---|---|---|
| S1(20) | 4.47 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| S2(2) | 0 | 1.41 | 0 | 0 | 0.47 | 0.58 | 0 | 0 | 0 |
| S3(39) | 0 | 0 | 5.41 | ~0 | 0 | 2.55 | 3.61 | 0 | 0 |
| S4(26) | 0 | 0 | ~0 | 5.10 | 0 | 3.46 | ~0 | 0 | 1.00 |
| S5(1) | 0 | 0.47 | 0 | 0 | 1.00 | 0.82 | 0 | 0 | 0 |
| S6(39) | 0 | 0.58 | 2.55 | 3.46 | 0.82 | 4.42 | 3.61 | 0 | 0 |
| S7(66) | 0 | 0 | 3.61 | ~0 | 0 | 3.61 | 6.69 | 0 | 4.06 |
| S8(8) | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 2.83 | 2.83 |
| S9(27) | 0 | 0 | 0 | 1.00 | 0 | 0 | 4.06 | 2.83 | 3.24 |
Symmetric to
Direct edges (10 unordered pairs, equivalently 20 directed off-diagonal blocks,
Table C8 — Direct Transport Edges.
| Edge | Shared block | |
|---|---|---|
| S2 ↔ S5 | 0.47 | eo |
| S2 ↔ S6 | 0.58 | eo |
| S3 ↔ S6 | 2.55 | ep, eo |
| S3 ↔ S7 | 3.61 | ep, eo |
| S4 ↔ S6 | 3.46 | ep |
| S4 ↔ S9 | 1.00 | co |
| S5 ↔ S6 | 0.82 | eo |
| S6 ↔ S7 | 3.61 | ep, eo |
| S7 ↔ S9 | 4.06 | cp, co |
| S8 ↔ S9 | 2.83 | cp |
All 10 direct edges are block-preserving (share ≥ 1 block). Zero cross-block direct edges.
Hub degrees:
Table C9 — Hub Degrees.
| Sector | Degree | Connected to |
|---|---|---|
| S1 | 0 | (none — fully isolated) |
| S2 | 2 | S5, S6 |
| S3 | 2 | S6, S7 |
| S4 | 2 | S6, S9 |
| S5 | 2 | S2, S6 |
| S6 | 5 | S2, S3, S4, S5, S7 |
| S7 | 3 | S3, S6, S9 |
| S8 | 1 | S9 |
| S9 | 3 | S4, S7, S8 |
S6 is the unique degree-five hub, while S7 and S9 have degree three. S1 remains
fully isolated (
Table C15 — Block-Support Transport. $\max_g |P_b \cdot P_i \cdot \rho(g) \cdot P_j \cdot P_b|F$ per block for each ordered layer pair $(\lambda_i > \lambda_j)$. Only nonzero entries ($\tau > 10^{-8}$) shown. Sorted by block (CP→EP→CO→EO), then descending $\tau{\max}$.
| Block | From ( |
To ( |
|
|---|---|---|---|
| CP | 0.555556 ( |
0.333333 ( |
4.0000 |
| EP | 0.777778 ( |
0.555556 ( |
4.2426 |
| EP | 0.666667 ( |
0.555556 ( |
3.4641 |
| CO | 0.666667 ( |
0.333333 ( |
1.0000 |
| CO | 0.555556 ( |
0.333333 ( |
0.7071 |
| EO | 0.888889 ( |
0.555556 ( |
0.7454 |
| EO | 0.777778 ( |
0.555556 ( |
1.2247 |
7 inter-layer channels across 4 blocks. EP carries the strongest channel (4.2426, $V_{7/9} \to V_{5/9}$). CP/CO/EO each carry 1–2 channels at lower strength.
Historical computational observation. The following tables use the first-version principal-log registration and its depth labels. They are retained as finite numerical records only. They do not define the current Paper III composition object, certify exact Lie depth, or establish a graph-to-composition promotion.
Table C10 — Gradient Transport κ₀ (6-Layer).
| ~0 | 0 | ~0 | ~0 | ~0 | ~0 | |
| 0 | 0.52 | ~0 | ~0 | 1.17 | ~0 | |
| ~0 | ~0 | 4.00 | ~0 | 6.94 | ~0 | |
| ~0 | ~0 | ~0 | 5.66 | 5.44 | 1.57 | |
| ~0 | 1.17 | 6.94 | 5.44 | 13.9 | 6.38 | |
| ~0 | ~0 | ~0 | 1.57 | 6.38 | 9.67 |
Symmetric to
Table C11 — Curvature Transport κ₁ (6-Layer).
| ~0 | 0 | ~0 | ~0 | ~0 | ~0 | |
| 0 | 0.50 | 0.71 | ~0 | 1.71 | ~0 | |
| ~0 | 0.71 | 6.29 | 4.27 | 10.9 | ~0 | |
| ~0 | ~0 | 4.27 | 5.45 | 8.32 | 3.26 | |
| ~0 | 1.71 | 10.9 | 8.32 | 17.8 | 14.5 | |
| ~0 | ~0 | ~0 | 3.26 | 14.5 | 22.5 |
Table C12 — Key κ Values (6-Layer).
| Pair | Type | ||
|---|---|---|---|
| ~0 | 4.27 | Pure curvature (largest enhancement ~$10^{14}$) | |
| 5.44 | 8.32 | Gradient + curvature | |
| 6.38 | 14.5 | Gradient + curvature | |
| ~0 | 0.71 | Pure curvature (post-ρ-fix) | |
| 1.17 | 1.71 | Gradient + curvature | |
|
|
~0 | ~0 | Fully isolated |
All pure curvature channels (
The retired first-version visualization remains repository provenance but is not part of the current reading path.
Computed with center_decomposition() → 9 sector projectors.
Table C13 — Gradient Transport κ₀ (9-Sector).
| S1(20) | S2(2) | S3(39) | S4(26) | S5(1) | S6(39) | S7(66) | S8(8) | S9(27) | |
|---|---|---|---|---|---|---|---|---|---|
| S1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| S2 | 0 | 0.52 | 0 | 0 | 0.74 | 0.91 | 0 | 0 | 0 |
| S3 | 0 | 0 | 4.00 | 0 | 0 | 4.00 | 5.66 | 0 | 0 |
| S4 | 0 | ~0 | 0 | 5.66 | ~0 | 5.44 | ~0 | 0 | 1.57 |
| S5 | 0 | 0.74 | 0 | 0 | 1.05 | 1.28 | 0 | 0 | 0 |
| S6 | 0 | 0.91 | 4.00 | 5.44 | 1.28 | 6.01 | 5.66 | 0 | 0 |
| S7 | 0 | 0 | 5.66 | ~0 | 0 | 5.66 | 10.60 | 0 | 6.38 |
| S8 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 4.44 | 4.44 |
| S9 | 0 | ~0 | 0 | 1.57 | ~0 | ~0 | 6.38 | 4.44 | 6.94 |
Max asymmetry:
Table C14 — Curvature Transport κ₁ (9-Sector).
| S1(20) | S2(2) | S3(39) | S4(26) | S5(1) | S6(39) | S7(66) | S8(8) | S9(27) | |
|---|---|---|---|---|---|---|---|---|---|
| S1 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 | 0 |
| S2 | 0 | 0.50 | 0.71 | 0 | 1.01 | 1.18 | 1.01 | 0 | 0 |
| S3 | 0 | 0.71 | 6.29 | 4.27 | 1.01 | 6.29 | 8.90 | 0 | 0 |
| S4 | 0 | ~0 | 4.27 | 5.45 | ~0 | 7.09 | 6.17 | 0 | 3.26 |
| S5 | 0 | 1.01 | 1.01 | 0 | 0 | 1.74 | 1.42 | 0 | 0 |
| S6 | 0 | 1.18 | 6.29 | 7.09 | 1.74 | 7.70 | 8.90 | 0 | 0 |
| S7 | 0 | 1.01 | 8.90 | 6.17 | 1.42 | 8.90 | 10.90 | 6.98 | 14.49 |
| S8 | 0 | 0 | 0 | 0 | 0 | 0 | 6.98 | 0 | 12.09 |
| S9 | 0 | ~0 | ~0 | 3.26 | ~0 | ~0 | 14.49 | 12.09 | 14.63 |
Pure curvature channels (all within-block):
Note on channel count. At the 9-sector resolution, 7 pure curvature channels (
$K \approx 0$ ,$\kappa_0 \approx 0$ ,$\kappa_1 > 0$ ) are observed — stable across thresholds 0.005–0.25. All 7 are within-block; zero cross-block. S7 (multi-block bridge) mediates 5 of 7.
Pure Curvature Channels (9-Sector).
| Pair | Shared block | |
|---|---|---|
| S2 ↔ S3 | 0.71 | eo |
| S2 ↔ S7 | 1.01 | eo |
| S3 ↔ S4 | 4.27 | ep |
| S3 ↔ S5 | 1.01 | eo |
| S4 ↔ S7 | 6.17 | ep, co |
| S5 ↔ S7 | 1.42 | eo |
| S7 ↔ S8 | 6.98 | cp |
For a two-step support path
Nonzero adjacent support blocks do not imply that this product is nonzero.
The registered audit exhausts all
Table C16 — Canonical graph-only composition obstructions.
| Endpoint pair | Support path | Maximum projected product norm |
|---|---|---|
| S2--S4 | S2--S6--S4 | |
| S3--S9 | S3--S7--S9 | |
| S4--S5 | S4--S6--S5 | |
| S4--S8 | S4--S9--S8 | |
| S6--S9 | S6--S7--S9 |
For every row, both adjacent factor maxima are order one, while every tested
projected product is machine-zero. The physical-block decomposition is
preserved by the generator matrices and the QH projectors are block diagonal
to a maximum cross-block residual of
The current certificate is
experiments/paper3/validation/composition_obstruction.py, with regression coverage in
tests/test_transport.py. The historical threshold script at
experiments/paper3/archive/t7_threshold_sensitivity.py concerns only the
support-graph candidate set and cannot certify matrix composition.
Withdrawn interpretation. These labels summarize the first-version
$\kappa_0/\kappa_1$ arrays. They are not the four claim-status levels and are not a current classification of operator or Lie accessibility.
Table C17 — Accessibility Classes.
| Class | Layers | Mechanism |
|---|---|---|
| I (isolated) |
|
|
| II (gradient) |
|
|
| III (curvature) |
|
Table C18 — EP Algebra Structure.
| Property | Value |
|---|---|
| 20 | |
| Algebraic closure | Degree 3 |
| 8-dim | |
| Simple components | 8 (4 × |
| Representation multiplicities | 12 on every registered simple component |
The semisimplicity certificate does not use nondegeneracy of a Frobenius Gram matrix. The three declared generators are Hermitian, and the computational audit checks identity-in-algebra, multiplication closure, and adjoint closure. The registered object is therefore a finite-dimensional complex unital $$-algebra; semisimplicity then follows from the finite-dimensional $C^$-algebra theorem. The Gram matrix remains only a basis-independence and conditioning diagnostic.
The four
Table C19 — Commutant Dimensions.
| Object | Dimension | Status |
|---|---|---|
| 804 | Exact from the six spectral multiplicities | |
| 610 | Candidate computation; exact certificate required before promotion | |
| Former difference |
194 | Arithmetic difference only; not a current structural invariant |
The following first-version table records centralizers of compressed numerical
matrices. Because the five nontrivial
Table C20 — Per-Layer Commutant Dimensions.
| Archived compressed-centralizer output | ||
|---|---|---|
| 1 | 20 | 400 |
| 8/9 | 2 | 1 |
| 7/9 | 39 | 145 |
| 2/3 | 26 | 145 |
| 5/9 | 106 | 210 |
| 1/3 | 35 | 65 |
CCS Fig. C4 withdrawn. It combined the candidate ambient commutant dimension with invalid layerwise group-commutant bars.
Table C22 — Fundamental Identities.
| Identity | Verification |
|---|---|
| $A_{18} = (12\mathrm{QT}{\mathrm{all}} + 6\mathrm{HT}{\mathrm{all}})/18$ | Machine precision |
| Per axis | |
| 15 random products, all blocks | |
| Historical principal-log registration check | |
| $\max | \kappa_{ij} - \kappa_{ji} |
Scope boundary. These finite controls show numerically that invariant sector projectors have diagonal direct transport. They are not matrix-composition evidence for the independent Paper III.
S₃ prototype declaration. Unless explicitly stated otherwise within the S₃ prototype sections, the S₃ sector decompositions are defined with respect to the transport-generated commutative algebra
Current diagnostic. In both S₃ controls, all declared sector projectors commute numerically with the tested action (maximum residual approximately
S₃ nat(3) ⊕ reg(6) — 9-dim. Under the declared joint spectral algebra: 3 sectors (2 hybrid, 1 pure-reg), all cross-sector
S₃ reg(6) ⊕ reg(6) — 12-dim. Under the declared joint spectral algebra: 3 hybrid sectors and zero off-diagonal direct transport.
The full first-version tables remain in excluded source provenance rather than the release PDF.
CCS Fig. C7 withdrawn. Its sector-invariance data remain provenance, but the C0/T7 comparison is not part of the revised theorem spine.
Part II — Structural Consequences
Scope. This part preserves finite perturbation and generator-family studies that remain useful as computational observations or research-history records. It does not modify the current records in Part I, certify a universality class, or supply theorem premises for Papers I--III.
Computational observation. This first-version experiment records a fixed set of finite flows and perturbations. Terms such as
frozen'',drift'', and ``mixing'' are diagnostic labels for the displayed arrays, not a general dynamical-stability theorem.
Purpose. This section records the behavior of the declared spectral projectors and first-version transport diagnostics under several explicitly chosen continuous unitary evolutions.
Dependencies. CubieSpectralOperator, scipy.linalg.expm, build_per_axis_ops, compute_lie_generators, transport_kappa.
Outputs. Projector deviation tables (§II.1.1), transport persistence tables (§II.1.2), resonance robustness tables (§II.1.3).
Setup. Let {P_i(0)} be the spectral projectors onto the 6 canonical A_18-eigenspaces (V₁, V₈/₉, V₇/₉, V₂/₃, V₅/₉, V₁/₃). Evolve under e^{−itH} for five Hamiltonians H, with P_i(t) = e^{−itH} P_i(0) e^{+itH}. Measure Frobenius norm of projector deviation.
Result. Three stability classes emerge:
| H | t=0.01 | t=0.1 | t=0.5 | t=1.0 | Class |
|---|---|---|---|---|---|
| A_18 | 0.0000 | 0.0000 | 0.0000 | 0.0000 | Frozen — projectors are exact stationary states of A_18 |
| QT_all | 0.0000 | 0.0000 | 0.0000 | 0.0000 | Registered frozen — machine-zero commutator in this realization |
| HT_all | 0.0000 | 0.0000 | 0.0000 | 0.0000 | Registered frozen — machine-zero commutator in this realization |
| A_g(R) | 0.0200 | 0.2431 | 4.2012 | 89.8430 | Exponential drift — Lie generator is maximally non-conserving |
| random | 0.2133 | 1.6928 | 1.9857 | 1.9819 | Saturating mixing — fully scrambled by t≈0.1, saturates near ‖P_i‖ |
Interpretation.
- < 10⁻⁶: frozen (projector invariant under flow)
- < 10⁻³: rigid (minor numerical deformation)
- < 10⁻¹: drifting (spectral content shifting)
- > 10⁻¹: mixing (layers lose identity)
Registered mechanism. Evolution generated by
Per-layer differential stability. Under A_g(R) at t=0.1:
- V₁ (dim=20): 0.0000 — numerically frozen in this registered flow audit
- V₈/₉ (dim=2): 0.2431 — begins to drift
- V₇/₉ (dim=39): 0.6433 — moderate drift
- V₂/₃ (dim=26): 1.8360 — rapid mixing (most fragile layer)
- V₅/₉ (dim=106): 2.4891 — rapid mixing (large target space amplifies drift)
- V₁/₃ (dim=35): 2.6580 — maximally unstable
The five nontrivial layers exhibit order-one drift in this numerical
experiment, whereas
Setup. Evolve the 9 QT/HT joint-spectral sector projectors under
Result. Transport is structurally invariant under A_18 flow:
| t | K edges | κ₀ edges | κ₁ edges | graph-only candidates | max|K(t)−K(0)| |
|---|---|---|---|---|---|
| 0 | 20 | 26 | 37 | 5 | 0 |
| 0.05 | 20 | 26 | 37 | 5 | 1.33×10⁻¹⁵ |
| 0.1 | 20 | 26 | 37 | 5 | 1.78×10⁻¹⁵ |
| 0.5 | 20 | 26 | 37 | 5 | 8.88×10⁻¹⁶ |
The recorded direct-edge and graph-only candidate counts are invariant under this commuting flow. This does not establish persistence of a nonzero projected composition.
Mechanism. [A_18, P_i] = 0 for all i, so P_i(t) = e^{−itA_18} P_i e^{+itA_18} = P_i exactly. The transport norm K_αβ is therefore identically invariant under the dynamics generated by its own averaging operator.
Setup. The λ = 5/9 eigenspace (dim=106) is the largest layer and the central hub of the transport topology. Test its stability under additive perturbation: A_ε = A_18 + ε·R, where R is a random symmetric matrix with ‖R‖ = 1, drawn once and fixed (seed=42). Track the 5/9 eigenvalue and neighboring eigenvalues for ε ∈ {10⁻⁶, 10⁻⁵, 10⁻⁴, 10⁻³, 10⁻²}.
Result. The 5/9 resonance is robust:
| ε | eigenvalues near 5/9 | spread | status |
|---|---|---|---|
| 0 | 1 (exact 5/9) | — | isolated |
| 10⁻⁶ | 0 | 6.59×10⁻⁷ | infinitesimal splitting only |
| 10⁻⁵ | 0 | < 10⁻¹⁰ | fully stable |
| 10⁻⁴ | 0 | < 10⁻¹⁰ | fully stable |
| 10⁻³ | 0 | < 10⁻¹⁰ | fully stable |
| 10⁻² | 0 | < 10⁻¹⁰ | fully stable |
Interpretation. In the canonical six-layer spectrum, the nearest distinct
eigenvalue to
| Object | Under e^{−itA_18} | Under e^{−itA_g} | Under random H |
|---|---|---|---|
| P_i(t) | Frozen (exact) | Exponential drift | Saturating mix |
| K_αβ(t) | Invariant (exact) | — | — |
| graph-only candidate count | Invariant | — | — |
| λ=5/9 gap | Robust (Δλ=0.44) | — | — |
The table records exact stationarity under the self-generated
Purpose. Compare adjacent objects used by the independent papers: $$ \rho(g)\to\mathcal B_{\mathrm{QH}}\to{Q_\alpha} \to K^S\to\Gamma_S \to{Q_i\rho(g_2)Q_k\rho(g_1)Q_j}. $$ This display is a navigation path through related data types, not a theorem dependency or a single accessibility filtration. Each paper defines its own objects and hypotheses. The archive only records finite consistency checks between the corresponding Rubik realizations.
Dependencies. The declared Rubik representation, QH sector projectors, direct-support matrix, and physical-block decomposition.
Outputs. Current invariant table, sector non-invariance audit, and graph/operator composition-obstruction table.
The three layers below are maintained independently. Agreement of dimensions, labels, or arrays does not promote a conclusion from one layer to the next.
Layer 1 — Paper I: Averaging-operator spectrum.
The registered Rubik realization has six
Layer 2 — Paper II: Direct transport. Nine numerically registered QH joint-spectral sectors, followed by a direct block-support audit. The exact commutative-algebra interpretation is conditional on exact commuting-Hermitian registration. Extended data: CCS Table C3, CCS §1.4, and the current direct-support heatmap in §2.2.
Layer 3 — Paper III: Projected composition.
The direct support graph is compared with the projected products
This three-layer comparison is not closed by graph data alone. Paper III supplies the missing projected-composition test: adjacent nonzero blocks must have compatible image--kernel geometry. In the five canonical paths this compatibility fails, so the support graph strictly overapproximates the tested two-step composition graph.
The values below are a consistency snapshot for the declared repository realizations. Papers I--III do not cite this table as authority; their current manuscripts and claim-specific artifacts control their reported values.
| Quantity | Value | Defined in |
|---|---|---|
| Total dimension | 228 | §1.1, Table C1 |
| 6 eigenvalues ( |
1, 8/9, 7/9, 2/3, 5/9, 1/3 | §1.3, Table C2 |
| Block dimensions | cp=64, ep=144, co=8, eo=12 | §1.1, Table C1 |
| 9 QT/HT joint-spectral sectors | S1–S9 (Table C3 ordering) | §1.4, Table C3 |
|
|
|
§1.3–§1.4 |
| 2.74 (93.9% of total) | §2.1 | |
| dim=20 | §2.8 | |
| 804 | §2.8 | |
| candidate |
610 (exact certificate open) | §2.8 |
| former commutant-gap interpretation | withdrawn | §2.8--§2.9 |
| Direct transport edges | 10 (undirected, block-preserving) | §2.2, Table C8 |
| Primary hub | S6 (deg=5) | §2.2 |
| graph-only two-step obstruction witnesses | 5 | §2.5, Table C16 |
| maximum projected product norm among them | §2.5, Table C16 |
The archived S3 controls have numerically invariant declared projectors and
diagonal direct
The archived pocket-cube computation is a first-version graph/kappa control, not current matrix-composition evidence.
Paper IV comparison. The archive records the nine QT/HT joint-spectral
sectors and the registered
Paper V comparison. Paper III proves that support-graph reachability need not
survive projected matrix composition. This motivates, but does not prove, the
later minimal-data problem for general sectorized observable frameworks:
$$
R_1(i,j;g)=1 \iff Q_iX_gQ_j\ne0,
\qquad
R_2(i,j;g,h)=1 \iff Q_i[X_g,X_h]Q_j\ne0.
$$
The CCS does not define or certify Paper V's typed word, commutator, or Lie
objects. In particular, it makes no claim that
Computational observation. This finite census compares four declared generator families. It does not establish a universality class or an exact arithmetic-field classification.
Purpose. This census compares how registered spectral and direct-support quantities change across four explicitly declared face-turn families.
Dependencies. CubieSpectralOperator.from_gens_dict, center_decomposition, transport_graph,
build_per_axis_ops, full_commutant_combinatorial.
Outputs. Four-family numerical comparison table and candidate regularities.
| Family | |S| | Description |
|---|---|---|
| 18-full | 18 | All face turns: {R,R',R2, U,U',U2, F,F',F2, L,L',L2, D,D',D2, B,B',B2} |
| 12-quarter | 12 | Quarter-turns only: {R,R', U,U', F,F', L,L', D,D', B,B'} |
| 6-half | 6 | Half-turns only: {R2, U2, F2, L2, D2, B2} |
| 9-face-pos | 9 | Single-side subset: {F/B/R/U faces only, axis side = +1, quarter-turns + half-turns} (legacy label: "12-face") |
Note: The "9-face-pos" family is the specific 9-generator subset historically labelled "12-face" in earlier CCS revisions. The numeric prefix matches the actual generator count; the legacy label is retained in cross-references where otherwise noted. Exact composition: F/B/R/U faces, axis side = +1, quarter-turns
- half-turns, 9 generators.
| Invariant | 18-full | 12-quarter | 6-half | 9-face-pos | Stable? |
|---|---|---|---|---|---|
| Layer count | 6 | 6 | 3 | 18 | NO |
| Rational spectrum | True | True | True | False | NO |
| Layer dimensions | see below | see below | see below | see below | NO |
| Σ dim = 228 | True | True | True | True | YES |
| Directed off-diagonal blocks | 20 | 20 | 20 | — | Observed equal |
| Canonical graph form | Sparse, non-star | Not classified here | Not classified here | — | Not assessed |
| Cross-block K | 0 | 0 | 0 | — | YES |
| Legacy algebra-dimension diagnostic | 2 | 2 | 2 | 2 | Historical only |
| ‖[QT⁰,QT¹]‖ | 2.915 | N/A | N/A | 7.591 | NO |
| EP fraction | 93.9% | N/A | N/A | 72.2% | NO |
| EP block dim | 144 | 144 | 144 | 144 | YES |
| k=5 vacancy | True | True | N/A | N/A | YES (where applicable) |
Layer dimensions per family:
| Family | Layers | Dimensions |
|---|---|---|
| 18-full | 6 | [20, 2, 39, 26, 106, 35] |
| 12-quarter | 6 | [20, 41, 66, 65, 28, 8] |
| 6-half | 3 | [57, 78, 93] |
| 9-face-pos | 18 | [68, 2, 1, …] |
Representation-determined records:
- Total dimension = 228 — the group representation is the same object regardless of generator subset.
-
EP block dimension = 144 — the block structure of
$\rho$ is generator-independent. -
Cross-block K = 0 — direct blocks between disjoint physical carrier
blocks vanish because every
$\rho(g)$ and every declared sector projector is block diagonal.
Generator-family-conditioned observations:
- Layer count — varies from 3 (6-half, fully commutative) to 18 (9-face-pos, symmetry-broken). The 18-full and 12-quarter both yield 6 layers — quarter-turn completeness across all faces is the minimal condition for full spectral resolution.
- Rational spectrum — requires face-symmetric generator sets. Breaking face symmetry (9-face-pos) introduces irrational eigenvalues. The half-turn family preserves rationality but collapses the spectrum to 3 layers.
- Noncommutativity magnitude — 9-face-pos has ‖[QT⁰,QT¹]‖ = 7.59 vs 2.91 for 18-full. EP fraction drops from 93.9% to 72.2% — noncommutativity distributes more evenly across blocks.
This section studies four generator families at fixed points. Section II.4
records a larger finite coverage sequence and numerical recognition against
- Archived source:
experiments/paper3/archive/persistence_bridge.py, Phase B - Method: Build
CubieSpectralOperator.from_gens_dict(gens)for each family, callcenter_decomposition(),transport_graph(),build_per_axis_ops(),full_commutant_combinatorial(). - QT⁰/QT¹ noncommutativity only computable when both quarter-turn and half-turn axes are present (requires axis-0 QT0/QT1 decomposition); N/A for families without half-turns or without both axis directions.
- Commutant computed via index-pair orbit decomposition (BFS on (i,j) → (π_g(i), π_g(j))).
- All computations use TOL = 10⁻¹⁰, seed = 42.
Computational observation. The displayed fields are numerical recognitions against explicit candidate expressions. This archive does not provide exact characteristic or minimal-polynomial certificates for every family and does not claim a mathematical phase transition.
Purpose. Record spectral changes along one declared sequence of generator subsets as the number of retained face turns decreases.
Dependencies. CubieSpectralOperator.lite, helpers.is_rational_form, helpers.is_in_qsqrt5, BLOCK_RANGES.
Outputs. Generator coverage continuum table, eigenvalue bifurcation track, phase boundary characterization, block-level irrationality localization, transport topology deformation.
Construction. Start with all 18 generators. Remove generators in pairs (face + anti-face to preserve algebraic balance), stepping: 18 → 16 → 12 → 10 → 8 → 6
| Family | |S| | Layers | All Q? | Field | 5/9 dim | 2/3 dim | Notes |
|---|---|---|---|---|---|---|---|
| n=18 | 18 | 6 | True | Q | 106 | 26 | Canonical, full face-turn group |
| n=16 | 16 | 9 | False | Q(√5) | 26 | 0 | Drop axis-0 (R/L) half-turns |
| n=12 | 12 | 8 | True | Q | 0 | 66 | Quarter-turns only |
| n=10 | 10 | 5 | True | Q | 0 | 0 | Quarter-turns minus axis-2 |
| n=8 | 8 | 7 | False | Q(√5) | 0 | 0 | Axes 0 and 2 only, no half-turns |
| n=6 | 6 | 3 | True | Q | 0 | 78 | Half-turns only |
Registered contrast. Values numerically matching
The corresponding first-version phase-transition visualization is retained only as repository provenance. The table above is the current archive record.
For clarity, the value CubieSpectralOperator(n=16) removes the labelled moves R2 and L2 and has 13
joint sectors with dimensions
Table — Eigenvalue Spectrum per Generator Family.
| Family | |S| | Eigenvalues | Field | Irrational values |
|---|---|---|---|---|
| n=18 | 18 | Q | — | |
| n=16 | 16 | Q(√5) | ||
| n=12 | 12 | Q | — | |
| n=10 | 10 | Q | — | |
| n=8 | 8 | Q(√5) | ||
| n=6 | 6 | Q | — |
Block-level irrationality localization (n=8). Irrational eigenvalues are confined to noncommutative blocks: EP block (primary carrier), EO block (mirrors EP). CP block: all eigenvalues rational (Q₃ Hamming scheme's Krawtchouk eigenvalues are generator-subset-stable). CO block: all eigenvalues rational.
| Family | Sectors | K edges | Hub (deg) | Cross-block K | Topology class |
|---|---|---|---|---|---|
| n=18 | 9 | 20 directed / 10 unordered | S6 (5) | 0 | Sparse, non-star |
| n=16 | 13 | — | — | — | Dense (irrational splitting expands sector count) |
| n=12 | — | — | — | — | Collapsed (degeneracy absorbs 5/9 layer) |
| n=10 | — | — | — | — | Sparse (fewer layers → fewer possible edges) |
| n=8 | 7 | 28 | S6 (5) | 0 | Hyper-connected (irrational intruders create more edges) |
| n=6 | 3 | 3 | S2 (2) | 0 | Minimal (commutative limit, complete graph K₃) |
Observed cross-block persistence. The cross-block transport prohibition (K_αβ = 0 for α,β in disjoint blocks) holds at every n verified. This follows from ρ(g) being block-diagonal — a property of the representation, independent of which generators are selected.
Observed hub recurrence. A degree-five registered hub also appears at the
Observed pattern. The two highlighted values in the broken-face control
are numerically recognized against
- Archived source:
experiments/paper3/archive/persistence_bridge.py, Phase C - Method: For each n = 18, 16, 12, 10, 8, 6, select a generator subset of size n from the 18 face-turn moves, build A = (1/n) Σ ρ(s), diagonalize.
- n=18: full 18 generators
- n=16: all moves except R2 and L2 (axis-0 half-turns)
- n=12: quarter-turns only (direction=±1, all 6 faces)
- n=10: quarter-turns without axis-2 faces (remove F, F', B, B')
- n=8: quarter-turns only, axes 0 and 2 (R,R',L,L',F,F',B,B')
- n=6: half-turns only (direction=2, all 6 faces)
- Irrationality detection:
helpers.is_rational_form(lam, 18)andhelpers.is_in_qsqrt5(lam). - Block-level decomposition: restrict A to block submatrices and diagonalize.
- All computations use TOL = 10⁻¹⁰.
The 2026-07-26 mother source contained a compact invariant hierarchy followed by complete derivation chapters for the former combined-paper narrative. Those chapters remain below in the Markdown source for versioned provenance, but are excluded from the CCS v2.1 PDF. Current theorem statements and proofs belong to the independently maintained Papers I--III; the archive must not duplicate or override them.
\iffalse
Compact invariant hierarchy — which transport/spectral properties survive generator-set variation. Full narrative in (Paper II, §7).
| Level | Determined by | Examples |
|---|---|---|
| G-determined |
|
Commutant dim=2, cross-block |
| Center-determined | Primitive sector count, hub identity | |
| S-conditioned | Generator subset |
Layer count, rationality, eigenvalue values, |
| Block | Algebra | k-set |
|---|---|---|
| cp(64) | Q₃ Hamming |
|
| ep(144) | Face-incidence |
|
| co(8) |
|
|
| eo(12) |
|
The corrected structural consequences are summarized in the current Part 0 map and CCS §2.5. The former Fig. C0 is withdrawn.
The governing distinction. The physical block decomposition belongs to
the ambient representation. The
Current structural sentence.
Direct support is Boolean data; projected composition additionally depends on image--kernel incidence inside each intermediate sector.
The canonical five Rubik paths demonstrate this distinction. Broader M2/curvature and Lie-versus-word claims require separate certificates.
Status. The current register mixes exact identities with finite Rubik computations; each row carries its own status.
-
S1 (Canonical Spectral Census): Computationally verified for the declared 18-generator average.
-
S2 (Transport Locality): Proven for direct transport from the block-diagonal form of
$\rho(g)$ and the QH projectors. -
S3 (Graph/Composition Separation): Computationally verified for the five canonical Rubik paths, with a structural block-composition explanation.
-
S4 (M₂ Overlap Pattern): Computationally verified for the registered EP algebra and Type I edge pattern; no universal sole-carrier theorem is claimed.
-
S5 (S1 Isolation): The registered direct graph isolates S1; its full-action invariance is numerical pending an exact certificate. No claim of uniqueness among all proper
$G$ -subrepresentations is made. -
S6 (Transport--Non-Invariance): Proven for any complete orthogonal sectorization and unitary transport action by the block-matrix identity in Paper II.
The labels S1--S6 are register identifiers, not a uniform theorem numbering system.
| Claim ID | Name | Status-qualified statement |
|---|---|---|
| S1 | Canonical Spectral Census | The declared 18-generator average has six computed layers. |
| S2 | Direct Transport Locality | All direct transport blocks are physical-block preserving. |
| S3 | Graph/Composition Separation | Five support paths have order-one factors and machine-zero products. |
| S4 | M₂ Overlap Pattern | The registered EP components organize the computed Type I incidence; universal extension is open. |
| S5 | S1 Direct Isolation | S1 has no off-diagonal direct edge; exact full-$G$ invariance is uncertified. |
| S6 | Transport--Non-Invariance | Outgoing mass equals one half of the projector-commutator mass. |
Part III — Formal Derivations
Scope. This part mixes current derivations with first-version material. Sections 9.7, 10.1--10.8, and 11 are superseded by the consolidation correction and are retained only as provenance. Current Paper III support is CCS §2.5 together with the revised manuscript and matrix certificate.
Roadmap. §7 contains Paper I derivations subject to the current claim qualifications; §9 contains Paper II material, except the withdrawn §9.7; the first-version §10 and §11 are non-authoritative provenance.
Purpose. Provide the complete proofs, constraint systems, and structural analyses that underlie the spectral origin claims of Paper I. These are the "frozen reality" behind Paper I's narrative — every theorem and structural claim in Paper I §3–§7 is certified by a derivation in this Part.
Scope. Block Reduction Theorem, Diophantine constraint system C1–C5, interference structure and spectral factorization, Lemma 9.1 (Bose–Mesner trace pairing) with full proof, field extension analysis (
Dependencies. Part I (canonical objects), Part 0.5 (canonical API), Paper I §3–§6 (theorems referenced).
Outputs. Complete derivations for every structural claim in Paper I.
This part contains the complete mathematical derivations behind Paper I — the spectral origin story, from block k-sets to partition integrality.
Theorem (Block Reduction of the k-Set). \label{thm:block-reduction-of-the-k-set} Let
$A = \bigoplus_B A_B$ be the block-diagonal decomposition of the averaging operator, where$B \in {\mathrm{cp}, \mathrm{ep}, \mathrm{co}, \mathrm{eo}}$ . For each block, define the block k-set:
$$\mathcal{K}_B = { m(1 - \lambda) : \lambda \in \operatorname{Spec}(A_B) }$$ Then the full k-set is the union:
$$\mathcal{K}(A) = \bigcup_B \mathcal{K}_B$$ Each eigenspace
$E_k$ of the full$A$ is the direct sum of all block-level eigenspaces sharing the same k-value:
$$E_k = \bigoplus_B E_{k,B}, \qquad \dim(E_k) = \sum_B \dim(E_{k,B})$$ Proof. By Theorem 3.4 (Block Compatibility Lemma, Paper I §3),
$A$ is block-diagonal, so any eigenvalue of$A$ is an eigenvalue of at least one$A_B$ . Conversely, any eigenvalue of any$A_B$ is an eigenvalue of$A$ (extend the block-level eigenvector by zeros in other blocks). Therefore$\operatorname{Spec}(A) = \bigcup_B \operatorname{Spec}(A_B)$ . Applying$k = m(1-\lambda)$ gives$\mathcal{K}(A) = \bigcup_B \mathcal{K}_B$ . The eigenspace structure follows from the fact that block-level eigenvectors from different blocks with the same eigenvalue are linearly independent and all lie in$\ker(A - \lambda I)$ .
This is a structural theorem, not a numerical fit. It explains all observed k-sets without free parameters. The block k-sets themselves are determined by the specific representation structure of each block — a problem reduced from 228 dimensions to four independent sub-problems of dimensions 64, 144, 8, and 12.
The Block Reduction Theorem reduces the k-selection problem from 228 dimensions to four independent block-level questions. Which k-values actually appear in each block's spectrum? The answer is governed by a constrained integer feasibility system: a candidate
For each block
The per-k block dimensions must partition each block's total dimension:
Together, C1–C2 are the statement that the eigenspace decomposition respects the block structure.
For each
By the eigenspace trace identity (Paper I, Theorem 3.1), this forces
The corner-orientation block is the only block whose generator matrices carry
Lemma 7.2 (Co-block face-sum integrality). \label{lem:co-block-face-sum-integrality} For a face-complete generator family, the per-face co-block operator
$F_{\mathrm{co}} = \sum_{s \in F} \rho_{\mathrm{co}}(s)$ has diagonal entries in$\mathbb{Z}$ . In particular:
$$\omega^k + \omega^{-k} + \omega^{2k} \in {3, 0} \subset \mathbb{Z}, \qquad k \in {0, 1, 2}$$
where the case analysis is:
Consequently, for face-complete quarter-turn families:
- Any eigenspace of the full
$A$ can have$d_{\mathrm{co}} > 0$ only at the specific k-values where the co-block itself has nonzero support. - This single constraint is the most powerful filter on admissible k-values.
The co-support pattern across all rational families:
| Family | Mechanism | ||
|---|---|---|---|
| 18-full | 9 | quarter-turn face, perm@phase | |
| 12-quarter | 6 | quarter-turn face, perm@phase | |
| 6-half | 3 | half-turn only, no |
|
| 10-partial | 5 | incomplete face coverage | |
| 21-full+slice | 10.5 | slice moves expand m-scale |
The arithmetic origin is always
The cp and ep blocks carry permutation matrix generators over
These traces are automatically integers — permutation matrices count fixed points. The cp/ep blocks therefore provide no further arithmetic obstruction beyond the dimension constraints C1–C2.
For a given generator family, the admissible k-set
| Family | forbidden | notes | ||
|---|---|---|---|---|
| 18-full | 9 | co at |
||
| 12-quarter | 6 | co at |
||
| 6-half | 3 | co at |
||
| 10-partial | 5 | co at |
||
| 21-full+slice | 10.5 | all other |
co at |
How constraints narrow the k-set. C4 is the decisive filter: it restricts co-support to specific k-values, and C1–C2 propagate this restriction across the full 228 dimensions. For the 18-full case with
Master Statement. The Rubik's cube averaging spectrum is completely determined by: the Bose–Mesner algebra of two small graphs (8 and 12 vertices), and two abelian phase constraints over $\mathbb{Z}_2$ and $\mathbb{Z}_3$. All higher-dimensional structure is a tensor lift of these components.
The Rubik's cube is an interference system. Each generator introduces a phase factor (
The full averaging operator factors as a tensor product of independent spectral components:
where:
-
$\mathcal{A}_{Q_3}$ is the Bose–Mesner algebra of the 8-vertex Q₃ hypercube (cp block), -
$\mathcal{A}_{\text{incidence}}$ is the Bose–Mesner algebra of the 12-edge face-incidence graph (ep block), -
$\mathcal{Z}_2, \mathcal{Z}_3$ are the abelian phase algebras of edge and corner orientation.
The 228-dimensional representation is merely the tensor lift of these four low-dimensional structures.
The averaging operator decomposes into two structural types:
Type I (adjacency algebra — cp, ep). The permutation blocks are association schemes. Their spectra are given by the Bose–Mesner algebra of the face-turn adjacency relations on 8 corner labels and 12 edge labels. These determine the position of every spectral layer.
Type II (phase algebra — co, eo). The orientation blocks carry abelian phase representations over
Consequently, the spectrum of
The six layers of the 18-full family
- Q₃ hypercube spectrum
${0,4,6}$ , - Face-incidence spectrum
${0,2,3,4}$ , -
$\mathbb{Z}_3$ phase constraint${3,4,6}$ (the k-values where$\omega$ -phase cancellation is complete), -
$\mathbb{Z}_2$ phase constraint${1,2,4}$ (the k-values where the edge orientation classes contribute).
Lemma 9.1 (Trace integrality via Bose–Mesner algebra). Let
$\mathcal{A} \subset M_n(\mathbb{Q})$ be a Bose–Mesner algebra with integral basis${A_0 = I, A_1, \ldots, A_d}$ (the adjacency matrices of an association scheme) and intersection numbers $p_{ij}^k \in \mathbb{Z}{\ge 0}$. Let $E\lambda = \frac{1}{n} \sum_i q_\lambda(i) A_i$ be a primitive idempotent of$\mathcal{A}$ with rational eigenvalues ($q_\lambda(i) \in \mathbb{Q}$ ). Then for any$M = \sum_j c_j A_j \in \mathcal{A}$ with integer coefficients ($c_j \in \mathbb{Z}$ ):
$$\operatorname{Tr}(E_\lambda M) \in \mathbb{Z}$$ Proof. In a symmetric association scheme,
$A_i^{\top} = A_i$ and$A_i A_j = \sum_k p_{ij}^k A_k$ . The trace pairing satisfies$\operatorname{Tr}(A_i A_j) = p_{ij}^0 \cdot n$ , where$p_{ij}^0$ is nonzero only when$i = j$ , in which case$p_{ii}^0 = v_i$ — the valency of the$i$ -th relation. Hence$\operatorname{Tr}(A_i A_j) = \delta_{ij} v_i n$ . Then:
$$\operatorname{Tr}(E_\lambda M) = \frac{1}{n} \sum_{i,j} q_\lambda(i) c_j \operatorname{Tr}(A_i A_j) = \frac{1}{n} \sum_i q_\lambda(i) c_i \cdot v_i n = \sum_i q_\lambda(i) v_i \cdot c_i$$ The product
$q_\lambda(i) v_i$ is the$(i, \lambda)$ -entry of the eigenmatrix multiplied by the valency — an algebraic integer. For rational eigenvalues ($q_\lambda(i) \in \mathbb{Q}$ ), this forces$q_\lambda(i) v_i \in \mathbb{Z}$ . Since$c_i \in \mathbb{Z}$ by hypothesis, the sum is integer.
Q₃ hypercube (cp block, 8 corners). The adjacency basis
Face-incidence scheme (ep block, 12 edges). The edge-face incidence matrix
In both cases, the tensor factors (
This lemma replaces the computational "denominator divides numerator" argument with a structural statement: the Bose–Mesner algebra has an integral trace pairing, and integrality of eigenspace traces is a theorem, not an observation.
The rational framework operates via complete destructive interference — the Bose–Mesner algebras of Q₃ and the face-incidence graph have rational eigenmatrices, and the
For the
Exact irrational eigenvalues:
Both take the form
Mechanism. This is not a failure of the framework but a confirmation of its boundary: the rational spectral law
Galois stability is insufficient. A critical observation: for
The
This case confirms that the face-symmetric family extends naturally beyond the 18 face turns. The slice moves are pure edge permutations whose character contributions are integers (no
The increase from 5 to 6 spectral layers (relative to an 18-turn subset) reflects the enlarged generator set (
Part III — Formal Derivations (Paper II)
Purpose. Provide the complete structural proofs and algebraic derivations underlying the transport topology claims of Paper II. Every Observation (A–D) and supporting structural claim is certified by a derivation in this Part.
Scope. Transport tensor formalism, Supp_nc derivation and transport-commutator identity, EP algebra structure (M₂ Principle), hub analysis, refinement obstruction, transport mechanism classification (Type I/II), and CP permutation-channel analysis.
Dependencies. Part I (canonical objects, numerical data §§2.1–2.9), Part 0.5 (canonical API), Paper II (Observations A–D, §§4–6).
Outputs. Complete derivations for every structural observation in Paper II.
This part contains the complete mathematical derivations behind Paper II — the transport topology, from Supp_nc to the M₂ Principle.
The transport tensor
where the maximum is over the 18 face-turn generators. The Frobenius norm is used throughout: $|X|F = \sqrt{\sum |x{ij}|^2}$.
Key properties:
-
$K_{\alpha\beta} = K_{\beta\alpha}$ (symmetric to$<10^{-14}$ ), since$\rho(g)^\dagger = \rho(g^{-1})$ and$S = S^{-1}$ . -
$K_{\alpha\alpha} = \sqrt{d_\alpha}$ (self-transport — the projector's own norm weight). -
$K_{\alpha\beta} = 0$ when$\operatorname{Supp}(\alpha) \cap \operatorname{Supp}(\beta) = \emptyset$ (Lemma 0, Paper III §2.6 — isotypic support necessity).
The edge detection threshold is
Definition (Noncommutative Support). \label{def:noncommutative-support} For a QT/HT joint-spectral sector
$\alpha$ with projector$P_\alpha$ , its noncommutative support is:
$$\operatorname{Supp}_{\mathrm{nc}}(\alpha) = {b \in {\mathrm{cp}, \mathrm{ep}, \mathrm{co}, \mathrm{eo}} : P_\alpha|_b \neq 0 \text{ and } |[\mathrm{QT}^0, \mathrm{QT}^1]|_b > 0}$$ where
$\mathrm{QT}^0 = \mathrm{QT}^x$ ,$\mathrm{QT}^1 = \mathrm{QT}^y$ are per-axis QT operators on the x and y faces, and the subscript$b$ denotes restriction to block$b$ .
The block-level noncommutativity values are given in §2.1 (Table C6). The CP block is exactly commutative under any per-axis QT pair, so
Why Supp_nc detects transport — the transport-commutator identity (Paper II, §4.6). For any two sectors
Concretely: let
Structural Observation A (Two-Type Transport Mechanisms). For any two distinct QT/HT joint-spectral sectors
Type I (Noncommutative Mixing):
Type II (Commutative Permutation Channel): A single edge S8
| Edge | Type | Mechanism | |
|---|---|---|---|
| S2 ↔ S5 | 0.47 | Type I | eo shared |
| S2 ↔ S6 | 0.58 | Type I | eo shared |
| S3 ↔ S6 | 2.55 | Type I | ep, eo shared |
| S3 ↔ S7 | 3.61 | Type I | ep, eo shared |
| S4 ↔ S6 | 3.46 | Type I | ep shared |
| S4 ↔ S9 | 1.00 | Type I | co shared |
| S5 ↔ S6 | 0.82 | Type I | eo shared |
| S6 ↔ S7 | 3.61 | Type I | ep, eo shared |
| S7 ↔ S9 | 4.06 | Type I | cp, co shared |
| S8 ↔ S9 | 2.83 | Type II | CP permutation channel |
Verification. For all 45 ordered pairs of distinct sectors, the Supp_nc-intersection criterion correctly predicts
Theorem (EP Algebra Structure). \label{thm:ep-algebra-structure} The edge-permutation block algebra
$A_{\mathrm{EP}} = \langle Q_0, Q_1, Q_2 \rangle$ , where$Q_a = P_{\mathrm{EP}} \mathrm{QT}^a P_{\mathrm{EP}}$ , satisfies:
$$A_{\mathrm{EP}} \cong M_2(\mathbb{C})^4 \oplus M_1(\mathbb{C})^4$$ Proof sketch. Compute the 144×144 operator algebra via repeated multiplication of the three per-axis QT generators restricted to the EP block. Multiplication closure is reached at degree 3. The center
$Z(A_{\mathrm{EP}})$ is extracted as the kernel of the commutator map$X \mapsto [Q_a, X]$ for all$a$ . Dimension: 8. The semisimple decomposition is computed via the center's minimal idempotents: 8 orthogonal central idempotents partition the algebra into simple components. Four components have dimension 4 (=$M_2(\mathbb{C})$); four have dimension 1 (=$M_1(\mathbb{C})$). The Killing form $B(X,Y) = \operatorname{Tr}(\text{ad}X \text{ad}Y)$ has signature $(8^+, 4^-, 8^0)$; its kernel equals $Z(A{\mathrm{EP}})$, confirming semisimplicity of $A{\mathrm{EP}}/Z(A_{\mathrm{EP}})$. Using the canonical EP decomposition of §2.7 (Table C18).
Double commutant.
Structural Observation B (M₂ Overlap ⇒ Hub Necessity). The EP block algebra contains 4
S6 is the unique sector whose EP-restricted projector has nonzero overlap with all 3 active
Proof (computational). The 4
Structural Observation C (M₂ Overlap Obstruction Caps Refinement). The QT/HT refinement chain terminates at 9 joint-spectral sectors. Any operator
The obstruction is structural: the 4
Refinement POSET (from Paper I):
Each step adds a commuting operator. The next step would require an operator commuting with all three Center operators — but any such operator, when restricted to the EP block, must lie in
The S8↔S9 edge (
Mechanism. The CP block is QT-commutative: $[\mathrm{QT}^0, \mathrm{QT}^1]|{\mathrm{cp}} = 0$ exactly. However, the CP-restricted generators $\rho(g)|{\mathrm{cp}}$ do not commute with individual sector projectors:
S8 (8-dim, pure CP,
Structural significance. The existence of the Type II channel demonstrates that Supp_nc is the dominant invariant for Type I transport but not a universal transport criterion. A complete transport criterion must account for both noncommutative mixing (Type I) and commutative permutation channels (Type II). In the Rubik's cube, the Type II channel is unique — all other transport is Type I.
Historical first-version section excluded from current CCS output
\fi
\label{sec:ccs-tolerance-regime}
The canonical tolerance regime is:
| Symbol | Value | Scope |
|---|---|---|
TOL |
Numerical equality assertions | |
TOL_K |
0.05 | Transport edge detection threshold |
TOL_KAPPA |
Historical κ-array sanity floor (logm noise ceiling) | |
SPECTRAL_DECIMALS |
6 | Canonical eigenvalue key rounding |
CENTER_CLUSTER_TOL |
Sector merge clustering | |
tol |
Default operator tolerance |
The archived realization uses these tolerance values. A computation using a
different SPECTRAL_DECIMALS, CENTER_CLUSTER_TOL, or TOL_K is a distinct
registered realization and should report a comparison sweep.
The registered sector decomposition uses CENTER_CLUSTER_TOL =
Historical numerical robustness. The recorded layer, sector, edge, and graph-only candidate counts remain invariant under the tested tolerances and seeds. The first-version audit is archived at experiments/paper3/archive/stability_sweep.py and does not certify matrix composition.
Graph-candidate threshold stability. The five graph-only candidate pairs are invariant under the recorded threshold sweep. The archived script is experiments/paper3/archive/t7_threshold_sensitivity.py; this statement does not promote graph reachability to operator composition.
Unless a record states otherwise, archived matrix norms are Frobenius: $|X|F = \sqrt{\sum |x{ij}|^2}$.
Archived projectors use numpy.linalg.eigh, so
The registered generator weighting is the uniform average
Where a seed is used, the registered value is np.random.seed(42). Deterministic
audits should not depend on random state.
Numerical stability and mathematical claim status are separate. The current repository uses four paper claim levels; CCS v2.1 adds a history tag solely for archive routing.
| Status | Use in CCS v2.1 |
|---|---|
| Theorem / exact derivation | Restate only with explicit hypotheses and proof; cite the owning independent paper when used externally. |
| Computational Certificate | Record realization, dtype, tolerance, registration, algorithm, artifact, and reproducible script. |
| Computational Observation | Record a finite pattern, contrast, or numerical recognition without promotion beyond the tested realization. |
| Research Program | Record conjectures, proposed hierarchies, genericity questions, and future experiments. |
| Historical / Withdrawn | Preserve correction provenance without treating the item as a current claim. |
Passing recomputation, basis, permutation, or tolerance checks strengthens a
computational record but does not by itself change its status. In particular,
the candidate ambient-commutant dimension, first-version
All observed failure modes fall into four categories:
- Spectral degeneracy artifacts — eigensolver splitting, eigenvector mixing
- Finite-precision linear algebra instability — SVD thresholding, null-space drift
- Representation-construction defects — pre-ρ-fix orientation sign inconsistency
- Algorithmic non-canonicality — generator ordering dependence, randomized under-convergence
The canonical r2 pipeline eliminates categories (3) and (4) by construction. Categories (1) and (2) are controlled via explicit tolerance engineering.
The most consequential recorded implementation failure was an inconsistent
sign convention in the EP orientation sub-block. It caused
Warning. Pre-fix data archived and must not be cited. Representation defects differ qualitatively from numerical issues — they propagate into structural claims, not just numerical values. Block-wise homomorphism verification is mandatory. Status: Resolved in r2.
The private raw archive retains the full historical logs; the public error catalog is:
- E.1 Eigensolver accidental splitting (→ 11 raw sectors merged to 9)
- E.2 SVD rank threshold instability (→ scale-invariant threshold + one-shot SVD)
- E.3 Near-degenerate eigenvalue mixing (does not occur — minimum gap
$1/9 \approx 0.111$ ) - E.4 Generator ordering artifacts (mitigated by permutation-invariant averaging)
- E.5 Randomized Reynolds under-convergence (adequate for current
$d \leq 106$ ) - E.6 Sector permutation across recomputation (does not occur — well-separated triples)
- E.7 Lie generator non-Hermiticity drift (mitigated by explicit Hermitianization)
- E.8 Incremental null-space drift (design rejected — one-shot SVD used instead)
The working principle of the archived numerical pipeline is:
Registration policy. Register first, analyze second.
Numerically equivalent realizations must be reduced to a declared registration before their tables are compared. The following checks support the stability of a finite record, but passing them does not automatically promote an observation or certificate to the status of a theorem:
- Recomputation — same code, same parameters → same result to within prescribed tolerance.
-
Generator permutation — invariant under
$S_6 \times \mathbb{Z}_2$ face relabeling. -
Basis changes — invariant under
$U(n)$ gauge freedom inside degenerate eigenspaces. - Tolerance perturbation — stable under perturbation of any tolerance within the prescribed regime (§A.1).
Records failing a relevant check remain computational observations or research program items. Current claim status is assigned under the four-level contract in the independent paper, not by this appendix.
The archived implementation fixes the following representation choices. Alternative choices are admissible when they are declared and cross-validated.
| # | Freedom | Canonical fixing |
|---|---|---|
| D.1 | Eigenspace basis ($U(d_\lambda)$) |
numpy.linalg.eigh — first nonzero element positive. Real eigenvectors where possible (real symmetric matrix). |
| D.2 | Sector label ordering |
CCS canonical: sort by |
| D.3 | Sector merging (accidental split) | Merge sectors whose ( |
| D.4 | Generator labels ( |
CubieMove.prim_moves enumeration order. Spectral identity (layers, dimensions, projectors) is label-invariant. |
| D.5 | Isotypic multiplicity ($\mathrm{GL}(m,\mathbb{C})$) | Commutant basis from orbit-enumeration construction. Gram-Schmidt orthogonalized. |
| D.6 | Layer key representation |
SPECTRAL_DECIMALS = 6. Canonical keys: |
| D.7 | Ambient-commutant candidate basis | Gram-Schmidt orthogonalized conjugacy-class orbit sums. The registered numerical candidate dimension is 610; an exact certificate remains open. |
Projectors, transport strengths, and layer dimensions should agree under valid
changes of basis up to the declared matching and numerical tolerances.
First-version
Appendix B — Provenance
Purpose. Record traceable lineage from experiment scripts to structured artifacts, archive tables, figures, and paper-level computational statements.
Scope. Data flow diagram, artifact/experiment provenance map, paper usage map, and figure mapping.
Dependencies. The paper-local validation and result records indexed below.
Outputs. A reviewable provenance map linking retained numerical records to their producing experiments and, where applicable, their consuming papers.
This part indexes provenance. It does not assign mathematical claim status.
experiments and validation scripts -> structured artifacts -> papers
\-> generated figures
\-> CCS v2.1 review index
private raw archive -> provenance only
Executable scripts and structured outputs form the certificate layer. CCS v2.1 indexes selected values and observations for human review. The private raw archive retains failed experiments and older revisions as provenance only.
| Claim | Primary experiment |
|---|---|
| 6-layer spectrum, dims, block support | experiments/paper1/validation/spectral_ladder.py |
| registered |
experiments/paper1/validation/k_absence.py |
| Projector algebra ( |
experiments/paper1/validation/projector_algebra.py |
| 9 QT/HT joint-spectral sectors | experiments/paper2/validation/primitive_sectors.py |
|
|
experiments/paper2/validation/transport_graph.py |
| Block noncommutativity | experiments/paper2/validation/supp_nc.py |
| EP algebra census | experiments/paper2/validation/ep_algebra.py |
| Graph/operator separation for five canonical paths | experiments/paper3/validation/composition_obstruction.py |
| Withdrawn spectral-layer |
experiments/paper2/archive/commutant_pi_map.py (provenance only) |
| Withdrawn compressed-commutant census |
experiments/paper1/archive/isotypic_decomposition.py (provenance only) |
| Subject | Primary CCS reference | Archived material |
|---|---|---|
| Averaging-operator spectrum | §§1.1–1.8 | Layers, block reductions, and extended census tables |
| Direct transport | §§1.4, 2.1–2.2, 2.7–2.8 | Sectors, |
| Projected composition | §2.5 | Optional copy of the five matrix-obstruction records |
Figures used by the current archive are placed beside the records they illustrate and are explained by their captions. Historical and withdrawn images remain repository provenance; they are not indexed in this release and do not enlarge the claims of the independent papers.
Appendix C — Figure Provenance
The release PDF includes only figures placed directly in the relevant archive sections. Historical images and presentation-build details are maintained in the repository rather than repeated here.
Appendix D — Implementation Notes
Purpose. Document computational methods that underlie the numerical values in Parts I–II. These certify reproducibility without interrupting the mathematical narrative of the main papers.
Scope. Representation construction, projector computation, transport and Lie generator algorithms, commutant computation methods, computational complexity table.
Dependencies. Part 0.5 (canonical API), Part I (canonical objects), rime/ source modules.
Outputs. Complete algorithmic specification sufficient for independent reimplementation.
This part provides the algorithmic specification sufficient for independent reimplementation of the canonical computation.
Computational methods that underlie the numerical values in Parts I–II. These belong in the supplement, not in the main papers — they certify reproducibility without interrupting the mathematical narrative.
On the permutation blocks (CP, EP), generators act by permutation matrices: $\rho(g){ij} = 1$ if position $j$ maps to position $i$, 0 otherwise. These are integer matrices: $\rho{\mathrm{cp}}(g) \in M_{64}(\mathbb{Z})$,
On the orientation blocks (CO, EO), generators additionally multiply by a phase factor on each affected index:
Post-ρ-fix invariant:
Spectral projectors numpy.linalg.eigh on
where
Sector projectors $P_{\mathrm{S}k}$ are obtained by numerical joint
diagonalization of $A{18}$, $\mathrm{QT}{\mathrm{all}}$, and
$\mathrm{HT}{\mathrm{all}}$ after the declared commutator audit. Their
registered joint clusters group into nine sectors at
Transport:
Historical principal-log registration: scipy.linalg.logm, using the declared
numerical branch. The embedding residual is
Historical commutator arrays:
Ambient commutant candidate (registered dimension 610): a combinatorial orbit-enumeration implementation followed by numerical orthogonalization. The current archive does not contain an independent exact rank/nullity certificate, so 610 remains an unpromoted candidate.
Per-layer commutant:
-
$d_\lambda \leq 50$ : One-shot SVD on the Kronecker constraint matrix after linear dependency reduction. The constraint is$CX = 0$ where$C$ stacks$G^T \otimes I - I \otimes G$ for each independent generator. Rank threshold:$\mathrm{tol} \cdot \max(1.0, s_0) \cdot \max(C.\mathrm{shape})$ . -
$d_\lambda > 50$ (only$V_{5/9}$ ,$d=106$ ): Randomized Reynolds iteration — sample budget$\min(6d, 250)$ , 8 iterations of exact projection, convergence to machine precision.
| Operation | Complexity | Wall time |
|---|---|---|
|
|
< 1s | |
| center_decomposition() | < 5s | |
| Ambient commutant candidate | $O(d^2 \cdot | \mathrm{Conj}(G) |
| Layer commutant ( |
~1s each | |
| Layer commutant ( |
~30s | |
| transport_kappa() | $O( | S |
| kappa_depth(2) | ~10s | |
| π map SVD (610×966) | < 1s |
Total wall time for full canonical recomputation: ~5–10 minutes on commodity hardware.
Appendix E — Archive Status Register
Purpose. Route retained CCS v2.1 material to its current status without restating the independent papers' theorem spines.
Scope. Selected Paper I--II data records, archived extensions, open questions, and withdrawn first-version interpretations.
Dependencies. The current Paper I and Paper II ``Claim Status and
Boundary'' sections, declared executable artifacts, and HISTORY.md.
Outputs. A compact routing table. It is not a theorem register.
The independent papers control theorem and certificate wording. CCS v2.1 retains extended human-readable records only.
| Archive material | Current status | Controlling source |
|---|---|---|
| Six-layer |
Mixed exact derivation, computational certificate, and observation | Paper I claim-status section and Paper I scripts |
| Trace-rationality and partition-integrality statements | Theorem under the hypotheses stated in Paper I; no canonical-face application is asserted here | Paper I |
| Nine QH sectors, ten direct edges, and EP algebra census | Computational certificate | Paper II and Paper II scripts |
| Generator-family arithmetic and transport extensions | Computational observation | CCS v2.1 tables and archived scripts |
| Candidate ambient-commutant dimension 610 | Research program / unpromoted numerical candidate | CCS v2.1 provenance |
| Graph/operator composition obstruction | Outside CCS authority; independently certified | Paper III and its matrix audit |
| C0, T7 morphisms, strict word/Lie containment, and old |
Historical / withdrawn | HISTORY.md |
| Moving spectral/accessibility hierarchies | Research program unless separately certified in the owning paper | Papers IV--VII claim boundaries |
The repository may retain older tables below in source history, but they are excluded from the current CCS output because their numbering and promotion language predate the v2 paper revisions.
Purpose. Collect CCS-adjacent open problems and computational boundaries. Nothing here is claimed as proven or imported into revised Paper III.
Verification status. The current records include the mixed-status
six-layer census, nine numerically registered QH sectors, the direct transport
matrix, sector non-invariance residuals, and five graph/operator composition
obstructions in the 228-dimensional Rubik realization. They do not establish
the former T7 strict-containment theorem, a layerwise
Broader finite-group representations. CCS experiments include the Rubik
cube (228-dim), S₃ nat⊕reg (9-dim), and S₃ reg⊕reg (12-dim). It remains open
whether the Paper II transport architecture generalizes to non-block-diagonal
representations, non-symmetric generator families, or infinite discrete
groups. The central structural question is which features are
Alternative spectral algebras. The registered Rubik algebra
Graph-to-composition promotion. The canonical audit instead establishes that a two-step support path need not survive matrix multiplication. A current open problem is to identify transversality, rank, or image--kernel conditions under which graph reachability does imply operator reachability. Comparisons with Lie-generated accessibility require a separate certificate after this operator-level relation is fixed.
Further structural questions. Whether the Type I/II classification, the M₂ overlap pattern, or graph/composition obstructions appear in non-permutation representations is open. The candidate ambient-commutant dimension must first receive an independent exact certificate before it is related to transport-graph statistics.
Algebraic characterization of noncommutative support. Paper II defines
Promotion conditions. The former C0--C3 characterization is withdrawn. Candidate replacement hypotheses should act directly on the projected factors, for example through image--kernel transversality, rank protection, singular-value lower bounds, or compatible block support.
Classification of composition obstructions. The current five witnesses are explained by physical-block image--kernel mismatch. Whether other systems exhibit incidence, cancellation, or rank-loss obstructions without block separation is open.
\label{sec:ccs-algebraic-extensions}
Generalized transport algebras. The direct-support norm
Refinement questions beyond
Historical Generator Defect Taxonomy. Four generator families were constructed by selective deletion from the 18-generator canonical set. The first-version script is archived at experiments/paper3/archive/generator_defect_taxonomy.py and is not current matrix-composition evidence.
\iffalse
Summary Table
| Family | Removed | Layers | Field | Comm | Sect. | Non-k/9 | Edges | T7 | |
|---|---|---|---|---|---|---|---|---|---|
| Canonical | 18 | — | 6 | 610 | 9 | 0 | 10 | 5 | |
| Sector Shielding | 16 | 2 axis-0 HT (R², L²) | 9 | 610 | 13 | 2 | 32 | 11 | |
| Transport Resolution Amplifier | 15 | 3 negative-face HT | 23 | higher | 610 | 25 | 23 | 65 | 24 |
| Field Defect Localization | 14 | 4 axis-1 QT | 8 | 675 | 10 | 2 | 20 | 5 |
Sector Splitting Statistics (trace > 0.5, canonical sector → child count)
-
$n=16$ : S3→2, S6→2, S7→2, S9→2 (binary, 2-fold each) -
$n=15$ : S3→4, S6→4, S7→8, S9→4 (mirror S3$\cong$ S6, S7 = union of S3/S6/S9 patterns) -
$n=14$ : S2→2, S3→3, S4→2, S6→3, S7→2, S9→2
Stability: Layer C (Exploratory). These are empirical regularities across four generator families, not derived from first principles. Whether the taxonomy exhausts the possible structural failure modes is open.
\fi
Scalable commutant extraction. The current commutant computation uses generator reduction + one-shot SVD (
Automated typed audit. A future pipeline may take a declared
representation, sectorization, operator family, dtype, and tolerance policy and
emit separate direct-support, routed-product, full-word, commutator, and
Lie-closure records. It must preserve these types rather than reconstruct the
withdrawn
Exact QH-algebra reconstruction. The commuting algebra $\mathcal B_{\mathrm{QH}}=\operatorname{alg}(A,\mathrm{QT}{\mathrm{all}}, \mathrm{HT}{\mathrm{all}})$ is presently supported by numerical commutation and joint-sector certificates. An exact reconstruction would promote this numerical object without identifying it with the center or the full ambient commutant.
Separate Lie-accessibility audit. First-version
What the current CCS does NOT claim:
| Claim | Status |
|---|---|
| A support-graph path implies nonzero projected composition | Refuted in general. The five canonical paths are obstruction witnesses. |
| The CCS applies to AGI, cognition, planning, solver algorithms, robotics | Not claimed. Its scope is finite-group representation computation. |
| The CCS is a general classification of finite-group representations | Not claimed. Rubik is one finite computational realization. |
| The first-version |
Withdrawn. A separate operator-level certificate is required. |
| The registered direct graph is directed or asymmetric |
Not supported. The inverse-closed family gives a symmetric |
Code availability. Code and computational certificates are available in the RIME repository.
End of the CCS v2.1 computational companion archive. Independent papers and declared executable artifacts control current claims and certificates; withdrawn source sections are retained for provenance only.







