Mapping of lattice surgery-based quantum circuits on surface code architectures

Quantum error correction (QEC) and fault-tolerant (FT) mechanisms are essential for reliable quantum computing. However, QEC considerably increases the computation size up to four orders of magnitude. Moreover, FT implementation has specific requirements on qubit layouts, causing both resource and time overhead. Reducing spatial-temporal costs becomes critical since it is beneficial to decrease the failure rate of quantum computation. To this purpose, scalable qubit plane architectures and efficient mapping passes including placement and routing of qubits as well as scheduling of operations are needed. This paper proposes a full mapping process to execute lattice surgery-based quantum circuits on two surface code architectures, namely a checkerboard and a tile-based one. We show that the checkerboard architecture is 2x qubit-efficient but the tile-based one requires lower communication overhead in terms of both operation overhead (up to 86%) and latency overhead (up to 79%).

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

[2]  L. DiCarlo,et al.  Scalable Quantum Circuit and Control for a Superconducting Surface Code , 2016, 1612.08208.

[3]  John Kubiatowicz,et al.  Automated generation of layout and control for quantum circuits , 2007, CF '07.

[4]  L. Kaufman,et al.  An algorithm for the quadratic assignment problem using Bender's decomposition , 1978 .

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

[6]  Margaret Martonosi,et al.  Compiler Management of Communication and Parallelism for Quantum Computation , 2015, ASPLOS.

[7]  Mark Oskin,et al.  QUALE: quantum architecture layout evaluator , 2005, SPIE Defense + Commercial Sensing.

[8]  Robert Raussendorf,et al.  Fault-tolerant quantum computation with high threshold in two dimensions. , 2007, Physical review letters.

[9]  Jonathan P. How,et al.  Spacecraft trajectory planning with avoidance constraints using mixed-integer linear programming , 2002 .

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

[11]  Peter W. Shor,et al.  Algorithms for quantum computation: discrete logarithms and factoring , 1994, Proceedings 35th Annual Symposium on Foundations of Computer Science.

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

[13]  Robert Raussendorf,et al.  Topological fault-tolerance in cluster state quantum computation , 2007 .

[14]  John M. Martinis,et al.  State preservation by repetitive error detection in a superconducting quantum circuit , 2015, Nature.

[15]  Mark Howard,et al.  Unifying Gate Synthesis and Magic State Distillation. , 2016, Physical review letters.

[16]  M MeierAdam,et al.  Magic-state distillation with the four-qubit code , 2013 .

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

[18]  Frederic T. Chong,et al.  Scheduling physical operations in a quantum information processor , 2006, SPIE Defense + Commercial Sensing.

[19]  Robert Wille,et al.  Determining the minimal number of swap gates for multi-dimensional nearest neighbor quantum circuits , 2015, The 20th Asia and South Pacific Design Automation Conference.

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

[21]  S. Poletto,et al.  Detecting bit-flip errors in a logical qubit using stabilizer measurements , 2014, Nature Communications.

[22]  Simon J. Devitt,et al.  Optimization of lattice surgery is NP-hard , 2017, npj Quantum Information.

[23]  H. Neven,et al.  Characterizing quantum supremacy in near-term devices , 2016, Nature Physics.

[24]  Michelle Y. Simmons,et al.  A surface code quantum computer in silicon , 2015, Science Advances.

[25]  Austin G. Fowler,et al.  Surface code quantum computing by lattice surgery , 2011, 1111.4022.

[26]  John M. Martinis,et al.  Logic gates at the surface code threshold: Superconducting qubits poised for fault-tolerant quantum computing , 2014 .

[27]  Massoud Pedram,et al.  LEQA: Latency estimation for a quantum algorithm mapped to a quantum circuit fabric , 2013, 2013 50th ACM/EDAC/IEEE Design Automation Conference (DAC).

[28]  Emanuel Knill,et al.  Magic-state distillation with the four-qubit code , 2012, Quantum Inf. Comput..

[29]  Susmita Sur-Kolay,et al.  PAQCS: Physical Design-Aware Fault-Tolerant Quantum Circuit Synthesis , 2015, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.

[30]  Jeremy Frank,et al.  Compiling quantum circuits to realistic hardware architectures using temporal planners , 2017, ArXiv.

[31]  D. Gottesman.  Fault-Tolerant Quantum Computation with Higher-Dimensional Systems , 1998, quant-ph/9802007.

[32]  R. Barends,et al.  Superconducting quantum circuits at the surface code threshold for fault tolerance , 2014, Nature.

[33]  Fernando Magno Quintão Pereira,et al.  Qubit allocation , 2018, CGO.

[34]  Jonas Helsen,et al.  A crossbar network for silicon quantum dot qubits , 2017, Science Advances.

[35]  Dmitri Maslov,et al.  Experimental comparison of two quantum computing architectures , 2017, Proceedings of the National Academy of Sciences.

[36]  Robert Wille,et al.  Look-ahead schemes for nearest neighbor optimization of 1D and 2D quantum circuits , 2016, 2016 21st Asia and South Pacific Design Automation Conference (ASP-DAC).

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

[38]  Andrew J. Landahl,et al.  Quantum computing by color-code lattice surgery , 2014, 1407.5103.

[39]  R. Raussendorf,et al.  A fault-tolerant one-way quantum computer , 2005, quant-ph/0510135.

[40]  Naser MohammadZadeh,et al.  An MINLP Model for Scheduling and Placement of Quantum Circuits with a Heuristic Solution Approach , 2015, ACM J. Emerg. Technol. Comput. Syst..

[41]  Xiang Fu,et al.  A heterogeneous quantum computer architecture , 2016, Conf. Computing Frontiers.

[42]  Niraj K. Jha,et al.  QLib: Quantum module library , 2014, ACM J. Emerg. Technol. Comput. Syst..

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

[44]  David A. Patterson,et al.  Computer Architecture: A Quantitative Approach , 1969 .

[45]  Alireza Shafaei,et al.  Squash: a scalable quantum mapper considering ancilla sharing , 2014, GLSVLSI '14.

[46]  D. Gottesman.  The Heisenberg Representation of Quantum Computers , 1998, quant-ph/9807006.

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

[48]  Naser MohammadZadeh,et al.  Quantum circuit physical design flow for 2D nearest‐neighbor architectures , 2017, Int. J. Circuit Theory Appl..

[49]  Morteza Saheb Zamani,et al.  A quantum physical design flow using ILP and graph drawing , 2013, Quantum Inf. Process..

[50]  A. Kitaev,et al.  Quantum codes on a lattice with boundary , 1998, quant-ph/9811052.

[51]  Eyob A. Sete,et al.  A functional architecture for scalable quantum computing , 2016, 2016 IEEE International Conference on Rebooting Computing (ICRC).

[52]  Robert Wille,et al.  An Efficient Methodology for Mapping Quantum Circuits to the IBM QX Architectures , 2017, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.

[53]  Gerhard W. Dueck,et al.  A transformation based algorithm for reversible logic synthesis , 2003, Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).

[54]  Muhammad Ahsan,et al.  Architecture Framework for Trapped-ion Quantum Computer based on Performance Simulation Tool , 2015 .

[55]  Alireza Shafaei,et al.  Qubit placement to minimize communication overhead in 2D quantum architectures , 2014, 2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC).

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

[57]  Robert Wille,et al.  Online scheduled execution of quantum circuits protected by surface codes , 2017, Quantum Inf. Comput..

[58]  Massoud Pedram,et al.  Minimizing the latency of quantum circuits during mapping to the ion-trap circuit fabric , 2012, 2012 Design, Automation & Test in Europe Conference & Exhibition (DATE).