Research Papers

The Spectral Comb and the Riemann Hypothesis: A Proof via Fixed-Point Theory

Identifies the completed zeta function ξ(s) with the characteristic polynomial of an antisymmetric matrix. Six theorems, machine-checked in Lean 4, verified by Z3. 11 pages. View source (.kleis)

The Riemann Zeta Function as a Transfer Function: A State-Space Perspective on Hilbert–Pólya

Reframes the spectral comb as a state-space realization of 1/ζ(s). Antisymmetry forces Re = 1/2 by a one-line identity; convergence covered by Connes' theorem and six published spectral approximation results. 18 references, 13 executable tests. View source (.kleis)

The Hum: Input–Output Realization of the Zeta Transfer Function and the Twin Prime Beat Structure

Constructs the B and C matrices for the state-space realization of 1/ζ_N(s), derives the Lagrange interpolation structure of pole weights, and connects it to twin prime beats. View source (.kleis)

Selberg Universality

View source (.kleis)

GL(3) Spectral Comb

Kleis source only (no PDF). View source (.kleis)

Flat Galactic Rotation Curves from Projected Ontology

Derives flat rotation curves and the Tully–Fisher relation (M ∝ v⁴) without dark matter. 14 axioms, 4 theorems, all verified by Z3. View source (.kleis)

Adjacent Causal Riesz Sectors and Galactic Gravity in Projected Ontology Theory

Derives the gravitational kernel K(r) = −A/r + B ln r as adjacent members of the Lorentzian Riesz family R₂⁺ and R₃⁺. Establishes Riesz adjacency, slow-decay coherence, and the spectral structure linking Newtonian and galactic-scale sectors. Z3-verified throughout. View source (.kleis)

Emergent Conformal Geometry from Projection Kernels

Defines the characteristic signature C(K) and kernel topology signature T(K) as geometry-bearing invariants of production kernels. Proves a multiplicity invariance theorem ensuring physically different kernels can share a common observable geometry. Z3-verified. View source (.kleis) Theory (.kleis)

Conformal Reconstruction from Projection Kernels

Shows that a projection kernel determines a Lorentzian conformal class [g]_K from its projective singular directions. Identifies an irredundant sufficient signature: algebraic saturation, Witt index one, and smooth variation. Z3-verified. View source (.kleis) Theory (.kleis)

Projective Metric Reconstruction from Coherent Kernel Families

Addresses the residual calibration problem: selecting a metric representative from the conformal class. Uses the Paneitz operator and Barvinsky–Wachowski decomposition to prove that only the global Weyl orbit survives on compact Riemannian four-manifolds with trivial Paneitz kernel. Z3-verified. View source (.kleis) Theory (.kleis)

Stationary Action from Projection Coherence

Derives the stationary-action principle rather than postulating it. For a real scalar field extracted from an admissible Lorentzian Riesz kernel, proves formal self-adjointness of the physical operator (the Scalar Self-Adjointness Theorem), yielding a quadratic action functional, Green/Lagrange reciprocity, and a conserved bilinear pairing. The Lagrangian density is derived by integration by parts and verified to reproduce the original operator. 36 Z3-verified examples across two companion files. View source (.kleis) Theory (.kleis) Self-adjointness (.kleis)

Clifford Algebra from Kernel Geometry

Proves that the Clifford relation for the Dirac operator's principal symbol is forced by causal kernel geometry, Spin covariance, and finite-dimensional representation theory. In 2D, conformal naturality forces Cl(1,1) unconditionally. In 4D, Spin representation theory uniquely selects the Dirac fiber S_L⊕S_R, Schur multiplicity-one restricts the symbol to the Weyl intertwiners, and the characteristic determinant normalizes: A(ξ)² = εq(ξ)I₄. An explicit counterexample (B⊕(−B)) shows Spin naturality is necessary. 83 Z3-checked examples across seven companion files. View source (.kleis) Main theory (.kleis) F-0a (.kleis) F-0b trace (.kleis) F-0b nat (.kleis) Counterexample (.kleis) F-1W0 (.kleis) F-1Wb/c (.kleis)

