RELATIONAL SOURCE DISCRIMINATION ANDPROSPECTIVE DIMENSIONAL INFERENCE: A TSTOEAO Protocol for Observational-Equivalence Reduction, Competing Source Geometries, Negative Signatures, and Active Measurement

RELATIONAL SOURCE DISCRIMINATION AND
PROSPECTIVE DIMENSIONAL INFERENCE

A TSTOEAO Protocol for Observational-Equivalence Reduction, Competing Source Geometries, Negative Signatures, and Active Measurement

John Swygert

Ivory Tower Publishing

October 2, 2026

Abstract

This paper develops a prospective source-discrimination protocol from the dimensional and inverse-reconstruction framework established in the preceding TSTOEAO papers. The central problem is not whether a higher-dimensional model can be made to fit observations, but whether an additional latent source degree of freedom is required after strong lower-dimensional alternatives, observation operators, detection limits, model complexity, and model misspecification are explicitly registered. Observational equivalence is treated as the primary object: registered measurements partition admissible source states and source classes into equivalence sets, and relational gain is defined as contraction of those registered equivalence sets. Differential-kernel contraction is retained as a local regular diagnostic rather than a universal global measure. The paper distinguishes local identifiability, global ambiguity, singular fibers, and exact cross-dimensional observational equivalence; introduces an explicit non-identifiability decision state; and conditions any minimum inferred source dimension on the registered hypothesis family, experiment family, and equivalence rules. It strengthens the dimension-blind benchmark by admitting minimal nonlinear realizations, delay embeddings, flexible latent dynamics, cross-probe and interventional tests, generators outside all registered model classes, and comparison against conventional Bayesian model-discrimination design. The component mathematics remain established. The TSTOEAO contribution proposed here is a disciplined synthesis and test protocol whose methodological originality must be earned by adversarial computational comparison rather than asserted in advance.

1. Problem Statement

The previous dimensional papers established two complementary directions. The first treated lower-dimensional observations as constrained images of candidate higher-dimensional source geometries. The second developed a dimension-by-dimension construction and identified a stronger invariant beneath the dimensional ladder: a declared observation map partitions admissible source states into observational-equivalence classes. The present paper turns those results into a prospective discrimination procedure.

The target question is deliberately narrower than “What is the true dimension of reality?” For a registered family of candidate source models and registered observation operators, the question is: what is the minimum latent source structure required to reproduce the existing observations and correctly predict observations that were not used to fit the model?

Registered source question:  H₂, H₃, …, Hₙ  →  which classes remain admissible after prospective tests?

The word dimension is therefore conditional. It refers to degrees of freedom in an admissible source model, not automatically to an ontological claim about physical spacetime. A successful D₄ model does not by itself establish a fourth physical spatial dimension. It establishes only that, within the declared model family and measurement protocol, the tested lower-dimensional competitors were insufficient and the additional source degree produced predictive gain.

2. Established Foundations and the Proposed Synthesis

The mathematical components used here have substantial precedent. Nonlinear observability and structural-identifiability analysis use differential rank conditions to determine whether nearby internal states can be distinguished from outputs. Inverse-problem theory studies recovery of source states from incomplete or transformed observations. Nonlinear realization theory asks whether an input-output behavior admits a lower-dimensional state realization and what minimal state dimension is required. Multi-view latent-variable and nonlinear source-separation methods study recovery of shared latent structure from multiple sufficiently informative views. Bayesian and sequential experimental-design methods choose measurements that discriminate among rival models or maximize expected information gain. Negative evidence becomes informative when a predicted observation should have been detectable but is not observed. Delay-coordinate methods demonstrate that a low-dimensional measured time series can reconstruct higher-dimensional dynamical state under appropriate conditions.

Accordingly, this paper does not claim originality for kernels, ranks, quotient spaces, inverse reconstruction, minimal realization, shared-latent multi-view inference, model-selection penalties, Bayesian information gain, negative evidence, or delay embedding. The proposed TSTOEAO contribution is a registered synthesis in which dimensional source classes, transformation-specific invariants, positive and negative signatures, cross-probe latent accessibility, complexity control, held-out prediction, interventions, and active next-measurement selection are evaluated together. Whether that synthesis constitutes a distinct methodology is an empirical question to be answered against strong conventional integrated baselines.

This distinction matters. The framework should stand or fail on whether the integrated procedure produces disciplined discrimination that the individual components, used casually or independently, do not guarantee.

3. Registered Source Classes and Observation Operators

Let X_H denote the admissible state space under source hypothesis H. A hypothesis may differ from another by intrinsic dimension, topology, metric structure, dynamics, symmetry, coupling, or another registered structural property. For a measurement channel i, let

Mᵢ : X_H → Oᵢ

map source states into an observation space Oᵢ. The observed datum is Oᵢ = Mᵢ(X), possibly with noise and detection limits. The measurement operator is part of the evidentiary model; it cannot be omitted and then silently absorbed into the interpretation of the source.

For k registered measurements, define the joint map

M₁:ₖ = (M₁, M₂, …, Mₖ) : X_H → O₁ × O₂ × ··· × Oₖ.

The admissible candidate set after k observations is

C_H^(k) = {X ∈ X_H : Mᵢ(X) ≈ Oᵢ for i = 1,…,k}.

The approximation relation must be specified by the noise model, uncertainty bounds, and detection protocol. Candidate contraction, rather than visual resemblance alone, is the basic inverse operation.

4. Observational Equivalence and Two Levels of Relational Gain

Two admissible source states are observationally equivalent under a registered measurement map when they produce the same registered observation:

Xₐ ~_M X_b  ⇔  M(Xₐ) = M(X_b).

For k measurements, let the observational fiber through x be

Fₖ(x) = M₁:ₖ⁻¹(M₁:ₖ(x)).

Relational gain is defined primarily as contraction of registered observational equivalence. The fiber, posterior, or admissible candidate class is therefore the global object. Differential rank is one local diagnostic of that contraction, not its universal definition.

For a smooth d-dimensional admissible source manifold X and a regular point x, define the local observational deficit

δₖ(x) = dim ker(DM₁:ₖ|ₓ) = d − rank(DM₁:ₖ|ₓ).

Adding another measurement cannot increase the kernel of the concatenated differential:

δₖ₊₁(x) ≤ δₖ(x).

The local relational gain may therefore be written

g_loc,k+1(x) = rank(DM₁:ₖ₊₁|ₓ) − rank(DM₁:ₖ|ₓ),

or equivalently as the dimension of the quotient of locally invisible directions removed by the new measurement. This quantity describes regular local identifiability only.

Globally, let Φ be a preregistered fiber-complexity or uncertainty functional appropriate to the problem. Then

g_glob,k+1(x) = Φ(Fₖ(x)) − Φ(Fₖ₊₁(x)).

No single Φ is universal. Depending on the registered source class, Φ may be finite-fiber cardinality, dimension, measure under a declared μ_H, posterior entropy, number of connected components, or the number of symmetry-equivalence classes. Candidate-set volume must therefore name its measure and should normally be normalized, for example Cₖ = 1 − μ_H(C_H^(k))/μ_H(C_H^(0)). Bayesian implementations may instead report posterior entropy or information gain.

5. Local, Global, and Singular Identifiability

Local differential identifiability and global source identifiability are distinct. The map M(x)=x² has nonzero derivative away from x=0, yet M(x)=M(−x); local rank does not remove the global twofold ambiguity. Likewise M(x,y)=(x,y²) exhibits a fold: regular points can be locally distinguished while the global fiber contains reflected states, and the critical set y=0 requires separate treatment.

The protocol therefore separates three questions. Local identifiability asks whether neighboring admissible states can be distinguished. Global identifiability asks whether the joint map is injective on the admissible class, or injective modulo a declared symmetry group. Singular-fiber analysis asks whether critical subsets require stratification rather than a single smooth-manifold rank formula. Where needed, write X = ⋃_α X_α and perform rank and fiber analysis on the relevant strata.

The governing formulation is therefore: relational gain is contraction of registered observational equivalence; differential-kernel contraction measures its local regular component.

6. Conditional Source Dimension and Non-Identifiability

Suppose the registered hypothesis family 𝓗 contains source classes H₂ through H_N, the admissible experiment family is 𝔐, and the declared equivalence/admissible-transformation rules are 𝓔. The protocol does not reward a higher-dimensional class merely because it can fit more observations. Additional degrees of freedom must earn their complexity through prospective consequences.

