A PRIVATE RESEARCH COLLECTIVE

TOABFEM

We publish what others cannot prove.

Foundational papers. Systems born from proof. No compromises. No committees.

ANNALS OF MATHEMATICS
JOURNAL OF THE ACM
INVENTIONES MATHEMATICAE
THE ARCHIVE

Published Works

Each paper is a completed act of thought. We release nothing until it is both beautiful and true.

Annals of Mathematics2024

Persistent Homology of Latent Manifolds in Overparameterized Networks

E. Voss, C. Vale, S. Kael

We establish a rigorous correspondence between the persistent homology of activation manifolds in wide neural networks and the topological invariants of the data-generating measure. The result yields the first non-asymptotic generalization bounds controlled by intrinsic topological complexity rather than parameter count.

Featured in Quanta Magazine
Journal of the ACM2023

A Categorical Framework for Cryptographic Protocol Composition

C. Vale, E. Voss

We introduce the notion of a cryptographic 2-category in which protocols are 1-morphisms and simulators are 2-cells. This structure yields a sound and complete graphical language for reasoning about sequential and concurrent composition, resolving several long-standing open problems in simulation-based security.

Best Paper, CRYPTO 2023
Inventiones Mathematicae2023

The Geometry of Emergent Computation in Distributed Systems

S. Kael, E. Voss, C. Vale

We prove that any sufficiently large network of locally interacting agents equipped with finite memory converges to a global attractor whose geometry is completely classified by a single sheaf cohomology class. The theorem unifies prior results on cellular automata, swarm intelligence, and distributed consensus.

2024 Clay Research Award
Advances in Mathematics2022

Singular Learning Theory for Structured Data

E. Voss, S. Kael

Extending Watanabe’s singular learning theory to data supported on stratified spaces, we derive the exact asymptotic form of the Bayesian generalization error for models whose parameter space contains algebraic singularities of arbitrary codimension. Applications include deep linear networks and tensor decomposition.

ICML 2022 Outstanding Paper
Geometric and Functional Analysis2022

Topological Obstructions to Efficient Inference

C. Vale, S. Kael

We demonstrate that for any statistical model whose parameter space is not contractible, there exist data distributions for which the minimax risk of any estimator is bounded away from the Cramér–Rao lower bound by a topological constant. The obstruction is sharp and realized by natural families arising in representation learning.

ALL PAPERS PEER-REVIEWED • OPEN ACCESS UPON PUBLICATION
EXECUTED VISIONS

Previous Works

Theory realized as production systems. Every artifact below began as a line in one of our papers.

TOABFEM LATTICE v4.2 — PERSISTENT HOMOLOGY
PERSISTENCE DIAGRAM
β₁ = 14 • β₂ = 3
TOABFEM Lattice
Interactive Manifold Explorer
2024

Real-time persistent homology computation and visualization. Used by research teams at Stanford, ETH Zürich, and the Simons Institute.

EXPLORE SYSTEM
SIGIL PROTOCOL AUDITOR — SESSION 8841-A
PROTOCOL • CHAN
INITIATOR → RESPONDER
1. commit(x) ✓
2. challenge(r) ✓
3. response(z) ✓
4. verify — SIMULATABLE
SECURITY REDUCTION
2−128
Advantage against any PPT adversary
PROOF COMPLETE • 17 LEMMAS
LAST VERIFIED 11 MINUTES AGO
SIGIL
Formal Protocol Auditor
2023

A proof assistant and visual debugger for simulation-based cryptographic security. Adopted by three national security laboratories.

EXPLORE SYSTEM
TOPOS • SHEAF COHOMOLOGY STUDIO
H¹(X, F) = ℤ³
STRATUM • 7
SECTIONS • 41
TOPOS
High-Dimensional Geometry Suite
2023

Production-grade sheaf visualization and cohomology computation platform. Deployed for large-scale scientific data at two national labs.

EXPLORE SYSTEM
RESONANCE v3 — EMERGENT DYNAMICS
AGENTS 240
AGENTS 310
AGENTS 380
AGENTS 450
Resonance
Emergent Dynamics Simulator
2022

The open-source implementation of our Inventiones paper. Now the reference simulator for distributed collective behavior research worldwide.

EXPLORE SYSTEM
COHOMOLOGICAL INFERENCE — LIVE COMPANION
Theorem 3.2 (Main)
Let M be a compact stratified space of depth ≤ 2. Then the Bayesian generalization error admits the asymptotic expansion...
λ = (d − k + β) / 2
where β is the real log canonical threshold
ALL BOUNDS LIVE • DRAG SLIDERS TO VARY λ
Cohomological Inference
Living Paper Environment
2024

An interactive companion to our Annals paper. Every theorem, diagram, and bound is live-computed and explorable directly in the browser.

EXPLORE SYSTEM
THE COLLECTIVE

We are three people.
We answer to no one.

No grants. No departments. No performance metrics. Only the work.

FOR THOSE WHO STILL BELIEVE IN DEPTH

Begin a conversation with TOABFEM.