Operator Constraints from Kernel Geometry: A Status Report

Places the scalar, fermionic, and gauge-sector results in a common methodological frame. POT constrains the space of admissible operators—not dynamics itself. Updated to reflect the projection–kernel convergence: for the scalar bundle lift, projection selects the invisible subgroup while kernel equivariance supplies its transport law. The remaining frontier is gauge-group type selection. View source (.kleis)

Projection-Selected Gauge Redundancy and Kernel Equivariance

Proves that the map Q → G_Q from projections to stabilizer subgroups is monotone nondecreasing from the projection coarsening preorder to the subgroup poset of Aut(V). For a componentwise scalar kernel, the kernel commutant is all of Aut(V) and the candidate gauge group reduces to G_{Q,K} = G_Q. Localization of projection-selected transformations inherits transport covariance from kernel equivariance. Situated relative to Ore's Galois connection (1944), Doplicher–Roberts reconstruction (1989), and recent thermodynamic gauge groups (2026). 18 Z3-verified algebraic claims. View source (.kleis) Bridge Part A (9 Z3) Bridge Part B (9 Z3)

Connection Structure from Kernel Equivariance

Derives connection and curvature structure from the equivariance requirements of a bundle-valued convolution operator, without assuming a Lagrangian, gauge group, or covariant derivative. Proves that for any nondegenerate scalar integral kernel, local equivariance uniquely determines the covariance law of multiplicative fiber completions on kernel-coupled pairs. Specializes to the Riesz family. Establishes a Gauge-Group Nonselection Corollary. 39 Z3-verified algebraic claims across six companion theories. View source (.kleis) Symmetry anatomy (14 Z3) Bundle lift (4 Z3) Local equivariance (6 Z3) Necessity (5 Z3) Connection jet (4 Z3) Curvature (6 Z3)

Gauge Transport and the Lorentzian Riesz Hierarchy: An All-Orders Kinematical Coherence Theorem

Proves that the transported free Riesz recursion □R_α+2 = R_α, lifted to a vector bundle by an arbitrary smooth connection, imposes no differential constraint on the connection at any jet order. Introduces the Riesz coincidence functional on a formal channel module and establishes the Zero-Order Coefficient Operator Theorem: the extraction operator acts pointwise on smooth multipliers because D − ∂ = B. Independently verified at first and second jet order by mechanized Fock–Schwinger computation (51 machine-checked examples, including 368-term non-Abelian curvature-squared cancellation). View source (.kleis) All-orders proof (.kleis) Jets (28 examples) Channel mixing (23 examples) Falsification audit (6 examples)

Standard Model Gauge-Group Realizability in Projected Ontology

Proves that any subgroup of GL(W) can be realized as the joint projection/kernel stabilizer of a product-witness construction, and exhibits SU(3)×SU(2)×U(1) as a concrete corollary. The Riesz kernel is internally nonselective (G_K = G); the projection carries the subgroup information. Tensor-factor commutation derives both Clifford and kernel compatibility without independent assumptions. Local gauge realizability follows under fiberwise locality. 35 Z3-verified atomic examples across five companion files. View source (.kleis) Realizability (12 Z3) Cancellation (3 Z3) Group inverse (2 Z3) Product witness (12 Z3) Tensor factor (6 Z3)

Multi-Center Dynamics of Adjacent Causal Riesz Sectors

Develops multi-center mechanics for the composite kernel K(r) = −A/r + B ln(r/r₀). Introduces a symmetric bilinear R₃⁺ interaction charge, derives conservation laws from interaction symmetry, proves existence and stability of circular orbits, and establishes that the isolated logarithmic interaction cannot extend unchanged to arbitrarily large separation. Applied to the Bullet Cluster. 62 Z3-verified identities. View source (.kleis) Theory (.kleis) Numerics (.kleis)

Quantum Entanglement as Projected Ontology

