Problem
Research questions and friction points this paper is trying to address.
quantum programs
expected cost analysis
automated tool support
classical-quantum programs
Automated Expected Cost Analysis for Quantum Programs
🤖 AI Summary
Writing quantum programs is error-prone and lacks automated tools for precise analysis of their expected costs. This work proposes Qet, the first fully automatic static analysis tool based on the quantum expectation transformer framework, which derives upper bounds on the expected cost of hybrid classical-quantum programs featuring intermediate measurements and classical control flow. By generalizing Dijkstra’s predicate transformers and Hoare logic and integrating them with static analysis techniques, Qet automatically computes tight upper bounds that previously required tedious manual derivations. The approach operates without human intervention and has been validated on multiple benchmark programs, demonstrating both its effectiveness and state-of-the-art performance.
📝 Abstract
In recent years, quantum computing has gained a substantial amount of momentum, and the capabilities of quantum devices are continually expanding and improving. Nevertheless, writing a quantum program from scratch remains tedious and error-prone work, showcasing the clear demand for automated tool support. We present Qet, a fully automated static program analysis tool that yields a precise expected cost analysis of mixed classical-quantum programs. Qet supports programs with advanced features like mid-circuit measurements and classical control flow. The methodology of our prototype implementation is based on a recently proposed quantum expectation transformer framework, generalising Dijkstra's predicate transformer and Hoare logic. The prototype implementation Qet is evaluated on a number of case studies taken from the literature and online references. Qet is able to fully automatically infer precise upper bounds on the expected costs that previously could only be derived by tedious manual calculations.
Innovation
Methods, ideas, or system contributions that make the work stand out.
quantum expectation transformer
automated cost analysis
mixed classical-quantum programs
mid-circuit measurement
static program analysis
🔎 Similar Papers
No similar papers found.
