High Precision Fault-Tolerant Quantum Circuit Synthesis by Diagonalization using Reinforcement Learning

Mathias Weiden,Justin Kalloor,Ed Younis,John Kubiatowicz,Costin Iancu

2024-10-22

Abstract:Resource efficient and high precision compilation of programs into quantum circuits expressed in Fault-Tolerant gate sets, such as the Clifford+T gate set, is vital for the success of quantum computing. Optimal analytical compilation methods are known for restricted classes of unitaries, otherwise the problem is intractable. Empirical search-based synthesis methods, including Reinforcement Learning and simulated annealing, can generate good implementations for a more extensive set of unitaries, but require trade-offs in approximation precision and resource use. We leverage search-based methods to reduce the general unitary synthesis problem to one of synthesizing diagonal unitaries; a problem solvable efficiently in general and optimally in the single-qubit case. We demonstrate how our approach improves the implementation precision attainable by Fault-Tolerant synthesis algorithms on an array of unitaries taken from real quantum algorithms. On these benchmarks, many of which cannot be handled by existing approaches, we observe an average of 95% fewer resource-intensive non-Clifford gates compared to the more general Quantum Shannon Decomposition. On a subset of algorithms of interest for future term applications, diagonalization can reduce T gate counts by up to 16.8% compared to other methods.

Quantum Physics

What problem does this paper attempt to address?

The problem that this paper attempts to solve is how to compile programs into quantum circuits efficiently and with high precision in fault - tolerant quantum computing, especially expressing these circuits using the Clifford+T gate set. Specifically, the paper focuses on how to reduce the number of non - Clifford gates required in synthesizing multi - qubit unitary operators and improve the synthesis precision through reinforcement learning and matrix diagonalization techniques. This is very important in practical applications because performing non - Clifford gates usually requires expensive pre - processing steps, such as magic - state distillation, which greatly increases resource consumption. Therefore, reducing the number of non - Clifford gates is crucial for achieving practical error - correcting quantum computing.

The method proposed in the paper takes advantage of the fact that diagonalization can be solved efficiently by transforming the general unitary operator synthesis problem into the diagonal unitary operator synthesis problem, especially achieving the optimal solution in the single - qubit case. This method combines the advantages of search methods and analytical methods, not only improving the synthesis precision but also significantly reducing the required resources, especially when dealing with unitary operators from real quantum algorithms. By introducing techniques such as global - phase invariance and unitary - perturbation data augmentation, the deep - learning model proposed in the paper can learn and synthesize complex quantum circuits more effectively.