Odd-dimensional generalized finite-field distance-set conjecture

From papers

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

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

where aj0a_j\ne 0 and c2c\geq 2. For subsets E,FFqdE,F\subset\mathbb F_q^d and odd d3d\geq 3, define

ΔP(E,F)={P(xy):xE, yF}.\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,qd12EF).|\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.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

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).

Solutions 0

No solutions have been posted yet.