An Evaluation Framework and Instruction Set Architecture for Ion-Trap Based Quantum Micro-Architectures

The theoretical study of quantum computation has yielded efficient algorithms for some traditionally hard problems. Correspondingly, experimental work on the underlying physical implementation technology has progressed steadily. However, almost no work has yet been done which explores the architecture design space of large scale quantum computing systems. In this paper, we present a set of tools that enable the quantitative evaluation of architectures for quantum computers. The infrastructure we created comprises a complete compilation and simulation system for computers containing thousands of quantum bits. We begin by compiling complete algorithms into a quantum instruction set. This ISA enables the simple manipulation of quantum state. Another tool we developed automatically transforms quantum software into an equivalent, fault-tolerant version required to operate on real quantum devices. Next, our infrastructure transforms the ISA into a set of low-level micro architecture specific control operations. In the future, these operations can be used to directly control a quantum computer. For now, our simulation framework quickly uses them to determine the reliability of the application for the target micro architecture. Finally, we propose a simple, regular architecture for ion-trap based quantum computers. Using our software infrastructure, we evaluate the design trade offs of this micro architecture.

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

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

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

[4]  Walter S. Scott,et al.  Magic: A VLSI Layout System , 1984, 21st Design Automation Conference Proceedings.

[5]  Charles H. Bennett,et al.  Mixed-state entanglement and quantum error correction. , 1996, Physical review. A, Atomic, molecular, and optical physics.

[6]  David P. DiVincenzo,et al.  Quantum information and computation , 2000, Nature.

[7]  C. Monroe,et al.  Architecture for a large-scale ion-trap quantum computer , 2002, Nature.

[8]  J. Hughes,et al.  Transport of Quantum States and Separation of Ions in a Dual Rf Ion Trap * , 2002 .

[9]  Bernhard Ömer,et al.  Quantum Programming in QCL , 2000 .

[10]  I. Chuang,et al.  Quantum Computation and Quantum Information: Bibliography , 2010 .

[11]  Eric Jay Feigin,et al.  A Case for Automatic Run-Time Code Optimization , 1999 .

[12]  Lov K. Grover,et al.  Quantum computation , 1999, Proceedings Twelfth International Conference on VLSI Design. (Cat. No.PR00013).

[13]  Laflamme,et al.  Perfect Quantum Error Correcting Code. , 1996, Physical review letters.

[14]  J. Britton,et al.  Quantum information processing with trapped ions , 2002, Philosophical Transactions of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences.

[15]  G. Amdhal,et al.  Validity of the single processor approach to achieving large scale computing capabilities , 1967, AFIPS '67 (Spring).

[16]  Vikram S. Adve,et al.  LLVA: a low-level virtual instruction set architecture , 2003, Proceedings. 36th Annual IEEE/ACM International Symposium on Microarchitecture, 2003. MICRO-36..

[17]  J. Raimond,et al.  Simple cavity-QED two-bit universal quantum logic gate: The principle and expected performances. , 1995, Physical review. A, Atomic, molecular, and optical physics.

[18]  Carl Ebeling,et al.  PathFinder: A Negotiation-Based Performance-Driven Router for FPGAs , 1995, Third International ACM Symposium on Field-Programmable Gate Arrays.

[19]  Andreas Schramm,et al.  The Fraunhofer Quantum Computing Portal - www.qc.fraunhofer.de - A web-based Simulator of Quantum Computing Processes , 2004, quant-ph/0406089.

[20]  Markus Mock,et al.  Calpa: a tool for automating selective dynamic compilation , 2000, MICRO 33.

[21]  Brian N. Bershad,et al.  Fast, effective dynamic compilation , 1996, PLDI '96.

[22]  H. Carmichael,et al.  Quantum state reduction and conditional time evolution of wave-particle correlations in cavity QED. , 2000, Physical review letters.

[23]  Shor,et al.  Scheme for reducing decoherence in quantum computer memory. , 1995, Physical review. A, Atomic, molecular, and optical physics.

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

[25]  D. Leung,et al.  Bulk quantum computation with nuclear magnetic resonance: theory and experiment , 1998, Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences.

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