Compiler Management of Communication and Parallelism for Quantum Computation

Quantum computing (QC) offers huge promise to accelerate a range of computationally intensive benchmarks. Quantum computing is limited, however, by the challenges of decoherence: i.e., a quantum state can only be maintained for short windows of time before it decoheres. While quantum error correction codes can protect against decoherence, fast execution time is the best defense against decoherence, so efficient architectures and effective scheduling algorithms are necessary. This paper proposes the Multi-SIMD QC architecture and then proposes and evaluates effective schedulers to map benchmark descriptions onto Multi-SIMD architectures. The Multi-SIMD model consists of a small number of SIMD regions, each of which may support operations on up to thousands of qubits per cycle. Efficient Multi-SIMD operation requires efficient scheduling. This work develops schedulers to reduce communication requirements of qubits between operating regions, while also improving parallelism.We find that communication to global memory is a dominant cost in QC. We also note that many quantum benchmarks have long serial operation paths (although each operation may be data parallel). To exploit this characteristic, we introduce Longest-Path-First Scheduling (LPFS) which pins operations to SIMD regions to keep data in-place and reduce communication to memory. The use of small, local scratchpad memories also further reduces communication. Our results show a 3% to 308% improvement for LPFS over conventional scheduling algorithms, and an additional 3% to 64% improvement using scratchpad memories. Our work is the most comprehensive software-to-quantum toolflow published to date, with efficient and practical scheduling techniques that reduce communication and increase parallelism for full-scale quantum code executing up to a trillion quantum gate operations.

[1]  Robert M. Jopson,et al.  System design for large-scale ion trap quantum information processor , 2005, Quantum Inf. Comput..

[2]  Andris Ambainis,et al.  Any AND-OR Formula of Size N Can Be Evaluated in Time N1/2+o(1) on a Quantum Computer , 2010, SIAM J. Comput..

[3]  D. DiVincenzo,et al.  The Physical Implementation of Quantum Computation , 2000, quant-ph/0002077.

[4]  Jeff Gilchrist,et al.  Factorization of a 512-Bit RSA Modulus , 2000, EUROCRYPT.

[5]  K. R. Brown,et al.  Microwave quantum logic gates for trapped ions , 2011, Nature.

[6]  J J García-Ripoll,et al.  Speed optimized two-qubit gates with laser coherent control techniques for ion trap quantum computing. , 2003, Physical review letters.

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

