operator-algebras

Mathematica code to convert OPEs to commutation relations in 2d CFT.

Machine-verified foundations for quantum field theory in Lean 4 (ACMD) — 3,323 kernel-checked theorem declarations. Every claim tiered; kills published next to the proofs.

Lean 4 (v4.34.1 / Mathlib) formalization of noncommutative information geometry, Peirce-Weyl units, Drazin-Moore-Penrose spectral splittings, Jordan-Lie operator algebras, and categorical inductive colimits.

Paper V of Statistical Pharmacology via Kakutani Dichotomy: the chemical obstruction group Xi_beta^drug(S) = (Z/2Z)^{A_beta}, Borel-Cantelli tail order parameters, parity-cocycle invariance, and the relative-entropy staircase |A_beta| ln 2. Code, data, figure, LaTeX source and PDF.

Exact tensor-product and commuting-operator I3322 quantum supremum with finite-dimensional nonattainment and independently replayable certificates.

Publication list

Quantum Groups Seminar

Mathematical framework connecting surjective group homomorphisms to quantum error correction via Type II₁ von Neumann algebras. Derives code distance bounds from algebraic structure and validates with computational examples.

Preprint: Infinite Projections in Full Group C*-Algebras of S-Arithmetic Groups

Mathematical work by Jared D. Dunahay (AEO Trivector LLC). Monorepo for published math-ph papers, code, and verification suites.

A geometry-first physics research program: the complete, adversarially-audited record of the bet that physics is the geometry of a 3-manifold (time emergent as modular flow) — including the honest negative result and the standalone Heegaard Floer d-invariant math that stands on its own.

Lambda: A Mathematica-package for operator product expansions in vertex algebras

Nets of local algebras and the quasi-local algebra of a lattice of quantum systems, formalized in Lean 4 over Mathlib

States on C*-algebras and the GNS construction

Personal website

Edisi lengkap Bahasa Indonesia: Functional Analysis and Operator Algebras karya John M. Erdman, dengan solusi dan reader semantik