Skip to main content

Uniqueness Theorem of Holonomic Representation

Status: [Т] — all steps proven

The uniqueness theorem of holonomic representation is a theorem [Т], relying exclusively on previously proven results:

  • Primitivity of LΩ\mathcal{L}_\Omega [Т] (proof)
  • Full minimality 7/7 [Т] (proof)
  • Bridge T15 [Т]: (AP)+(PH)+(QG)+(V) \Rightarrow P1+P2 \Rightarrow O\mathbb{O} \Rightarrow G2G_2 (proof)
  • L-unification [Т] (proof)
  • Uniqueness of E, O, U [Т] (proof)

Problem statement

The problem of the map G

The central task of operationalizing UHM is the map G:

G:States(S)D(C7)G: \mathrm{States}(S) \to \mathcal{D}(\mathbb{C}^7)

which assigns to a physical system SS satisfying (AP)+(PH)+(QG)+(V) its coherence matrix ΓD(C7)\Gamma \in \mathcal{D}(\mathbb{C}^7).

In the ontology of UHM, Γ\Gamma is a primary object: the system is its coherence matrix. The problem of G is not "how to compute Γ\Gamma from something more fundamental," but "is the identification of Γ\Gamma for a given system unique?"

Analogy with Stone–von Neumann

Quantum mechanicsUHM
PrimitiveCanonical commutation relations [x^,p^]=i[\hat{x}, \hat{p}] = i\hbarPrimitive T=(Sh(C),JBures,ω0)\mathfrak{T} = (\mathbf{Sh}_\infty(\mathcal{C}), J_{Bures}, \omega_0)
RepresentationRealization of x^,p^\hat{x}, \hat{p} on H\mathcal{H}Holonomic representation G:States(S)D(C7)G: \mathrm{States}(S) \to \mathcal{D}(\mathbb{C}^7)
Uniqueness theoremStone–von Neumann: representation is unique up to U(H)U(\mathcal{H})This theorem: representation is unique up to G2G_2
Gauge groupU(H)U(\mathcal{H}) (infinite-dimensional)G2=Aut(O)G_2 = \mathrm{Aut}(\mathbb{O}) (14-dimensional)
Physical parametersInfinitely many (quantum numbers)34 = 48 - 14 (gauge-invariant)

The key distinction: in QM the gauge group is infinite-dimensional (U(H)U(\mathcal{H})), leaving enormous freedom. In UHM the gauge group is finite-dimensional G2G_2, which radically restricts this freedom and increases the predictive power of the theory.


Definitions

Definition G1 (Holonomic representation)

A holonomic representation of a system SS satisfying (AP)+(PH)+(QG)+(V) is a triple (C7,B,GS)(\mathbb{C}^7, \mathcal{B}, G_S), where:

  • C7\mathbb{C}^7 — Hilbert space of the holon
  • B={A,S,D,L,E,O,U}\mathcal{B} = \{|A\rangle, |S\rangle, |D\rangle, |L\rangle, |E\rangle, |O\rangle, |U\rangle\} — ordered orthonormal basis with functional labeling (7 dimensions)
  • GS:States(S)D(C7)G_S: \mathrm{States}(S) \to \mathcal{D}(\mathbb{C}^7) — map compatible with UHM dynamics

Compatibility condition (covariance): For any physical trajectory s(τ)s(\tau) of system SS:

ddτGS(s(τ))=LΩ[GS(s(τ))]\frac{d}{d\tau} G_S(s(\tau)) = \mathcal{L}_\Omega[G_S(s(\tau))]

where LΩ\mathcal{L}_\Omega is the logical Liouvillian defined by axioms A1–A5 in basis B\mathcal{B}.

Definition G2 (Equivalence of representations)

Two holonomic representations (C7,B1,G1)(\mathbb{C}^7, \mathcal{B}_1, G_1) and (C7,B2,G2)(\mathbb{C}^7, \mathcal{B}_2, G_2) are equivalent if there exists UU(7)U \in U(7) such that:

G2(s)=UG1(s)UsStates(S)G_2(s) = U \, G_1(s) \, U^\dagger \quad \forall \, s \in \mathrm{States}(S)

and B2=UB1\mathcal{B}_2 = U \cdot \mathcal{B}_1 (basis transformation).

Definition G3 (Gauge group)

The gauge group is the maximal subgroup GU(7)\mathcal{G} \subseteq U(7) whose elements generate equivalent representations, preserving all structures defined by axioms A1–A5.


Preliminary results

All results below have status [Т] and are proven in the respective documents.

P1. Primitivity of L0\mathcal{L}_0 (linear part) [Т]

The linear part of the Liouvillian L0\mathcal{L}_0 is primitive (T-39a): there exists a unique stationary state I/7D(C7)I/7 \in \mathcal{D}(\mathbb{C}^7) for L0\mathcal{L}_0, and for any initial ρ0\rho_0:

limτeτL0[ρ0]=I/7\lim_{\tau \to \infty} e^{\tau\mathcal{L}_0}[\rho_0] = I/7

The full nonlinear operator LΩ=L0+R\mathcal{L}_\Omega = \mathcal{L}_0 + \mathcal{R} has a unique non-trivial attractor ρI/7\rho_* \neq I/7 with P>1/7P > 1/7 (T-96 [Т]).

Spectrum of LΩ\mathcal{L}_\Omega on the space Herm0(C7)\mathrm{Herm}_0(\mathbb{C}^7) (traceless Hermitian matrices, dimR=48\dim_\mathbb{R} = 48):

Spec(LΩ)={0}{λk:Re(λk)<0,  k=1,,47}\mathrm{Spec}(\mathcal{L}_\Omega) = \{0\} \cup \{\lambda_k : \mathrm{Re}(\lambda_k) < 0, \; k = 1, \ldots, 47\}

P2. Functional uniqueness of dimensions [Т]

All 7 dimensions are functionally unique:

  • Each dimension performs an irreducible function (F1–F7)
  • E is unique [Т]: (PH) + κ0\kappa_0 (requires Hom(O,E)\mathrm{Hom}(O,E)) + rank greater than 1
  • O is unique [Т]: R\mathcal{R} [Т] + κ0\kappa_0 (End(O)\mathrm{End}(O), Hom(O,E)\mathrm{Hom}(O,E), Hom(O,U)\mathrm{Hom}(O,U)) + PW (A5) + functional independence
  • E \perp O [Т]: causal + categorical (O = E degenerates κ0\kappa_0)

P3. Bridge T15 [Т]

Full chain (AP)+(PH)+(QG)+(V) \Rightarrow P1+P2 of 12 steps, all [Т]:

(AP)+(PH)+(QG)+(V)[Т]BIBD(7,3,1)[Т]PG(2,2)[Т]O[Т]G2\mathrm{(AP)+(PH)+(QG)+(V)} \xrightarrow{[\text{Т}]} \mathrm{BIBD}(7,3,1) \xrightarrow{[\text{Т}]} \mathrm{PG}(2,2) \xrightarrow{[\text{Т}]} \mathbb{O} \xrightarrow{[\text{Т}]} G_2

P4. L-unification [Т]

Lindblad operators are derived from the classifier Ω\Omega:

Lk=kk,k{A,S,D,L,E,O,U}L_k = |k\rangle\langle k|, \quad k \in \{A, S, D, L, E, O, U\}

Fano operators are defined by the 7 lines of PG(2,2):

LpFano=13Πp,Πp=ilinepii,p=1,,7L_p^{\mathrm{Fano}} = \frac{1}{\sqrt{3}} \Pi_p, \quad \Pi_p = \sum_{i \in \mathrm{line}_p} |i\rangle\langle i|, \quad p = 1, \ldots, 7

P5. G2G_2-covariance [Т]

The Fano dissipator is G2G_2-covariant:

