operator-algebras

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

Lean 4 proofs: sequential-product classification on real and complex Hermitian matrices, Albert's power-associativity theorem, and the real non-bijective Wigner theorem.

Publication list

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

Quantum Groups Seminar

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.

Exact finite certification of quantum correlations: NPA rank loops, computability, noncomputable certificate horizons, and effective closure.

States on C*-algebras and the GNS construction

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.

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.

Personal website

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