Quantum Orchestras: a Concrete Semantics for Recursive Hybrid Programs
📄 arXiv:2607.09605 · 📥 PDF · 2026-07-10 · quant-ph
Authors: Alex Rice [arXiv · scholar] , Dominik Leichtle [arXiv · scholar] , Kim Worrall [arXiv · scholar] , Robert I. Booth [arXiv · scholar]
🕰 Orloj analysis
Tento článek představuje monádu „quantum orchestra“ pro poskytnutí denotační sémantiky hybridních kvantových programovacích jazyků, které umožňují měření uprostřed obvodu a nedokončení. Monáda je založena na formalismu kvantových instrumentů a umožňuje interpretaci divergentních hybridních programů.
💡 Práce nabízí významný teoretický příspěvek k formální sémantice kvantového programování, vyplňující klíčovou mezeru v oboru.
✓ modest_claims
📄 Abstract
Many production quantum programming languages represent hybrid quantum computations by extending a classical base language with a quantum effect, where qubits are addressed by reference, and quantum operations are understood to mutate some external quantum state. However, the semantics of this view of quantum computation remains underdeveloped, especially when the language allows mid-circuit measurements and non-termination. In this work, we provide a general method for building denotational semantics for such languages, by defining the quantum orchestra monad, which precisely captures this style of quantum effect. The monad has a concrete presentation, being based on the formalism of quantum instruments, a common tool in quantum information theory for capturing the action of a quantum process along with its classical outcomes. It acts on the category DCPO, and so enables the interpretation of divergent hybrid programs. The quantum orchestra monad serves as a natural extension of both the classical state monad and the probabilistic powerdomain monad. We investigate some of the subtleties present when trying to naïvely extend these definitions to the quantum non-commutative case.