[8]  Andris Ambainis,et al.  Any AND-OR Formula of Size N can be Evaluated in time N^{1/2 + o(1)} on a Quantum Computer , 2010, 48th Annual IEEE Symposium on Foundations of Computer Science (FOCS'07).

[9]  F. Schmidt-Kaler,et al.  Deterministic quantum teleportation with atoms , 2004, Nature.

[10]  D. Leibfried,et al.  Experimental demonstration of a robust, high-fidelity geometric two ion-qubit phase gate , 2003, Nature.

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

[12]  N. Timoney,et al.  Individual addressing of trapped ions and coupling of motional and spin states using RF radiation. , 2007, Physical review letters.

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

[14]  Margaret Martonosi,et al.  ScaffCC: a framework for compilation and analysis of quantum computing programs , 2014, Conf. Computing Frontiers.

[15]  Tao Yang,et al.  List Scheduling With and Without Communication Delays , 1993, Parallel Comput..

[16]  Andrew W. Cross,et al.  A quantum logic array microarchitecture: scalable quantum data movement and computation , 2005, 38th Annual IEEE/ACM International Symposium on Microarchitecture (MICRO'05).

[17]  Alfred V. Aho,et al.  A layered software architecture for quantum computing design tools , 2006, Computer.

[18]  Frederic T. Chong,et al.  Toward a scalable, silicon-based quantum computing architecture , 2003 .

[19]  C. Monroe,et al.  Observation of entanglement between a single trapped atom and a single photon , 2004, Nature.

[20]  T. N. Vijaykumar,et al.  A program transformation and architecture support for quantum uncomputation , 2006, ASPLOS XII.

[21]  J. Whitfield,et al.  Simulation of electronic structure Hamiltonians using quantum computers , 2010, 1001.3855.

[22]  Frederic T. Chong,et al.  A Practical Architecture for Reliable Quantum Computers , 2002, Computer.

[23]  David J. Wineland,et al.  Trapped-ion quantum simulator , 1998 .

[24]  Frederic T. Chong,et al.  Quantum Memory Hierarchies: Efficient Designs to Match Available Parallelism in Quantum Computing , 2006, 33rd International Symposium on Computer Architecture (ISCA'06).

[25]  Steven Swanson,et al.  The WaveScalar architecture , 2007, TOCS.

[26]  Nemanja Isailovic,et al.  An Investigation into the Realities of a Quantum Datapath , 2010 .

[27]  D. M. Lucas,et al.  Microwave control electrodes for scalable, parallel, single-qubit operations in a surface-electrode ion trap , 2013, 1308.2078.

[28]  Isaac L. Chuang,et al.  Quantum Computation and Quantum Information (10th Anniversary edition) , 2011 .

[29]  Andrew Steane,et al.  Active Stabilization, Quantum Computation, and Quantum State Synthesis , 1997 .

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

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

[32]  J. Cirac,et al.  Quantum Computations with Cold Trapped Ions. , 1995, Physical review letters.

[33]  Tao Yang,et al.  PYRROS: static task scheduling and code generation for message passing multiprocessors , 1992 .

[34]  Umesh V. Vazirani,et al.  Quantum Algorithms , 2001, LATIN.

[35]  Panos Aliferis,et al.  Subsystem fault tolerance with the Bacon-Shor code. , 2007, Physical review letters.

[36]  E. Knill,et al.  Realization of quantum error correction , 2004, Nature.

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

[38]  David J. Wineland,et al.  Experimental Primer on the Trapped Ion Quantum Computer , 1998 .

[39]  Margaret Martonosi,et al.  Tailoring quantum architectures to implementation style: a quantum computer for mobile and persistent qubits , 2007, ISCA '07.

[40]  Curtis Volin,et al.  Spatially uniform single-qubit gate operations with near-field microwaves and composite pulse compensation , 2013, 1304.6636.

[41]  Sean Hallgren,et al.  Fast quantum algorithms for computing the unit group and class group of a number field , 2005, STOC '05.

[42]  Jeffrey R. Diamond,et al.  An evaluation of the TRIPS computer system , 2009, ASPLOS.

[43]  Frédéric Magniez,et al.  Quantum algorithms for the triangle problem , 2005, SODA '05.

[44]  John Kubiatowicz,et al.  A fault tolerant, area efficient architecture for Shor's factoring algorithm , 2009, ISCA '09.

[45]  Vikram S. Adve,et al.  LLVM: a compilation framework for lifelong program analysis & transformation , 2004, International Symposium on Code Generation and Optimization, 2004. CGO 2004..

[46]  Lov K. Grover A fast quantum mechanical algorithm for database search , 1996, STOC '96.

[47]  Steane,et al.  Error Correcting Codes in Quantum Theory. , 1996, Physical review letters.

[48]  Tughrul Arslan,et al.  A (Fault-Tolerant) , 2011, ARC 2011.

[49]  Daniel A. Spielman,et al.  Exponential algorithmic speedup by a quantum walk , 2002, STOC '03.

[50]  King,et al.  Demonstration of a fundamental quantum logic gate. , 1995, Physical review letters.

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

[52]  Henry Hoffmann,et al.  Evaluation of the Raw microprocessor: an exposed-wire-delay architecture for ILP and streams , 2004, Proceedings. 31st Annual International Symposium on Computer Architecture, 2004..

[53]  F. Schmidt-Kaler,et al.  Realization of the Cirac–Zoller controlled-NOT quantum gate , 2003, Nature.