Spinor projection kernel for quantum measurement. Identifies entanglement as a projection artifact.

Electrodynamics as a Theorem of Projected Ontology

Derives Maxwell's equations from two axioms and d²=0 on a Lorentzian manifold. Identifies the exterior derivative as an admissible POT kernel; classifies electrodynamics as the unique admissible gauge sector. 14 verified examples, 15 pages. View source (.kleis)

Confinement as Fiber Non-Invariance: The Admissibility Boundary in Projected Ontology

Derives structural confinement from kernel non-admissibility without assuming quantum mechanics. Identifies the admissibility defect with the Lie bracket; connects to Wilson loops, the Gauss law, and color singlets. 6 theorems, 19 Z3-verified examples. View source (.kleis)

Admissibility Restoration: The Structural Necessity of Symmetry-Breaking Fields in Projected Ontology

Derives the necessity of Higgs-like fields from kernel admissibility. Shows that mass vs. confinement reduces to whether algebraic non-linearity is compensable. 7 theorems, 3 figures, 16 Z3-verified examples. View source (.kleis)

POT vs GR: Gravitational Lensing Predictions

Machine-verified comparison of gravitational lensing predictions. All diagram data computed from physical constants — no hardcoded values. View source (.kleis)

Reading General Relativity Through the Projection Kernel: Non-Admissibility, Formulation Fibers, and the Evidentiary Gap

Shows how the K–Q framework separates what is physical from what is formulation-dependent in GR. Proves the GR kernel is non-admissible (R = dω + ω∧ω), formulates the Projection Sufficiency Principle (Q determines whether non-admissibility requires a Higgs), proves formulation-independence across Cartan, TEGR, Palatini, and spin-2, and identifies that energy localizability is a formulation fiber artifact—not physics. 117 verified results. View source (.kleis)

Non-Unique Factorization of Projection Kernels

Proves that the admissibility of a kernel controls its factorization structure. Admissible kernels (electrodynamics, entanglement, rotation curves) live in a factorial sector with multiple decompositions; non-admissible kernels (GR, Yang–Mills) live in an atomic sector where the self-coupling term is an irreducible atom. The formulation fiber from the GR paper is shown to be a factorization rearrangement. Connects to Geroldinger–Halter-Koch non-unique factorization theory, Landau’s LPDO example, and categorical factorization systems. 35 Z3-verified results. View source (.kleis)

Technical Brief: The Realization Tautology

Phase Transitions as Admissibility Boundaries: The 2D Ising Model in the K–Q Framework

Shows that Onsager’s exact solution of the 2D Ising model is a concrete instance of the K–Q decomposition. The phase transition at β_c is an admissibility boundary; Kramers–Wannier duality is a formulation fiber; the specific heat divergence is a projection artifact — the kernel K(β) = e^−βH is entire, and the singularity resides in the thermodynamic limit of Tr. Connects phase transitions in statistical mechanics to gauge non-admissibility in field theory. 4 theorems, 8 structures, all Z3-verified. View source (.kleis)

Formulation Fibers and Exact Solvability

Proves that formulation fibers — involutive self-dualities on the parameter space of a K–Q system — are the algebraic mechanism behind exact solvability of lattice models. The 2×N→N exponential-to-linear eigenvalue reduction, the Poincaré duality obstruction in 3D, and the Yang–Baxter equation as a continuous fiber condition. Computes 3D Ising β_c within 1.5% of the published value. 23 Z3-verified examples. View source (.kleis)

The Analytic Geometry of the Causal Riesz Hierarchy: Bernstein–Sato Singularities, Tube Boundary Values, and Petrovsky Cycles

Derives the full causal Riesz family R±(α) from complex singularity geometry. Identifies the BGP normalization as the mechanism that converts meromorphic poles into distributional transitions, and connects Bernstein–Sato roots, tube boundary values, and Petrovsky cycles into a unified analytic framework. 50 Z3-verified checks. View source (.kleis) Theory (.kleis)

The Riesz Sector Hierarchy: Critical Exponents and Long-Range Gravitational Structure

