Uniqueness Theorem of Holonomic Representation
The uniqueness theorem of holonomic representation is a theorem [T] about carrying the octonionic multiplication of the oriented Fano plane. From the axioms that structure follows through the bridge T15 (registry row 41n) with the canonical orientation of the Fano lines — the unique orientation class invariant under the collineations of the design (T15-canon) — so the theorem is [T] as a consequence of the axioms. Earlier on 2026-09-25 this box read "[T] given the octonionic structure; that structure is [C at (Alt)]"; that orientation input is discharged. Before that it read "[T] — all steps proven, relying exclusively on previously proven results". It relies on:
The corpus uses in two roles that must not be conflated; this box fixes the split, and every other page defers to it.
- Kinematic rigidity. The maximal subgroup of preserving the octonionic 3-form is (Lemma G4). Two holonomic representations of one system can differ by an element of — never by more. This is the content of the theorem below, and it fixes the count of -orbit invariants of the kinematic state (spectrum + -relative angles).
- Dynamical identification. The axiomatic dynamics — pinching dissipator , the regeneration coefficient , the PW clock — is not -covariant: it breaks to the finite octonionic frame group (Theorem 5.1b [T]; , order — the 168 Fano-line-preserving basis permutations together with the 8 sign patterns constant on Fano lines; see frame rigidity). Hence the transformations relating physically indistinguishable descriptions of one holon form , not the 14-dimensional : all 48 real parameters of are physical (modulo a finite relabelling of axes), and the frame-pinned observables , , are physical observables with well-defined thresholds (, ).
Consequently, wherever the corpus says "34 physical parameters", "states related by are physically identical" or ", are -invariant", the statement is to be read through this decision: 34 counts kinematic -invariants; physical identity is -identity; and are frame-pinned, not -invariant (an explicit with sends to and from to ; a full rotation sends to ). keeps its physical role as the structure group of the octonionic sector: , the Fano selection rules, and the decomposition (T-301).
This is not a choice among options: it is forced. The theorem below shows that is preserved by no continuous group at all, so any reading on which the L2 condition is a physical condition must take a discrete identification group. See frame rigidity.
Theorem (Frame rigidity: admits no continuous symmetry) [T]
Let be the integration measure. Then the largest subgroup of preserving on all states is the hyperoctahedral group of signed permutations; its intersection with is the finite octonionic frame group , of order
the maximal subgroup . In particular no continuous subgroup of (or even of ) preserves : .
Proof. On real pure states , , one has and , hence
a strictly decreasing function of . So a linear map preserving on this family preserves the -norm on the unit -sphere and, by homogeneity, on all of . By the Banach–Lamperti theorem (the linear isometries of , , are exactly the signed permutations of coordinates) such a map is a signed permutation. Signed permutations preserving the associative 3-form form : the permutation part must be a collineation of () and the sign part must satisfy on each Fano line — the simplex code , of size . Conversely every such map preserves both and the coordinate diagonal, hence .
Machine verification (2026-09-10). Exhaustive enumeration over signed permutations: , with exactly distinct permutation parts and a sign-only subgroup of order ; permutation parts of order 7: , i.e. Singer subgroups of (in itself each lifts eight times: elements of order 7; clarified 2026-09-25). First-order rigidity by least squares over random pure states: and . The identity was checked to .
Every candidate for "which transformations relate physically indistinguishable descriptions" is a subgroup of ; there are four natural ones. The parameter count is (generic orbit); invariance is stated for the frame-referenced observables. All rows are machine-verified.
| Identification group | Parameters | (No-Zombie) | (L2) | |
|---|---|---|---|---|
| 14 | 34 | not invariant (witness: ) | not invariant (witness: ) | |
| 8 | 40 | not invariant (witness: ) | not invariant (witness: ) | |
| 3 | 45 | invariant | not invariant (witness: ) | |
| (frame group) | 0 | 48 | invariant only under the of elements that keep the -axis (witness for the others: ) | invariant (all ) |
Corrected 2026-09-25. The frame-group row read ": invariant"; that is retracted: an element of that moves the -axis to another axis takes from to , and exhaustive enumeration finds preserved on exactly elements — those that keep the -axis ( fix , send it to ) — while is preserved on all (regression test test_coh_e_is_invariant_only_on_the_e_axis_stabiliser).
Reading the lattice: needs only a distinguished -axis, so the No-Zombie threshold survives on the stabiliser of that axis — already at , in fact on the whole eight-dimensional (a rotation fixing fixes and the norm of the -row), and in the frame group only on its -axis stabiliser. survives nowhere above the discrete row — by the rigidity theorem this is not an artefact of the present definition of the window but of itself. Hence the corpus takes the last row: the identification group is and all 48 parameters are physical. (With the corrected row, the only group of the lattice that preserves both observables with the axes held fixed is the -axis stabiliser inside , of order ; the frame decision takes with the functional labels carried along with the axes, as in Step 4 of the proof below, so that is read on the image of the -axis.) The alternative — keeping a continuous group — is available only at the price of rewriting the L2 condition in invariants of that group (for : 45 parameters, replaced by an -invariant), and the octonionic reading would then have to rebuild the phenomenology of the 21 pairs on .
Problem statement
The problem of the map G
The central task of operationalizing UHM is the map G:
which assigns to a physical system satisfying (AP)+(PH)+(QG)+(V) its coherence matrix .
In the ontology of UHM, is a primary object: the system is its coherence matrix. The problem of G is not "how to compute from something more fundamental," but "is the identification of for a given system unique?"
Analogy with Stone–von Neumann
| Quantum mechanics | UHM | |
|---|---|---|
| Primitive | Canonical commutation relations | Primitive |
| Representation | Realization of on | Holonomic representation |
| Uniqueness theorem | Stone–von Neumann: representation is unique up to | This theorem: representation is unique up to |
| Gauge group | (infinite-dimensional) | (14-dimensional) |
| Physical parameters | Infinitely many (quantum numbers) | 48 (all, modulo the finite frame group ); 34 = 48 14 of them are kinematic -orbit invariants (D-0910) |
The key distinction: in QM the gauge group is infinite-dimensional (), leaving enormous freedom. In UHM the kinematic gauge group is finite-dimensional , which radically restricts this freedom and increases the predictive power of the theory — and the axiomatic dynamics narrows it further to the finite frame group (frame decision D-0910 above).
Definitions
Definition G1 (Holonomic representation)
A holonomic representation of a system satisfying (AP)+(PH)+(QG)+(V) is a triple , where:
- — Hilbert space of the holon
- — ordered orthonormal basis with functional labeling (7 dimensions)
- — map compatible with UHM dynamics
Compatibility condition (covariance): For any physical trajectory of system :
where is the logical Liouvillian defined by axioms A1–A5 in basis .
Definition G2 (Equivalence of representations)
Two holonomic representations and are equivalent if there exists such that:
and (basis transformation).
Definition G3 (Gauge group)
The gauge group is the maximal subgroup whose elements generate equivalent representations, preserving all structures defined by axioms A1–A5.
Preliminary results
All results below have status [T] and are proven in the respective documents.
P1. Primitivity of (linear part) [T]
The linear part of the Liouvillian is primitive (T-39a): there exists a unique stationary state for , and for any initial :
The full nonlinear operator has a unique non-trivial attractor with (T-96 [T]).
Spectrum of on the space (traceless Hermitian matrices, ):
P2. Functional uniqueness of dimensions [T]
All 7 dimensions are functionally unique:
- Each dimension performs an irreducible function (F1–F7)
- E is unique [T]: (PH) + (requires ) + rank greater than 1
- O is unique [T]: [T] + (, , ) + PW (A5) + functional independence
- E O [T]: causal + categorical (O = E degenerates )
P3. Bridge T15 [T]
Full chain (AP)+(PH)+(QG)+(V) P1+P2 of 12 steps; the steps up to PG(2,2) are [T], and the step to takes the canonical orientation of the seven lines: only 16 of the 128 orientations are normed, and they form the only orientation class the design itself determines (T15-canon; registry row 41n). The chain was stated as "all [T]" until 2026-09-25 without the orientation step, then as [C at (Alt)] the same day until T15-canon:
P4. L-unification [T]
Lindblad operators are derived from the classifier :
Fano operators are defined by the 7 lines of PG(2,2):
P5. Covariance groups of the dissipators [T]
The Fano dissipator is proportional to the atomic one, (Theorem 5.1a [T]), and therefore shares its symmetry group: both are covariant under the finite octonionic frame group (and -equivariant),
and neither is covariant under the full continuous (Theorem 5.1b [T]; machine check: against for a generic ). The genuinely -covariant dissipator built from exists (Theorem 5.1c) but is not the axiomatic UHM dissipator. Hence is a symmetry of the kinematics (the 3-form), not of the dynamics — the frame decision D-0910 above. (Earlier drafts of this section stated "the Fano dissipator is -covariant"; that statement is retracted.)
New lemmas
Lemma G1: Spectral injectivity of propagator [T]
For any the map is injective on , where is the linear part of the Liouvillian.
Proof.
Let act on (). By primitivity [T] (§P1):
(the zero eigenvalue corresponds to the invariant component , factored out into the complement of ).
For the propagator the eigenvalues are: . Since :
All eigenvalues of the propagator are nonzero, therefore is non-degenerate on , i.e. injective.
Corollary G1.1 (Recoverability of initial state): Knowing for some and the parameters of , the initial state is determined uniquely.
Lemma G2: Well-posedness of nonlinear inverse problem [T]
The full evolution equation , including the nonlinear regenerative term , has uniqueness of solutions: for any the trajectories for all .
Proof.
The right-hand side , where:
(a) Lipschitz continuity. The linear terms (, ) are Lipschitz (linear operators on a finite-dimensional space). The nonlinear term:
- , where is a rational function of matrix elements [T]
- on — the denominator is bounded away from zero
- The product is a smooth function on the compact set , hence locally Lipschitz
(b) Picard–Lindelöf theorem. On the compact set local Lipschitz continuity guarantees existence and uniqueness of the solution to the Cauchy problem for any initial condition .
(c) Injectivity of flow. From uniqueness of the Cauchy problem: if , then for all in the domain of existence (trajectories do not intersect in phase space — a standard result of ODE theory).
Lemma G3: Axiomatic definiteness of structures [T]
Axioms A1–A5 uniquely determine (in the given basis ) the following structures:
(i) Atomic projectors (from L-unification [T])
(ii) The system of Fano lines with its orientation, i.e. the structure constants (from bridge T15: the lines [T], their canonical orientation [T] by T15-canon)
(iii) E-projection (from Coh_E [T])
(iv) Page–Wootters tensor decomposition , singling out O (from A5)
(v) The regeneration formula , singling out (from categorical derivation of κ₀ [T])
Proof. Each structure is derived from the axioms:
- (i): L-unification [T] — atoms of classifier
- (ii): Bridge T15 — uniqueness of BIBD PG(2,2) (Hall 1967) [T]; the orientation that turns the lines into the structure constants is the canonical one, the unique collineation-invariant class (T15-canon [T]; registry row 41n). This line read "Bridge T15 [T]" without the orientation step until 2026-09-25, then named the orientation as the input (Alt) until T15-canon
- (iii): HS-projection theorem [T] — orthogonal projection in Hilbert–Schmidt space
- (iv): Axiom A5 (Page–Wootters) — explicit postulate
- (v): Adjunction [T] — formula for from categorical derivation.
Lemma G4: The octonionic-structure gauge group is [T]
The maximal subgroup preserving the octonionic associative 3-form — equivalently, the structure constants of Lemma G3(ii) — is , where , . The scalars preserve every 3-form and act trivially on density matrices, so on states the gauge group is . (It read "is exactly " until 2026-09-25.)
The remaining structures of Lemma G3 — the atomic projectors (i), the E-projection (iii), the PW clock (iv), the formula (v) — are not -invariant; they fix a functional frame (a choice of gauge) inside each -orbit. Two representations related by carry their frames into one another.
Proof. We show in two inclusions.
(A) . By definition preserves the 3-form, and preserves the Hermitian structure. Hence every preserves , i.e. . The scalars , , preserve every 3-form, so as well.
Since is an irreducible -module (Cartan 1894), by Schur's lemma it has no nonzero proper -invariant subspace. Consequently:
- no coordinate axis — in particular the E, O, U axes — is -invariant; a generic rotates it;
- the set of atomic projectors is preserved only by the finite frame subgroup of order (permutation part , order 168; sign part of order 8 — frame rigidity), not by all of ;
- hence , and , which reference the E/O/U axes, are frame-dependent: invariant under of the chosen frame, not under all of — under the whole frame group , only under its elements that keep the -axis, only under the elements that keep the axes it references. They are physical because the frame is pinned by the dynamics (Definition G1's -covariance), not because they descend to .
The genuinely -invariant content is the spectrum (6 numbers) plus the -relative angles (28) — the parameters of Corollary 1.
(B) . Let .
Step B1 (Lie algebra). Write as with real antisymmetric and real symmetric. Since is real, vanishes only if and , i.e. only if and lie in the Lie algebra of ; a symmetric in is zero. So the Lie algebra of is and its identity component is (machine check: the stabiliser of in has real dimension ).
Step B2 (normaliser). normalises the identity component, so is an automorphism of . has no outer automorphisms, so there is with for all , and commutes with . Since is an irreducible -module (Cartan 1894), Schur's lemma gives with .
Step B3 (the scalar). preserves , and , so and . The product is direct: is central, and is not real, so .
Corrected 2026-09-25: part (B) started from a preserving "all five structures of Lemma G3" (not the hypothesis of the lemma) and relied on a box asserting that "preservation of all 7 such subspaces is equivalent to preservation of the octonionic cross-product". That equivalence is false: every diagonal unitary preserves the seven coordinate line subspaces, and a generic one does not preserve (machine check). The former Step B3 assumed that preserves the real structure, which does not. Steps B1–B3 and the box are replaced by the argument above; the lemma changes only by the scalars , which act trivially on states.
The group of combinatorial automorphisms of PG(2,2) is finite: , . The group is a compact Lie group, . Relation: every collineation of PG(2,2) has exactly lifts — signed permutations of the basis that are automorphisms of ; the lifts form the frame group of order , a non-split extension , so the collineation group is a quotient of , not a subgroup of it. (Until 2026-09-25 this read " as a finite subgroup — every permutation of 7 points compatible with PG(2,2) extends to a continuous automorphism of "; as bare permutations only of the collineations are automorphisms.) Part (B) uses only the 3-form , not the combinatorics of the lines.
Main theorem
Theorem (G₂-rigidity of holonomic representation) [T]
Let be an autonomous system satisfying (AP)+(PH)+(QG)+(V), with carrying the octonionic multiplication of Lemma G3(ii) (from the axioms through the bridge T15 with the canonical orientation, T15-canon). Let and be two holonomic representations of (Definition G1).
Then there exists a unique such that:
Equivalently: the holonomic representation is unique up to gauge group .
Sharpening (frame decision D-0910). Because itself is covariant only under the finite frame group, the intertwiner of two representations that share the same axiomatic dynamics lies in . The statement is the kinematic envelope — the largest group any two representations can differ by; the statement is the dynamical identification.
Proof
Step 1: Definiteness of dynamics in each representation.
In representation axioms A1–A5 determine the Liouvillian (Lemma G3 [T]). The compatibility condition (Definition G1) guarantees:
Step 2: Construction of intertwiner .
Define as:
(the inverse exists on the image ). From the compatibility conditions:
Step 3: is conjugation by a unitary operator.
Both representations describe the same physical system and generate the same observables. The spectrum of (set of eigenvalues) is invariant: for all (since the spectral observables — purity , von Neumann entropy, the eigenvalues — must coincide; the frame-pinned observables such as are carried covariantly and enter in Step 4).
A spectrum-preserving map on is conjugation by a unitary (or antiunitary) operator — this is Wigner's theorem (Wigner 1931) in the form of Kadison (Kadison 1965):
(the antiunitary case is excluded since is continuously connected to the identity map through a continuous family of systems).
By the viability condition (V), the trajectories of the holon pass through an open neighborhood of the attractor (T-125 [T]). Therefore contains an open subset of . An affine map defined on an open subset of a complete metric space extends uniquely to the whole space (Tietze theorem). The extended preserves the spectrum on all of .
Here Wigner's theorem (in Kadison's form) is applied: an affine bijection on the state space that preserves the spectrum (and hence fidelity ) is realized by unitary or antiunitary conjugation. This is the correct reference for this step, since is a bijection on the state space, not a CPTP channel. For CPTP channels (which are in general not bijections) preservation of fidelity is characterized by Uhlmann's theorem (Uhlmann 1976): for any CPTP , with equality if and only if is a unitary channel on the support of and . In the context of the monotonicity of Freedom (Theorem Properties of Freedom in consequences.md), it is precisely Uhlmann's contractivity that justifies the non-increase of freedom under CPTP evolution.
Step 4: .
Since both representations satisfy axioms A1–A5, the unitary must preserve the octonionic 3-form carried by the axiomatic Fano structure (Lemma G3(ii) [T]). The functional labels (atomic projectors, E-projection, PW clock, ) are carried covariantly: maps the frame of representation 1 to the frame of representation 2.
By Lemma G4 [T], preservation of gives .
Step 5: Uniqueness of .
Suppose both satisfy . Then on the image of . If the image of contains sufficiently many states (which is guaranteed by viability: the system passes through a neighborhood of by primitivity [T], and this neighborhood is open in ), then — a scalar phase, acting trivially on .
Corollaries
Corollary 1: Kinematic invariants and physical states [T]
The space of -orbits of kinematic states of the holon (spectrum + -relative angles):
has dimension:
where is the full number of parameters of , and is the dimension of a generic kinematic -orbit. The space of physically distinguishable states is , of full dimension 48 (frame decision D-0910): the 14 orbit directions are physical because the axiomatic dynamics pins the frame.
Proof. For generic (with distinct eigenvalues) the stabilizer is trivial (finite group). Then by the orbit theorem: , and .
The value 34 is the kinematic count only. The pinching dynamics is -covariant, not -covariant, at every — including the pure Fano regime (Theorem 5.1b, Lindblad operators) — so no dynamical regime realises a reduction of the physical parameter space (D-0910).
Corollary 2: Well-posedness of inverse problem [T]
For a system satisfying (AP)+(PH)+(QG)+(V), the initial state is uniquely recovered from:
(a) The observed trajectory for (Lemmas G1, G2 [T])
(b) The system parameters
up to the finite frame group (frame decision D-0910); in particular up to (Theorem of G₂-rigidity [T]).
Corollary 3: Faithfulness of functor F [T]
The functor (categorical formalism) is faithful on frame orbits: if in , then for (in particular ).
Kernel of on the set of isomorphisms (experience reads the frame-pinned -sector, so a generic -rotation changes it — D-0910, and so does every element of that moves the -axis):
The -axis stabiliser in has elements.
Corrected 2026-09-25. The corollary stated ; that is retracted: reads the -sector, and an element of that moves the -axis takes from to , so changes for of the elements; only the that keep the -axis can lie in the kernel (lattice of identification groups; regression test test_coh_e_is_invariant_only_on_the_e_axis_stabiliser). The faithfulness statement above is unaffected.
Corollary 4: Predictive power [T]
is a finite-dimensional (14-dimensional) compact Lie group. This means:
- A discrete set of -invariant observables fully characterizes the kinematic state; the physical state additionally carries the 14 frame-orientation parameters, pinned by the dynamics (D-0910)
- A finite number of parameters — 34 kinematic -invariants, 48 physical parameters in the pinned frame — unlike standard QM, where -freedom is infinite-dimensional
- The theory is maximally predictive at the given dimension : the gauge group is the minimal group preserving the octonionic structure
Corollary 5: G₂-invariants as physical observables
The 34 kinematic -invariants are organized as follows (with the 14 frame-orientation parameters they make up the 48 physical parameters, D-0910):
| Type | Number of parameters | Description |
|---|---|---|
| Spectrum of | 6 | Eigenvalues (ordered) |
| -invariant angles | 28 | Mutual position of eigenvectors relative to octonionic structure |
| Total | 34 | Complete set of kinematic -invariants |
Two classes of observable must be distinguished (irreducibility of , Lemma G4):
Genuinely -invariant (descend to ):
- Purity — in fact -invariant, hence -invariant
- Reflection measure — a function of , hence -invariant
- the spectrum (6) and the -relative angles (28) — the 34 parameters above
Frame-dependent (defined only after the functional frame is fixed by the dynamics; invariant under of the frame, not under all of , since no axis is -invariant):
- E-coherence — references the E-axis; invariant only under the elements that keep it ( of the in )
- Integration measure — references the coordinate basis; invariant under all of
- the regeneration coefficient — references the O, E, U axes
These frame-dependent quantities are physical because the dynamics (-covariance, Definition G1) pins the frame; they are not among the 34 orbit-invariants.
Relation to open questions
Closing the problem of G at the level of theory
This theorem fully closes the question of uniqueness of the map G at the theoretical level:
| Question | Status | Basis |
|---|---|---|
| Existence of G | [T] (Theorem S); the octonionic structure via the bridge T15, [T] with the canonical orientation (T15-canon) | Theorem S + bridge T15 |
| Uniqueness of G (up to ) | [T] | Theorem of -rigidity (this document) |
| Predictivity of G | [Empirical] | Requires experimental verification |
Question 3 (predictivity) is epistemological, not mathematical: it is closed empirically (convergent validity, predictive success, interventional testing). This is the same epistemological standard by which all fundamental physics operates.
Analogy with physical theories
| Theory | Uniqueness theorem | Gauge group | Empirical verification |
|---|---|---|---|
| QM | Stone–von Neumann (1931) | Spectra, interference | |
| GR | Birkhoff (spherical symmetry) | Light deflection, gravitational waves | |
| SM | Coleman–Mandula / Haag–Łopuszański–Sohnius | Poincaré gauge | Accelerators, PDG |
| UHM | -rigidity (this theorem) | thresholds, Gap profiles (the Cabibbo angle was listed here; withdrawn 2026-09-26, T-345(e): its agreement came from a fitted ) |
Summary
Theorem of -rigidity [T]: The holonomic representation of a system satisfying (AP)+(PH)+(QG)+(V) is unique up to gauge group — a 14-dimensional exceptional Lie group, the automorphism group of the octonions.
Physical meaning: Different observers applying UHM to the same system, with the frame pinned by the axiomatic dynamics, obtain coherence matrices related by an element of the finite frame group (D-0910): all 48 parameters coincide up to a relabelling of axes. The 34 kinematic -invariants (spectrum, -relative angles) coincide even before the frame is pinned.
Methodological status: All steps of the proof are theorems [T], relying on previously established results. This theorem closes the problem of the map G at the theoretical level and is the analogue of the Stone–von Neumann theorem for UHM.
Related documents:
- Axiom Ω⁷ — fundamental axioms A1–A5
- Axiom (AP+PH+QG+V) — characterizing properties of viable holons
- Lindblad operators — primitivity of ℒ_Ω, L-unification, G₂-covariance
- Minimality theorem — functional uniqueness of 7 dimensions
- Structural derivation N=7 — bridge T15 and octonionic structure
- Categorical formalism — functor F: DensityMat → Exp
- Formalization of φ — equivalence of self-modeling definitions
- G₂-structure — role of G₂ in physical correspondences