# Quantum Random Access Stored-Program Machines

arXiv: https://arxiv.org/abs/2003.03514 · HTML: https://mlsanity.com/paper/2003.03514/

## Key facts

- Cited by 1 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 7 Mar 2020.

## Built on by (most cited first, 1 of 1)

- [A comparative study of universal quantum computing models: towards a physical unification](https://mlsanity.com/paper/2108.07909/) (2021)

## Abstract (arXiv)

Random access machines (RAMs) and random access stored-program machines (RASPs) are models of computing that are closer to the architecture of real-world computers than Turing machines (TMs). They are also convenient in complexity analysis of algorithms. The relationships between RAMs, RASPs and TMs are well-studied. However, clear relationships between their quantum counterparts are still missing in the literature. We fill in this gap by formally defining the models of quantum random access machines (QRAMs) and quantum random access stored-program machines (QRASPs) and clarifying the relationships between QRAMs, QRASPs and quantum Turing machines (QTMs). In particular, we show that P subseteq EQRAMP subseteq EQP subseteq BQP = BQRAMP, where EQRAMP and BQRAMP stand for the sets of problems that can be solved by polynomial-time QRAMs with certainty and bounded-error, respectively. At the heart of our proof, is a standardisation of QTM with an extended halting scheme, which is of independent interest.