Dasappa et al.'s congruence conjecture for the restricted partition function K

From papers

Let K(n)K(n) be defined by its generating function

n0K(n)qn=f12f22f72f142,\sum_{n\geq 0}K(n)q^n=f_1^2f_2^2f_7^2f_{14}^2,

where fk=(qk;qk)f_k=(q^k;q^k)_\infty and (a;q)=i0(1aqi)(a;q)_\infty=\prod_{i\geq 0}(1-aq^i). Dasappa et al.'s conjecture. For all n0n\geq 0 and α1\alpha\geq 1, we have

K(7αn+7α2)0(mod7α).K(7^\alpha n+7^\alpha-2)\equiv 0 \pmod{7^\alpha}.

This conjecture concerns an infinite family of congruences for a restricted color partition function introduced by Pushpa and Vasuki. The source paper states that it proves this conjecture.

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

Hemjyoti Nath and Manjil P. Saikia, “Arithmetic properties of partition functions introduced by Pushpa and Vasuki”, arXiv:2509.08801 (2025).

Solutions 0

No solutions have been posted yet.