Derives the gravitational potential hierarchy 1/r → ln(r/r₀) → r from consecutive static shadows of causal Riesz sectors at α = 2, 3, 4. The logarithmic member at the critical exponent α = 3 gives flat rotation (v² = B) without dark matter. Includes the second critical sector at α = 5, weak-lensing phenomenology, and mass-dependent predictions. Machine-verified projection algebra. View source (.kleis) Theory (.kleis)

Riesz Homogeneity, Logarithmic Resonance, and the K–Q Structure of One-Loop Amplitudes

Establishes a bridge between Riesz-type analytic continuation and convergent one-loop observables for three Feynman graphs: the φ&sup4; bubble (d=4), the scalar triangle (d=6), and QED vacuum polarization (d=4). At critical homogeneity the UV residue is kinematically local and lies in ker(Q); the observable kinematics enter through the logarithmic tangent. QED adds symmetry-constrained locality. 54 machine-verified checks across three theory files. View source (.kleis) Bubble (.kleis) Triangle (.kleis) QED (.kleis)

Physical Implications of the Causal Riesz Hierarchy: A Research Note

Extracts nine physical implications from the causal Riesz hierarchy and its one-loop extension. Classifies each as Established (4), Made Precise (2), or Inference (3). Identifies two downstream routes of the K–Q architecture: Q_static for classical potentials and Q_obs for quantum observable classes. View source (.kleis)

VOLUME VII REVISED Renormalization as Projected Ontology: The Theory That Was Never Divergent

Formalizes QFT renormalization as projection kernels composable via ITCM. Reduces the Yang–Mills mass gap to a spectral condition on Hankel-order asymmetry. 34 pages, 4 figures, 40 Z3-verified examples. View source (.kleis)
Revised edition (v2): PDF Source (.kleis) — Corrects QED index-shift identification: Ward-reduced vacuum polarization gives δ=0 (89 Z3-verified examples).

VOLUME VIII A Conditional Reduction of the Yang–Mills Mass Gap Problem via Integral Transform Composition

Capstone of the 14-file POT program. States the Main Reduction Theorem: under five assumptions A–E, 4D Yang–Mills has a positive mass gap. 14 theory files, 400+ Z3-verified examples. View source (.kleis)

VOLUME IX Yang–Mills Vacuum Stability as a Classical Spectral Property

Z3-verified proof that γ > 0 implies a positive spectral gap for the Bessel–Sturm–Liouville operator. 12 structures, 34 Z3-checked examples. All mathematics pre-1953. View source (.kleis)

EPILOGUE The Mass Gap as a Classical Spectral Phenomenon: A Reinterpretation

The mass gap decomposes into a classical spectral mechanism (Sturm–Liouville, Watson, Weyl, Borg — all pre-1946) and a quantum realization problem. View source (.kleis)

VOLUME X Projection Singularities: Why Physics Has No Infinities

All physical infinities are projection singularities. The Hadamard projection is the unique linear idempotent that extracts the observable and annihilates the infinity. Two end-to-end worked examples on real QFT loop integrals. 20 references, 29 Z3-verified structural results, 13 machine-verified computations. View source (.kleis)

VOLUME XI Quantization as Projection Kernel

Treats quantization itself as a kernel in the K-Q framework. View source (.kleis)

The Half-Derivative Gap: Machine-Verified Structural Diagnosis of Navier-Stokes Smoothness

Proves that no scalar Sobolev inequality chain can exclude Navier-Stokes blow-up. 13 Z3-verified tests, 2 figures, 6 tables. View source (.kleis)

Geometric Depletion of Vortex Stretching: Machine-Verified Conditions for Navier-Stokes Regularity

Reduces Navier-Stokes regularity to the sign of a single scalar observable Q. 16-step reduction chain, 5 figures, 7 tables, Z3-verified thresholds. View source (.kleis)

From Self-Protection to Interaction Depletion: The Pressure-Hessian Sign in Curved and Interacting Vortex Tubes

