# Tower: Data Structures in Quantum Superposition

@article{Yuan2022TowerDS, title={Tower: Data Structures in Quantum Superposition}, author={Charles Yuan and Michael Carbin}, journal={ArXiv}, year={2022}, volume={abs/2205.10255} }

Emerging quantum algorithms for problems such as element distinctness, subset sum, and closest pair demonstrate computational advantages by relying on abstract data structures . Practically realizing such an algorithm as a program for a quantum computer requires an efficient implementation of the data structure whose operations correspond to unitary operators that manipulate quantum superpositions of data. To correctly operate in superposition, an implementation must satisfy three properties…

## Figures and Tables from this paper

## References

SHOWING 1-10 OF 58 REFERENCES

SQUARE: Strategic Quantum Ancilla Reuse for Modular Quantum Programs via Cost-Effective Uncomputation

- Computer Science2020 ACM/IEEE 47th Annual International Symposium on Computer Architecture (ISCA)
- 2020

This paper presents SQUARE (Strategic QUantum Ancilla REuse), a compilation infrastructure that tackles allocation and reclamation of scratch qubits in modular quantum programs, and proposes an improved metric, the “active quantum volume,” and uses this metric to evaluate the effectiveness of the algorithm.

LIQUi|>: A Software Design Architecture and Domain-Specific Language for Quantum Computing

- Computer ScienceArXiv
- 2014

Languages, compilers, and computer-aided design tools will be essential for scalable quantum computing, which promises an exponential leap in our ability to execute complex tasks. LIQUi|> is a…

Parallelizing the queries in a bucket-brigade quantum random access memory

- Computer Science
- 2020

It is concluded that, in theory, fault-tolerant bucket- Brigade quantum RAM queries can be performed approximately with the speed of classical RAM, and the exponentially many ancillas from the bucket-brigade addressing scheme are a tradeoff cost for achieving exponential query speedup compared to quantum read-only memories whose queries are sequential by design.

Graph comparison via nonlinear quantum search

- Computer ScienceQuantum Inf. Process.
- 2019

An efficiently scaling quantum algorithm which finds the size of the maximum common edge subgraph for a pair of arbitrary graphs and thus provides a meaningful measure of graph similarity and demonstrates the power of nonlinear quantum search techniques to solve a subset of NP-hard problems.

Toward the first quantum simulation with quantum speedup

- Computer ScienceProceedings of the National Academy of Sciences
- 2018

It is argued that simulating the time evolution of spin systems is a classically hard problem of practical interest that is among the easiest to address with early quantum devices, and develops optimized implementations and performs detailed resource analyses for several leading quantum algorithms for this problem.

Quipper: a scalable quantum programming language

- Computer Science, PhysicsPLDI
- 2013

Quipper, a scalable, expressive, functional, higher-order quantum programming language, which is geared towards a model of computation that uses a classical computer to control a quantum device, but is not dependent on any particular model of quantum hardware.

A functional quantum programming language

- Computer Science20th Annual IEEE Symposium on Logic in Computer Science (LICS' 05)
- 2005

QML integrates reversible and irreversible quantum computations in one language, using first order strict linear logic to make weakenings explicit, and preserves superpositions and entanglement -which is essential for quantum parallelism.

Silq: a high-level quantum language with safe uncomputation and intuitive semantics

- Computer SciencePLDI
- 2020

This work presents Silq, the first quantum language that addresses this challenge by supporting safe, automatic uncomputation, and enables an intuitive semantics that implicitly drops temporary values, as in classical computation.

Quantum Programming with Inductive Datatypes: Causality and Affine Type Theory

- Computer ScienceFoSSaCS
- 2020

This paper constructs a sound categorical model for the quantum programming language QPL and provides the first detailed semantic treatment of user-defined inductive datatypes in quantum programming, and shows the denotational interpretation is invariant with respect to big-step reduction.

Limits of quantum speed-ups for computational geometry and other problems: Fine-grained complexity via quantum walks

- Computer Science, MathematicsITCS
- 2022

The theory of fine-grained complexity is extended to the quantum setting, and new lower-bounds on the time complexity of quantum algorithms for several computational problems are shown, implying tight limits on the quantum speedup that is possible for these problems.