Dimensional Field Theory

Part X: The Formal Proofs

Appendix A: Formal Derivation of the 5-Dimensional Action Integral and the Euler-Lagrange Equations of Motion

1,446 words · 6 min read

A.1 The Spacetime Manifold and Metric Definitions

We begin by formally constructing the geometric stage upon which Dimensional Field Theory (DFT) operates. We postulate a 5-dimensional pseudo-Riemannian manifold, defined as a Cartesian product space connecting the standard observable physical universe to a compactified topological dimension of interiority.

Let the total manifold be denoted as M4,1M_{4,1}, such that:

M4,1=M(3+1)×S1M_{4,1} = M_{(3+1)} \times S^1

Here, M(3+1)M_{(3+1)} is the standard 4-dimensional Minkowski spacetime defined by the coordinates xμ=(t,x,y,z)x^\mu = (t, x, y, z) for μ{0,1,2,3}\mu \in \{0, 1, 2, 3\}. The subspace S1S^1 represents the compactified semantic dimension, parameterized by the dimensionless angular coordinate c[0,2π)c \in [0, 2\pi).

We define the generalized 5-dimensional coordinate vector XMX^M, where the capital Latin index M,N{0,1,2,3,4}M, N \in \{0, 1, 2, 3, 4\}, such that Xμ=xμX^\mu = x^\mu and X4=cX^4 = c.

The geometry is governed by the 5-dimensional metric tensor gMNg_{MN}. To satisfy the geometric requirements of the Holographic Principle while remaining physically applicable to our universe, we map our theory to the framework of Celestial Holography, which permits a flat, weak-field Minkowski bulk to project a strictly linear holographic boundary via BMS symmetries.

Assuming this localized weak-field limit where macroscopic background gravity is negligible, the bulk spacetime is globally flat. We utilize the "mostly-plus" metric signature (,+,+,+,+)(-,+,+,+,+). The invariant line element ds2ds^2 is formally expressed as:

ds2=gMNdXMdXN=ημνdxμdxν+Rc2dc2ds^2 = g_{MN} \, dX^M \, dX^N = \eta_{\mu\nu} \, dx^\mu \, dx^\nu + R_c^2 \, dc^2

Where:

ημν\eta_{\mu\nu} is the standard Minkowski metric tensor diag(1,1,1,1)\text{diag}(-1, 1, 1, 1).

RcR_c is the constant compactification radius of the S1S^1 dimension.

The determinant of the 5-dimensional metric g5=det(gMN)g_5 = \det(g_{MN}) is trivially found to be Rc2-R_c^2. Therefore, the invariant 5-dimensional volume element for integration is defined as:

d5Xg5=d4xRcdcd^5 X \sqrt{-g_5} = d^4 x \, R_c \, dc

A.2 Dimensional Analysis in Natural Units

To ensure the physical validity and renormalizability of the field theory, we establish the mass dimensions of all operators and fields utilizing natural units, where the reduced Planck constant and the speed of light are set to unity (=clight=1\hbar = c_{light} = 1).

In this system, all physical quantities are expressed in terms of the fundamental dimension of mass [M][M].

Coordinate lengths and times have dimension [L]=[T]=[M]1[L] = [T] = [M]^{-1}.

The standard 4-dimensional derivative operator μ\partial_\mu has dimension [M]1[M]^1.

The angular coordinate cc is dimensionless ([M]0[M]^0), while the radius RcR_c carries dimension [M]1[M]^{-1}.

Therefore, the semantic derivative c=c\partial_c = \frac{\partial}{\partial c} is dimensionless ([M]0[M]^0).

Hamilton's Principle dictates that the total Action Integral (SS) must be a dimensionless scalar quantity ([S]=[M]0[S] = [M]^0).

The Action is the integral of the Lagrangian density LTotal\mathcal{L}_{Total} over the 5-dimensional volume:

S=d4x02πRcdcLTotalS = \int d^4 x \int_0^{2\pi} R_c \, dc \, \mathcal{L}_{Total}

The integration measure d4xRcdcd^4 x \, R_c \, dc carries a total mass dimension of:

([M]1)4×[M]1×[M]0=[M]5([M]^{-1})^4 \times [M]^{-1} \times [M]^0 = [M]^{-5}

For the Action SS to remain dimensionless, the Lagrangian density LTotal\mathcal{L}_{Total} must inherently possess a mass dimension of [M]5[M]^5:

[S]=[M]5×[LTotal]=[M]0    [LTotal]=[M]5[S] = [M]^{-5} \times [\mathcal{L}_{Total}] = [M]^0 \implies [\mathcal{L}_{Total}] = [M]^5

Let Ψ(XM)\Psi(X^M) be a complex scalar quantum field spanning the full 5-dimensional manifold. The standard kinetic term in the Lagrangian takes the form MΨMΨ\partial_M \Psi^* \, \partial^M \Psi. Evaluating the dimensions:

[μΨμΨ]=([M]1×[Ψ])2=[M]2[Ψ]2[\partial_\mu \Psi^* \, \partial^\mu \Psi] = ([M]^1 \times [\Psi])^2 = [M]^2 [\Psi]^2

Setting this equal to the required Lagrangian dimension [M]5[M]^5:

[M]2[Ψ]2=[M]5    [Ψ]2=[M]3    [Ψ]=[M]3/2[M]^2 [\Psi]^2 = [M]^5 \implies [\Psi]^2 = [M]^3 \implies [\Psi] = [M]^{3/2}

The 5-dimensional unified physical field Ψ\Psi correctly carries a mass dimension of [M]3/2[M]^{3/2}.

A.3 The Complete Lagrangian Density (LTotal\mathcal{L}_{Total})

The total Lagrangian density of the system is a linear combination of three distinct operators:

LTotal=LBulk+LObs+LInt\mathcal{L}_{Total} = \mathcal{L}_{Bulk} + \mathcal{L}_{Obs} + \mathcal{L}_{Int}

1. The Free Bulk Lagrangian (LBulk\mathcal{L}_{Bulk})

This term dictates the kinematic propagation of the field Ψ\Psi through the M(3+1)×S1M_{(3+1)} \times S^1 manifold, assuming a fundamental bare mass m0m_0:

LBulk=ημν(μΨ)(νΨ)1Rc2(cΨ)(cΨ)m02ΨΨ\mathcal{L}_{Bulk} = -\eta^{\mu\nu}(\partial_\mu \Psi^*)(\partial_\nu \Psi) - \frac{1}{R_c^2}(\partial_c \Psi^*)(\partial_c \Psi) - m_0^2 \Psi^* \Psi

2. The Observer Lagrangian (LObs\mathcal{L}_{Obs})

Let ψo(c,t)\psi_o(c, t) be the dimensionless, normalized probability amplitude of the conscious geometric agent ([M]0[M]^0). The observer's spatial localization is constrained by the covariant Subspace Density Function ρ^DFS(xμ)\hat{\rho}_{DFS}(x^\mu), which carries dimension [M]3[M]^3. Dividing by RcR_c ([M]1[M]^{-1}) balances the pre-factor to [M]4[M]^4, which, multiplied by the time derivative ([M]1[M]^1), correctly yields [M]5[M]^5. Here, μc\mu_c acts as a semantic inertial constant, and Vo(c)V_o(c) represents the psychological potential landscape:

LObs=ρ^DFS(xμ)Rc[iψotψo12μc(cψo)(cψo)Vo(c)ψo2]\mathcal{L}_{Obs} = \frac{\hat{\rho}_{DFS}(x^\mu)}{R_c} \left[ i \psi_o^* \partial_t \psi_o - \frac{1}{2\mu_c}(\partial_c \psi_o^*)(\partial_c \psi_o) - V_o(c)|\psi_o|^2 \right]