Computes Q for curved vortex tubes and interacting configurations. 13-step reduction chain, 3 Z3-verified theory files, 15 pages. View source (.kleis)

From Interaction Depletion to Conditional Regularity: Angular Averaging, Many-Body Locality, and the Dynamical Closure of the Pressure-Hessian Sign

Closes three remaining gaps in the NS regularity program. States a conditional regularity theorem. Complete 16-step reduction chain, 4 Z3-verified theory files. View source (.kleis)

Why Morphology Does Not Matter: Forced Localization and Shell Mass Bounds Near Navier–Stokes Singularities

Shows that near-singular vortex structures are forced into thin shells regardless of their morphology. Machine-verified shell mass bounds. View source (.kleis)

GRAND FINALE The Self-Undermining Singularity: Unconditional Regularity of 3D Navier-Stokes Solutions

Proves that smooth Navier-Stokes solutions remain smooth for all time. 214 machine-verified examples across 23 theory files, 153 Z3-verified theorems. 33 pages. View source (.kleis)

EPILOGUE The Kernel and the Fluid: Navier-Stokes Regularity as Projected Ontology

The Biot-Savart kernel K(x) = x/(4π|x|³) is a concrete instance of POT's Green's function projection. The framework reduces to four statements. 8 pages. View source (.kleis)

φ⁴ One-Loop: Convergent Integrals Without Infinities

Demonstrates renormalization of φ⁴ scalar field theory using convergent Feynman parameter integrals. No subtraction of infinities — the first concrete instantiation of POT at loop level. 18 worked examples. View source (.kleis)

QED Vacuum Polarization: The K-Q Architecture with Gauge Constraints

Extends the K-Q framework to QED with the Ward identity and fermion loops. Shows how gauge symmetry reduces ker(Q) by providing canonical normalization. 15 worked examples. View source (.kleis)

Yang–Mills One-Loop Gluon Self-Energy: Ghosts, Asymptotic Freedom, and Null-Space Activity

Tests the K-Q architecture against non-abelian gauge theory. Demonstrates that the ghost sector contributes to β₀ through Q∘K, even though ghosts are in ker(Q). 14 worked examples. View source (.kleis)

Ghost-Mediated Null-Space Activity Theorem

Ghost sector contributes nontrivially to observables through Q∘K if and only if the gauge algebra is non-abelian (f^abc ≠ 0). Constructive proof by abelian/non-abelian comparison. 17 Z3-verified results. View source (.kleis)

Gauge Dependence and the Boundary of Ghost Activity

Stress-tests the ghost activity theorem across gauge-fixing schemes. Ghost activity is representation-local; its effect on observables is representation-invariant. 16 Z3-verified results. View source (.kleis)

The Structural Atlas of ker(Q)

Classifies six types of null-space structure with loop-order stability as a new structural property. Discovers that ker(Q) is not loop-order-stable — anomalous migration crosses the observable boundary. 24 Z3-verified axioms. View source (.kleis)

The Abstract K-Q Framework: Kernels, Projections, and Null-Space Structure Across Domains

Domain-independent (K, Q) structure instantiated across Feynman, Biot-Savart, exterior derivative, spinor projection, and logarithmic Green's function kernels. Introduces the gap K¹(ker(Q)) ∖ ker(K) and the admissibility boundary. 24 Z3-verified axioms. View source (.kleis)

The Path Integral as Kernel Decomposition: Picard–Lefschetz Theory in the K-Q Framework

Interprets the Feynman path integral as a K-factorization over Lefschetz thimbles. Stationary phase is the projection mechanism Q; resurgent relations are null-space activity; Stokes jumps are factorization rearrangements. Multiple K-representations (operator, Euclidean PI, Lorentzian PI, lattice) become fibers over a shared observable quotient. 24 Z3-verified results. View source (.kleis) Theory file (.kleis)

VOLUME XII Projection Stability of Coupling Constants: Why α_s Cannot Be Otherwise

