TY - RPRT TI - A Four-by-Four Obstruction to Polynomial Removal for Ordered Binary Matrices AU - Zinan Wang PY - 2026 UR - https://arxiv.org/abs/2610.15370 ID - 2610.15370 ER -