Skip to content
Shadow Theory

What the source architecture selects

Separate derived reductions from physical premises and test the remaining freedom with explicit competing realizations.

7. Dependency reduction and physical selection

7.1 Trace every consequential premise

Native admission supplies the fan and compatible preparation. A raw relation supplies regular transport, nondegenerate density and matter. Smooth multiplicative transport yields the connection and its variations. The free spin-two law and horizontal response determine the stress; cubic total-current coupling closes the law. The affine equation eliminates distortion modulo projective shifts; the volume-restored observable returns metric transport. Density and matter variations then give (50) and (53).

In the table, source means the target-neutral admission and preparation architecture. Realization means additional physical or regularity structure in the raw sector. Admitting a representation and selecting a physical law are distinct operations.

Table 1. Premises, provenance and dependence

PremiseStatusConsequence or remaining dependence
Source fan and common witnessSource-derivedProposition 2.1 and common-witness equations constrain the sector but do not choose its action.
Literal preparation tupleSource definitionEquation (3); physical fields belong to the raw relation (4).
Smooth manifold and dimension fourAdded realizationEnables density inversion and the physical Einstein–matter sector; admission does not choose dimension.
Lorentzian backgroundExternal physical inputThe connected nondegenerate branch inherits the signature.
NondegeneracyDomain conditionThe weak-field estimate below suffices locally; admission does not generally rule out degeneracy.
Regular multiplicative transportAdded realizationSmoothness at constants implies the local first-jet law, Theorem 3.1.
Torsion-free dynamics modulo projective symmetryDerived on shellTheorem 4.1 removes nonprojective distortion; Theorem 4.2 returns unique metric transport.
Projectively invariant observablesAdded observable choiceNecessary to make projective shifts redundant; bare vector transport does not descend.
Free massless spin-two actionExternal physical lawDeser's starting quadratic law; source admission allows alternatives.
Linear gauge identityConsequence of the free lawFollows from (37) and its trace-adjusted form.
Horizontal auxiliary responseSpecified operationEquation (42) is necessary for the off-shell stress theorem.
Cubic current couplingBootstrap requirementTheorem 5.2 proves closure given the free law and total-current requirement.
Coupling magnitudeOpen physical selectionκE=λ2/2\kappa_E=\lambda^2/2 fixes conversion, not its measured value.
Metric matterAdded constitutive sectorCommon-density response gives dependence on BB; minimal scalar selection also requires metric ultralocality.
Nonlinear gauge and constraintsDerived from completed lawPullback invariance, Bianchi and matter Noether identities; well-posedness uses the chosen evolution domain.
Boundary and regularity classesAdded analytic contractMatched collar, divergence and differentiability data control projection and variation.

The reductions work together. Constant-path smoothness removes a separate jet postulate within the regular realization. The unrestricted affine law replaces torsion-free kinematics with a stationary equation and an observable quotient. Gauge invariance follows from the selected quadratic and covariant actions. Scalar minimality is fixed within the restricted natural class in Proposition 6.1. These reductions do not make the target-neutral architecture a unique selection of general relativity.

7.2 Competing realizations expose sharp obstructions

Proposition 7.1 (Target-neutral underdetermination). Native admission and literal preparation as used in §2, with the generic raw-relation schema, do not select dimension, signature, gravitational action or matter curvature coupling.

Proof. Keep the admitted fan, mark, order, lineage and invariant tuple. One raw sector has regular transport and Lorentzian densities in dimension four; another has Euclidean densities or a different dimension greater than two. The same schema retains either set of fields and nonzero residuals. Neither support nor literal preparation mentions the physical choices. Even within four-dimensional Lorentzian sectors, the affine Einstein action and its metric reduction augmented by α∫vR(g)2\alpha\int vR(g)^2 have inequivalent Euler equations while fitting the same schema. The minimal scalar and its ξvRϕ2\xi vR\phi^2 extension also fit it. These explicit competitors satisfy the target-neutral premises.

This rules out deriving the selections from those premises. It does not refute all additional physical postulates in the full monograph. A stronger selection claim must identify which extra postulate excludes the competitor.

A chosen signature persists in a controlled neighborhood. If ∥η−1λh∥<1\|\eta^{-1}\lambda h\|\lt1 in a submultiplicative norm, the Neumann series gives invertibility of BB. Along η+sλh\eta+s\lambda h, 0≤s≤10\le s\le1, the real symmetric matrix stays nondegenerate and inertia stays fixed. The argument preserves the selected signature; it does not select it.

Within the Einstein–Hilbert family, requiring the given flat vacuum to solve the completed equations forces the vacuum coefficient in −2Λv-2\Lambda v to vanish: Gμν=0G_{\mu\nu}=0 and the metric is nondegenerate. The same criterion does not exclude R2R^2 terms, whose first variation vanishes there. This constrains a parameter, not the whole action.

The competitors change concrete responses. In four-dimensional affine Palatini f(R)=R+αR2f(R)=R+\alpha R^2 with connection-independent matter, the trace equation gives R=−κETR=-\kappa_E T. At a point with dust response T=−ρT=-\rho and orthonormal T00=ρT_{00}=\rho,

R00=κEρ−f/21+2ακEρ,R00−κEρ2=−3ακE2ρ22(1+2ακEρ).(58)R_{00}=\frac{\kappa_E\rho-f/2}{1+2\alpha\kappa_E\rho},\qquad R_{00}-\frac{\kappa_E\rho}{2} =-\frac{3\alpha\kappa_E^2\rho^2}{2(1+2\alpha\kappa_E\rho)} . \tag{58}

Here RμνR_{\mu\nu} is symmetric affine Ricci and R=gμνRμνR=g^{\mu\nu}R_{\mu\nu}. The connection equation uses f′(R)Bf'(R)B, not BB. For constant trace and f′(R)≠0f'(R)\ne0 the metric connection agrees with LC(g)\mathrm{LC}(g); it generally does not for varying trace. Equation (58) is a pointwise comparison, not a global dust solution. It distinguishes the equations wherever the denominator is nonzero.

For the scalar alternative take g=e2t2ηg=e^{2t^2}\eta and constant massless ϕ=1\phi=1. The minimal scalar residual vanishes. The nonminimal residual in (□g−ξR)ϕ=0(\Box_g-\xi R)\phi=0 is −ξR-\xi R, with

R=12(1+2t2)e−2t2.(59)R=12(1+2t^2)e^{-2t^2}. \tag{59}

Thus flat matching and common-density dependence do not fix minimal coupling without Proposition 6.1's extra restriction.

7.3 What the architecture explains and what comes next

The support, common preparation, explicit composition and map between transport and geometric dynamics give a complete source realization. Regularity provides reconstruction and error transfer. Projective reduction shows precisely which transport information is discarded and why torsion-free kinematics can be relaxed without changing the metric endpoint. The stress identity explains why the derivative current survives projection and why freezing the wrong variable fails. These are structural results, distinct from experimental evidence for a microscopic carrier.

The open problem is to select the raw law and observable class. A further source principle must distinguish the quadratic spin-two and total-current construction from the explicit alternative actions while preserving native admission. Requiring an Einstein readout at the outset would insert the desired conclusion. The realization instead declares its physical starting law and proves the exact recovery.

Published source: Transport and Projective Reduction in a Source–Readout Derivation of Einstein Gravity. Read the original PDF alongside the web treatment.