Admissibility frontier · Edition 3

Compiled corpus reading projection · Wider corpus

Admissibility foundations: deriving physical structure from the space of the possible

Canonical path
corpus/programmes/admissibility/admissibility_00_foundational_programme.md
Source SHA-256
6491107fc6d38cde3daf1abe634751e60fa3bf9eeb2cd2bc90632b5dc5525828
Build revision
91a0b922ec4e7119c8f23c140838872041d2d05a
Corpus links
7 inbound · 9 outbound

History and editing → · Raw Markdown →

Route into this page

Why this page is here: the shortest known corpus-link route from an Edition 3 source is:

  1. The Locally Invariant Carrier and Its Mirror Face
  2. Admissibility foundations: deriving physical structure from the space of the possible

Admissibility foundations: deriving physical structure from the space of the possible

Opened: 23 October 2026 Status: foundational research programme; generative conjecture, not an established physical theory Companion: Physics contact and research docket First worked probe: Casimir as an invariant of admitted transformations Current explanatory spine: The locally invariant carrier and its mirror face External collision audit: Meaning-Inertia as an admissibility ontology Corpus boundary: Comprehensive thesis and critical audit

Foundational thesis

Admissibility is not merely a constraint imposed on physics, but a more fundamental starting point from which physical structure itself should be derived.

The usual order of construction begins with a state space, spacetime, fields and an action, and then asks which solutions are physically admissible. This programme reverses that order. It begins with a minimally structured space of possibilities and asks whether the simultaneous requirements for possibilities to coexist, compose, persist, be compared and become empirically accessible can generate the structures ordinarily assumed at the start of physics.

The intended reversal is

\[ \boxed{\text{pre-given physical structures}} \longrightarrow \boxed{\text{constraints on their solutions}} \]

becoming

\[ \boxed{\text{possible distinctions and relations}} \xrightarrow{\text{admissibility}} \boxed{\text{states, transformations, causal order, dynamics and observables}}. \]

This is a strong conjecture. At present the corpus supports the methodological importance of admission gates much more strongly than it supports their ontological priority. The programme exists to close or expose that gap.

The first generative closure: invariant relation before spacetime

The strongest current answer to “what can admissibility generate?” begins with a living carrier \(V\), an admitted perspective change \(M\), and a comparison \(\Omega\) required to survive that change:

\[ M^T\Omega M=\Omega. \]

The corpus calls \(\Omega\) the locally invariant carrier. Strictly, \(V\) carries changing states while \(\Omega\) carries their invariant comparison. The intuitive name is retained because the identity of the construction lives in the relation rather than in any one coordinate description.

The equation generates a mirror face rather than merely constraining one matrix:

\[ \Omega M=M^{-T}\Omega. \]

Direct and dual perspectives are therefore joined by the invariant relation. Passing to pairwise relations separates the invariant line from a five-dimensional primitive remainder:

\[ \Lambda^2V^*=\mathbb R\Omega\oplus\Lambda^2_0V^*. \]

The wedge pairing on that remainder has signature \((2,3)\), yielding the exact \(Sp(4,\mathbb R)\cong Spin_0(2,3)\) relation-space geometry. This is a genuine generative step: the higher signature is derived from the admitted comparison and its exterior relations. It does not yet derive physical spacetime, a unique connection, an action or a detector.

Local preservation, carried preservation and global return remain distinct:

\[ M_x^T\Omega_xM_x=\Omega_x,\qquad \nabla\Omega=0,\qquad H_\gamma^T\Omega H_\gamma=\Omega \quad\text{with possibly }H_\gamma\ne I. \]

This distinction lets the same invariant relation support nontrivial holonomy, memory and topology rather than freezing the system into global uniformity.

The first graph-level carrier: relation before quotient

The live Claimipedia collision now supplies a finite pre-quotient version of the same explanatory discipline. For vertices (V), authored relation types \(\mathcal T\), and an edge \(e=(u\to v,t)\), define

\[ \mathcal H_{\rm rel} =\mathbb R^V\otimes\mathbb R^{\{S,T\}}\otimes\mathbb R^{\mathcal T}, \qquad d_e=|v,T,t\rangle-|u,S,t\rangle, \]

and

\[ K=\sum_e d_ed_e^T\succeq0. \]

This positive kernel retains the entire directed typed adjacency in its source--target blocks. Swapping the rails is exactly equivariant with reversing every arrow. Only after source and target rails and relation-type channels are identified does the ordinary support Laplacian appear. On the captured Claimipedia graph that collapse lowers rank from 41 to 33, locating an exact eight-direction quotient scar.

