A Denotational Semantics for Quantum Loops
Nicola Assolini, Alessandra Di Pierro
TL;DR
This paper develops a denotational semantics framework for high-level quantum programming constructs, specifically quantum-controlled branching and loops, capturing the coherent evolution of quantum systems.
Contribution
It introduces a novel denotational domain that mathematically models quantum control flow with loops, enhancing understanding of quantum program semantics.
Findings
Defines a mathematical meaning for quantum control flow with loops
Reflects the coherent evolution of quantum systems in semantics
Provides a foundation for reasoning about quantum algorithms' behavior
Abstract
Programming a quantum computer, i.e., implementing quantum algorithms on a quantum processor-based copmputer architecture, is a task that can be addressed (just as for classical computers) at different levels of abstraction. This paper proposes a denotational semantics for high-level quantum programming constructs, focusing on the conceptual meaning of quantum-controlled branching and iteration. We introduce a denotational domain where a mathematical meaning of a quantum control flow with loops can be defined, which reflects the coherent evolution of the quantum system implementing the program.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsQuantum Computing Algorithms and Architecture · Logic, Reasoning, and Knowledge · Cognitive Computing and Networks