All work
PhysicsResearch . 5 papers, 3 on arXiv

Substrate Geometry

A research program that classifies shapes by what they guarantee under physical operation rather than by their symmetry. The working hypothesis: the oloid, a 3D shape discovered in 1929, is an optimal geometric primitive for rolling contact under stress.

01

The thesis

Most geometric primitives used in engineering (cylinder, sphere, torus) were selected because they're easy to parameterize, easy to machine, and have closed-form contact solutions. None of those reasons is about physical performance under load. They're about computational and manufacturing convenience.

The oloid -- a 1929 shape constructed from two perpendicular circles of equal radius with the shared tangent line -- doesn't look like the kind of thing you'd pick for a bearing. But when you feed it through the oracle stack using the single-arc methodology, it outperforms cylinders by 25x on thermal advantage alone, with corresponding improvements in contact distribution, peak Hertz stress, and wear progression.

The interesting claim isn't just "the oloid is good." It's that we've been picking engineering primitives for the wrong reasons and that a systematic shape-classification framework based on physical invariants would produce very different defaults.

02

The oracle stack

Seven physics-based oracles evaluate each candidate geometry independently. Contact distribution (how the load spreads). Hertz stress (peak contact pressure). Thermal (how heat flows at the interface under repeated contact). Wear (volume loss per cycle under the Archard model). Fatigue (cycles to crack initiation). Two further oracles complete the stack; all seven are specified in the preprints.

Each oracle is a physics simulator in its own right, independently validated. The parametric search runs 1,430 variants through all seven and produces a two-tier invariant vector: four linear metrics that cluster tightly at 8×10⁻⁷, and three nonlinear fatigue metrics that diverge sharply. That divergence is the proof that the winning geometry is doing something that isn't reducible to the linear metrics - which is the interesting finding.

03

Current state

Five papers are now in the program. Three are live on arXiv: the developable-roller study (where the oloid surfaces as a local optimum), the engineering evaluation of the mono-monostatic catalog, and the Gomboc catalog paper. Paper I was endorsed on arXiv by Georg Nawratil (TU Wien). He came into it because Hellmuth Stachel, Professor Emeritus at TU Wien and one of the few living geometers to have published on the oloid, read the work, engaged with it, and referred it to Nawratil when his own arXiv category did not qualify him to endorse. Stachel also pointed me toward the grandson of Paul Schatz, who first constructed the oloid in 1929. Having two senior TU Wien geometers take the work seriously validated the direction more concretely than any single review could.

The remaining two papers are on a journal-first track. The methodology paper, which operationalizes the pre-commit + cascade + audit-trail discipline as a reusable cross-domain method, is under review at the SMAI Journal of Computational Mathematics (diamond open access). The TPMS thermal paper, carrying the 25.6x mean-temperature result, is under review at Elsevier Results in Engineering, with a durable SSRN preprint public. The frozen Paper I codebase in core/ is never edited -- it serves as the canonical reference implementation.

04

Why it matters

The bigger goal here is not one clever shape. It is a way of choosing the geometric building blocks that go into real engineering substrates: bearings, rollers, heat-exchanger channels, anything where a surface meets a load or a flow. If the primitives we default to were chosen for convenience rather than performance, then a systematic, physics-first classification should turn up better ones.

The oloid is the first proof of that. The 25.6x thermal result on a TPMS channel is the second, in a completely different regime. The program keeps testing the same question against new substrates: pick the shape by what it guarantees under real physical operation, and see how much performance was being left on the table by picking it for convenience instead.

05

Open invitations

The Substrate Geometry repository is public at github.com/gyapaganda-a11y/substrate-geometry under MIT license. CONTRIBUTING.md lists what kinds of extensions are welcome and where coauthorship on the next paper is on the table.

Specifically, three thresholds are named for coauthor invitation: a member #14 of the mono-monostatic catalog, the analog for a related body family (constant-width Reuleaux solids, non-developable rollers, etc.), or a substantive new invariant validated against an existing primitive at the precision documented in the methodology paper.

The repository also ships CITATION.cff for software citation and four issue templates (replication question, citation or acknowledgment, collaboration inquiry, bug report). Replication of any catalog member is welcomed and acknowledged.

