Skip to main content

Structural Derivation of N = 7 via Octonions

Methodology and status markers​

Status markers for statements

Each statement is marked with one of three statuses (the meanings are those of the status registry; this page uses a three-letter subset of them):

  • [T] — Theorem: proven in pure mathematics or derived from axioms
  • [C] — Conditional theorem: proven under an explicitly named assumption (the canonical meaning of the status registry; on this page both assumptions are historical: (Alt) — the multiplication carried by the seven Fano lines is alternative, equivalently normed — discharged by T15-canon, and (МП), λ=1\lambda = 1). A statement that merely follows logically from theorems is itself [T], not [C] — an earlier legend on this page read "[C] — Consequence: logically follows from [T]", which gave the letter a second meaning and is retracted.
  • [I] — Interpretation: substantive connection with UHM
Dual-track status of N = 7: the number and the structure

The dimensionality N=7N = 7 and its algebraic structure are established by two tracks with distinct, complementary roles:

TrackDeliversPathStatus
Track AThe number: N=7N = 7Axiom 3 + Theorem S: (AP)+(PH)+(QG) → 7 functionally independent aspects → N≥7N \geq 7, minimality → N=7N = 7[T]
Track BThe structure: Fano/octonionic, P1 + P2The T15 bridge chain (this document): given N=7N = 7 (consumed from Track A at Step T8), (AP)+(PH)+(QG)+(V) force the Fano organization BIBD(7,3,1)(7,3,1) [T given Track A]; the octonionic algebra O\mathbb{O} follows at Step T15 for the canonical orientation, the only orientation class the design determines (T15-canon)[T given Track A] ([C at (Alt)] earlier on 2026-09-25)
Consistency closuredim⁡Im(O)=8−1=7\dim \mathrm{Im}(\mathbb{O}) = 8 - 1 = 7The structure returned by Track B has imaginary dimension exactly 77 — the loop closes on the same number Track A supplied[T]

Track A proves the number; Track B proves the structure of the N=7N=7 system; the octonionic closure confirms the two are one coherent whole. (Track B is not a second independent derivation of the number — its Step T8 takes N=7N = 7 as input; what it derives independently is that the seven-dimensional system is forced to be Fano/octonionic.) The bridge is [T] with the canonical orientation (§5): Steps T1–T14 deliver the unordered design BIBD(7,3,1)(7,3,1); only 16 of the 27=1282^7=128 orientations of its lines give a normed algebra, and these 16 form the only orientation class that the design itself determines (T15-canon). (Until 2026-09-25 this box said "[T] — fully closed" without that argument; the bridge was then lowered to [C at (Alt)], and the theorem restores [T] in this precise form.) A genuinely independent second derivation of the number does exist, from another direction entirely: Theorem Σ (T-224) forces N=7N = 7 from perfect single-fault diagnosability alone, consuming nothing from Track A — and T-244 proves that this diagnosability track and Track B are one condition (a frame is perfectly diagnosable exactly when it is a division algebra), so the closure loop is not merely consistent but forced from both ends.


§1. Pure Mathematics [T]​

1.1 Hurwitz Theorem (1898) [T]​

Theorem (Hurwitz). Normed division algebras over R\mathbb{R} exist only in dimensions 1, 2, 4, and 8:

R,C,H,O\mathbb{R}, \quad \mathbb{C}, \quad \mathbb{H}, \quad \mathbb{O}

No others exist.

Proof: Classical — via quadratic forms and the Hurwitz identity. An algebra A\mathcal{A} with norm ∣ab∣=∣a∣∣b∣|ab| = |a||b| requires that n=dim⁡(A)n = \dim(\mathcal{A}) satisfy the sum-of-squares identity. By the Hurwitz theorem this is only possible for n∈{1,2,4,8}n \in \{1, 2, 4, 8\}.

1.2 Adams Theorem (1960) [T]​

Theorem (Adams). The sphere Sn−1S^{n-1} admits an HH-space structure (continuous multiplication with a unit) if and only if n∈{1,2,4,8}n \in \{1, 2, 4, 8\}.

