The Standard Model of Cognition: Gauge-Theoretic Formulation#
TLDR#
Calculate local connection covariance for the displayed phase, mode, and feature representations.
Check which representation freedoms preserve the established channels, boundary operators, and observables.
Build the scalar potential from the proved deterministic chart-fission drift and compute masses with explicit normalization.
Use the previous chapter’s exact polar representation for belief dynamics.
Distinguish these identities from the interacting quantum reconstruction; the displayed chiral matter content has a gauge-anomaly obstruction.
Roadmap#
Identify representation freedoms and calculate their connection laws.
Check the proposed matter representation and scalar couplings.
Compare the resulting objects with the established dynamics and reconstruction criteria.
A connection answers a concrete question: how do we compare two vectors written in different local bases? The preceding gauge chapter gives the transformation law and the curvature calculation. Here we apply that machinery to utility phases, update representations, and feature coordinates.
There are two calculations to keep in view. One checks that a proposed field equation transforms covariantly. The other checks that the proposed transformation preserves the agent’s actual update maps, boundary data, decoder, and observables. Writing a familiar matrix group completes neither calculation by itself. The chapter records the identities we can establish and tests their compatibility with the proposed matter fields.
Abstract. This chapter develops the connection calculus for the candidate representation \(SU(N_f)_C\times SU(r)_L\times U(1)_Y\) and checks its relation to the established agent dynamics. The update-channel construction determines Kraus rank, while the actual decoder, boundary operators, and update maps determine which represented transformations preserve the agent. The scalar potential is obtained from the deterministic chart-fission drift. Curvature and mass matrices are computed for the displayed fields and conventions. The proposed chiral spinor content has an uncancelled color anomaly at \(N_f=3,r=2\) and does not furnish the claimed quantum gauge theory. The non-Dirac belief representation remains the exact polar construction of the preceding chapter. The final reconstruction ledger distinguishes those established identities from properties of a full interacting field state.
Cross-references: This chapter synthesizes:
The Belief Wave-Function (Schrödinger Representation) (Belief density, phase, and exact polar representation)
The Boundary Interface: Symplectic Structure (Holographic Interface: Dirichlet/Neumann Boundary Conditions)
Ontological Expansion: Topological Fission and the Semantic Vacuum (Ontological Expansion: Pitchfork Bifurcation, Chart Fission)
Capacity-Constrained Metric Law: Geometry from Interface Limits (Capacity-Constrained Metric Law)
The Reward Field: Value Forms and Hodge Geometry (Helmholtz Equation, Value Field)
The Gauge Principle: Derivation of the Symmetry Group \(G_0\)#
Start with a change of basis that preserves the represented objects. A derivative of that basis produces an extra term. The connection cancels this term, so differentiation respects the change of description. This is the gauge-covariance calculation proved in the preceding chapter.
We examine a phase factor, a complex mode space of dimension \(r\), and a complex feature space of dimension \(N_f\). Their proposed unitary actions provide concrete matrices on which to perform the calculation. To identify an actual symmetry of the agent, we also check preservation of the update and observation maps. Tensor factors let their actions commute; the kernel of the combined representation determines which transformations act identically.
The preceding chapter establishes the connection transformation law. Here we apply it to the displayed phase, mode, and feature representations, then compare those representations with the agent’s actual maps. The derivative calculation uses Proposition 78; preservation of the boundary and update operators is checked separately.
Proposition 78 (Connection covariance with the fixed sign convention)
Use Hermitian generators, \(D_\mu=\partial_\mu-igA_\mu\), and \(\Phi'=U\Phi\). For nonzero coupling \(g\), covariance fixes
Proof. Expand the required identity on an arbitrary section:
Its vanishing gives the displayed transformation. For \(D=\partial-igqB\) and \(U=e^{iq\alpha}\) this reads \(B'=B+g^{-1}d\alpha\). For \(U=1+i\theta^aT_a+O(\theta^2)\), \([T_b,T_c]=if^{bc}{}_aT_a\) gives
The field representation must already be specified. This identity constructs covariant derivatives for that representation; the operational symmetry group is defined separately in Definition 4. \(\square\)
A. \(U(1)_Y\): Phase Covariance and Utility Shifts#
Adding the same constant to every score preserves their ordering. In the polar representation, a constant phase rotation also preserves the density and phase-gradient current. These are precise invariances of specified quantities.
A position-dependent change is different: its derivative contributes to the current. We can calculate that contribution and the compensating connection transformation explicitly. Whether the original control problem permits the corresponding change of value and reward data is a separate identity to check in its equations.
A constant shift preserves value differences. Potential-based reward shaping has its own policy-invariance identity [Ng et al., 1999]. The local phase calculation below concerns the polar amplitude and its connection; it is not obtained by replacing a constant shift with an arbitrary function in the original control equations.
Definition 230 (Global phase and the scalar transport current)
For the established scalar amplitude \(\psi=\sqrt\rho e^{iV/\sigma}\), \(D_i=\partial_i-iA^{\rm ext}_i/\sigma\) gives the spatial transport current
This is the canonical current in Theorem 61. It is spatial; the corresponding density is \(\rho\), not a raised temporal component of this expression. A constant shift of \(V\) changes only the global phase and preserves both \(\rho\) and \(j\). For a local shift its extra derivative is computed in Proposition 79. The source of \(V\) is the scalar value problem in Theorem 12; \(A^{\rm ext}\) remains separate from the internal matrix comparison connection.
The polar amplitude stores density in its modulus and value in its phase. A constant phase rotation changes neither the density nor the phase gradient. A varying rotation changes the phase gradient by an exact one-form. The following connection calculation accounts for that extra term.
Proposition 79 (Local phase compensation and the operational current)
The amplitude of Definition 223 admits the local coordinate change
It preserves \(|\psi|^2\) and \(\operatorname{Im}(\bar\psi D\psi)\). Proof. The first identity is immediate; the second follows by applying Proposition 78 and canceling the unit phases. At fixed connection, instead,
Thus a local shift changes the current unless its connection is transformed. Finite propagation constrains communication; it supplies no cancellation of this derivative term. For global real \(V\), the map from additive baselines to phases has kernel \(2\pi\sigma\mathbb Z\) when written as \(V\mapsto e^{iV/\sigma}\); the phase representation is a quotient of the additive baseline group. \(\square\)
Finite propagation controls when information can arrive. It does not alter which transformations preserve a reward function or boundary condition. Local phase covariance is verified by transforming the field and connection together and substituting them in the derivative. This gives an exact statement about the represented fields.
Theorem 65 (Abelian compensation in the belief action)
Write \(q=Y/2\). For the phase representation in Proposition 79, set \(D_\mu=\partial_\mu-ig_1qB_\mu\). The first-order action density
is gauge invariant on a fixed spatial metric.
Proof. Each \(D_\mu\psi\) transforms by the same phase as \(\psi\), so both contractions are invariant. To see the terms being compensated, put \(B=0\) and transform only \(\psi\). With \(j_i=\operatorname{Im}(\bar\psi\partial_i\psi)\),
These follow by multiplying \(\partial_i\psi'=e^{iq\alpha}(\partial_i\psi+iq\psi\partial_i\alpha)\). The connection transformation cancels all three contributions. The curvature is \(dB\), invariant because \(d^2\alpha=0\). The first-order kinetic term remains distinct from a relativistic scalar kinetic term; local covariance alone does not equate their dynamics. The external reward form \(A^{\rm ext}\) and \(B\) are separate data. A Hodge decomposition applies to a spatial form in the realization of Theorem 11; it neither equates these two forms nor makes a connection flat. \(\square\)
Differentiating a locally rotated amplitude produces a derivative of the rotation. The transformation of \(B_\mu\) cancels it. The resulting covariant derivative therefore transforms in the same way as the amplitude.
The curvature \(dB\) measures the local failure of this connection to be exact. Interpreting its circulation as accumulated reward requires identifying \(B\) with the relevant reward one-form. The covariance identity itself does not establish that identification.
Why “Opportunity Field”?
The name refers to the proposed interpretation of the phase connection as a representation of the external value one-form. Its established transformation law compensates local phase changes.
When the connection is identified with that value one-form, its circulation describes the corresponding path dependence. The identification is checked through the model’s value equations, rather than inferred from covariance alone.
B. \(SU(r)_L\): Mode Representations and Boundary Operators#
Observation and action play different roles at the boundary. We can express that difference through the data imposed on their components. A matrix that mixes the components must preserve those boundary data to qualify as a symmetry.
For example, rotating a nonzero component into one constrained to vanish generally violates the constraint. Counting an input role and an output role therefore does not produce a two-dimensional unitary symmetry or a spacetime chirality.
The boundary interface distinguishes prescribed sensor values and motor fluxes. The mode-space construction below records that distinction and the channel’s representation dimension. An \(SU(r)\) matrix acts covariantly on the displayed multiplet; preservation of the fixed boundary conditions requires an intertwining identity with their operators.
Proposition 80 (Boundary asymmetry and its stabilizer)
The sensor and motor boundary data are those of Definition 80 and Definition 81. Their different roles do not identify Lorentz chirality or a full mode-mixing symmetry.
Proof. Even for homogeneous two-component model conditions \(f_1|_\partial=0\), \(\partial_nf_2|_\partial=0\), take \(f_1=0,f_2=1\). A constant unitary with \(U_{12}\ne0\) gives \((Uf)_1|_\partial=U_{12}\ne0\). Hence it does not preserve the domain. A passive change of basis can transform the boundary projectors as well: \(P_D'=UP_DU^{-1}\), \(P_N'=UP_NU^{-1}\). Then transformed fields obey transformed conditions. At fixed projectors the admissible internal group is their stabilizer, further restricted by the actual update and readout maps. A spacetime Weyl representation is separate from this boundary linear algebra. \(\square\)
Definition 231 (Rank of a specified update operation)
For a nonzero linear CP operation \(\mathcal E\) on the finite belief-operator space of Definition 42, define
This equals the minimal number of Kraus operators. Indeed, \(J=\sum_a|K_a\rangle\!\rangle\langle\!\langle K_a|\) for a Kraus representation, and spectral decomposition of \(J\succeq0\) gives a representation with exactly \(\operatorname{rank}J\) operators. For a finite family take the maximum of these ranks to obtain a common padded environment. The zero operation has rank zero. The matrix comparison uses \(r\ge2\) and \(N_f\ge2\). A mode representation of dimension \(r\) used below is a separately specified internal fiber; identifying it with this environment requires the maps between the two spaces. The case \(r=2\) labels the doublet comparison.
Proposition 81 (Operations, channels, and environment changes of basis)
The existing GKSL model (Definition 43) supplies a CPTP semigroup on the finite belief-operator space. An outcome operation has
For a fixed chosen control, summing over the outcomes gives a channel when \(\sum_{y,a}K_{ya}^\dagger K_{ya}=I\). Averaging controls uses their probabilities as well. Define \(V_yu=\sum_aK_{ya}u\otimes|a\rangle\). Then \(\mathcal E_y(\rho)=\operatorname{Tr}_E(V_y\rho V_y^\dagger)\) and \(V_y^\dagger V_y\preceq I\); \(V_y\) is generally a contraction, not an isometry. Combining outcomes produces the channel isometry, which extends to a unitary on a larger system-plus-environment space. A selected outcome is recovered by an environment measurement, not by an unconditional trace. For \(p_y>0\), the normalized state is \(\mathcal E_y(\rho)/p_y(\rho)\); this update is generally nonlinear. Kraus mixing \(K'_a=\sum_bu_{ab}K_b\) with \(u\in U(r)\) leaves the CP map unchanged, since \(\sum_a u_{ab}\bar u_{ac}=\delta_{bc}\). Its common phase cancels from the channel; it is not an observed utility phase. The dilation and Kraus identities are the finite-dimensional constructions in Watrous, Chapter 2.
Dirichlet data prescribe a value; Neumann data prescribe a normal derivative. Changing coordinates in their joint representation also changes how these boundary operators are written. Keeping the operators fixed restricts the allowed transformations.
The mode dimension used below belongs to the chosen update representation. Its minimal dilation dimension is determined by the rank of the channel’s Choi operator. It is not obtained by counting the words “observation” and “action.”
Definition 232 (Specified chiral comparison multiplets)
The comparison uses \(\Psi_L\) in the fundamental internal \(SU(r)\) representation and \(\Psi_R\) in its singlet, with spacetime bundles as in Definition 236. For \(r=2\), write \(\Psi_L=(\psi_1,\psi_2)^T\), with each component left Weyl, and one independent right Weyl field \(\Psi_R\). The labels observation, intent and commitment may name these components in a chosen frame. Their identification with algorithmic channels is not a linear intertwiner supplied by the boundary definitions; Proposition 80 computes why fixed Dirichlet/Neumann conditions are not preserved by general mixing. The matrix representation used in the ensuing covariance calculation is fully specified by these multiplet and singlet actions.
Remark 52 (Mode-Rank Generalization)
For general mode rank \(r\) (Definition Definition 231), the left-handed field is an \(r\)-plet in the fundamental representation of \(SU(r)_L\). The doublet comparison sets \(r=2\); its generators are \( au_a/2\).
The displayed multiplet and singlet specify different representations: a mode matrix acts on the multiplet and acts trivially on the singlet. This makes their transformation laws explicit.
Calling these fields left and right is notation for this comparison model. Identifying them with Weyl spinors requires the spacetime representation, and identifying them with boundary channels requires preservation of the boundary operators. Neither identification follows from the number of components.
Definition 233 (Gauge-Covariant Action Commitment)
The scalar field selects a commitment direction in the specified \(\Psi_L\) mode fiber. A frame change acts simultaneously on the scalar and the multiplet. To make action commitment gauge-covariant, we use the ontological order parameter to define a unit multiplet \(n(x) \in \mathbb{C}^r\):
where \(\phi\) is the ontological order parameter (Definition Definition 239), and \(n\) is defined only when \(\phi \neq 0\).
The gauge-covariant Commitment Projection is:
where the projection operator is:
The committed action singlet \(\Psi_R\) remains an independent right-handed field; the Yukawa term couples \(\Psi_R\) to the projected amplitude \(\psi_{\text{act}}^{\text{proj}}\) through the Hermitian contraction in Definition 240; relaxation does not follow from this coupling alone.
Justification: The unit multiplet \(n\) encodes the local ontological split and makes the commitment projection intrinsic to the scalar sector, not an arbitrary choice of basis. Under local \(SU(r)\) transformations \(\Psi_L \to U(x)\Psi_L\) and \(n \to U(x)n\), so \(\psi_{\text{act}}^{\text{proj}} = n^\dagger \Psi_L\) is invariant and \(\Pi_n \to U \Pi_n U^\dagger\), ensuring the projected component is \(SU(r)\)-covariant. Under \(U(1)_Y\), \(n\) carries charge \(Y_\phi\), so \(\psi_{\text{act}}^{\text{proj}}\) transforms with charge \(Y_L - Y_\phi\), matching \(\Psi_R\) by Definition Definition 238.
Remark: At \(\phi=0\), the normalized direction \(n\) is undefined, corresponding to decision ambiguity. The agent requires a nonzero ontological split to define a preferred commitment projection.
The projection \(n^\dagger\Psi_L\) is a useful exact construction. When both \(n\) and \(\Psi_L\) transform by the same unitary mode matrix, the two matrices cancel in their inner product. The remaining transformation is determined by their other charges.
The normalized direction exists where \(\phi\ne0\). At a zero of \(\phi\), the unnormalized contraction \(\phi^\dagger\Psi_L\) remains defined, while the normalized projection does not. The Yukawa term couples this selected direction to the singlet; it does not couple every orthogonal mode.
Theorem 66 (Mode covariance and the limits of the rank identification)
For the specified \(SU(r)\) representation on the active internal fiber, \(W_\mu=W_\mu^aT_a\) defines
It is covariant under simultaneous frame and connection transformations of Proposition 78. Its curvature is \(F_W=dW-ig_2W\wedge W\).
Proof. The product rule gives the connection transformation already proved there. Expanding the operator commutator on a test section gives
so \(F^a_{W,\mu\nu}=\partial_\mu W_\nu^a-\partial_\nu W_\mu^a +g_2f^{bc}{}_aW_\mu^bW_\nu^c\). For \(r=2\), \(T_a=\tau_a/2\) gives three independent connection components. This is a matrix connection, with parallel transport in \(SU(2)\).
The identification with update rank has a concrete counterexample: \(\mathcal E(\rho)=\operatorname{Tr}(\rho)I_2/2\) has \(J(\mathcal E)=I_4/2\), hence minimal rank four. Two sensor/motor roles therefore do not determine rank two. Also a unitary acting only on the environment has \(\operatorname{Tr}_E[(I\otimes u)(\rho\otimes|0\rangle\langle0|) (I\otimes u^\dagger)]=\rho\); it cannot implement a nontrivial channel. These distinctions preserve the exact CP construction while preventing its environment basis freedom from being identified with a physical weak interaction without an intertwining map. \(\square\)
An outcome operation is a linear completely positive map before normalization. Its trace is the probability of that outcome. Dividing by that probability produces the conditioned state and generally makes the update nonlinear.
A dilation represents the linear operation using a larger system and an outcome selection. For a trace-preserving channel, an isometry into system times environment suffices. A change of Kraus basis acts on the environment index and leaves the channel unchanged. That freedom is an exact representation redundancy. A physical mode connection requires a further identification with the fields and observables on which it acts.
Non-Abelian Structure: Order Matters
Two mode generators can fail to commute, so successive represented rotations can depend on order. Their commutator enters the connection curvature.
This identity concerns the represented rotations. To identify them with actual observation updates, evaluate the update channel under those rotations. In particular, normalized conditioning is generally nonlinear and cannot be replaced by a unitary rotation on the belief space.
Definition 234 (Feature representation dimension)
\(N_f\) is the complex dimension of the feature fiber used in this chapter’s matrix-field comparison. Its value is obtained from that representation. Real spatial dimension, the number of sensor channels, and the number of fermion families are separate quantities. Choosing \(N_f=3\) gives the fundamental representation of \(SU(3)\), with eight Lie-algebra generators; it is not a derivation of that choice from RGB or spatial coordinates.
The dimension \(N_f\) specifies the complex feature space in this representation. Three measured channels do not determine an internal \(SU(3)\) action: their decoder and update maps decide which changes of coordinates preserve the represented observations.
For a chosen \(N_f\)-dimensional complex fiber, the traceless Hermitian generators number \(N_f^2-1\). This is a dimension count for that matrix algebra, not a derivation of the environment’s symmetry.
C. \(SU(N_f)_C\): Feature Representations and Invariant Observables#
Feature binding asks how several internal components contribute to one represented object. A decoder gives this question a mathematical form: which changes of the components leave the decoded object unchanged?
Permutations, real rotations, and complex unitary matrices are different candidate answers. We must evaluate the decoder and its update maps under each proposed action. Once a unitary feature action has been identified, its connection compares feature coordinates at neighboring points.
The hierarchical atlas supplies a decoder from internal features to represented concepts (Stacked TopoEncoders: Deep Renormalization Group Flow). Its exact feature symmetries are the transformations preserving that decoder and the update maps. The proposed complex feature representation below makes the unitary connection calculation explicit.
Proposition 82 (Macro readout and dynamical confinement)
The established firewall (Axiom 1) removes texture from the planning variables. In the presence of a specified compact internal action \(R\), the Haar average \(P=\int R(u)\,du\) projects onto its invariant vectors: invariance of Haar measure gives \(P^2=P=P^\dagger\). For invariant readout \(O\), \(O(R(u)z)=O(z)\) expresses observational redundancy. Neither identity specifies a field probability measure or a large-loop expectation. Projecting out a charged component can be done for every value of the gauge coupling, including zero; hence this projection alone gives no lower bound on a confining coupling.
Restricting the observable algebra to invariant combinations makes individual charged components unavailable as observables in that algebra. This is a precise restriction on what is measured.
Dynamical confinement is a different calculation: it concerns the state, energy, or Wilson-loop expectations of the interacting system. A boundary restriction on observables does not supply those expectations.
Definition 235 (Feature frame group and operational symmetries)
The Hermitian feature fiber is \(\mathbb C^{N_f}\). Its orthonormal frames have group \(U(N_f)\); frames preserving a specified complex volume element have group \(SU(N_f)\). Real orthonormal frames instead have group \(O(N)\), and permutations give a finite subgroup. These follow respectively from \(U^\dagger U=I\), \(\det U=1\), and \(R^TR=I\). For an encoder \(E\) and decoder \(D\), an operational action also obeys their intertwining identities, for example \(D(R(u)z)=D(z)\) for invariant readout. These are the symmetries of Definition 4. The matrix-field calculations below use the displayed \(SU(N_f)\) action; the frame-group calculation does not establish those decoder identities.
A unitary feature basis change preserves the Hermitian inner product. A special-unitary change also preserves the complex volume form. These statements explain which tensor contractions remain invariant.
A particular decoder can preserve a smaller group. The feature representation must therefore be checked against that decoder, rather than identified with all coordinate changes.
Theorem 67 (Feature connection and screening calculation)
With \(t_a=\lambda_a/2\), \(\operatorname{tr}(t_at_b)=\delta_{ab}/2\), \(D_\mu=\partial_\mu-ig_sG_\mu^at_a\) has curvature
Proof. The commutator expansion is the calculation in Theorem 66 with the feature generators. The quadratic commutator produces non-Abelian interaction terms in the specified Yang–Mills action. For the attention weight \(w(A)=e^{-\sigma A}\) used in Theorem 102, the exact threshold is
Thus a positive area by itself does not ensure strong suppression. This evaluates that attention weight, not a Wilson-loop expectation. The proposed infrared theorem Theorem 81 cites this binding theorem as a premise and cannot supply an independent proof of its confinement conclusion. Neither result is used here to derive the other. The definition \(\mu\,dg_s/d\mu=\beta(g_s)\) fixes notation; the sign of \(\beta\) depends on the quantum theory and its matter content, and is not obtained from this classical curvature calculation. \(\square\)
The non-Abelian curvature includes a commutator of connection matrices. Squaring it in the field action produces interaction terms among connection components. That algebraic self-interaction is explicit.
The sign of a renormalization beta function depends on the full matter content and its representations. Wilson-loop decay depends on the field state. Neither quantity is fixed merely by exhibiting a nonzero commutator. The established attention-screening calculation retains its meaning as a screening calculation for its specified kernel.
The Binding Problem Solved?
Invariant contractions describe how several represented feature components can contribute to a basis-independent observable. This addresses the representation of a bound feature combination.
Dynamical binding additionally concerns the state and its evolution. A restriction to invariant observables or an imposed attention-screening kernel does not calculate the Wilson-loop expectation of an interacting gauge theory.
Proposition 83 (Product representation and its faithful quotient)
The specified mode and feature actions define a representation of
on their tensor products. The faithful acting group is \(G_0/\ker R\), where \(R\) is the combined representation on all fields and readout data. Proof. Actions on distinct factors commute. The representation homomorphism theorem gives \(\operatorname{im}R\simeq G_0/\ker R\). A center can cancel another center on a tensor product: \((\zeta I)\otimes(\zeta^{-1}I)=I\). For example \((S,z)\mapsto zS\) maps \(SU(r)\times U(1)\) onto \(U(r)\) with kernel \(\{(\zeta I,\zeta^{-1}):\zeta^r=1\}\). Hence a direct product of frame actions does not prove faithful direct-product symmetry. Charges of a compact \(U(1)\) representation must be characters of its specified period; an arbitrary real sensitivity only specifies a Lie algebra action until this period is fixed. The parameters \(Y/2\) below use one common charge normalization. At \(N_f=3,r=2\) the Lie algebra is \(\mathfrak{su}(3)\oplus\mathfrak{su}(2)\oplus\mathfrak u(1)\). This calculation identifies the algebra of the comparison model, rather than deriving its ranks from communication constraints. \(\square\)
We now have a candidate tensor-product representation and its covariant derivatives. Setting \(N_f=3\) and \(r=2\) gives the familiar three Lie-algebra factors.
To identify the represented gauge group, calculate the common central kernel. To identify a symmetry of the algorithm, verify the intertwining identities for its maps. The matter calculation below gives another independent test: the displayed chiral content must satisfy the quantum gauge-anomaly identities.
The Matter Sector: Chiral Spinor Comparison and Anomaly Test#
The preceding gauge chapter already supplies a scalar representation of belief density and phase. This section compares it with a chiral spinor field model. Its spinor and internal indices specify new mathematical objects whose relation to belief dynamics must be established by a map between their state spaces.
Finite signal speed and unequal boundary roles do not provide that map. We can nevertheless calculate the spinor model’s covariance and test its quantum consistency. The anomaly calculation is particularly decisive for the matter content displayed here.
The scalar belief representation is established in The Belief Wave-Function (Schrödinger Representation). The following chiral spinor construction is a comparison model on the spin backgrounds defined by Definition 247. Its representation content and operator identities are examined explicitly. No lift from scalar WFR states to this chiral field space is supplied by boundary asymmetry.
A. Spinor Sections and Their Representation Content#
The latent metric is the object constructed by Theorem 6. The spinor comparison uses the spacetime and bundle data of Definition 247; the following definitions specify its sections and their current pairing.
Definition 236 (Chiral comparison fields and Cauchy data)
On the four-dimensional spin background of Definition 247, the comparison fields are sections of
Their complex ranks are \(2rN_f\) and \(2N_f\). They form a chiral multiplet; there is no common internal bundle identifying every left component with a right component. They can be embedded into \(S\otimes(E_L\oplus E_R)\) with the unused chiral components set to zero. The kinetic pairing is defined separately on each physical Weyl summand.
Use signature \((-+++)\) throughout. For the particle-physics convention \(i\gamma^\mu D_\mu\), take \(\{\gamma^\mu,\gamma^\nu\}=-2g^{\mu\nu}\); in an orthonormal frame \((\gamma^{\hat0})^2=I\) and \(\bar\Psi=\Psi^\dagger\gamma^{\hat0}\). The positive one-particle density is the contraction of the conserved current with the future Cauchy normal:
In an orthonormal frame adapted to \(\Sigma\), its integrand is \(\Psi^\dagger\Psi\). It is not generally the coordinate component \(j^0\). The divergence theorem proves surface independence from \(\nabla_\mu j^\mu=0\) and zero side flux in the domain considered. Spacetime \(L^2\) is not the Cauchy-data Hilbert space: a nonzero stationary solution on an infinite time interval has divergent spacetime norm. The scalar amplitude of Definition 223 remains a separate representation; no spinor isomorphism follows from adjoining these components.
The tensor factors keep the counting transparent. In four spacetime dimensions, a left Weyl sector has two complex spin components, \(r\) mode components, and \(N_f\) feature components. The right sector has two spin components and \(N_f\) feature components. The total is \(2(r+1)N_f\).
This count also exposes an imbalance: the left sector contains \(r\) color fundamentals, while the right sector contains one. Their cubic anomaly contributions have opposite chirality signs. For \(N_f=3\) and \(r=2\), the remaining coefficient is nonzero. The displayed content therefore does not define the claimed quantum gauge model.
Proposition 84 (First-order operator identity in the comparison sector)
Write \(P=i\gamma^\mu D_\mu\) on a fixed spinor bundle with a compatible spin and internal connection, using the Clifford convention in Definition 236. Its covariant connection wave operator is \(\Box_D=g^{\mu\nu}(D_\mu D_\nu-\Gamma^\lambda_{\mu\nu}D_\lambda)\). For a constant scalar mass on the same bundle,
Proof. Evaluate in a normal frame at a point. Compatibility differentiates no gamma matrix there. Split \(\gamma^\mu\gamma^\nu\) into its symmetric and antisymmetric parts to obtain
Restore the Christoffel contraction to express the identity covariantly. Since \([P,m]=0\), the product is \(P^2-m^2\). The commutator includes the spin curvature and \(-i\sum_a g_a F^a_{\mu\nu}T_a\). Even on a flat base, a nonzero internal curvature contributes a spin-dependent term. With both curvatures zero, the dispersion is \(\omega^2=|k|^2+m^2\) in units \(c_{\rm info}=1\). This calculation neither identifies a scalar wave with a spinor nor selects a chiral matter representation. In particular a scalar bare mass cannot pair the unequal bundles of Definition 236; the Yukawa contraction below pairs only its specified components. The Bellman generator of Theorem 45 does not supply this first-order spinor equation. \(\square\)
Remark 53 (Covariant derivatives on the chiral bundles)
All spinor occurrences of \(\partial_\mu\) in the internal-connection notation stand for \(\nabla^{\rm spin}_\mu\). The scalar multiplet has no spin connection. The identity \([D_\mu,D_\nu]=R^{\rm spin}_{\mu\nu}-i\sum_a g_aF^a_{\mu\nu}T_a\) separates spacetime spin curvature from the internal curvatures of Theorem 69. The Weyl equations and the full Dirac comparison use the sign convention of Definition 236 consistently.
Gamma matrices implement a Clifford algebra on spinors. Squaring a Dirac operator uses that algebra and introduces the curvature of the spin and gauge connections. It therefore yields an operator on spinors with additional curvature terms.
An equality involving that square does not identify a scalar belief amplitude with a spinor. For the algorithm’s density and phase dynamics, the exact polar calculation in the preceding chapter supplies the established representation.
B. The Strategic Connection (Covariant Derivative)#
The covariant derivative attaches a connection to each represented tensor factor. On a curved spacetime it also contains the spin connection for a spinor field. Each term acts on its own index, which makes the transformation calculation explicit.
For the represented fields, \(D_\mu\) compares neighboring sections using the specified spin and internal connections. Its transformation law is checked on each tensor factor.
Definition 237 (The Universal Covariant Derivative)
The operator moving the belief spinor through the latent manifold is:
where \(T^a\) (\(a = 1, \ldots, r^2 - 1\)) are the generators of \(SU(r)\) in the fundamental representation (for \(r=2\), \(T^a = \tau^a/2\)), and \(\lambda^a\) (\(a = 1, \ldots, N_f^2 - 1\)) are the generators of \(SU(N_f)\), and:
\(B_\mu\) (Opportunity Field): Adjusts the belief for local shifts in the value baseline and path-dependent opportunity
\(W_\mu\) (Error Field): Adjusts the belief for the rotation between Prior and Posterior
\(G_\mu\) (Binding Field): Adjusts the belief for the permutation of sub-symbolic features
For the right-handed singlet \(\Psi_R\), the \(SU(r)_L\) generators act trivially, so the \(W_\mu\) term drops.
Operational Interpretation: The quantity \(D_\mu \Psi\) measures the deviation from parallel transport. When \(D_\mu \Psi = 0\), the belief state is covariantly constant along the direction \(\mu\)—all changes are accounted for by the gauge connection. When \(D_\mu \Psi \neq 0\), the section varies covariantly in that direction; force is determined by the equations of motion.
Definition 238 (Representation-Specific Covariant Derivatives)
Let \(Y_L\), \(Y_R\), and \(Y_\phi\) denote the \(U(1)_Y\) hypercharges of \(\Psi_L\), \(\Psi_R\), and \(\phi\). Then the covariant derivatives used in Definition 243 are:
Gauge invariance of the Yukawa term \(\bar{\Psi}_L \phi \Psi_R\) requires
A covariant derivative compares a field with its transported neighbor. A zero covariant derivative along a path means the field follows that parallel transport. A nonzero derivative measures the difference from it.
This is a geometric comparison. An evolution law requires an action or generator, and an interpretation as prediction error requires the corresponding map to the agent’s update variables.
Theorem 68 (Anomaly obstruction for the displayed chiral multiplet)
For \(N_f=3\), the displayed matter multiplets have a nonzero perturbative color gauge anomaly whenever \(r>1\). A copy with \(r=2,N_f=3\) also has an odd number of weak doublets.
Proof. The four-dimensional chiral anomaly is proportional to the symmetric generator trace (Bilal, Lectures on Anomalies). Treat right-handed fundamentals as left-handed conjugates. Their cubic symmetric traces have the opposite sign. Thus, per family,
For \(T_8=\operatorname{diag}(1,1,-2)/(2\sqrt3)\), \(\operatorname{tr}T_8^3=-1/(4\sqrt3)\ne0\). For \(r=2\) the difference is already nonzero. Repeating the displayed family multiplies this trace; changing hypercharges does not alter it. Writing \(q_L=Y_L/2\) and \(q_R=Y_R/2\), other traces include
For \(r=2\), there are \(N_f\) left weak doublets per family. The usual four-dimensional \(SU(2)\) global obstruction applies when their total number is odd (Wang, Wen and Witten). These are quantum consistency obstructions for the stated Weyl theory; the classical covariant action remains a definable functional. No anomaly cancellation is established by the utility-charge relation or by the scalar mass matrix. A quantum reconstruction therefore cannot use this multiplet as an anomaly-free matter sector. \(\square\)
C. The Yang-Mills Curvature#
The commutator of covariant derivatives measures the leading change around an infinitesimal loop. It gives one curvature tensor for each connection.
A finite loop also depends on its path and on global topology. Even a flat connection can have nontrivial holonomy around a noncontractible loop. The local curvature calculation and the global transport calculation answer different questions.
The curvature is computed from the connection by the commutator below; a nonzero connection potential may still be flat.
Theorem 69 (Field Strength Tensors)
The commutator of the covariant derivatives \([D_\mu, D_\nu]\) generates three distinct curvature tensors corresponding to each gauge factor.
Proof. Computing \([D_\mu, D_\nu]\Psi\) and extracting contributions from each gauge sector:
\(U(1)_Y\) Curvature:
\[ B_{\mu\nu} = \partial_\mu B_\nu - \partial_\nu B_\mu\]
When \(B_{\mu\nu} \neq 0\), the internal opportunity 1-form is non-conservative (Value Curl; Definition Definition 97). The resulting Lorentz-type force generates cyclic dynamics.
\(SU(r)_L\) Curvature:
\[ W_{\mu\nu}^a = \partial_\mu W_\nu^a - \partial_\nu W_\mu^a + g_2 f^{abc} W_\mu^b W_\nu^c\]
Contracting \(W_{\mu\nu}\) with the oriented area of an infinitesimal loop gives the leading internal transport rotation. This is a connection calculation, not an identification with a Bayesian update. Here \(f^{abc}\) are the \(SU(r)\) structure constants (\(\epsilon^{abc}\) for \(r=2\)).
\(SU(N_f)_C\) Curvature:
\[ G_{\mu\nu}^a = \partial_\mu G_\nu^a - \partial_\nu G_\mu^a + g_s f^{abc} G_\mu^b G_\nu^c\]Binding curvature is a matrix-valued geometric observable. Ontological stress \(\Xi\) is a conditional information quantity, compared explicitly in Proposition 85. The established fission criterion uses \(\Xi > \Xi_{\text{crit}}\) (Ontological Expansion: Topological Fission and the Semantic Vacuum).
\(\square\)
The three curvatures are computed by the same commutator identity on different representation factors. Their proposed cognitive names identify the connection being discussed; they do not replace the calculation relating that connection to an observable.
In particular, a mutual information requires a joint probability law. Curvature alone specifies no such law. Independent isotropic residuals remain independent after a fixed unitary rotation, so transport by itself need not produce ontological stress.
Path Dependence and Holonomy
Parallel transport around an infinitesimal loop detects the curvature contracted with that loop’s oriented area. Nonzero curvature somewhere need not change a chosen vector along every path.
A flat connection can still have nontrivial holonomy around a noncontractible loop. Local curvature and global holonomy therefore require separate calculations. Neither determines mutual information without the joint law of the transported variables.
Proposition 85 (Transport and conditional texture information)
Ontological stress is the conditional mutual information of Definition 147. If \(C=(K_t,z_{n,t},K_t^{\rm act})\), its exact expression is
It vanishes exactly for conditional independence (up to null conditioning values). A connection matrix alone does not determine this joint law.
Proof. This is the conditional relative-entropy definition and the zero case of Gibbs’ inequality. For a concrete counterexample, take independent isotropic Gaussian residuals \(\eta_t,\eta_{t+1}\) at a fixed macro state and any nonidentity unitary \(U\). Put \(X=\eta_t\) and \(Y=U\eta_{t+1}\). The conditional law factors, so \(\Xi=0\) despite the nontrivial matrix. In contrast, \(Y=UX\) retains information when \(X\) is nondegenerate; it is a different transition law. The firewall specifies which variables enter planning, not this persistent-transport identity. Nonzero curvature determines infinitesimal loop transport, not the transport of every selected path. An open-path transporter also transforms at its two endpoints, so being the identity is not itself gauge invariant. A flat connection can have nontrivial holonomy on noncontractible loops. Thus curvature and \(\Xi\) must be computed from their respective geometric and probabilistic data. \(\square\)
Proposition 86 (Variation of the specified gauge action)
For the product representation, the action
is invariant under its internal frame transformations. Proof. Each curvature transforms by conjugation and its invariant quadratic contraction is unchanged. For a compactly supported variation \(a_\nu\), \(\delta F_{\mu\nu}=\mathcal D_\mu a_\nu-\mathcal D_\nu a_\mu\). Integration by parts yields \(\delta S_g=\int(\mathcal D_\mu F^{\mu\nu})^a a^a_\nu\,d\mu_g\). Coupling matter gives \(\mathcal D_\mu F^{\mu\nu}=J^\nu\) with \(J^{\nu,a}=-\delta\mathcal L_m/\delta A^a_\nu\), using the curved divergence of Theorem 56. Flatness gives locally trivial transport on contractible neighborhoods, not global path independence or a probabilistic stability theorem. Gauge covariance proves invariance of this action; it does not select it uniquely from all invariant functionals. \(\square\)
With the stated Lorentzian signature, the curvature term in the action is not a positive squared norm. Its variation gives a stress tensor whose electric and magnetic energy densities are positive under the conventions proved in the preceding chapter.
This energy statement concerns the field model. Flatness means vanishing local curvature; it does not imply globally trivial transport or a particular level of predictive accuracy.
The Scalar Sector: Radial Fission Dynamics and Gauge Masses#
The established chart-fission equation gives a concrete starting point for the scalar sector: its deterministic radial drift can be integrated to obtain a potential. We can then compute the potential’s stationary points and their stability.
A spacetime kinetic term and a mode-space representation contain additional information beyond this radial equation. The calculations below keep their contributions visible, so the resulting masses refer to the stated field action and normalization.
The deterministic radial drift in Symmetry Breaking and Chart Birth determines the potential used below. The scalar representation and kinetic term then specify the field model in which its gauge mass matrix is calculated.
A. The Ontological Scalar Field#
Definition 239 (The Ontological Order Parameter)
Let the local chart structure at spacetime point \(x\) be described by a complex \(SU(r)_L\) multiplet field \(\phi(x) \in \mathbb{C}^r\) (doublet for the \(r=2\) comparison):
where:
Modulus \(r(x) \ge 0\): Represents the Metric Separation between daughter queries \(\{q_+, q_-\}\) in the Attentive Atlas (Definition Definition 148).
\(r=0\): Coalescence (Single Chart / Vacuum)
\(r>0\): Fission (Distinct Concepts)
Unit multiplet \(n(x)\): Encodes the Orientation of the split in the \(SU(r)_L\) fiber (the specific feature axis along which differentiation occurs), with \(n^\dagger n = 1\).
The field \(\phi\) transforms in the fundamental representation under the gauge group \(SU(r)_L\), coupling it to the inference spinor.
Remark 54 (Gauge-fixed scalar form)
On a local region where \(\phi\ne0\), a gauge fixing its \(SU(r)_L\) orientation to a constant unit vector \(n_0\) reduces the order parameter to \(\phi(x) = r(x) n_0\) (with \(r \ge 0\) after using \(U(1)_Y\)). In the \(r=2\) comparison this is equivalent to the scalar parametrization \(\phi(x) = r(x) e^{i\theta(x)} n_0\) used in the intuitive discussion.
Writing \(\phi=\lVert\phi\rVert n\) separates a magnitude from a unit direction wherever \(\phi\) is nonzero. The radial chart-separation variable can supply the magnitude in the proposed representation.
For \(\phi\in\mathbb C^r\), the unit directions form \(S^{2r-1}\). A single phase parameter describes only a circle inside that space. A local gauge choice can simplify the displayed direction, but it is not a global parametrization through zeros or across arbitrary bundle topology.
B. Derivation of the Scalar Potential#
Integrate the negative deterministic radial drift to obtain its potential. Differentiating the result recovers the same drift, providing a direct check of coefficients and signs. This establishes the radial energy landscape used below.
We derive the potential \(V(\phi)\) from the stability analysis of the Topological Fission process (Symmetry Breaking and Chart Birth).
Theorem 70 (Integration of the established radial drift)
Write \(a=\Xi-\Xi_{\rm crit}\) and use the drift \(b(r)=ar-\alpha r^3\) of Theorem 22. At fixed \(a,\alpha\) its radial potential, up to an additive constant, is
Proof. Differentiate: \(-\mathcal V'(r)=ar-\alpha r^3\). The radial lift \(r=\|\phi\|\) gives an invariant quartic on the specified Hermitian multiplet. The drift fixes this radial function, not its spacetime kinetic term or its mobility. In particular the complex gradient is \(\partial_{\bar\phi}\mathcal V=(-\mu^2+2\lambda\|\phi\|^2)\phi\); matching the real radial drift with fixed orientation uses \(\dot\phi=-2\partial_{\bar\phi}\mathcal V\). The noise term in the antecedent is still part of its stochastic process. For a realization \(dr=b(r)ds+\eta\,dW_s\), its interior generator is \(b\partial_r+\eta^2\partial_r^2/2\), rather than \(b\partial_r\). For example Itô’s formula gives \(d\mathbb E[r^2]/ds=2a\mathbb E[r^2]-2\alpha\mathbb E[r^4]+\eta^2\) before any boundary-local-time contribution. Deterministic critical points therefore do not determine stochastic expectations. \(\square\)
The linear term determines whether a small separation grows or shrinks. The cubic term limits its growth and produces finite stationary separation above threshold. Integrating these two terms gives a quadratic-plus-quartic radial potential.
The stochastic chart equation also contains noise. Its expectation involves higher moments, so the deterministic equilibrium is not automatically the mean of the stochastic process. The potential calculation identifies the deterministic drift without discarding that distinction.
The Mexican Hat Potential
A radial cross-section shows why the quadratic and quartic terms can produce a nonzero equilibrium radius. Along that cross-section, zero separation becomes unstable and the quartic term stabilizes a finite radius.
For a complex \(r\)-component field, the equal-radius set is \(S^{2r-1}\); for a doublet it is \(S^3\). The familiar circular brim is the one-complex-component picture. Gauge-equivalent directions represent the same physical configuration.
Proposition 87 (Classical radial minima and their orbit)
For the established \(\alpha>0\), hence \(\lambda>0\), the minimum is at \(\phi=0\) for \(\mu^2\le0\). For \(\mu^2>0\), put
Proof. Complete the square: \(\mathcal V=\lambda(\|\phi\|^2-v^2)^2-\lambda v^4\). The minima are \(vS^{2r-1}\subset\mathbb C^r\); for \(r=2\) this is \(S^3\). \(SU(r)\) is transitive on unit vectors, with stabilizer \(SU(r-1)\), so the orbit has real dimension \(2r-1\). The number \(v\) is a classical minimizer radius; it is not, from this calculation, an expectation under a stochastic or quantum field law. Gauge-invariant configurations identify the locally gauge-equivalent orientations. At zeros or in nontrivial bundle sectors, a global constant-orientation gauge need not exist. \(\square\)
Above the deterministic threshold, the stable radial separation grows as the square root of the excess control parameter. Below it, the stable radial equilibrium is zero.
Embedding this radius in a complex multiplet produces a sphere of equal-potential directions. Which directions are physically distinct is determined by the represented gauge action and its stabilizer.
C. Mass Generation#
Insert a constant nonzero scalar configuration into its covariant kinetic term. The terms quadratic in the connection give a mass matrix. Its null directions are exactly the generators that annihilate the scalar configuration.
This is a direct representation calculation. The result depends on the scalar’s charges, its norm, and the normalization of the generators.
We derive the mass terms for the gauge fields from the covariant kinetic term of the scalar field.
Theorem 71 (Gauge mass matrix at the classical scalar minimum)
Use \(\mathcal L_\phi=-(D_\mu\phi)^\dagger D^\mu\phi-\mathcal V(\phi)\) with signature \((-+++)\) and \(\phi_0=vn_0\), \(n_0^\dagger n_0=1\). For the combined Hermitian generators \(Q_A=(g_2T_a,g_1Y_\phi I/2)\), the real vector mass matrix is
Proof. At a constant vacuum \(D_\mu\phi_0=-ivA_\mu^AQ_An_0\). Symmetrizing the product \(A^AA^B\) gives the formula. For real \(u\), \(u^TM^2u=2v^2\|(\sum_Au_AQ_A)n_0\|^2\ge0\); its kernel is precisely the Lie-algebra stabilizer of \(\phi_0\). For \(r=2\), \(n_0=(0,1)^T\), and \(T_a=\tau_a/2\),
in the order \((W^1,W^2,W^3,B)\). Therefore
and the neutral vector proportional to \((g_1Y_\phi,g_2)\) is massless when the denominator is nonzero. Zero couplings are handled directly by the matrix. The conventional electroweak parameter is \(v_{\rm EW}=\sqrt2v\), giving \(M_W=|g_2|v_{\rm EW}/2\). With \(\phi=(v+h/\sqrt2)n_0\), \(h\) has kinetic term \(-\tfrac12(\partial h)^2\) and \(m_h^2=4\lambda v^2=2\mu^2\). These are quadratic masses of this classical action. Neither ordering of latent metric eigenvalues nor a full interacting spectral gap follows from the capacity-constrained metric variation. \(\square\)
For the displayed doublet with \(\phi_0=vn_0\) and \(\lVert n_0\rVert=1\), the charged mass is \(g_2v/\sqrt2\). The neutral matrix has one massive combination and one null combination. Using \(vn_0/\sqrt2\) instead would change the meaning of \(v\) and produce the familiar factor \(1/2\).
The mass matrix assigns an energy cost to physical connection fluctuations around this configuration. A simultaneous gauge change of the fields remains a change of description and does not acquire an energy cost.
Remark 55 (Orbit directions and texture variables)
The single complex fundamental has \(2r\) real components. Its fixed-radius orbit has \(2r-1\) tangent directions, leaving one radial scalar locally. The kernel calculation in Theorem 71 counts the unbroken vector directions. In a local nonzero-vacuum gauge the orbit directions are removed from the scalar coordinates by the gauge action. The texture variable in Axiom 1 is a stochastic boundary residual. No bijection between that residual space and this compact orbit is supplied by the component count. The firewall and the gauge orbit retain their separate established definitions.
Directions along a gauge orbit describe equivalent scalar configurations. The local field decomposition places the corresponding longitudinal degrees of freedom in the massive vector modes.
The texture variable belongs to the previously defined latent decomposition. Identifying it with a gauge-orbit coordinate requires a map that preserves its observables and dynamics. The gauge-orbit calculation alone does not prove that identification or the texture firewall.
The Interaction Terms#
We can now calculate invariant couplings among the displayed fields. Contracting their representation indices determines which terms are covariant, and conjugating the interaction determines whether the action is real.
The Yukawa term selects a mode direction through the scalar field. The external term couples a specified current to a prescribed one-form. Their relation to belief transport is checked separately against the established polar equations.
The following contractions couple the displayed scalar, spinor, and connection fields. Their invariance, conjugation, and quadratic mass maps can be checked directly from the representations already specified.
A. Yukawa Coupling and the Selected Mode#
Definition 240 (Hermitian Yukawa contraction)
For the specified chiral comparison fields and scalar, define
Color indices contract with the invariant Hermitian pairing. The second term is the Hermitian conjugate of the first, including the coefficient. Its hypercharge phase is \(e^{i(-Y_L+Y_\phi+Y_R)\alpha/2}\), so invariance gives \(Y_R=Y_L-Y_\phi\). This verifies classical covariance and Hermiticity; the anomaly trace in Theorem 68 remains nonzero for the displayed color multiplets.
At \(\phi=vn_0\), the Yukawa contraction selects \(n_0^\dagger\Psi_L\). The family matrix couples this projected component to \(\Psi_R\). Its Hermitian conjugate contains the complex-conjugate family matrix.
This describes precisely which components interact. The orthogonal left-handed modes receive no mass from this term. A dynamical claim about decision commitment would also require identifying these components with the agent’s update variables.
Theorem 72 (Rank and singular values of the Yukawa mass map)
At \(\phi_0=vn_0\), let \(\chi_{L,i}=n_0^\dagger\Psi_{L,i}\). The Yukawa mass map on family indices is \(M=vY\) between these projected left fields and the right fields. Its nonzero masses are its singular values. Proof. Substitute the vacuum: \(\mathcal L_Y=-\bar\chi_LM\Psi_R-\bar\Psi_RM^\dagger\chi_L\). For \(M=U_L\operatorname{diag}(m_k)U_R^\dagger\), unitary changes of family basis diagonalize the kinetic pairings and give \(m_k\ge0\). The full map from the left multiplet has a kernel containing \((I-n_0n_0^\dagger)\Psi_L\), of dimension \(r-1\) per color and family. Those directions acquire no mass from this single Yukawa contraction. For one family the paired mass is \(v|Y|\); a phase redefinition can make that one coefficient real. The fluctuation \(\phi=(v+h/\sqrt2)n_0\) couples with coefficient \(Y/\sqrt2\). This quadratic calculation does not show relaxation into a committed action; unitary mixing can oscillate without asymptotic alignment. \(\square\)
For several families, changing orthonormal family bases reduces the mass matrix to its singular values. The nonnegative masses of the coupled modes are therefore \(v\) times the singular values of \(Y\).
Increasing \(v\) increases these masses at fixed \(Y\). This is a statement about the displayed quadratic field operator. It does not establish a relaxation rate or a psychological measure of commitment.
B. External Current Coupling and Exact Polar Belief Dynamics#
An external drive is specified independently of the fields being varied. Coupling it to a current defines how that drive enters the field action. The sign, charge, and current normalization then determine its contribution to the equations.
For the agent, the earlier value and WFR equations already state how rewards affect evolution. We compare with those equations directly.
We pair the external reward one-form with the current of the displayed spinor model, then compare its evolution with the previously established polar belief equations.
Definition 241 (The Value 1-Form (External Drive))
We model the external drive as a fixed background 1-form \(A^{\text{ext}}_\mu(z) = (A^{\text{ext}}_0(z), A^{\text{ext}}_i(z))\), encoding both conservative and non-conservative components of the reward signal (Definition Definition 72). Concretely, \(A^{\text{ext}}_0 = -\Phi_{\text{eff}}\) is the conservative potential, while \(A^{\text{ext}}_i\) captures the non-conservative (curl) component.
This is an external background field, distinct from the internal gauge field \(B_\mu\).
Special case (scalar drive): If the external reward 1-form is purely temporal, then \(A^{\text{ext}}_\mu(z) = (-\Phi_{\text{eff}}(z), \vec{0})\).
Definition 242 (External current pairing in the comparison action)
The comparison action contains \(\mathcal L_{\rm drive}=j^\mu A^{\rm ext}_\mu\) with \(j^\mu=\sum_{\chi=L,R}\bar\Psi_\chi\gamma^\mu\Psi_\chi\). Varying \(\bar\Psi_\chi\) contributes \(\gamma^\mu A^{\rm ext}_\mu\Psi_\chi\) to its Euler–Lagrange equation. In an adapted unit-lapse local inertial coordinate frame, a purely scalar drive \(A^{\rm ext}=(-\Phi,0)\) gives \(\mathcal L_{\rm drive}=-\Psi^\dagger\Psi\Phi\). On a general slice the density is \(-n_\mu j^\mu\), as in Definition 236; \(j^0\) alone depends on the coordinates. A time-independent potential does not break time translations just because its value equation includes a discount parameter. An explicitly varying background preserves only its actual symmetry subgroup.
The external term is a current–one-form pairing. Varying it gives the corresponding source in the field equations. A Lorentzian action is stationary on solutions; treating every term as a loss to be minimized would change this variational principle.
Transport toward value is established through the actual density and phase equations, including their signs and reaction term.
Theorem 73 (Exact scalar representation of the established WFR equations)
Use the fixed-metric polar construction of Theorem 61. On a positive-density chart put \(a=\sqrt\rho\), \(\psi=ae^{iV/\sigma}\), \(p=dV-B\), \(v=G^{-1}p\), \(D_i=\partial_i-iB_i/\sigma\), and \(Q=-\sigma^2\Delta_Ga/(2a)\). The Hamilton–Jacobi and mass equations
are equivalent on this chart to
Here \(r\) is the reaction rate, not the internal mode dimension.
Proof. Direct differentiation yields
Equating real parts cancels \(Q\); equating imaginary parts gives \(\partial_s\rho=-\operatorname{div}_G(\rho v)+r\rho\). Conversely these equations give the amplitude identity. The inverse is \(\rho=|\psi|^2\), \(V=\sigma\arg\psi\) locally, with phase branches differing by \(2\pi\sigma\mathbb Z\). At zeros the density equations remain the primary description; a global phase lift obeys the circulation constraints already discussed in Theorem 61. This is the non-Dirac representation actually established here, with its state-dependent \(-Q\) term. It is not a linear Schrödinger equation. For a real initial amplitude, \(dV=0\), the current is zero when \(B=0\) even if \(d\Phi\ne0\). Thus an external scalar potential cannot imply \(v=-\nabla\Phi\) by a nonrelativistic reduction. The spinor drive \(\bar\Psi\gamma^\mu A^{\rm ext}_\mu\Psi\) belongs to the separate comparison action; identifying its dynamics with this scalar system would require equality of the represented currents and generators. \(\square\)
The preceding gauge chapter gives an exact polar representation of the WFR equations. Its velocity is determined by the phase gradient and connection. Its amplitude equation contains the reaction term, and the nonlinear wave representation contains the compensating quantum potential.
These terms matter. A real initial amplitude has zero phase current even in a varying external potential. Replacing that current immediately by a potential gradient does not reproduce the same evolution. Using the established polar identity keeps the density, phase, and generator matched.
The Classical Comparison Action and Quantum Reconstruction#
The action below collects the displayed gauge, scalar, and spinor comparison terms. Its classical variations and transformation laws can be checked directly. The anomaly calculation already rules out interpreting the displayed chiral matter content as the claimed quantum gauge theory.
For the actual belief dynamics, the prior chapter’s scalar polar representation remains the established construction. The following ledger keeps its operator results separate from the correlation functions required for an interacting field reconstruction.
We collect the specified local terms into a classical action and calculate their variational consequences.
Definition 243 (Classical comparison action and its quantum obstruction)
The specified matrix and chiral fields define the classical density
The action is \(\int\mathcal L_{\rm cmp}\,d\mu_g\). The symmetric spinor kinetic term differs from the integrated one-sided form by a boundary term, using compatibility and the divergence theorem. All contractions use Definition 236 and Definition 238; \(\mathcal L_Y\) includes its conjugated matrix coefficients. Units in this comparison are \(c_{\rm info}=\sigma=1\); the WFR identity retains both scales explicitly. For a homogeneous scalar in a local inertial frame the kinetic term is \(|\partial_t\phi|^2\), and its Hamiltonian density is \(|\partial_t\phi|^2+|\nabla\phi|^2+\mathcal V\). This checks the relative kinetic sign.
The density is a classical covariant comparison functional. Its chiral matter has the obstruction in Theorem 68; it is not an established quantum field law. The established agent dynamics used here are the scalar polar equations and the separately defined finite-dimensional CP updates, with their proved representation maps.
An action determines a variational problem once its fields and domain are fixed. A quantum expectation also needs a state or measure on the corresponding observables. Gauge covariance of the action and self-adjointness of the specified scalar operator establish their respective identities; neither identifies the full interacting field measure.
Each sector supplies a concrete calculation: curvature variation, scalar Hessian, representation contraction, or current coupling. A simulator can use these formulas only with the same conventions, field content, and evolution for which they were proved.
The reconstruction ledger records the mathematical objects needed to assign quantum correlations. Keeping those objects fixed prevents a scalar spectral estimate from being transferred to a different gauge–fermion model.
Terms in the comparison action:
Sector |
Role of the term |
Reference |
|---|---|---|
Gauge |
Curvature contribution with the stated Lorentzian sign |
|
Spinor comparison |
First-order operator on the specified spinor representation |
|
Scalar |
Negative covariant kinetic contraction for \((-+++)\) and the radial potential |
|
Yukawa |
Representation contraction plus its Hermitian conjugate |
|
External |
Pairing of the specified current with an external one-form |
A. Quantum Reconstruction Criteria and Established Operator Results#
Established Constructions and Reconstruction Dependencies#
The local action and its gauge transformation laws are explicit constructions. The scalar kinetic operator has a specified self-adjoint realization. Their established consequences are recorded in Remark 63; the reconstruction dependencies are recorded in Remark 66.
The Causal Information Bound controls the stated information functional. The corrected spectral calculation in Corollary 31 concerns its specified scalar operator. Neither calculation identifies the full interacting gauge-field measure. In particular, covariance of a formula under a simultaneous change of metric and coordinates does not prove invariance of a probability law on a fixed background.
The WFR action (Definition 53) and the field action (Definition 243) retain their respective variational meanings. Their laws, states, and generators must be compared explicitly before a conclusion about one is transferred to the other.
Reconstruction Ledger#
Property |
Established meaning and dependency |
Reference |
|---|---|---|
Internal gauge covariance |
The connection transformation makes the covariant derivative transform with its field |
|
Scalar self-adjoint evolution |
The stated scalar kinetic form has its specified self-adjoint realization |
|
W0 / OS0: distributional bounds |
Smearing specifies observables; bounds must be established for their actual correlation functions |
|
W1 / OS1: spacetime covariance |
The action has geometric covariance; fixed-background invariance of the Schwinger law is a separate identity |
|
W2: spectral condition |
The reconstructed Hamiltonian has the spectral property stated by the applicable reconstruction theorem |
|
W3: locality |
Local dependence in the action specifies its field equations; operator microcausality concerns the resulting observable algebra |
|
W4: cyclicity |
The OS/GNS construction generates its Hilbert space from the chosen observable algebra and state |
|
OS2: reflection positivity |
The reflected quadratic form must be evaluated for the same field law and observable algebra |
|
OS3: clustering |
A gap bounds centered matrix elements for the same transfer operator; the scalar estimate is not a gauge-sector gap |
|
OS4: graded symmetry |
The correlation functions must realize the specified boson/fermion grading |
Definition 244 (Axiomatic Field Theory (AFT))
An Axiomatic Field Theory (AFT) is a relativistic quantum field theory whose vacuum correlation functions satisfy the Wightman axioms (Definition Definition 245) [Wightman, 1956]. Equivalently, if its Euclidean Schwinger functions satisfy the Osterwalder-Schrader axioms (Definition Definition 246), then the OS reconstruction theorem yields a Wightman QFT [Osterwalder and Schrader, 1973, Osterwalder and Schrader, 1975].
Definition 245 (Wightman Axioms (W0-W4))
For the Wightman comparison, let \(\Phi_A(x)\) be operator-valued tempered distributions on a positive Hilbert space with a common invariant dense domain, and let \(|\Omega\rangle\) be the vacuum. The Wightman functions are \(W_n(x_1,\ldots,x_n) := \langle \Omega | \Phi_{A_1}(x_1)\cdots\Phi_{A_n}(x_n) | \Omega \rangle\). The axioms [Wightman, 1956] are:
W0 Temperedness: Each \(W_n\) is a tempered distribution in \(\mathcal{S}'((\mathbb{R}^4)^n)\).
W1 Poincare Covariance: There exists a unitary representation \(U(a,\Lambda)\) of the proper orthochronous Poincare group with \(U(a,\Lambda)\,\Phi_A(x)\,U(a,\Lambda)^{-1} = S_A{}^B(\Lambda)\,\Phi_B(\Lambda x + a)\) and \(U(a,\Lambda)|\Omega\rangle = |\Omega\rangle\).
W2 Spectral Condition: The joint spectrum of translation generators \(P^\mu\) lies in the closed forward light cone, and \(P^\mu|\Omega\rangle=0\).
W3 Locality (Microcausality): For spacelike separation \((x-y)^2>0\) in signature \((-+++)\), \([\Phi_A(x),\Phi_B(y)]_\pm = 0\), with graded commutator chosen by spin-statistics.
W4 Vacuum Cyclicity: The set of vectors generated by polynomials in smeared fields acting on \(|\Omega\rangle\) is dense in the Hilbert space.
Definition 246 (Osterwalder-Schrader Axioms (OS0-OS4))
For a specified Euclidean correlation family \(S_n\), the following labels summarize the reconstruction properties. This list does not assert that the comparison action defines such a family. The Osterwalder-Schrader axioms [Osterwalder and Schrader, 1973, Osterwalder and Schrader, 1975] are:
OS0 Temperedness: Each \(S_n\) is a tempered distribution in \(\mathcal{S}'((\mathbb{R}^4)^n)\).
OS1 Euclidean Covariance: \(S_n\) is invariant under the Euclidean group \(E(4)\).
OS2 Reflection Positivity: For any polynomial \(F\) of smeared fields with support in positive Euclidean time, \(\langle \Theta F \cdot F \rangle_E \ge 0\), where \(\Theta\) is time reflection.
OS3 Cluster Property: \(S_{m+n}(x_1,\ldots,x_m,x_{m+1}+a,\ldots,x_{m+n}+a) \to S_m(x_1,\ldots,x_m)\,S_n(x_{m+1},\ldots,x_{m+n})\) as \(|a|\to\infty\).
OS4 Symmetry: \(S_n\) is symmetric under permutations (graded symmetry for fermions).
The full reconstruction theorem also includes growth control on the correlation family; the index OS0 here includes that requirement when the theorem is invoked. Vacuum uniqueness is the vacuum-sector property associated with clustering.
A.0 Generalized AFT (Locally Covariant/Algebraic)#
Definition 247 (The Background Category \(\mathrm{Loc}_{\mathrm{Spin},G}\))
Fix the specified compact comparison group \(G=G_0\). The category \(\mathrm{Loc}_{\mathrm{Spin},G}\) has objects \((\mathcal{M}, g, \mathfrak{o}, \mathfrak{t}, \mathcal{S}, P_G, A^{\text{ext}})\) where:
\((\mathcal{M}, g)\) is a 4D globally hyperbolic Lorentzian manifold with orientation \(\mathfrak{o}\) and time orientation \(\mathfrak{t}\).
\(\mathcal{S}\) is a spin structure on \((\mathcal{M}, g)\).
\(P_G\) is a principal \(G\)-bundle over \(\mathcal{M}\) (fixed topology).
\(A^{\text{ext}}\) is a fixed background 1-form (the external drive).
Morphisms \(\chi:(\mathcal{M}, g, \mathfrak{o}, \mathfrak{t}, \mathcal{S}, P_G, A^{\text{ext}}) \to (\mathcal{M}', g', \mathfrak{o}', \mathfrak{t}', \mathcal{S}', P_G', A^{\text{ext}\prime})\) are smooth isometric embeddings with causally convex image that preserve \(\mathfrak{o}\) and \(\mathfrak{t}\), admit a lift to the spin bundles, and are covered by a bundle morphism \(\tilde{\chi}:P_G \to P_G'\) with \(\chi^*A^{\text{ext}\prime} = A^{\text{ext}}\). Internal gauge connections are dynamical fields; only the underlying bundle \(P_G\) is background data.
Remark 56 (Fixed Bundle, Dynamical Connection)
Fixing \(P_G\) selects the topological sector for the gauge fields; the connection 1-forms are sections of the affine bundle of connections on \(P_G\) and remain dynamical fields. Connections themselves are gauge dependent; physical observables are their gauge-invariant combinations. The LC-AFT assignment is the functor \(\mathcal{A}:\mathrm{Loc}_{\mathrm{Spin},G} \to *\mathrm{Alg}\), so morphisms act by pullback on background data and by *-homomorphisms on algebras.
Definition 248 (Locally Covariant AFT (LC-AFT))
A Locally Covariant AFT is a covariant functor \(\mathcal{A}:\mathrm{Loc}_{\mathrm{Spin},G} \to *\mathrm{Alg}\) that assigns to each object \((\mathcal{M}, g, \mathfrak{o}, \mathfrak{t}, \mathcal{S}, P_G, A^{\text{ext}})\) a *-algebra \(\mathcal{A}(\mathcal{M})\) of gauge-invariant observables, together with a net of subalgebras \(\mathcal{A}_{\mathcal{M}}(O) \subset \mathcal{A}(\mathcal{M})\) for causally convex regions \(O \subset \mathcal{M}\), such that [Brunetti et al., 2003, Haag, 1992]:
Isotony: If \(O_1 \subset O_2\), then \(\mathcal{A}_{\mathcal{M}}(O_1) \subset \mathcal{A}_{\mathcal{M}}(O_2)\).
Locality: If \(O_1\) and \(O_2\) are spacelike separated, then \([\mathcal{A}_{\mathcal{M}}(O_1),\mathcal{A}_{\mathcal{M}}(O_2)]_\pm = 0\).
Local Covariance: For any morphism \(\chi\) in \(\mathrm{Loc}_{\mathrm{Spin},G}\), the induced *-homomorphism \(\alpha_\chi := \mathcal{A}(\chi)\) is injective and satisfies \(\alpha_\chi(\mathcal{A}_{\mathcal{M}}(O)) = \mathcal{A}_{\mathcal{M}'}(\chi(O))\), with \(\alpha_{\chi_2 \circ \chi_1} = \alpha_{\chi_2} \circ \alpha_{\chi_1}\) and \(\alpha_{\mathrm{id}} = \mathrm{id}\).
Time-Slice: If \(O\) contains a Cauchy surface of \(\mathcal{M}\), then \(\mathcal{A}_{\mathcal{M}}(O)\) generates \(\mathcal{A}(\mathcal{M})\).
Gauge Invariance: The physical algebra is the subalgebra invariant under vertical automorphisms of \(P_G\); a constrained realization specifies its constraint quotient before assigning physical states.
State Regularity (Microlocal Spectrum): Physical states are positive linear functionals with the microlocal regularity appropriate to their represented fields. For basic free KG/Dirac fields this is the Hadamard two-point condition; composite fields require their own distributional products and bounds. No such products are supplied by this definition.
Proposition 88 (Field reconstruction versus a net of algebras)
A locally covariant net as defined in Definition 248 specifies algebras and their maps. Its definition alone supplies neither a preferred vacuum nor tempered point fields. To apply a field reconstruction theorem, the correlation distributions, their positivity, covariance, spectral or Euclidean regularity, and the required growth conditions must be verified for one and the same field family. This is the meaning of the reconstruction criterion in Remark 74.
The distinction has an elementary state-level example. A direct sum of two positive vacuum sectors, with a convex-mixture vacuum state, retains locality and positive energy. For the central projection \(P\) onto one summand with vacuum weight \(0<p<1\), \(\omega(P\alpha_a(P))-\omega(P)^2=p(1-p)\) for every translation \(a\). Clustering therefore does not follow just from locality and positive energy. A time-independent external background also need not preserve spatial translations or Lorentz boosts. These properties must be checked on its actual stabilizer rather than inferred from stationarity.
Remark 57 (Use of the reconstruction theorem)
The OS theorem is applied to a specified Schwinger family satisfying the full regularity, symmetry, covariance and reflected-positivity requirements of its chosen version. It reconstructs the corresponding Hilbert space, fields and positive-energy representation; it does not prove that a formal action supplies those Schwinger functions. In this chapter the classical comparison action, finite CP maps, and scalar operator realization are distinct constructed objects. The records below give no OS verification for an interacting chiral gauge measure associated with Definition 243.
Remark 58 (Symmetries of the background)
Poincare covariance requires a background and state invariant under that group. A generic fixed spatially varying drive is not translation invariant, even if time independent. A curved background is described by its actual isometries or the local-covariance comparison category. Defining that category does not construct its interacting field functor.
A.0b Algebraic and Analytic Construction Criteria#
The following definitions organize locality, invariant observables, resolution, propagation, gluing, and stability for a proposed construction. Their interpretation as properties of a field theory requires the same specified observable algebra, state, and evolution throughout. The verified operator identities and their scope are recorded in Remark 63.
Definition 249 (Local-net comparison criterion)
For each oriented Riemannian manifold \((\mathcal{M}, g)\) (boundary allowed), there is a net of local observable *-algebras \(\mathcal{A}_{\mathcal{M}}(\mathcal{O})\) for open regions \(\mathcal{O} \subset \mathcal{M}\) with isotony:
Algebras of causally disjoint regions commute (graded for fermions) with causal separation defined by Definition Definition 202.
Definition 250 (Gauge-invariant observable subalgebra)
There is a compact gauge group \(G\) acting locally on fields. The physical observable algebra is the gauge-invariant subalgebra:
Only gauge-invariant elements represent physical observables.
Remark 59 (Operational resolution and correlation distributions)
The positive Levin length is the operational resolution scale already defined in Definition 103. It specifies distinguishability of observations. Temperedness of a correlation distribution instead means continuity on Schwartz test functions, with seminorm estimates for that distribution. The former definition alone gives neither these estimates nor uniform bounds on all \(n\)-point distributions. Such bounds are not added to the resolution definition or used as proved consequences here.
Axiom 13 (Finite Propagation)
There exists a maximum information speed \(c_{\mathrm{info}}\); causal influence is restricted to the causal interval determined by \(c_{\mathrm{info}}\) (Definition Definition 202).
Definition 251 (Local-action comparison criterion)
The dynamics are generated by a local action functional \(\mathcal{S} = \int_{\mathcal{M}} \mathcal{L}(\Phi, D\Phi, g)\,d\mathrm{vol}_g\) with \(\mathcal{L}\) a local density built from covariant fields and derivatives. For disjoint subregions, the action decomposes additively and the induced dynamics glue consistently. The local algebra is generated by (smeared) field polynomials supported in \(\mathcal{O}\).
Remark 60 (Three uses of positivity)
Positive belief matrices belong to Definition 42. The scalar closed quadratic form supplies a self-adjoint operator and its spectral semigroup. A Hilbert-space completion of a *-algebra uses a positive functional \(\omega\), via \(\langle a,b\rangle=\omega(a^*b)\) and its null quotient. These are different constructions. Merely specifying a map on an algebra as a positivity-preserving semigroup does not define this functional or the full field Hilbert space. Reflection positivity is the additional reflected correlation identity explicitly tested above.
Remark 61 (Curvature and interaction diagnostics)
A nonzero curvature observable records a nonflat connection. It does not by itself prove a non-Gaussian quantum interaction: a free abelian field can have nonzero curvature fluctuations. Nontriviality of a reconstructed field law is assessed on its correlation functions and observable algebra. The commutator in the classical non-Abelian curvature explicitly produces nonlinear terms in the specified classical action.
Remark 62 (Thermodynamic vs. Resolution Limit)
The continuum limit used in this volume is the population/thermodynamic limit (large \(N\) with empirical measures converging to a density) at fixed Levin length \(\ell_L>0\) (The Mean-Field Metric Law (Scalability Resolution)). The Levin length is an operational resolution bound (Axiom Remark 59), not a regulator to be sent to zero. Taking \(\ell_L \to 0\) would exit the framework by violating the Causal Information Bound and is not required for validity.
A.0c Established Constructions and Their Scope#
Remark 63 (Construction identities and analytic realization)
The architecture declares its local action, internal gauge action, and finite-resolution observations. Gauge covariance follows from the connection identities of Proposition 60. The chosen scalar kinetic form has the self-adjoint realization of Proposition 71. These facts do not verify every constructive QFT axiom for the interacting continuum field law: self-adjointness of a spatial scalar operator does not prove reflection positivity of another path law, and the former information-based gap argument is corrected in Theorem 60. The assertions of this record are the stated construction identities; it supplies no unconditional OS or gauge mass-gap theorem.
Proposition 89 (Linear background-field Green operators)
For the smooth globally hyperbolic backgrounds of Definition 247, a fixed smooth KG connection-wave operator is normally hyperbolic. The square identity in Proposition 84 shows that a fixed compatible Dirac operator is prenormally hyperbolic. The standard Cauchy theorem for these linear operators gives advanced and retarded Green operators on compactly supported sections. Their supports lie in the respective causal future and past of the source. Smooth fixed mass and curvature endomorphisms are lower-order terms and preserve the principal symbol. This checks the linear-operator setting of the Cauchy theorem. When the connection and matter evolve together through the nonlinear interacting action, they are not fixed coefficients of that theorem; the conclusion here concerns the fixed background operators only. The Green-operator theorem and its square-root property are established in Bär, Green-hyperbolic operators.
Theorem 74 (Time-slice identity for the linear equation quotient)
For a fixed linear Green-hyperbolic operator \(P\) from Proposition 89, the equation quotient is generated by test sections in a neighborhood \(O\) of a Cauchy surface.
Proof. Let \(G_{\rm ret}\) and \(G_{\rm adv}\) be the Green operators and \(f\) a compactly supported test section. Choose a smooth time cutoff \(\chi\) which is zero to the past and one to the future, with transition in \(O\). Put \(h=(1-\chi)G_{\rm ret}f+\chi G_{\rm adv}f\). Causal support and global hyperbolicity make \(h\) compactly supported (the time transition is chosen between two Cauchy surfaces inside \(O\)). Using \(PG_{\rm ret}f=PG_{\rm adv}f=f\) gives
The right side has support in the transition region in \(O\). Thus \(f\) and an \(O\)-supported test section agree modulo the field equation. For a free CCR/CAR algebra constructed on this quotient, its generators therefore obey the time-slice property. This proves the quotient identity; it does not construct the interacting SMoC algebra. \(\square\)
Remark 64 (Scope of the free-field state result)
The Hadamard condition concerns the short-distance wavefront structure of the two-point distribution of a specified field state. Its familiar free KG/Dirac existence results concern the linear background operators of Proposition 89 and their corresponding CCR/CAR algebras. They do not produce the higher correlation functions or renormalized products of the interacting comparison action. In particular a free Hadamard covariance is not a construction of a chiral gauge state, and its ultraviolet wavefront set supplies no infrared mass-gap estimate. The present reconstruction record uses no interacting-state existence conclusion from this free-field comparison.
Remark 65 (Which objects the comparison criteria describe)
The preceding net and action criteria describe the data of an algebraic field theory. The operational speed and resolution come from the earlier agent definitions. The scalar form and CP maps have the constructions stated in Remark 63. These facts remain separate until explicit maps identify their algebras, states and evolution. The OS and AQFT records below therefore report construction dependencies, not additional premises asserted for the algorithm.
Remark 66 (OS reconstruction dependency record)
The flat stationary field sector fixes the geometry and the candidate Schwinger functions. The reconstruction theorem Remark 74 applies to functions satisfying its stated OS requirements. The architecture and finite resolution alone do not verify them. In particular the prior clustering route used Theorem 60; that result now supplies only a fixed compact scalar gap and does not establish a Yang–Mills gap. Thus this record is not a verification of OS0–OS4 for the full interacting action. The finite algebraic and operator constructions retain their own proved statements; a gauge-field reconstruction cannot use clustering derived from the very spectral assertion it is meant to justify.
Remark 67 (Role of the construction record)
The record fixes which geometry, observable algebra, state and generator belong to each comparison. It prevents a theorem about the finite belief operator, scalar spatial Hamiltonian, or linear wave equation from being used for a different interacting field law. The full-field conclusions are restricted by the explicit anomaly and reflected-positivity calculations, while the finite and scalar identities retain their proved content.
Remark 68 (Dependency Map (Constructive → OS/Wightman))
graph TD
A[Specified action and gauge transformation] --> B[Gauge covariance identities]
C[Specified scalar quadratic form] --> D[Scalar self-adjoint operator]
D --> E[Operator-specific spectral estimate]
F[Specified field law and observable algebra] --> G[Check the OS identities for this law]
G --> H{OS requirements verified}
H -->|Yes| I[Apply OS reconstruction]
I --> J[Reconstructed Hilbert space and fields]
K[Construction dependency record] --> G
E --> L[Decay for the same scalar operator]
Remark 69 (Status of the reconstruction comparison)
The corrected dependency record is Remark 66. In particular, Remark 73 does not establish clustering of the interacting field law from the compact scalar gap. Metric covariance of an action, positivity of a measure, and reflection invariance are distinct from positivity of all reflected Gram matrices. Each OS identity refers to the same Schwinger family. The previous declaration of complete verification is therefore not retained as an antecedent of the gauge chapter’s spectral conclusions.
Remark 70 (Algebraic properties of the established constructions)
The earlier results supply a finite belief-operator algebra with CPTP maps (Definition 43), a scalar self-adjoint form realization (Proposition 71), and the linear time-slice quotient of Theorem 74. Each conclusion refers to its own space and generator. A functor satisfying Definition 248 would additionally specify the local observable algebras, embeddings and their composition for the interacting fields. Those maps are not constructed by naming the category or writing a local action. Consequently the earlier declaration of an interacting Haag–Kastler construction is not a consequence of these results. The finite algebra and linear quotient retain the identities proved above.
Remark 71 (Dependency record for local observables)
The construction record Remark 63 establishes the indicated gauge identities and scalar realization. The time-slice calculation establishes a linear equation quotient. Neither statement is a definition or proof of the full interacting local observable net. The algebraic requirements in Definition 248 are comparison criteria, and are not imported as extra properties of the agent. This keeps the direction of dependence from explicitly constructed algebras to their verified properties.
A.1 Reflection Positivity and the Specified State#
Theorem 75 (Reflection positivity for a constructed reversible path law)
There is an exact positive result for the existing finite-state reversible Markov sector discussed in Definition 43. Let \(P_t=e^{tL}\) be its transition semigroup with stationary law \(\pi\) and detailed balance \(\pi_xP_t(x,y)=\pi_yP_t(y,x)\). For the stationary two-sided path law and a bounded cylinder functional \(F\) of positive times, define \(\Theta F\) by complex conjugation and time reflection. Then
Proof. The Markov property makes future and past conditionally independent given \(X_0\). Detailed balance identifies the conditional reversed-past law with the future law. Conditional expectation therefore factors into conjugate factors, and averaging gives the displayed identity. For \(F=f(X_t)\) it becomes \(\|P_tf\|_{L^2(\pi)}^2\). The scalar form in Appendix E also has its own spectral semigroup; its relation to a path law is through its proved Feynman–Kac realization. This path-law identity is not an identification of either construction with the Wilson-loop or chiral-field functional of Definition 243. No such identification is assumed. \(\square\)
Theorem 76 (Capacity and reflected positivity are different inequalities)
Reflection symmetry and finite information capacity alone do not imply reflection positivity. Moreover positivity of a scalar semigroup does not identify a separate field measure with that semigroup.
Proof. On two spins \(x,y\in\{-1,1\}\) take \(p_J(x,y)=e^{-Jxy}/(4\cosh J)\) with \(J>0\) and reflection exchanging \(x\) and \(y\). This is a strictly positive, reflection-invariant law on four states, of entropy at most \(\log4\). For the positive-side function \(F(y)=y\),
This disproves the capacity-plus-reflection inference. For any already constructed self-adjoint \(H\) bounded below and any vector \(u\), \(\langle u,e^{-tH}u\rangle=\|e^{-tH/2}u\|^2\ge0\). To use this identity for a path functional one must first derive the map \(F\mapsto u_F\) and its correlation identity, as was done in Theorem 75. Self-adjointness of an unrelated scalar operator supplies neither map. In particular its compact-resolvent proof does not establish the gauge–fermion partition function or the positivity of the Grassmann functional. \(\square\)
Remark 72 (Wilson observables and the reflected Gram matrix)
For a matrix connection define
The generators and coupling belong inside the transporter. A closed-loop transport transforms by conjugation at its base point, proving trace invariance. This geometric identity does not evaluate its expectation. For a specified field law and positive-time functionals \(F_i\), reflection positivity is the matrix inequality \(\sum_{ij}\bar c_i c_j\,\mathbb E[\Theta F_iF_j]\ge0\) for all \(c\). Restricting to gauge-invariant loops does not by itself prove that matrix is positive. The positive path-law result above applies to its own cylinder algebra; there is no established Wilson-law identification here.
A.2 Clustering for the Specified Transfer Operator#
The spectral estimate in Screening, finite-size spectra, and information bounds applies to its specified scalar operator. The following record explains exactly which clustering conclusion follows for that operator and why it cannot be transferred to another field law without an operator identification.
Remark 73 (Clustering and spectral support)
For an already constructed self-adjoint transfer operator, its spectral gap bounds centered transfer matrix elements by Cauchy–Schwarz and the spectral semigroup estimate in Corollary 31. This argument applies to that same Hilbert space, state, and operator. The compact scalar gap does not establish this estimate for the full gauge-invariant field sector. Moreover \(S_{m+n}-S_mS_n\) is a cluster difference, not generally the fully connected \((m+n)\)-point cumulant; lower connected partitions also contribute. The previous proof used an unestablished full-field spectral gap and cluster-expansion control, so it does not verify OS3 for the stated interacting Schwinger functions. Those conclusions are not used as antecedents in the corrected gauge chapter.
A.3 Poincare/Unitarity Setup (OS Reconstruction)#
Remark 74 (OS reconstruction as a correlation-family criterion)
The Osterwalder–Schrader reconstruction theorem applies to a specified Euclidean correlation family with its full OS regularity and growth requirements, Euclidean covariance, permutation or graded symmetry, and reflection positivity. The abbreviated list in Definition 246 is an index of these properties; pointwise temperedness for each \(n\) alone must not replace the growth requirement in the theorem used. Clustering concerns the vacuum sector of the same family.
The construction proceeds as follows. On positive-time test sequences set \((F,G)=S(\Theta F\,G)\). Reflection positivity permits quotienting by the null space and completion. Positive Euclidean time translations then yield a contraction semigroup \(e^{-tH}\) with \(H\ge0\) on this reconstructed space. Spatial translations and rotations act unitarily. Euclidean time translation is a semigroup, not a unitary representation of the full Euclidean group on this Hilbert space. The reconstruction and analytic-continuation theorem supplies the Lorentzian positive-energy representation and fields from the same correlation family [Osterwalder and Schrader, 1973, Osterwalder and Schrader, 1975].
This describes the mathematical reconstruction operation. The chapter’s finite CP maps, reversible Markov identity and compact scalar estimates do not verify its premises for the interacting comparison action; in addition that action’s chiral multiplet has Theorem 68. No unconditional Poincare or Wightman construction for that action is concluded here.
Summary: Representations and Established Identities#
The table records formulas and their mathematical scope. A shared notation or a matching local term is not yet an isomorphism of theories. Such an isomorphism must map states and observables and intertwine their evolution.
The established results here are useful precisely because they are explicit: we can transform a derivative, compute its curvature, integrate the radial drift, and diagonalize the stated mass matrices. The same calculations expose the anomaly and the mismatches that prevent the displayed comparison from being a complete quantum reconstruction.
The table records the proved calculations and the objects to which they apply.
Object |
Established calculation |
Reference |
|---|---|---|
Phase connection |
Compensation of a local phase derivative |
|
Mode representation |
Channel dilation and represented connection covariance |
|
Feature connection |
Curvature and invariant contractions for the chosen representation |
|
Candidate product action |
Commuting factor actions and their representation kernel |
|
Chiral comparison fields |
Representation count and quantum anomaly obstruction |
|
Scalar potential |
Integration of the deterministic radial drift |
|
Gauge masses |
Quadratic form at the stated scalar configuration |
|
Yukawa masses |
Singular values on the coupled projected modes |
|
Belief transport |
Exact polar representation of the established density and phase equations |
|
Quantum reconstruction |
Properties to be checked for the same state, algebra, and evolution |
The preceding constructions provide concrete objects to implement: specified channels, represented connections, radial dynamics, and the exact polar belief equations. Their defining identities give direct numerical checks.
A claimed equivalence with an interacting quantum theory must preserve the same states, observables, and generators. The chapter’s calculations identify which identities hold and which proposed identifications fail, so subsequent implementations can build on the established mathematics.