Gradient-Based Optimization Enables Scalable Fault-Tolerant Quantum Gate Synthesis
The paper introduces TRBO, a method for finding the smallest T-Count circuit implementing a unitary gate by performing a binary search over continuous minimization problems. This approach numerically optimizes gate rounding to minimize T gates, proving that these optimization problems are practically solvable and offering a scalable alternative to existing synthesis tools.