When a minimum surviving source dimension is reportable, write it explicitly as

d*_(𝓗,𝔐,𝓔) = min { d : H_d remains non-rejected under the registered prospective criteria }.

This is not an intrinsic metaphysical dimension. It is conditional on the registered hypothesis family, experiments, equivalence rules, noise model, and admissible transformations. A stronger lower-dimensional realization introduced later may change the result.

Different-dimensional source classes can also be exactly observationally equivalent under the registered experiment family. Define

H_a ≡_𝔐 H_b

when their permitted or probabilistic observable outcomes coincide for every admissible experiment in 𝔐. In that case the correct scientific output is not a forced dimensional selection. It is: indistinguishable under the registered experiment class. A complexity penalty may pragmatically prefer a smaller representation, but it has not demonstrated that the source lacks an additional degree of freedom.

The decision space must also permit a fourth result: none of the registered models is adequate. This prevents an unmodeled process from being mislabeled as a higher-dimensional source merely because the higher-dimensional class is the most flexible candidate available.

7. Adversarial Lower-Dimensional Baselines

A weak lower-dimensional baseline would make a higher-dimensional model appear successful too easily. The adversary should therefore approximate the strongest observation-equivalent nonlinear realization permitted by the registered data, causal assumptions, and measurement restrictions. Candidate baselines may include nonlinear state-space models, delay embeddings, latent-variable models, kernels or splines, neural state-space models, explicit nuisance/channel models, and minimal-realization constructions where available.

Takens-style delay reconstruction is especially important. A scalar or low-dimensional time series can, under appropriate smoothness and genericity conditions, reconstruct the geometry of an underlying dynamical attractor in a delay-coordinate space. Consequently, low measurement dimension is not evidence that the source itself has equally low state dimension, and successful reconstruction in a higher-dimensional delay space is not by itself proof of an additional physical spatial dimension.

For this protocol, delay-coordinate reconstruction and other nonlinear realizations count as admissible competitors whenever they reproduce the registered observations and prospective consequences without requiring the proposed source geometry. If a reconstructed state predicts all held-out observations and interventions as well as an explicit higher-dimensional geometry, the experiment has not established that the geometric source dimension is required; it has established only that sufficient latent state structure is useful.

This is a severe test, and it is intentionally so. The framework should identify additional source structure only when lower-dimensional nonlinear representations have been given a serious opportunity to succeed.

8. Complexity Control and Prospective Prediction

Training fit is insufficient. Candidate models should be compared using held-out prediction and, where appropriate, information criteria or Bayesian evidence. AIC, BIC, minimum-description-length ideas, regularized likelihood, cross-validation, and out-of-sample log likelihood are possible tools depending on the model class. No single penalty is universal; the criterion must be registered before the decisive comparison.

The decisive pattern is not “higher dimension fits better.” It is: the lower-dimensional alternatives require increasing ad hoc flexibility, while a more constrained higher-dimensional source model predicts withheld structure with fewer effective adjustments. Conversely, if a flexible lower-dimensional model predicts equally well after complexity control, the dimensional extension is not required.

Nested-model simulation should be used to estimate the false higher-dimension selection rate. Synthetic data generated from known lower-dimensional models should be passed through the same pipeline. If the procedure routinely invents unnecessary dimensions, the inference protocol fails before it is applied to unknown systems.

9. Reliable Absence as an Active Constraint

An absent feature is informative only when the feature was sufficiently expected and the measurement had sufficient sensitivity to detect it. Let Q be a signature required or strongly predicted by H and M the registered detection process. A useful negative result requires a bounded probability of non-detection under the hypothesis:

P(¬Q observed | H, M) ≤ α,

for a preregistered tolerance α, or an equivalent likelihood/Bayesian criterion. More explicitly, failure to detect Q can arise because Q is genuinely absent or because Q occurred but the measurement missed it:

P(no detection | H) = P(¬Q | H) + P(Q | H) P(miss | Q, M).

The detection model therefore belongs inside the inference. Once calibrated, non-detection can contract the candidate family rather than remaining an informal gap. A higher-dimensional model that requires a detectable artifact and repeatedly fails to produce it should lose admissibility even if it fits the positive observations.

10. Probe-Independent Accessibility and the AΛ Test

The preceding TSTOEAO papers introduced an accessibility operator A_Λ as a candidate representation of altered relational accessibility. The present protocol imposes a strong identifiability condition on that proposal. For probe i,

Oᵢ = Mᵢ(A_Λ X).

If every probe is permitted its own arbitrary accessibility operator A_(Λ,i), then the composition can be rewritten as an effective channel Mᵢ′ = Mᵢ ∘ A_(Λ,i). In that case the accessibility term has no demonstrated independent physical content; it has been absorbed into instrument or channel modeling.

A stronger TSTOEAO claim therefore requires a shared latent Λ that constrains multiple independent probes. One probe or subset may estimate Λ, but the estimated state must predict consequences in other channels without probe-specific refitting. This establishes evidence for a shared latent explanatory structure, not automatically a physical common cause. The evidentiary ordering is: shared latent fit < cross-probe prediction < cross-probe intervention prediction. A stronger Λ_D interpretation ultimately requires prospective heterogeneous consequences under registered interventions, not merely successful joint fitting.

Estimate Λ from {O₁,…,O_r}; predict {O_(r+1),…,O_k} without refitting Λ.

This criterion separates observational accessibility, Λ_A, from the stronger hypothesized physical dimensional-expression state, Λ_D. Evidence for Λ_A does not establish Λ_D. A candidate Λ_D becomes scientifically interesting only when it produces localized, probe-independent, reproducible consequences that ordinary receiver, instrument, material, thermal, mechanical, and electromagnetic models do not already explain.

11. Transformation-Specific Relational Invariants

An invariant is meaningful only relative to a declared transformation class. Let T belong to an admissible transformation family 𝒯 and let I_R be a candidate relational invariant. Then the claim is

I_R(TX) = I_R(X),   T ∈ 𝒯,

within stated tolerances. The protocol does not assume that one invariant survives every projection, embedding, compression, or measurement. Instead, each source hypothesis registers which relational structures should survive which transformations and which should not.

This turns invariance into a discriminating tool. Two source classes may reproduce the same visible shape but imply different preserved relations under a second measurement or transformation. Those differences become prospective tests rather than retrospective interpretations.

12. Active Selection of the Next Measurement

Once several source classes remain admissible, the next observation should be chosen to separate them as efficiently as possible. This is an established problem in optimal experimental design and Bayesian model discrimination. The present protocol adopts that logic explicitly.

Let H denote the registered source-class variable and O_M the possible outcome under candidate measurement M. A natural criterion is

M* = argmax_M I(H ; O_M | O₁:ₖ),

where I denotes conditional mutual information. Alternative utilities may target expected candidate elimination, reduction of candidate-set volume, expected reduction of observational deficit, or a cost-adjusted combination.

The conceptual change is important: the framework does not merely analyze whatever data happen to arrive. It asks which measurement would most sharply distinguish the remaining source explanations. The inverse problem therefore becomes prospective and experimental rather than merely reconstructive.

13. Adversarial Dimension-Blind Computational Benchmark

The decisive test should be synthetic and blinded so that the true generating regime is known to the experimenter but hidden from the evaluator. Four regimes are required:

G₁: a genuinely lower-dimensional nonlinear dynamical generator.

G₂: a generator for which an additional registered source degree of freedom is genuinely required for prospective performance.

G₃: a cross-dimensional pair that is observationally equivalent under the initial experiment family.

G₄: a generator outside every registered candidate model class.

The lower-dimensional adversary should receive every legitimate advantage except access to held-out probes and interventions. It may use nonlinear state-space reconstruction, Takens/Sauer-style delay coordinates, flexible latent dynamics, kernels or splines, expressive neural state-space models, nuisance/channel models, and minimal nonlinear realization methods where applicable. The higher-dimensional source model should not win by possessing more unrestricted flexibility; wherever possible it should have fewer structural freedoms and stronger registered constraints.

Stage 1: Register sources, hypotheses, experiments, and equivalences

Register 𝓗, the admissible experiment family 𝔐, equivalence rules 𝓔, noise and detection models, complexity criteria, intervention classes, and all decisive thresholds before fitting. Preserve hidden probes and interventions.

