Open Gaps

Every derivation documents its open gaps — questions, limitations, and potential extensions that remain unresolved. These range from foundational mathematical questions to opportunities for sharpening existing results. Gaps are not failures; they are an honest inventory of where the framework's arguments can be strengthened.

226
Open gaps
66
Derivations with gaps
76
In rigorous derivations
130
In provisional derivations

Axioms

Gap 1 Uniqueness of C0C_0

Is the total coherence C0 a free parameter or fixed by self-consistency? Without loss of generality, one may normalize C0 = 1 for the abstract theory; the physical value of C0 (if any) would be determ

Gap 2 Category-theoretic formulation

A more natural formalization may use a functor C: mathbfSub(H) R 0 from the category of subsystems to non-negative reals, with conservation as a constraint on natural transformations.

Gap 1 Quantitative C0C_0

The total coherence C0 = S(rhototal) depends on the global state. Whether C0 is a free parameter or determined by self-consistency (the bootstrap fixed point) remains open — see [Bootstrap Mechanism](

Gap 2 Rényi generalization

Axiom 1 is also satisfied by Rényi entropies Salpha(rho) = (1-alpha)-1logTr(rhoalpha) for alpha in (0,1) (strong subadditivity holds in this range). Whether the framework selects von Neumann (alpha =

Gap 3 Algebraic vs. measure-theoretic coherence

The σ-algebra formulation (Axiom 1, conditions C1–C5) and the Hilbert space formulation (C = langlepsi|psirangle) operate at different levels. The former concerns subsystem structure; the latter conce

Loop Closure 3 gaps
Gap 1 Decoherence

Environmental perturbations increase epsilon over time, eventually breaking approximate closure. A quantitative decoherence rate should follow from the perturbation spectrum acting on the coherence me

Gap 2 Non-abelian loops

The formalization assumes U(1) (abelian) symmetry. Non-abelian internal symmetries (SU(2), SU(3)) require replacing the single period T with a representation-theoretic condition on the image of phi in

Gap 3 Massless observers

Photons have no rest frame and no rest-frame loop. They are limiting cases where TO 0 and omegaO while SO remains finite. This limit needs formal treatment within the approximate closure framework.

Gap 1 Graded boundaries

The binary self/non-self partition is an idealization. A generalization to B: Aut(H)|Sigma [0,1] (degree of threat) is physically motivated but not developed.

Foundation

Gap 3 Bootstrap-substitution identification

Prove that the abstract bootstrap equation U cong R(U,U) admits a geometric realization as a substitution tiling in Rd. This requires constructing an explicit functor from the observer category to a t

Gap 4 Metallic mean selection

Determine which n is selected by the multi-scale self-consistency condition (Gravitational Coupling, Theorem 12.6). The golden mean (n = 1) is the simp

Gap 5 Net entropy snet(βn)s_{\text{net}}(\beta_n)

Derive the mutual information cost function from the axioms rather than assuming a Gaussian profile. This would fix alpha(betan) numerically. [Lagarias, 1999]: /references#lagarias

Gap 1 Uniqueness proof

A complete proof that L is the unique Lagrangian consistent with all three axioms, not merely the simplest. This requires classifying all possible terms consistent with the derived symmetries.

Gap 2 Cosmological constant

The coherence potential allows a constant term V0 (the cosmological constant). Its value should be derivable from the coherence geometry but is not — this connects to the [Cosmological Constant](/deri

Gap 3 Path integral measure

The functional integral measure Dphi is not rigorously defined. The coherence framework may provide a natural regularization via the discrete relational invariant network, but this is not yet formaliz

Gap 4 Higher-order corrections

The quartic restriction (Theorem 2.2c) holds at tree level; loop corrections generate higher-dimensional operators suppressed by powers of the cutoff. The bootstrap hierarchy structure should organize

Gap 5 Fermion kinetic term

The derivation focuses on scalar fields. Extending to spinor fields requires the Fisher metric on the spinor state space, which should connect to the Dirac Lagrangian psi(igammamu Dmu - m)psi.

Gap 1 Formal characterization of the compatibility condition.

The derivation argues that the joint constraint (smooth manifold + aperiodic tiling) is selective, but does not characterize the solution space. The mathematical problem: for which smooth Riemannian m

Gap 2 Uniqueness of the fixed point.

Even if the compatibility condition is selective, it might admit multiple solutions (multiple manifold-network pairs satisfying all constraints). Whether the axioms + aperiodic order + Lagrangian uniq

Minimal Observer

Gap 1 Matter-antimatter asymmetry

The pair is symmetric by construction. The observed matter-antimatter asymmetry (baryogenesis) must arise from dynamical processes that break the symmetry of pair creation — this is a question about w

Gap 2 Pair separation mechanism

The process by which virtual pairs become real (separate and propagate) needs the interaction type classification and the spacetime geometry to be quantitative.

Gap 1 Minimum number (partially resolved)

Theorem 7.2 proves 3 (pairs are insufficient). Corollary 7.3 shows the bootstrap propagates this into a network. The exact minimum cardinality of a self-consistent observer network remains open — it d

Gap 2 Stability of the pair

The pair (O1, O2) must be dynamically stable — neither observer should dissolve the other immediately. This stability condition may constrain the relative coherence allocation C(O1)/C(O2).

Gap 3 Asymmetry

Can the pair be asymmetric (C(O1) C(O2))? If so, the asymmetry introduces a direction in coherence space — possibly connecting to charge conjugation asymmetry.

Gap 1 Non-abelian minimal observers

The minimal observer has GO = U(1). The next-simplest observers would have GO = SU(2) (spin structure) or GO = U(1) U(1) (multiple charges). Classifying the hierarchy of observer complexity connects t

Gap 2 Coherence cost quantization

The coherence cost SO is bounded below by Smin. Whether the allowed values form a discrete spectrum (quantized action) depends on the topology of the coherence space — this connects to the dimensional

Interactions

Gap 1 Category-theoretic formulation

A categorical framework (e.g., using the theory of composition algebras over monoidal categories) might make the Cayley-Dickson necessity even more transparent and provide an independent mathematical

Gap 2 Level counting

The derivation identifies 4 levels (R, C, H, O) with 4 types of interaction (identity, pairwise, triple, quadruple). Making precise the correspondence between "number of interacting observers" and "Ca

Gap 3 Non-associativity and confinement

The connection between octonionic non-associativity and color confinement (Proposition 8.1) is structural but not quantitative. A rigorous confinement proof from the octonionic structure would be a ma

Gap 1 Growth rate

The rate of relational invariant generation per interaction determines the cosmological timeline of complexity. This connects to the entropy derivation and the thermodynamic arrow.

Gap 2 Stability filtering

Not every relational invariant generated will be stable. The persistent hierarchy consists of those relational invariants whose loops close stably. The fraction of stable relational invariants is an i

Gap 3 Fixed-point existence

Proving Conjecture 7.1 requires establishing Scott continuity of R and identifying the appropriate category of coherence spaces. See §The Bootstrap Fixed-Point Conjecture above.

Gap 4 Fixed-point uniqueness

Proving Conjecture 7.2 requires a contraction argument or a rigidity result showing the constraints from Axiom 1 (conditions C1–C5) plus the three axioms admit only one self-consistent solution.

Gap 5 Geometry functor from the bootstrap map

Promoting R to a full functor on morphisms (§Remark after Proposition 5.1) would enable a geometry functor G: mathbfObs mathbfGeom mapping each observer's epistemic horizon to an effective geometr

Gap 1 Entanglement mapping

The identification of I12 with quantum entanglement needs a precise mapping between C(I12) and entanglement entropy S = -Tr(rhoA ln rhoA).

Gap 2 Generation rate

How many relational invariants does a given Type III interaction produce? Likely one per independent component of I12, but this needs the dimensionality of V.

Gap 1 Interaction rates

The classification is kinematic (what outcomes are possible). The dynamics (which type occurs, with what probability) requires the Born rule and the full quantum formalism.

Gap 2 Energy thresholds

At what energy does Type I give way to Type II? The threshold likely depends on the coherence content of the observers relative to their relational coherence. Similarly, what determines whether a comp

Gap 3 Mixed interactions

The classification assigns a single type per interaction event. Whether superpositions of interaction types are physical (e.g., an interaction that is partly Type I and partly Type III) depends on the

Gap 4 Quantitative decoherence rates

Proposition 7.5 establishes the coherence accounting for decoherence but does not give a rate. The timescale depends on the coupling strength between the pair and the surrounding observers, and on the

Gap 5 Decay selection rules

Which composites are stable and which decay? The framework predicts that stability requires exact loop closure of the composite (epsilon = 0), but the conditions under which a composite's closure para

Thermodynamics

Gap 1 Constructing L\mathcal{L} from first principles

The coherence Lagrangian should be uniquely derivable from C and the observer structure. The Fisher information metric is a natural candidate. This is the key missing link between the abstract framewo

Gap 2 Quantization of energy levels

The existence of a minimum action quantum hbar implies that admissible observer cycles have quantized action nhbar for n in Z 1. This should connect to the quantization of energy levels in bound syste

Gap 3 \hbar, cc, and GG

The relationship between hbar (coherence cost quantum), c (phase propagation speed from Speed of Light), and G (gravitational coupling) determines whether the

Gap 1 Fluctuation theorems

The Jarzynski equality langle e-beta Wrangle = e-beta Delta F and Crooks fluctuation theorem describe the probability of entropy-decreasing fluctuations. These should arise as finite-size corrections

Gap 2 Negative entropy flow

Living systems locally decrease their entropy by expanding their coherence domains through structured interactions. The framework predicts this is possible because entropy is observer-relative — what

Gap 3 Quantum entropy

The von Neumann entropy S = -tr(rho ln rho) should be derivable as the inaccessible coherence when A's access is limited to a subsystem of an entangled state.

Gap 1 Metric from order

Recovering the spacetime metric from the partial order requires a volume measure (event counting). This is the central open problem of causal set theory.

Gap 2 Quantum time

The derivation gives a single partial order. Quantum mechanics suggests superpositions of causal orders may be physical (indefinite causal structure). The framework should address this.

Gap 3 Cosmological arrow

The structural arrow (increasing d(v)) is local. The global cosmological arrow (expansion) may require boundary conditions on the fixed-point solution. [Bombelli et al., 1987]: /re

Dimensions

Gap 1 Time dimension

This derives dspace = 3. The uniqueness of dtime = 1 follows from the partial order structure of Time as Phase Ordering — a partial order defines a single ordering

Gap 2 Compactification

Could extra dimensions exist but be compactified at scales below ellP? The framework's conditions apply to the effective dimensionality experienced by observers. If compact dimensions are below the

Gap 3 The 3+1=43 + 1 = 4 coincidence

The total spacetime dimension is 4 — the unique dimension with exotic smooth structures. The spatial dimension is 3 — the unique dimension where this exotic pathology is absent. Whether this is coin

Spacetime

Gap 1 Cosmological constant problem

The value of Lambda — the deepest open problem in theoretical physics — should in principle be computable from the coherence geometry of the substrate. The observed value Lambda sim 10-122 in Planck u

Gap 2 Deriving GG

Is Newton's constant derivable from the coherence geometry, or is it an independent parameter? If derivable, the framework has zero free gravitational parameters.

Gap 3 Quantum gravity

The full quantum treatment requires quantizing the coherence geometry itself. The Einstein equations are the classical (continuum) limit; the discrete relational network is the quantum substrate.

Gap 4 TμνT_{\mu\nu} from the observer network

Constructing the energy-momentum tensor explicitly from the relational invariant density and observer distribution would close the self-consistency loop at the formal level.

Gap 1 Bootstrap fixed-point uniqueness (key gap)

The determination of G reduces to proving that the bootstrap fixed-point equation U cong R(U,U) has a unique solution (Bootstrap Mechanism, Conjectures 7.1–7.2).

Gap 2 Constitutive universality

Prove that the geometry constituted by the first Type III interactions is independent of which observer pairs interact first. This is the "all observers must agree" condition formalized as constitut

Gap 3 Curvature-spacetime bridge

Construct a well-posed dimensionless curvature comparison between the Fisher geometry on Sigma and the spacetime geometry on M (avoiding the dimensional obstacle of Proposition 6.2). This is equivalen

Gap 4 Numerical coefficient

Pin down the precise dimensionless O(1) coefficient in G = alpha ellmin2 c3/hbar. The fixed-point analysis (Theorem 11.4) gives alpha = c/2 (i.e., 1/2 in natural units), within a factor of 2 of the Be

Gap 5 Mutual information functional form

The Gaussian profile f(x) = e-x2/2 used in Proposition 10.3 is motivated but not derived from axioms. Rigorous derivation from the Fisher metric on Sigma pulled back to the causal boundary would tight

Gap 6 Formalization of pre-geometric t0t_0

The distinction between topological S1 (pre-geometric) and Riemannian S1 (geometric) at t0 (Proposition 11.1) is clear conceptually but would benefit from a categorical formulation: the condensation a

Gap 7 Multi-scale non-degeneracy

Prove rigorously that the multi-scale self-consistency condition (Theorem 12.6) is genuinely non-degenerate — i.e., that the inter-observer distance distribution has non-trivial scaling under substitu

Gap 8 Metallic mean selection

Determine which metallic mean index n (and corresponding inflation factor betan) is selected by the multi-scale renormalization-group fixed point. This is a well-defined mathematical problem: for whic

Gap 9 Aperiodicity proof

Formalize the argument that the axiom constraints (C5 non-triviality + Axiom 2 individuation + no-boundary + constitutive universality) function as matching rules that force aperiodicity. Currently Pr

Gap 1 Deriving GG

Is G derivable from hbar and c, leaving the framework with zero free parameters?

Gap 2 Planck scale

(partially resolved — downstream): The singularity at r = 0 is addressed by Singularity Resolution, which establishes curvature bounds at Planck dens

Gap 3 Strong-field regime

(partially resolved — downstream): Black hole singularities are resolved by Singularity Resolution (regular cores). Full discrete theory for interior

Gap 1 Acceleration

(partially resolved — downstream): This derivation covers inertial (constant velocity) observers. Accelerated observers require curved coherence geometry — connecting to [Gravity](/derivations/space

Gap 1 Higher-order corrections

The modified Friedmann equation uses (1 - rho/rhoP) as the leading-order correction. The exact form, including sub-leading terms, should be derivable from the coherence Lagrangian ([Coherence Lagrangi

Gap 2 Black hole end state

Does a Planck-density core eventually re-expand (Planck star), remain static (remnant), or evaporate completely? The answer depends on the dynamics at rho sim rhoP and the interaction between Hawking

Gap 3 Observational signatures

The bounce may produce observable signatures in the CMB (pre-bounce perturbations surviving through the bounce). The spectrum of these perturbations — scale-invariant, blue-tilted, or otherwise — depe

Gap 4 De Sitter core structure

The regular interior likely approaches a de Sitter geometry (constant positive curvature) near rmin. Deriving this from the framework would connect singularity resolution to the cosmological constant.

Gap 1 cc from \hbar and GG

Whether c is independently determined or derivable from the other fundamental constants is a key open question. The three constants hbar, c, G may be reducible to fewer independent structural paramete

Gap 2 Massless observer spectrum

The framework should derive which massless observers exist and their properties (spin-1 for photons, spin-2 for gravitons). This requires the spin-statistics connection applied to the L = cT limiting

Gap 3 Causal structure

The Minkowski metric determines the causal structure (light cones). The framework should show that this causal structure is equivalent to the partial order prec on G in the continuum limit — connectin

Quantum

Gap 1 Two-dimensional systems

Gleason's theorem fails for d = 2. The framework's direct derivation (Theorem 6.1) works for all d 2, providing coverage where Gleason does not. Whether qubits in nature are always embedded in higher-

Gap 2 Continuous observables

Extension to continuous spectra (dP = |psi(x)|2 dx) follows from the same arguments in the continuum limit, using the measure-theoretic version of coherence conservation.

Gap 1 Quantum error correction

Explore whether coherence conservation imposes fundamental limits on or structures for quantum error-correcting codes.

Gap 2 Multipartite entanglement

Extend beyond the bipartite case to full multipartite classification (W-states, cluster states, SLOCC classes).

Gap 3 Entanglement dynamics

Derive entanglement growth under unitary evolution and the scrambling time from coherence dynamics.

Gap 1 Extended Wigner's friend (Frauchiger-Renner)

The no-go theorem constrains theories that simultaneously assume (i) quantum mechanics applies universally, (ii) measurement has single outcomes, (iii) reasoning about others' measurements is valid. T

Gap 2 Quantum Darwinism

When multiple observers independently measure the same system, they obtain consistent results. The framework should derive this from mutual consistency of relational invariants IO1 S, IO2 S, ldots whe

Gap 3 Continuous and weak measurement

Weak measurements correspond to Type III interactions that generate relational invariants with small coherence content C(IOS) ll C(S). Continuous measurement is the limit of many weak Type III interac

Gap 1 Effective observer-invariance from redundant relational invariants

When many observers O1, ldots, On independently perform Type III interactions with S, each generating IOi S, strong subadditivity (Theorem 2.1) constrains all descriptions to be mutually consistent. A

Gap 2 Contextuality connection

The Kochen-Specker theorem shows that non-contextual hidden variable models are impossible. This is closely related to Theorem 5.1 (no universal definiteness) but approaches from a different direction

Gap 3 Extended Wigner's friend

The Frauchiger-Renner no-go theorem constrains theories with certain assumptions about nested observers. The framework should be formally tested against this theorem — the three-level structure may pr

Gap 4 Emergent continuous observables

The framework naturally produces discrete outcomes at the fundamental level — relational invariants have discrete spectra from the U(1) loop structure (Loop Closure

Gap 5 Sheaf structure — remaining quantitative questions

The Sheaf Structure derivation resolves the qualitative question: the observer network carries three sheaves (coherence, probability, outcome) with a s

Gap 1 Interaction Hamiltonian mapping

The explicit map Hint IOS from the physical interaction to the relational invariant is needed for concrete predictions.

Gap 2 Contextuality

The Kochen-Specker theorem shows that quantum observables cannot all have simultaneous definite values. This should follow from the relational-invariant mechanism: each measurement context generates a

Gap 3 Continuous observables

Extension to position, momentum, and other continuous-spectrum observables via spectral measures.

Gap 4 Weak measurements

For partial (weak) Type III interactions, the relational invariant is not fully generated, and the system is left in a superposition of eigenstates with small disturbance. This should connect to the w

Gap 1 Formal isomorphism with Abramsky-Brandenburger

— The structural parallel between the observer sheaf O and the Abramsky-Brandenburger empirical model presheaf is compelling but not yet a formal isomorphism. Establishing this requires: (a) mapping r

Gap 2 Continuous observables

— The current analysis works for discrete outcome spaces. For continuous spectra, the stalks become infinite-dimensional and the cohomology theory needs refinement (e.g., sheaves of topological spaces

Gap 3 Higher cohomology

— We've focused on H1 (gluing obstructions), but H2 and higher may carry physical information. In gauge theory, H2 classifies gerbes (higher gauge fields). Whether H2(G, O) has a physical interpretati

Gap 1 Quantum key distribution

The teleportation channel can be repurposed for quantum key distribution (BB84, E91). Derive the security of QKD from coherence conservation — specifically, that any eavesdropper must create a relatio

Gap 2 Continuous-variable teleportation

Extend from qubits to continuous-variable systems (Braunstein-Kimble protocol). The relational invariants become continuous, and the Bell measurement becomes a homodyne detection. The coherence accoun

Gap 3 Teleportation as a resource theory

Formalize the resource-theoretic aspects: entanglement as the resource, classical communication as the catalyst, and coherence conservation as the resource monotone. This connects to the broader resou

Particles

Gap 1 CP violation mechanism

While the theorem allows individual CP violation (Corollary 4.3), the framework should derive the specific mechanism — complex phases in the CKM and PMNS matrices — from the flavor structure ([Three G

Gap 2 CPT tests

The prediction m = m and tau = tau can be tested with increasing precision. Current best tests: |mK - mK|/mK < 10-18 (kaon system), |qp + qp|/e < 10-12 (proton-antiproton charge ratio). Any violation

Gap 3 Gravitational CPT

Does CPT extend to the gravitational sector? The coherence Lagrangian includes gravity (Einstein Equations), so the theorem formally applies. However, the

Gap 1 Computing specific masses

Can the framework predict specific particle masses, or only the hierarchical structure? Computing the electron mass from the coherence geometry would be a breakthrough.

Gap 2 Coupling constant derivation

The values of gk at each level should be derivable from the structure of the coherence geometry. Currently they are empirical inputs.

Gap 3 Dark matter scale

If dark matter is a stable crystallization at an intermediate scale, its mass should be derivable. This connects to Dark Matter Granularity.

Gap 4 Cosmological constant

The vacuum energy (cosmological constant) is anomalously small (sim 10-122 in Planck units). Whether the crystallization framework can explain this extreme hierarchy is an open challenge.

Gap 5 Quantifying the topological-structural decomposition

Step 7 identifies the qualitative decomposition Delta cn = Delta cntopo + Delta cnstruct. Computing the topological contribution from the known particle content (division algebra structure, three gene

Gap 1 Absolute mass scale

The specific values of m1, m2, m3 are not predicted — only the ordering and approximate scale. Computing the individual masses requires the precise Yukawa couplings from the winding geometry.

Gap 2 Majorana phases

The PMNS matrix for Majorana neutrinos contains two additional CP-violating phases (alpha1, alpha2) beyond the Dirac phase delta. These should be computable from the A5 breaking pattern of [Flavor Mix

Gap 3 Sterile neutrinos

The heavy right-handed neutrinos (MR sim v) could be produced at colliders (unlike GUT-scale seesaw where MR sim 1014 GeV). Collider signatures should be analyzed.

Gap 4 Dirac limit test

If experiments conclusively establish Dirac neutrinos (absence of 0nubetabeta), this derivation would be falsified — the self-conjugacy argument would need revision.

Gap 1 Fermi-Dirac statistics

The full Fermi-Dirac distribution langle nk rangle = 1/(e(epsilonk - mu)/kBT + 1) should be derivable from the exclusion principle (each state occupied by 0 or 1 fermion) plus the entropy framework ([

Gap 2 Stability of matter

Lieb and Thirring (1975) proved that the stability of ordinary matter (energy extensive in particle number) requires the Pauli exclusion principle. This should be connected to the framework's structur

Gap 1 Minimal spin

Why is the minimal fermion spin-1/2 and not spin-3/2? The answer is that s = 1/2 is the fundamental (lowest-dimensional) representation of SU(2), and the minimal observer has the simplest possible loo

Gap 2 Higher-spin particles

Which spin values are realized at each level of the bootstrap hierarchy? Spin-1 gauge bosons and spin-2 gravitons should emerge at specific levels — this connects to the gauge structure derivation.

Gap 1 Experimental sharpening

The prediction is that no superpartner exists at any energy scale, not merely above the current LHC reach. Future colliders testing higher energies provide continued tests.

Gap 2 Emergent approximate SUSY

Could an approximate algebraic relation between bosonic and fermionic sectors arise dynamically, even though exact SUSY is forbidden? Such an "accidental SUSY" would be broken by construction and migh

Gap 3 Supergravity and string theory

In approaches where supersymmetry is a mathematical framework (string theory, supergravity), does the topological no-go theorem constrain which mathematical structures have physical realizations? [Diaconis & Shahshahani, 1987]: /references#diaco

Gap 1 Coupling constant

The electric charge e (or equivalently alphaem = e2/(4pivarepsilon0hbar c) 1/137) is a free parameter. Its value should ultimately follow from the [Coupling Constants](/derivations/cosmology/coupling-

Gap 2 Quantum electrodynamics

This derivation gives classical Maxwell equations. The quantized theory (QED) requires applying the Born Rule to the gauge field: the photon is the quantum of Fmunu,

Gap 1 Electroweak scale derivation

Computing v 246 GeV from the coherence Lagrangian and bootstrap hierarchy. This requires Coherence Lagrangian.

Gap 2 Higgs self-coupling

The value lambda 0.13 (determining mh = 125 GeV) is not predicted — it depends on the shape of the coherence potential near the crystallization.

Gap 3 Custodial symmetry

The approximate SU(2) custodial symmetry protecting rho = mW2/(mZ2cos2thetaW) 1 should follow from the quaternionic structure but is not explicitly derived.

Gap 4 Electroweak phase transition

The cosmological electroweak phase transition (first-order vs. crossover) depends on the detailed dynamics of the crystallization, relevant for Baryogenesis.

Gap 1 Neutron-antineutron oscillation

While proton decay is forbidden, neutron-antineutron oscillation (Delta B = 2) might occur through non-perturbative effects. The framework should determine whether B violation by 2 units (without lept

Gap 2 Black hole baryon number

When a proton falls into a black hole, is baryon number preserved? The information paradox resolution (Information Paradox) suggests yes (no information

Gap 3 Quantitative gravitational amplitude

The estimate taup sim 1064 years is parametric. A precise calculation would require the non-perturbative gravitational path integral, which is not available. The causal set statistics ([Causal Set Sta

Gap 1 Framework-intrinsic fermion representations

The Cell(6) decomposition (Proposition 4.1) correctly reproduces SM quantum numbers using published mathematics, but the derivation from the framework's own bootstrap axioms — showing why the bootst

Gap 2 SU(2)LSU(2)_L quantum numbers from C(6)\mathbb{C}\ell(6)

The current algebraic construction cleanly produces U(1) SU(3) quantum numbers. Incorporating the SU(2)L weak isospin assignments requires combining the Cell(6) structure with the quaternionic chirali

Gap 1 Topological rigidity proof

Formalize the argument that octonionic gauge bundles admit only topologically trivial SU(3) connections. This may connect to the theory of G2-instantons on manifolds with G2 holonomy.

Gap 2 Instanton moduli space

Characterize the moduli space of SU(3) instantons within the G2 framework. If the moduli space is empty (or consists only of the trivial connection), the argument is complete.

Gap 3 Non-perturbative effects

Check whether other non-perturbative effects (monopoles, domain walls) are also constrained by the octonionic structure.

Gap 4 Electroweak-strong unification

The fact that thetaQCD = 0 from non-associativity and thetaW is unphysical from standard arguments suggests a deeper connection between the associative/non-associative split and the strong/electroweak

Gap 1 Weak coupling constant

gW is a free parameter, related to alphaem via gW = e/sinthetaW. Its value should follow from the Coupling Constants derivation. Same status as e in electr

Holography

Gap 1 A direct combinatorial route to α=1/4\alpha = 1/4

The coefficient is currently established by the gravitational stability argument (Theorem 5.1), which uses the Schwarzschild geometry — itself derived from the axioms through the Einstein equations ch

Gap 2 Covariant generalization

The derivation assumes a spatial region at a moment of time. A covariant formulation would bound the entropy on arbitrary spacelike surfaces — connecting to the Bousso covariant entropy bound.

Gap 3 Sub-Planckian structure

The derivation assumes nothing meaningful happens below ellP. If the coherence geometry has sub-Planckian structure, the counting argument needs modification.

Gap 4 Dynamical boundaries

For time-dependent regions (e.g., expanding cosmological horizons), the channel capacity argument must be adapted. The entropy bound should track the apparent horizon, not the event horizon.

Gap 1 The factor of 1/41/4 via a direct combinatorial route.

The coefficient is currently established through the derivation chain: gravitational stability fixes the effective area per bit to 4ellP2 ([Holographic Entropy Bound](/derivations/holography/area-scal

Gap 2 Interior structure.

What is the coherence structure inside the horizon? The discrete relational network should provide a model avoiding the classical singularity.

Gap 3 Rotating and charged black holes.

The framework should reproduce S = A/(4ellP2) for Kerr and Reissner-Nordström black holes, explaining why the result depends only on area regardless of spin or charge.

Gap 4 Entanglement entropy connection.

The mapping between relational invariant coherence C(I12) and entanglement entropy SE = -Tr(rho ln rho) needs formalization.

Gap 5 Extremal black holes.

Extremal black holes have TH = 0 but S > 0. The framework should explain this: the horizon still supports minimal observer loops (nonzero entropy) but thermal radiation is suppressed.

Gap 1 Rigorous geodesic estimator

The geodesic variance calculation (Proposition 2.2) uses a simplified cell-counting argument. A rigorous derivation should use the Myrheim-Meyer dimension estimator or the Brightwell-Gregory longest-c

Gap 2 Non-flat corrections

All calculations assume flat (Minkowski) background. The corrections from curvature — particularly near black holes or in the early universe — should modify both alphaH and the density fluctuation spe

Gap 3 Quantitative cross-prediction

The qualitative link between holographic noise and dark matter granularity (Theorem 6.1) should be made quantitative: given alphaH, what is the predicted kJ? This requires computing how the sprinkling

Gap 4 Deriving Poisson from axioms

Proposition 1.3 assumes Poisson sprinkling as the unique Lorentz-invariant distribution. Can this be derived from the three axioms, or is it an additional input?

Gap 5 Continuum limit

The identification of the discrete relational invariant network with a Poisson causal set relies on a continuum limit that has not been rigorously constructed from the axioms. [Bom

Gap 1 Greybody factors

The actual spectrum deviates from perfect thermal due to the potential barrier. These corrections should be derivable from the coherence geometry.

Gap 2 End state

What happens at the endpoint of evaporation? A Planck-mass remnant? Complete evaporation? The answer depends on the discrete structure at the Planck scale.

Gap 3 Species counting

The total luminosity depends on the number of particle species that can be emitted. The framework should predict this from the bootstrap hierarchy.

Gap 4 Rotating and charged black holes

The Hawking temperature for Kerr (TH = hbarkappa/(2pi c kB) with modified kappa) and Reissner-Nordström black holes should follow from the same loop-breaking mechanism applied to the modified horizon

Gap 1 Scrambling time

How quickly does the black hole interior become encoded in the Hawking radiation? The scrambling time ts sim (M/MP)2 tP log(SBH) [Sekino-Susskind, 2008] should be derivable from the rate of relational

Gap 2 Quantum error correction

The encoding of interior information in radiation correlations should be formalizable as a quantum error-correcting code [Almheiri-Dong-Harlow, 2015]. The relational invariant structure should map ont

Gap 3 Island formula

The island formula for entropy (S = min ext[A( I)/(4Ghbar) + Smatter(I R)]) should be derivable from the coherence domain structure, with "islands" corresponding to regions where the external observer

Gap 4 Observational signatures

The information encoding in Hawking radiation correlations is in principle observable but requires collecting an astronomically large number of quanta. Are there more accessible signatures of the reso

Gap 1 Chaos bound from axioms

Derive the Maldacena-Shenker-Stanford chaos bound lambdaL 2pi T from coherence conservation and the observer axioms, rather than importing it as an external result.

Gap 2 Evaporation dynamics

Connect the inter-sector transition rate (hierarchy barrier crossing) to the Hawking evaporation rate Gamma sim TH2. This should give a derivation of the Page curve from the coherence-sector framework

Gap 3 Sub-saturated scrambling

Characterize the scrambling dynamics for states that do not saturate the holographic bound. The scrambling time should increase as the hierarchy becomes more complex (more levels, tighter matching rul

Gap 4 Scrambling and ER=EPR

Make the connection between maximal within-sector mixing and the ER=EPR bridge structure more precise. The complete-graph argument (Step 4) should follow from the ER bridge connectivity derived in [ER

Gap 5 Loop-tilt for other horizons

Extend the loop-tilt mechanism (Step 5) to cosmological horizons (de Sitter), Rindler horizons (uniformly accelerating observers), and inner horizons of rotating black holes (Kerr). The de Sitter case

Flavor

Gap 1 A5A_5 from axioms

Derive that the coherence cost function must have A5 symmetry, rather than postulating it (S1). This would require showing that the bootstrap dynamics on three winding axes naturally produce icosahedr

Gap 2 Channel selection

Determine which of the five A5 breaking channels is realized in the quark and lepton sectors. This may require input from the gauge structure (how SU(3) SU(2) U(1) interacts with the A5 flavor symmetr

Gap 3 Renormalization-group running

The mixing parameters measured at low energy differ from their values at the symmetry-breaking scale. RG corrections (from Renormalization Group) sho

Gap 4 Quark-lepton complementarity

The observation theta12CKM + theta12PMNS pi/4 may be accidental or may reflect a deeper geometric relationship between the quark and lepton sectors. The A5 framework should clarify this.

Cosmology

Gap 1 Electroweak phase transition

Derive the nature (first-order vs. crossover) of the electroweak phase transition from the coherence framework. The Standard Model predicts a crossover (insufficient for baryogenesis); the framework m

Gap 2 Quantitative ηB\eta_B

Compute the baryon-to-photon ratio from the framework's parameters. This requires the sphaleron rate, CP-violating phases, and phase transition dynamics — all computable in principle but technically d

Gap 3 Dark baryogenesis

The framework's dark matter prediction (Dark Matter Granularity) involves coherence structures. Could a dark-sector version of baryogenesis explain the OmegaB /

Gap 1 Quantitative phase-space growth rate

Compute dlnvol(Gammaacc)/dtau from the bootstrap dynamics and show it matches the observed entropy growth rate. This requires the binding energies at each hierarchy level, which in turn require the fu

Gap 2 Inflation and the arrow

The geometric inflation derivation (Geometric Inflation) provides the initial expansion. The relationship between the inflationary epoch and the first hie

Gap 3 De Sitter equilibrium

In the far future, the universe approaches de Sitter space with constant temperature TdS sim Lambda. At this point, no further hierarchy levels become available (the temperature stops decreasing). Doe

Gap 4 Arrow reversal

Can the cosmological arrow reverse (in a contracting phase)? The framework predicts no, because contraction would heat the universe, disrupting higher hierarchy levels and reducing Gammaacc — the ac

Gap 5 Relationship to Gap 3 of Time as Phase Ordering

This derivation claims to resolve Gap 3. The resolution should be verified: does hierarchy elaboration fully account for the cosmological arrow, or are there additional contributions from boundary con

Gap 1 Axiom-level derivation of S1

The algebraic ratio constraint alpha1 : alpha2 : alpha3 = 4:2:1 is a structural postulate. Deriving it from the coherence axioms (e.g., showing that the canonical norm on Ai uniquely determines the co

Gap 2 Crystallization scales from bootstrap dynamics

The bootstrap crystallization scales Lambdai set the RG boundary conditions. Deriving their values from the Mass Hierarchy exponential tunneling mechanism woul

Gap 3 Two-loop precision

Partially addressed for the electroweak sector (Proposition 7.1: 3.3% shift, confirming one-loop reliability). The QCD sector remains problematic — the ratio constraint at a common EW scale does not p

Gap 4 SU(3) crystallization scale

Determining Lambda3 independently from bootstrap dynamics would convert the suggestive near-coincidence 1/dim(O) alphas(MZ) into a genuine prediction. This is the key open question for the strong coup

Gap 5 Yukawa couplings

The fermion masses are free parameters in the Standard Model but should be constrained by the division algebra structure and the Flavor Mixing derivation. This req

Gap 1 Geometric validity criterion

The threshold rhoRI gg rhoPl is qualitative. A precise criterion (specific ratio, phase transition vs crossover) would sharpen the predictions. The causal set literature on "manifold-likeness" conditi

Gap 2 Quantitative nsn_s derivation

Proposition 6.2 claims compatibility with the observed spectral index but does not derive it. Computing ns from the Poisson statistics of the geometric transition would be a strong quantitative test —

Gap 3 Reheating equivalent

In standard inflation, reheating transfers inflaton energy to Standard Model particles. In geometric inflation, the analogous process is the bootstrap crystallization of the gauge hierarchy. The therm

Gap 4 Relationship to bounce

The singularity-resolution derivation provides the bounce; this derivation provides the subsequent expansion. The interface — how the bounce state seeds the pre-geometric network — needs formalization

Gap 1 Quantitative crystallization fraction.

The substrate picture identifies Omegam as the crystallization fraction but does not compute it from first principles. [Continuous-Discrete Duality](/derivations/foundation/continuous-discrete-duality

Gap 2 Substrate dynamics.

This derivation treats the substrate in de Sitter equilibrium. In the early universe, the substrate density evolves from the post-bounce state ([Singularity Resolution](/derivations/spacetime/singular

Gap 1 Dynamical holographic bound

The holographic entropy bound (Area Scaling) is proved for static boundaries. Extending it to the de Sitter cosmological horizon (which is static in the static

Gap 2 Minimum non-self coherence

The key gap blocking a tighter bound. What is the minimum coherence content of the non-self side of B required for Lyapunov-stable loop closure? The multiplicity theorem establishes Cnon-self > 0 but

Gap 3 Sharpening to Λ>0\Lambda > 0

The sign prediction Lambda 0 (Theorem 5.4) does not distinguish Lambda = 0 from Lambda > 0. Does the structural arrow of time (monotonically increasing relational invariant depth) require eternal expa

Gap 4 Bounce prohibition scope

Theorem 5.2 prohibits the Planck-density bounce in Lambda < 0 FRW cosmologies via coherence conservation. Does the same argument extend to all global recollapse scenarios, including anisotropic cosm

Gap 5 Gibbons-Hawking stability

The de Sitter horizon radiates at the Gibbons-Hawking temperature TGH = hbar H/(2pi kB). Whether this thermal background destabilizes observer loops depends on the detailed interaction between GH radi

Gap 6 Continuous-discrete fixed point and quantitative Λ\Lambda

Step 8 defines the level-indexed quantities (Lambdaneff, S(n)) and the cross-level consistency constraint (Proposition 8.3). Conjecture 8.9 identifies the boundary condition (double saturation). [Cont

Thermo Extensions

Gap 1 Metabolic scaling

Derive the scaling of maintenance cost with hierarchy level ell. If the cost scales as ell hbaromegaell where omegaell is the cycling frequency at level ell, this should connect to Kleiber's law (meta

Gap 2 ΓB\Gamma_B dimension

Compute the dimension of the B-compatible sector as a function of the complexity of B (number of self/non-self distinctions). This would give a quantitative measure of biological non-ergodicity.

Gap 3 Autopoiesis connection

Make the relationship to Maturana and Varela's autopoiesis theory precise. The observer triple (Sigma, I, B) with active loop closure appears to be a formal version of autopoietic organization; this s

Gap 4 Evolutionary dynamics

If adaptation is coherence-domain expansion, natural selection should emerge as the process by which observers compete for coherence access. This would connect to the Fisher-Price equation via the Fis

Gap 5 Abiogenesis

The transition from non-observer chemistry to observer biology is the formation of the first B boundary with active loop closure. The framework should predict conditions under which this transition is

Gap 1 Quantum extension

Extend from the classical Čencov theorem (unique monotone metric) to the quantum Petz classification (family of monotone metrics). In the quantum case, the monotone metrics form a family parameterized

Gap 2 Landauer's principle

The monotonicity direction (Proposition 3.2) implies that erasing information has a minimum thermodynamic cost. Quantify this: the coherence cost of reducing distinguishability by Delta D should be at

Gap 3 No-broadcasting

Generalize no-cloning from pure states to mixed states. Broadcasting (approximately copying) a mixed state is possible classically but impossible quantumly for non-commuting states. The coherence fram

Gap 1 Chemical potential

For systems with variable particle number, the first law extends to dU = TdS - PdV + mu dN. The coherence analog of mu is the coherence cost of adding a minimal observer to A — this should be derivabl

Gap 2 Non-equilibrium thermodynamics

The first law holds for arbitrary processes, not just quasi-static ones. The framework should extend to far-from-equilibrium coherence dynamics, connecting to fluctuation theorems.

Gap 3 Negative temperature

In standard thermodynamics, population-inverted systems have T < 0. In the framework, this corresponds to systems where adding coherence decreases entropy — which requires a bounded state space wher

Gap 1 Curvature–spacetime bridge

Connect the Fisher curvature on Sigma to the spacetime curvature on M. The Gravity derivation provides the latter from coherence density gradients; the bridge would n

Gap 2 Quantum Fisher metric

Extend from the classical Fisher metric to the quantum Fisher information (Bures metric / symmetric logarithmic derivative). This is needed for full quantum state spaces. The quantum Čencov theorem [P

Gap 3 Infinite-dimensional extension

The derivation assumes finite-dimensional Sigma. For field theory, the state space is infinite-dimensional and requires functional-analytic care [Pistone & Sempi, 1995].

Gap 1 Mixing theorem

Prove conditional ergodicity (Theorem 5.2) rigorously from the dynamics, not just from the equidistribution of phases. This requires a mixing-time bound for the interaction-driven shuffling of non-pha

Gap 2 ETH transition threshold

Quantify the critical inter-level coupling strength at which ETH fails. This should be expressible in terms of the coherence gap DeltaC and the intra-level density of states.

Gap 3 Aging exponents

Derive the specific aging exponents and stretched-exponential parameters beta from the substitution matrix of the aperiodic tiling. The metallic-mean family ([Aperiodic Order](/derivations/foundation/

Gap 4 Fluctuation theorems

The Jarzynski equality and Crooks theorem should arise as finite-size corrections to the conditional-ergodicity framework. This overlaps with Gap 1 of [Entropy as Inaccessible Coherence](/derivations/

Gap 5 Quantum conditional ergodicity

Extend Theorem 5.2 to the quantum regime, where the phase torus is replaced by a Hilbert space and Weyl equidistribution by quantum ergodicity of eigenfunctions.

Gap 1 Bootstrap–RG correspondence (formal proof)

Prove that bootstrap stability (invariant couplings under the addition of relational observers) implies betai = 0 in the coherence flow. This would make Theorem 4.1 rigorous.

Gap 2 β\beta-functions from the coherence spectral density

The one-loop beta-function coefficients for U(1), SU(2), and SU(3) are established by standard methods in the framework's downstream derivations (Color Force Proposit

Gap 3 Non-perturbative effects

The coherence flow equation (Theorem 3.2) is exact, but extracting non-perturbative physics (confinement, instantons, solitons) requires solving the full functional equation. Connect to the [Mass Hier

Gap 4 Coherence spectral density from first principles

Derive rhoC(omega) from the axioms and the particle content, rather than postulating its existence (S1). This would make the scale decomposition a theorem rather than a postulate.