Fixed-perimeter inequality for parts divisible by and repeated at least k times

Let FOj,k(n)FO_{j,k}(n) be the number of partitions of nn with exactly jj parts divisible by kk, and let FDj,k(n)FD_{j,k}(n) be the number of partitions of nn with exactly jj parts appearing at least kk times. For j0j\geq 0 and k2k\geq 2, the fixed-perimeter inequality conjecture.

FDj,k(n)FOj,k(n)FD_{j,k}(n)\geq FO_{j,k}(n)

for sufficiently large nn.

The equality FOj,2(n)=FDj,2(n)FO_{j,2}(n)=FD_{j,2}(n) is known for all nn, but for k2k\geq 2 the two quantities are not equal for all nn in general. The stated inequality is supported by computational evidence and concerns the eventual comparison for general kk.

Sources & referencesView supporting material

Primary source

Gabriel Gray, Emily Payne, Holly Swisher and Ren Watson, “Fixed perimeter analogues of some partition results”, arXiv:2502.12394 (2025).

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.