REVIEW 4 major objections 4 minor 8 references
Congruences in fractional partition functions
T0 review · 4 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read The paper proves that fractional partition congruences modulo a prime ℓ lift to modulo ℓ^{ord_ℓ(α−d)}, a power that can be made arbitrarily large by choosing α close to d.
desk verdict Solid extension of Chan–Wang to higher prime-power moduli; the d=14/26 cases lean on unverified Serre eigenform decompositions, but the worked cases and examples carry the paper. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The load-bearing object is the eta function $\eta(\tau)=q^{1/24}(q;q)_\infty$ and its even powers. For d in {2,4,6,8,10,14,26}, a classical result classifies these powers as lacunary: almost all of their Fourier coefficients vanish. More importantly, each $\eta(\frac{24}{\gcd(d,24)}\tau)^d$ is written explicitly as a linear combination of normalized cuspidal Hecke eigenforms; for the primes ℓ allowed in the theorems, the ℓ-th Fourier coefficient of each eigenform is zero, and multiplicativity of eigenform coefficients then forces $a_d(\ell m)=0$ for every m prime to ℓ. This vanishing is what makes the coefficient extraction work: after applying the Frobenius congruence $(q;q)_{\infty}^{\ell^r \alpha}\equiv (q^{\ell};q^{\ell})_{\infty}^{\ell^{r-1}\alpha}\pmod{\ell^r}$, the unwanted terms drop out and only the $p_\alpha(\ell^2 n+r)$ terms remain. The d=2 case uses the same machinery with the periodicity of the sequence $a_2(\ell^i)$ in place of strict vanishing.
What would settle it
For d=14, ℓ=11, take r=4 (so 12·4+7=55 has 11-adic valuation 1) and α=135 (so α−14=121=11²). Compute the coefficient $p_{135}(121n+4)$ for n=0,1,2,…; if any value is not divisible by 11², Theorem 2 is false, and if the first nonzero value is not divisible by 11³, the bound $\operatorname{ord}_{\ell}(\alpha-d)$ is sharp in that case.
Extended reading notes
Core claim
On the paper's own terms, the central discovery is Theorem 2: for d in {4,6,8,10,14,26}, ℓ a d-satisfactory prime, and r satisfying $\operatorname{ord}_{\ell}(\frac{24}{\gcd(d,24)}r+\frac{d}{\gcd(d,24)})=1$, the congruence $$p_\$\alpha$(\$ell^{2}$ n+r)\equiv 0\pmod{\$ell^{{\operatorname{ord}}$_\ell(\$\alpha$-d)}}$$ holds for all n. Since $\operatorname{ord}_\ell(\alpha-d)$ can be arbitrarily large, this is a strengthening of the earlier mod-ℓ congruences. The d=2 case is handled separately: Theorem 3 gives the same shape with the exponent reduced by one, and Theorem 4 removes the restriction $\ell\not\equiv 1\pmod{12}$ by allowing the progression difference to be $\ell^{w+1}$ instead of $\ell^2$. The paper demonstrates sharpness in two worked examples, showing that the modulus cannot in general be raised by an additional power of ℓ.
Load-bearing premise
The argument assumes that each eta power in the list really can be decomposed into modular building blocks whose ℓ-th coefficients vanish at the relevant primes; if any of these decompositions were missing or failed, the coefficient extraction that eliminates the right-hand side would break.
Editorial extensions
If this is right
- For each listed d and each satisfactory ℓ, choosing α with $\operatorname{ord}_\ell(\alpha-d)=K$ yields $p_\alpha(\ell^2 n+r)\equiv 0\pmod{\ell^K}$ for all n, so the modulus can be any prescribed prime power.
- The d=2 results extend the reach to a case absent from the earlier mod-ℓ theorem: for example, $p_{1/13}(25n+7)\equiv 0\pmod{5}$ follows from Theorem 3.
- Theorem 4 shows that even when ℓ fails the d=2 congruence condition, suitable congruences exist after enlarging the arithmetic progression difference from $\ell^2$ to $\ell^{w+1}$.
- The sharpness examples imply the exponent $\operatorname{ord}_\ell(\alpha-d)$ cannot generally be increased: $p_{-1/8}(5)$ is not divisible by $7^3$, so the modulus in that case is exactly $7^2$.
- Together these results turn the earlier mod-ℓ congruences into a prime-power congruence theory for fractional partition functions.
Reading between the lines
- The same coefficient-extraction template should apply to other q-series that factor as an eta power times an ℓ-adically small factor, not just to $(q;q)_\infty^\alpha$; any such factorization would yield analogous prime-power congruences.
- The d=2 periodicity argument gives an explicit bound $w<\ell^{2v}$ on the progression shift in Theorem 4, so the existence statement is constructive and could be converted into an algorithm for producing the congruences.
- Because α can be chosen as $d+\ell^K$ times any rational with denominator prime to ℓ, Theorem 2 implies that for a fixed satisfactory ℓ there are infinitely many distinct rational exponents α, accumulating ℓ-adically at d, each with a congruence modulo $\ell^K$.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies congruences for fractional partition functions p_alpha(n), the coefficients of (q;q)_infty^alpha. Building on Chan-Wang's theorem giving congruences p_alpha(ell n + c) ≡ 0 (mod ell) when ell | a - d b for d in {4,6,8,10,14,26}, the paper uses Serre's explicit decompositions of lacunary eta powers into Hecke eigenforms to lift the modulus to higher powers of ell. Theorem 2 claims p_alpha(ell^2 n + r) ≡ 0 (mod ell^{ord_ell(alpha-d)}) under suitable hypotheses; Theorem 3 gives an analogous result for d = 2 with exponent ord_ell(alpha-2)-1; Theorem 4 drops the 2-satisfactory condition at the cost of a finite choice of w. The paper includes examples intended to show sharpness, including p_{-1/8}(7^2 n+5) ≡ 0 (mod 7^2).
Significance. If the proof is completed, the results are a clean and useful strengthening of the Chan-Wang congruences, and the d = 2 cases are new. The main method is transparent: extract ell-divisible terms from the generating function and use the vanishing of ell-th coefficients of lacunary eta powers together with Hecke multiplicativity. The explicit sharpness examples are valuable and appear to be correctly computed for Theorems 2 and 3. The strengths include the detailed d = 4 and d = 10 arguments, the explicit verification of sharpness, and the honest reliance on the external Chan-Wang and Serre results rather than on fitted constants. The main weakness is that several load-bearing steps for d = 6, 8, 14, 26 and for the v = 1 case are either not written out or are asserted by reference to Serre without the necessary level, Nebentypus, and integrality data.
major comments (4)
- [§3, Proof of Theorem 2 (d = 4 case)] The two-step reduction using Lemma 3 is only valid when v = ord_ell(alpha-d) is at least 2; for v = 1, Equation (9) contains the exponent ell^{v-2} = ell^{-1}, which is not defined. The theorem as stated includes v = 1, so the proof needs a separate argument for this case, for example a direct appeal to Theorem 1 with m = ell n, or a one-step extraction from Equation (6) using the vanishing of a_4(ell m) for ell ∤ m. As written, the displayed proof does not cover all cases claimed in Theorem 2.
- [§2.2, Eqs. (2)-(3) and §3, d = 14 and d = 26 cases] For d = 14 and d = 26, the paper asserts that the displayed linear combinations are normalized cuspidal Hecke eigenforms and that their ell-th coefficients vanish for d-satisfactory ell, but it supplies no level, Nebentypus, normalization check, or a precise citation to the relevant result in Serre. This is load-bearing: the extraction step in the proof of Theorem 2 requires a_d(ell n) = 0 for all n coprime to ell, and that conclusion is obtained exactly from the eigenform decomposition and multiplicativity. Please provide the missing data or a detailed verification of Eqs. (2) and (3), and check the ell-adic integrality of the constants 720√-3 and 32617728 for every d-satisfactory prime, not only the excluded 5 and 11.
- [§2.2 and §3, d = 6 and d = 8 cases] The proof says that 'similar conclusions' hold for d = 6 and 8, citing Martin for the statement that eta(tau)^d are Hecke eigenforms for d in {2,4,6,8,12}. However, the forms actually used in Theorem 2 are eta(4 tau)^6 and eta(3 tau)^8, which are scaled (and twisted) versions of eta(tau)^6 and eta(tau)^8. Martin's theorem as stated does not directly apply to these scaled forms, and the multiplicative property of their coefficients, which is needed to conclude a_6(ell n) = a_8(ell n) = 0 for n coprime to ell, must be justified explicitly.
- [§3, Lemma 4 and Eq. (14)] The recurrence in Eq. (14) is written as a_2(ell^{i+1}) = a_2(ell^i) a_2(ell) - a_2(ell^{i-1}), which assumes that the Nebentypus character of eta(12 tau)^2 evaluated at ell is 1. The text says 'Because chi(2) = 1 from Lemma 2', which appears to be a typo for chi(ell) = 1. More importantly, the level and Nebentypus of eta(12 tau)^2 are not identified, so Lemma 1 cannot be applied without additional information. The recurrence is only needed for non-2-satisfactory primes ell ≡ 1 (mod 12), where the character value is indeed 1, but the proof should state this explicitly and justify the eigenform property of eta(12 tau)^2. Since Lemma 4 is used in both Theorem 3 and Theorem 4, this is a load-bearing gap.
minor comments (4)
- [§1, Example after Theorem 4] The chosen value r = (11 · 13^{12} - 1)/12 is not an integer, because 11 · 13^{12} - 1 ≡ 10 (mod 12); hence the example does not actually produce an arithmetic progression. The example would be valid if 11 were replaced by 1, i.e. r = (13^{12} - 1)/12.
- [§1, Example after Theorem 4] The displayed formula for a_2(13^k) appears to have a sign error: with a_2(13) = -2, the recurrence in Eq. (14) gives a_2(13^k) = (-1)^k (k+1), not (-1)^{k+1}(k+1). The divisibility conclusion a_2(13^{12}) ≡ 0 (mod 13) is unaffected, but the formula should be corrected.
- [Throughout, notation Z(ell)] The notation 'k ∈ Z(ell)' is imprecise; it should be specified as an integer k coprime to ell, or written as k ∈ Z_{(ell)} with the definition given.
- [Theorems 2-4] The statements of Theorems 2-4 do not explicitly mention the standing assumption gcd(ell, b) = 1 from Theorem 5. While ord_ell(alpha-d) ≥ 0 forces this in the nontrivial cases, stating the assumption explicitly would prevent ambiguity, especially for readers checking the well-definedness of congruences modulo powers of ell.
Circularity Check
No significant circularity: the proof extends Chan–Wang via external Serre eigenform decompositions and Hecke multiplicativity, with no fitted parameters or self-citation chain.
full rationale
The derivation chain is not circular. Theorem 2 is proved from two external inputs: Chan and Wang's base congruence (Theorem 1, quoted as [4, Theorem 1.2]) and Serre's explicit lacunary decompositions of eta powers (Equations (1)–(3)), together with standard Hecke eigenform multiplicativity (Lemma 1). The modulus ℓ^{ord_ℓ(α−d)} is not an adjustable parameter fitted to data; it is determined by the fixed rational α and d, and the proof obtains it by repeated application of Chan–Wang's Frobenius congruence lemma (Lemma 3), which is an external result. The extraction steps force the relevant coefficients a_d(ℓk) to vanish because ℓ divides the q-exponent and the eigenform coefficient a_d(ℓ)=0; this is a mathematical consequence of the cited decompositions, not an assumption equivalent to the conclusion. The only noted gaps—the 'similar arguments' for d=14,26 and the unverified-in-paper details of Serre's decompositions—are potential correctness or verification risks in external support, not circularity: the paper does not define the target congruence in terms of itself, does not fit constants, and does not rely on self-citations by the author. Per the rubric, external benchmark results (Serre, Martin, Chan–Wang) count as independent support. Thus the honest finding is no significant circularity.
Assumptions & free parameters
assumptions (7)
- standard math Serre's lacunarity theorem: η(τ)^d is lacunary for d in {2,4,6,8,10,14,26}, with explicit decompositions of η(24/gcd(d,24)τ)^d into Hecke eigenforms.
- standard math Chan-Wang Theorem 1: p_α(ℓ n+r) ≡ 0 mod ℓ for primes ℓ and exponents d in the listed set.
- standard math Chan-Wang Lemma 3: (q;q)^{ℓ^r α}_∞ ≡ (q^ℓ;q^ℓ)^{ℓ^{r-1}α}_∞ mod ℓ^r for ℓ∤denominator.
- standard math Martin's theorem: η(τ)^d is a Hecke eigenform for d in {1,2,3,4,6,8,12,24}.
- standard math Lemma 2 from Carney-Etropolski-Pitman determines the nebentypus character χ(d) for η^d.
- standard math Hecke eigenform coefficient multiplicativity (Lemma 1 in the paper).
- standard math Chan-Wang Theorem 5 gives ℓ-integrality of p_α(n) when ℓ∤b, making congruences modulo ℓ^k well-defined.
Cite this review
Pith. "Pith review of Congruences in fractional partition functions." pith.science (2026). https://pith.science/paper/LRP5YJBD
@misc{pith2026190803937,
author = {Pith},
title = {Pith review of: Congruences in fractional partition functions},
year = {2026},
howpublished = {\url{https://pith.science/paper/LRP5YJBD}},
note = {Machine review of arXiv:1908.03937}
}
abstract
The coefficients of the generating function $(q;q)^\alpha_\infty$ produce $p_\alpha(n)$ for $\alpha \in \mathbb{Q}$. In particular, when $\alpha = -1$, the partition function is obtained. Recently, Chan and Wang identified and proved congruences of the form $p_{\frac{a}{b}}(\ell n + c)\equiv 0 \pmod{\ell}$ where $\ell$ is a prime such that $\ell \mid a -db$ for $d \in \{4, 6, 8, 10, 14, 26\}$. Expanding upon their work, we use the representation of powers of the Dedekind-eta functions in linear sums of Hecke eigenforms and their lacunarity to raise the power of the modulus to higher powers of $\ell$. In addition, we generate congruences for when $d=2$ employing Hecke algebra.
Reference graph
Works this paper leans on
-
[1]
S. Ahlgren and K. Ono, Congruence properties for the part ition function, Proc. Natl. Acad. Sci. USA 98, 12882-12884
-
[2]
A. O. L. Atkin, Proof of a conjecture of Ramanujan, Glasg. Math. J 8, 14-32
- [3]
-
[4]
H. H. Chan and L. W ang, Fractional powers of the generatin g function for the partition function, Acta Arith. 187, 59-80
-
[5]
Martin, Multiplicative η-quotients, Trans
Y. Martin, Multiplicative η-quotients, Trans. Amer. Math. Soc. 348, 4825-4856
-
[6]
K. Ono, The Web of Modularity: Arithmetic of the Coefficients of Modul ar Forms and q-series, American Mathematical Society, Providence, 2004
work page 2004
-
[7]
J. P. Serre, Sur la lacunarit´ e des puissances de η, Glasg. Math. J 27, 203-221
-
[8]
G. N. W atson, Ramanujans Vermutung uber Zerfallungsanz ahlen, J. Reine Angew. Math 179, 97-128
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.