Stage 2: Generate heterogeneous observations

Generate informative, redundant, partially informative, noisy, and deliberately ambiguous observations. Include calibrated detection limits so required-but-absent signatures can be evaluated. For G₃, construct at least one H_a ≡_𝔐 H_b pair under the initial experiment family.

Stage 3: Fit strong competing realizations

Fit the registered geometric source models and the strongest admissible lower-dimensional nonlinear realizations under comparable computational and hyperparameter budgets. No competitor may gain access to hidden test interventions during fitting.

Stage 4: Test unseen probes and interventions

Train using a subset of probes M₁,M₂,M₃ and interventions I₁,I₂. Then test unseen combinations such as (M₄,I₁), (M₂,I₃), and (M₅,I₄). The purpose is structural transport: a shared source representation should predict consequences under new probe/intervention combinations without relearning a probe-specific latent state. Ordinary interpolation or same-channel forecasting is not decisive.

Stage 5: Require four legitimate decisions

The evaluator must be able to return: (1) lower-dimensional class preferred; (2) higher-dimensional class preferred; (3) competing classes observationally indistinguishable under the registered experiments; or (4) none of the registered models is adequate. The procedure fails if it is forced to choose a dimension when the evidence supports decisions 3 or 4.

Stage 6: Break equivalence actively

For G₃, introduce or search for a candidate measurement M* for which the rival source classes predict different observable distributions. The active-selection procedure should identify such a discriminating experiment when one exists. If no admissible experiment separates the classes, non-identifiability must remain the result.

Stage 7: Compare against strong conventional design

Active TSTOEAO measurement selection must be compared not only with random or convenience measurements but with a standard Bayesian model-discrimination or optimal experimental-design baseline. Report whether the procedures choose equivalent experiments, whether either dominates, and whether any TSTOEAO-specific invariant or transport constraint produces measurable added value.

Stage 8: False-positive and misspecification calibration

Estimate P(Ĥ_H | G₁), the false extra-dimension rate on known lower-dimensional generators. For G₄, test whether the pipeline correctly returns “registered models inadequate” rather than drifting toward the highest-dimensional candidate. Repeat across source instances, noise levels, detection limits, and misspecified nuisance models.

14. Primary Quantities to Report

At each measurement step report local observational deficit at regular points; an explicit global-equivalence measure appropriate to the problem; normalized candidate contraction under a declared μ_H or posterior information gain; held-out predictive loss; complexity penalty or model evidence; calibrated negative-signature exclusions; cross-probe and cross-intervention error; false extra-dimension rate; rate of correct non-identifiability decisions; rate of correct model-inadequacy decisions; and experiments required for discrimination.

The active-design comparison should additionally report held-out log loss, model-class selection accuracy where selection is possible, calibration under misspecification, and the number/cost of experiments required relative to conventional Bayesian model-discrimination design.

15. Decision Rules and a Hard Non-Identifiability Boundary

A higher-dimensional source class is supported within the registered experiment only when it survives calibrated negative signatures; outperforms the strongest admissible lower-dimensional realizations on prospective observations and interventions after complexity control; transports a shared latent structure across heterogeneous probes without probe-specific refitting; reproduces across source instances and noise realizations; and maintains a preregistered false extra-dimension rate on G₁ controls.

If rival dimensional source classes are observationally equivalent under 𝔐, the result is non-identifiability, not dimensional selection. If no registered class predicts the observations adequately, the result is model inadequacy, not automatic escalation to a higher dimension.

Registered Dimensional Non-Identifiability Proposition. Let H_a and H_b be registered source classes and 𝔐 an admissible experiment family. If, for every M ∈ 𝔐, the observable outcome distributions permitted by the classes coincide, p(O | H_a,M)=p(O | H_b,M), then no inference procedure restricted to observations generated by 𝔐 can establish which source class or source dimension is required. Dimensional discrimination becomes possible only if there exists at least one admissible M* ∈ 𝔐 for which the predicted observable distributions differ.

The proposition is a limitation statement grounded in standard statistical decision logic, not a claim of new mathematics. Its role in TSTOEAO is to enforce a hard boundary: no relational distinction without an experiment capable of exposing it.

16. Relationship to TSTOEAO

Within TSTOEAO, G_T remains the universal coordinate domain and domain models M_D remain overlays or representations within that architecture. The number of coordinates used in G_T is not equated with physical spatial dimensionality. The source-discrimination protocol is therefore a domain-specific inferential construction operating inside the broader relational framework.

Encoded Equilibrium Y is not identified with source dimension or Λ. Relational invariance I_R is used only when tied to a declared transformation family. A_Λ remains an accessibility operator until independent evidence supports a stronger physical interpretation. These separations preserve the architecture developed in the preceding papers while preventing the dimensional program from becoming a second, competing coordinate system.

The TSTOEAO contribution proposed here is procedural: relation before result. A dimensional interpretation is not granted because a representation is suggestive. It must emerge from the contraction of competing relational explanations under registered observations and prospective tests.

17. What Would Count as a Distinctive Result?

The strongest initial result would not be recovery of a sphere from several circles. It would be a blinded procedure that correctly distinguishes G₁ through G₄: refusing unnecessary dimension, admitting additional source structure when genuinely required, returning non-identifiability for cross-dimensional observational equivalence, and rejecting the registered family under misspecification.

An especially strong demonstration would show that a constrained higher-dimensional source model predicts unseen probe/intervention combinations that strong nonlinear lower-dimensional realizations cannot match without relearning their structure, while the reverse controls succeed on G₁. The relevant comparison is not merely against random measurement selection but against an integrated conventional pipeline using minimal realization, multi-view latent identifiability where applicable, and Bayesian model-discrimination design.

If the TSTOEAO protocol and the conventional integrated baseline are mathematically or computationally equivalent after translation, that is itself an important result: the contribution is then a TSTOEAO synthesis and application of established inference machinery rather than a new statistical methodology. A methodological originality claim requires measurable capability or performance beyond that baseline.

18. Novelty Boundary

The novelty claim must remain narrow until literature comparison and the adversarial benchmark are complete. The component mathematics and major methodological principles—including minimal nonlinear realization, multi-view shared-latent inference, observability/identifiability analysis, Bayesian model discrimination, optimal experimental design, negative evidence, and delay embedding—are established. “One latent state explains multiple probes” is therefore not by itself a novel TSTOEAO method.

The TSTOEAO-specific contribution is the way these elements are organized around relational invariance, registered dimensional-expression hypotheses, A_Λ, the Λ_A/Λ_D distinction, and observational-equivalence reduction as a gatekeeper for dimensional claims. Methodological originality should be claimed only if the complete protocol demonstrates capabilities or performance not already delivered by a strong conventional integrated pipeline. Until then, the defensible claim is a coherent TSTOEAO source-discrimination synthesis.

19. Failure Conditions

The proposed program should be considered unsuccessful or in need of revision if local deficit reduction fails to track useful global discrimination; singular fibers defeat the registered global supplement; strong lower-dimensional realizations match higher-dimensional prospective and interventional performance at comparable or lower complexity; calibrated negative signatures fail; shared Λ collapses into channel modeling; the procedure forces dimensional choices under observational equivalence; model misspecification drives systematic selection of the highest-dimensional candidate; false extra-dimension rates exceed preregistered limits; or active TSTOEAO measurement selection offers no measurable advantage over a strong conventional model-discrimination design.

These are not peripheral caveats. They define the boundaries of the hypothesis and prevent dimensional language from outrunning the evidence.

20. Conclusion

The dimensional program can now be stated without relying on a mystical ladder or visual analogy. Registered experiments partition candidate source states and source classes into observational-equivalence sets. Relational gain is the contraction of those registered equivalences. Differential-kernel contraction describes the regular local component; global ambiguity requires fibers, symmetries, posterior uncertainty, or other declared global measures, and singular strata require separate treatment.

The central scientific question is not whether a higher-dimensional model can describe the data. It is whether additional latent source structure is required after the strongest admissible nonlinear realizations have been tested on observations, heterogeneous probes, and interventions that were not used for fitting. The framework must also be capable of saying that dimensions are observationally indistinguishable or that none of the registered models is adequate.

