P12: Sharp orders of arithmetical critical groups via canonical lattice simplices

AI-generated mathematical research draft. Not peer reviewed or independently verified by human experts.

Full Markdown · Read the PDF · LaTeX source · Collection · How to cite

Claimed contribution

Sharp all-simple-graph bound and the star/complete-graph conjecture

The manuscript contains the full hypotheses, arguments, and references. Its claims of conjecture resolution, novelty, and correctness remain subject to human mathematical assessment. The AI-agent checks performed during preparation are not journal peer review or independent human verification. Corrections and prior-art references are welcome through repository issues.

Provenance and supporting files

Prepared with OpenAI Codex and collaborating AI agents on September 8, 2026, including AI-assisted problem selection, proof construction, literature searches, verification scripts, and manuscript drafting. The GitHub account hosting this collection is not presented as evidence of mathematical authorship or validation.

The PDF has 5 pages. The uploaded PDF and TeX are byte-identical to the corresponding local draft version; hashes are recorded in the manifest. Supporting scripts and recorded results are included where available. Read the reproduction instructions, especially the proof-dependent finite certificates in P11.