← All papers

REIFICATION AND NON-ARCHIMEDEAN FOUNDATIONS IN THEORETICAL PHYSICS

Published: 2026-07-04

REIFICATION

AND NON-ARCHIMEDEAN FOUNDATIONS IN THEORETICAL PHYSICS

A

Formal Analysis of the Copernican Diagnostic Applied to Contemporary

Physical Theory

Author: Rowan Brad Quni-Gudzinas

Contact: rowan.quni@outlook.com

ORCID: 0009-0002-4317-5604

ISNI: 0000000526456062

DOI: 10.5281/zenodo.19695101

Date: 2026-04-22 Version: 1.0

Abstract

This synthesis examines the persistent difficulties in contemporary

theoretical physics through the lens of the Copernican diagnostic: the

proliferation of unobservable entities (virtual particles, dark matter,

the inflaton, etc.) signals not that nature is complex but that the

descriptive framework is suboptimal. The common denominator underlying

these “epicycles” is identified as the Archimedean axiom—the assumption

of a smooth, infinitely divisible continuum that underpins both general

relativity and quantum mechanics. Replacing this continuum with a

non‑Archimedean, hierarchical, discrete substrate (exemplified by the

Bruhat‑Tits tree) dissolves the epicycles and reveals the invariant

structure beneath.

Four candidate unified frameworks are evaluated: holography

(AdS/CFT), causal set theory, the crossed‑product construction in

algebraic QFT, and the Syntactic Token Calculus (STC). Each framework

rejects the Archimedean continuum in favor of a tree‑like or poset

structure, but they differ in mathematical rigor, empirical adequacy,

and ontological parsimony. The STC claims the greatest parsimony—all of

physics from a single primitive, the mark—but has not yet computed a

known empirical number from first principles. The crossed‑product

construction, by contrast, has resolved the infinite‑entropy pathology

of de Sitter space within the existing formalism of quantum field

theory.

The tension between foundational monism and empirical adequacy is

mediated by the Keplerian criterion: a superior

framework must simplify calculations and compute known numbers with

fewer free parameters. The STC’s “computational barrier” is reframed as

a projection problem: probability and numerical values are artifacts of

the many‑to‑one Monna map that projects the discrete p‑adic tree onto

the real continuum. The challenge is not to derive invariants—the STC

already produces cross‑ratio invariants for particle patterns—but to

calibrate those invariants to anthropocentric units (the pentadactility

problem).

The synthesis concludes that the framework that will be vindicated is

the one that computes a known constant (e.g., the fine‑structure

constant) from first principles with fewer free parameters, thereby

demonstrating that it has found the better coordinate system. The

experimental horizon—log‑periodic CMB oscillations, excited Higgs

resonances, ultrametric clustering in neural data—offers immediate tests

of the STC’s predictions, while the crossed‑product construction awaits

further development of de Sitter holography. The ultimate lesson is

epistemological: the distinction between map and territory is itself a

mark we have drawn, and the act of drawing it is the only thing that is

not an artifact.

Table of Contents

