Andrews–El Bachraoui's parity conjecture for the odd companion series

From papers

Let to(n)t_o(n) be defined by

n=0to(n)qn:=To(q)=m=0(q;q)2m(q;q2)m+1q2m,\sum_{n=0}^\infty t_o(n)q^n:=T_o(q)=\sum_{m=0}^\infty \frac{(-q;q)_{2m}}{(q;q^2)_{m+1}}q^{2m},

where qq is a complex number with q<1|q|<1 and (a;q)n(a;q)_n denotes the standard qq-Pochhammer symbol. Andrews–El Bachraoui's conjecture. If 8n+98n+9 has a prime divisor p5,7(mod8)p\equiv 5,7\pmod 8 raised to an odd exponent, equivalently, if 8n+98n+9 is not represented by x2+2y2x^2+2y^2, then

to(n)0(mod2).t_o(n)\equiv 0\pmod 2.

This conjecture concerns the parity of the coefficients of the odd companion series associated with the two-color partition generating function S1(q)S_1(q). The supplied source presents it as a conjecture of Andrews and El Bachraoui; its resolution is not established by the provided context.

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

Eric H. Liu and Ernest X. W. Xia, “A proof of Andrews-El Bachraoui's conjecture on the parity of coefficients of a q-series”, arXiv:2607.07145 (2026).

Additional references

4 papers in this index state this conjecture (2025–2026). The statement above is taken from the most recent of them; the others are arXiv:2607.10576, arXiv:2607.08369, arXiv:2508.19741.

Solutions 0

No solutions have been posted yet.