gG2:DFano[gΓg]=gDFano[Γ]g\forall \, g \in G_2: \quad \mathcal{D}_{\mathrm{Fano}}[g\Gamma g^\dagger] = g \, \mathcal{D}_{\mathrm{Fano}}[\Gamma] \, g^\dagger

The atomic dissipator is not G2G_2-covariant [Т], but is S7S_7-equivariant [Т].


New lemmas

Lemma G1: Spectral injectivity of propagator [Т]

Lemma G1 (Spectral injectivity) [Т]

For any τ>0\tau > 0 the map eτLline^{\tau \mathcal{L}_{\mathrm{lin}}} is injective on Herm0(C7)\mathrm{Herm}_0(\mathbb{C}^7), where Llin=i[Heff,]+DΩ\mathcal{L}_{\mathrm{lin}} = -i[H_{\mathrm{eff}}, \cdot] + \mathcal{D}_\Omega is the linear part of the Liouvillian.

Proof.

Let Llin\mathcal{L}_{\mathrm{lin}} act on V=Herm0(C7)V = \mathrm{Herm}_0(\mathbb{C}^7) (dimRV=48\dim_\mathbb{R} V = 48). By primitivity [Т] (§P1):

Spec(LlinV)={λ1,,λ48},Re(λk)<0  k\mathrm{Spec}(\mathcal{L}_{\mathrm{lin}}\big|_V) = \{\lambda_1, \ldots, \lambda_{48}\}, \quad \mathrm{Re}(\lambda_k) < 0 \; \forall k

(the zero eigenvalue corresponds to the invariant component ρ\rho_*, factored out into the complement of VV).

For the propagator eτLline^{\tau \mathcal{L}_{\mathrm{lin}}} the eigenvalues are: {eτλk}k=148\{e^{\tau\lambda_k}\}_{k=1}^{48}. Since Re(λk)<0\mathrm{Re}(\lambda_k) < 0:

eτλk=eτRe(λk)(0,1)τ>0|e^{\tau\lambda_k}| = e^{\tau\mathrm{Re}(\lambda_k)} \in (0, 1) \quad \forall \tau > 0

All eigenvalues of the propagator are nonzero, therefore eτLline^{\tau \mathcal{L}_{\mathrm{lin}}} is non-degenerate on VV, i.e. injective. \blacksquare

Corollary G1.1 (Recoverability of initial state): Knowing Γ(τ)\Gamma(\tau) for some τ>0\tau > 0 and the parameters of Llin\mathcal{L}_{\mathrm{lin}}, the initial state Γ(0)\Gamma(0) is determined uniquely.

Lemma G2: Well-posedness of nonlinear inverse problem [Т]

Lemma G2 (Nonlinear inverse problem) [Т]

The full evolution equation dΓdτ=f(Γ)\frac{d\Gamma}{d\tau} = f(\Gamma), including the nonlinear regenerative term R\mathcal{R}, has uniqueness of solutions: for any Γ1(0)Γ2(0)\Gamma_1(0) \neq \Gamma_2(0) the trajectories Γ1(τ)Γ2(τ)\Gamma_1(\tau) \neq \Gamma_2(\tau) for all τ0\tau \geq 0.

Proof.

The right-hand side f(Γ)=i[Heff,Γ]+DΩ[Γ]+κ(Γ)(ρΓ)gV(P)f(\Gamma) = -i[H_{\mathrm{eff}}, \Gamma] + \mathcal{D}_\Omega[\Gamma] + \kappa(\Gamma)(\rho_* - \Gamma) \cdot g_V(P), where:

