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

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

∑n=0∞to(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 p≡5,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.

References

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.

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.