Skip to content
DraconiticResearch
Search Sources API
203,952 studies31 sourcesUpdated 20 min ago
PreprintCC BY 4.0Zenodo

The Profile Calculus: An Axiomatic Certification Framework for the ω ≤ 9/4 Matrix-Multiplication Exponent

  • Mark Winston
Open at sourcePDFDOICite

Abstract

This record contains The Profile Calculus, an axiomatic certification framework and independent mathematical audit establishing the bound ω ≤ 9/4 for the exponent of complex matrix multiplication. Reconstructing and consolidating the foundational developments of the OpenAI Mathematics Collection, this work formalizes the asymptotic proof into a reusable, modular calculus.

Related

  1. 构造数学认证标准:公理化构造的评价框架 / Constructive Mathematics: A Certification Standard for Axiomatic Constructions
    Chao Qin
    Zenodo (CERN European Organization for Nuclear Research)Peer-reviewedCC BY9 citedOpenAlex
  2. The Causal Operator Learning System (COLS): Unifying Infinite-Dimensional Neural Operators, Functional do-Calculus, and Conservation-Law Generalization within the ZFC Axiomatic Bridge
    Seonggil Lee
    ZenodoPreprintCC BY 4.0Full textZenodo
  3. The Certification Exponent: Instance-Optimal Sequential Certification of Policy Improvement from History Dependent Logs
    Rui Wang
    arXivPreprintCC BY 4.0Full textStatisticsarXiv
  4. The Multiplication Table Near Perfect Squares: Concentration, Typicality, and the Slow Approach to Ford's Exponent
    Michael Ross
    ZenodoPreprintCC BY 4.0Full textZenodo
  5. A novel matrix multiplication framework for modeling genotype-by-environment interaction in genomic prediction
    Osval A. Montesinos-López, Abelardo Montesinos-López, Cricelio Montesinos-Lopez +5
    Frontiers in geneticsPeer-reviewedCC BYFull textGeneral biochemistryEurope PMC

Cite

BibTeXRIS
BibTeX
@misc{winston2026profile,
  title = {{The Profile Calculus: An Axiomatic Certification Framework for the $\omega \le 9/4$ Matrix-Multiplication Exponent}},
  author = {Mark Winston},
  howpublished = {Zenodo},
  year = {2026},
  month = oct,
  doi = {10.5281/zenodo.23440229},
  url = {https://zenodo.org/records/23440229},
  note = {CC BY 4.0},
}
RIS
TY  - UNPB
TI  - The Profile Calculus: An Axiomatic Certification Framework for the ω ≤ 9/4 Matrix-Multiplication Exponent
AU  - Mark Winston
PY  - 2026
DA  - 2026/10/17
PB  - Zenodo
DO  - 10.5281/zenodo.23440229
UR  - https://zenodo.org/records/23440229
AB  - This record contains The Profile Calculus, an axiomatic certification framework and independent mathematical audit establishing the bound ω ≤ 9/4 for the exponent of complex matrix multiplication. Reconstructing and consolidating the foundational developments of the OpenAI Mathematics Collection, this work formalizes the asymptotic proof into a reusable, modular calculus.
ER  -