Numerical Evaluation of ZX Calculus Optimization for Solovay Kitaev Quantum Circuit Synthesis
本論文は、ZX-calculusに基づく図式的簡略化をSolovay-Kitaevによって合成された量子回路に適用することで、近似誤差を増大させることなく、様々な再帰深度にわたってTカウントおよび総ゲート数を一貫して約18〜30%削減できることを実証しているが、書き換えプロセスの計算コストは回路の複雑さに伴い急激に増大する。