The Simplicial Geometry of Integer Partitions: An Exact $O(1)$ Formula via $A_{k-1}$ Root Systems
Abstract
We present a structural resolution to the exact evaluation of the partition function , systematically overcoming the limitations of traditional recursive and asymptotic methods. By framing the partition polytope within the theory of rational polytopes and Ehrhart foliation, we prove that its discrete volume is exactly captured by a geometric Simplicial Spectral Decomposition. We establish the Rational Structure Theorem, demonstrating that the generating function of the spectral weights is a proper rational function defined rigorously over cyclotomic fields. Through partial fraction decomposition over complex roots of unity, we derive a strictly closed-form, non-iterative mathematical formula (The Compact Bonelli Identity). This rigorously proves that the strict arithmetic complexity of evaluating is identically with respect to . Furthermore, we formally address the spatial complexity bottleneck for astronomically large by introducing a spatial memory reduction theory via Sylvester-Ramanujan waves, reducing the memory footprint to strictly . We additionally extend this structural framework to the unrestricted partition function , deriving an exact closed form via Durfee squares, and establish its asymptotic limit as the geometric foundation of Euler's Pentagonal Number Theorem. Finally, we explicitly translate this additive framework into multiplicative number theory, establishing a geometric extraction of the divisor function and an exact non-recursive polyhedral closed form for the prime-counting function . In doing so, we formally identify a unique geometric basis of Ehrhart quasi-polynomials bridging continuous polyhedra and discrete arithmetic.
Cite
@article{arxiv.2602.03162,
title = {The Simplicial Geometry of Integer Partitions: An Exact $O(1)$ Formula via $A_{k-1}$ Root Systems},
author = {Antonio Bonelli},
journal= {arXiv preprint arXiv:2602.03162},
year = {2026}
}
Comments
31 pages, 3 figs, 7 tables. Major expansion: analytic Faulhaber-Ehrhart resolution for strict O(1) restricted partitions $p_k(n)$, exact $O(\sqrt{n})$ Durfee-Ehrhart form for unrestricted $p(n)$, and non-recursive Wronski-Newton determinantal form for prime-counting $\pi(x)$. Appendices upgraded with exact-rational Python solvers proving O(1) execution and memory decoupling