Discrete bilinear-form values conjecture

Let FF be the real or complex field, let ω\omega be a non-degenerate symmetric or skew-symmetric bilinear form on F2F^2, and let PF2{0}P\subset F^2\setminus\{0\} be an NN-element point set. Define

Tω(P)={ω(q,q):q,qP}{0}.T_\omega(P)=\{\omega(q,q'):q,q'\in P\}\setminus\{0\}.

The exceptional case in which Tω(P)T_\omega(P) is empty occurs when ω\omega is skew-symmetric and PP is supported on a single line through the origin. Discrete bilinear-form values conjecture. Outside this exceptional case,

Tω(P)=Ω(N),|T_\omega(P)|=\Omega^*(N),

meaning a lower bound of order NN up to possible logarithmic factors in NN. This is presented as a central open question in discrete projective plane geometry; the paper proves the weaker bound Ω(N9/13)\Omega(N^{9/13}), while the conjectured near-linear estimate remains open.

Sources & referencesView supporting material

Primary source

Alex Iosevich, Oliver Roche-Newton and Misha Rudnev, “On discrete values of bilinear forms”, arXiv:1512.02670 (2015).

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.