Mandache corner bound for all abelian groups
Informal conjecture on extending Mandache's Theorem 1.1 to all abelian groups · arXiv:1903.04863
Status solved high confidence
The conjecture that Mandache's lower bound $M(\delta) \geq m_{\mathrm{convex}}(\delta)$ could be extended to all abelian groups via Bohr sets was resolved by Aaron Berger in a paper submitted in September 2019, just months after the Fox–Sah–Sawhney–Stoner–Zhao preprint. Berger generalizes Mandache's popular-differences result for corners from finite fields $\mathbb{F}_p^n$ to all compact abelian groups (which includes all finite abelian groups) and to corners in $\mathbb{Z}^2$. The paper was published in the Mathematical Proceedings of the Cambridge Philosophical Society in 2021.
Cited literature (1)
-
Extends Mandache's popular-differences lower bound for corners from finite fields to all compact abelian groups and to $\mathbb{Z}^2$, resolving the conjecture that a Bohr-set analogue would yield such an extension.
Reviewer notes. Berger's paper (arXiv:1909.12350) was submitted September 26, 2019, a few months after the Fox et al. preprint (March 2019). It covers compact abelian groups (which includes all finite abelian groups via discrete topology) and $\mathbb{Z}^2$, matching the scope the conjecture had in mind. The Cambridge Core page confirms publication in volume 171, issue 1 (July 2021).
Context
Theorem 1.1 (Mandache) establishes the lower bound $M(\delta) \geq m_{\mathrm{convex}}(\delta)$ only for $G_n = \mathbb{F}_p^n$ with fixed prime $p$, via an arithmetic regularity argument combined with Fourier-analytic ideas. The authors believe a Bohr-set analogue would extend this to arbitrary abelian groups.
Notes. Stated in running prose in the introduction without a labelled environment. PDF source.
Source paper
Triforce and Corners
Jacob Fox, Ashwin Sah, Mehtaab Sawhney, David Stoner, Yufei Zhao · 2019-07-02
https://arxiv.org/abs/1903.04863
PDF source