The resulting TSTOEAO protocol treats dimensional inference as constrained source discrimination under registered equivalence. Its next obligation is computational rather than rhetorical. If the blinded G₁-G₄ benchmark can admit necessary source degrees, refuse unnecessary ones, preserve non-identifiability when experiments cannot distinguish dimensions, reject misspecified model families, exploit reliable absence, transport shared latent structure across unseen probes and interventions, and compete favorably with established optimal model-discrimination design, there will be a credible basis for investigating whether the integrated protocol itself is a methodological contribution. If not, the scientifically proper result is a TSTOEAO synthesis and application of established mathematics.

21. References

1. Hermann, R., & Krener, A. J. (1977). Nonlinear controllability and observability. IEEE Transactions on Automatic Control, 22(5), 728–740.

2. Takens, F. (1981). Detecting strange attractors in turbulence. In D. A. Rand & L.-S. Young (Eds.), Dynamical Systems and Turbulence, Warwick 1980 (Lecture Notes in Mathematics, Vol. 898, pp. 366–381). Springer.

3. Sauer, T., Yorke, J. A., & Casdagli, M. (1991). Embedology. Journal of Statistical Physics, 65, 579–616.

4. Villaverde, A. F., Barreiro, A., & Papachristodoulou, A. (2016). Structural identifiability of dynamic systems biology models. PLoS Computational Biology, 12(10), e1005153.

5. Massonis, G., Banga, J. R., & Villaverde, A. F. (2021). Structural identifiability and observability of compartmental models of the COVID-19 pandemic. Annual Reviews in Control, 51, 441–459.

6. Rose, A. D. (2008). Bayesian Experimental Design for Model Discrimination. Doctoral thesis, University of Southampton.

7. Drovandi, C. C., et al. (2022). Optimal Bayesian design for model discrimination via classification. Statistics and Computing, 32.

8. Thompson, W. C., & Scurich, N. (2018). When does absence of evidence constitute evidence of absence? Forensic Science International, 291, e18–e19.

9. Taroni, F., Bozza, S., Hicks, T., & Garbolino, P. (2019). More on the question “When does absence of evidence constitute evidence of absence?” How Bayesian confirmation theory can logically support the answer. Forensic Science International, 301, e59–e63.

10. Hsu, A. S., Horng, A., Griffiths, T. L., & Chater, N. (2017). When absence of evidence is evidence of absence: Rational inferences from absent data. Cognitive Science, 41(S5), 1155–1167.

11. Sontag, E. D. (1979). On the observability of polynomial systems, I: Finite-time problems. SIAM Journal on Control and Optimization, 17(1), 139–151.

12. Hyvärinen, A., Sasaki, H., & Turner, R. E. (2019). Nonlinear ICA using auxiliary variables and generalized contrastive learning. Proceedings of the 22nd International Conference on Artificial Intelligence and Statistics, 859–868.

13. Schön, T. B., Lindsten, F., Dahlin, J., Wågberg, J., Naesseth, C. A., Svensson, A., & Dai, L. (2015). Sequential Monte Carlo methods for system identification. IFAC-PapersOnLine, 48(28), 775–786.

14. Swygert, J. (2026, October 1). Substrate Relaxation and Dimensional Expression: A TSTOEAO Hypothesis of Compression, Expression, Relational Coordinates, and Electromagnetic Observability. Ivory Tower Publishing.

15. Swygert, J. (2026, October 2). Dimensional Expression, Relational Geometry, and Inverse Reconstruction. Ivory Tower Publishing.

16. Swygert, J. (2026, October 2). Successive Dimensional Expression and Relational Gain: A Dimension-by-Dimension TSTOEAO Construction from Point States to Higher-Dimensional Source Geometry. Ivory Tower Publishing.

SUCCESSIVE DIMENSIONAL EXPRESSION AND RELATIONAL GAIN: A Dimension-by-Dimension TSTOEAO Construction from Point States to Higher-Dimensional Source Geometry

SUCCESSIVE DIMENSIONAL EXPRESSION AND RELATIONAL GAIN

A Dimension-by-Dimension TSTOEAO Construction from Point States to Higher-Dimensional Source Geometry

John Swygert

Ivory Tower Publishing

October 2, 2026

Abstract

This paper develops a dimension-by-dimension extension of the TSTOEAO dimensional-expression program. Rather than assigning a physical meaning to unknown higher dimensions in advance, it follows one controlled conceptual object through successive dimensional state spaces and asks the same questions at every transition: What new independent relational distinction becomes representable in D_(n+1) that was unavailable as a direct coordinate relation in D_n? Which lower-dimensional relations remain embedded or invariant? What information is lost, hidden, or made non-identifiable under a declared downward observation? What higher-dimensional source geometries remain compatible with the lower-dimensional result? What required features are absent?

The construction begins at D0 and treats D1, D2, and D3 explicitly before separating spatial dimensional extension from the physically distinct use of time in four-dimensional spacetime. It then proceeds beyond five dimensions only formally: D5, D6, and Dn are treated as additional-coordinate state spaces whose physical interpretation is intentionally left unspecified. This prevents the familiar sequence point-line-plane-volume from being used as an unjustified argument that higher physical dimensions must correspond to histories, possibilities, superposition, consciousness, or any other proposed ontology.

The result is a controlled relational ladder and an associated inverse program. Higher-dimensional hypotheses must earn their added coordinates by producing constrained lower-dimensional signatures, surviving complexity penalties, and predicting held-out observations. Reliably absent required features are treated as exclusion evidence. The framework is mathematical and methodological; it does not establish physical dimensional compression or the existence of additional physical dimensions.

1. Research Question

The central question is whether successive dimensional extension can be described by one disciplined relational rule without pretending that every dimension has the same physical character.

For each transition D_n -> D_(n+1), ask:

1. What new independent relational distinction becomes directly representable?

2. Which relations already representable in D_n remain preserved or embedded?

3. What distinctions in D_(n+1) collapse to the same D_n observation?

4. What family of D_(n+1) sources is compatible with the D_n observation?

5. What D_n feature would a proposed D_(n+1) source require, and is that feature present?

6. Does the extra coordinate improve prospective prediction rather than merely retrospective fit?

These questions are applied repeatedly to the same conceptual object. The golf ball is retained as the intuitive D3 reference, but the formal object is a relational state X_n rather than a literal golf ball forced into every dimension.

2. General Construction

Let X_n denote a state in an n-dimensional state space. Let E_n be an embedding or lifting rule into a candidate (n+1)-dimensional state space, and let M_n be a declared measurement, projection, section, or other observation operator returning an n-dimensional observation.

E_n : X_n -> X_(n+1)

O_n = M_n(X_(n+1))

The downward map is generally many-to-one. Therefore the inverse is a candidate family rather than a unique source:

C_(n+1)(O_n) = {X in X_(n+1) : M_n(X) approximately equals O_n}

Successive independent observations contract this family. A new dimension is not inferred merely because it can fit the data. It becomes scientifically relevant only if the lower-dimensional model class fails under controlled complexity and the higher-dimensional model makes successful predictions not used in its construction.

3. D0: Identity Without Extent

D0 is treated here as a deliberately minimal geometric baseline: a single point equipped with no additional intrinsic spatial structure. This does not imply that every zero-dimensional mathematical space contains only one point or lacks externally imposed relations. The baseline is chosen only to isolate the first appearance of continuous spatial extent in the subsequent construction.

At D0, the relational question is minimal: whether two labels refer to the same or different point states. There is no internal coordinate along which one part can be ordered relative to another.

The transition D0 -> D1 therefore introduces the first independent coordinate relation: ordering and separation along one axis.

4. D1: Line, Order, and One-Axis Separation

In D1 a state may be located by one coordinate x. Two points can now possess signed or unsigned separation:

Delta x = x_2 - x_1

d_1 = |Delta x|

Relations unavailable in D0 become direct: left/right under an orientation convention, interval, ordering, adjacency along a line, and one-dimensional extent.

But many distinct D2 states collapse to the same D1 coordinate under projection. If:

P_1(x,y) = x

then every pair (x,y_1) and (x,y_2) shares the same D1 observation. The unseen coordinate therefore parameterizes distinctions invisible to this observation.

Inverse question: given one D1 interval or profile, what D2 geometries could have produced it? The answer is generally non-unique. Additional views are required.

5. D2: Planar Geometry

D2 adds a second independent spatial coordinate. A state may now be represented by (x,y), permitting planar direction, angle, area, closed planar boundaries, and curvature within the plane.

d_2^2 = (Delta x)^2 + (Delta y)^2

