{"id":"arxiv/2608.22801","url":"https://arxiv.org/abs/2608.22801","tags":["quant-ph"],"score":0,"title":"An Exactness Barrier for ZX-Calculus Optimization of Synthesized Clifford+T Circuits","domain":"quant-ph","source":"arxiv","authors":["Chon-Fai Kam","Anuradha Mahasinghe","Kaushika De Silva","Frédéric Cadet","Jingbo Wang"],"reviews":0,"subject":"quant-ph","summary":"Gate synthesis and circuit optimization are usually studied separately, and evidence on their interaction is contradictory: ZX-calculus rewriting removes a stable fraction of Solovay-Kitaev circuits, yet almost nothing from number-theoretically synthesized circuits. We show both behaviours follow from a single bound. For any optimizer that preserves the implemented element exactly--including all sound ZX rewriting with extraction--the achievable T-count is bounded below by the denominator exponent of the synthesized ring element. This exactness barrier is computable per instance and…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-08-24","reactions":{}}