Magic-State Functional Units: Mapping and Scheduling Multi-Level Distillation Circuits for Fault-Tolerant Quantum Architectures

Quantum computers have recently made great strides and are on a long-term path towards useful fault-tolerant computation. A dominant overhead in fault-tolerant quantum computation is the production of high-fidelity encoded qubits, called magic states, which enable reliable error-corrected computation. We present the first detailed designs of hardware functional units that implement space-time optimized magic-state factories for surface code error-corrected machines. Interactions among distant qubits require surface code braids (physical pathways on chip) which must be routed. Magic-state factories are circuits comprised of a complex set of braids that is more difficult to route than quantum circuits considered in previous work [1]. This paper explores the impact of scheduling techniques, such as gate reordering and qubit renaming, and we propose two novel mapping techniques: braid repulsion and dipole moment braid rotation. We combine these techniques with graph partitioning and community detection algorithms, and further introduce a stitching algorithm for mapping subgraphs onto a physical machine. Our results show a factor of 5.64 reduction in space-time volume compared to the best-known previous designs for magic-state factories.

[1]  Hsu-Chun Yen,et al.  A new force-directed graph drawing method based on edge-edge repulsion , 2005, Ninth International Conference on Information Visualisation (IV'05).

[2]  Simon J. Devitt,et al.  Fault-tolerant, high-level quantum circuits: form, compilation and description , 2015, 1509.02004.

[3]  Simon J. Devitt,et al.  Surface code implementation of block code state distillation , 2013, Scientific Reports.

[4]  Moinuddin K. Qureshi,et al.  Taming the Instruction Bandwidth of Quantum Computers via Hardware-Managed Error Correction , 2017, 2017 50th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO).

[5]  M. Mariantoni,et al.  Surface codes: Towards practical large-scale quantum computation , 2012, 1208.0928.

[6]  A. Arenas,et al.  Community detection in complex networks using extremal optimization. , 2005, Physical review. E, Statistical, nonlinear, and soft matter physics.

[7]  Earl T. Campbell,et al.  Quantum computation with realistic magic-state factories , 2016, 1605.07197.

[8]  S. Bravyi,et al.  Magic-state distillation with low overhead , 2012, 1209.2426.

[9]  Yifan Hu,et al.  Efficient, High-Quality Force-Directed Graph Drawing , 2006 .

[10]  Simon J. Devitt,et al.  Synthesis of topological quantum circuits , 2012, 2012 IEEE/ACM International Symposium on Nanoscale Architectures (NANOARCH).

[11]  March,et al.  Quantum Volume , 2017 .

[12]  A. Hoffman,et al.  Lower bounds for the partitioning of graphs , 1973 .

[13]  Dmitri Maslov,et al.  Fast and efficient exact synthesis of single-qubit unitaries generated by clifford and T gates , 2012, Quantum Inf. Comput..

[14]  Cody Jones,et al.  Multilevel distillation of magic states for quantum computing , 2012, 1210.3388.

[15]  Simon J. Devitt,et al.  A Compiler for Fault-Tolerant High Level Quantum Circuits , 2015 .

[16]  Dmitri Maslov,et al.  Polynomial-Time T-Depth Optimization of Clifford+T Circuits Via Matroid Partitioning , 2013, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[17]  A. Steane Space, Time, Parallelism and Noise Requirements for Reliable Quantum Computing , 1997, quant-ph/9708021.

[18]  Jean-Loup Guillaume,et al.  Fast unfolding of communities in large networks , 2008, 0803.0476.

[19]  J. Preskill,et al.  Topological quantum memory , 2001, quant-ph/0110143.

[20]  David S. Johnson,et al.  Crossing Number is NP-Complete , 1983 .

[21]  M. Hastings,et al.  Gate count estimates for performing quantum chemistry on small quantum computers , 2013, 1312.1695.

[22]  M E J Newman,et al.  Community structure in social and biological networks , 2001, Proceedings of the National Academy of Sciences of the United States of America.

[23]  Jongsoo Park,et al.  Gate scheduling for quantum algorithms , 2017, ArXiv.

[24]  John Preskill,et al.  Quantum Computing in the NISQ era and beyond , 2018, Quantum.

[25]  D.M. Mount,et al.  An Efficient k-Means Clustering Algorithm: Analysis and Implementation , 2002, IEEE Trans. Pattern Anal. Mach. Intell..

[26]  Leslie G. Valiant,et al.  A fast parallel algorithm for routing in permutation networks , 1981, IEEE Transactions on Computers.

[27]  Brian W. Kernighan,et al.  An efficient heuristic procedure for partitioning graphs , 1970, Bell Syst. Tech. J..

[28]  W. W. Hansen,et al.  Nuclear Induction , 2011 .

[29]  Jean Roman,et al.  SCOTCH: A Software Package for Static Mapping by Dual Recursive Bipartitioning of Process and Architecture Graphs , 1996, HPCN Europe.

[30]  Thierry Paul,et al.  Quantum computation and quantum information , 2007, Mathematical Structures in Computer Science.

[31]  Margaret Martonosi,et al.  Optimized Surface Code Communication in Superconducting Quantum Computers , 2017, 2017 50th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO).

[32]  Jeongwan Haah,et al.  Magic state distillation with low space overhead and optimal asymptotic input count , 2017, 1703.07847.

[33]  E. Barnes An algorithm for partitioning the nodes of a graph , 1981, 1981 20th IEEE Conference on Decision and Control including the Symposium on Adaptive Processes.

[34]  R. V. Meter,et al.  Layered architecture for quantum computing , 2010, 1010.5022.

[35]  John Kubiatowicz,et al.  Running a Quantum Circuit at the Speed of Data , 2008, 2008 International Symposium on Computer Architecture.

[36]  Vipin Kumar,et al.  Multilevel k-way hypergraph partitioning , 1999, DAC '99.

[37]  Chen-Fu Chiang,et al.  Scaffold: Quantum Programming Language , 2012 .

[38]  David Gosset,et al.  Improved Classical Simulation of Quantum Circuits Dominated by Clifford Gates. , 2016, Physical review letters.

[39]  M. Fiedler Algebraic connectivity of graphs , 1973 .

[40]  Sergei Vassilvitskii,et al.  k-means++: the advantages of careful seeding , 2007, SODA '07.

[41]  Yury Makarychev,et al.  On graph crossing number and edge planarization , 2011, SODA '11.

[42]  A. Kitaev,et al.  Universal quantum computation with ideal Clifford gates and noisy ancillas (14 pages) , 2004, quant-ph/0403025.

[43]  Simon J. Devitt,et al.  Synthesis of Arbitrary Quantum Circuits to Topological Assembly , 2016, Scientific Reports.

[44]  Walter Schnyder,et al.  Embedding planar graphs on the grid , 1990, SODA '90.

[45]  Peter Selinger,et al.  Quantum circuits of T-depth one , 2012, ArXiv.