Sun's perfect-power repulsion conjecture for the partition function

From papers

Let p(n)p(n) denote the number of unrestricted integer partitions of nn, with p(0)=1p(0)=1. An integer is a perfect power if it has the form mkm^k with integers m2m\ge 2 and k2k\ge2. For fixed k2k\ge2, define the distance from p(n)p(n) to the nearest kkth power by

Δk(n):=minm0p(n)mk.\Delta_k(n):=\min_{m\ge0}|p(n)-m^k|.

Sun's perfect-power repulsion conjecture. The partition function p(n)p(n) repels perfect powers in the following senses: (i) for every n2n\ge2 and k2k\ge2, p(n)mkp(n)\neq m^k for all integers m2m\ge2; and (ii) for every k2k\ge2 and d0d\ge0, only finitely many nn satisfy Δk(n)d\Delta_k(n)\le d.

The first assertion is Sun's original no-perfect-powers conjecture, while the second is the stronger perfect-power repulsion conjecture developed with later generalizations by Merca et al. The paper supports these conjectures through analogous finiteness results for restricted partition functions pB(n)p_B(n), rather than proving the stated claims for p(n)p(n) itself.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Ken Ono, “Partition functions that repel perfect-powers”, arXiv:2510.19164 (2025).

Solutions 0

No solutions have been posted yet.