TY  - RPRT
TI  - An Exactness Barrier for ZX-Calculus Optimization of Synthesized Clifford+T Circuits
AU  - Chon-Fai Kam
AU  - Anuradha Mahasinghe
AU  - Kaushika De Silva
AU  - Frédéric Cadet
AU  - Jingbo Wang
PY  - 2026
UR  - https://arxiv.org/abs/2608.22801
ID  - 2608.22801
ER  -