An Ω( (log n / log log n)^2 ) Cell-Probe Lower Bound for Dynamic Boolean Data Structures

Published in FOCS 2026 (to appear), 2026