We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.PL

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Programming Languages

Title: Tower: Data Structures in Quantum Superposition

Abstract: 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 -- reversibility, history independence, and bounded-time execution. Standard implementations, such as representing an abstract set as a hash table, fail these properties, calling for tools to develop specialized implementations.
In this work, we present Core Tower, the first language for quantum programming with random-access memory. Core Tower enables the developer to implement data structures as pointer-based, linked data. It features a reversible semantics enabling every valid program to be translated to a unitary quantum circuit.
We present Boson, the first memory allocator that supports reversible, history-independent, and constant-time dynamic memory allocation in quantum superposition.
We also present Tower, a language for quantum programming with inductive data structures. Tower features a type system that bounds all recursion using classical parameters.
Using Tower, we implement Ground, the first quantum library of data structures, including lists, stacks, queues, strings, and sets. We provide the first executable implementation of sets that satisfies all three mandated properties of reversibility, history independence, and bounded-time execution.
Comments: 24 pages, 15 figures. [v2] add discussion of concurrent work in Sec 1.4 and add acknowledgements section
Subjects: Programming Languages (cs.PL); Quantum Physics (quant-ph)
Cite as: arXiv:2205.10255 [cs.PL]
  (or arXiv:2205.10255v2 [cs.PL] for this version)

Submission history

From: Charles Yuan [view email]
[v1] Fri, 20 May 2022 15:36:33 GMT (81kb,D)
[v2] Fri, 3 Jun 2022 19:42:29 GMT (81kb,D)

Link back to: arXiv, form interface, contact.