中文

整数分区的单纯几何:通过$Ak-1$根系的精确$O(1)$公式

组合数学 2026-03-17 v4 度量几何 数论

摘要

我们提出了对分区函数pk(n)p_k(n)进行精确求值的结构性方法,系统性地克服了传统递归与渐近方法的局限。通过将分区多面体Pn,k\mathcal{P}_{n,k}置于有理多面体理论与Ehrhart染色框架中,我们证明其离散体积恰由几何单纯性谱分解精确捕获。我们建立了有理结构定理,表明谱权的生成函数是定义在循环域上严格的有理函数。通过在复单位根上的部分分式分解,我们推导出严格闭形式、非迭代的数学公式(紧凑Bonelli恒等式)。这严格证明了评估pk(n)p_k(n)的严格算术复杂度相对于nn恒为O(1)O(1)。进一步,我们通过引入Sylvester-Ramanujan波,正式解决了在 astronomically 大kk下的空间复杂度瓶颈,将内存占用严格降低至O(k)O(k)。我们 additionally 将该结构框架推广至无限制分区函数p(n)p(n),推导出通过Durfee平方的精确O(n)O(\sqrt{n})闭形式,并在其渐近极限中建立欧拉多边数定理的几何基础。最终,我们显式地将该加法框架转化为乘法数论,提取除函数σ(n)\sigma(n)的几何表达,并为素数计数函数π(x)\pi(x)建立精确非递归的多面体闭形式。在此过程中,我们正式识别出唯一的几何基:Ehrhart准多项式,桥接连续多面体与离散算术。

关键词

引用

@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}
}

备注

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