Systems Architecture for Quantum Random Access Memory (2306.03242v2)
Abstract: Operating on the principles of quantum mechanics, quantum algorithms hold the promise for solving problems that are beyond the reach of the best-available classical algorithms. An integral part of realizing such speedup is the implementation of quantum queries, which read data into forms that quantum computers can process. Quantum random access memory (QRAM) is a promising architecture for realizing quantum queries. However, implementing QRAM in practice poses significant challenges, including query latency, memory capacity and fault-tolerance. In this paper, we propose the first end-to-end system architecture for QRAM. First, we introduce a novel QRAM that hybridizes two existing implementations and achieves asymptotically superior scaling in space (qubit number) and time (circuit depth). Like in classical virtual memory, our construction enables queries to a virtual address space larger than what is actually available in hardware. Second, we present a compilation framework to synthesize, map, and schedule QRAM circuits on realistic hardware. For the first time, we demonstrate how to embed large-scale QRAM on a 2D Euclidean space, such as a grid layout, with minimal routing overhead. Third, we show how to leverage the intrinsic biased-noise resilience of the proposed QRAM for implementation on either Noisy Intermediate-Scale Quantum (NISQ) or Fault-Tolerant Quantum Computing (FTQC) hardware. Finally, we validate these results numerically via both classical simulation and quantum hardware experimentation. Our novel Feynman-path-based simulator allows for efficient simulation of noisy QRAM circuits at a larger scale than previously possible. Collectively, our results outline the set of software and hardware controls needed to implement practical QRAM.
- Polynomial-time T-depth optimization of Clifford+ T circuits via matroid partitioning. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 33, 10 (2014), 1476–1489.
- Encoding electronic spectra in quantum circuits with linear T complexity. Physical Review X 8, 4 (2018), 041015.
- MUQUT: Multi-constraint quantum circuit mapping on NISQ computers. In 2019 IEEE/ACM International Conference on Computer-Aided Design (ICCAD). IEEE, 1–7.
- Quantum machine learning. Nature 549, 7671 (2017), 195–202.
- The XZZX surface code. Nature communications 12, 1 (2021), 2172.
- Quantum repeaters: the role of imperfect local operations in quantum communication. Physical Review Letters 81, 26 (1998), 5932.
- Sally Anne Browning. 1980. The tree machine: A highly concurrent computing environment. California Institute of Technology.
- Gregory T Byrd and Yongshan Ding. 2023. Quantum Computing: Progress and Innovation. Computer 56, 1 (2023), 20–29.
- Adán Cabello. 2002. Bell’s theorem with and without inequalities for the three-qubit Greenberger-Horne-Zeilinger and W states. Physical Review A 65, 3 (2002), 032108.
- An Efficient and Error-Resilient Protocol for Quantum Random Access Memory with Generalized Data Size. arXiv preprint arXiv:2303.05207 (2023).
- Programming languages and compiler design for realistic quantum hardware. Nature 549, 7671 (2017), 180–187.
- Fault-tolerant resource estimation of quantum random-access memories. IEEE Transactions on Quantum Engineering 1 (2020), 1–13.
- Yongshan Ding and Frederic T Chong. 2020. Quantum computer systems: Research for noisy intermediate-scale quantum computers. Synthesis lectures on computer architecture 15, 2 (2020), 1–227.
- Systematic crosstalk mitigation for superconducting qubits via frequency-aware compilation. In 2020 53rd Annual IEEE/ACM International Symposium on Microarchitecture (MICRO). IEEE, 201–214.
- Square: Strategic quantum ancilla reuse for modular quantum programs via cost-effective uncomputation. In 2020 ACM/IEEE 47th Annual International Symposium on Computer Architecture (ISCA). IEEE, 570–583.
- Implementing image analysis with a graph-based parallel computing model. Springer.
- Entanglement of bosonic modes through an engineered exchange interaction. Nature 566, 7745 (2019), 509–512.
- T-count and T-depth of any multi-qubit unitary. npj Quantum Information 8, 1 (2022), 141.
- Craig Gidney. 2018. Halving the cost of quantum addition. Quantum 2 (2018), 74.
- Craig Gidney and Martin Ekerå. 2021. How to factor 2048 bit RSA integers in 8 hours using 20 million noisy qubits. Quantum 5 (2021), 433.
- Quantum singular value transformation and beyond: exponential improvements for quantum matrix arithmetics. In Proceedings of the 51st Annual ACM SIGACT Symposium on Theory of Computing. 193–204.
- Architectures for a quantum random access memory. Physical Review A 78, 5 (2008), 052310.
- Quantum random access memory. Physical review letters 100, 16 (2008), 160501.
- Minimizing state preparations in variational quantum eigensolver by partitioning into commuting families. arXiv preprint arXiv:1907.13623 (2019).
- Going beyond Bell’s theorem. Bell’s theorem, quantum theory and conceptions of the universe (1989), 69–72.
- Lov K Grover. 1996. A fast quantum mechanical algorithm for database search. In Proceedings of the twenty-eighth annual ACM symposium on Theory of computing. 212–219.
- Connor T Hann. 2021. Practicality of Quantum Random Access Memory. Ph. D. Dissertation. Yale University.
- Resilience of quantum random access memory to generic noise. PRX Quantum 2, 2 (2021), 020311.
- Aram Harrow. 2001. Quantum compiling. Ph. D. Dissertation. Massachusetts Institute of Technology, Department of Physics.
- Quantum algorithm for linear systems of equations. Physical review letters 103, 15 (2009), 150502.
- Optimal embedding of complete binary trees into lines and grids. In Proc. 17th Int. Workshop on Graph-Theoretic Concepts in Computer Science (WG’91), Lecture Notes in Computer Science. 25–35.
- Exploiting quantum teleportation in quantum circuit mapping. In Proceedings of the 26th Asia and South Pacific Design Automation Conference. 792–797.
- Surface code quantum computing by lattice surgery. New Journal of Physics 14, 12 (2012), 123011.
- Microelectronic circuit design. McGraw-Hill New York.
- Samuel Jaques and Arthur G Rattew. 2023. QRAM: A Survey and Critique. arXiv preprint arXiv:2305.10310 (2023).
- One-level storage system. IRE Transactions on Electronic Computers 2 (1962), 223–235.
- Tackling the qubit mapping problem for NISQ-era quantum devices. In Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems. 1001–1014.
- Expansion of layouts of complete binary trees into grids. Discrete applied mathematics 131, 3 (2003), 611–642.
- Guang Hao Low and Isaac L Chuang. 2017. Optimal Hamiltonian simulation by quantum signal processing. Physical review letters 118, 1 (2017), 010501.
- Trading T-gates for dirty qubits in state preparation and unitary synthesis. arXiv preprint arXiv:1812.00954 (2018).
- Quantum circuit placement. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 27, 4 (2008), 752–763.
- Implementation of a Quantum Switch with Superconducting Circuits. Bulletin of the American Physical Society (2023).
- Qubit Mapping and Routing via MaxSAT. In 2022 55th IEEE/ACM International Symposium on Microarchitecture (MICRO). IEEE, 1078–1091.
- Noise-adaptive compiler mappings for noisy intermediate-scale quantum computers. In Proceedings of the twenty-fourth international conference on architectural support for programming languages and operating systems. 1015–1029.
- Michael A Nielsen and Isaac Chuang. 2002. Quantum computation and quantum information.
- Jaroslav Opatrny and Dominique Sotteau. 2000. Embeddings of complete binary trees into grids and extended grids with total vertex-congestion 1. Discrete Applied Mathematics 98, 3 (2000), 237–254.
- Experimental entanglement swapping: entangling photons that never interacted. Physical review letters 80, 18 (1998), 3891.
- Approximate Quantum Random Access Memory Architectures. arXiv preprint arXiv:2210.14804 (2022).
- Data structures and algorithms for simplifying reversible circuits. ACM Journal on Emerging Technologies in Computing Systems (JETC) 2, 4 (2006), 277–293.
- John Preskill. 2018. Quantum computing in the NISQ era and beyond. Quantum 2 (2018), 79.
- Oded Regev and Liron Schiff. 2008. Impossibility of a quantum speed-up with a faulty oracle. In Automata, Languages and Programming: 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part I 35. Springer, 773–781.
- Peter W Shor. 1994. Algorithms for quantum computation: discrete logarithms and factoring. In Proceedings 35th annual symposium on foundations of computer science. Ieee, 124–134.
- Asymptotically optimal circuit depth for quantum state preparation and general unitary synthesis. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (2023).
- Swamit S Tannu and Moinuddin K Qureshi. 2019. Not all qubits are created equal: A case for variability-aware policies for NISQ-era quantum computers. In Proceedings of the Twenty-Fourth International Conference on Architectural Support for Programming Languages and Operating Systems. 987–999.
- Convex optimization using quantum oracles. Quantum 4 (2020), 220.
- Rodney Van Meter. 2014. Quantum networking. John Wiley & Sons.
- Tilt: Achieving higher fidelity on a trapped-ion linear-tape quantum computing architecture. In 2021 IEEE International Symposium on High-Performance Computer Architecture (HPCA). IEEE, 153–166.
- A hybrid controlled-SWAP gate between two bosonic modes. Bulletin of the American Physical Society (2023).
- Time-optimal qubit mapping. In Proceedings of the 26th ACM International Conference on Architectural Support for Programming Languages and Operating Systems. 360–374.
- Optimal quantum circuit synthesis from controlled-unitary gates. Physical Review A 69, 4 (2004), 042309.