{"id":"arxiv/2611.04644","url":"https://arxiv.org/abs/2611.04644","tags":["math.CO","math.NT"],"score":0,"title":"Additive energy, Freiman's lemma, and an edge-isoperimetric problem on the boolean cube","domain":"math.CO","source":"arxiv","authors":["Akshat Mudgal","Carl Schildkraut","Dmitrii Zakharov"],"reviews":0,"subject":"math.CO","summary":"Let $d \\in \\mathbb{N}$ and let $A \\subseteq \\mathbb{R}^d$ be a finite, non-empty set not contained in any translate of a hyperplane. We show that there exists a subset $S \\subseteq A$ such that $d \\ll |S| \\ll d$ and \\[E(A,S) := |\\{(a_1,a_2,s_1,s_2)\\in A\\times A\\times S\\times S:a_1+s_1=a_2+s_2\\}|\\ll\\lvert A\\rvert\\lvert S\\rvert.\\] This can be interpreted as a robust, analytic generalisation of the classical Freiman's lemma, and recovers Freiman's lemma up to a constant multiplicative factor. In the process of proving this result, we also show that for any integer $1 \\leq m \\leq d$ and any set…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-11-03","reactions":{}}