d_2^2 - d_1^2 = (Delta y)^2

The additional coordinate supplies distinctions that are not functions of x alone. This is the simplest exact example of additional-coordinate relational capacity. Particular notions such as Euclidean angle, distance, curvature, and area additionally require the relevant topology, metric, or geometric structure; dimensionality alone does not supply them.

A conceptual golf-ball precursor in D2 is a circular state. The circle should not be called a flattened sphere. It is a legitimate D2 object with its own intrinsic geometry.

Downward to D1, a projection may yield an interval while a section may yield zero, one, or two points depending on the operator. This demonstrates why projection and section must remain distinct.

6. D3: Volume, Interior Structure, and the Golf Ball

D3 adds a third independent spatial coordinate z:

d_3^2 = (Delta x)^2 + (Delta y)^2 + (Delta z)^2

d_3^2 - d_2^2 = (Delta z)^2

The additional coordinate permits spatial relations unavailable to a strictly planar representation: three-dimensional orientation, volumetric extent, and interior structure not contained in one planar view.

The golf ball now becomes the intuitive reference object. A three-dimensional sphere or textured golf-ball model can generate many different D2 observations depending on M_i. A planar section can produce circles of changing radius. An orthographic projection produces a disk. Perspective imaging produces another transformation. Surface imaging, attenuation, scattering, and depth sensing each return different relational information.

The inverse problem therefore asks not 'does a circle mean sphere?' but 'given these declared D2 observations under these declared operators, which D3 source geometries remain admissible?'

7. D3 to D4: A Necessary Fork

The familiar progression becomes dangerous at this point. Adding a fourth Euclidean spatial coordinate is mathematically straightforward, but physical spacetime does not treat time as simply another Euclidean spatial direction. These constructions must therefore be separated.

Case A: mathematical four-space. Let:

X_4 = (x,y,z,w)

where w is simply another independent coordinate. Then two D4 states may project to the same D3 state while differing in w. This is the clean continuation of the additional-coordinate rule.

Case B: spacetime. Let:

X = (t,x,y,z)

with the geometry appropriate to the physical spacetime model being used. Here the added coordinate permits relations among spatial configurations at different times, including worldlines and histories, but its metric role is not interchangeable with an ordinary Euclidean spatial coordinate.

Accordingly, 'D4 equals history' is not a universal theorem of dimensional mathematics. It is a physically motivated spacetime construction.

8. D4 as Euclidean Calibration

For the purely geometric ladder, a four-dimensional hypersphere provides a controlled source:

x^2 + y^2 + z^2 + w^2 = R^2

A D3 section at fixed w has:

x^2 + y^2 + z^2 = R^2 - w^2

Thus a three-dimensional observer presented with successive sections would receive spheres whose radii vary systematically with w. The observer does not directly see w, but the sequence constrains the D4 source.

This is the higher-dimensional analogue of the sphere/Flatland example and is an ideal computational calibration because the ground truth is exactly known.

9. D4 as Spacetime Description

When the fourth coordinate is time, the same golf ball can be represented not as one D3 snapshot but as a temporally extended state. Translation, rotation, deformation, impact, aging, and interaction become relations across spacetime events.

A D3 snapshot does not uniquely determine the complete D4 history. Many histories can contain the same instantaneous configuration. Conversely, multiple time-indexed observations constrain the admissible history family.

This supplies another inverse problem, but it should not be confused with inferring an additional spatial dimension. Historical reconstruction, state estimation, backward integration, and temporal inference belong to a distinct operator class.

10. D5: Additional Distinctions Without Premature Meaning

The framework now deliberately refuses to declare what a physical fifth dimension is. Formally, let:

X_5 = (x_1,x_2,x_3,x_4,u)

with projection:

P_4(x_1,x_2,x_3,x_4,u) = (x_1,x_2,x_3,x_4)

Then:

(x,u_1) != (x,u_2) while P_4(x,u_1) = P_4(x,u_2) = x

This is the minimum mathematical meaning of the additional coordinate: it distinguishes states that are identical under the registered D4 projection.

A candidate interpretation such as 'relations among complete histories' may be explored only if a model explicitly defines u that way and derives consequences. The dimensional ladder itself does not force that interpretation.

11. D6: Relations Beyond the D5 Representation

The same formal rule extends to D6:

X_6 = (x_1,x_2,x_3,x_4,u,v)

where v supplies distinctions not represented by the first five coordinates. Under projection that removes v, multiple D6 states become observationally identical in D5.

Nothing in this construction tells us what v physically means. That is a feature, not a failure. The purpose is to preserve mathematical discipline while asking what an added independent coordinate must accomplish before any ontology is attached to it.

A proposed physical D6 theory would therefore have to specify what v represents, how it couples to known variables, which lower-dimensional signatures it generates, and which observations would exclude it.

12. Beyond D6: The Dn Rule

For arbitrary n, let:

X_(n+1) = (x_1, ..., x_n, u)

P_n(X_(n+1)) = (x_1, ..., x_n)

The new coordinate u creates, under the declared projection, a fiber of states sharing the same lower-dimensional representation. More generally, for any registered observation map M:X->O, observational equivalence is defined by X_a ~_M X_b iff M(X_a)=M(X_b). The observer has direct access to these equivalence classes rather than necessarily to the unique source state. Locally, invisible state-space directions are represented by ker(DM_x). Thus the dimension-by-dimension ladder is a special case of a more general geometry of observational equivalence and non-identifiability.

P_n^(-1)(x) = {(x,u) : u in U}

The higher-dimensional inference problem is to determine whether observations contain enough independent constraints to distinguish among members of that preimage or among competing higher-dimensional model classes.

This formulation permits investigation beyond five or six dimensions without pretending to know their physical interpretation.

13. What Does Each Dimension Add?

The discrete ladder can now be summarized carefully.

D0 -> D1 adds one-coordinate ordering and separation.

D1 -> D2 adds a second independent spatial relation, permitting planar geometry.

D2 -> D3 adds a third independent spatial relation, permitting volumetric geometry.

D3 -> D4, if Euclidean, adds another independent coordinate and the corresponding distinctions. If the fourth coordinate is physical time, it instead supports spacetime relations and histories under a different metric structure.

D4 -> D5 adds a formal independent coordinate whose physical meaning is unspecified.

D5 -> D6 does the same at the next level.

Dn -> D_(n+1) adds an independent coordinate only when that coordinate cannot be reduced to a function of the lower-dimensional coordinates over the relevant state space.

The general claim is therefore about relational distinguishability, not a predetermined hierarchy of physical meanings.

14. Relational Gain

A raw difference of relational-map ranks, rho_(n+1)-rho_n, is not by itself a valid measure of dimensional relational gain unless the lower- and higher-dimensional relational maps are compatibly nested. Otherwise the analyst could manufacture apparent gain simply by defining additional observables.

Let E_n:X_n->X_(n+1) be an admissible embedding and require preservation of the old relational observables under a compatible map J_n:

R_(n+1) composed with E_n = J_n composed with R_n

The genuinely new local relational directions can then be represented by the quotient of the higher relational image by the embedded lower relational image. Define:

G_(n+1)(x) = Im(DR_(n+1)|_(E_n x)) / J_(n*) Im(DR_n|_x)

and:

g_n(x) = dim G_(n+1)(x)

This quantity measures new locally independent relational observables not generated by the embedded lower-dimensional relations, provided the admissible maps have been specified.

For the inverse program, an even more direct quantity is observational deficit. For a measurement map M:X->O on a d-dimensional admissible source manifold:

delta_M(x) = dim ker(DM_x) = d - rank(DM_x)

delta_M counts locally invisible source directions. For the joint map M_k=(M_1,...,M_k), informative additional measurements can only reduce or preserve this local deficit:

delta_(k+1)(x) <= delta_k(x)

Accordingly, the operational core of relational gain in the inverse setting is reduction of observational equivalence: previously indistinguishable source directions become distinguishable.

15. Downward Loss Is Not Necessarily Destruction

If multiple higher-dimensional states map to the same lower-dimensional observation, the lower representation cannot distinguish them:

M(X_A) = M(X_B), with X_A != X_B

This is non-identifiability under M. It does not establish that the distinguishing information has been physically destroyed.

This distinction is central to TSTOEAO dimensional accessibility. Information may remain present in a richer state while becoming inaccessible to a particular receiver, protocol, or representation. Physical destruction is a stronger claim requiring independent evidence.