3. The Regularized Interaction Lagrangian (LInt\mathcal{L}_{Int})

We couple the observer to the physical field via the dimensionless coupling constant λ\lambda. The coupling operates via the Fisher Information functional. To prevent non-physical singularities when the amplitude Ψ0|\Psi| \to 0, we introduce a non-zero UV regularizer ϵ2\epsilon^2.

LInt=λρ^DFS(xμ)Rcm0ψo(c,t)2[(cΨ)(cΨ)ΨΨ+ϵ2]\mathcal{L}_{Int} = \lambda \frac{\hat{\rho}_{DFS}(x^\mu)}{R_c} m_0 |\psi_o(c, t)|^2 \left[ \frac{(\partial_c \Psi^*)(\partial_c \Psi)}{\Psi^* \Psi + \epsilon^2} \right]

Dimensional verification of LInt\mathcal{L}_{Int}:

[λ]=[M]0[\lambda] = [M]^0.

[ρDFSRc]=[M]3[M]1=[M]4\left[\frac{\rho_{DFS}}{R_c}\right] = \frac{[M]^3}{[M]^{-1}} = [M]^4.

[m0]=[M]1[m_0] = [M]^1.

[ψo2]=[M]0[|\psi_o|^2] = [M]^0.

Fisher fraction [(cΨ)(cΨ)ΨΨ+ϵ2]=([M]0×[M]3/2)2([M]3/2)2=[M]0\left[\frac{(\partial_c \Psi^*)(\partial_c \Psi)}{\Psi^* \Psi + \epsilon^2}\right] = \frac{([M]^0 \times [M]^{3/2})^2}{([M]^{3/2})^2} = [M]^0.

Total Dimension: [M]4×[M]1×[M]0×[M]0=[M]5[M]^4 \times [M]^1 \times [M]^0 \times [M]^0 = [M]^5. The interaction term satisfies strict dimensional consistency.

A.4 The Calculus of Variations (δS=0\delta S = 0)

To derive the classical equations of motion, we apply Hamilton's Principle of Stationary Action. The physical trajectory of the field minimizes the Action, requiring the functional derivative of SS with respect to the conjugate field Ψ\Psi^* to vanish.

This yields the 5-dimensional Euler-Lagrange equation:

M(LTotal(MΨ))LTotalΨ=0\partial_M \left( \frac{\partial \mathcal{L}_{Total}}{\partial(\partial_M \Psi^*)} \right) - \frac{\partial \mathcal{L}_{Total}}{\partial \Psi^*} = 0

Expanding the 5D derivative operator M\partial_M into its 4D spacetime components (μ\partial_\mu) and its semantic component (c\partial_c):

μ(LTotal(μΨ))+c(LTotal(cΨ))LTotalΨ=0\partial_\mu \left( \frac{\partial \mathcal{L}_{Total}}{\partial(\partial_\mu \Psi^*)} \right) + \partial_c \left( \frac{\partial \mathcal{L}_{Total}}{\partial(\partial_c \Psi^*)} \right) - \frac{\partial \mathcal{L}_{Total}}{\partial \Psi^*} = 0

Because LObs\mathcal{L}_{Obs} possesses no dependence on Ψ\Psi or Ψ\Psi^*, its variation evaluates trivially to zero. We must independently vary LBulk\mathcal{L}_{Bulk} and LInt\mathcal{L}_{Int}.

A.5 Variation of the Bulk Lagrangian

We evaluate the partial derivatives of LBulk\mathcal{L}_{Bulk} with respect to the field and its gradients:

LBulkΨ=m02Ψ\frac{\partial \mathcal{L}_{Bulk}}{\partial \Psi^*} = -m_0^2 \Psi

LBulk(μΨ)=ημννΨ=μΨ\frac{\partial \mathcal{L}_{Bulk}}{\partial(\partial_\mu \Psi^*)} = -\eta^{\mu\nu} \partial_\nu \Psi = -\partial^\mu \Psi