(a) Lipschitz continuity. The linear terms (i[Heff,]-i[H_{\mathrm{eff}}, \cdot], DΩ\mathcal{D}_\Omega) are Lipschitz (linear operators on a finite-dimensional space). The nonlinear term:

  • κ(Γ)=κbootstrap+κ0CohE(Γ)\kappa(\Gamma) = \kappa_{\mathrm{bootstrap}} + \kappa_0 \cdot \mathrm{Coh}_E(\Gamma), where CohE(Γ)=πE(Γ)HS2/ΓHS2\mathrm{Coh}_E(\Gamma) = \|\pi_E(\Gamma)\|_{\mathrm{HS}}^2 / \|\Gamma\|_{\mathrm{HS}}^2 is a rational function of matrix elements [Т]
  • ΓHS2=Tr(Γ2)1/7>0\|\Gamma\|_{\mathrm{HS}}^2 = \mathrm{Tr}(\Gamma^2) \geq 1/7 > 0 on D(C7)\mathcal{D}(\mathbb{C}^7) — the denominator is bounded away from zero
  • The product κ(Γ)(ρΓ)\kappa(\Gamma) \cdot (\rho_* - \Gamma) is a smooth function on the compact set D(C7)\mathcal{D}(\mathbb{C}^7), hence locally Lipschitz

(b) Picard–Lindelöf theorem. On the compact set D(C7)\mathcal{D}(\mathbb{C}^7) local Lipschitz continuity guarantees existence and uniqueness of the solution to the Cauchy problem for any initial condition Γ(0)D(C7)\Gamma(0) \in \mathcal{D}(\mathbb{C}^7).

(c) Injectivity of flow. From uniqueness of the Cauchy problem: if Γ1(0)Γ2(0)\Gamma_1(0) \neq \Gamma_2(0), then Γ1(τ)Γ2(τ)\Gamma_1(\tau) \neq \Gamma_2(\tau) for all τ\tau in the domain of existence (trajectories do not intersect in phase space — a standard result of ODE theory). \blacksquare

Lemma G3: Axiomatic definiteness of structures [Т]

Lemma G3 (Axiomatic definiteness) [Т]

Axioms A1–A5 uniquely determine (in the given basis B\mathcal{B}) the following structures:

(i) Atomic projectors {kk}k=06\{|k\rangle\langle k|\}_{k=0}^{6} (from L-unification [Т])

(ii) The system of Fano lines {linep}p=17([7]3)\{\mathrm{line}_p\}_{p=1}^{7} \subset \binom{[7]}{3} (from bridge T15 [Т])

(iii) E-projection πE(Γ)=PEΓ+ΓPEPEΓPE\pi_E(\Gamma) = P_E\Gamma + \Gamma P_E - P_E\Gamma P_E (from Coh_E [Т])

(iv) Page–Wootters tensor decomposition HOHrest\mathcal{H}_O \otimes \mathcal{H}_{\mathrm{rest}}, singling out O (from A5)

(v) The regeneration formula κ0=ω0γOEγOU/γOO\kappa_0 = \omega_0 \cdot |\gamma_{OE}| \cdot |\gamma_{OU}| / \gamma_{OO}, singling out {O,E,U}\{O, E, U\} (from categorical derivation of κ₀ [Т])

Proof. Each structure is derived from the axioms:

  • (i): L-unification [Т] — atoms Sk=kkS_k = |k\rangle\langle k| of classifier Ω\Omega
  • (ii): Bridge T15 [Т] — uniqueness of BIBD(7,3,1)(7,3,1) \cong PG(2,2) (Hall 1967)
  • (iii): HS-projection theorem [Т] — orthogonal projection in Hilbert–Schmidt space
  • (iv): Axiom A5 (Page–Wootters) — explicit postulate
  • (v): Adjunction DΩR\mathcal{D}_\Omega \dashv \mathcal{R} [Т] — formula for κ0\kappa_0 from categorical derivation. \blacksquare

Lemma G4: Gauge group = G2G_2 [Т]

Lemma G4 (Maximal gauge group) [Т]

The maximal subgroup GU(7)\mathcal{G} \subseteq U(7) whose elements preserve all five structures of Lemma G3 is G2=Aut(O)G_2 = \mathrm{Aut}(\mathbb{O}).

Proof. We proceed in two steps: (A) G2GG_2 \subseteq \mathcal{G} and (B) GG2\mathcal{G} \subseteq G_2.

