Efficient Computation and Congruences for Colored Partition Functions
arXiv:2609.32033
Abstract
For a positive integer , let denote the number of -colored partitions of . The Rademacher-type expansion of Iskander, Jain, and Talvola is valid for every real , but when it involves several polar terms and a two-parameter family of exponential sums . For integral , we prove multiplicativity and prime-power reduction formulas for these sums, expressing their local factors as classical or quadratically twisted Kloosterman sums. Together with explicit truncation and precision bounds, these formulas yield an efficient algorithm for computing exactly. Our SageMath implementation computes the 1,113,767-digit integer in less than one hour. As an application, we use the algorithm to certify new Ramanujan-type congruences.
arXiv comment19 pages, Comments welcome!