A Four-by-Four Obstruction to Polynomial Removal for Ordered Binary Matrices

Zinan Wang

We exhibit a fixed $4\times 4$ binary matrix with no polynomial induced ordered removal bound. At depth $h\ge 1$, let $m=2^h$. Our explicit host has order $(14h+2)m$, exactly $2m^…