16. Inverse Reconstruction at Every Step

At every adjacent-dimensional transition, the inverse question has the same form:

C_(n+1)(O_n) = {X : M_n(X) approximately equals O_n}

Additional independent measurements contract the candidate family:

C_0 contains C_1 contains ... contains C_k

The goal may be unique reconstruction, but need not be. Local identifiability requires the joint observation map to have sufficient differential rank over the admissible source manifold. Global identifiability is stronger: M(X_a)=M(X_b) must imply X_a=X_b, or equivalence only under a declared symmetry group. A useful result can instead identify bounds, eliminate source classes, quantify observational deficit, or establish that an additional coordinate is unnecessary.

17. Information from What Does Not Appear

For each candidate higher-dimensional source, the analysis should derive not only what may appear below but what must appear below under specified observation conditions.

If candidate H requires feature Q and the registered measurement would detect Q with high probability, then reliable absence of Q is evidence against H. Detection failure must be included explicitly: non-detection can arise either because Q is absent or because Q is present but missed by the measurement system.

P(not Q | H, M) <= alpha

This turns missing information into a constraint rather than an invitation to speculation. The rule is prospective: the expected feature, sensitivity, nuisance conditions, and exclusion threshold should be specified before inspecting the decisive observation.

18. Preventing the Higher-Dimensional Overfit

Additional dimensions add model flexibility. Therefore a higher-dimensional model must not win merely because it can fit more observations.

Raw existence of a fit is insufficient. Competing model classes should be compared using held-out prediction and appropriate complexity control. Depending on the statistical structure, this may include cross-validation, predictive error, AIC, BIC, Bayesian model comparison, regularization, or another declared criterion.

The key requirement is simple: an additional coordinate must improve generalization or make a successful new prediction, not merely absorb unexplained variance. Strong controls should include nested-model simulation, adversarially capable lower-dimensional baselines, identifiability analysis before fitting, and experimental design that selects the next measurement for maximum discrimination among surviving model classes.

Source dimensionality is therefore identifiable only relative to a declared model family, observation class, and allowed equivalence transformations. A defensible target is the minimum dimension required within the registered model class to reproduce and prospectively predict the observations, rather than an unrestricted claim to have recovered the unique 'true dimension' of reality.

A strong test sequence is:

fit or infer from O_1 ... O_k; derive an unused consequence Q; specify how Q will be measured; test Q; reject the candidate if Q is reliably absent.

19. Accessibility and the Measurement Operator

The relation between the TSTOEAO accessibility operator A_Lambda and the measurement operator M_i requires explicit discipline. If A_Lambda is only an instrument transfer function, then it can be absorbed into the measurement operator:

M_i' = M_i composed with A_Lambda

In that case Lambda adds no distinct physical content.

For a stronger TSTOEAO accessibility or physical-dimensional hypothesis, Lambda must govern relational availability or coupling independently of the particular probe used to observe it. The same latent Lambda should constrain multiple independent probes, and a Lambda estimated from one probe should predict the others without probe-specific refitting. If each channel requires its own arbitrary A_(Lambda,i), the construction has effectively collapsed back into ordinary channel modeling.

This provides a direct bridge to the earlier requirement that candidate localized dimensional expression behave as a common physical cause rather than as a property of one measurement channel.

20. Tomography, Holography, and Encoding Limits

Tomography remains the primary inverse-reconstruction calibration because it supplies controlled lower-dimensional measurements of known richer objects. Holography remains complementary because it shows that a lower-dimensional carrier can encode phase and amplitude relations sufficient for richer optical reconstruction.

These methods should not be treated as equivalent. Radon-type tomography, coherent holography, perspective imaging, scattering, and other operators preserve different quantities and have different reconstruction guarantees.

Lower-dimensional encoding also does not create unlimited information capacity. Spatial bandwidth, sampling density, noise, resolution, aperture, phase recovery, and other channel constraints limit what can be reconstructed. Any TSTOEAO dimensional reconstruction must therefore state not only carrier dimension but encoding bandwidth and measurement capacity.

21. TSTOEAO Integration

The dimension-by-dimension construction fits the existing TSTOEAO architecture without identifying mathematical dimension with physical accessibility. It also does not identify the number of coordinates used in G_T with the physical dimensionality of reality: TSTOEAO coordinates may represent many kinds of relational variables, whereas the present D_n ladder is a domain-specific geometric construction.

Let x belong to the universal relational domain G_T. Let M_D provide a domain-specific representation. Let A_Lambda represent a declared accessibility transformation, and let M_i be the registered observation operator:

O_i = M_i(A_(Lambda_i)x)

For the stronger physical interpretation, A_Lambda must remain distinguishable from M_i through probe-independent consequences. Relational invariants I_R are defined relative to the admissible transformation class and must be specified before the decisive test.

Encoded Equilibrium Y remains distinct from Lambda and dimensional order unless a later derivation establishes otherwise.

22. A Computational Ladder

The program should now be implemented in increasing difficulty.

Stage 1: D2 -> D1. Generate known planar objects and controlled one-dimensional measurements. Reconstruct or constrain the hidden D2 source.

Stage 2: D3 -> D2. Use spheres, ellipsoids, asymmetric bodies, and relational graphs. Compare sections, projections, and tomographic measurements.

Stage 3: D4 -> D3. Use exact four-dimensional objects such as hyperspheres and generate controlled three-dimensional sections or projections.

Stage 4: dimension-blind inference. Generate observations from a known source but hide its dimensional class. Compare H2, H3, H4, H5, and higher candidate classes under complexity penalties and held-out prediction. Include deliberately strong nonlinear lower-dimensional competitors so that higher dimension is not rewarded merely because the lower-dimensional baseline was artificially weak.

Stage 5: negative-signature testing. Include candidate source classes that require specific lower-dimensional features and measure how reliably their absence eliminates them.

The output should include candidate-set shrinkage curves, reconstruction error, held-out prediction error, model complexity, and false exclusion rates.

23. The Golf Ball Revisited

The original golf-ball intuition can now be restated without overclaim.

At D3, the golf ball is a volumetric spatial object. A single D2 observation is not the golf ball; it is one result of a declared operator acting on that object. Multiple D2 observations can constrain its D3 geometry. A hypothetical D4 source could contain distinctions invisible in every single D3 snapshot yet detectable through a structured family of observations. The same formal statement extends upward.

Thus the useful 'fan' image is not that a physical object necessarily unfolds through dimensions. It is that the family of relational distinctions permitted by the model can expand with independent coordinates, while downward observations collapse many richer states into the same lower-dimensional result.

The scientific problem is to infer which richer distinctions are actually required.

24. Identifiability Gain Proposition

Let X be a smooth d-dimensional admissible source manifold and let the joint registered observation map after k measurements be:

M_k = (M_1,...,M_k): X -> O_1 x ... x O_k

Define the local observational deficit:

delta_k(x) = d - rank(DM_k|_x) = dim ker(DM_k|_x)

Appending an additional registered measurement cannot increase the kernel of the joint differential. Therefore:

delta_(k+1)(x) <= delta_k(x)

Genuine local identifiability gain occurs when the inequality is strict. The newly accessible local source directions can be represented by:

A_(k+1)(x) = ker(DM_k|_x) / ker(DM_(k+1)|_x)

with gain:

g_(k+1)(x) = dim A_(k+1)(x)

This proposition is elementary differential geometry and rank theory; the TSTOEAO contribution is its use as an operational definition of relational gain within a prospective source-inference protocol. In this restricted sense, relational gain is reduction of observational equivalence.

25. Failure Conditions

The dimensional ladder fails as a novel scientific contribution if it merely renames standard coordinate extension and inverse theory without adding useful organization, constraints, or predictions. A proposed additional dimension is unnecessary when a lower-dimensional model achieves equal or better prospective performance under fair complexity control. A claimed relational gain fails if the added coordinate is functionally dependent on existing coordinates. A negative observation is not exclusion evidence when the predicted feature was not reliably detectable. A projective or reconstructive success does not establish physical dimensional compression.

These failure conditions preserve the useful mathematical layers even if the stronger physical interpretation fails.

26. Conclusion

