Abstract
We report a resource estimation pipeline that explicitly compiles quantum circuits expressed using the Clifford+T gate set into a surface code lattice surgery instruction set. The cadence of magic state requests from the compiled circuit enables the optimization of magic state distillation and storage requirements in a post-hoc analysis. To compile logical circuits into lattice surgery operations, we build upon the open-source Lattice Surgery Compiler. The revised compiler operates in two stages: the first translates logical gates into an abstract, layout-independent instruction set; the second compiles these into local lattice surgery instructions that are allocated to hardware tiles according to a specified resource layout. The second stage retains logical parallelism while avoiding resource contention in the fault-tolerant layer, aiding realism. Additionally, users can specify dedicated tiles at which magic states are replenished, enabling resource costs from the logical computation to be considered independently from magic state distillation and storage. We demonstrate the applicability of our pipeline to large practical quantum circuits by providing resource estimates for the ground state estimation of molecules. We find that variable magic state consumption rates in real circuits can cause the resource costs of magic state storage to dominate unless production is varied to suit.
| Original language | English |
|---|---|
| Article number | 25 |
| Journal | ACM Transactions on Quantum Computing |
| Volume | 5 |
| Issue number | 4 |
| DOIs | |
| State | Published - Oct 10 2024 |
Funding
The work of T. LeBlond and R. Bennink was supported by the Defense Advanced Research Projects Agency (DARPA) Quantum Benchmarking (QB) and Underexplored Systems for Utility-Scale Quantum Computing (US2QC) programs under award numbersHR00112580540001 andHR0011261528. Thework of C. Deanwas supported by the DARPA QB program under award number HR001122C0066 and was supported by the Air Force Office of Scientific Research, Air Force Material Command, USAF under award number FA9550-21-1-0041. The work of G. Watkins was supported by the DARPA QB program under award numbers HR00112230006 and HR001121S0026 and was supported by the QuantERA grant EQUIP through the Academy of Finland, decision number 352188. The views, opinions, and/or findings expressed are those of the author(s) and should not be interpreted as representing the official views or policies of the Department of Defense or the U.S. Government. This manuscript has been authored by UT-Battelle, LLC, under contract DE-AC05-00OR22725 with the US Department of Energy (DOE). The US government retains and the publisher, by accepting the article for publication, acknowledges that the US government retains a nonexclusive, paid-up, irrevocable, worldwide license to publish or reproduce the published form of this manuscript, or allow others to do so, for US government purposes. DOE will provide public access to these results of federally sponsored research in accordance with the DOE Public Access Plan (https://www.energy.gov/downloads/doe-public-access-plan). This research used resources of the Compute and Data Environment for Science (CADES) at the Oak Ridge National Laboratory, which is supported by the Office of Science of the U.S. Department of Energy under Contract No. DE-AC05-00OR22725. We would like to thank Peter Selinger for many great conversations, and for his support with the Quipper implementation of the GSE algorithms considered here.We would also like to thank Scott Wesley for his help with LinguaQuanta. The work of T. LeBlond and R. Bennink was supported by the Defense Advanced Research Projects Agency (DARPA) Quantum Benchmarking (QB) and Underexplored Systems for Utility-Scale Quantum Computing (US2QC) programs under award numbers HR00112580540001 and HR0011261528. The work of C. Dean was supported by the DARPA QB program under award number HR001122C0066 and was supported by the Air Force Office of Scientific Research, Air Force Material Command, USAF under award number FA9550-21-1-0041. The work of G. Watkins was supported by the DARPA QB program under award numbers HR00112230006 and HR001121S0026 and was supported by the QuantERA grant EQUIP through the Academy of Finland, decision number 352188. The views, opinions, and/or findings expressed are those of the author(s) and should not be interpreted as representing the official views or policies of the Department of Defense or the U.S. Government. This manuscript has been authored by UT-Battelle, LLC, under contract DE-AC05-00OR22725 with the US Department of Energy (DOE). The US government retains and the publisher, by accepting the article for publication, acknowledges that the US government retains a nonexclusive, paid-up, irrevocable, worldwide license to publish or reproduce the published form of this manuscript, or allow others to do so, for US government purposes. DOE will provide public access to these results of federally sponsored research in accordance with the DOE Public Access Plan ( https://www.energy.gov/downloads/doe-public-access-plan ). This research used resources of the Compute and Data Environment for Science (CADES) at the Oak Ridge National Laboratory, which is supported by the Office of Science of the U.S. Department of Energy under Contract No. DE-AC05-00OR22725.
Keywords
- Lattice Surgery Compilation
- Magic State Management
- Quantum Resource Estimation
- Surface Code Lattice Surgery