Approximate Duality Conjecture for finite-field bilinear bias

For a prime pp, let ω\omega be a ppth root of unity with ω1\omega\neq1. For subsets A,BFpnA,B\subseteq\mathbb{F}_p^n, define their bias by

Dω(A,B)=EaA,bB[ωa,b].D_\omega(A,B)=\left|\mathbb{E}_{a\sim A,\,b\sim B}[\omega^{\langle a,b\rangle}]\right|.

Approximate Duality Conjecture. If Dω(A,B)εD_\omega(A,B)\geq\varepsilon for some ε>0\varepsilon>0, then there exist subsets AAA'\subseteq A and BBB'\subseteq B such that a,b\langle a,b\rangle is constant for all aAa\in A' and bBb\in B', and

AB2O(nlog(1/ε))AB.|A'||B'|\geq 2^{-O(\sqrt{n\log(1/\varepsilon)})}|A||B|.

The conjecture was proposed as an approach to the log-rank conjecture and is used in the paper to derive results on set systems with prescribed intersection sizes. The supplied text explicitly says that it remains open, although partial progress is known.

Sources & referencesView supporting material

Primary source

Zach Hunter, Aleksa Milojević, Benny Sudakov and István Tomon, “Disjoint pairs in set systems and combinatorics of low rank matrices”, arXiv:2411.13510 (2024).

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.