All papers in the program are listed on the arXiv author page: arxiv.org/a/couey_v_1.html. Threads on individual papers and replication observations are at x.com/VincentCouey.

Papers

The program in print

Three preprints are live on arXiv; the methodology paper and the TPMS thermal paper are under peer review at journals (the SMAI Journal of Computational Mathematics and Elsevier Results in Engineering respectively). Each card primary-links to Harvard ADS when ADS has indexed the paper, arXiv otherwise; the inline preview pulls the hosted PDF directly.

PreprintarXiv · 2026arXiv:2604.12238

Computational Validation of the Oloid as a Local Optimum in the Developable Roller Family

A 1,430-variant parametric search across the developable roller family identifies the oloid as a local optimum under a seven-oracle physics stack. Two-tier invariant vector resolves four linear metrics clustering at 8×10⁻⁷ and three nonlinear fatigue metrics that diverge sharply — evidence the winning geometry does something irreducible to linear contact mechanics.

PreprintarXiv · 2026arXiv:2604.17120

Sloan's Analytical Gömböc Does Not Produce Mono-Monostatic Bodies: Computational Verification, Extended Construction, and a Thirteen-Member Verified Catalog

Computational verification that Sloan's analytical construction does not yield mono-monostatic bodies under the stated parameterization, followed by an extended construction producing a thirteen-member verified catalog. Each catalog member is independently reproduced from open code.

In ReviewSSRN . Elsevier Results in Engineering, in review · 2026

Surface-Area-Mediated Thermal Performance of Triply Periodic Minimal Surfaces Under Localized Heat Flux: FEniCS Surface-PDE Validation, Single-Arc Evaluation Methodology, and Topological Failure Modes

Triply periodic minimal surfaces (TPMS), characterized by the zero-mean-curvature invariant (H = 0), have been proposed as superior heat-exchange geometries. We evaluate this claim under localized Gaussian heat-flux loading using a FEniCS thin-shell surface PDE, parameterized from plasma-torch arc conditions (20 MW/m^2; h = 10^3 - 10^5 W/m^2/K). Under a new single-arc evaluation methodology, peak temperature at the source-attachment point is geometry-independent (~125 K above ambient at h = 10^5 for all tested geometries), confirming that local source physics, not topology, determines peak thermal concentration. The geometry-dependent quantity is mean surface temperature: Diamond TPMS reduces it by 34x over a hemispherical baseline; gyroid by 26x. Rankings are identical across the 100x cooling range and correlate exactly with total surface area (Diamond > Gyroid > Neovius > Schwartz P). The product of mean temperature and surface area is approximately constant, consistent with surface-area-limited thermal advantage. Not all H = 0 surfaces are suitable for all regimes: under gas cooling, Neovius exhibits stochastic material-limit failure in 2% of source positions due to thermal accumulation at narrow channel junctions, demonstrating that the H = 0 invariant alone does not predict thermal performance. Methodological contributions include analytical mean-curvature validation from TPMS implicit equations and FEniCS surface-PDE convergence characterization.

In ReviewSMAI Journal of Computational Mathematics, in review · 2026

Pre-Commitment and Cascade Discipline for Computational Geometry Oracles: A Reusable Methodology with Worked Examples from the Substrate Geometry Program

Operationalizes the pre-commit + cascade + amendment-of-record + audit-trail discipline used across the Substrate Geometry program as a reusable methodology for cross-domain computational research. Cascade dispositions fire automatically against pre-committed numerical thresholds, and an audit trail records every amendment of record so that findings surface with their pre-commitment structure intact. Includes a discrete-Gaussian-curvature estimator robustness study (uniform versus mixed-Voronoi normalization; libigl cross-implementation reproducibility to 5.9e-12; a preliminary cross-estimator-family comparison) demonstrating the discipline on canonical roller meshes. The Substrate Geometry papers are the worked examples.

PreprintarXiv · 2026arXiv:2604.17095

Computational Construction and Engineering Evaluation of Verified Mono-Monostatic Bodies

Engineering evaluation of the thirteen-member mono-monostatic catalog under the same physics oracle stack used in the developable roller study. Contact distribution, Hertz stress, thermal, wear, and fatigue compared across the catalog to identify which members are physically viable as rolling-contact primitives.