Physical premise (IDWT): Physical spacetime has infinitely many ordinary spatial dimensions plus time. Matter occupies up to ten spatial dimensions; all remaining spatial directions are unbound for every particle. Depth counts a pattern's bound spatial involvement within that space. “Observed” and “unobserved” describe an observer's access, not different kinds of dimension. Older projective and nested-geometry calculations below retain their additional hypotheses; they do not establish a separate physical manifold or compactified direction. See spatial meaning and mathematical scope.

Summary: A fixed-preparation unobserved-response rank theorem gives a conditional six-dimensional lower bound, while exact five-dimensional dynamics and averaging counterexamples identify what the existing constructions do not require.

Scope and timing

These counterfactual models test which mathematical structures require six spatial dimensions. They do not reassign the mass-formula electron index. No particular sphere or projective spatial geometry is assumed for the competing models.

The corrected orbit has an exact five-dimensional realization

Write the tested model on Rd\mathbb R^d as q,p∈Rdq,p\in\mathbb R^d, C∈so(d)C\in\mathfrak{so}(d), with a fixed rank-three nuclear projector PP. Its potential depends on ∣q∣|q| and ∣Pq∣|Pq|; its other operations are matrix products, commutators, and the bivector q∧pq\wedge p.

Let E:R5→R6E:\mathbb R^5\to\mathbb R^6 include the first five coordinates, keeping all three visible coordinates. Set

q6=Eq5,p6=Ep5,C6=EC5ET.q_6=Eq_5,\qquad p_6=Ep_5,\qquad C_6=EC_5E^T.

Since ETE=IE^TE=I, P6E=EP5P_6E=EP_5, and radii are unchanged, substitution into every equation gives F6(ιs)=ιF5(s)F_6(\iota s)=\iota F_5(s), where ι\iota is the corresponding state inclusion. No force drives the omitted coordinate or its mixed source entries. Differentiation gives DF6(ιs)ι=ιDF5(s)DF_6(\iota s)\iota=\iota DF_5(s) and the same relation for the tangent flow. This holds on both nuclear-profile branches and across their continuous join, away from the remaining full-radius singularity.

The corrected orbit already lies in this subspace. Fresh five-dimensional integration, retaining the third visible perturbation, gives:

hh full-state closure error against restricted six-dimensional monodromy
0.0096, turning-point section 3.85×10−133.85\times10^{-13} 7.61×10−127.61\times10^{-12}
0.0128 5.64×10−135.64\times10^{-13} 2.39×10−122.39\times10^{-12}
0.100 2.47×10−112.47\times10^{-11} 6.01×10−126.01\times10^{-12}

At h=0.0128h=0.0128 the growing multiplier is still 1.1384713027881.138471302788. At h=0.100h=0.100, five dimensions give maximum modulus 8.547655188198.54765518819; six dimensions give 9.184642958019.18464295801 because an additional instability occurs in the third-unobserved-coordinate block. Thus identical invariant orbits do not imply identical responses to all six-dimensional disturbances. At the weak turning-point sample neither transverse block has a resolved exponential instability; neutral splitting does not prove nonlinear stability.

This is stronger than a similar display: it preserves the interaction and the complete five-dimensional tangent dynamics. It does not reproduce an arbitrary six-dimensional preparation, every molecular configuration, or the CP3-constrained source model. The source here is a general skew matrix with a rank-four prepared spectrum, not an invertible complex structure.

The active trajectory plane has dimension four and intersects the fixed visible three-plane in two dimensions. Their span has dimension five. Deleting another coordinate cannot preserve this particular full trajectory and that visible plane isometrically. This is a minimum for this embedding, not a theorem excluding every four-dimensional model of the visible curve.

A sharp local lower-bound theorem

Let x∈R3x\in\mathbb R^3 be visible displacements and y∈Rky\in\mathbb R^k the only eliminated spatial displacements. At a fixed preparation suppose

E2(x,y)=12xTAx+xTBy+12yTKy,K>0.E_2(x,y)=\tfrac12x^TAx+x^TBy+\tfrac12y^TKy,\qquad K>0.

Eliminating yy gives y∗=−K−1BTxy_*=-K^{-1}B^Tx and

Eeff,2=12xT(A−R)x,R=BK−1BT.E_{\rm eff,2}=\tfrac12x^T(A-R)x, \qquad R=BK^{-1}B^T.

The factorization R=(BK−1/2)(BK−1/2)TR=(BK^{-1/2})(BK^{-1/2})^T proves

R≥0,rank⁡R=rank⁡B≤k.R\geq0,\qquad\operatorname{rank}R=\operatorname{rank}B\leq k.

Consequently a rank-three unobserved-mediated response at one fixed preparation requires k≥3k\geq3, hence d=3+k≥6d=3+k\geq6. The bound is sharp: any positive semidefinite rank-rr response has an rr-coordinate realization by taking its positive-eigenvalue square root and K=IrK=I_r. To infer exactly six, rather than at least six, additionally require a minimal realization with no unobserved spectator coordinates.

