{"id":"arxiv/2609.19015","url":"https://arxiv.org/abs/2609.19015","tags":["math.CO","math.LO"],"score":0,"title":"Robust order properties in the HLM construction","domain":"math.CO","source":"arxiv","authors":["Dean Matthew Menezes"],"reviews":0,"subject":"math.CO","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-21","reactions":{}}