TY - RPRT TI - Convergent Gate Elimination and Constructive Circuit Lower Bounds AU - Marco Carmosino AU - Ngu Dang AU - Tim Jackman PY - 2026 UR - https://arxiv.org/abs/2602.17942 ID - 2602.17942 ER -