This is also a local theorem for nonlinear energies: if the unobserved equilibrium is unique nearby and its Hessian Eyy=KE_{yy}=K is positive definite, implicit differentiation gives the same Schur complement for the effective Hessian at that preparation. No globally quadratic energy is needed. Singular unobserved Hessians require a separate treatment.

For a stationary linear response with fixed coordinate coupling BB, unobserved inertia MM, and damping Γ\Gamma, the frequency-dependent mediated matrix is

R(ω)=B(K−ω2M−iωΓ)−1BT.R(\omega)=B\left(K-\omega^2M-i\omega\Gamma\right)^{-1}B^T.

Where the inverse exists, its complex rank is still at most kk; positive semidefiniteness need not survive at nonzero frequency. Direct feedthrough must again be separated. This formula does not cover a periodically rotating coupling B(t)B(t): sidebands and period averaging can mix different directions, as the rank-one averaging counterexample demonstrates. An orbit's cycle-averaged susceptibility cannot simply be treated as the stationary matrix above. A response-state count also does not become a spatial count without identifying the eliminated variables as physical coordinates.

The sign matters: minimizing a stable unobserved coordinate reduces the visible energy Hessian by RR. Positive definiteness of the total visible Hessian neither implies nor requires rank-three RR.

A symmetry version of the theorem

Suppose the fixed preparation is rotationally invariant, the unobserved linear displacements carry a representation U(R0)U(R_0), and the mixed map obeys BU(R0)=R0BBU(R_0)=R_0B for every visible rotation R0∈SO(3)R_0\in SO(3). Then im⁡B\operatorname{im}B is an invariant subspace of the ordinary visible vector representation. Every nonzero vector has a rotation orbit spanning R3\mathbb R^3, so a nonzero BB is surjective and k≥3k\geq3.

This does not assume three unobserved directions at the start. It assumes that a nonzero mixed linear coupling exists at a symmetry-preserving state. Covariance of a family of oriented states is weaker and does not give this result. At k=3k=3, orthogonal unobserved representations make the nonzero coupling a scalar times an orthogonal identification: BBTBB^T commutes with every visible rotation and is therefore b2I3b^2I_3.

Exact counterexamples to weaker proposed tests

  1. Direct visible response. For k=1k=1 or 22, choose B=(e1,…,ek)B=(e_1,\ldots,e_k) and positive diagonal KK. The unobserved response has rank kk, but adding the direct matrix D=I3−RD=I_3-R gives total response D+R=I3D+R=I_3. Total rank is not unobserved-channel rank.

  2. Averaging. With one unobserved coordinate and K=1K=1, choose the prescribed rotating coupling

    b(t)=(2/3cos⁡t,2/3sin⁡t,1/3)T.b(t)=\left(\sqrt{2/3}\cos t,\sqrt{2/3}\sin t,1/\sqrt3\right)^T.

    Every b(t)b(t)Tb(t)b(t)^T has rank one, but its exact period average is I3/3I_3/3. This example includes a prescribed changing orientation; it does not claim that its orientation clock is generated for free by that one unobserved displacement. It disproves the inference from averaged rank to instantaneous unobserved rank.

  3. Additional representation variables in a comparison model. The same rank proof counts whatever variables were eliminated. Calling polarization or source-matrix entries spatial directions would change the theorem's physical meaning.

  4. Additional directions of the same physical manifold. Appending uncoupled coordinates preserves a model's responses on its original invariant subspace. A lower-bound argument alone cannot exclude such higher-dimensional extensions.

These are limits of the inference, not alternative IDWT sectors. In IDWT all physical directions already belong to the one infinite manifold, and all particle sectors are nested submanifolds of it. Source-matrix components are representations of fields, not independently postulated spatial dimensions.

The current cycle-averaged molecular Hessians do not yet isolate RR under these conditions. Three molecular axes and petal counts therefore do not supply the missing rank-three premise.

Verification and next discriminating target

dimensional_necessity_checks.py checks exact rank and averaging identities, equivariance examples, random full-equation and derivative intertwinings, and optional fresh five-dimensional orbit integrations. The first full run completed 171 runtime checks; its evidence is dimensional-necessity.json.

The productive next target is a physically derived, preparation-resolved response with its direct contribution separated, not another unperturbed petal image. A proof that its unobserved-mediated part is necessarily nonsingular would activate the lower-bound theorem. That nonsingularity is not yet proved.

Work-block verification record

The final regression run completed 63 finite diagnostic scripts, with no failures. It excluded the two original expensive shooting searches explicitly; it included the archived-state rejection audit and the fresh ten-candidate cross-method verification. The new corrector and full-orbit stability tools were exercised separately with the saved arguments and states described in the orbit note. The complete suite output is in diagnostic-suite-final.json.

Three deliberate in-memory mutations were rejected: adding 10−410^{-4} to the five-dimensional velocity field failed equation intertwining; doubling one spinor-bivector operator failed the universal moment-norm polynomial; replacing reciprocal matrix evolution by identity failed the independent nonlinear response comparison. No mutated source was saved. The four new dimensional diagnostic scripts also passed under Python -O: their explicit runtime checks are not disabled with ordinary assertions.

These finite numerical checks do not upgrade numerical recurrence to an interval existence proof or identify the physical electron from the conditional theorems.