Equivalent odd-subspace formulation of the Chowla–Milnor conjecture

About 1 year old · traced to

Let k⩾2k\geqslant 2 and q⩾3q\geqslant 3 be integers. For 1⩽a<q1\leqslant a<q with gcd⁡(a,q)=1\gcd(a,q)=1, define

ζ+(k,aq):=ζ(k,aq)+(−1)kζ(k,1−aq),\zeta^{+}\left(k,\frac{a}{q}\right):=\zeta\left(k,\frac{a}{q}\right)+(-1)^k\zeta\left(k,1-\frac{a}{q}\right), ζ−(k,aq):=ζ(k,aq)−(−1)kζ(k,1−aq).\zeta^{-}\left(k,\frac{a}{q}\right):=\zeta\left(k,\frac{a}{q}\right)-(-1)^k\zeta\left(k,1-\frac{a}{q}\right).

Define

Vk−(q):=Span⁡Q{ζ−(k,aq)∣1⩽a<q2, gcd⁡(a,q)=1}V_k^{-}(q):=\operatorname{Span}_{\mathbb{Q}}\left\{\zeta^{-}\left(k,\frac{a}{q}\right)\mid 1\leqslant a<\frac q2,\ \gcd(a,q)=1\right\}

and

Vk+(q):=Span⁡Q{ζ+(k,aq)∣1⩽a<q2, gcd⁡(a,q)=1}.V_k^{+}(q):=\operatorname{Span}_{\mathbb{Q}}\left\{\zeta^{+}\left(k,\frac{a}{q}\right)\mid 1\leqslant a<\frac q2,\ \gcd(a,q)=1\right\}.

Equivalent Chowla–Milnor formulation. One has

dim⁡QVk−(q)=φ(q)2\dim_{\mathbb{Q}}V_k^{-}(q)=\frac{\varphi(q)}2

and

Vk+(q)∩Vk−(q)={0}.V_k^{+}(q)\cap V_k^{-}(q)=\{0\}.

Since the even subspace is known to have dimension φ(q)/2\varphi(q)/2 and Vk(q)=Vk+(q)+Vk−(q)V_k(q)=V_k^{+}(q)+V_k^{-}(q), these conditions are equivalent to the Chowla–Milnor linear independence conjecture. The source says that, apart from the case k=2k=2, q=3q=3, other cases remain open.

References

Primary source

Li Lai and Jia Li, “A partial result towards the Chowla–Milnor conjecture”, arXiv:2505.12687 (2026).

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.