arXiv++ Combinatorics

Green's arithmetic regularity lemma over ${\bf 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 $ε|G|$ points of a super-level set of the averaged witness still leaves a half-graph of height $d/(8\sqrt{s})\ge {\rm twr}(s-2)$. The proofs use the binary code formed by the top-level row traces and Sauer's lemma.