Tierkreis: A Dataflow Framework for Hybrid Quantum-Classical Computing
Seyon Sivarajah, Lukas Heidemann, Alan Lawrence, Ross Duncan
Published November 4, 2022
Abstract
We present Tierkreis, a higher-order dataflow graph program representation and runtime designed for compositional, quantum-classical hybrid algorithms. The design of the system is motivated by the remote nature of quantum computers, the need for hybrid algorithms to involve cloud and distributed computing, and the long-running nature of these algorithms. The graph-based representation reflects how designers reason about and visualise algorithms, and allows automatic parallelism and asynchronicity. A strong, static type system and higher-order semantics allow for high expressivity and compositionality in the program. The flexible runtime protocol enables third-party developers to add functionality using any language or environment. With Tierkreis, quantum software developers can easily build, visualise, verify, test, and debug complex hybrid workflows, and immediately deploy them to the cloud or a custom distributed environment.
Author comment
Submitted to SC22 Workshop: Quantum Computing Software
More in quant-ph
- Unifying communication paradigms in measurement-based delegated quantum computingFabian Wiesner, Jens Eisert, Anna Pappa
- Entangling Disciplines: Causality, Entropy and Time-Travel Paradoxes on a Quantum ComputerMaria Violaris
- Arbitrary Ground State Observables from Quantum Computed MomentsHarish J. Vallury, Lloyd C. L. Hollenberg
- Permutational-key quantum homomorphic encryption with homomorphic quantum error-correctionYingkai Ouyang, Peter P. Rohde
- Quantum Computing in the NISQ era and beyondJohn Preskill