(A) G2GG_2 \subseteq \mathcal{G}: every gG2g \in G_2 preserves all structures.

By definition, G2=Aut(O)G_2 = \mathrm{Aut}(\mathbb{O}) acts on Im(O)R7C7\mathrm{Im}(\mathbb{O}) \cong \mathbb{R}^7 \subset \mathbb{C}^7 and preserves:

  • Octonionic multiplication eiej=εijkeke_i \cdot e_j = \varepsilon_{ijk} e_k
  • The multiplication table \cong Fano plane PG(2,2)

Therefore, gG2g \in G_2 preserves:

  • (ii) Fano lines: gg permutes the 7 lines (as an automorphism of PG(2,2))
  • (i) The set of atomic projectors: gkkgg|k\rangle\langle k|g^\dagger are projectors onto a rotated basis, but the set {gΠpg}={Πσg(p)}\{g\Pi_p g^\dagger\} = \{\Pi_{\sigma_g(p)}\} is preserved, and the atomic projectors are recovered from intersections: kk=ΠpΠq|k\rangle\langle k| = \Pi_p \Pi_q for two lines through point kk

For (iii), (iv), (v): G2SO(7)G_2 \subset SO(7) preserves the metric, and E, O, U transform within the G2G_2-orbit. Structures (iii)–(v) are formulated in terms of Fano lines and are covariant by construction. \checkmark

(B) GG2\mathcal{G} \subseteq G_2: any UGU \in \mathcal{G} belongs to G2G_2.

Let UU(7)U \in U(7) preserve all five structures of Lemma G3.

Step B1. From preservation of (ii) (Fano lines): UU induces an automorphism of the Fano plane PG(2,2). Since PG(2,2) is isomorphic to the multiplication table of Im(O)\mathrm{Im}(\mathbb{O}) [Т], UU induces an automorphism of octonionic multiplication.

Step B2. Restrict UU to Im(O)R7\mathrm{Im}(\mathbb{O}) \cong \mathbb{R}^7. An automorphism of octonionic multiplication on Im(O)\mathrm{Im}(\mathbb{O}) by definition belongs to G2=Aut(O)G_2 = \mathrm{Aut}(\mathbb{O}).

Transition from combinatorial automorphisms to continuous ones

UU(7)U \in U(7) preserves Fano lines as subspaces (not just as index sets). Each Fano line defines a 3-dimensional subspace, and preservation of all 7 such subspaces is equivalent to preservation of the octonionic cross-product (3-form φ3=fijkeiejek\varphi_3 = \sum f_{ijk}\, e^i \wedge e^j \wedge e^k). By definition G2={gGL(7,R):gφ3=φ3}G_2 = \{g \in \mathrm{GL}(7,\mathbb{R}) : g^*\varphi_3 = \varphi_3\}, which proves UG2U \in G_2.

Clarification: PSL(2,7) vs G₂

The group of combinatorial automorphisms of PG(2,2) is finite: Aut(PG(2,2))PSL(2,7)\mathrm{Aut}(\mathrm{PG}(2,2)) \cong \mathrm{PSL}(2,7), PSL(2,7)=168|\mathrm{PSL}(2,7)| = 168. The group G2=Aut(O)G_2 = \mathrm{Aut}(\mathbb{O}) is a compact Lie group, dimG2=14\dim G_2 = 14. Relation: PSL(2,7)G2\mathrm{PSL}(2,7) \subset G_2 as a finite subgroup — every permutation of 7 points compatible with PG(2,2) extends to a continuous automorphism of O\mathbb{O}. Step B1 shows that UU preserves the structure constants fijkf_{ijk} (not just combinatorics), and step B2 uses the definition of G2G_2 as the group preserving these constants.

