English

Triforce and Corners

Combinatorics 2020-07-08 v2

Abstract

May the triforce\mathit{triforce} be the 3-uniform hypergraph on six vertices with edges {123,123,123}\{123',12'3,1'23\}. We show that the minimum triforce density in a 3-uniform hypergraph of edge density δ\delta is δ4o(1)\delta^{4-o(1)} but not O(δ4)O(\delta^4). Let M(δ)M(\delta) be the maximum number such that the following holds: for every ϵ>0\epsilon > 0 and G=F2nG = \mathbb{F}_2^n with nn sufficiently large, if AG×GA \subseteq G \times G with AδG2A \ge \delta|G|^2, then there exists a nonzero "popular difference" dGd \in G such that the number of "corners" (x,y),(x+d,y),(x,y+d)A(x,y), (x+d,y), (x,y+d) \in A is at least (M(δ)ϵ)G2(M(\delta) - \epsilon)|G|^2. As a corollary via a recent result of Mandache, we conclude that M(δ)=δ4o(1)M(\delta) = \delta^{4-o(1)} and M(δ)=ω(δ4)M(\delta) = \omega(\delta^4). On the other hand, for 0<δ<1/20 < \delta < 1/2 and sufficiently large NN, there exists A[N]3A \subseteq [N]^3 with AδN3|A|\ge\delta N^3 such that for every d0d \ne 0, the number of corners (x,y,z),(x+d,y,z),(x,y+d,z),(x,y,z+d)A(x,y,z), (x+d,y,z),(x,y+d,z),(x,y,z+d) \in A is at most δclog(1/δ)N3\delta^{c \log (1/\delta)} N^3. A similar bound holds in higher dimensions, or for any configuration with at least 5 points or affine dimension at least 3.

Keywords

Cite

@article{arxiv.1903.04863,
  title  = {Triforce and Corners},
  author = {Jacob Fox and Ashwin Sah and Mehtaab Sawhney and David Stoner and Yufei Zhao},
  journal= {arXiv preprint arXiv:1903.04863},
  year   = {2020}
}
R2 v1 2026-06-23T08:05:30.238Z