Prefix sum recurrence conjecture for Legendre-symbol walks

Let pp be a prime and let χ\chi be the Legendre symbol modulo pp. For a∈Fpa\in\mathbb{F}_p and t∈{0,1,…,p−1}t\in\{0,1,\ldots,p-1\}, define the prefix sum

Ψ(a,t)=∑j=0tχ(a+j).\Psi(a,t)=\sum_{j=0}^{t}\chi(a+j).

Prefix sum recurrence conjecture. For an absolute constant A>0A>0, independently of a∈Fpa\in\mathbb{F}_p,

∣{t:Ψ(a,t)=0}∣=O(p(log⁡p)A).\left|\{t:\Psi(a,t)=0\}\right|=O\left(\sqrt{p}(\log p)^A\right).

A stronger related question asks whether, for some absolute constant A>0A>0,

max⁡h∈Z∣{0≤t≤p−1:Ψ(0,t)=h}∣=O(p(log⁡p)A).\max_{h\in\mathbb{Z}}\left|\left\{0\leq t\leq p-1:\Psi(0,t)=h\right\}\right|=O\left(\sqrt{p}(\log p)^A\right).

These estimates would control how often the Legendre-symbol prefix-sum walk attains a given value, and hence the frequency of intersection numbers in the associated projective-plane construction. The stated status of these bounds is unknown.

References

Primary source

Zoltán Lóránt Nagy and Zsuzsa Weiner, “Balanced intersection size distributions in projective planes”, arXiv:2605.23644 (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.