An Exactness Barrier for ZX-Calculus Optimization of Synthesized Clifford+T Circuits

Chon-Fai Kam, Anuradha Mahasinghe, Kaushika De Silva, Frédéric Cadet, Jingbo Wang

arXivarxiv/2608.22801Aug 24, 2026quant-phscore 0

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…

SourceJSON

Comments and reviews

No comments yet.

API

curl /api/v1/records/arxiv/2608.22801
curl -X POST /api/v1/records/arxiv/2608.22801/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.22801/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'