This result strengthens the foundational thesis in a bounded way. Positive admission need not destroy relational identity; the loss occurs at a declared realization map. It does not yet derive a path-algebra dagger, relation-type semantics, dynamics, a symplectic form or a physical boundary. The rail swap is an involution, not automatically the quarter-turn or contragredient mirror of the central symplectic model.

The canonical development is AZ-124, AZ-125 and AZ-126.

The same separation is already ordinary laboratory physics. AZ-127 shows that symmetry labels initial and final sectors while a typed transition operator, reduced matrix element and phase space decide whether and how quickly they are connected. Metastable helium is long-lived not because a lower state is absent but because the leading physical maps to it vanish; its width is the measurable residue of the weaker surviving maps. This does not derive atomic physics from the programme. It supplies a mature calibration of what an admissibility claim must eventually calculate.

What “admissible” must mean

“Admissible” cannot mean merely “whatever occurs in the actual world.” That would redescribe physics without explaining it. Nor may it mean “whatever satisfies all known physical laws,” because those are among the structures the programme aims to derive. The starting notion must be thinner than the target physics and independently stateable.

The provisional primitive is:

A possibility is admissible relative to a composition context when it can participate in that context without destroying the distinctions, relations and consistency conditions required to define the context itself.

This makes admissibility relational rather than unary. A state may be locally well formed yet globally incompatible; two individually allowed processes may fail to compose; a formal solution may violate positivity, causality or a boundary condition when embedded in a larger system. Write

\[ \operatorname{Adm}(x\mid C)=1 \]

when candidate \(x\) can be inserted into context \(C\), and

\[ \mathcal A(C)=\{x\in\mathcal P(C):\operatorname{Adm}(x\mid C)=1\} \]

for the admitted subset of a prior possibility space \(\mathcal P(C)\). The physics cannot reside only in the set \(\mathcal A\); it must also reside in the structure and provenance of the admission map.

The thinnest proposed starting packet

The programme should spend as little physical structure as possible. Its initial packet contains only candidate notions, each of which remains removable if it can be derived from the others:

  1. Distinction: at least two alternatives can be told apart.
  2. Relation: alternatives can stand in typed relations rather than forming an unstructured list.
  3. Composition: some relations or processes can be joined, with declared domains and codomains.
  4. Compatibility: not every formal composition is jointly realizable.
  5. Restriction and extension: a whole can be viewed through parts, and local data may or may not extend globally.
  6. Comparison: alternative realizations can be identified, ordered or probabilistically distinguished by an internal or external observer.
  7. Record: some distinctions can persist long enough to constrain later comparisons.

No metric, manifold dimension, Lorentz signature, complex Hilbert space, gauge group, Lagrangian, Born rule or Standard Model representation is contained in this packet by declaration. If one of these is smuggled into “composition,” “record” or “comparison,” the derivation is circular and must be marked as such.

Admissibility is a stack, not one veto

The corpus repeatedly finds that mathematical existence is cheaper than physical existence. The following stack organizes the difference without assuming that every layer is fundamental:

LayerAdmission questionFamiliar physical contact
TypeAre the objects and maps being compared of the same declared kind?fields versus sources, states versus observables, internal versus spacetime indices
LogicalIs the candidate free of contradiction under its stated axioms?consistent equations and boundary data
CompositionalDo allowed pieces remain allowed when joined, restricted or coarse-grained?channels, subsystems, gluing, renormalization
Order and positivityAre states, probabilities, energies or spectral weights nonnegative on the physical domain?positive cones, Hilbert norms, residues, density operators
CausalDoes influence respect an emergent or given causal order and a well-posed propagation problem?locality, hyperbolicity, finite signalling
DynamicalIs the admitted sector stable under evolution and perturbation?constraints, vacuum stability, bounded Hamiltonians
Quantum-fieldDo locality, covariance, unitarity, statistics, anomaly cancellation and radiative closure coexist?QFT and effective field theory
GlobalDo local assignments extend around loops and across the whole configuration?topology, holonomy, modular and anomaly consistency
EmpiricalDoes the construction produce normalized observables that survive calibration and comparison with data?prediction, falsification and reproducibility

The central wager is that enough of the upper layers may be forced by demanding coherent realization of thinner lower layers across arbitrary compositions. The central danger is that the table merely imports mature physics under new names.

The generative programme

Let \(\mathcal P_0\) be a deliberately weak possibility structure. A family of independently justified admission operations \(A_i\) produces a descending sequence

\[ \mathcal P_0\supseteq \mathcal P_1\supseteq\cdots, \qquad \mathcal P_{n+1}=A_n(\mathcal P_n). \]