A dimension-by-dimension treatment clarifies what can and cannot be inferred from the intuition that higher dimensions reveal additional geometry. The strongest uniform structure is not a predetermined geometric meaning attached to every dimension, but the fiber and equivalence-class structure induced by declared downward observations. From D0 through D3, added independent spatial coordinates permit familiar new classes of geometric relation once the necessary topology and metric structure are specified. At D4 the analysis must fork: Euclidean four-space continues the coordinate ladder, while physical time introduces spacetime structure with different geometry. Beyond D4, mathematics permits additional independent coordinates indefinitely, but it does not assign them physical meanings.

The disciplined rule is therefore not that each dimension contains a predetermined new reality. It is that independent added coordinates can distinguish source states that a declared lower-dimensional observation maps into the same observational equivalence class. The corresponding scientific task is to determine whether registered observations require those additional distinctions, whether successive measurements reduce observational deficit, and whether candidate richer source models make successful complexity-controlled predictions.

This converts the original visualization into a general research program: move upward only by declared coordinate extension; move downward only through declared measurement operators; preserve transformation-specific invariants; infer source families rather than preferred stories; and use both observed and reliably absent features to constrain what cannot be seen directly.

Working principle: At every dimensional transition, ask what new independent distinction becomes representable, what survives downward observation, what collapses into non-identifiability, and what unseen source geometries remain possible after both positive and negative evidence are applied.

DIMENSIONAL EXPRESSION, RELATIONAL GEOMETRY, AND INVERSE RECONSTRUCTION: A TSTOEAO Research Note on Dimensional Compression, Higher-Dimensional Inference, and Information from Projection

DIMENSIONAL EXPRESSION, RELATIONAL GEOMETRY, AND INVERSE RECONSTRUCTION

A TSTOEAO Research Note on Dimensional Compression, Higher-Dimensional Inference, and Information from Projection

John Swygert

Ivory Tower Publishing

October 2, 2026

Abstract

This paper develops a constrained geometric and inverse-reconstruction extension of the TSTOEAO dimensional-expression program. Its central intuition is that increasing dimensional order may permit relational distinctions unavailable to a lower-dimensional representation, while lower-dimensional measurements may preserve enough structure to constrain an unseen higher-dimensional source. The proposal is refined here to distinguish ambient dimension, intrinsic dimension, coordinate representation, embedding, projection, cross-section, dynamics, and observer-accessible information. The central mathematical problem is therefore not that every additional dimension automatically contains more information, but that an added independent coordinate can permit relational distinctions that are not functions of the lower-dimensional coordinates alone.

The paper formalizes a forward problem, in which a declared higher-dimensional source generates lower-dimensional observations through specified measurement operators, and an inverse problem, in which observed and reliably absent features progressively constrain an admissible family of higher-dimensional sources. Tomography is proposed as the primary calibration domain, with holography providing a complementary demonstration that the dimension of a recording medium need not equal the dimension of the reconstructed relational structure. None of these results would establish physical dimensional compression. They instead provide a rigorous prerequisite for later hypotheses concerning localized dimensional expression, electromagnetic actuation, or substrate ontology.

1. The Golf-Ball Intuition and Its Necessary Correction

The motivating thought experiment begins with a golf ball. Ordinary compression makes a three-dimensional object occupy less three-dimensional volume. Candidate dimensional compression asks a different question: can a relational state admit a lower-dimensional expression while preserving enough structure to constrain or reconstruct a richer source?

ordinary compression: 3D object -> smaller 3D object

candidate dimensional expression: richer relational state -> lower-dimensional observation or expression

The golf-ball picture is useful, but it must not be treated as proof that one physical object literally exists at a sequence of dimensional levels. The rigorous starting point is a declared geometric state X_n in an n-dimensional state space, together with specified upward and downward maps. A lower-dimensional circle, for example, does not uniquely imply a sphere. It may be the projection or section of many different three-dimensional objects.

circle does not imply sphere

The correct statement is conditional: a lower-dimensional observation plus a declared observation geometry constrains the family of possible higher-dimensional sources.

2. Additional-Coordinate Relational Capacity

The strongest informal statement in the earlier version was that each additional dimension adds relational geometry. That statement is retained only in a more precise form.

Additional-Coordinate Relational Capacity: Given a specified state space and embedding, adding an independent coordinate permits relational distinctions that are not functions of the lower-dimensional coordinates alone.

For an (n+1)-dimensional displacement,

Delta x = (Delta x_1, ..., Delta x_n, Delta x_(n+1))

the lower-dimensional representation has no direct coordinate for Delta x_(n+1). Under Euclidean geometry,

d_(n+1)^2 = sum_(i=1)^n (Delta x_i)^2 + (Delta x_(n+1))^2

d_(n+1)^2 - d_n^2 = (Delta x_(n+1))^2

This gives a rigorous sense in which an added coordinate can support relational distinctions invisible in a particular lower-dimensional projection. It does not imply that every higher-dimensional representation contains more information, nor does it assign a predetermined physical meaning to the additional coordinate.

3. Intrinsic Dimension, Ambient Dimension, and Representation

Intrinsic dimension must be separated from ambient embedding dimension. A two-dimensional spherical surface can be embedded in three-dimensional space while remaining intrinsically two-dimensional. An observer confined to that surface can measure intrinsic curvature without direct access to the ambient third coordinate.

intrinsic dimension != ambient embedding dimension

Likewise, a lower-dimensional carrier can encode information sufficient to reconstruct richer geometry. Therefore:

lower-dimensional carrier does not imply lower informational complexity

higher ambient dimension does not imply more information in every representation

What changes under a declared dimensional construction is the class of relations directly representable or identifiable under the chosen state space, embedding, and observation map.

4. Projection, Section, and Measurement Must Not Be Conflated

A sphere intersected by a plane produces a circular section. A sphere orthographically projected onto a plane produces a disk. These are different operations and generate different inverse problems. A detector may instead measure a line integral, intensity, phase, scattering response, boundary value, arrival time, attenuation, convolution, or another transformed quantity.

The general observation model should therefore be written:

O_i = M_i(X)

where M_i is a declared measurement operator containing the relevant geometry and observation physics. No dimensional inference is meaningful until the measurement operator is specified.

5. Forward Dimensional Problem

Let X_(n+1) belong to a declared family of candidate higher-dimensional states. The forward problem calculates what a lower-dimensional observer receives:

O_n = M_n(X_(n+1))

The familiar Flatland construction is a calibration example. A three-dimensional sphere passing through a two-dimensional plane can generate a sequence from point to growing circle to shrinking circle to point. The sequence is not the sphere itself; it is the result of a specified intersection process.

A generalized dimensional-expression framework must reproduce such known cases before it is used to reason about unknown higher-dimensional structures.

6. Inverse Dimensional Problem

The inverse problem is set-valued rather than generally unique. Given observation O under measurement operator M, define:

C(O) = {X in X_(n+1) : M(X) = O}

With noise and experimental tolerance, the exact equality becomes an admissibility condition. For multiple observations:

C_k = {X in X_(n+1) : d_i(M_i(X), O_i) <= epsilon_i for all i}

The candidate family contracts as valid independent evidence is added:

C_0 contains C_1 contains C_2 contains ... contains C_k

The objective need not be unique reconstruction. It may be sufficient to eliminate source classes, bound parameters, identify dimensional requirements, or make the remaining candidate family substantially smaller.

7. Information from Reliable Absence

A central methodological feature of this program is that an unseen source can be constrained not only by observed features but by features it should have produced and did not.

Suppose candidate X_A strongly predicts feature Q under a declared measurement operator. A missing Q constrains X_A only when the observation was capable of exposing Q. A statistical form is:

P(not Q | X_A, M) <= alpha

If alpha is preregistered as sufficiently small and not-Q is observed under adequate sensitivity, X_A is inconsistent with the observation at the declared criterion.

Absence is informative only when the candidate requires or strongly predicts the feature, the measurement operator would expose it, sensitivity is sufficient, nuisance processes cannot plausibly hide it, and the absence criterion was not invented after the data were seen. This converts 'information from what is missing' into ordinary constrained inference rather than interpretive freedom.

8. Tomography as the Primary Calibration Case

Tomography is the most direct first calibration because it has exactly the required structure: a richer object generates a family of lower-dimensional measurements, and those measurements are used for inverse reconstruction.

For a two-dimensional object f(x,y), the Radon transform supplies line-integral observations:

R f(theta,s) = integral over line(theta,s) of f(x,y) dl