Step B3. Since G2SO(7)U(7)G_2 \subset SO(7) \subset U(7) and UU preserves the Hermitian structure (as an element of U(7)U(7)), the restriction UIm(O)U\big|_{\mathrm{Im}(\mathbb{O})} determines UU completely (since Im(O)\mathrm{Im}(\mathbb{O}) is a real form of C7\mathbb{C}^7, and UU preserves the real structure via preservation of PG(2,2)).

Therefore, UG2U \in G_2. \blacksquare


Main theorem

Theorem (G₂-rigidity of holonomic representation) [Т]

Theorem of G₂-rigidity [Т]

Let SS be an autonomous system satisfying (AP)+(PH)+(QG)+(V). Let (C7,B1,G1)(\mathbb{C}^7, \mathcal{B}_1, G_1) and (C7,B2,G2)(\mathbb{C}^7, \mathcal{B}_2, G_2) be two holonomic representations of SS (Definition G1).

Then there exists a unique UG2=Aut(O)U \in G_2 = \mathrm{Aut}(\mathbb{O}) such that:

G2(s)=UG1(s)UsStates(S)\boxed{G_2(s) = U \, G_1(s) \, U^\dagger \quad \forall \, s \in \mathrm{States}(S)}

Equivalently: the holonomic representation is unique up to gauge group G2G_2.

Proof

Step 1: Definiteness of dynamics in each representation.

In representation (C7,Bi,Gi)(\mathbb{C}^7, \mathcal{B}_i, G_i) axioms A1–A5 determine the Liouvillian LΩ(i)\mathcal{L}_\Omega^{(i)} (Lemma G3 [Т]). The compatibility condition (Definition G1) guarantees:

ddτGi(s(τ))=LΩ(i)[Gi(s(τ))],i=1,2\frac{d}{d\tau} G_i(s(\tau)) = \mathcal{L}_\Omega^{(i)}[G_i(s(\tau))], \quad i = 1, 2

Step 2: Construction of intertwiner Φ\Phi.

Define Φ:D(C7)D(C7)\Phi: \mathcal{D}(\mathbb{C}^7) \to \mathcal{D}(\mathbb{C}^7) as:

Φ:=G2G11\Phi := G_2 \circ G_1^{-1}

(the inverse G11G_1^{-1} exists on the image G1(States(S))G_1(\mathrm{States}(S))). From the compatibility conditions:

ddτΦ(Γ(τ))=LΩ(2)[Φ(Γ(τ))],whereddτΓ(τ)=LΩ(1)[Γ(τ)]\frac{d}{d\tau} \Phi(\Gamma(\tau)) = \mathcal{L}_\Omega^{(2)}[\Phi(\Gamma(\tau))], \quad \text{where} \quad \frac{d}{d\tau}\Gamma(\tau) = \mathcal{L}_\Omega^{(1)}[\Gamma(\tau)]

Step 3: Φ\Phi is conjugation by a unitary operator.

Both representations describe the same physical system and generate the same observables. The spectrum of Γ\Gamma (set of eigenvalues) is invariant: Spec(Φ(Γ))=Spec(Γ)\mathrm{Spec}(\Phi(\Gamma)) = \mathrm{Spec}(\Gamma) for all Γ\Gamma (since physical observables — purity P=Tr(Γ2)P = \mathrm{Tr}(\Gamma^2), von Neumann entropy, CohE_E, etc. — are functions of the spectrum and certain structural elements, and must coincide).

A spectrum-preserving map on D(C7)\mathcal{D}(\mathbb{C}^7) is conjugation by a unitary (or antiunitary) operator — this is Wigner's theorem (Wigner 1931) in the form of Kadison (Kadison 1965):

Φ(Γ)=UΓUfor some UU(7)\Phi(\Gamma) = U \Gamma U^\dagger \quad \text{for some } U \in U(7)

(the antiunitary case is excluded since Φ\Phi is continuously connected to the identity map through a continuous family of systems).

Extension of Φ to all D(ℂ⁷)

