Optimization of the Solovay-Kitaev algorithm

Type: Article

Publication Date: 2013-05-30

Citations: 27

DOI: https://doi.org/10.1103/physreva.87.052332

Abstract

The Solovay-Kitaev algorithm is the standard method used for approximating arbitrary single-qubit gates for fault-tolerant quantum computation. In this paper we introduce a technique called "search space expansion", which modifies the initial stage of the Solovay-Kitaev algorithm, increasing the length of the possible approximating sequences but without requiring an exhaustive search over all possible sequences. We show that our technique, combined with a GNAT geometric tree search outputs gate sequences that are almost an order of magnitude smaller for the same level of accuracy. This therefore significantly reduces the error correction requirements for quantum algorithms on encoded fault-tolerant hardware.

Locations

  • Physical Review A - View
  • arXiv (Cornell University) - View - PDF
  • DataCite API - View

Similar Works

Action Title Year Authors
+ The Solovay-Kitaev algorithm 2005 Christopher M. Dawson
Michael A. Nielsen
+ PDF Chat Efficient Fault-Tolerant Single Qubit Gate Approximation And Universal Quantum Computation Without Using The Solovay-Kitaev Theorem 2024 H. F. Chau
+ Efficient Universal Quantum Compilation: An Inverse-free Solovay-Kitaev Algorithm 2021 Adam Bouland
Tudor Giurgica-Tiron
+ PDF Chat Fault-tolerant, high-level quantum circuits: form, compilation and description 2017 Alexandru Paler
Ilia Polian
Kae Nemoto
Simon J. Devitt
+ Constructing arbitrary single-qubit fault-tolerant gates 2004 Austin G. Fowler
+ PDF Chat Treespilation: Architecture- and State-Optimised Fermion-to-Qubit Mappings 2024 Aaron Miller
Adam Glos
Zoltán Zimborás
+ Constructing arbitrary Steane code single logical qubit fault-tolerant gates 2004 Austin G. Fowler
+ PDF Chat Constructing arbitrary Steane code single logical qubit fault-tolerant gates 2011 Austin G. Fowler
+ SurfBraid: A concept tool for preparing and resource estimating quantum circuits protected by the surface code 2019 Alexandru Paler
+ PDF Chat Faster quantum chemistry simulation on fault-tolerant quantum computers 2012 N. Cody Jones
James Whitfield
Peter L. McMahon
Man-Hong Yung
Rodney Van Meter
Alán Aspuru‐Guzik
Y. Yamamoto
+ PDF Chat Distillation of nonstabilizer states for universal quantum computation 2013 Guillaume Duclos-Cianci
Krysta M. Svore
+ PDF Chat Compilation of Trotter-Based Time Evolution for Partially Fault-Tolerant Quantum Computing Architecture 2024 Yutaro Akahoshi
Riki Toshio
Jun Fujisaki
Hirotaka Oshima
Shintaro Sato
Keisuke Fujii
+ PDF Chat Genetic algorithm enhanced Solovay-Kitaev algorithm for quantum compiling 2025 J. Long
Xianzhi Huang
Jianxin Zhong
Lijun Meng
+ PDF Chat Deterministic Fault-Tolerant State Preparation for Near-Term Quantum Error Correction: Automatic Synthesis Using Boolean Satisfiability 2025 L. Schmid
Tom Peham
Lucas Berent
Markus Müller
Robert Wille
+ PDF Chat Quantum compiling with diffusive sets of gates 2018 Yertay Zhiyenbayev
V. M. Akulin
A. Mandilara
+ PDF Chat Treespilation: Architecture- and State-Optimised Fermion-to-Qubit Mappings 2024 Aaron Miller
Adam Glos
Zoltán Zimborás
+ PDF Chat Quantum Circuit Optimization: Current trends and future direction 2024 Geetha Karuppasamy
Varun Puram
Stevens Johnson
Johnson P. Thomas
+ Of Representation Theory and Quantum Approximate Optimization Algorithm 2023 Boris Tsvelikhovskiy
Ilya Safro
Yuri Alexeev
+ PDF Chat Synthesis of Arbitrary Quantum Circuits to Topological Assembly: Systematic, Online and Compact 2017 Alexandru Paler
Austin G. Fowler
Robert Wille
+ PDF Chat Tailoring Fault-Tolerance to Quantum Algorithms 2024 Zhuangzhuang Chen
Narayanan Rengaswamy

Works That Cite This (19)

Action Title Year Authors
+ PDF Chat Topological Quantum Compiling with Reinforcement Learning 2020 Yuanhang Zhang
Pei-Lin Zheng
Yi Zhang
Dong-Ling Deng
+ PDF Chat Quantum compiling with diffusive sets of gates 2018 Yertay Zhiyenbayev
V. M. Akulin
A. Mandilara
+ PDF Chat Quantum-error-correction implementation after multiple gates 2013 Yaakov S. Weinstein
+ Compiling universal quantum circuits 2019 Rahul Singh
A. Mandilara
+ PDF Chat Cost-optimal single-qubit gate synthesis in the Clifford hierarchy 2021 Gary J. Mooney
Charles D. Hill
Lloyd C. L. Hollenberg
+ PDF Chat Concrete resource analysis of the quantum linear-system algorithm used to compute the electromagnetic scattering cross section of a 2D target 2017 Artur Scherer
Benoît Valiron
Siun-Chuon Mau
D. Scott Alexander
Eric van den Berg
T.E. Chapuran
+ PDF Chat Hamiltonian simulation algorithms for near-term quantum hardware 2021 Laura Clinton
Johannes Bausch
Toby S. Cubitt
+ PDF Chat Quantum-assisted quantum compiling 2019 Sumeet Khatri
Ryan LaRose
Alexander Poremba
Łukasz Cincio
Andrew Sornborger
Patrick J. Coles
+ PDF Chat Fibonacci Anyons Versus Majorana Fermions: A Monte Carlo Approach to the Compilation of Braid Circuits in <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" display="inline" overflow="scroll"><mml:mi>SU</mml:mi><mml:mo stretchy="false">(</mml:mo><mml:mn>2</mml:mn><mml:msub><mml:mo stretchy="false">)</mml:mo><mml:mi>k</mml:mi></mml:msub></mml:math> Anyon Models 2021 Emil Génetay Johansen
Tapio Simula
+ PDF Chat Depth-Optimal Synthesis of Clifford Circuits with SAT Solvers 2023 Tom Peham
Nina Brandl
Richard Kueng
Robert Wille
Lukas Burgholzer