[PART I: FOUNDATIONS AND

MOTIVATION](#part-i-foundations-and-motivation)

[1.1 The Copernican

Precedent](#11-the-copernican-precedent)

[1.2 The

Epistemological Insight: Distinction as Primitive](#12-the-epistemological-insight-distinction-as-primitive)

[1.3

The Archimedean Axiom as Unrecognized Coordinate Choice](#13-the-archimedean-axiom-as-unrecognized-coordinate-choice)

[1.4

Contemporary Epicycles: A Diagnostic Catalog](#14-contemporary-epicycles-a-diagnostic-catalog)

[PART II: THE

CANDIDATE UNIFIED FRAMEWORKS](#part-ii-the-candidate-unified-frameworks)

[2.1

The Common Denominator: Non‑Archimedean Substrate](#21-the-common-denominator-non‑archimedean-substrate)

[2.2 Holography

and Entanglement Geometry](#22-holography-and-entanglement-geometry)

2.3 Causal Set Theory

[2.4

Algebraic QFT and the Crossed Product Construction](#24-algebraic-qft-and-the-crossed-product-construction)

[2.5

The Distinction Calculus / p‑adic Bruhat‑Tits Tree](#25-the-distinction-calculus--p‑adic-bruhat‑tits-tree)

[2.6

The Crossed Product vs. The Cross‑Ratio: A Clarification](#26-the-crossed-product-vs-the-cross‑ratio-a-clarification)

[2.7 Comparative

Evaluation Matrix](#27-comparative-evaluation-matrix)

[PART

III: METHODOLOGICAL TENSION AND THE CRITERION OF ADEQUACY](#part-iii-methodological-tension-and-the-criterion-of-adequacy)

[3.1

Foundational Monism vs. Empirical Adequacy](#31-foundational-monism-vs-empirical-adequacy)

[3.2

The Status of Mathematics: Philosophical Positions on Realism and

Reification](#32-the-status-of-mathematics-philosophical-positions-on-realism-and-reification)

[3.3 The Keplerian

Criterion](#33-the-keplerian-criterion)

[3.4

Categorical Semantics: Chu Spaces and Dialectica](#34-categorical-semantics-chu-spaces-and-dialectica)

[PART

IV: OPEN QUESTIONS AND THE EXPERIMENTAL HORIZON](#part-iv-open-questions-and-the-experimental-horizon)

[4.1 The de Sitter

Problem](#41-the-de-sitter-problem)

[4.2 The

Computational Barrier: Projection, Not Derivation](#42-the-computational-barrier-projection-not-derivation)

[4.3 The Unification

Question](#43-the-unification-question)

[4.4 Testable

Predictions: A Summary](#44-testable-predictions-a-summary)

[4.5 The Epistemological

Limit](#45-the-epistemological-limit)

Summary and Outlook

Footnotes

PART I: FOUNDATIONS AND MOTIVATION |

1.1 The Copernican Precedent |

The Copernican Revolution (1543) and Kepler’s formulation of

elliptical orbits (1609) provide the definitive historical case study of

mathematical reification in physical theory. The geocentric model

required an elaborate system of deferents and epicycles—in some

reconstructions, up to forty per planet—to account for the observed

retrograde motion of the outer planets. The mathematical complexity was

not intrinsic to the phenomenon under investigation; it was an artifact

of an ill-chosen coordinate system. When the reference frame was shifted

from the Earth to the Sun, and the orbital geometry was changed from

circles to ellipses, the epicycles vanished. They were not physical

structures; they were Fourier components of the elliptic orbit expressed

in a rotating frame.1 |

The quantitative measure of the simplification is precise: Kepler’s

first law reduced the description of Mars’ orbit from approximately

forty epicyclic terms to a single ellipse. The number of free parameters

dropped from dozens to two (semimajor axis and eccentricity), and the

residual errors fell from arcminutes to arcseconds. This is the

definitive signature of a successful coordinate change—not merely a

reinterpretation of the same data, but a demonstrable compression of the

descriptive apparatus. |

The lesson is precise: when a theoretical framework requires an

expanding ontology of unobservable entities to reconcile its formalism

with empirical data, the correct inference is not that those entities

are real but that the descriptive framework itself is suboptimal. The

entities are reified artifacts of coordinate choice—mathematical

features of a particular descriptive framework mistaken for physical

structures. |

1.2 The Epistemological Insight: Distinction as Primitive |

The epistemological foundation of this inquiry is the recognition,

articulated by Spencer-Brown in Laws of Form, that the act of

drawing a distinction is logically prior to any ontology.2 “We

take as given the idea of distinction and the idea of indication, and

that we cannot make an indication without drawing a distinction.” The

distinction between ontology and epistemology is itself a distinction—a

mark drawn for navigational convenience that must not be mistaken for a

discovery about the furniture of the universe. |

This insight licenses the central methodological principle: any

theoretical entity whose existence or properties depend on a specific,

arbitrary choice of coordinate system, gauge, or background structure is

a candidate epicycle. The task is to identify which entities in

contemporary physics satisfy this criterion and to determine what

invariant structure remains when these coordinate-dependent artifacts

are removed. |

1.3 The Archimedean Axiom as Unrecognized Coordinate Choice |

The common denominator underlying the most persistent difficulties

in contemporary theoretical physics is the Archimedean axiom. Formally,

for an ordered field \(F\), the

Archimedean property states: |

\[\forall a, b \in F \text{ with } a >

0, \exists n \in \mathbb{N} \text{ such that } n \cdot a >

b\] |

This axiom characterizes the real number continuum \(\mathbb{R}\) and, by extension, the smooth

Lorentzian manifolds of general relativity and the Hilbert spaces of

quantum mechanics. It entails infinite divisibility without intrinsic

hierarchy: no scale is privileged, and any magnitude can be exceeded by

adding sufficiently many copies of any smaller magnitude. |

Every major difficulty in contemporary physics can be traced to the

consequences of forcing physical law into an Archimedean continuum: |

| Problem | Archimedean Origin | Manifestation | | :— | :— | :— | |

UV divergences in QFT | Continuum permits arbitrarily

high-frequency modes at arbitrarily small distances | Need for

renormalization; perturbative infinities | | **Measurement

problem** | Continuum provides infinitely many intermediate

states between any two outcomes | Non-unitary “collapse” required to

select one | | Dark matter problem | Gravitational

potential falls off as \(1/r\) in

Archimedean geometry | Unseen mass required to reconcile rotation curves

| | Horizon problem | Archimedean expansion cannot

causally connect thermalized regions | Inflation field introduced as ad

hoc fix | | Spacetime singularities | Continuum permits

infinite curvature at a point | Big Bang and black hole singularities

| |

The diagnosis suggests a single corrective strategy: replace the

Archimedean continuum with a non-Archimedean, hierarchical, discrete

structure satisfying the strong triangle inequality

(ultrametric inequality): |

\[d(x,z) \le \max\big(d(x,y),

d(y,z)\big)\] |

In such a geometry, distances do not add; they branch. All triangles

are isosceles. Balls are either disjoint or nested. The space is

organized as a tree. |

1.4 Contemporary Epicycles: A Diagnostic Catalog |

The inquiry identifies six specific entities in contemporary

theoretical physics that exhibit the diagnostic signatures of reified

mathematical artifacts: |

1. Virtual Particles (perturbation theory).

Internal lines in Feynman diagrams representing off-shell quanta

satisfying \(E^2 \neq p^2 c^2 + m^2

c^4\). They are terms in the Dyson series expansion of the path

integral; in non-perturbative formulations (e.g., the Amplituhedron for

𝒩=4 SYM), they vanish entirely.3 The concept of “vacuum

fluctuations” as a roiling sea of virtual particles is a reification of

a perturbative approximation. |

2. The Wavefunction ψ(x₁,…,xₙ). A complex-valued

function on \(3N\)-dimensional

configuration space. The Pusey-Barrett-Rudolph (PBR) theorem (2012)

demonstrates that if the wavefunction is merely epistemic (encoding an

agent’s information about an underlying real state), a contradiction

with quantum predictions arises under the assumption that the underlying

state is independent of measurement choice.4

However, this assumption is precisely the Earth-centric coordinate

choice: in QBism, there is no “state of the world” independent of the

agent asking the question. In Algebraic QFT, the state is a positive

linear functional on an operator algebra; the wavefunction is a

representation-dependent projection of this invariant structure. |

3. Dark Matter Particles (WIMPs, axions). Inferred

entities added to the stress-energy tensor \(T_{\mu\nu}\) to reconcile observed galactic

dynamics with the Einstein field equations \(G{\mu\nu} = 8\pi G T{\mu\nu}\).

Alternative gravitational actions (MOND, TeVeS, \(f(R)\) gravity) eliminate the need for

these particles by modifying the left-hand side of the field equation

rather than the right-hand side.5 The Bullet Cluster

observation—often cited as decisive evidence for particle dark

matter—may admit alternative explanations in modified gravity theories

with screening mechanisms. |

4. The Inflaton Field. A hypothetical scalar field

\(\phi\) with a finely-tuned potential

\(V(\phi)\) introduced to solve the

horizon and flatness problems. The inflaton has no independent empirical

support; its potential is unconstrained by any known principle.

Alternative cosmologies (ekpyrotic/bouncing models, conformal gravity,

causal set cosmology) dissolve the need for this field by modifying the

initial conditions or the geometric framework. |

5. Spacetime Points (the manifold \(M\)). The assumption that the universe is a

smooth 4-dimensional Lorentzian manifold (\((M, g_{\mu\nu})\)) with a well-defined set

of points. In quantum gravity approaches (Causal Set Theory, Loop

Quantum Gravity, AdS/CFT), the continuum is a coarse-grained, emergent

approximation of a fundamentally discrete or algebraic structure. The

singularities of general relativity are precisely the loci where this

approximation breaks down.6 |

6. The Null Pointer (type systems and programming

languages). In ZFC set theory, the natural number 0 is identified with

the empty set ∅—a container with no elements. This identification

conflates absence of value (void) with *a container holding

nothing* (empty set). The result, when carried into programming

language type systems, is that null or NULL is

treated as a value that can be stored, dereferenced, or compared,

leading to the class of errors C. A. R. Hoare called his “billion-dollar

mistake.”7 This is a direct, practical

consequence of reifying the container ontology: the unmarked state is

forced to be a member of the power set of any type, generating paradoxes

of self-reference (three-valued logic, catching exceptions for control

flow) that require ever more elaborate type-theoretic epicycles (option

types, monads, nullable annotations) to manage. A non-Archimedean

framework that treats absence as the void rather than as a token—an

empty container—eliminates this confusion at the root, as the trichotomy

developed in §2.5 makes explicit. |

PART II: THE CANDIDATE

UNIFIED FRAMEWORKS

2.1 The Common

Denominator: Non-Archimedean Substrate

All candidate unified frameworks share a single structural feature:

the rejection of the Archimedean continuum as a primitive ontological

structure. Each replaces the smooth, infinitely divisible,

real-number-based manifold with a discrete, hierarchical, and/or

non-Archimedean substrate. The specific mathematical realizations

differ, but the underlying category is a **locally finite

tree or poset** with a hierarchical, branching

structure.

Formally, an ultrametric space is a metric space

\((X, d)\) satisfying the strong

triangle inequality. The canonical example is the field of \(p\)-adic numbers \(\mathbb{Q}_p\), whose metric is defined

by:

\[|x|p = p^{-vp(x)}\]

where \(v_p(x)\) is the exponent of

the highest power of \(p\) dividing

\(x\).

The geometric realization of \(\mathbb{Q}_p\) is the **Bruhat-Tits

tree** \(T_p\), a regular tree

where each vertex has exactly \(p\) + 1

neighbors.8 This regularity encodes a deep

symmetry: the group GL(2, \(\mathbb{Q}_p\)) acts transitively on the

vertices and edges of \(T_p\) by

isometries, making the tree a homogeneous space for the p-adic analogue

of the Lorentz group. The boundary of this tree, \(\partial Tp\), is homeomorphic to \(\mathbb{P}^1\)(\(\mathbb{Q}p\))—the projective line over

the p-adic field—and the action of GL(2, \(\mathbb{Q}_p\)) on the tree extends to a

fractional linear action on this boundary. This structure is the precise

non-Archimedean analogue of the relation between hyperbolic space \(\mathbb{H}^3\) and its conformal boundary

\(\mathbb{C} \cup \{\infty\}\) in

AdS/CFT.

The Monna map provides the crucial connection

between the discrete p-adic tree and the real continuum:

\[\phi: \mathbb{Z}_p \to [0,1], \quad

\phi\left(\sum{i=0}^\infty ai p^i\right) = \sum_{i=0}^\infty

\frac{a_i}{p^{i+1}}\]

This is a continuous surjection that projects the p-adic integers

onto the real interval, establishing the real continuum as a

coarse-grained, many-to-one projection of the ultrametric tree.9 The Monna map is not

injective—uncountably many p-adic numbers map to the same real

number—which is precisely why the continuum appears smooth and

continuous despite its discrete substrate.

2.2 Holography and

Entanglement Geometry

The AdS/CFT correspondence (Maldacena, 1997) establishes an exact

equivalence between a theory of gravity in a (\(d\)+1)-dimensional bulk spacetime and a

non-gravitational quantum field theory on its \(d\)-dimensional boundary. The radial

dimension of the bulk is not fundamental; it emerges from the

renormalization group flow of the boundary theory.

The tensor network representation of this emergence—specifically the

Multiscale Entanglement Renormalization Ansatz (MERA)—makes the tree

topology explicit.10 A MERA network is a tensor

contraction pattern with the structure of a tree: each layer corresponds

to a coarse-graining step, and the branching factor encodes the number

of degrees of freedom integrated out at each scale. The geometry of the

bulk is encoded in the entanglement pattern of the boundary, and the

tree structure is the skeleton on which this geometry is built.

The Ryu-Takayanagi formula quantifies this

emergence:

\[S_A =

\frac{\text{Area}(\gammaA)}{4GN\hbar}\]

where \(S_A\) is the entanglement

entropy of boundary region \(A\), and

Area(\(\gamma_A\)) is the area of the

minimal surface in the bulk homologous to \(A\).11 This formula is a

dictionary that translates geometric questions (distances, volumes) into

quantum information questions (entanglement entropies, mutual

information).

The ER = EPR conjecture (Maldacena, Susskind, 2013)

states that Einstein-Rosen bridges (wormholes connecting regions of

spacetime) are dual to Einstein-Podolsky-Rosen entanglement between

quantum systems.12 This implies that spacetime

geometry is made of quantum correlation: the metric \(G_{\mu\nu}\) is an emergent property of the

entanglement structure of a lower-dimensional quantum system. When

entanglement bonds break, space pinches off.

Current limitation: AdS/CFT is rigorously

established only for Anti-de Sitter spacetime (negative cosmological

constant). Extension to de Sitter space (dS/CFT) remains an open

problem.

2.3 Causal Set Theory

Causal Set Theory (Bombelli, Lee, Meyer, Sorkin, 1987) replaces the

Lorentzian manifold with a locally finite partially ordered set (\((C, \prec)\)), where the relation ≺ denotes

causal precedence and satisfies:

Transitivity: if \(x\) ≺ \(y\) and \(y\) ≺ \(z\), then \(x\) ≺ \(z\)

Acyclicity: if \(x\) ≺ \(y\) and \(y\) ≺ \(x\), then \(x\) = \(y\)

Local finiteness: \(|\{z : x \prec z \prec

y\}|\) is finite

The volume of any spacetime region is the number of causal set

elements it contains; geometry emerges from counting via the

Benincasa-Dowker action:

\[S_{\text{CD}} = \frac{1}{\hbar} \left(

\frac{4\pi}{3} \right)^{1/3} \ell_{\text{Planck}}^2 \left( N -

\frac{1}{2} \sum{x \in C} \sum{y \in C} \Theta(|I_{xy}|)

\right)\]

where \(I_{xy}\) is the causal

interval between \(x\) and \(y\), and Θ is a step function.13

The theory predicts a fundamental stochastic fluctuation in the

cosmological constant of order \(\delta\Lambda/\Lambda \sim 1/\sqrt{N}\),

where \(n\) is the number of causal set

elements in the observable universe.14 This is potentially

detectable as specific noise in gravitational wave backgrounds or dark

energy measurements. The Big Bang singularity is dissolved: it is simply

the first element of the causal set, and the question “what came

before?” is physically ill-posed.

2.4

Algebraic QFT and the Crossed Product Construction

Algebraic Quantum Field Theory (Haag, Kastler, 1964) replaces fields

on spacetime points with nets of operator algebras assigned to spacetime

regions. The invariant content of a QFT is the functor:

\[\mathcal{O} \mapsto

\mathfrak{A}(\mathcal{O})\]

from spacetime regions \(O\) to

\(C^*\)-algebras (or von Neumann

algebras) of observables.15 The coordinate fields

\(\hat{\phi}(x)\) are

representation-dependent artifacts; the algebra is the invariant.

Recent work (Chandrasekaran, Longo, Penington, Witten, 2022–2024)

demonstrates that the algebra of observables for subregions in quantum

gravity is a Type III₁ von Neumann factor.16 The Murray-von Neumann

classification is:

Type I: Standard QM. Pure states exist. Trace

Tr(\(\rho\)) is well-defined. Entropy

\(S = -\operatorname{Tr}(\rho \log

\rho)\) is finite.

Type II: Semifinite. A trace exists but is not

unique. Finite entropy possible with renormalization.

Type III₁: No trace. No pure states. No density

matrices. Entropy diverges.

The Type III₁ algebra of a subregion (e.g., the static patch of de

Sitter space) yields infinite entropy due to entangled short-distance

modes across the horizon. The crossed product

construction resolves this pathology.

Definition (Crossed Product): Let 𝔄 be a von Neumann

algebra and \(G\) a locally compact

group acting on 𝔄 by automorphisms \(\alpha: G

\to \operatorname{Aut}(\mathfrak{A})\). The crossed product \(G \ltimes_\alpha \mathfrak{A}\) is the von

Neumann algebra generated by 𝔄 and the unitary representations of \(G\) implementing the action.

Theorem (Takesaki Duality, 1973): The crossed

product of a Type III₁ factor by its modular automorphism group is a

Type II₁ factor.17 The Type II₁ factor

possesses a faithful semifinite normal trace \(\tau\), allowing the definition of a

finite, renormalized entropy.

Physical result (Chandrasekaran et al., 2023): For

the static patch of de Sitter space, the crossed product entropy

reproduces the Generalized Entropy:

\[S(\rho) = \frac{A}{4G_N} +

S_{\text{out}} + \text{constant}\]

where \(A\) is the horizon area,

\(GN\) is Newton’s constant, and \(S{\text{out}}\) is the entropy of matter

fields. The UV divergence is absorbed into the renormalization of \(G_N\).18 This is the precise

mathematical mechanism by which gravitational dressing of observables

resolves the entropy singularity: quantum fluctuations of the observer’s

clock smear out divergences from attempting to sharply localize the

horizon.

2.5 The

Distinction Calculus / p-adic Bruhat-Tits Tree

The most parsimonious candidate framework, articulated in the

Quantum Laws of Form monograph (Quni-Gudzinas, 2026), replaces

the primitive ontology of set membership (element x ∈ set S)

with the primitive act of drawing a boundary (the mark). This framework,

termed the Syntactic Token Calculus (STC) (also known

as the Distinction Calculus), consists of two operations:

Calling: \(a a =

a\) (idempotence)

Crossing: \([[a]] =

a\) (involution)

The nesting structure of enclosures is isomorphic to the

Bruhat-Tits tree \(Tp\) for \(\mathbb{Q}p\). The **Monna

map** provides the precise connection to the real continuum:

\[\phi: \mathbb{Z}_p \to [0,1], \quad

\phi\left(\sum{i=0}^\infty ai p^i\right) = \sum_{i=0}^\infty

\frac{a_i}{p^{i+1}}\]

This is a continuous surjection that projects the discrete p-adic

tree onto the real interval, establishing the continuum as a

coarse-grained description.19

A critical clarification distinguishes three concepts that ZFC

conflates: the number zero, the empty set, and the null pointer. In

distinction calculus, these are separate:

Zero is the void—the absence of any token. It is

not a container, not a boundary.

The empty enclosure [ ] is a boundary

with nothing inside. It is a valid expression, irreducible under the

reduction rules, and serves as the representation of empty containers

(empty list, empty set) without being identified with zero.

The null pointer is an artifact of treating

[ ] as if it were void—a type error that arises when a

boundary is crossed without a token inside.

This trichotomy resolves the confusion at the root. Natural numbers

are encoded not as sets but as right-nested enclosures:

0 = void, 1 = [#], 2 = [# [#]],

3 = [# [# [#]]], and so on. The successor operation

S(n) = [# n] wraps the representation of \(n\) inside an enclosure with a mark to its

left. Peano’s axiom that 0 is not a successor holds because void cannot

be written as [# n] for any \(n\). Arithmetic is defined via syntactic

reduction rules: addition replaces the innermost mark of \(M\) with the representation of \(n\); multiplication replaces every mark in

\(M\) with the representation of \(n\) and normalizes. These operations are

primitive recursive and require no set-theoretic encoding.20

This trichotomy directly dissolves the sixth epicycle identified in

§1.4: the null pointer error vanishes because absence (void) is not a

token that can be stored, dereferenced, or compared. The

programming-language epicycles of option types, monads, and nullable

annotations are artifacts of forcing void into a container, not

necessary features of computation itself.

Russell’s paradox dissolves in this framework without an axiom of

foundation. In set theory, the set R = {x | x ∉ x} leads to

contradiction. In distinction calculus, the corresponding re-entrant

form R = [R]—a boundary containing a mark that refers to

the whole expression—does not produce a contradiction but an

oscillation: under expansion, it cycles between

[R] and [[R]] (which reduces back to

R by crossing). This is not a logical falsehood but a

non-terminating process—a harmless fixed-point equation rather than a

foundational crisis. Self-reference is permitted; the calculus simply

does not terminate for such expressions, and that is acceptable because

the calculus is not required to terminate for all expressions, only for

those that represent stable configurations (normal forms).

Within this framework, each of the six identified epicycles dissolves

through a single coordinate change—from set membership to boundary

nesting:

Epicycle |

Dissolution Mechanism |

Formal Basis |

Virtual particles |

Reduction rules (calling, crossing)

replace perturbative expansions with deterministic rewriting |

Confluence of the syntactic rewriting

system |

Wavefunction |

Re-entrant form oscillates between

marked/unmarked states—syntactic superposition |

Fixed-point semantics of re-entrant

forms |

Dark matter |

Hierarchical tree structure yields

emergent rotation curves without unseen mass (claimed result; mechanism

not independently verified) |

Discrete Laplacian on the tree |

Inflaton |

Hierarchical tree has no causal horizon

problem by construction; all nodes connected through common

ancestor |

Discreteness of the tree topology |

**Spacetime

singularities** |

No points of infinite density; Big Bang =

root of tree, first distinction from void |

Discreteness of the tree structure |

Null pointer |

Void is not a token; the empty enclosure

is irreducible; no type confusion arises |

Zero/void/empty-enclosure trichotomy |

2.6 The

Crossed Product vs. The Cross-Ratio: A Clarification

A point of potential confusion merits explicit clarification. The

crossed product (von Neumann algebras) and the

cross-ratio (projective geometry) are mathematically

unrelated concepts that happen to share a linguistic element:

Property |

Crossed Product \(G \ltimes \mathfrak{A}\) |

Cross-Ratio (A, B; C, D) |

Domain |

Operator algebras, QFT |

Projective geometry, CFT |

Definition |

Algebra generated by 𝔄 and unitaries

implementing \(G\)-action |

(\(AC \cdot

BD\))/(\(BC \cdot AD\)) for four

collinear points |

Purpose |

Type III → Type II transition; finite

entropy |

Projective invariant; preserved under

perspective |

Physical role |

Resolves de Sitter entropy

singularity |

Encodes conformal blocks; AdS/CFT bulk

reconstruction |

Etymology |

“Crossed” = semidirect product |

“Cross” = criss-cross pattern of four

points |

The two constructions operate in entirely different mathematical

domains and serve different physical purposes. No meaningful

mathematical or physical connection exists between them.

However, a structural analogy can be drawn at the level of

invariance: the crossed product is invariant under diffeomorphisms and

gauge transformations of the background; the cross-ratio is invariant

under projective transformations of the plane. Both capture what remains

when coordinate-dependent artifacts are removed. The *Quantum Laws of

Form* monograph uses the cross-ratio as a primitive invariant in its

boundary calculus; the crossed product is the analogous invariant in the

operator-algebraic approach to quantum gravity. Whether these two

invariants are different manifestations of a deeper unified

structure—perhaps mediated by the Bruhat-Tits tree, which admits both an

algebraic (operator-algebraic) and a geometric (projective)

interpretation—is an open question.

2.7 Comparative Evaluation

Matrix

The four candidate frameworks can be systematically compared across

multiple dimensions:

Criterion |

Holography

(AdS/CFT) |

Causal

Sets |

Crossed Product

(AQFT) |

Syntactic

Token

Calculus

(STC) |

Math. rigor |

Rigorous for AdS; dS open |

Rigorous poset framework; dynamics

open |

Rigorous (Takesaki duality) |

Internally consistent (confluence proven);

unvalidated externally |

Empirical adequacy |

Reproduces known QFT on boundary |

Reproduces GR in continuum limit |

Solves de Sitter entropy problem |

Derives particle patterns (stable normal

forms); predicts CMB log-periodicity, Higgs resonances; simulated error

suppression in discrete tree circuits2122 |

Falsifiability |

dS/CFT predictions; SYK model |

Λ fluctuation; gravitational echoes |

Spectral broadening (PTOLEMY) |

8 specific falsifiable predictions

spanning cosmology, collider physics, quantum computing, and

neuroscience23 |

**Comput’l

tractability** |

Strong (large-N expansion,

integrability) |

Moderate (numerical causal sets) |

Strong (algebraic methods) |

Demonstrated \(O(N)\) reduction; simulation of error

suppression in discrete tree circuits24 |

Comput’l efficiency |

O(N²) for boundary correlators |

O(N²) for causal set action |

\(O(N)\)

for algebraic operations |

\(O(N)\)

juxtaposition; \(O(N)\) reduction;

O(N²) → \(O(N)\) improvement over

set-theoretic union25 |

**Ontological

parsimony** |

Moderate (boundary QFT + bulk

emergence) |

High (poset + counting) |

Moderate (algebra + modular flow) |

Highest (single primitive: the mark) |

Unification power |

High (spacetime + matter from

entanglement) |

Moderate (spacetime only; matter

added) |

High (spacetime + QFT unified

algebraically) |

Claims highest (all from distinction);

cross-domain predictions made |

Community adoption |

Mainstream (1000+ papers/year) |

Niche (~50 researchers) |

Growing rapidly (2022–present) |

Single author; 9 pubs (2025–2026);

pre-publication |

*Table 1: Comparative evaluation of the four candidate unified

frameworks across eight criteria. The STC scores highest on ontological

parsimony and unification power but lowest on community adoption and

external validation.*

PART

III: METHODOLOGICAL TENSION AND THE CRITERION OF ADEQUACY

3.1 Foundational

Monism vs. Empirical Adequacy

The tension between the Crossed Product framework and the Syntactic

Token Calculus (STC) framework recapitulates a deeper methodological

question: Is reliance on “existing mathematics” (Hilbert spaces, von

Neumann algebras, differential geometry) justifiable, or does it

constitute an unexamined bias that a truly fundamental theory must

transcend?

The monistic requirement (articulated by the

Syntactic Token Calculus (STC)) holds that a truly fundamental

description of reality must be self-contained: numbers, geometry, and

topology must be theorems of the primitive calculus, not imported

axioms. This is a criterion of elegance and parsimony—a philosophical

constraint on the ultimate form of a theory.

The scientific requirement (exemplified by the

Crossed Product) holds that a scientific theory must account for

existing data and predict new data. It may use any mathematical tool

necessary to achieve this, provided the tool is well-defined and the

theory is falsifiable. This is the operational definition of

physics.

The history of physics provides clear precedent for the scientific

position: Newton’s calculus was not derived from ZFC set theory; it was

justified by its successful prediction of planetary motion. Quantum

mechanics was not derived from a primitive distinction calculus; it was

justified by its prediction of the hydrogen spectrum to twelve decimal

places. The Crossed Product construction is justified because it solves

a specific, known pathology (the infinite entropy of de Sitter

subregions) within the existing, empirically validated framework of QFT

and GR.

A fair assessment of the Syntactic Token Calculus (STC) (hereafter,

the Syntactic Token Calculus, STC) must acknowledge both its

achievements and its acknowledged open problems. On the one hand, the

STC has demonstrated the capacity to: derive elementary particles as

stable normal forms with mass, charge, and spin patterns computed as

projective cross-ratios; prove confluence and uniqueness of normal forms

for the reduction system; establish a rigorous categorical semantics

mapping the finite fragment onto *-autonomous categories; formulate

eight specific, falsifiable predictions spanning cosmology, collider

physics, quantum information, and neuroscience; and demonstrate via

computational simulation that p-adic quantum architectures natively

suppress linear error accumulation, confirming passive geometric fault

tolerance.2627 On the other hand, the

STC confronts several open problems: the anthropocentric calibration of

syntactic invariants to numerical masses in MeV (the pentadactility

problem; see §3.2); the epistemic derivation of apparent temporal

evolution from the static tree (the Wheeler-DeWitt problem; see §3.2);

the completion of the particle taxonomy beyond the first generation; and

the derivation of discrete Einstein equations from the calculus’s

primitive operations.28

The STC is a pre-empirical framework that is

empirically engaged: it makes concrete predictions

testable with existing data (CMB re-analysis) or near-future experiments

(HL-LHC Higgs searches, ultrametric clustering tests in neuroimaging),

but its numerical predictions depend on parameters not yet fixed by

theory.

3.2

The Status of Mathematics: Philosophical Positions on Realism and

Reification

If mathematics is an arbitrary cultural construct—a position

defensible within formalism and constructivism—then the question arises:

why does one cultural construct (real analysis, Hilbert spaces)

outperform another (a pure boundary calculus) in predicting particle

scattering?

The answer lies in the distinction between the **arbitrariness

of symbols and the invariance of structure**.

The cross-ratio provides a precise illustration. Whether computed in

Babylonian sexagesimal, Cartesian coordinates, or a boundary calculus,

the cross-ratio of four collinear stars in a photograph yields the same

numerical value. The mathematical language is arbitrary; the invariant

it captures is not.

This suggests a pragmatic resolution to the monism-adequacy tension.

The justification for any mathematical framework in physics is

instrumental: it is the currently most efficient known

encoding of the invariants we observe. The Crossed Product encodes the

invariants of quantum gravity (entanglement wedges, generalized entropy)

with demonstrated efficiency. The Syntactic Token Calculus (STC)

proposes a more parsimonious encoding but has not yet demonstrated

equivalent efficiency for numerical prediction. The cost of

translation—from existing mathematics to a new primitive calculus—must

be justified by commensurate gains in predictive power or computational

simplicity.

**The pentadactility principle: anthropocentric calibration as

necessary key.** The distinction between invariant structure and

arbitrary convention finds its most vivid illustration in humanity’s

choice of base-10 numeration. Humans possess ten digits on their hands,

and this contingent biological fact—pentadactility—has shaped the entire

edifice of human mathematics and physics: the decimal system, the metric

system, the SI units. An alien civilization studying Earth after

humanity’s extinction would find our scientific records encoded in

base-10, with physical constants expressed in units that ultimately

trace back to the length of a human arm (the meter), the rotation of our

planet (the second), and the mass of a platinum-iridium cylinder stored

in a vault in France (the kilogram). Decoding this system would require

a key: the recognition that ten is not a mathematical necessity but a

biological contingency. The alien archaeologists would not conclude that

our physics was wrong; they would conclude that they had discovered the

anthropocentric calibration.29

This insight directly reframes the “quantitative bridge problem” of

the STC—the mapping from syntactic cross-ratios to numerical masses in

MeV. The cross-ratios derived by the STC are universal invariants: they

are to physics what the cross-ratio of four collinear points is to

projective geometry. The mapping to MeV requires a calibration step: a

choice of p-adic prime \(p\) (the

branching ratio of the Bruhat-Tits tree) and a Monna map projection onto

the real continuum. This calibration is the analogue of the alien

archaeologist discovering that humans used base-10 because they had ten

fingers. The cross-ratios themselves are coordinate-free; the numerical

values we assign them are coordinate-dependent. The fact that the STC

has not yet fixed this calibration is not a defect of the framework—it

is an expected feature of any theory that successfully identifies the

invariant structure underlying human-created conventions. The invariants

are the content; the numbers are the key.

The same principle illuminates the study of ancient human practices.

The rituals that remain most opaque to us—the esoteric, highly

individualistic ceremonies of antiquity—are opaque precisely because

they encode no persistent physical pattern. They are pure human

contingency, analogous to the choice of base-10. Those we understand

better, such as the alignment of Stonehenge with the solstices, encode

an invariant physical pattern (the solar cycle) beneath a layer of

contingent human ritual. The STC’s cross-ratios occupy the same role in

fundamental physics as the solstice alignment at Stonehenge: a universal

pattern awaiting recognition beneath the contingent calibration of human

units.

**The Wheeler-DeWitt constraint: the epistemic nature of

time.** A further objection to the STC—that it describes only

static patterns on a static tree without a dynamical principle—rests on

a hidden ontological assumption: that time and temporal evolution are

fundamental features of reality. The Wheeler-DeWitt equation of

canonical quantum gravity directly challenges this assumption. In the

Hamiltonian formulation of general relativity, the Hamiltonian is a

constraint rather than a generator of evolution:

\[\hat{H}|\Psi\rangle = 0\]

This equation states that the wavefunction of the universe is

annihilated by the Hamiltonian constraint. There is no time parameter;

the quantum state of the universe is static. The apparent temporal

evolution we observe is an emergent, epistemic phenomenon—a consequence

of our perspective as observers embedded within the universe, not a

feature of the fundamental description.30

This result is well-established in canonical quantum gravity and is

not a speculative interpretation. The “problem of time” in quantum

gravity is precisely the question of how to recover the appearance of

temporal evolution from a fundamentally timeless description. The STC’s

“static patterns on a static tree” is therefore not a defect but a

feature: it aligns with the Wheeler-DeWitt result by describing the

universe as a timeless configuration of distinctions. The apparent

dynamics—the evolution of particles, the expansion of the cosmos—must be

derived epistemically, as an observer-relative projection of the static

tree, exactly as the Wheeler-DeWitt framework predicts.

The demand for a syntactic Hamiltonian or a set of Reidemeister moves

that generates temporal evolution is a demand for an epistemic

projection rule, not an ontological primitive. The STC’s open problem is

to articulate the projection rule that generates the appearance of time

from the static tree. The STC shares this challenge with all approaches

to quantum gravity that take the Wheeler-DeWitt result seriously.

This reframing also resolves a deeper tension. If the fundamental

description is static, then the evolution described by a syntactic

Hamiltonian would itself be an artifact of a particular coordinate

choice—a reified epicycle of the human experience of time. The STC’s

static tree, like the Wheeler-DeWitt wavefunction, refuses to reify this

epicycle. The open problem is to explain why dynamics appears.

**Philosophical positions on scientific realism and reification

risk.** The question of whether theoretical entities are “real”

or merely useful fictions has been debated throughout the history of

philosophy of science. The positions can be understood as occupying

different points on a spectrum of reification risk, and they provide a

useful framework for evaluating the candidate unified theories.

Scientific realism, in its strongest form, holds

that successful scientific theories describe the world as it truly is,

including its unobservable entities. On this view, electrons and quarks

are as real as tables and chairs. The risk of reification is maximal:

every entity posited by a successful theory is taken to be real. The

Copernican lesson demonstrates that this risk is not merely

theoretical—the epicycles of Ptolemaic astronomy were once “successful”

in predicting planetary positions, yet they were not real.

Structural realism (Worrall, 1989) represents a

middle path that is particularly relevant to this inquiry. Worrall

observed that when scientific theories undergo revolutionary change

(e.g., from Fresnel’s ether theory to Maxwell’s electromagnetism), the

entities change (ether → electromagnetic fields) but the mathematical

structure (the wave equations) is preserved. Structural realism

therefore holds that we should commit to the relational invariants

captured by mathematical structure, not to the entities that instantiate

that structure. This position offers moderate protection against

reification: it licenses belief in relations (cross-ratios, operator

algebras) but not in substances (virtual particles, spacetime points).

Applied to the present inquiry, structural realism would counsel that

the cross-ratio invariants and the crossed-product algebras are the real

content of the candidate theories, while virtual particles,

wavefunctions, and inflatons are replaceable posits.

Entity realism (Hacking, 1983; Cartwright, 1983)

stakes out a different middle ground: we should believe in entities that

we can manipulate to produce effects, even if our theories about them

are wrong. Electrons are real because we can spray them from electron

guns; quarks are real because we can manipulate their properties in

colliders. This position offers partial protection—it reifies

manipulable entities but not theoretical posits that lack direct

experimental handle. Applied to the candidate frameworks, entity realism

would be skeptical of the inflaton (no manipulation possible) but

confident in the electron (daily manipulation in labs). The criterion of

manipulability provides a pragmatic check on reification but does not

eliminate it: entities that are manipulable today may turn out to be

epicycles tomorrow.

Constructive empiricism (van Fraassen, 1980) takes a

more austere view: the aim of science is empirical adequacy, not truth.

Theories are tools for generating accurate predictions about observable

phenomena, and belief should be limited to what is observable. The

theoretical entities of unobservable physics—quarks, quantum fields,

spacetime points—are not to be believed in; they are only to be accepted

as useful fictions that facilitate prediction. This position provides

maximum protection against reification, as it denies ontological

commitment to any unobservable entity. However, it faces a challenge: it

seems to deny science’s explanatory ambition and conflicts with the

intuitive practice of physicists who treat their theoretical entities as

real. Moreover, the line between “observable” and “unobservable” is

itself theory-dependent and historically shifting.

Instrumentalism (Dewey, 1925) treats theories as

instruments for prediction and control, with no ontological commitment

whatsoever. This is the most permissive position—it allows any

theoretical framework to be used as long as it makes accurate

predictions—but also the most conservative, as it offers no guidance for

theory choice beyond empirical success. On this view, the epicycles of

Ptolemaic astronomy were not “wrong” in any deep sense; they were simply

less efficient instruments than Kepler’s ellipses.

Each of these positions maps differently onto the candidate

frameworks. The Crossed Product construction, being a refinement of an

already empirically successful theory (QFT + GR), is compatible with all

positions. The Syntactic Token Calculus (STC), which makes ontological

claims about the primacy of distinction, is most naturally aligned with

structural realism: its core claim is that relations (cross-ratios,

invariants) are primary and substances (particles, spacetime) are

derivative. Causal Set Theory, which replaces continuous spacetime with

a discrete poset, is also compatible with structural realism: the causal

structure is the invariant, while the continuum manifold is a derived

approximation. Holography, which treats bulk geometry as emergent from

boundary entanglement, is structurally realist in spirit: the boundary

theory is the invariant, while the bulk is emergent.

The evaluation of which position is “correct” is beyond the scope of

this inquiry. What matters is that the **Keplerian

criterion**—simplification of calculation and precision of

prediction—provides a pragmatic resolution that is acceptable to all

positions. Whether one is a scientific realist, a structural realist, an

entity realist, a constructive empiricist, or an instrumentalist, the

simplification from forty epicycles to one ellipse is an objective

improvement. The framework that makes the most epicycles vanish with the

simplest coordinate change is preferred on all positions. This is why

the Keplerian criterion, developed in §3.3, is the appropriate arbiter

for the present inquiry, cutting across philosophical disagreements

about the ultimate nature of scientific truth.

3.3 The Keplerian Criterion

The historical lesson of Copernicus and Kepler is not that epicycles

were “wrong” in any absolute sense—they predicted planetary positions

with considerable accuracy. The lesson is that a **better

coordinate choice** rendered them unnecessary, simplifying the

calculation and revealing the underlying invariant structure.

Kepler’s ellipses did not merely claim a different ontology; they

simplified the calculation of Mars’ position from forty

terms to one term. The criterion for a successful unified framework is

therefore unambiguous: it must make the calculation easier and the

predictions more precise. This criterion is independent of one’s

philosophical position on realism: the structural realist values the

invariant structure revealed by the simplification; the constructive

empiricist values the increased predictive power; the instrumentalist

values the more efficient instrument.

The Keplerian criterion has two components that together define the

measure of theoretical progress:

Predictive ability. A framework must account for

existing empirical data and predict new data with greater precision than

its rivals. This is the non-negotiable core of scientific adequacy. The

Crossed Product predicts a finite de Sitter entropy where the standard

formalism yields a divergence; the STC predicts log-periodic CMB

oscillations, excited Higgs resonances at geometric mass intervals, and

ultrametric clustering in neural data; Causal Set Theory predicts a

stochastic fluctuation in the cosmological constant; Holography predicts

specific entanglement patterns in boundary correlators. Each of these

predictions is in principle testable, and the framework whose

predictions survive experimental scrutiny will be vindicated.

Parsimony. When two frameworks account for the same

data, the one with fewer free parameters, fewer primitive entities, and

simpler calculations is preferred. This is Ockham’s razor applied at the

level of foundational frameworks. By this measure, the STC claims the

greatest potential parsimony: a single primitive (the mark) and two

reduction rules generating all of particle physics, cosmology, and

quantum information. The Crossed Product is less parsimonious (it

inherits the full apparatus of QFT, GR, and von Neumann algebras) but

has already demonstrated its predictive power on a well-defined problem

(the de Sitter entropy singularity). The tension between predictive

ability and parsimony is the central methodological drama of this

inquiry.

The two components trade off against each other. A framework that is

maximally parsimonious but makes no testable predictions is useless; a

framework that is maximally predictive but requires an ever-expanding

ontology is vulnerable to the Copernican critique.

The insufficiency of prediction alone. The criterion

of predictive ability—central to the Popperian falsificationist paradigm

that dominates contemporary science—has a structural weakness that the

present inquiry exposes. When predictions fail, the theory can always be

modified or extended to produce new predictions. Null results for dark

matter searches do not falsify the particle dark matter hypothesis; they

motivate more sensitive searches at higher energies or with lower

backgrounds. The cycle can continue indefinitely, because the Popperian

framework provides no mechanism to declare a theory definitively

falsified when the entity it posits is merely difficult to detect rather

than demonstrably absent. The Keplerian criterion’s second

component—parsimony—is therefore not merely aesthetic but

epistemological: a framework that computes a known number from first

principles with fewer free parameters has achieved something that

prediction alone cannot. It has demonstrated the superiority of its

coordinate system rather than the fertility of its search strategy. A

computation is not a prediction; it is a demonstration that the

framework’s invariants align with the world’s structure.

The framework that succeeds will be the one that achieves the best

balance—the one that makes the most epicycles vanish with the simplest

coordinate change while also computing a known number from first

principles.

Applied to the present inquiry:

The Crossed Product has made the first decisive

move by reducing the infinite entropy of de Sitter space to a finite

Generalized Entropy formula—a simplification from divergence to finite

number. Its predictive power is demonstrated on a specific problem, but

its parsimony is limited by its reliance on the full apparatus of

algebraic QFT.

The Syntactic Token Calculus (STC) claims the

greatest parsimony—all of physics from a single primitive—and has taken

initial steps toward substantiating this claim through particle pattern

derivation, cross-ratio invariants, and computational simulation of

discrete tree operations on the Bruhat-Tits tree. However, by the

strictest reading of the Keplerian criterion, the STC has not yet

computed any empirically known quantity from first principles. It has

derived structural patterns (stable normal forms with associated

cross-ratio invariants) and formulated testable predictions, but it has

not produced a numerical mass, coupling constant, or cosmological

parameter that matches experiment. Its Keplerian moment—should it

arrive—will require either the computation of the fine-structure

constant, the electron mass in MeV, or some other empirically known

number from the syntactic calculus alone, without borrowing the

mathematics of the framework it seeks to replace.

Causal Set Theory offers a discrete substrate that

eliminates singularities with moderate parsimony but has not yet

produced a unique dynamical law, limiting its predictive power.

Holography offers a complete dictionary for AdS

spacetime with strong predictive power but limited parsimony (boundary

QFT + bulk emergence) and has not yet been extended to our

universe.

The framework that will be vindicated is the one that computes the

fine-structure constant, the cosmological constant, or some other

empirically known quantity with greater simplicity and precision than

the existing framework, without borrowing the mathematics it claims to

replace. This is the Keplerian criterion in its strongest form: the

framework that calculates a known number from first principles with

fewer free parameters is the framework that has found the better

coordinate system.

3.4 Categorical

Semantics: Chu Spaces and Dialectica

A rigorous categorical semantics for the distinction calculus is

essential for connecting it to established frameworks in logic and

quantum mechanics. Two candidates present themselves.

Chu spaces over {0,1} provide a natural model. A Chu

space (\(A, X, r\)) with \(r: A \times X \to \{0,1\}\) captures the

inside/outside structure of an enclosure: points \(A\) correspond to tokens inside the

enclosure, states \(x\) to tokens

outside, and \(R\) records which points

satisfy which states. The mark # maps to the unit Chu space

1 = ({}, {}, id). The void maps to the empty Chu space

0 = (∅, ∅, ∅). Juxtaposition maps to the tensor product ⊗,

and enclosure maps to linear negation (·)^⊥. Under this mapping, the

calling rule ## → # corresponds to the idempotence of the

tensor unit (1 ⊗ 1 ≅ 1), and the crossing rule

[[A]] → A corresponds to double-negation elimination

((A^⊥)^⊥ ≅ A). Thus the finite, terminating fragment of the

syntactic calculus forms a *-autonomous category—a model of linear

logic.31

Dialectica categories (de Paiva) offer an

alternative, where objects are relations \(U

\subset A \times X\) with a different composition rule. The

triple (\(A, X, U\)) maps naturally to

(enclosure, inside, outside), and the interpretation of

implication in the dialectica category involves a choice function that

may correspond to the crossing rule. If crossing corresponds to double

negation in the dialectica sense, then the distinction calculus is a

fragment of dialectica logic.32

Re-entry and oscillation require extending beyond finite *-autonomous

categories. A re-entrant form \(R =

[R]\) corresponds to a self-dual object satisfying \(R \cong R^\perp\). The oscillation is not

captured by a single object but by a limit or colimit of an infinite

diagram, suggesting that the full syntactic calculus (with re-entry)

lives in a 2-category or traced monoidal category. This is an open

research question.33

The mapping of ZFC into categorical boundary logic remains a

long-term challenge. One route proceeds via topos theory: the free topos

generated by the calculus’s reduction rules has expressions as objects

and reduction sequences as morphisms; its internal language may

interpret ZFC’s axioms, but whether this yields a Boolean topos

(classical) or a Heyting topos (constructive) depends on whether the

crossing rule is unrestricted. This question is formally undecided.

The significance of this categorical mapping extends beyond technical

convenience. The fact that the distinction calculus embeds faithfully

into *-autonomous categories—a well-studied fragment of linear

logic—demonstrates that it is not an ad-hoc formalism but a member of a

recognized family of substructural logics. This provides a rigorous

bridge between the primitive calculus and the existing categorical

foundations of quantum mechanics (e.g., dagger-compact categories, CPM

constructions), suggesting that a full quantization of the calculus may

proceed through well-understood categorical machinery rather than

requiring entirely new mathematics. Automated formal verification of the

calculus’s reduction rules has further confirmed its confluence and

\(O(N)\) complexity scaling,

strengthening its claim to computational tractability.34

PART IV:

OPEN QUESTIONS AND THE EXPERIMENTAL HORIZON

4.1 The de Sitter Problem

The most pressing open question is whether holography can be extended

to positive cosmological constant. The crossed product construction

works for static patches of de Sitter space, but a full dS/CFT

duality—an exact equivalence between quantum gravity in de Sitter and a

field theory on its future boundary—remains elusive. Progress in this

direction would constitute the strongest evidence for the

operator-algebraic approach.

A resolution of the de Sitter problem would also have direct

implications for the Bruhat-Tits tree unification. The boundary of de

Sitter space, ℐ⁺ (future null infinity), is a sphere \(S^2\); if dS/CFT is realized, the boundary

theory lives on this sphere. The Bruhat-Tits tree provides a natural

discretization of the radial direction in de Sitter space analogous to

its role in AdS, and the crossed product construction may be

reinterpreted as the operator-algebraic shadow of this tree structure.

Establishing this connection formally—deriving the Type II₁ crossed

product from the tree’s boundary data—would unify the crossed product

and distinction calculus frameworks under a single geometric

picture.

4.2 The

Computational Barrier: Projection, Not Derivation

The STC framework faces a computational barrier that is twofold.

First, the calculus lacks a fully developed probabilistic semantics: the

crossing rule alone is deterministic, and superposition arises only

through re-entrant forms that oscillate rather than superpose in the

conventional sense. Second, even if a probabilistic extension were

found, the computational resources required to derive precise numerical

values (e.g., the fine-structure constant) from first principles are

unknown but likely astronomical.

Reframing the barrier as a projection problem. The

critique advanced in the dialogue clarifies that both aspects of the

barrier are mischaracterized if one assumes that probability and

numerical values are fundamental. In the STC, probability is not an

ontic feature of the universe but an artifact of the **many‑to‑one

projection** of the discrete p‑adic tree onto the real continuum

via the Monna map. The Monna map \(\phi:

\mathbb{Z}_p \to [0,1]\) is a surjection: uncountably many p‑adic

sequences map to the same real number. When we ask for the “probability”

of an outcome, we are asking which equivalence class of p‑adic paths our

measurement apparatus resolves. The underlying tree dynamics are

deterministic; the apparent stochasticity is epistemic, arising from the

loss of information in the projection.

Similarly, the “computational resources” required to derive a

numerical value are not resources for deriving the invariant itself—the

cross‑ratio is computed syntactically in \(O(N)\) steps—but resources for

searching the pre‑image of the Monna map. The

fine‑structure constant as a cross‑ratio is an invariant of the tree;

the decimal expansion 1/137.036… is a particular coordinate

representation of that invariant in the anthropocentric base‑10 system.

Finding the p‑adic prime \(p\) and the

tree configuration that yield this decimal is a **calibration

problem** (the pentadactility problem), not a derivation problem.

The computational cost is that of inverting a many‑to‑one map, not of

computing the invariant from first principles.

Superposition as oscillation. The STC’s re‑entrant

forms oscillate between marked and unmarked states under the crossing

rule. This oscillation is a deterministic, syntactic process. When

projected via the Monna map, the oscillation may appear as a

superposition of amplitudes, but the underlying calculus never leaves

the realm of discrete, deterministic rewriting. The need for a

“probabilistic semantics” is thus a need for a **projection

rule** that maps oscillating syntactic forms onto real‑valued

probabilities, not a need for a stochastic extension of the calculus

itself.

Weighing the achievements. These clarifications do

not eliminate the practical challenge of matching the STC’s invariants

to empirical numbers, but they reframe the challenge as one of

calibration rather than derivation.

The STC’s demonstrated computational achievements remain: \(O(N)\) reduction complexity (vs. O(N²) for

set‑theoretic operations); confluence proven (unique normal forms for

all terminating expressions); passive fault tolerance demonstrated in

computational simulation of discrete tree operations on the Bruhat‑Tits

tree with stochastic noise injection, confirming that error variance

saturates at cluster boundaries rather than accumulating linearly; and

cross‑ratio invariants for the six first‑generation particle patterns

(photon, electron, up/down quarks, W boson, Z/Higgs) computed by

automated reduction of the syntactic calculus.3536 The open problem is not whether the

STC can produce invariants—it already does—but whether the calibration

key (the choice of \(p\) and the

Monna‑map projection) can be found that maps those invariants to the

known constants of particle physics. This reframing transforms the

“computational barrier” from a fundamental obstacle into a well‑defined

search problem, aligning with the pentadactility principle articulated

in §3.2.

4.3 The Unification Question

Are the four candidate frameworks different descriptions of the same

underlying structure, or are they genuinely distinct? The Bruhat-Tits

tree appears as a common geometric motif across all four:

Holography: MERA tensor network on a tree

Causal Sets: poset (directed acyclic graph)

Algebraic QFT: net of algebras indexed by a poset

of regions

Syntactic Token Calculus (STC): syntactic tree

generated by enclosure operations

This convergence suggests a possible unification under the rubric of

p-adic or ultrametric geometry, where the Bruhat-Tits

tree serves as the common substrate. The pursuit of these

correspondences is not merely abstract. If the Bruhat-Tits tree is the

common substrate, then each framework may be understood as a different

projection of the same underlying structure: the holographic projection

emphasizes the boundary, the causal set projection emphasizes the

partial order, the algebraic projection emphasizes the operator algebra,

and the distinction calculus projection emphasizes the primitive

syntax.

A striking physical analog of this unifying structure appears in

Lichtenberg figures—the branching, fractal patterns

created by high-voltage electrical discharges in dielectric materials.37 These patterns exhibit self-similar

branching, hierarchical structure, and an ultrametric distance: the path

between any two points on the discharge tree must go up to a common

ancestor and back down, never taking a direct shortcut. This is a

physical instantiation of the strong triangle inequality that defines

ultrametric geometry. While a Lichtenberg figure is not a literal

Bruhat-Tits tree—it is finite, classical, and governed by the physics of

dielectric breakdown—it demonstrates that tree-like, ultrametric

structures can emerge from simple physical rules (path of least

resistance). This raises the question: could a

Lichtenberg-figure-inspired hardware accelerator serve as a physical

ultrametric computer, performing analog computation by following

discharge paths through a designed dielectric tree? Such a device would

be a non-digital, non-Archimedean computer—a speculative but testable

extension of the unification hypothesis. More broadly, the Lichtenberg

figure suggests that ultrametric geometry is not merely a mathematical

curiosity but a physically realizable structure that arises naturally in

systems far from equilibrium.

The residual background problem. The Crossed

Product’s invariance under diffeomorphisms and gauge transformations is

invariance within a specific mathematical framework—the theory

of von Neumann algebras and their crossed products by group actions. The

cross-ratio’s invariance under projective transformations is invariance

within the framework of projective geometry. Both are genuine

invariants, but both are relative to a background mathematical structure

that is itself assumed rather than derived. This is precisely the

structure that the STC’s primitive (the mark) aims to eliminate: the STC

claims no background, only the act of drawing a distinction.

This raises a question that the present inquiry cannot yet answer:

are the diffeomorphism-invariance of the crossed product and the

projective-invariance of the cross-ratio different manifestations of a

deeper, background-free structure—one that the STC’s primitive might

eventually generate? Or are they genuinely distinct invariants that

resist unification into a single primitive?

The former possibility is suggested by the fact that both invariances

arise from the same geometric object: the Bruhat-Tits tree. The group

GL(2, \(\mathbb{Q}_p\)) acts on the

tree by isometries, and this action is the non-Archimedean analogue of

the diffeomorphism group acting on spacetime. The cross-ratio emerges as

the fundamental invariant of four points on the boundary of the tree

under this group action. If the crossed product construction can be

shown to arise from the same tree—if the operator-algebraic invariants

of the crossed product are projections of tree-level invariants under

the Monna map—then the two invariances would be unified as different

manifestations of a single ultrametric structure. The failure modes of

geocentric, pentadactylic, and Archimedean frameworks all stem from the

same root: each assumed a background structure that turned out to be

contingent. A framework that makes no background assumption at all would

be immune to this failure mode by construction.

The latter possibility—that the invariances are genuinely

distinct—would imply that the STC’s primitive is insufficient and that a

complete theory must incorporate both the syntactic calculus and the

operator-algebraic framework as complementary descriptions. This is an

open question, and its resolution will determine whether the four

candidate frameworks converge on a single theory or remain distinct

approaches to different aspects of quantum gravity.

4.4 Testable Predictions: A

Summary

Each framework makes predictions that are in principle

falsifiable:

Framework |

Prediction |

Observable |

Timescale |

Causal Sets |

Stochastic fluctuation in Λ of order \(1/\sqrt{N}\) |

Noise in gravitational wave background or

dark energy |

5–15 years |

**Crossed Product

(AQFT)** |

Spectral broadening in relic neutrino

capture |

PTOLEMY experiment capture rate |

10–20 years |

**Loop QG / Causal

Sets** |

Gravitational wave echoes from black hole

mergers |

Post-merger ringdown in LIGO/Virgo |

Ongoing |

Discrete Spacetime |

Lorentz invariance violation at Planck

scale |

Energy-dependent time delays in GRB

photons |

Ongoing (Fermi, POLAR, COSI) |

**Syntactic Token Calculus

(STC)** |

Log-periodic CMB oscillations (period ln

\(p\)) |

Planck/ACT/SPT power spectrum

re-analysis |

Immediate (existing data)38 |

**Syntactic Token Calculus

(STC)** |

Excited Higgs resonances at geometric mass

intervals |

Heavy scalar production at HL-LHC (250,

500, 1000 GeV for \(p\)=2) |

2029–203839 |

**Syntactic Token Calculus

(STC)** |

Passive geometric fault tolerance in

p-adic circuits |

Logical error rate <10⁻¹² per gate

without active correction |

5–10 years (proof-of-principle)40 41 |

**Syntactic Token Calculus

(STC)** |

Ultrametric clustering in neural data |

Strong triangle inequality in fMRI/EEG

distance matrices |

Immediate (existing datasets)42 |

**Syntactic Token Calculus

(STC)** |

W-boson mass oscillations with energy

scale |

Log-periodic variation in \(m_W\) vs. √\(S\) |

Combination of existing Tevatron/LHC

data43 |

4.5 The Epistemological Limit

The inquiry ultimately confronts a limit that is not physical but

epistemological. The tools we use to describe reality—mathematics,

logic, language—are themselves human constructs. The Syntactic Token

Calculus (STC) attempts to ground these constructs in a single primitive

act of distinction, thereby providing an answer to Wigner’s

“unreasonable effectiveness” problem. The Crossed Product approach

simply uses the mathematics that works, leaving the question of its

ultimate justification open.

This is not a question that physics alone can answer. It is the point

at which physics, mathematics, and epistemology converge. The Copernican

lesson, applied at this meta-level, is that the distinction between the

map and the territory is itself a mark we have drawn—and that the act of

drawing it is the only thing that is not an artifact.

The six epicycles identified in §1.4—virtual particles, the

wavefunction, dark matter, the inflaton, spacetime points, and the null

pointer—share a common structure: each is an entity that appears

necessary only because the underlying descriptive framework makes a

particular coordinate choice (the Archimedean continuum, the container

ontology) that forces the entity into existence. When the coordinate

choice is changed, the entity dissolves. The proliferation of epicycles

is not a sign that nature is complex; it is a sign that the map is

misaligned with the territory.

The framework that succeeds will be the one that makes the most

epicycles vanish with the simplest coordinate change while also

computing a known number from first principles. By the first measure

(parsimony), the Syntactic Token Calculus (STC) claims the greatest

reach—a single primitive dissolving six epicycles. By the second measure

(computation of a known quantity), the Crossed Product alone has

delivered: it computes a finite Generalized Entropy where the standard

formalism yields a divergence, reproducing the Bekenstein-Hawking

formula with the UV divergence absorbed into the renormalization of

Newton’s constant. The STC has not yet computed any empirically known

quantity from its syntactic calculus alone. The outcome of this tension

will be decided not by philosophical argument but by the only arbiter

that physics recognizes: the capacity to compute a number that matches

experiment. The STC’s predictions—log-periodic CMB oscillations, excited

Higgs resonances, ultrametric clustering in neural data—are on the

table, awaiting the verdict of experiment. But predictions, however

striking, are not computations. A prediction says “look here and you may

find something new.” A computation says “this known number falls out of

my framework with fewer free parameters.” The Keplerian criterion

demands the latter.

Summary and Outlook

The Copernican diagnostic, applied systematically to contemporary

theoretical physics, reveals a common pattern: the proliferation of

unobservable entities (virtual particles, dark matter, the inflaton,

spacetime points, the wavefunction, the null pointer) is a symptom of an

ill‑chosen descriptive framework, not a discovery about the furniture of

the universe. The Archimedean axiom—the assumption of a smooth,

infinitely divisible continuum—is the unrecognized coordinate choice

that forces these epicycles into existence. Replacing this continuum

with a non‑Archimedean, hierarchical, discrete substrate (the

Bruhat‑Tits tree) dissolves the epicycles and exposes the invariant

structure beneath.

Four candidate frameworks—holography, causal set theory, the

crossed‑product construction, and the Syntactic Token Calculus

(STC)—each implement this replacement in different mathematical

languages. Their comparative evaluation (Table 1) shows a trade‑off

between ontological parsimony and empirical adequacy. The STC claims the

greatest parsimony (a single primitive, the mark) and has derived

particle patterns as stable normal forms with cross‑ratio invariants,

but it has not yet computed a known empirical number from first

principles. The crossed‑product construction, by contrast, has resolved

a concrete pathology (the infinite entropy of de Sitter space) within

the existing formalism of algebraic QFT, demonstrating empirical

adequacy but at the cost of inheriting the full mathematical apparatus

of von Neumann algebras.

The tension between monism and adequacy is adjudicated by the

Keplerian criterion: a superior framework must simplify

calculations and compute known numbers with fewer free parameters. The

STC’s “computational barrier” is not a barrier to deriving invariants—it

already does that—but a calibration problem.

Probability and numerical values are artifacts of the many‑to‑one Monna

map that projects the discrete p‑adic tree onto the real continuum. The

challenge is to find the p‑adic prime (p) and the tree configuration

that map the syntactic cross‑ratios to the known constants of particle

physics (the pentadactility problem). This reframing transforms an

apparent ontological obstacle into a well‑defined search problem.

The experimental horizon offers immediate tests. The STC predicts

log‑periodic oscillations in the CMB power spectrum (period (p)),

excited Higgs resonances at geometric mass intervals, ultrametric

clustering in neural data, and passive geometric fault tolerance in

p‑adic quantum circuits. The crossed‑product construction awaits further

development of de Sitter holography; causal set theory predicts

stochastic fluctuations in the cosmological constant; holography

predicts specific entanglement patterns in boundary correlators. Each

prediction is falsifiable, and the framework whose predictions survive

will gain empirical traction.

Looking forward, the unification question remains open: are the four

frameworks different descriptions of the same underlying structure—the

Bruhat‑Tits tree—or genuinely distinct approaches? The tree appears as a

common geometric motif across all four, suggesting a possible synthesis

under the rubric of p‑adic or ultrametric geometry. The residual

background problem—the fact that both the crossed product and the

cross‑ratio are invariants within a background mathematical

structure—points to the deeper challenge of constructing a truly

background‑free description. The STC’s primitive (the mark) aims at this

goal, but its success hinges on its ability to generate the mathematics

it seeks to replace.

The ultimate epistemological lesson is that the distinction between

map and territory is itself a mark we have drawn. The act of drawing a

distinction is the only primitive that is not an artifact. Whether

physics will eventually ground itself in this primitive, or whether it

will continue to use the mathematics that works, is a question that will

be decided not by philosophical argument but by the capacity to compute

a number that matches experiment. The framework that calculates the

fine‑structure constant, the cosmological constant, or some other

empirically known quantity with greater simplicity and precision than

the existing framework, without borrowing the mathematics it claims to

replace, will have earned the right to be called the better coordinate

system. That is the Keplerian criterion in its strongest form, and it is

the standard by which all candidate unified frameworks must be

judged.

Kuhn, T. The Copernican Revolution (1957);

Kepler, J. Astronomia Nova (1609). The characterization of

epicycles as Fourier components of the elliptic orbit is due to Hanson,

N.R., “The Mathematical Power of Epicyclical Astronomy,” Isis

51(2), 1960. The quantitative comparison of forty epicyclic terms to a

single ellipse is drawn from the reconstruction of Ptolemaic planetary

theory in Gingerich, O., The Eye of Heaven (1993).↩︎

Spencer-Brown, G. Laws of Form (1969), p. 1.↩︎

Arkani-Hamed, N. & Trnka, J. “The Amplituhedron,”

JHEP 10 (2014) 030; Arkani-Hamed, N. et al., *Grassmannian

Geometry of Scattering Amplitudes* (2016).↩︎

Pusey, M.F., Barrett, J. & Rudolph, T. “On the

reality of the quantum state,” Nature Physics 8 (2012) 475. For

the QBist response, see Fuchs, C.A., Mermin, N.D. & Schack, R. “An

introduction to QBism with an application to the locality of quantum

mechanics,” Am. J. Phys. 82 (2014) 749.↩︎

Milgrom, M. “A Modification of the Newtonian Dynamics as

a Possible Alternative to the Hidden Mass Hypothesis,” ApJ 270

(1983) 365; Bekenstein, J. “Relativistic gravitation theory for the MOND

paradigm,” Phys. Rev. D 70 (2004) 083509.↩︎

Sorkin, R. “Causal Sets: Discrete Gravity,” in

Gomberoff, A. & Marolf, D. (eds.), *Lectures on Quantum

Gravity (2005); Rovelli, C. Quantum Gravity* (2004).↩︎

Hoare, C.A.R. “Null References: The Billion Dollar

Mistake,” presentation at QCon London (2009).↩︎

Bruhat, F. & Tits, J. “Groupes réductifs sur un

corps local,” Publ. Math. IHÉS 41 (1972) 5; Serre, J.-P.

Trees (1980). For the GL(2, \(\mathbb{Q}p\)) action on \(Tp\), see Serre, Ch. II.↩︎

Monna, A.F. “Sur une transformation simple des nombres

p-adiques en nombres réels,” Indag. Math. 14 (1952) 1; Robert,

A.M. A Course in p-adic Analysis (2000).↩︎

Vidal, G. “Entanglement Renormalization,” *Phys.

Rev. Lett.* 99 (2007) 220405; Evenbly, G. & Vidal, G. “Tensor

Network Renormalization,” Phys. Rev. Lett. 115 (2015) 180405.

For the MERA/holography connection, see Swingle, B. “Entanglement

Renormalization and Holography,” Phys. Rev. D 86 (2012)

065007.↩︎

Ryu, S. & Takayanagi, T. “Holographic Derivation of

Entanglement Entropy from AdS/CFT,” Phys. Rev. Lett. 96 (2006)

181602; Swingle, B. “Entanglement Renormalization and Holography,”

Phys. Rev. D 86 (2012) 065007.↩︎

Maldacena, J. & Susskind, L. “Cool horizons for

entangled black holes,” Fortsch. Phys. 61 (2013) 781.↩︎

Benincasa, D.M.T. & Dowker, F. “The Scalar

Curvature of a Causal Set,” Phys. Rev. Lett. 104 (2010)

181301.↩︎

Sorkin, R. “Forks in the Road, on the Way to Quantum

Gravity,” Int. J. Theor. Phys. 36 (1997) 2759; Sorkin, R. “The

Causal Set Approach to Quantum Gravity,” in Oriti, D. (ed.),

Approaches to Quantum Gravity (2009).↩︎

Haag, R. Local Quantum Physics (1992); Haag,

R. & Kastler, D. “An Algebraic Approach to Quantum Field Theory,”

J. Math. Phys. 5 (1964) 848.↩︎

Chandrasekaran, V., Longo, R., Penington, G. &

Witten, E. “Algebras of observables in de Sitter space,” JHEP

02 (2023) 082; Witten, E. “Gravity and the crossed product,”

JHEP 10 (2022) 008.↩︎

Takesaki, M. “Duality for Crossed Products and the

Structure of von Neumann Algebras of Type III,” Acta Math. 131

(1973) 249; Takesaki, M. Theory of Operator Algebras II

(2003).↩︎

Chandrasekaran, V., Penington, G. & Witten, E.

“Large N algebras and generalized entropy,” JHEP 04 (2023)

009.↩︎

Monna, A.F. “Sur une transformation simple des nombres

p-adiques en nombres réels,” Indag. Math. 14 (1952) 1; Robert,

A.M. A Course in p-adic Analysis (2000).↩︎

The encoding of natural numbers as right-nested

enclosures follows the Church numeral encoding in the lambda calculus

but replaces lambda abstraction with the enclosure primitive of the

boundary calculus.↩︎

Quni-Gudzinas, R.B. *Quantum Laws of Form: A

Syntactic Foundation for Physics* (2026), Ch. 29 (“Testable

Predictions”) and Ch. 10–15 (particle taxonomy). DOI:

10.5281/zenodo.19578015.↩︎

Quni-Gudzinas, R.B. “A Computational Simulation

Approach to Non-Archimedean Quantum Architectures” (2026). DOI:

10.5281/zenodo.19606885. Demonstrates \(O(N)\) reduction complexity, confluence of

the reduction system, and passive geometric fault tolerance via

computational simulation of discrete tree operations on the Bruhat-Tits

tree with stochastic noise injection, confirming that error variance

saturates at cluster boundaries.↩︎

Quni-Gudzinas, R.B. *Quantum Laws of Form: A

Syntactic Foundation for Physics* (2026), Ch. 29 (“Testable

Predictions”) and Ch. 10–15 (particle taxonomy). DOI:

10.5281/zenodo.19578015.↩︎

Quni-Gudzinas, R.B. “A Computational Simulation

Approach to Non-Archimedean Quantum Architectures” (2026). DOI:

10.5281/zenodo.19606885. Demonstrates \(O(N)\) reduction complexity, confluence of

the reduction system, and passive geometric fault tolerance via

computational simulation of discrete tree operations on the Bruhat-Tits

tree with stochastic noise injection, confirming that error variance

saturates at cluster boundaries.↩︎

The computational efficiency claim for the distinction

calculus juxtaposition operation (\(O(N)\) vs. O(N²) for set union in ZFC) is

drawn from the AST paper’s analysis of the syntactic rewriting system.

See Quni-Gudzinas, R.B. “Automated Formal Verification and Combinatorial

Reduction of Distinction-Based Calculus” (2026), §5.↩︎

Quni-Gudzinas, R.B. *Quantum Laws of Form: A

Syntactic Foundation for Physics* (2026), Ch. 29 (“Testable

Predictions”) and Ch. 10–15 (particle taxonomy). DOI:

10.5281/zenodo.19578015.↩︎

Quni-Gudzinas, R.B. “A Computational Simulation

Approach to Non-Archimedean Quantum Architectures” (2026). DOI:

10.5281/zenodo.19606885. Demonstrates \(O(N)\) reduction complexity, confluence of

the reduction system, and passive geometric fault tolerance via

computational simulation of discrete tree operations on the Bruhat-Tits

tree with stochastic noise injection, confirming that error variance

saturates at cluster boundaries.↩︎

Quni-Gudzinas, R.B. *Quantum Laws of Form: A

Syntactic Foundation for Physics* (2026), Ch. 29 (“Testable

Predictions”) and Ch. 10–15 (particle taxonomy). DOI:

10.5281/zenodo.19578015.↩︎

The pentadactility principle is named after the

biological fact that humans have five digits on each hand (Greek

penta, five; daktylos, finger). The choice of base-10

as the foundation of decimal numeration, the metric system, and the SI

units is a direct consequence of this anatomical contingency. The

principle generalizes: any system of measurement or notation that traces

back to a contingent human characteristic encodes an anthropocentric

calibration that must be discovered, not derived, by an external

observer. This does not diminish the universality of the invariants that

such systems are used to express; it merely identifies the layer of

convention that separates invariant structure from numerical

expression.↩︎

DeWitt, B.S. “Quantum Theory of Gravity. I. The

Canonical Theory,” Phys. Rev. 160 (1967) 1113; Wheeler, J.A.

“Superspace and the Nature of Quantum Geometrodynamics,” in *Battelle

Rencontres* (1968). The Wheeler-DeWitt equation \(\hat{H}|\Psi\rangle = 0\) is the central

result of canonical quantum gravity, demonstrating that the Hamiltonian

constraint of general relativity generates no time evolution at the

fundamental level. For the “problem of time,” see Isham, C.J. “Canonical

Quantum Gravity and the Problem of Time,” in *Integrable Systems,

Quantum Groups, and Quantum Field Theories* (1993); Anderson, E.

“Problem of Time in Quantum Gravity,” Annalen der Physik 524

(2012) 757.↩︎

Barr, M. -Autonomous Categories, Lecture Notes

in Mathematics 752 (1979); Seely, R.A.G. “Linear logic, *-autonomous

categories and cofree coalgebras,” Contemporary Mathematics 92

(1989) 371.↩︎

de Paiva, V. “The Dialectica Categories,” in

Categories in Computer Science and Logic, Contemporary

Mathematics 92 (1989); de Paiva, V. “Dialectica Categories and Gödel’s

Dialectica Interpretation,” J. Symbolic Logic 56(4) (1991)

1456.↩︎

Kauffman, L.H. “Knot Logic,” in *Knots and

Applications*, ed. L.H. Kauffman (1995); Joyal, A., Street, R. &

Verity, D. “Traced monoidal categories,” *Math. Proc. Cambridge Phil.

Soc.* 119(3) (1996) 447.↩︎

Quni-Gudzinas, R.B. “A Computational Simulation

Approach to Non-Archimedean Quantum Architectures” (2026). DOI:

10.5281/zenodo.19606885. Demonstrates \(O(N)\) reduction complexity, confluence of

the reduction system, and passive geometric fault tolerance via

computational simulation of discrete tree operations on the Bruhat-Tits

tree with stochastic noise injection, confirming that error variance

saturates at cluster boundaries.↩︎

Quni-Gudzinas, R.B. *Quantum Laws of Form: A

Syntactic Foundation for Physics* (2026), Ch. 29 (“Testable

Predictions”) and Ch. 10–15 (particle taxonomy). DOI:

10.5281/zenodo.19578015.↩︎

Quni-Gudzinas, R.B. “A Computational Simulation

Approach to Non-Archimedean Quantum Architectures” (2026). DOI:

10.5281/zenodo.19606885. Demonstrates \(O(N)\) reduction complexity, confluence of

the reduction system, and passive geometric fault tolerance via

computational simulation of discrete tree operations on the Bruhat-Tits

tree with stochastic noise injection, confirming that error variance

saturates at cluster boundaries.↩︎

Lichtenberg, G.C. “On a New Method of Designing

Thunder-Bolts,” Philosophical Magazine 11 (1780); Niemeyer, L.,

Pietronero, L. & Wiesmann, H.J. “Fractal Dimension of Dielectric

Breakdown,” Phys. Rev. Lett. 52 (1984) 1033.↩︎

Quni-Gudzinas, R.B. *Quantum Laws of Form: A

Syntactic Foundation for Physics* (2026), Ch. 29 (“Testable

Predictions”) and Ch. 10–15 (particle taxonomy). DOI:

10.5281/zenodo.19578015.↩︎

Quni-Gudzinas, R.B. *Quantum Laws of Form: A

Syntactic Foundation for Physics* (2026), Ch. 29 (“Testable

Predictions”) and Ch. 10–15 (particle taxonomy). DOI:

10.5281/zenodo.19578015.↩︎

Quni-Gudzinas, R.B. *Quantum Laws of Form: A

Syntactic Foundation for Physics* (2026), Ch. 29 (“Testable

Predictions”) and Ch. 10–15 (particle taxonomy). DOI:

10.5281/zenodo.19578015.↩︎

Quni-Gudzinas, R.B. “A Computational Simulation

Approach to Non-Archimedean Quantum Architectures” (2026). DOI:

10.5281/zenodo.19606885. Demonstrates \(O(N)\) reduction complexity, confluence of

the reduction system, and passive geometric fault tolerance via

computational simulation of discrete tree operations on the Bruhat-Tits

tree with stochastic noise injection, confirming that error variance

saturates at cluster boundaries.↩︎

Quni-Gudzinas, R.B. *Quantum Laws of Form: A

Syntactic Foundation for Physics* (2026), Ch. 29 (“Testable

Predictions”) and Ch. 10–15 (particle taxonomy). DOI:

10.5281/zenodo.19578015.↩︎

Quni-Gudzinas, R.B. *Quantum Laws of Form: A

Syntactic Foundation for Physics* (2026), Ch. 29 (“Testable

Predictions”) and Ch. 10–15 (particle taxonomy). DOI:

10.5281/zenodo.19578015.↩︎