DFI equidistribution conjecture for polynomial roots modulo primes

Let fZ[X]f \in \mathbb{Z}[X] be an irreducible polynomial of degree d2d \geq 2, and let 0<α<β10 < \alpha < \beta \leq 1. Let PP be the set of primes and define

S(x):={(p,ν):pP, px, νZ, 0ν<p, f(ν)0(modp)}.S(x):= \{(p,\nu): p \in P,\ p \leq x,\ \nu \in \mathbb{Z},\ 0\leq \nu < p,\ f(\nu) \equiv 0 \pmod p\}.

View S(x)S(x) as a probability space with normalized counting measure.

DFI conjecture. As S(x)|S(x)| \to \infty, the probability that ανp<β\alpha \leq \frac{\nu}{p} < \beta approaches βα\beta-\alpha.

The quadratic case was proved in the work cited by the authors, whereas the general case was described as far away from resolution and remains open.

Sources & referencesView supporting material

Primary source

Ehud Hrushovski, “Ax's theorem with an additive character”, arXiv:1911.01096 (2021).

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.