{"id":"arxiv/2605.15476","url":"https://arxiv.org/abs/2605.15476","tags":["quant-ph"],"score":0,"title":"Quantum Circuit Synthesis Using an Exact T Library","domain":"quant-ph","source":"arxiv","authors":["Hanyu Wang","Mingfei Yu","Xinrui Wu","Jason Cong"],"reviews":0,"subject":"quant-ph","summary":"In fault-tolerant quantum circuit synthesis, T gates supplied via magic states dominate space-time cost, while Clifford gates incur negligible overhead. Conventional flows minimize AND count in an {XOR, AND, NOT} basis as a proxy for T, which neglects phase cancellation and can be far from T-optimal. We instead formulate an exact T synthesis problem and canonicalize Boolean functions under Clifford equivalence. By precomputing T-optimal implementations up to seven variables and developing a customized mapper, we reduce the T count by up to 14.3% on EPFL benchmarks and improve the T counts of…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-05-14","reactions":{}}