By the viability condition (V), the trajectories of the holon pass through an open neighborhood of the attractor ρ\rho^* (T-125 [Т]). Therefore Im(G1)\mathrm{Im}(G_1) contains an open subset of Int(D(C7))\mathrm{Int}(\mathcal{D}(\mathbb{C}^7)). An affine map defined on an open subset of a complete metric space extends uniquely to the whole space (Tietze theorem). The extended Φ\Phi preserves the spectrum on all of D(C7)\mathcal{D}(\mathbb{C}^7).

Clarification: Wigner vs. Uhlmann

Here Wigner's theorem (in Kadison's form) is applied: an affine bijection Φ\Phi on the state space D(C7)\mathcal{D}(\mathbb{C}^7) that preserves the spectrum (and hence fidelity F(ρ,σ)=TrρσρF(\rho, \sigma) = \mathrm{Tr}\sqrt{\sqrt{\rho}\sigma\sqrt{\rho}}) is realized by unitary or antiunitary conjugation. This is the correct reference for this step, since Φ\Phi 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): F(E[ρ],E[σ])F(ρ,σ)F(\mathcal{E}[\rho], \mathcal{E}[\sigma]) \leq F(\rho, \sigma) for any CPTP E\mathcal{E}, with equality if and only if E\mathcal{E} is a unitary channel on the support of ρ\rho and σ\sigma. 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: UG2U \in G_2.

Since both representations satisfy axioms A1–A5, the unitary operator UU must preserve all structures defined by the axioms (Lemma G3 [Т]): atomic projectors, Fano lines, E-projection, PW-decomposition, formula κ0\kappa_0.

By Lemma G4 [Т]: UG2U \in G_2. \blacksquare

Step 5: Uniqueness of UU.

Suppose U1,U2G2U_1, U_2 \in G_2 both satisfy G2=AdUiG1G_2 = \mathrm{Ad}_{U_i} \circ G_1. Then AdU11U2=Id\mathrm{Ad}_{U_1^{-1}U_2} = \mathrm{Id} on the image of G1G_1. If the image of G1G_1 contains sufficiently many states (which is guaranteed by viability: the system passes through a neighborhood of ρ\rho_* by primitivity [Т], and this neighborhood is open in D(C7)\mathcal{D}(\mathbb{C}^7)), then U11U2=eiθIU_1^{-1}U_2 = e^{i\theta} I — a scalar phase, acting trivially on D(C7)\mathcal{D}(\mathbb{C}^7). \blacksquare


Corollaries

Corollary 1: Space of physical states [Т]

Corollary 1 (Space of observables) [Т]

The space of physically distinguishable states of the holon:

Dphys=D(C7)/G2\mathcal{D}_{\mathrm{phys}} = \mathcal{D}(\mathbb{C}^7) / G_2

has dimension:

dimR(Dphys)=4814=34\dim_\mathbb{R}(\mathcal{D}_{\mathrm{phys}}) = 48 - 14 = 34

where 48=N21=dim(su(7))48 = N^2 - 1 = \dim(\mathrm{su}(7)) is the full number of parameters of Γ\Gamma, and 14=dim(G2)14 = \dim(G_2) is the number of gauge degrees of freedom.

Proof. For generic Γ\Gamma (with distinct eigenvalues) the stabilizer StabG2(Γ)\mathrm{Stab}_{G_2}(\Gamma) is trivial (finite group). Then by the orbit theorem: dim(Orb(Γ))=dim(G2)=14\dim(\mathrm{Orb}(\Gamma)) = \dim(G_2) = 14, and dim(Dphys)=4814=34\dim(\mathcal{D}_{\mathrm{phys}}) = 48 - 14 = 34. \blacksquare

Consistency

The value 34 coincides with the number of parameters under full G2G_2-gauge fixing in the pure Fano-observation regime (α=0\alpha = 0), stated in Lindblad operators: "483448 \to 34 parameters."

Corollary 2: Well-posedness of inverse problem [Т]

Corollary 2 (Inverse problem) [Т]

