{"id":"arxiv/2608.22810","url":"https://arxiv.org/abs/2608.22810","tags":["quant-ph"],"score":0,"title":"Numerical Evaluation of ZX Calculus Optimization for Solovay Kitaev Quantum Circuit Synthesis","domain":"quant-ph","source":"arxiv","authors":["Dulari De Silva","Anuradha Mahasinghe","Chon-Fai Kam","Kaushika De Silva","Frederic Cadet","Jingbo Wang"],"reviews":0,"subject":"quant-ph","summary":"Fault-tolerant architectures implement non-Clifford T gates through magic-state distillation, so the T-count of a synthesized circuit dominates its physical cost. The Solovay-Kitaev algorithm approximates any single-qubit unitary from a finite gate set with a sequence length that grows only polylogarithmically in the inverse target error, but it optimizes for numerical convergence rather than circuit economy, and its output carries structural redundancy that a gate-level compiler cannot see. We report a measurement of what diagrammatic post-processing recovers from that redundancy. Twelve…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-08-24","reactions":{}}