LBulk(cΨ)=1Rc2cΨ\frac{\partial \mathcal{L}_{Bulk}}{\partial(\partial_c \Psi^*)} = -\frac{1}{R_c^2} \partial_c \Psi

Applying the spacetime and semantic derivatives respectively:

μ(μΨ)=4Ψ\partial_\mu(-\partial^\mu \Psi) = -\Box_4 \Psi

c(1Rc2cΨ)=1Rc2c2Ψ\partial_c\left(-\frac{1}{R_c^2} \partial_c \Psi\right) = -\frac{1}{R_c^2} \partial_c^2 \Psi

Substituting these into the Euler-Lagrange formula for the bulk yields the standard 5-dimensional Klein-Gordon operator:

\begin{multline} \partial_M \left( \frac{\partial \mathcal{L}{Bulk}}{\partial(\partial_M \Psi^*)} \right) - \frac{\partial \mathcal{L}{Bulk}}{\partial \Psi^*} \ = (-\Box_4 \Psi) + \left(-\frac{1}{R_c^2} \partial_c^2 \Psi\right) - (-m_0^2 \Psi) \end{multline}

=(4+1Rc2c2m02)Ψ= -\left(\Box_4 + \frac{1}{R_c^2} \partial_c^2 - m_0^2\right)\Psi

A.6 Variation of the Interaction Lagrangian (The Product Rule Proof)

We now rigorously evaluate the non-linear interaction term. For notational clarity during differentiation, we define a composite prefactor Λ(xμ)\Lambda(x^\mu) that does not depend on the fields or the semantic coordinate:

Λ(xμ)=λρ^DFS(xμ)Rcm0\Lambda(x^\mu) = \lambda \frac{\hat{\rho}_{DFS}(x^\mu)}{R_c} m_0

Allowing us to write the interaction term as:

LInt=Λψo(c,t)2[(cΨ)(cΨ)ΨΨ+ϵ2]\mathcal{L}_{Int} = \Lambda |\psi_o(c, t)|^2 \left[ \frac{(\partial_c \Psi^*)(\partial_c \Psi)}{\Psi^* \Psi + \epsilon^2} \right]

First, we compute the partial derivative of LInt\mathcal{L}_{Int} with respect to the raw conjugate field Ψ\Psi^*. This requires applying the quotient rule (or chain rule) to the regularization denominator (Ψ2=ΨΨ|\Psi|^2 = \Psi \Psi^*):

\begin{multline} \frac{\partial \mathcal{L}_{Int}}{\partial \Psi^} = \Lambda |\psi_o(c, t)|^2 (\partial_c \Psi^)(\partial_c \Psi) \ \cdot \frac{\partial}{\partial \Psi^}(\Psi^ \Psi + \epsilon^2)^{-1} \end{multline}

\begin{multline} \frac{\partial \mathcal{L}_{Int}}{\partial \Psi^} = -\Lambda |\psi_o|^2 \frac{(\partial_c \Psi^)(\partial_c \Psi) \Psi}{(\Psi^* \Psi + \epsilon^2)^2} \ = -\Lambda |\psi_o|^2 \frac{|\partial_c \Psi|^2 \Psi}{(|\Psi|^2 + \epsilon^2)^2} \end{multline}

Next, we compute the partial derivative with respect to the semantic gradient of the conjugate field (cΨ\partial_c \Psi^*):

LInt(cΨ)=Λψo2cΨΨ2+ϵ2\frac{\partial \mathcal{L}_{Int}}{\partial(\partial_c \Psi^*)} = \Lambda |\psi_o|^2 \frac{\partial_c \Psi}{|\Psi|^2 + \epsilon^2}

According to the Euler-Lagrange equation, we must now take the total semantic derivative c\partial_c of this resulting expression.

