Resource-Aware Quantum Programming with General Recursion and Quantum Control
Abstract
This paper introduces the hybrid quantum language with general recursion , driven towards resource-analysis. By design, does not require the specification of an initial set of quantum gates. Hence, it is well amenable towards a generic cost analysis, unlike languages that use different sets of quantum gates, which yield quantum circuits of distinct complexity. Regarding resource-analysis, we show how to relate the runtime of an expressive fragment of programs with the size of the corresponding quantum circuits. We also manage to capture the class of functions computable in quantum polynomial time, which, by Yao's Theorem, corresponds to families of circuits of polynomial size. Consequently, this result paves the way for the use of termination and runtime-analysis techniques designed for classical programs to guarantee bounds on the size of quantum circuits.
Keywords
Cite
@article{arxiv.2510.20452,
title = {Resource-Aware Quantum Programming with General Recursion and Quantum Control},
author = {Kostia Chardonnet and Emmanuel Hainry and Romain Péchoux and Thomas Vinet},
journal= {arXiv preprint arXiv:2510.20452},
year = {2026}
}