Quantum-Classical Programming and Deception

The field of quantum computing is moving towards the development of more expressive and extensible programming paradigms, allowing for the capture of near-term and forthcoming quantum computing devices' capabilities. This is evident in the introduction of novel graph-based intermediate representations and domain-specific languages that enable high-level hybrid quantum programs with complex control flow. Additionally, research is being conducted on the application of quantum games to deception, exploring the concept of quantum deception as controlled perturbations of the payoff Hamiltonian. Noteworthy papers include: HUGR, which introduces a novel graph-based intermediate representation for mixed quantum-classical programs, and Quantum Deception, which develops a framework for deception in quantum games. Imperative Quantum Programming with Ownership and Borrowing in Guppy is also notable for its development of a quantum type system that combines ergonomic linear typing with imperative semantics.

Sources

HUGR: A Quantum-Classical Intermediate Representation

Quantum Deception: Honey-X Deception using Quantum Games

GUPPY: Pythonic Quantum-Classical Programming

Imperative Quantum Programming with Ownership and Borrowing in Guppy

Built with on top of