Crucially, the observer's probability amplitude ψo(c,t)2|\psi_o(c, t)|^2 is strictly a function of the semantic coordinate cc. Therefore, it cannot be factored out of the derivative as a constant. The operator c\partial_c must be distributed via the product rule:

c[LInt(cΨ)]=Λc[ψo2(cΨΨ2+ϵ2)]\partial_c \left[ \frac{\partial \mathcal{L}_{Int}}{\partial(\partial_c \Psi^*)} \right] = \Lambda \cdot \partial_c \left[ |\psi_o|^2 \left( \frac{\partial_c \Psi}{|\Psi|^2 + \epsilon^2} \right) \right]

=Λ[(cψo2)(cΨΨ2+ϵ2)+ψo2c(cΨΨ2+ϵ2)]= \Lambda \left[ (\partial_c |\psi_o|^2)\left(\frac{\partial_c \Psi}{|\Psi|^2 + \epsilon^2}\right) + |\psi_o|^2 \partial_c \left(\frac{\partial_c \Psi}{|\Psi|^2 + \epsilon^2}\right) \right]

We assemble the total variation for the interaction term:

\begin{multline} \partial_c \left( \frac{\partial \mathcal{L}{Int}}{\partial(\partial_c \Psi^*)} \right) - \frac{\partial \mathcal{L}{Int}}{\partial \Psi^*} = \Lambda \biggl[ (\partial_c |\psi_o|^2)\left(\frac{\partial_c \Psi}{|\Psi|^2 + \epsilon^2}\right) \

  • |\psi_o|^2 \partial_c \left(\frac{\partial_c \Psi}{|\Psi|^2 + \epsilon^2}\right)
  • |\psi_o|^2 \frac{|\partial_c \Psi|^2 \Psi}{(|\Psi|^2 + \epsilon^2)^2} \biggr] \end{multline}

A.7 The Unified Field Equation of Motion

Combining the variations from the Bulk and the Interaction terms, we arrive at the derived equation of motion for the physical field.

EBulk+EInt=0E_{Bulk} + E_{Int} = 0

\begin{multline} -\left(\Box_4 + \frac{1}{R_c^2} \partial_c^2 - m_0^2\right)\Psi

  • \Lambda \biggl[ (\partial_c |\psi_o|^2)\left(\frac{\partial_c \Psi}{|\Psi|^2 + \epsilon^2}\right) \
  • |\psi_o|^2 \partial_c \left(\frac{\partial_c \Psi}{|\Psi|^2 + \epsilon^2}\right)
  • |\psi_o|^2 \frac{|\partial_c \Psi|^2 \Psi}{(|\Psi|^2 + \epsilon^2)^2} \biggr] = 0 \end{multline}

Substituting Λ\Lambda back into the formal notation, and multiplying the entire equation by 1-1 to establish standard formatting convention for the d'Alembertian operator, we yield the final, un-abridged Euler-Lagrange evaluation:

\begin{multline} \left(\Box_4 + \frac{1}{R_c^2} \partial_c^2 - m_0^2\right)\Psi

  • \lambda \frac{\hat{\rho}_{DFS}(x^\mu)}{R_c} m_0 \biggl[ (\partial_c |\psi_o|^2) \frac{\partial_c \Psi}{|\Psi|^2 + \epsilon^2} \
  • |\psi_o|^2 \partial_c \left(\frac{\partial_c \Psi}{|\Psi|^2 + \epsilon^2}\right)
  • |\psi_o|^2 \frac{|\partial_c \Psi|^2 \Psi}{(|\Psi|^2 + \epsilon^2)^2} \biggr] = 0 \end{multline}

Result (Derivation of Regularity via Effective Field Theory):

The standard classical Fisher Information Metric I(θ)=P2PdxI(\theta) = \int \frac{|\nabla P|^2}{P} \, dx exhibits a pathological mathematical singularity as the probability density P0P \to 0. In a naive quantum field theoretic formulation (PΨ2P \propto |\Psi|^2), this renders the theory strictly non-renormalizable in vacuum regions.