For a system SS satisfying (AP)+(PH)+(QG)+(V), the initial state Γ(0)\Gamma(0) is uniquely recovered from:

(a) The observed trajectory Γ(τ)\Gamma(\tau) for τ(0,T]\tau \in (0, T] (Lemmas G1, G2 [Т])

(b) The system parameters (ω0,λm)(\omega_0, \lambda_m)

up to G2G_2-gauge (Theorem of G₂-rigidity [Т]).

Corollary 3: Faithfulness of functor F [Т]

Corollary 3 (Faithfulness of functor) [Т]

The functor F:DensityMatExpF: \mathbf{DensityMat} \to \mathbf{Exp} (categorical formalism) is faithful on G2G_2-orbits: if F(Γ1)F(Γ2)F(\Gamma_1) \cong F(\Gamma_2) in Exp\mathbf{Exp}, then Γ2=UΓ1U\Gamma_2 = U\Gamma_1 U^\dagger for UG2U \in G_2.

Kernel of FF on the set of isomorphisms:

ker(F)={AdU:UG2}\ker(F) = \{\mathrm{Ad}_U : U \in G_2\}

Corollary 4: Predictive power [Т]

Corollary 4 (Finiteness of gauge group) [Т]

G2G_2 is a finite-dimensional (14-dimensional) compact Lie group. This means:

  1. A discrete set of G2G_2-invariant observables fully characterizes the physical state
  2. A finite number of gauge-invariant parameters (34) — unlike standard QM, where U(H)U(\mathcal{H})-freedom is infinite-dimensional
  3. The theory is maximally predictive at the given dimension N=7N = 7: the gauge group G2G_2 is the minimal group preserving the octonionic structure

Corollary 5: G₂-invariants as physical observables

The 34 physical parameters are organized as follows:

TypeNumber of parametersDescription
Spectrum of Γ\Gamma6Eigenvalues (ordered)
G2G_2-invariant angles28Mutual position of eigenvectors relative to octonionic structure
Total34Complete set of physical observables

The gauge-invariant observables include:

  • Purity P=Tr(Γ2)P = \mathrm{Tr}(\Gamma^2)G2G_2-invariant (P(UΓU)=P(Γ)P(U\Gamma U^\dagger) = P(\Gamma) for UU(7)G2U \in U(7) \supset G_2)
  • E-coherence CohE(Γ)\mathrm{Coh}_E(\Gamma) — invariant within G2G_2-orbit, since G2G_2 preserves the Fano structure and the role of E
  • Reflection measure RR — determined via φ(Γ)\varphi(\Gamma) and Γ\Gamma, both transforming covariantly
  • Integration measure Φ\Phi — analogously

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:

QuestionStatusBasis
Existence of G[Т]Theorem S + bridge T15
Uniqueness of G (up to G2G_2)[Т]Theorem of G2G_2-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

TheoryUniqueness theoremGauge groupEmpirical verification
QMStone–von Neumann (1931)U(H)U(\mathcal{H})Spectra, interference
GRBirkhoff (spherical symmetry)Diff(M)\mathrm{Diff}(M)Light deflection, gravitational waves
SMColeman–Mandula / Haag–Łopuszański–SohniusPoincaré ×\times gaugeAccelerators, PDG
UHMG2G_2-rigidity (this theorem)G2=Aut(O)G_2 = \mathrm{Aut}(\mathbb{O})Cabibbo angle, thresholds, Gap profiles

Summary

Key result

Theorem of G2G_2-rigidity [Т]: The holonomic representation of a system satisfying (AP)+(PH)+(QG)+(V) is unique up to gauge group G2=Aut(O)G_2 = \mathrm{Aut}(\mathbb{O}) — a 14-dimensional exceptional Lie group, the automorphism group of the octonions.

Physical meaning: Different observers applying UHM to the same system will obtain coherence matrices related by a G2G_2-transformation. All 34 gauge-invariant parameters (purity, coherences, thresholds) will coincide.

Methodological status: All steps of the proof are theorems [Т], 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: