The Simplicial Geometry of Integer Partitions: An Exact O(1) Formula via Ak-1 Root Systems

Abstract

We present a structural resolution to the exact evaluation of the partition function pk(n), systematically overcoming the limitations of traditional recursive and asymptotic methods. By framing the partition polytope Pn,k 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 pk(n) is identically O(1) with respect to n. Furthermore, we formally address the spatial complexity bottleneck for astronomically large k by introducing a spatial memory reduction theory via Sylvester-Ramanujan waves, reducing the memory footprint to strictly O(k). We additionally extend this structural framework to the unrestricted partition function p(n), deriving an exact O(n) 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 σ(n) and an exact non-recursive polyhedral closed form for the prime-counting function π(x). In doing so, we formally identify a unique geometric basis of Ehrhart quasi-polynomials bridging continuous polyhedra and discrete arithmetic.

0

Turn this paper into a lesson

ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.

Discussion (0)

Sign in to join the discussion.

Loading comments…