Near-quadratic Elekes–Rónyai expander conjecture over the reals

Less than 1 year old · traced to

Let f∈R[x,y]f\in\mathbb R[x,y] be neither additive nor multiplicative. For a finite set A⊂RA\subset\mathbb R, write f(A,A)={f(a1,a2):a1,a2∈A}f(A,A)=\{f(a_1,a_2):a_1,a_2\in A\}. Near-quadratic Elekes–Rónyai expander conjecture. For every ϵ>0\epsilon>0, there exists a constant Cf,ϵ>0C_{f,\epsilon}>0 such that

∣f(A,A)∣≥Cf,ϵ∣A∣2−ϵ\lvert f(A,A)\rvert\geq C_{f,\epsilon}\lvert A\rvert^{2-\epsilon}

for every finite set A⊂RA\subset\mathbb R. The conjecture proposes a near-quadratic expansion bound for nonspecial real bivariate polynomials; the source states that it is disproved by a counterexample, so the asserted universal bound is false.

References

Primary source

Jihao Liu, “A counterexample to the near-quadratic Elekes–Rónyai expander conjecture over R”, arXiv:2606.16738 (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.