Bennett–Tao log-convexity conjecture for Gowers norms

There exists a constant ε>0\varepsilon>0 such that, for every measurable function f:R→R+f:\mathbb{R}\to\mathbb{R}^{+} for which the relevant Gowers norms are finite and nonzero, ∥f∥U2≤(1−ε)∥f∥U11/2∥f∥U31/2\|f\|_{U^{2}}\leq(1-\varepsilon)\|f\|_{U^{1}}^{1/2}\|f\|_{U^{3}}^{1/2}. Analogous uniform log-convexity questions may be posed for higher uniformities.

References

Primary source

arXiv

Additional references

Progress summary

Refreshed
Claimed solved

An unrefereed September 2026 preprint claims to settle the conjecture, but the claim has not been independently verified.

The Bennett–Tao conjecture asks for a uniform strengthening of log-convexity inequalities between Gowers norms, with analogous questions for higher uniformities.

Known results

  • For measurable f:R→R+f:\mathbb{R}\to\mathbb{R}^{+}, earlier work records the conjectured bound ∥f∥U2≤(1−ε)∥f∥U11/2∥f∥U31/2\|f\|_{U^{2}}\le(1-\varepsilon)\|f\|_{U^{1}}^{1/2}\|f\|_{U^{3}}^{1/2} for some ε>0\varepsilon>0, but does not establish it.
  • It proves only strict non-equality: ∥f∥U2<∥f∥U11/2∥f∥U31/2\|f\|_{U^{2}}<\|f\|_{U^{1}}^{1/2}\|f\|_{U^{3}}^{1/2} when the relevant norms are finite and nonzero.
  • Sharp individual inequalities for the UdU^{d} norms do not imply the conjectured uniform gap.

September 2026 claimed resolution

A September 2026 arXiv preprint, Estimates for LpL^{p} variants of Gowers norms, claims broad sharp inequalities and confirmation of the Bennett–Tao conjecture. This is an unrefereed claim and has not been independently verified.

Current status (as of September 2026): The conjecture is claimed solved by an unrefereed preprint, but remains unverified; earlier literature established only strict non-equality, not the conjectured uniform gap.

Sources

Solutions 0

No solutions have been posted yet.