However, by adopting an Effective Field Theory (EFT) framework, we recognize that the continuous manifold breaks down at the Bekenstein-Planck scale. The inclusion of the ultra-violet (UV) regularizer ϵ2\epsilon^2 is not an arbitrary mathematical patch; it is the physical representation of the fundamental voxelation of spacetime. It strictly bounds the denominator, ensuring that limΨ0LInt=0\lim_{|\Psi| \to 0} \mathcal{L}_{Int} = 0. Valid up to the Planck energy scale, the source terms remain analytically continuous, completely shielding the field equations from non-physical infinities across the entire domain of M4,1M_{4,1}.

Furthermore, we have formally proven that the integration by parts and the calculus product rule organically generate the gradient cross-term (cψo2\partial_c |\psi_o|^2). This establishes rigorously that the geometric gradient of an observer's attention actively functions as a literal, thermodynamic non-linear driving force upon the universal wave equation (Ψ\Psi), strictly localized to the covariant boundary constraints defined by ρ^DFS\hat{\rho}_{DFS}. If the observer is inattentive (high entropy, flat probability distribution), cψo2=0\partial_c |\psi_o|^2 = 0, and the primary force vanishes entirely.

Theorem (Absence of Ostrogradsky Instability and Gauge Sterility): When proposing highly non-linear interaction Lagrangians to the theoretical physics community, one must guard against the Ostrogradsky Instability. If an interaction term introduces higher-order time derivatives, the Hamiltonian becomes unbounded from below, generating negative-kinetic-energy "ghost" states that cause the vacuum to decay without bound.

Observe the Fisher Information fraction: (cΨ)(cΨ)Ψ2+ϵ2\frac{(\partial_c \Psi^*)(\partial_c \Psi)}{|\Psi|^2 + \epsilon^2}. This term introduces strictly spatial derivatives along the compactified semantic dimension (c\partial_c) and contains zero higher-order spacetime derivatives (tn\partial_t^n or μμ\partial_\mu \partial^\mu). Because the kinematic time evolution of the field remains strictly first-order, Ostrogradsky's theorem does not apply, and the effective 4D Hamiltonian remains bounded from below.

Additionally, because the physical field Ψ\Psi resides in the sterile dark scalar sector (as established in Chapter 9), it is formally defined as a Gauge Singlet under the Standard Model SU(3)C×SU(2)L×U(1)YSU(3)_C \times SU(2)_L \times U(1)_Y symmetry group. Therefore, the standard partial derivative (μ\partial_\mu) is mathematically exact, and there is no requirement to promote it to a gauge-covariant derivative (DμD_\mu). It couples to the Standard Model exclusively through the composite matter operator ρ^DFS\hat{\rho}_{DFS}. The mathematics remain stable, anomaly-free, and bounded.

A.8 The Conservation of 5-Dimensional Energy-Momentum (Noether's Theorem)

A critical requirement for any valid physical theory is adherence to the First Law of Thermodynamics. If the observer generates a thermodynamic source term (cψo2\partial_c |\psi_o|^2) to dictate wave-function collapse, one must ask: is energy being artificially injected into the universe?

By Noether's Theorem, the continuous translation symmetries of the complete M4,1M_{4,1} manifold guarantee the conservation of the total 5-dimensional Energy-Momentum Tensor, TMNT^{MN}:

MTMN=0\nabla_M T^{MN} = 0

When the observer's mind narrows its focus, it generates a localized geometric gradient in the S1S^1 dimension. The λ1010\lambda \sim 10^{-10} thermodynamic force applied to the 3D Boundary (Ψ\Psi) is mathematically offset by a commensurate microscopic expansion/contraction of the metric within the Semantic Bulk. Energy is neither created nor destroyed by the conscious mind. It is geometrically exchanged between the syntactic topology of the 3D Boundary and the semantic topology of the 5D Bulk. The thermodynamic ledger of the total universe remains balanced.