Simple elimination is not enough. A successful programme must also show that the surviving set acquires new canonical structure:

\[ \mathcal P_n \xrightarrow{\text{closure under admissible composition}} (\mathcal S,\mathcal T,\mathcal O,\mathcal C), \]

where \(\mathcal S\) is a state structure, \(\mathcal T\) a transformation structure, \(\mathcal O\) an observable structure and \(\mathcal C\) a causal or compositional organization. “Canonical” means that the structure is fixed up to a controlled equivalence rather than chosen by an unreported convention.

The programme asks six linked questions.

A1. Can admissibility generate state space?

Can consistency of mixture, comparison and composition force convex state spaces, ordered vector spaces, positive cones or a narrower class? The existence of Jordan and operator-algebraic state cones is a contact point, not permission to assume that Nature begins with a Jordan algebra.

A2. Can admissibility generate probability?

Can probabilities arise as normalized measures over mutually exclusive admitted alternatives, and can a noncontextual or compositional requirement force a specific rule? Recovering the Born rule requires more than naming amplitudes or decoherence. The programme must distinguish operational updating, stable record formation and ontological outcome selection.

A3. Can admissibility generate causal geometry?

Can compatibility of localization, signalling and composition force a partial order, light-cone structure, Lorentzian signature, dimension or equivalence principle? A causal order is not yet a metric, and a cone is not yet spacetime. The observed \(3+1\)-dimensional Lorentzian regime is a target, not an input.

A4. Can admissibility generate symmetry and particles?

If transformations preserve the admission structure, their automorphisms supply candidate symmetries. Stable irreducible modes of admissible composition may supply candidate particles. This must recover spin-statistics, gauge redundancy, chirality, mass and interaction typing rather than equating a convenient representation with a physical species.

A5. Can admissibility generate dynamics?

The hardest step is to obtain more than kinematics. A variational principle, Hamiltonian, path weight, channel flow or update rule must be selected rather than inserted. It must preserve the admitted domain, yield a well-posed initial or boundary value problem, and explain why one dynamics among many compatible dynamics is realized.

A6. Can admissibility generate constants and predictions?

If constants label inequivalent admitted realizations, cumulative global consistency may restrict them. A real result requires a dimensionless relation, interval or discrete value protected against reparameterization and radiative drift. Parameter counting and anthropic compatibility do not constitute a derivation.

The anti-tautology contract

Every claimed derivation must publish five objects:

  1. Prior space: what possibilities existed before the gate was applied?
  2. Gate: what exact condition admits or rejects a candidate?
  3. Provenance: why is the gate available without assuming the desired result?
  4. Reduction: which alternatives are actually removed or identified?
  5. Novel consequence: what structure or number follows that was not encoded in the gate?

A derivation fails the contract if its admission rule contains the target in disguised form, if arbitrary gates can select arbitrary worlds, if the survivor is not unique up to declared equivalence, or if no observable distinguishes the construction from existing physics.

Relation to the existing corpus

The existing corpus supplies a large library of admission mechanisms and failed promotions:

The \(H_2(\mathbb R)_+\), Jordan and \(Spin_0(2,3)\) structures are therefore high-value laboratories for the programme, not its axioms. Their exact correspondences reveal how positivity, two-channel response, symplectic transport and conformal geometry can meet. The unresolved physical intertwiner demonstrates why admissibility must preserve types and provenance at every step.

What success would look like

The programme has three legitimate levels of success:

  1. Methodological: a universal, auditable grammar for separating mathematical possibility from physical admission.
  2. Reconstructive: a small set of prephysical assumptions from which known state, causal or dynamical structures follow with classification theorems.
  3. Predictive: a surviving structure yields a new protected numerical or qualitative consequence confirmed by experiment.

Level 1 is already strongly represented across the corpus. Level 2 is the purpose of this programme. Level 3 is required before admissibility can be claimed as a new fundamental law of Nature.

What would defeat the strong thesis

The strong thesis should be weakened or rejected if:

The fallback conclusion would still be valuable: admissibility would remain a disciplined architecture for theory construction and criticism, but not the ontological source of physical structure.

Founding research posture

This programme is permitted to ask questions at the edge of physics, but it must keep one hand on established physics at all times. Every speculative object must name its nearest conventional analogue, its additional assumption, its known obstruction, its recovery limit and the calculation or observation capable of changing its status. The space is deliberately open to deep reconstruction and deliberately closed to promotion by metaphor alone.

Referenced by

Inbound corpus links

Continues toward

Outgoing corpus links