Related statement: Parallelizable spheres are only S0,S1,S3,S7S^0, S^1, S^3, S^7 (Bott–Milnor and Kervaire 1958; also a consequence of Adams's work). These are the unit spheres Sn−1S^{n-1} of the four normed division algebras, n∈{1,2,4,8}n \in \{1, 2, 4, 8\}.

Corollary — corrected (2026-09-25). The unit sphere of A\mathcal{A} itself, Sn−1S^{n-1}, is parallelizable exactly for n∈{1,2,4,8}n \in \{1, 2, 4, 8\}. The unit sphere of Im(A)\text{Im}(\mathcal{A}), Sn−2S^{n-2}, is not: for n=4n=4 and n=8n=8 it is S2S^2 and S6S^6, and neither is parallelizable (only S0,S1,S3,S7S^0, S^1, S^3, S^7 are; S6S^6 carries an almost complex structure from O\mathbb{O}, not a trivialisation of its tangent bundle). The former corollary — "the imaginary unit sphere Sn−2S^{n-2} is parallelizable only for n∈{1,2,4,8}n \in \{1,2,4,8\}" — is retracted [✗].

1.3 Cayley–Dickson Construction [T]​

Division algebras form a chain of doublings:

R→CDC→CDH→CDO→CDS\mathbb{R} \xrightarrow{\text{CD}} \mathbb{C} \xrightarrow{\text{CD}} \mathbb{H} \xrightarrow{\text{CD}} \mathbb{O} \xrightarrow{\text{CD}} \mathbb{S}
AlgebradimCommutativityAssociativityAlternativityDivisibility
R\mathbb{R}1++++
C\mathbb{C}2++++
H\mathbb{H}4—+++
O\mathbb{O}8——++
S\mathbb{S}16————

Cayley–Dickson boundary [T]: At each step an algebraic property is lost. O\mathbb{O} is the last division algebra. Sedenions S\mathbb{S} and all further doublings contain zero divisors.

1.4 Octonions O\mathbb{O} [T]​

Definition. Octonions are the 8-dimensional normed division algebra over R\mathbb{R}:

O={a0+a1e1+a2e2+⋯+a7e7∣ai∈R}\mathbb{O} = \{a_0 + a_1 e_1 + a_2 e_2 + \cdots + a_7 e_7 \mid a_i \in \mathbb{R}\}

where e1,…,e7e_1, \ldots, e_7 are imaginary units.

Multiplication table is defined by 7 associative triples (cycles of the Fano plane):

ei⋅ej=−δij+εijkeke_i \cdot e_j = -\delta_{ij} + \varepsilon_{ijk} e_k

where εijk\varepsilon_{ijk} is the fully antisymmetric tensor, nonzero on the 7 Fano triples.

Key properties:

  • Non-associativity: (eiej)ek≠ei(ejek)(e_i e_j) e_k \neq e_i (e_j e_k) in general
  • Alternativity: x(xy)=x2yx(xy) = x^2 y and (xy)y=xy2(xy)y = x y^2 (Artin's theorem)
  • Norm: ∣xy∣=∣x∣∣y∣|xy| = |x||y| (normed division algebra)

1.5 Fano Plane PG(2,2) [T]​

Definition. The Fano plane is the minimal finite projective plane with 7 points and 7 lines.

e₁
/ \
/ \
e₃—--e₂
/ \ ○ / \
/ \ / \
e₅—e₆—e₄
|
e₇

Properties [T]:

  • 7 points, 7 lines
  • Each line contains 3 points
  • Each point lies on 3 lines
  • Through any 2 points there passes exactly 1 line
  • Automorphism group: Aut(PG(2,2))=GL(3,F2)≅PSL(2,7)\text{Aut}(\text{PG}(2,2)) = GL(3, \mathbb{F}_2) \cong PSL(2,7), order 168

Connection with O\mathbb{O}: The 7 triples (lines) of the Fano plane define the multiplication table of the imaginary units of the octonions. Each line (ei,ej,ek)(e_i, e_j, e_k) specifies the rule: ei⋅ej=eke_i \cdot e_j = e_k (with orientation taken into account).

1.6 Group G2G_2 [T]​

Theorem. The automorphism group of the octonion algebra:

Aut(O)=G2\text{Aut}(\mathbb{O}) = G_2

G2G_2 is the minimal exceptional Lie group, 14-dimensional, of rank 2.

Properties of G2G_2 [T]:

  • dim⁡(G2)=14\dim(G_2) = 14
  • rank(G2)=2\text{rank}(G_2) = 2
  • G2⊂SO(7)G_2 \subset SO(7) — subgroup of rotations in Im(O)≅R7\text{Im}(\mathbb{O}) \cong \mathbb{R}^7
  • G2G_2 preserves the multiplication structure of the octonions and the Fano plane
  • G2G_2-manifolds admit a metric with G2G_2 holonomy (the unique exceptional holonomy by Berger's classification)

1.7 Hamming Code H(7,4) [T]​

Theorem. The Hamming code H(7,4)H(7,4) is a perfect linear binary code:

  • 7 bits, 4 information + 3 check
  • Corrects 1 error
  • The Hamming bound is achieved (perfect code)

Connection with the Fano plane [T]: The parity-check matrix of H(7,4)H(7,4) is defined by the 7 nonzero columns of F23\mathbb{F}_2^3, which correspond to the 7 points of the Fano plane.

Structure 4+3: Information part (4 bits) + check part (3 bits) = 7 bits.

1.8 Artin's Theorem [T]​

Theorem (Artin). Any two elements of an alternative algebra generate an associative subalgebra.

Corollary for O\mathbb{O}: The non-associativity of octonions is minimal: it manifests only when three or more elements interact. Any pair of elements behaves associatively.


§2. Theorems P1, P2 [T]​

2.1 Theorem P1 (Division Algebra) [T]​

Theorem P1 [T] (the T15 bridge chain with the canonical orientation of the Fano lines)

The space of internal degrees of freedom of a viable system is isomorphic to Im(A)\text{Im}(\mathcal{A}) — the imaginary part of some normed division algebra A\mathcal{A} over R\mathbb{R}.

Derivation of P1: P1 follows from (AP)+(PH)+(QG)+(V) via the T15 chain (§5) for the algebra that the Fano frame determines. On the Fano support (Alt) and P1 are equivalent — exactly the same 16 of the 128 orientations make the multiplication alternative and make its norm multiplicative (test_only_16_of_128_fano_orientations_are_normed) — and these 16 are the only orientation class invariant under the collineations of the design (T15-canon); each of the other 112 needs a distinguished line, which no step of the chain supplies. (The status [T] stated here before 2026-09-25 rested on "Hall + Hurwitz" alone and was lowered that day to [C at (Alt)]; the canonical-orientation theorem restores [T] in the form just stated.) Original motivation:

  • A division algebra guarantees invertibility: every transformation has an inverse (no "traps" in the state space)
  • Normedness provides a metric: ∣ab∣=∣a∣∣b∣|ab| = |a||b| ensures a consistent distance measure
  • Imaginary part: the real component is singled out (analogue of scalar "unity", dimension UU), the internal degrees of freedom are the imaginary directions

2.2 Theorem P2 (Non-associativity) [T]​

Theorem P2 [T] (the T15 bridge chain with the canonical orientation of the Fano lines)

The algebra A\mathcal{A} is non-associative:

∃ a,b,c∈A:(ab)c≠a(bc)\exists \, a, b, c \in \mathcal{A}: \quad (ab)c \neq a(bc)

Derivation of P2: P2 follows from (AP)+(PH)+(QG)+(V) via the T15 chain (§5) with the canonical orientation: the algebra on the Fano lines is O\mathbb{O}, which is non-associative — indeed no triple of units on non-collinear points associates (T15-canon). Original motivation:

  • Associative algebras (R,C,H\mathbb{R}, \mathbb{C}, \mathbb{H}) have dim⁡(Im)∈{0,1,3}\dim(\text{Im}) \in \{0, 1, 3\} — insufficient for (AP)+(PH)+(QG) by Theorem S
  • Non-associativity formalizes contextuality: the result depends on the order of grouping of operations, reflecting the non-classical nature of quantum systems
  • Artin's theorem [T] guarantees that non-associativity is minimal (pairwise interactions are associative)

2.3 Connection of P1+P2 with UHM Conditions [T]​

Bridge [T] — closed, with the canonical orientation of the Fano lines

The connection (AP)+(PH)+(QG)+(V) ⟹ P1+P2 goes through the formal chain T15 (15 steps): T1–T14 are [T] as stated (T8 given Track A), and Step T15 takes the canonical orientation (T15-canon; [C at (Alt)] earlier on 2026-09-25). Condition (МП) has become a theorem: it follows from T11–T14 (Choi rank = 7 ⟹ b ≥ 7 ⟹ λ = 1). The three motivational arguments below retain their intuitive role. Details: §5. (Until 2026-09-25: "Bridge [T] — fully closed, 15 steps, all [T]".)

Argument(AP)+(PH)+(QG) →→ P1+P2
Direct motivationInvertibility of transformations (AP)Division algebra (P1)
ExceptionalityMinimal required dimensionality (Theorem S)Non-associativity (P2), since dim Im ≤ 3 for associative algebras
Cayley–Dickson boundaryAlternativity (minimal nonlinearity of QG)O\mathbb{O} — last alternative division algebra

§3. Derivation of N = 7 [T]​

Theorem (Structural derivation of N = 7) [T]

From theorems P1 and P2 (obtained from (AP)+(PH)+(QG)+(V) via the T15 chain with the canonical orientation, T15-canon) it follows that N=7N = 7. The number itself is supplied independently by Track A [T]; this section is the Track-B consistency loop.

Proof (6 steps):

  1. [T] P1: A\mathcal{A} is a normed division algebra over R\mathbb{R} (via the T15 chain)
  2. [T] Hurwitz: dim⁡(A)∈{1,2,4,8}\dim(\mathcal{A}) \in \{1, 2, 4, 8\}, i.e. A∈{R,C,H,O}\mathcal{A} \in \{\mathbb{R}, \mathbb{C}, \mathbb{H}, \mathbb{O}\}
  3. [T] P2: A\mathcal{A} is non-associative (via the T15 chain)
  4. [T]: R,C,H\mathbb{R}, \mathbb{C}, \mathbb{H} are associative ⟹ A=O\mathcal{A} = \mathbb{O}
  5. [T]: dim⁡(O)=8\dim(\mathbb{O}) = 8, therefore dim⁡(Im(O))=8−1=7\dim(\text{Im}(\mathbb{O})) = 8 - 1 = 7
  6. [T]: N=dim⁡(Im(O))=7N = \dim(\text{Im}(\mathbb{O})) = 7 ■\quad\blacksquare
Proof structure

Steps 1, 3 are [T] (they were [C at (Alt)] until the canonical-orientation theorem): they follow from the axioms via the T15 chain (§5), which consumes N=7N = 7 from Track A at Step T8 (Theorem S, functional minimality) and takes the canonical orientation at Step T15. Steps 2, 4, 5 are pure mathematics [T]. Step 6 is a logical consequence [T]. P1 and P2 are not postulated but derived from (AP)+(PH)+(QG)+(V) given the Track-A dimension; the resulting dim⁡Im(O)=7\dim\mathrm{Im}(\mathbb{O}) = 7 closes the consistency loop with the number Track A supplied (see the dual-track box, §0).


§4. Corollaries [T]​

4.1 G2G_2-Symmetry [T]​

From A=O\mathcal{A} = \mathbb{O} it follows that:

Aut(O)=G2⊂SO(7)\text{Aut}(\mathbb{O}) = G_2 \subset SO(7)

Corollary for UHM [T]: The space Im(O)≅R7\text{Im}(\mathbb{O}) \cong \mathbb{R}^7 has G2G_2-symmetry — a 14-parameter group preserving the multiplication structure.

info
G2G_2 corollary [T]

Aut(O)=G2\mathrm{Aut}(\mathbb{O})=G_2 is a theorem [T]. Identifying G2G_2-symmetry with the gauge freedom of UHM rests on the identification Im(O)≅{A,S,D,L,E,O,U}\text{Im}(\mathbb{O}) \cong \{A, S, D, L, E, O, U\}, which comes from the bridge and has its status: [T] with the canonical orientation (T15-canon). (It was stated as [T], "fully closed by the T15 chain", before 2026-09-25 and was [C at (Alt)] earlier that day.)

4.2 Fano Plane and Coherence Structure [T]​

The multiplication structure of O\mathbb{O} is defined by the Fano plane PG(2,2):

  • 7 points ↔ 7 imaginary units e1,…,e7e_1, \ldots, e_7
  • 7 lines (triples) ↔ 7 associative subtriples
  • 21 pairs of points ↔ 21 coherences γij\gamma_{ij} in the matrix Γ\Gamma

Corollary [T]: The 7 Fano triples single out 7 "privileged" triples of coherences — subsets closed under octonionic multiplication.

4.3 Hamming Code H(7,4) [T]​

From the coincidence of the combinatorial structure:

  • 4 information bits ↔ 4 "structural" dimensions (A, S, D, L) [I]
  • 3 check bits ↔ 3 "meta-structural" dimensions (E, O, U) [I]
  • Perfect error correction ↔ optimal noise immunity
Corollary: numbers [T], correspondence [I]

The 4+3 structure of H(7,4)H(7,4) is a theorem [T]: H(7,4) is the unique perfect code of length 7 (T8 [T]), whose support structure = PG(2,2) (T9 [T]). Its correspondence with the division of UHM dimensions into (A,S,D,L) and (E,O,U) is [I], as the list above says. The former wording — "a theorem [T], since the bridge is fully closed by the T15 chain" — is retracted [✗]: no step of the chain assigns data bits to particular dimensions, and the canonical orientation of the bridge does not either.

4.4 Cayley–Dickson Boundary [T]​

Corollary [T]: O\mathbb{O} is the last normed division algebra. Therefore:

  • N=7N = 7 is the maximum dimensionality of Im(A)\text{Im}(\mathcal{A}) for a division algebra
  • Systems with N>7N > 7 cannot have the structure of a normed division algebra
  • This coincides with the parsimony principle: N=7N = 7 is simultaneously the minimum (Theorem S) and the maximum (C-D boundary) value

§5. Bridge to UHM [T]​

info
Status: [T] — T1–T14 closed, T15 closed by the canonical orientation

The connection P1+P2 ↔ (AP)+(PH)+(QG)+(V) goes through the formal chain T15 of 15 steps. Condition (МП) has become a theorem: T11 (Choi rank = 7 ⟹ b ≥ 7), T12 (BIBD(7,3,1) from minimal projective decomposition), T13 (b ≥ 7 lines), T14 (λ = 1) — together give λ = 1 without additional conditions. But T12–T14 deliver an unoriented design, and the multiplication table needs each line oriented: of the 27=1282^7=128 orientations, exactly 16 give a normed (equivalently, alternative) algebra — a single orbit of the sign changes ei↦−eie_i\mapsto -e_i, all of them O\mathbb{O} — and the other 112 give non-alternative algebras whose norm is not multiplicative (test_only_16_of_128_fano_orientations_are_normed). Step T15 therefore needed the named input (Alt): the multiplication carried by the lines is alternative (equivalently, normed). That input is discharged by T15-canon: the 16 normed orientations are exactly the one orientation class that is invariant under the collineations of the design, so they are the only orientation the frame delivered by T1–T14 determines; every other class requires choosing one of the seven lines.

Status evolution: [I] (three interpretive arguments) → [C] under (МП) (one condition) → "[T] (fully closed)" (2026-07) → [C at (Alt)] (2026-09-25) → [T] with the canonical orientation (2026-09-25, T15-canon). The earlier claim that "the step PG(2,2) → O\mathbb{O} is a canonical identification, fixed by the uniqueness of BIBD(7,3,1) (Hall) and the Hurwitz theorem" is retracted [✗]: Hall fixes the unordered design, and Hurwitz applies only once the algebra is normed, which is what (Alt) supplies. Problem 5 of §6 asked for a derivation of (Alt); T15-canon gives it in the only form that holds — (Alt) is equivalent to the orientation being determined by the design.

5.1 Complete chain of implications (T15, 15 steps: T1–T14 [T], T15 [T] with the canonical orientation)​

(AP)+(PH)+(QG)+(V)→T1−T3Γ∈D(H),  γij≠0→T4−T5P>2/N,  Φ≥1\boxed{(AP)+(PH)+(QG)+(V)} \xrightarrow{T1{-}T3} \Gamma \in D(\mathcal{H}),\;\gamma_{ij}\neq 0 \xrightarrow{T4{-}T5} P > 2/N,\;\Phi \geq 1 →T6−T7rank⁡(ρE)>1,  c>0→T8−T10H(7,4)→PG(2,2)→Fano optimality\xrightarrow{T6{-}T7} \operatorname{rank}(\rho_E)>1,\;c>0 \xrightarrow{T8{-}T10} H(7,4) \to \text{PG}(2,2) \to \text{Fano optimality} →T11−T14Φk=3=7→b≥7→λ=1→BIBD(7,3,1)→T15O→P1+P2\xrightarrow{T11{-}T14} \Phi_{k=3}=7 \to b\geq 7 \to \lambda=1 \to \text{BIBD}(7,3,1) \xrightarrow{T15} \mathbb{O} \to P1+P2

Below are the 15 bridge steps with full inline proofs. The dependencies of each step are stated explicitly.


Step T1. (AP) → existence of φ: H → H with a fixed point [T]​

Statement. From the autopoiesis axiom (AP) it follows that there exists a map φ:H→H\varphi: \mathcal{H} \to \mathcal{H} with a fixed point φ(ρ∗)=ρ∗\varphi(\rho^*) = \rho^*.

Proof. (AP) defines an autopoietic system as one that reproduces its own organization. Formally: there exists a CPTP map φ\varphi on the state space H\mathcal{H} such that φ(ρ∗)=ρ∗\varphi(\rho^*) = \rho^* for some ρ∗∈D(H)\rho^* \in D(\mathcal{H}). Existence of a fixed point is guaranteed: D(H)D(\mathcal{H}) is a compact convex subset of a finite-dimensional space, φ\varphi is continuous ⟹ Brouwer's theorem gives ∃ρ∗\exists \rho^*. □\square

Status: [T] — Brouwer's fixed point theorem.


Step T2. (QG) → Γ ∈ D(H), dim H ≥ 2 [T]​

Statement. From the quantum foundation axiom (QG) it follows that the state of the system is described by a density matrix Γ∈D(H)\Gamma \in D(\mathcal{H}) in a Hilbert space H\mathcal{H} with dim⁡H≥2\dim \mathcal{H} \geq 2.

Proof. (QG) postulates a quantum description: the state is a density operator Γ≥0\Gamma \geq 0, Tr⁡Γ=1\operatorname{Tr}\Gamma = 1 in a Hilbert space H\mathcal{H}. The requirement dim⁡H≥2\dim \mathcal{H} \geq 2 follows from non-triviality: for dim⁡=1\dim = 1 the unique state Γ=∣0⟩⟨0∣\Gamma = |0\rangle\langle 0| does not admit coherences and superpositions, contradicting the quantum nature. □\square

Status: [T] — direct consequence of (QG).


Step T3. (AP)+(QG) → Γ is non-trivial: ∃ γ_{ij} ≠ 0 for i ≠ j [T]​

Statement. Together (AP) and (QG) require non-trivial coherences: ∃ i≠j\exists\, i \neq j such that γij≠0\gamma_{ij} \neq 0 in the stationary state ρ∗\rho^*.

Proof. From T1 — φ(ρ∗)=ρ∗\varphi(\rho^*) = \rho^*; from T2 — ρ∗∈D(H)\rho^* \in D(\mathcal{H}). If γij=0  ∀ i≠j\gamma_{ij} = 0 \;\forall\, i \neq j, then ρ∗\rho^* would be diagonal — a classical mixture without quantum correlations. But autopoiesis (AP) requires self-reproduction of organization, which includes the formula κ0=ω0⋅∣γOE∣⋅∣γOU∣/γOO\kappa_0 = \omega_0 \cdot |\gamma_{OE}| \cdot |\gamma_{OU}|/\gamma_{OO} (see axiom of septicity). For γij=0\gamma_{ij}=0 we have κ0=0\kappa_0=0, autopoiesis is impossible. □\square

Status: [T] — depends on T1, T2. Reference: definition of κ0\kappa_0 in axiom-septicity.md.


Step T4. (V) → P > P_crit = 2/N [T]​

Statement. From the viability axiom (V) it follows that the purity of the stationary state exceeds the critical threshold: P>Pcrit=2/NP > P_\text{crit} = 2/N.

Proof. (V) requires stable existence of the system: balance of decoherence and regeneration. Theorem T-39a (primitivity of L0\mathcal{L}_0 [T]) establishes that the unique stationary state of the linear part is I/NI/N, where P=1/NP = 1/N. A viable system requires P>1/NP > 1/N (otherwise indistinguishable from the maximally mixed state). The exact threshold Pcrit=2/NP_\text{crit} = 2/N [T] is derived from the Frobenius norm: distinguishability ∥Γ−I/N∥F>0\|\Gamma - I/N\|_F > 0 at P=2/NP = 2/N, and Φ≥1\Phi \geq 1 at P=PcritP = P_\text{crit} (T-129 [T]). □\square

Status: [T] — references: T-39a [T], Pcrit=2/7P_\text{crit} = 2/7 [T] (for N=7N=7).


Step T5. T3+T4 → |coherences| > |diagonal| [T]​

Statement. From T3 (γij≠0\gamma_{ij} \neq 0) and T4 (P>2/NP > 2/N) it follows: Φ≥1\Phi \geq 1 at P=2/NP = 2/N, i.e. the integrated information is at least one.

Proof. The integration measure Φ\Phi is defined via the ratio of coherences to the diagonal (see dimension-u.md). Theorem T-129 [T] proves: at P=Pcrit=2/NP = P_\text{crit} = 2/N the value Φ=1\Phi = 1 is the unique self-consistent one. For P>2/NP > 2/N we have Φ≥1\Phi \geq 1. This means that coherences contribute no less than diagonal elements — the system is integrated and not a sum of independent parts. □\square

Status: [T] — reference: T-129 [T] (uniqueness of Φth=1\Phi_\text{th} = 1).


Step T6. (PH) → rank(ρ_E) > 1 [T]​

Statement. From the phenomenology axiom (PH) it follows that the reduced density matrix of the experiential dimension ρE\rho_E has rank greater than 1.

Proof. (PH) requires the presence of non-trivial phenomenal experience. For rank⁡(ρE)=1\operatorname{rank}(\rho_E) = 1 the experience of the system reduces to a single pure state — a fixed point without variability, which contradicts (PH): phenomenology requires distinguishable qualia (at least two orthogonal states in the EE-subspace). Formally: rank⁡(ρE)=1\operatorname{rank}(\rho_E) = 1 ⟹ all observables in the EE-subspace have zero variance ⟹ no phenomenal content. □\square

Status: [T] — direct consequence of (PH).


Step T7. T4 → c > 0 [T]​

Statement. From P>2/NP > 2/N (T4) it follows that the Fano parameter must be nonzero: c>0c > 0 in the dissipator structure.

Proof. The atomic dissipator (c=0c = 0) decoheres all coherences: γij(t)→0\gamma_{ij}(t) \to 0 exponentially (theorem T6 — uniform contraction [T]). For c=0c = 0 the autopoiesis formula κ0∝∣γOE∣⋅∣γOU∣\kappa_0 \propto |\gamma_{OE}| \cdot |\gamma_{OU}| is suppressed exponentially, the D/R\mathcal{D}/\mathcal{R} balance is broken, and P→1/NP \to 1/N — a contradiction with P>2/NP > 2/N (T4). Therefore, a coherence-restoring component with c>0c > 0 is necessary. This is theorem T7 (necessity of c>0c > 0) [T]. □\square

Status: [T] — reference: theorem T7 [T] of this document (§5.2).


Step T8. T7 + N=7 (Track A) → Hamming code H(7,4) [T]​

Statement. For the N=7N = 7 system (the dimension is consumed here from Track A, Theorem S — functional minimality) with a coherence-restoring structure required by c>0c > 0 (T7), the unique minimal-redundancy error-correcting organization is the Hamming code H(7,4)H(7,4).

Proof. (i) Why a perfect code: the coherence-restoring structure must cover every single-coherence error with zero redundancy overhead — coverings that saturate the Hamming bound ∑k=0t(nk)=2n−m\sum_{k=0}^{t}\binom{n}{k} = 2^{n-m} are exactly the perfect codes; any non-perfect covering wastes restoring capacity (violates the minimality selector of (V)). (ii) Why t=1t=1: single-error correction is the minimal nontrivial correction, and c>0c>0 (T7) requires at least it. (iii) Given n=N=7n = N = 7 from Track A: 23=8=1+7=(70)+(71)2^3 = 8 = 1 + 7 = \binom{7}{0} + \binom{7}{1}, i.e. t=1t = 1, r=3r = 3, and H(7,4)H(7,4) is the unique (up to equivalence) perfect binary 1-error-correcting code of length 7 (standard coding theory). □\square

Status: [Т given N=7 (Track A)] — Hamming bound + uniqueness; the length input is the Track-A dimension. (Perfect binary 1-error-correcting codes exist only for n=2r−1n = 2^r - 1; the functional count of Theorem S selects n=7n = 7 among these.)


Step T9. T8 → support of H(7,4) = PG(2,2) [T]​

Statement. The codewords of weight 3 of H(7,4)H(7,4) form exactly 7 triples — the lines of the Fano plane PG(2,2); they are the complements of the 7 non-zero words of the simplex code S(3,7)S(3,7), the dual of H(7,4)H(7,4). (Corrected 2026-09-28: the statement placed the weight-3 words in S(3,7)S(3,7), whose non-zero words all have weight 4.)

Proof. The parity-check matrix of H(7,4)H(7,4) consists of all 7 nonzero columns of F23\mathbb{F}_2^3. The dual code S(3,7)S(3,7), spanned by the rows of that matrix, has 23−1=72^3 - 1 = 7 non-zero words, all of weight 4; it lies inside H(7,4)H(7,4), which also contains 1\mathbf{1}, so their complements are the 7 codewords of weight 3 of H(7,4)H(7,4) (weight distribution 1+7x3+7x4+x71 + 7x^3 + 7x^4 + x^7). Each such word is the characteristic vector of a 3-element subset of {1,…,7}\{1,\ldots,7\}. These 7 triples are the lines of the projective plane PG(2,2)\text{PG}(2,2): each line contains 3 points, each point lies on 3 lines, through any 2 points there is exactly 1 line. Standard result (see §1.5, §1.7). □\square

Status: [T] — standard algebra of finite fields.


Step T10. T9 → autopoietic optimality of the Fano channel among BIBD(7,k,1) [T]​

Statement. Among all S7S_7-invariant BIBD(7,k,λ)(7,k,\lambda)-channels with λ≥1\lambda\geq 1, the Fano channel (v=7,k=3,λ=1v=7,k=3,\lambda=1) is the unique optimal one.

Proof (with λ=1\lambda=1 derived, not assumed).

(Stage 1: λ\lambda is forced.) By T-39a [T] the linear Lindbladian L0\mathcal L_0 is primitive: its unique stationary state is I/7I/7 and no repeated eigenspaces exist. A canonical BIBD channel with λ>1\lambda>1 contains λ\lambda-fold repeated blocks (pairs covered multiple times), which materialise as multiply-copied Lindblad generators and violate primitivity by introducing accidental degeneracies in the Lindbladian spectrum (Evans–Spohn criterion fails; see T-41b). Hence the minimal S7S_7-invariant block design compatible with primitivity has λ=1\lambda=1 — this is derived from T-39a, not assumed. For completeness, λ=1\lambda=1 is also re-derived in Steps T11–T14 from Choi-rank minimality as an independent check; the two arguments coincide.

(Stage 2: kk selection given v=7,λ=1v=7,\lambda=1.) BIBD arithmetic bk(k−1)=v(v−1)λbk(k-1)=v(v-1)\lambda with v=7,λ=1v=7,\lambda=1 yields bk(k−1)=42bk(k-1)=42. Integer solutions with k≥2k\geq 2: (b,k)∈{(21,2),(7,3)}(b,k)\in\{(21,2),(7,3)\}. Larger k∈{4,5,6}k\in\{4,5,6\} give non-integer bb (e.g., k=4:b=7/2k=4:b=7/2), excluded. So admissible designs are (b,k)=(21,2)(b,k)=(21,2) or (7,3)(7,3).

(Stage 3: Dominance of k=3k=3.) Theorem T4 [T]:

  • Contraction: ck=3=(k−1)/(v−1)=1/3c_{k=3}=(k-1)/(v-1)=1/3 vs ck=2=1/6c_{k=2}=1/6. (k=3k=3 stronger.)
  • Number of Lindblad operators: bk=3=7b_{k=3}=7 vs bk=2=21b_{k=2}=21. (k=3k=3 minimal.)
  • Purity loss: ΔPk=3=8/9\Delta P_{k=3}=8/9 vs ΔPk=2=35/36\Delta P_{k=2}=35/36. (k=3k=3 smaller.)
  • Frame-group covariance: the k=3k=3 Fano design is covariant under the octonionic frame group Γ ⁣oct\Gamma_{\!\text{oct}} (it permutes the 7 lines); the k=2k=2 design has only S7×S2S_7\times S_2 block symmetry, which does not embed in Γ ⁣oct\Gamma_{\!\text{oct}}. Retracted [✗] (2026-09-25): both channels equal c id+(1−c) Pbasec\,\mathrm{id}+(1-c)\,\mathcal{P}_{\mathrm{base}} with c=(k−1)/6c=(k-1)/6 (Theorem T1), so both are covariant under the same group — every signed permutation, hence all of Γ ⁣oct\Gamma_{\!\text{oct}} (order 1344) — and the criterion does not discriminate. (Neither pinching design is fully G2G_2-covariant — Fano-channel Th. 5.1a–b.)

k=3k=3 strictly dominates by the first three criteria; the decisive selectors are Choi-rank minimality and BIBD closure. □\square

Status: [T] — non-circular derivation: λ=1\lambda=1 forced by primitivity of L0\mathcal L_0 (Stage 1), then k=3k=3 selected by dominance (Stage 3). Cf. Steps T11–T14 for the Choi-rank re-derivation of λ=1\lambda=1.


Step T11. T10 → Choi rank Φ_{k=3} = 7 [T]​

Statement. The Choi representation rank of the Fano channel DΩ\mathcal{D}_\Omega equals 7 — the minimum number of Kraus operators.

Proof. The Choi representation of channel DΩ\mathcal{D}_\Omega: CD=∑ℓLℓ⊗LˉℓC_{\mathcal{D}} = \sum_\ell L_\ell \otimes \bar{L}_\ell. The Fano channel with 7 lines of PG(2,2) has 7 Lindblad operators LℓL_\ell of rank 3 (projectors onto Fano lines). The operators LℓL_\ell are linearly independent (each pair differs in at least one position). Therefore, rank⁡(CD)=7\operatorname{rank}(C_\mathcal{D}) = 7. This is the minimum number: fewer than 7 operators cannot cover all (72)=21\binom{7}{2} = 21 coherences for k=3k = 3 (each operator covers (32)=3\binom{3}{2} = 3 pairs, and 7×3=217 \times 3 = 21). □\square

Status: [T] — reference: theorem T11 [T] of this document (§5.2).


Step T12. T11 → BIBD(7,3,1) from minimal projective decomposition [T]​

Statement. L-unification of the dissipator at k=3k = 3 and Choi rank = 7 gives BIBD(7,3,1)(7,3,1).

Proof. L-unification (theorem T12 [T]): all Lindblad operators are rank-3 projective operators Lℓ=ΠSℓL_\ell = \Pi_{S_\ell}, where Sℓ⊂{1,…,7}S_\ell \subset \{1,\ldots,7\}, ∣Sℓ∣=3|S_\ell| = 3. The minimal projective decomposition at rank = 7 requires exactly 7 operators. Coverage completeness (T2 [T]): each pair (i,j)(i,j) must be covered by at least one SℓS_\ell. For b=7b = 7 blocks of size k=3k = 3 on v=7v = 7 points: each block covers 3 pairs, total 7×3=21=(72)7 \times 3 = 21 = \binom{7}{2} pairs. The coverage is exact — each pair is covered exactly λ=1\lambda = 1 time. □\square

Status: [T] — reference: theorem T12 [T] of this document (§5.2).


Step T13. T12 → b ≥ 7 lines [T]​

Statement. From Choi rank = 7 (T11) it follows that b≥7b \geq 7.

Proof. The Choi representation rank is a lower bound on the number of Kraus operators (Lindblad operators). If b<7b < 7, then rank⁡(CD)≤b<7\operatorname{rank}(C_\mathcal{D}) \leq b < 7 — a contradiction with T11. Therefore b≥7b \geq 7. Together with the upper bound from T12 (the minimal decomposition gives exactly 7), we have b=7b = 7. □\square

Status: [T] — direct consequence of T11.


Step T14. T13 → λ = 1 [T]​

Statement. From b=7b = 7, k=3k = 3, v=7v = 7 it follows that λ=1\lambda = 1.

Proof. BIBD identity: b⋅k(k−1)=v(v−1)λb \cdot k(k-1) = v(v-1)\lambda. Substituting: 7⋅3⋅2=7⋅6⋅λ7 \cdot 3 \cdot 2 = 7 \cdot 6 \cdot \lambda, so 42=42λ42 = 42\lambda, i.e. λ=1\lambda = 1. This is BIBD(7,3,1)(7,3,1), Steiner system S(2,3,7)S(2,3,7), unique up to isomorphism (Hall, 1967). Condition (МП) becomes a theorem. □\square

Status: [T] — BIBD arithmetic + uniqueness (Hall).


Step T15. T14 → O\mathbb{O}: P1 (division algebra) + P2 (non-associativity) [T]​

Statement. From BIBD(7,3,1)≅PG(2,2)(7,3,1) \cong \text{PG}(2,2) and alternativity (Alt) it follows that the algebraic structure is the octonions O\mathbb{O}, yielding P1 (division algebra) and P2 (non-associativity). The statement always named alternativity; the chain T1–T14 does not supply it by itself, and the canonical-orientation theorem below shows that alternativity is exactly the condition that the orientation be determined by the design.

Proof. (i) BIBD(7,3,1)(7,3,1) is unique (Hall, 1967) and isomorphic to PG(2,2) — the Fano plane (§1.5). (ii) The 7 lines of PG(2,2) define a multiplication table of the 7 imaginary units e1,…,e7e_1,\ldots,e_7 — line (ei,ej,ek)(e_i, e_j, e_k) specifies ei⋅ej=eke_i \cdot e_j = e_k (Baez, 2002) — once each line is given a cyclic orientation, which the design does not carry. Of the 27=1282^7=128 orientations, exactly 16 make the norm multiplicative, and the same 16 make the algebra alternative; they form one orbit of the 272^7 sign changes ei↦−eie_i\mapsto-e_i (stabiliser of order 8: the identity and the seven complements of lines), so all 16 give the same algebra up to isomorphism (test_only_16_of_128_fano_orientations_are_normed). (iii) Given (Alt), the resulting algebra A=span⁡{1,e1,…,e7}\mathcal{A} = \operatorname{span}\{1, e_1, \ldots, e_7\} is normed, hence the unique 8-dimensional normed division algebra (Hurwitz, §1.1), i.e. A=O\mathcal{A} = \mathbb{O}. (iv) O\mathbb{O} is a division algebra (P1) and non-associative (P2: R,C,H\mathbb{R}, \mathbb{C}, \mathbb{H} are associative, O\mathbb{O} is not, §1.3). Additionally: Aut(O)=G2\text{Aut}(\mathbb{O}) = G_2 (§1.6). □\square

Status: [T] with the canonical orientation (Theorem T15-canon below); [C at (Alt)] earlier on 2026-09-25. The former status — "[T] — canonical identification: uniqueness of BIBD(7,3,1)(7,3,1) (Hall) + uniqueness of O\mathbb{O} (Hurwitz)" — is retracted [✗] (2026-09-25): between the two uniqueness theorems sits the choice of one of 128 orientations, and only 16 lead to O\mathbb{O}.


Theorem T15-canon: the canonical orientation of the Fano plane is octonionic [T]​

Added 2026-09-25; it discharges the input (Alt) of Step T15 and answers Problem 5 of §6.

Setting. An orientation ss of the Fano plane D=PG(2,2)D = \mathrm{PG}(2,2) is a cyclic order on each of its seven lines. It defines the algebra As=spanR{1,e1,…,e7}\mathcal{A}_s = \mathrm{span}_{\mathbb{R}}\{1, e_1, \dots, e_7\} with ei2=−1e_i^2 = -1 and eiej=−ejei=eke_i e_j = -e_j e_i = e_k for (i,j,k)(i, j, k) in the cyclic order of an oriented line. A sign change ep↦−epe_p \mapsto -e_p is an isomorphism As≅As′\mathcal{A}_s \cong \mathcal{A}_{s'}, where s′s' reverses the three lines through pp; the 272^7 sign changes act on the 27=1282^7 = 128 orientations with a kernel of order 8 (the empty set and the seven complements of lines, which meet every line in an even number of points), so the gauge classes have 16 elements each and there are 8 of them. The collineation group Aut(D)≅GL(3,F2)\mathrm{Aut}(D) \cong GL(3, \mathbb{F}_2), of order 168, permutes the classes.

Theorem T15-canon [T]
  1. Exactly one gauge class is fixed by every collineation of DD; the other seven form a single orbit, and each of them is fixed only by the stabiliser of one line (order 24).
  2. The fixed class consists precisely of the 16 orientations for which As\mathcal{A}_s is normed (equivalently alternative), i.e. As≅O\mathcal{A}_s \cong \mathbb{O}.
  3. The fixed class is also characterised by each of the following, and the other seven classes fail each of them:
    • (no associating triple) no three units ea,eb,ece_a, e_b, e_c on non-collinear points associate; in every other class 96 of the 168 ordered non-collinear triples do;
    • (definite 3-form) the 3-form φs=∑lines± eijk\varphi_s = \sum_{\text{lines}} \pm\, e^{ijk} has a definite Bryant metric, (x⌟φ)∧(y⌟φ)∧φ∝δ(x,y) vol(x \lrcorner \varphi)\wedge(y \lrcorner \varphi)\wedge\varphi \propto \delta(x,y)\,\mathrm{vol}, signature (7,0)(7,0); in every other class the signature is (4,3)(4,3), the split form, with the three negative directions on the distinguished line;
    • (symmetric frame) the signed permutations of e1,…,e7e_1, \dots, e_7 that are automorphisms of As\mathcal{A}_s form a group of order 13441344 mapping onto GL(3,F2)GL(3, \mathbb{F}_2); in every other class the group has order 192192 and maps onto a line stabiliser.
  4. Consequently, a rule that attaches to a Fano plane an orientation class of that plane, using nothing but the plane — so that isomorphic planes receive corresponding classes — attaches the octonionic class. Every other class can be placed on the seven points only by choosing a line.

Proof. Invariants. For a point pp let χp(s)\chi_p(s) be the product of the signs of the four lines that miss pp. A sign change at q≠pq \neq p reverses the three lines through qq, exactly two of which miss pp; at q=pq = p it reverses none of them. So the seven χp\chi_p are gauge invariants. In coordinates the class of ss is its image in the cokernel of the point–line incidence map F27→F27\mathbb{F}_2^7 \to \mathbb{F}_2^7, whose image is the [7,4][7,4] Hamming code; the cokernel is F23\mathbb{F}_2^3, which gives the 8 classes.

Associators. Label the points by the non-zero vectors of F23\mathbb{F}_2^3, lines being {x,y,x+y}\{x, y, x+y\}. For independent a,b,ca, b, c the two products (eaeb)ec(e_a e_b) e_c and ea(ebec)e_a (e_b e_c) are ±ea+b+c\pm e_{a+b+c}, and their ratio is the product of the signs of the lines {a,b,a+b}\{a, b, a{+}b\}, {b,c,b+c}\{b, c, b{+}c\}, {a+b,c,a+b+c}\{a{+}b, c, a{+}b{+}c\}, {a,b+c,a+b+c}\{a, b{+}c, a{+}b{+}c\} times a sign fixed by the combinatorics. These four lines are exactly the four lines that miss the point a+ca + c, so whether the triple associates is decided by χa+c(s)\chi_{a+c}(s).

Item 1. O\mathbb{O} has signed-permutation automorphisms covering every collineation (the frame group Γ ⁣oct\Gamma_{\!\text{oct}} of order 1344 maps onto GL(3,F2)GL(3,\mathbb{F}_2)), so the octonionic class is fixed. If two classes c≠c′c \neq c' were fixed, their difference would be a non-zero vector of the cokernel F23\mathbb{F}_2^3 fixed by GL(3,F2)GL(3,\mathbb{F}_2); the group acts on it by its natural three-dimensional representation (or its dual), which fixes only 00. So the fixed class is unique. The seven remaining classes differ from it by the seven non-zero vectors of F23\mathbb{F}_2^3, on which GL(3,F2)GL(3,\mathbb{F}_2) acts transitively with stabilisers of order 24.

Items 2–3 are finite statements about 128 orientations and 168 collineations and are verified exhaustively (test_octonionic_orientation_is_the_unique_collineation_invariant_class, together with test_only_16_of_128_fano_orientations_are_normed): the fixed class equals the set of normed orientations; its units associate on 0 of the 168 ordered non-collinear triples against 96 for every other class; the Bryant form is diagonal in the basis with signature (7,0)(7,0) against (4,3)(4,3); the automorphism groups have orders 1344 and 192.

Item 4. A rule that uses nothing but the plane is equivariant under isomorphisms of planes; applied to an automorphism gg of DD, it gives rule(D)=g∗ rule(D)\mathrm{rule}(D) = g_*\,\mathrm{rule}(D) up to gauge, so the class it attaches is fixed by Aut(D)\mathrm{Aut}(D), and by item 1 it is the octonionic class. ■\blacksquare

What this does and does not say. The algebra obtained from the other 112 orientations exists (all of them give one isomorphism type, a non-alternative algebra with split 3-form), so the theorem is not a uniqueness theorem for algebras. It says that such an algebra cannot sit on the Fano frame produced by Steps T1–T14 without an additional datum — a distinguished line — and none of the steps supplies one: every object they use (the line projectors Πℓ\Pi_\ell, the Fano channel, the Hamming code, the BIBD counts) is the same for all 128 orientations. The frame is delivered only up to isomorphism (Hall's uniqueness, Step T14), and the only orientation class that is well defined on it is the octonionic one. In this sense (Alt) is not an extra input but a consequence of canonicity: (Alt) ⟺ the orientation is determined by the design.


Summary table​

StepImplicationDependenciesBasisStatus
T1(AP) ⟹ ∃ φ\exists\,\varphi with fixed point(AP)Brouwer's theorem[T]
T2(QG) ⟹ Γ∈D(H)\Gamma \in D(\mathcal{H}), dim⁡≥2\dim \geq 2(QG)Definition of quantum foundation[T]
T3(AP)+(QG) ⟹ ∃ γij≠0\exists\,\gamma_{ij} \neq 0T1, T2κ0∝∥γOE∥∥γOU∥\kappa_0 \propto \|\gamma_{OE}\|\|\gamma_{OU}\|[T]
T4(V) ⟹ P>2/NP > 2/N(V)T-39a primitivity, T-129 Φth\Phi_\text{th}[T]
T5T3+T4 ⟹ Φ≥1\Phi \geq 1T3, T4T-129 [T][T]
T6(PH) ⟹ rank⁡(ρE)>1\operatorname{rank}(\rho_E) > 1(PH)Non-triviality of qualia[T]
T7T4 ⟹ c>0c > 0T4Exponential suppression of κ0\kappa_0 at c=0c=0[T]
T8T7 + N=7N{=}7 ⟹ H(7,4)H(7,4)T7, Theorem S (Track A: N=7N=7)Hamming bound, uniqueness[T given Track A]
T9T8 ⟹ PG(2,2)T8Weight-3 words of H(7,4)H(7,4) (complements of S(3,7)S(3,7))[T]
T10T9 ⟹ Fano optimalityT9, T7T4 (dominance of k=3k=3)[T]
T11T10 ⟹ Choi rank = 7T107 independent projectors[T]
T12T11 ⟹ BIBD(7,3,1)(7,3,1)T11L-unification + coverage of 21 pairs[T]
T13T12 ⟹ b≥7b \geq 7T11, T12Rank = lower bound[T]
T14T13 ⟹ λ=1\lambda = 1T13BIBD identity: 42=42λ42 = 42\lambda[T]
T15T14 + canonical orientation ⟹ O\mathbb{O} ⟹ P1+P2T14, T15-canonHall + the unique collineation-invariant orientation class (16 of 128) + Hurwitz + Baez[T]
info
Remark on the character of step T15 (PG(2,2) ≅ Im(O)\mathrm{Im}(\mathbb{O}))

That the Fano plane defines the multiplication table of the imaginary units of the octonions is standard algebra (Baez, "The Octonions", 2002) — for the oriented Fano plane. The unordered design of T12–T14 fixes the lines, not their orientations (16 of the 128 give O\mathbb{O}).

However, in the context of the full chain there is a structural identification: the transition from "Lindblad operators are organized according to PG(2,2)" to "the state space has an octonionic algebraic structure" requires identifying a combinatorial isomorphism with an algebraic one.

This identification is not arbitrary: PG(2,2) is the unique BIBD(7,3,1) (Hall, 1967), and the multiplication table of Im(O)\mathrm{Im}(\mathbb{O}) is the unique non-associative normed division algebra of dimension 7 (Hurwitz). Two rigid constraints (dynamical and algebraic) uniquely single out the same structure. Nevertheless, the transition from combinatorial organization to full algebraic interpretation (division, normedness, alternativity) enriches the structure beyond what strictly follows from the dynamical axioms.

Status (corrected 2026-09-25): Steps T1–T14 are [T] as stated (T8 given Track A); Step T15 is [T] with the canonical orientation (T15-canon; it was [C at (Alt)] earlier that day). The former lines "Each of the 15 steps is [T]. The complete chain is closed [T]. The structural identification PG(2,2) → O\mathbb{O} is fixed by uniqueness on both sides (Hall + Hurwitz), making it a canonical identification" are retracted [✗]: the uniqueness on the left is that of the unordered design, the uniqueness on the right is that of normed algebras, and the orientation between them is an input unless canonicity fixes it — which is what T15-canon proves.

Resolution of the ℝ⁷ → ℂ⁷ problem (complexification of octonions)

Problem. Octonions O\mathbb{O} are a real algebra, Im(O)≅R7\mathrm{Im}(\mathbb{O}) \cong \mathbb{R}^7. Quantum mechanics requires C7\mathbb{C}^7. Complexification "doubles the degrees of freedom". How does the imaginary unit ii of quantum mechanics "coherently embed" into O\mathbb{O} without loss of the division algebra property?

Resolution [T]:

  1. Complexification is standard and necessary. C7=R7⊗RC\mathbb{C}^7 = \mathbb{R}^7 \otimes_{\mathbb{R}} \mathbb{C}. The group G2⊂SO(7)G_2 \subset SO(7) canonically embeds into SU(7)SU(7) (since G2G_2 preserves a real structure compatible with the complex one). All G2G_2-invariants are inherited.

  2. "Doubling" = emergence of quantum content. The Hermitian matrix Γ∈D(C7)\Gamma \in \mathcal{D}(\mathbb{C}^7) contains:

    • Diagonal γkk∈R\gamma_{kk} \in \mathbb{R} (7 real): populations (probabilities)
    • Off-diagonal γij∈C\gamma_{ij} \in \mathbb{C} (21 complex): coherences (interference)
    • ∣γij∣|\gamma_{ij}| = coherence amplitude, arg⁡(γij)\arg(\gamma_{ij}) = phase → Gap(i,j)=∣sin⁡(arg⁡(γij))∣\mathrm{Gap}(i,j) = |\sin(\arg(\gamma_{ij}))|

    Phase IS the quantum content. Without complexification there are no phases, no interference, no quantum mechanics.

  3. Division in C7\mathbb{C}^7 and non-associativity. OC=O⊗RC\mathbb{O}_{\mathbb{C}} = \mathbb{O} \otimes_{\mathbb{R}} \mathbb{C} is not a division algebra (by Hurwitz's theorem, the only normed division algebras are ℝ, ℂ, ℍ, O\mathbb{O} — all over ℝ). But this is not needed: UHM uses the automorphism group G2=Aut(O)G_2 = \mathrm{Aut}(\mathbb{O}) and the Fano plane PG(2,2)\mathrm{PG}(2,2), not the algebra O\mathbb{O} itself for calculations. G2G_2 is a compact Lie group defined over R\mathbb{R}, canonically acting on C7\mathbb{C}^7. The Fano plane is a combinatorial structure independent of the coefficient field.

  4. Spectral triple (T-53 [C]) works in C7\mathbb{C}^7: (Aint,Hint,Dint)(A_{\text{int}}, H_{\text{int}}, D_{\text{int}}) with Hint=C7H_{\text{int}} = \mathbb{C}^7. The real structure J:C7→C7J: \mathbb{C}^7 \to \mathbb{C}^7 (antilinear involution) provides the connection to R7\mathbb{R}^7. (The KO-dimension 6 claimed for it is retracted: complex conjugation commutes with the real grading, which is KO-dimension 0 — spacetime, Step 6.)

5.2 Key theorems​

Theorem T1 (Equivalence of BIBD channels) [T]. All (v,k,λ)(v,k,\lambda)-BIBD channels with the same v,kv,k generate the same CPTP channel. The coherence contraction c=(k−1)/(v−1)c = (k-1)/(v-1) is independent of λ\lambda. Corollary: the question "why λ=1\lambda=1?" is replaced by "why k=3k=3?".

Theorem T2 (Coverage completeness) [T]. Connectivity of GHG_H + primitivity of the linear part L0\mathcal{L}_0 ⟹ λij≥1\lambda_{ij} \geq 1 for all pairs. An uncovered pair makes the channel "blind" to the nonzero coherence γij∗\gamma^*_{ij}, violating (AP).

Theorem T3 (Democraticity) [T] under (КГ). Canonical grouping + S7S_7-invariance of Ω-atoms ⟹ coverage is democratic (λ=const\lambda = \text{const}).

T3 vs T6: strengthening without (КГ)

Theorem T6 (uniform contraction) [T] proves democraticity of contraction unconditionally — from the S7S_7-equivariance of the atomic dissipator (T5 [T]). T6 removes the dependence on condition (КГ) in step 4 of the chain.

Theorem T4 (Optimality of k=3) [T]. Among admissible BIBD(7,k,1)(7,k,1) (k∈{2,3}k \in \{2,3\}): k=3k=3 strictly dominates in contraction (1/3 vs 1/6), number of operators (7 vs 21), purity loss (8/9 vs 35/36) (the fourth criterion listed here before, frame-group covariance "Γ ⁣oct\Gamma_{\!\text{oct}} vs S7×S2S_7\times S_2", is retracted: both channels are Γ ⁣oct\Gamma_{\!\text{oct}}-covariant). Full G2G_2-covariance is not a discriminator (neither pinching design has it; see Fano-channel Th. 5.1a–b) — the decisive minimal selectors are Choi-rank =7=7 (T11) and BIBD closure (T13).

Theorem T5 (S7S_7-equivariance of dissipator) [T]. The atomic dissipator Datom\mathcal{D}_\text{atom} with operators Lk=∣k⟩⟨k∣L_k = |k\rangle\langle k| commutes with any permutation σ∈S7\sigma \in S_7: Datom[UσΓUσ†]=UσDatom[Γ]Uσ†\mathcal{D}_\text{atom}[U_\sigma \Gamma U_\sigma^\dagger] = U_\sigma \mathcal{D}_\text{atom}[\Gamma] U_\sigma^\dagger.

Theorem T6 (Uniform contraction) [T]. Corollary of T5: Datom[Γ]ij=−γij\mathcal{D}_\text{atom}[\Gamma]_{ij} = -\gamma_{ij} for all i≠ji \neq j, Datom[Γ]ii=0\mathcal{D}_\text{atom}[\Gamma]_{ii} = 0. All coherences decohere at the same rate — without (КГ).

Theorem T7 (Necessity of c>0c > 0) [T]. The atomic dissipator (c=0c = 0) is incompatible with autopoiesis (AP): under complete decoherence the formula κ0=ω0⋅∣γOE∣⋅∣γOU∣/γOO\kappa_0 = \omega_0 \cdot |\gamma_{OE}| \cdot |\gamma_{OU}| / \gamma_{OO} is suppressed exponentially, violating the D/R\mathcal{D}/\mathcal{R} balance for viability.

Theorem T8 (Hamming bound) [T] (standard). Code H(7,4) is the unique perfect single-error binary code of length 7: 23=7+12^3 = 7 + 1.

Theorem T9 (H(7,4) = PG(2,2)) [T] (standard). The codewords of weight 3 of H(7,4) — the complements of the 7 non-zero words of its dual, the simplex code S(3,7)S(3,7) — form exactly 7 triples = lines of the Fano plane.

Theorem T10 (Autopoietic optimality of Fano) [T]. Among S7S_7-invariant BIBD(7,k,1)(7,k,1)-channels satisfying c>0c > 0 (T7), coverage completeness (T2), democraticity (T6), the unique optimal one is the Fano channel (k=3k = 3, c=1/3c = 1/3).

Theorem T11 (Choi rank) [T]. The Choi representation rank of channel DΩ\mathcal{D}_\Omega equals 7, requiring b≥7b \geq 7 Lindblad operators.

Theorem T12 (L-unification) [T]. L-unification of the dissipator at k=3k=3 gives rank-3 projective operators.

Theorem T13 (BIBD closure) [T]. The combinatorial constraints b=7b=7, k=3k=3, v=7v=7, contraction c=1/3c=1/3 uniquely determine λ=1\lambda = 1, i.e. BIBD(7,3,1)(7,3,1). Condition (МП) becomes a consequence of T11–T13.

Detailed proofs: Lindblad operators.

5.3 Closure of condition (МП) [T]​

Condition (МП) — the principle of minimal representation — has become a theorem. Previously it was the only conditional step of the chain. Theorems T11–T13 close it:

  1. T11 [T]: Choi representation rank = 7, therefore b≥7b \geq 7
  2. T12 [T]: L-unification + k=3k=3 gives rank-3 projective operators
  3. T13 [T]: b=7b=7, k=3k=3, v=7v=7, contraction 1/31/3 ⟹ BIBD(7,3,1)(7,3,1), i.e. λ=1\lambda = 1

Status evolution:

VersionBridge statusConditions
Initial[I]Three interpretive arguments
After T1–T10[C] under (МП)One condition: λ=1\lambda = 1
After T11–T13"[T]"Claimed fully closed, no conditions
2026-09-25, audit[C at (Alt)](МП) closed; the orientation input (Alt) of Step T15 remains
2026-09-25, T15-canon[T]the normed orientations are the unique orientation class determined by the design

Three independent confirmations of λ=1\lambda = 1 (now all [T]):

#ArgumentType
1T11+T13: Choi rank + combinatorics ⟹ b=7b = 7, λ=1\lambda = 1Structural [T]
2BIBD(7,3,1) — unique Steiner system S(2,3,7)S(2,3,7)Mathematical [T]
3H(7,4) — unique perfect code: syndrome completeness at min redundancyInformational [T]

5.4 Information-theoretic interpretation​

The Hamming code H(7,4) gives an information-theoretic justification of the Fano structure:

H(7,4) componentHolon componentInterpretation
7 code positions7 dimensions {A,S,D,L,E,O,U}Information carriers
4 information bits4 "free" degrees of freedomSelf-model content
3 check bits3 "control" observationsPerturbation syndrome
7 words of H(7,4)H(7,4) of weight 37 Fano linesComposite observations
d=3d = 3 (code distance)Distinguishability of 1-errorsMinimum for correction

The number 3 appears in four independent contexts:

  1. K = 3 — number of dynamical types (triadic decomposition [T])
  2. k = 3 — Fano channel block size
  3. r = 3 — number of Hamming code check bits
  4. d = 3 — code distance

5.5 Original motivational arguments [I]​

The three original arguments retain their motivational role, although they are now superseded by the formal chain:

UHM conditionAlgebra propertyConnection
(AP) Autopoiesis: invertibility of φ\varphiDivisibility: ∀a≠0,∃a−1\forall a \neq 0, \exists a^{-1}Invertibility ↔ divisibility
(PH) Phenomenology: ρE≠0\rho_E \neq 0Normedness: ∣ab∣=∣a∣∣b∣\lvert ab\rvert = \lvert a\rvert\lvert b\rvertMetric ↔ norm
(QG) Quantum foundation: nonlinearityNon-associativityContextuality ↔ non-associativity

§5.6 Comparative test against alternative incidence structures​

A skeptical reading of the T15 chain may ask: is there a competing incidence structure (graph, design, or finite geometry) with N≠7N \neq 7 that also satisfies the constraints? This subsection answers explicitly by enumerating the leading candidates and checking each against the seven structural constraints required by UHM.

The seven structural constraints (extracted from T1–T15):

#ConstraintSource stepRequired value
C1Hurwitz dimension: N+1∈{1,2,4,8}N+1 \in \{1,2,4,8\}T15 + §1.1N∈{0,1,3,7}N \in \{0,1,3,7\}
C2E-dimension non-trivial: N≥4N \ge 4T6 (rank ρE>1\rho_E > 1)N≥4N \ge 4
C3Perfect Hamming code of length NN: N=2r−1N = 2^r - 1T8 + §1.7N∈{1,3,7,15,31,…}N \in \{1,3,7,15,31,\ldots\}
C4Steiner triple system STS(N)STS(N): N≡1N \equiv 1 or 3(mod6)3 \pmod 6T9 + HallN∈{3,7,9,13,15,19,21,…}N \in \{3,7,9,13,15,19,21,\ldots\}
C5BIBD closure b=vb=v, k=3k=3, λ=1\lambda=1: bk(k−1)=v(v−1)λbk(k-1) = v(v-1)\lambda with b=vb=vT11–T14N=7N=7 only (Hall, [Hall67])
C6Normed division algebra exists at N+1N+1T15 + §1.3N∈{0,1,3,7}N \in \{0,1,3,7\}
C7G2G_2-rigidity: Aut\mathrm{Aut} = exceptional simple Lie group§1.6 + uniqueness-theoremN=7N=7 only

Dependence among the constraints (added 2026-09-25). C1 and C6 are the same Hurwitz condition (a normed division algebra of dimension N+1N+1 exists), and C7 is a property of the algebra that C1/C6 select, so the table contains five independent constraints, not seven; its C6 and C7 columns repeat C1. C1, C6 and C7 come from Step T15 and therefore carry its orientation, which is the canonical one (T15-canon).

Pass/fail table for candidate structures.

NNCandidateC1C2C3C4C5C6C7UHM-viable?
1R\mathbb R, trivial✓✗✓ (H(1,1)H(1,1))✗✗✓ (R\mathbb R)✗No (C2, C4, C5, C7 fail)
3H\mathbb H, STS(3)STS(3) trivial✓✓✓ (H(3,1)H(3,1) rep)✓ (b=1b=1)✗ (b=1≠3b=1\ne 3)✓ (H\mathbb H)✗ (AutH=SO(3)\mathrm{Aut}\mathbb H = SO(3))No (C5, C7 fail)
7O\mathbb O, PG(2,2)✓✓✓ (H(7,4)H(7,4))✓ (STS(7)STS(7))✓ (b=7,λ=1b=7,\lambda=1)✓ (O\mathbb O)✓ (G2G_2)YES
9AG(2,3)AG(2,3) ternary affine✗✓✗✓ (STS(9)STS(9))✗ (b=12b=12)✗✗No (C1, C3, C5, C6, C7 fail)
13PG(2,3)✗✓✗✓ (STS(13)STS(13))✗ (b=26b=26)✗✗No (C1, C3, C5, C6, C7 fail)
15PG(3,2) + S\mathbb S sedenions✗ (16∉16\notin Hurwitz beyond O\mathbb O)✓✓ (H(15,11)H(15,11))✓ (STS(15)STS(15))✗ (b=35b=35)✗ (S\mathbb S has zero divisors)✗ (AutS≠\mathrm{Aut}\mathbb S \neq simple)No (C1, C5, C6, C7 fail)
21PG(2,4)✗✓✗✓ (STS(21)STS(21))✗ (b=70b=70)✗✗No (5 constraints fail)

Conclusion (Theorem on uniqueness of N=7N=7 under (AP)+(PH)+(QG)+(V)). The conjunction C1∩C2∩C3∩C4∩C5∩C6∩C7C1 \cap C2 \cap C3 \cap C4 \cap C5 \cap C6 \cap C7 is satisfied by exactly one value of NN, namely N=7N=7. Status: the finite check is [T]; as a statement about the axioms it is [T] through C1, C6, C7 with the canonical orientation of Step T15 ([C at (Alt)] until T15-canon), while the route through C5 alone uses T11–T14, which were run at N=7N=7 taken from Track A. Until 2026-09-25 the conclusion was marked [T] without this split.

Proof. C1∩C3={N:N+1∈{2,4,8}∧N=2r−1}={1,3,7}C1 \cap C3 = \{N : N+1\in\{2,4,8\} \wedge N = 2^r - 1\} = \{1,3,7\} (intersection of Hurwitz and Mersenne-1 sets). C2C2 adds N≥4N\ge 4, removing 11 and 33, leaving {7}\{7\}. C5C5 independently isolates N=7N=7 via Hall's BIBD closure theorem. C6C6 confirms O\mathbb O is the relevant division algebra. C7C7 locks the gauge group to G2G_2 via uniqueness of Aut(O)\mathrm{Aut}(\mathbb O) as the unique exceptional simple Lie group obtainable as automorphisms of a Hurwitz algebra at this dimension. All seven constraints converge on N=7N=7. □\square

Notable near-misses (and why they fail):

  • N=3N=3 (H\mathbb H quaternions, STS(3)STS(3)). Passes C1, C2, C3, C4, C6 but fails C5 (Steiner triple system on 3 points has only one block, b=1≠3b=1\ne 3) and C7 (Aut(H)=SO(3)\mathrm{Aut}(\mathbb H) = SO(3), classical not exceptional). Insufficient combinatorial richness for the UHM dynamics.
  • N=9N=9 (AG(2,3)AG(2,3) ternary affine plane). A Steiner triple system STS(9)STS(9) exists with 12 blocks of size 3 covering all 36 pairs. Fails C1 (no normed division algebra of dim 10), C3 (no perfect Hamming code of length 9), C5 (block count b=12≠v=9b=12\ne v=9), C6 and C7. Mathematically fine as a design but cannot host UHM physics.
  • N=15N=15 (PG(3,2)PG(3,2), H(15,11)H(15,11), S\mathbb S sedenions). Passes C2, C3, C4. Fails C1 (Hurwitz cuts off at dimension 8; S\mathbb S has zero divisors), C5 (b=35b=35 blocks for STS(15)STS(15)), C6, C7. The sedenion case is particularly instructive: passing the Cayley–Dickson boundary, one loses divisibility, and the automorphism group splits (Aut(S)=G2×S3\mathrm{Aut}(\mathbb S) = G_2 \times S_3, no longer simple) — both C6 and C7 fail.

Operational replication test. An independent investigator can verify the table by:

  1. Running the BIBD identity b⋅k(k−1)=v(v−1)λb\cdot k(k-1) = v(v-1)\lambda for (v,k,λ)=(N,3,1)(v,k,\lambda) = (N,3,1) and checking b=vb = v.
  2. Checking N+1∈{2,4,8}N+1 \in \{2,4,8\} for normed-division-algebra existence (Hurwitz, finite check).
  3. Checking N=2r−1N = 2^r - 1 for Hamming-code length (finite check).
  4. Looking up Aut\mathrm{Aut} of the candidate algebra in any standard reference (e.g., Baez 2002 The Octonions, §3) and verifying it is one of the five exceptional simple Lie groups.

The pass/fail outcome of these four mechanical checks is what fixes N=7N=7 uniquely. There is no fitting freedom.


§5.7 Precedents and related programmes​

The route "normed division algebra → octonions → seven imaginary units → G2G_2 and the Fano plane" was not opened by UHM. Since 1973 the octonionic lineage has followed it to model particles, and since 1983 the division algebras have been used to fix physical dimension counts. What is UHM's own is the claim that the octonions are forced — derived from (AP)+(PH)+(QG)+(V) by the T15 chain of §5.1 (registry row 41n) — whereas every programme below takes the division algebras as input. The entries record what each did first, and where it is stronger or weaker than the derivation above.

Hurwitz as a dimension selector (Kugo and Townsend, 1983; Baez and Huerta, 2010). Using the Hurwitz theorem of §1.1 to fix a physical number is older than UHM. Kugo and Townsend related supersymmetry to the four division algebras ("Supersymmetry and the division algebras", Nucl. Phys. B 221, 357–380 (1983)); Baez and Huerta prove that Yang–Mills fields minimally coupled to massless spinors are supersymmetric exactly when spacetime has dimension 3, 4, 6 or 10 — the dimension of R\mathbb{R}, C\mathbb{C}, H\mathbb{H} or O\mathbb{O} plus two ("Division algebras and supersymmetry I", Proc. Symp. Pure Math. 81, 65–80 (2010), arXiv:0909.0551). Standing: established theorems. Parallel: §3 uses the Hurwitz theorem to pass from P1+P2 to N=7N=7 [I]. Difference: there the count follows from an algebraic identity inside a field theory and counts spacetime dimensions; here it follows from the premises P1 (division algebra) and P2 (non-associativity) and counts the dimensions of a holon.

Dixon (1994): the algebra R⊗C⊗H⊗O\mathbb{R}\otimes\mathbb{C}\otimes\mathbb{H}\otimes\mathbb{O}. Geoffrey Dixon built the first extended model of Standard Model structure on all four division algebras at once (Division Algebras: Octonions, Quaternions, Complex Numbers and the Algebraic Design of Physics, Kluwer, Dordrecht 1994, DOI 10.1007/978-1-4757-2315-1). The 64-real-dimensional algebra R⊗C⊗H⊗O\mathbb{R}\otimes\mathbb{C}\otimes\mathbb{H}\otimes\mathbb{O}, now called the Dixon algebra, carries there the quarks and leptons with their U(1)×SU(2)×SU(3)\mathrm{U}(1)\times\mathrm{SU}(2)\times\mathrm{SU}(3) gauge fields — Baez describes the model, built on C⊗H⊗O\mathbb{C}\otimes\mathbb{H}\otimes\mathbb{O}, as one "in which the 3 forces arise naturally from the three factors in this tensor product" — and the model is linked to ten-dimensional spacetime. Standing: the founding text of the tensor-product line; later work kept the algebra and changed the construction — Furey: "our implementation of this algebra differs significantly, particularly with respect to chirality and weak isospin, and in our treatment of antiparticles" (thesis, arXiv:1611.09182). Parallel: the selection of O\mathbb{O} in §3 [I]. Difference: Dixon needs C\mathbb{C}, H\mathbb{H} and O\mathbb{O} together and lets the algebra itself carry particle states; UHM uses only Im(O)\mathrm{Im}(\mathbb{O}), and the box on the R7→C7\mathbb{R}^7\to\mathbb{C}^7 problem in §5.1 states that it uses G2G_2 and the Fano plane, "not the algebra O\mathbb{O} itself for calculations". UHM therefore carries less algebraic structure than Dixon and derives no particle representation from it.

Günaydın and Gürsey (1973, 1974): colour as the stabiliser of one unit. The corollary of §4.1 — G2G_2 acting on Im(O)\mathrm{Im}(\mathbb{O}) — was read physically long before UHM: Günaydın and Gürsey identified the subgroup SU(3)⊂G2\mathrm{SU}(3)\subset G_2 that fixes one imaginary unit with quark colour (J. Math. Phys. 14, 1651–1667 (1973), DOI 10.1063/1.1666240); see G₂-structure, §2.6.

Furey (2014–2025): the complex octonions as a particle algebra. Furey's programme is the most developed modern form of the lineage. Minimal left ideals of C⊗O\mathbb{C}\otimes\mathbb{O} — the smallest subspaces that the algebra maps into themselves under left multiplication — reproduce one generation of quarks and leptons under SU(3)c×U(1)em\mathrm{SU}(3)_c\times\mathrm{U}(1)_{\mathrm{em}}, with electric charge given by a number operator, Q=N/3Q=N/3 (thesis, University of Waterloo 2015, arXiv:1611.09182); the 64-complex-dimensional algebra generated by C⊗O\mathbb{C}\otimes\mathbb{O} acting on itself contains the SU(3)c\mathrm{SU}(3)_c and U(1)em\mathrm{U}(1)_{\mathrm{em}} representations of exactly three generations (JHEP 10 (2014) 046, arXiv:1405.4601; Phys. Lett. B 785, 84–89 (2018), arXiv:1910.08395). With Hughes she places one full generation of Standard Model Weyl representations in a single copy of R⊗C⊗H⊗O\mathbb{R}\otimes\mathbb{C}\otimes\mathbb{H}\otimes\mathbb{O} (Phys. Lett. B 827, 136959 (2022), arXiv:2209.13016) and reads the breaking chain Spin(10)\mathrm{Spin}(10) → Pati–Salam → left–right symmetric → Standard Model with B−LB-L off O\mathbb{O}, H\mathbb{H} and C\mathbb{C} in turn (Phys. Lett. B 831, 137186 (2022), arXiv:2210.10126). Standing: active; by her own account three generations remain an open checkpoint (Ann. Phys. (Berlin) 537, 2400323 (2025), arXiv:2312.12799). Parallel: the box of §5.1 that sets the complexified octonions O⊗C\mathbb{O}\otimes\mathbb{C} aside as not needed [I]. Difference: Furey's programme is built on exactly these complexified octonions and extracts from them the representation content — colour, charge, chirality — that UHM's use of G2G_2 and the Fano plane does not produce. Conversely, Furey assumes the division algebras, while UHM claims to derive O\mathbb{O}.

The exceptional Jordan algebra (Dubois-Violette 2016; Todorov and Dubois-Violette 2018; Krasnov 2021; Boyle 2026). This line takes as internal quantum space the exceptional Jordan algebra J3(O)J_3(\mathbb{O}) of Hermitian octonionic 3×33\times3 matrices (Dubois-Violette, Nucl. Phys. B 912, 426–449 (2016), arXiv:1604.01247). Its automorphism group is F4F_4, and the Standard Model group is the intersection of the maximal subgroups Spin(9)\mathrm{Spin}(9) and (SU(3)×SU(3))/Z3(\mathrm{SU}(3)\times\mathrm{SU}(3))/\mathbb{Z}_3 of F4F_4, while inside G2G_2 the same method yields only SU(3)\mathrm{SU}(3) or U(2)\mathrm{U}(2) (Todorov and Dubois-Violette, Int. J. Mod. Phys. A 33, 1850118 (2018), arXiv:1806.09450); Krasnov characterises GSMG_{\mathrm{SM}} inside Spin(9)\mathrm{Spin}(9) by a complex structure fixed by one unit imaginary octonion (J. Math. Phys. 62, 021703 (2021), arXiv:1912.11282); Boyle passes to the complexified algebra, obtains a left–right symmetric extension of the Standard Model and proposes that the three generations come from triality (J. Math. Phys. 67, 071701 (2026), arXiv:2006.16265). Standing: published; the group theory holds, the physical interpretation is open. Parallel: the G2G_2 corollary of §4.1, and T-220, the absence of a structure-preserving reduction from F4F_4 to G2G_2 (Fundamental closures, §14) [I]. Difference: the lineage obtains GSMG_{\mathrm{SM}} by going up from G2G_2 to F4F_4 or E6E_6; UHM stays at G2=Aut(O)G_2=\mathrm{Aut}(\mathbb{O}) and must supply the remaining rank elsewhere (Standard Model from G₂).

Manogue and Dray (1999, 2010): one preferred unit. Choosing one preferred imaginary unit reduces octonionic ten-dimensional spacetime to four dimensions and singles out three quaternionic subalgebras, which the authors read as three generations (Mod. Phys. Lett. A 14, 99–103 (1999), arXiv:hep-th/9807044; J. Phys. Conf. Ser. 254, 012005 (2010), arXiv:0911.2253); see Spacetime and Fermion generations, §1.3.

Baez (2002): the Fano plane needs orientations. Step T15 cites Baez's review for the rule "line (ei,ej,ek)(e_i,e_j,e_k) specifies ei⋅ej=eke_i\cdot e_j=e_k". The review states the rule for a Fano plane whose seven lines each carry a cyclic orientation: with the arrows drawn, the plane "completely describes the algebra structure of the octonions"; equivalently, O\mathbb{O} is the group algebra of Z23\mathbb{Z}_2^3 twisted by a sign function (Bull. Amer. Math. Soc. 39, 145–205 (2002), arXiv:math/0105155). Standing: standard; on physics Baez wrote that "there is still no proof that the octonions are useful for understanding the real world". Difference, and a gap in T15: Steps T12–T14 derive the unordered design BIBD(7,3,1)(7,3,1), and a block design carries no orientation. Of the 27=1282^7=128 ways to orient the seven lines of this corpus's Fano plane, 16 give a normed algebra — the octonions — and 112 give algebras in which the norm is not multiplicative (direct check). The orientation, and with it P1, is therefore an input of Step T15 rather than an output of T12–T14; the remark after the summary table of §5.1 concedes that the passage "enriches the structure beyond what strictly follows from the dynamical axioms". On 2026-09-25 Step T15, P1, P2 and registry row 41n were lowered to [C at (Alt)] for this reason; the same day T15-canon showed that the design determines exactly one orientation class, the octonionic one, and they are [T] for it.

M-theory on G2G_2-holonomy manifolds (Problem 4 below). The programme that Problem 4 asks about exists. Compactifying eleven-dimensional M-theory on a seven-dimensional manifold whose holonomy group — the group generated by parallel transport around closed loops — is G2G_2 gives four-dimensional theories with one supersymmetry; non-abelian gauge groups and chiral fermions require singularities of the seven-manifold (Acharya and Gukov, Phys. Rep. 392, 121–189 (2004), arXiv:hep-th/0409191; Atiyah and Witten, Adv. Theor. Math. Phys. 6, 1–106 (2002), arXiv:hep-th/0107177). Standing: an active programme within string theory, without experimental confirmation. Difference: there the seven are the dimensions of a curved space with G2G_2 holonomy, orthogonal to four-dimensional spacetime (11=4+711=4+7); in UHM they are the dimensions of a state space on which G2G_2 acts by automorphisms of O\mathbb{O}. The shared ingredient is the group; the corpus establishes no map between the two.

Critiques that apply. We found no peer-reviewed critique aimed specifically at octonionic derivations; two published critiques of the wider genre bear on this page. Distler and Garibaldi prove that embedding the Lorentz group and the Standard Model gauge group in a real or complex form of E8E_8, in the way such unified models require, never yields a chiral theory, and that three generations do not even fit by dimension ("There is no 'Theory of Everything' inside E8E_8", Commun. Math. Phys. 298, 419–436 (2010), arXiv:0905.2658): an exceptional structure that contains the right numbers need not contain the right representations. Good gives criteria for judging numerical coincidences — prior probability, simplicity, and "consilience" with independent formulas ("A quantal hypothesis for hadrons and the judging of physical numerology", in Disorder in Physical Systems, ed. G. Grimmett and D. Welsh, Oxford University Press 1990, 129–165). Both apply here. §5.4 lists four "independent" appearances of the number 3 in a structure rich in small integers (7 points, 7 lines, 3 points per line, 3 lines per point, 168 automorphisms). And the seven constraints of §5.6 are not seven independent tests: C1 and C6 state the same Hurwitz condition, and C7 is a property of the algebra that those two select; the convergence on N=7N=7 rests on C5 alone, or on C1, C2 and C3 together.

Ingredient used on this pageFirst publishedWhat it means for the claims above
Hurwitz theorem fixing a physical dimension countKugo and Townsend 1983the method is prior art; its use for N=7N=7 is UHM's own
SU(3)⊂G2\mathrm{SU}(3)\subset G_2 as the stabiliser of one unit; 7=1⊕3⊕3ˉ7=1\oplus3\oplus\bar{3}Günaydın and Gürsey 1973prior art for the colour reading and for the sector split
Division algebras as the algebra of particle statesDixon 1994; Furey 2014 onwardsthe lineage is stronger on representation content
Three generations from the lines through a chosen unitManogue and Dray 1999prior art for the count used in fermion generations
GSMG_{\mathrm{SM}} from exceptional groupsTodorov and Dubois-Violette 2018reached through F4F_4, not through G2G_2
Fano plane as a multiplication tablestandard; reviewed by Baez 2002needs orientations that T12–T14 do not supply

§6. Open Problems​

Problem 1 (Principle of minimal representation) — solved [T]. Theorems T11–T13 prove λ=1\lambda = 1 from axioms A1–A5. The bridge is closed [T] with the canonical orientation (see Problem 5).

Problem 2 (G2G_2-covariance). Are the UHM evolution equations G2G_2-covariant? If so, G2G_2 provides 14 independent "gauge" degrees of freedom.

Problem 3 (Fano structure of coherences). Are the 7 triples of the Fano plane privileged in the structure of Γ\Gamma? Verifiable prediction: coherences within Fano triples correlate more strongly.

Problem 4 (Physical realization of G2G_2). Is the G2G_2 structure related to M-theory compactifications on G2G_2-manifolds (11 = 4 + 7)? That programme exists and is active; what it shares with UHM, and what it does not, is set out in §5.7.

Problem 5 (Orientation of the Fano lines) — answered [T] (2026-09-25). The problem was to derive (Alt) — the choice of one of the 16 normed orientations out of 128 — from (AP)+(PH)+(QG)+(V), or to show that it is independent of them. Both halves have an answer. (Alt) is independent of Steps T1–T14 taken as statements about the unordered design: they are orientation-blind, and all 128 orientations are compatible with them. And (Alt) is exactly the condition that the orientation be determined by the design: the 16 normed orientations are the unique collineation-invariant class, while every other class needs a distinguished line (T15-canon). The bridge, P1 and P2 are [T] for the canonical orientation.


Related documents: