{"id":"arxiv/2601.19166","url":"https://arxiv.org/abs/2601.19166","tags":["quant-ph"],"score":0,"title":"High-Performance Exact Synthesis of Two-Qubit Quantum Circuits","domain":"quant-ph","source":"arxiv","authors":["Andrew N. Glaudell","Michael Jarret","Swan Klein","Samuel S. Mendelson","T. C. Mooney","Mingzhen Tian"],"reviews":0,"subject":"quant-ph","summary":"Exact synthesis provides unconditional optimality and canonical structure, but is often limited to small, carefully scoped regimes. We present an exact synthesis framework for two-qubit circuits over the Clifford+$T$ gate set that optimizes $T$-count exactly. Our approach exhausts a bounded search space, exploits algebraic canonicalization to avoid redundancy, and constructs a lookup table of optimal implementations that turns synthesis into a query. Algorithmically, we combine meet-in-the-middle ideas with provable pruning rules and problem-specific arithmetic designed for modern hardware.…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-01-27","reactions":{}}