{"id":"arxiv/2609.22381","url":"https://arxiv.org/abs/2609.22381","tags":["math.CO"],"score":0,"title":"The Three-Dimensional Erdős Box Problem Has Exponent $11/4$","domain":"math.CO","source":"arxiv","authors":["Dean Menezes"],"reviews":0,"subject":"math.CO","summary":"Let $z(n)$ be the maximum number of edges in a tripartite $3$-uniform hypergraph with $n$ vertices in each part and no copy of $K_{2,2,2}^{(3)}$ (a ``box''). Erdős (1964) proved that $z(n) = O(n^{11/4})$, whereas the best previous lower bound, due to Katz, Krop, and Maggioni (2002), was $Ω(n^{8/3})$. For each $q = 2^m$, we construct a box-free hypergraph with $q^4$ vertices in each part and $q^{11}$ edges, showing that $z(n) = Θ(n^{11/4})$. The construction uses the power map $τ(s) = s^{q^2-q+1}$ on $\\F_{q^3}$, which sends the fibers of $s \\mapsto τ(s+1) + τ(s)$ to pairwise skew affine lines…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-18","reactions":{}}