One projection is generally insufficient. A sufficiently rich family can support reconstruction. Deliberately removing viewing angles produces incomplete information and a larger admissible candidate family. This gives a controlled environment for testing accessibility, identifiability, missing information, joint reconstruction, invariants, and negative constraints against known ground truth.

The program should begin with 2D-to-1D cases, then 3D-to-2D cases, before attempting 4D-to-3D reconstruction.

9. Holography as a Complementary Calibration

Holography provides a different lesson. A lower-dimensional recording can encode phase and amplitude relationships sufficient to reconstruct a richer optical wavefront. This demonstrates that the dimensionality of a storage medium is not identical to the dimensionality of the reconstructed relational structure.

Holography therefore calibrates the distinction among carrier dimension, encoded relational information, accessibility, and reconstruction. It does not demonstrate literal physical dimensional compression or substrate relaxation.

10. Relational Capacity Must Be Quantified

The phrase relational volume is useful intuitively but should not yet be treated as a defined mathematical quantity. Possible formal measures include state-space dimension, accessible-subspace dimension, rank of a relation map, identifiable parameter count, entropy, mutual information, manifold dimension, or degrees of freedom. These quantities are not interchangeable.

If the intended quantity is the number of locally distinguishable relational degrees of freedom, one candidate measure is:

rho(x) = rank(D R_x)

where R maps a state into a declared family of relational observables. A candidate upward expression could then satisfy:

rho_(n+1) > rho_n

This does not establish new physics. It gives 'additional relational geometry' an operational mathematical target.

11. Relational Invariants

The dimensional-expression program requires invariants, but it need not seek one mysterious universal invariant. Invariance is always relative to a declared transformation class T.

I_R in Inv(T)

I_R(Tx) = I_R(x), for T in T

Different transformation classes may preserve different invariant families. Area, distance, topology, curvature, phase relations, and other quantities are preserved only under particular maps. The invariant must therefore be selected prospectively from the admissible transformation class rather than chosen after observing what happened not to change.

12. Integration with G_T, M_D, Lambda, and A_Lambda

The clean TSTOEAO integration retains the existing universal relational domain G_T and domain-specific representation M_D. Let x belong to G_T. A domain model supplies M_D(x). An accessibility state Lambda or operator A_Lambda determines which relational components can participate in a registered observation, and the measurement operator produces:

O_i = M_i(A_(Lambda_i) x)

A candidate invariant is required to remain within a declared tolerance under admissible transformations. The inverse problem is:

X_hat = {x in X : M_i(A_(Lambda_i)x) approximately equals O_i for all i}

This unifies the projective and accessibility programs without identifying accessibility with physical dimension. Encoded Equilibrium Y should remain distinct from both dimensional order and Lambda unless a later derivation establishes a relation.

13. What Is New and What Is Established

Projection, sections, embeddings, tomography, holography, inverse problems, likelihood-based inference, and reconstruction are established mathematics and physics. Recasting them in TSTOEAO language does not make them new physics.

The present extension contributes a specific research organization: adjacent-dimensional forward maps; inverse candidate families; required-but-absent features as exclusion constraints; and a proposed library of lower-dimensional signatures generated by declared higher-dimensional source classes. Its value must be demonstrated by whether this organization produces useful constraints, predictions, or computational efficiencies beyond relabeling established methods.

14. Higher Dimensions Without Assigning Their Meaning

Mathematics permits the study of maps from R^(n+1) to R^n for arbitrary n. It does not tell us what a physical fifth dimension represents. In particular, the sequence length -> area -> volume -> history does not mathematically imply that a fifth dimension must be 'relations among histories.' That remains a conceptual candidate, not a derivation.

The general formal pattern is simpler. If u is an additional independent coordinate, then:

(x,u_1) != (x,u_2), while P(x,u_1) = P(x,u_2) = x

The added coordinate distinguishes states that collapse to the same lower-dimensional representation. The scientific question is therefore: what physically or computationally meaningful states differ in the added coordinate while remaining indistinguishable under the complete registered lower-dimensional observation map?

This question allows higher-dimensional structure to be investigated without assigning the new coordinate an attractive interpretation in advance.

15. When Is an Extra Dimension Actually Needed?

A higher-dimensional model should not be introduced merely because it can fit difficult observations. Adding dimensions normally increases model flexibility. The lower-dimensional model class must first be tested:

Does there exist x in X_n such that M_i(x) approximately equals O_i for all i?

If yes, an extra dimension is unnecessary for those observations. If no, an enlarged state space X_(n+1) may be tested. But success in the larger model is not sufficient. Complexity penalties, held-out observations, and prospective predictions are required.

A higher-dimensional hypothesis must predict more than it explains. A strong procedure is to infer a candidate from observations O_1 through O_k, derive a previously unused consequence Q, specify its detection conditions, and then test Q. Reliable absence of Q can reject the candidate and protect the analysis against higher-dimensional overfitting.

16. Separation from Physical Dimensional Compression

Nothing in successful projective reconstruction establishes that a physical three-dimensional state became a physical two-dimensional state. The evidentiary hierarchy must remain explicit:

Projective Geometry -> Inverse Reconstruction -> Accessibility -> Physical Dimensional Expression -> Candidate Physical Actuation -> Substrate Ontology

Evidence at a lower level does not automatically propagate upward. Actual localized physical dimensional expression would require independent, probe-diverse, localized, directional, and reproducible physical consequences that cannot be reduced to observation geometry, receiver limitation, ordinary material response, or known field interactions.

17. Minimum Mathematical Program

The smallest rigorous formulation contains five primary objects:

(X_(n+1), M, I_R, C, R)

X_(n+1) is the declared higher-dimensional candidate family. M is the family of measurement operators. I_R is the invariant family appropriate to the declared transformations. C(O) is the admissible candidate set after observations. R is a reconstruction or constraint operator.

The central quantitative question becomes:

How rapidly does valid relational evidence shrink the admissible higher-dimensional source family?

This question is computational, falsifiable, and useful even if physical dimensional compression never occurs.

18. Minimum Computational Experiment

Begin below the golf-ball example. Choose a known 2D object and generate controlled 1D observations under declared projections or sections. Hide the source. Construct a broad candidate family and measure how successive observations reduce it. Include candidates that necessarily predict features absent from the measurements and test their elimination.

Repeat the procedure for 3D-to-2D reconstruction. Only after the method correctly handles these known cases should it advance to 4D-to-3D geometry. A four-dimensional hypersphere is a useful first higher-dimensional calibration object because its three-dimensional sections can be generated exactly.

A stronger later experiment should generate observations from a known higher-dimensional object without revealing the source dimension. Competing model classes H_2, H_3, H_4, and H_5 can then be compared under complexity control. Some observations should be withheld. The surviving model must predict the held-out observations rather than merely fit those used for reconstruction.

19. Failure Conditions

The program should be narrowed if its results are exhausted by established inverse-problem methods and it contributes no useful relational organization, prediction, or constraint. The dimensional-expression interpretation is weakened if no operational increase in relational capacity can be defined. A candidate higher-dimensional source is weakened when it requires reliably absent features. A physical-dimensional interpretation is not supported by projective success alone. A proposed extra dimension is unnecessary when a lower-dimensional model explains and prospectively predicts the observations without it.

These are local failure conditions. A failure of physical dimensional compression would not invalidate a useful inverse-reconstruction method, and success in inverse reconstruction would not validate substrate ontology.

20. Conclusion

The dimensional-expression idea survives in a narrower and stronger form. Additional dimensions should not be described simply as containing 'more information.' Rather, an added independent coordinate can permit relational distinctions unavailable as direct functions of the lower-dimensional coordinates under a declared representation and observation map.

The corresponding inverse problem is rigorous: observed features, multiple measurements, preserved invariants, and reliably absent required features can jointly shrink the admissible family of unseen source geometries. Tomography provides the cleanest first calibration; holography provides a complementary demonstration that lower-dimensional carriers can preserve information sufficient for richer reconstruction.

The framework does not determine what a physical fifth dimension is, nor does it establish actual dimensional compression. Its immediate scientific value is more modest and more testable: demonstrate that the proposed relational inference machinery can identify or constrain dimensional structure when the answer is already known.

Working principle: Higher-dimensional inference is a constrained inverse problem in which observed features, preserved invariants, multiple measurements, and reliably absent required features jointly reduce the admissible family of source geometries.