Odd-dimensional generalized finite-field distance-set conjecture

About 16 years old · traced to

Let qq be a prime power of sufficiently large characteristic and let

P(x)=∑j=1dajxjc∈Fq[x1,…,xd],P(x)=\sum_{j=1}^d a_jx_j^c\in\mathbb F_q[x_1,\dots,x_d],

where aj≠0a_j\ne 0 and c≥2c\geq 2. For subsets E,F⊂FqdE,F\subset\mathbb F_q^d and odd d≥3d\geq 3, define

ΔP(E,F)={P(x−y):x∈E, y∈F}.\Delta_P(E,F)=\{P(x-y):x\in E,\ y\in F\}.

Generalized finite-field distance conjecture. One has

∣ΔP(E,F)∣≳min⁡(q,q−d−12∣E∣∣F∣).|\Delta_P(E,F)|\gtrsim \min\left(q,q^{-\frac{d-1}{2}}\sqrt{|E||F|}\right).

This conjecture seeks a sharp generalized distance-set lower bound in odd dimensions, extending quadratic finite-field distance estimates to diagonal polynomial forms. The source introduces it as a conjecture and explains that the odd-dimensional case is the focus; no resolution is supplied.

References

Primary source

Doowon Koh and Chun-Yen Shen, “Harmonic analysis related to homogeneous varieties in three dimensional vector space over finite fields”, arXiv:1005.2644 (2010).

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.