Skip to main content

Advancing Understanding
Through Research

Our research program emphasizes theoretical consistency, explicit assumptions, and testable predictions in mathematical and physical models. Current work includes formal analyses of cross-domain models and related experimental designs.

We pursue understanding of the natural world as an act of stewardship — believing that the mathematical order underlying creation invites careful, honest inquiry.

All proceeds from this research — including any prizes or awards — are directed to Legacy Alliance to fund open research programs and educational access. No individual receives personal financial benefit.

Hanners Theorem Formalization

Foundation manuscript establishing discrete eigenstates and mass gaps in non-Abelian gauge theories via entropy minimization. Two-track proof (gauge-theoretic + information-theoretic) converging on three principal results: fixed-point existence, NHIM convergence, and Condition C source identification. A3 closed in all seven domains.

View Publication

Harmonic Coherence

Harmonic Coherence is a research framework that links General Relativity, Quantum Mechanics, and the Standard Model through nested temporal coherence. Program materials include a formal derivation, stated limitations, and experimental proposals.

View Research Program

Separation of P and NP

Proof that P ≠ NP via two independent obstructions: structural completeness through Post–Schaefer–manifold exhaustion, and computational intractability via self-reducibility and approximate-counting hardness. Non-relativizing, non-algebrizing, evades the natural proofs barrier. 69 replication tests PASS.

View Publication

Resolution of the Riemann Hypothesis

Unconditional resolution via entropy minimization within the Harmonic Coherence framework. Three-step proof: Z2 symmetry locates the critical point, Voronin universality + Selberg CLT prove strict convexity, coherence defect instability excludes off-line zeros. 22 replication tests PASS.

View Publication

A Proof of the Hodge Conjecture

Proof that every rational (p,p)-Hodge class on a smooth projective variety is algebraic. Induction on codimension via Lefschetz primitive decomposition, Hodge–Riemann bilinear relations, and the CER identity. 595 tests across K3 surfaces, abelian varieties, Grassmannians, and Calabi–Yau 3-folds — all PASS.

View Publication

Birch & Swinnerton-Dyer Conjecture

Three theorems: rank equivalence (ords=1 L(E,s) = rank E(ℚ)) via the CER-NHIM chain, finiteness of the Tate–Shafarevich group, and BSD leading coefficient identification. Non-constructive proof circumventing the rank ≥ 2 Euler system barrier. 87-test phase-sweep battery PASS.

View Publication

Yang–Mills Existence & Mass Gap

For any compact simple gauge group G, existence of quantum Yang–Mills on ℝ4 with Wightman axioms and mass gap Δ > 0. Seven-theorem chain via HC: R1–R4 regularity, NHIM convergence, spectral gap, volume uniformity, phase-sweep, Fenichel continuum limit, and OS reconstruction. SU(2) and SU(3) verified.

View Publication

Navier–Stokes Existence & Smoothness

Resolution of Clay Millennium Problem Statements (A) and (B). Nine theorems form a closure chain from the informational entropy functional through log-Sobolev concentration and Prodi–Serrin regularity to global smoothness of classical Navier–Stokes, with extensions to compressible flows, rough data, and stochastic forcing.

View Publication

Resolution of Beal's Conjecture

Ax + By = Cz with x, y, z > 2 has solutions only if gcd(A,B,C) > 1. Four-step proof via entropy displacement, Ln norm convergence, CER mutual information, and spectral gap closure. Uses Faltings' theorem and Wiles' FLT. 65-test replication battery PASS.

View Publication

HC Reconciliation

Master reference document reconciling quantum dynamics, semiclassical gravity, and entropy-constrained evolution into a unified framework. Introduces the coherence tensor Cμν, entropy-descent closure, and explicit falsifiable test channels in precision clocks, vacuum systems, and GW residual analysis.

View Publication

HC Fixed-Point Theorem

Formal dynamical-systems foundation for the entire HC corpus. Defines the evolution map ℱ, regularity conditions R1–R4, proves fixed-point existence via LaSalle invariance, and defines Condition C (sub-Shannon compression). NHIM extension covers the non-degenerate case first measured in the transformer boundary study.

View Publication

Contextual Entropy Reduction

Proves that hierarchical context reduces predictive entropy in finite mixture models in expectation under a conditional-independence assumption (M1). Includes strictness diagnostics, softmax parameterization, M1 violation analysis, and a reproducible worked example with 119 passing tests.

View Publication

Transformer Boundary Case (Paper A)

First empirical boundary-case study in the HC corpus. Seven contraction formulations fail on transformer dynamics; NHIM generalization recovers admissibility with normal-bundle contraction ρN = 0.73 on a low-dimensional invariant manifold (k* = 2). Retires α ≈ 0.72 as universal constant.

View Publication

Bridge Synthesis (Paper C)

Formalizes B1–B3 bridge assumptions connecting the proved HC entropy identity to domain-specific observables. 45-row corpus audit identifies bridge incompleteness as the dominant failure mode. Two empirical channels validated: GW ringdown (κM, 382 NR sims) and transformers (ρN = 0.730). Nine-domain NHIM corpus.

View Publication

Bridge Note: Hanners Theorem → HC

Formalizes a dependency-safe path from the proved CER identity to broader Harmonic Coherence modeling claims via nested temporal layering. Three-layer architecture (proved, assumed, conditional) with quantitative falsifiability tests for bridge assumptions B1–B3.

View Publication

Theory Foundations

Review the mathematical structure behind Harmonic Coherence, including assumptions, notation choices, and consistency checks.

Explore Theory

Experimental Program

Follow current experiment concepts, measurement contexts, and falsifiability criteria tied to the framework.

View Experiments

Research Collaboration

We welcome discussion with researchers, reviewers, and institutions interested in replication, formal critique, and joint study design. Public contact options are currently unavailable.

Join the Program