arXiv++ Combinatorics

Green's arithmetic regularity lemma over $G=\F_2^n$ has tower-type lower bounds. We show that the large order properties in the Hosseini--Lovett--Moshkovitz--Shapira (HLM) construction survive sparse edits. If $d$ is the top block dimension, then changing at most $|G|/16$ points of the top HLM set $A_s$ still leaves a half-graph of height $d/8$. For a suitable choice of the HLM maps, changing at most $\eps|G|$ points of a superlevel set of the averaged witness still leaves a half-graph of height $d/(8\sqrt{s})\ge{\rm twr}(s-2)$. The proofs use Sauer's lemma and the binary code formed by the top-level row traces.