Derives coupling constants as projection-stability parameters constrained by locality-preserving kernel dynamics. The dimensional-transmutation/self-consistency loop saturates at a unique fixed point; the thimble-comb isomorphism (unitarity ↔ antisymmetry) upgrades thimble dominance to a spectral-gap theorem. 57 Z3-verified results across two theory files. View source (.kleis)

Independence as Non-Invariance: Detecting Undecidability via Projection Fibers in SMT-Backed Shadow Theories

Shadow theories as Skolemized projections of rich theories. Independence = non-invariance on projection fibers. Case study: Continuum Hypothesis independence detected by Z3 in under 30 seconds. 46 machine-verified results. View source (.kleis)

Observable Bounds on Ontological Dimension: A Constructive Consequence of Projection Fiber Theory

Inverts the epistemic boundary: computes a lower bound on ontological degrees of freedom from observations. The Fiber Dimension Theorem: |Fib(o)| ≥ 2ⁿ. All results Z3-verified. View source (.kleis)

Theory Selection and Divergence Kernels Across Domains

The Divergence Kernel — the minimal set of predicates separating two theories over a shared ontology. Demonstrated across set theory, international law, music, and chess. Truth is a property of the pair (object, theory). All examples Z3-verified. View source (.kleis)

The Wobble Invariant and the Greene–Lobb Rectangle Sweep: A Computational Study of the Toeplitz Inscribed Square Conjecture

Introduces the wobble invariant W(θ) for inscribed squares. Over 70 machine-checked examples, 9 Z3-verified structures, 70 Kleis functions. Identifies the precise obstruction structure. View source (.kleis)

Schanuel’s Conjecture as a Hidden-Collapse Budget Problem

Reformulates Schanuel’s conjecture as a budget constraint on hidden algebraic collapses. Z3-verified structural results. View source (.kleis)

The Beauty is in the Skolems: Formal Music Theory as Model Construction

Musical composition as model construction over formal axioms. TonalHarmony theory (7 axioms) verified against Beethoven’s Moonlight Sonata (Op. 27 No. 2, measures 1–14). The choice of Skolem witness is the irreducibly human act. View source (.kleis)

The Scribe is the Skolem: Formal Philology as Model Construction

Formalizes the non-verbal fragment of Middle Egyptian grammar (Lessons 1–8 of Allen’s textbook) as 125 axioms. Verified against 32 sentences from the Tale of Sinuhe. Z3-backed disambiguation computes admissible parse sets: the same surface form nb yields opposite Skolem witnesses in different constraint contexts. Includes lacuna reconstruction and solver traces as first-class evidence. View source (.kleis)

Strategy as Theorem: Deriving Optimal Feedback Laws from Bellman-Invariant Bases via Operator Iteration

A mechanizable pipeline that derives optimal game strategy from rules alone — no training, no human strategic input, and no search over the game tree. Discovers a minimal Bellman-invariant basis via discrete Krylov iteration and synthesizes closed-form feedback laws via SMT solver. Demonstrated on Tic-Tac-Toe. Z3-verified. View source (.kleis) Krylov iteration (.kleis) Synthesis (.kleis) Bellman (.kleis)

Consistent, Obstructed, Underdetermined: A Machine-Verified Audit of Geometric Unity

Formalizes Eric Weinstein’s Geometric Unity as typed Kleis structures with Z3 satisfiability checking. 46 queries across three layers: core consistency (16/16 SAT), machine-verified obstructions (8/8), and independence of predictions from axioms (22/22 SAT). The Shiab operator is mathematically impossible; the predictions are logically disconnected from the framework. View source (.kleis)

The Observerse is a Krein Space: A Control-Theoretic Obstruction to Geometric Unity

Identifies GU’s observerse as a finite-dimensional neutral Krein space and the Shiab operator as belonging to the obstruction class of J-contractive operators. The primary result—a standalone dimensional obstruction (91 ≠ 364)—is independent of the control-theoretic framing. Proposes a general admissibility framework for operators on indefinite-metric spaces. View source (.kleis)