Quantum Controlled Measurements via Program Transformation
summary
Proposes a program transformation that defers measurements from inside quantum conditionals to the outside, turning programs with mid-circuit measurements into ones that compile to circuit form: prepare ancilla, apply a controlled isometry, then measure. Demonstrates the method on the quantum SWITCH and on quantum-controlled while loops, showing a clear physical implementation and exposing Ying’s semantic parameter as an introduced dummy state. Works but requires choosing that ancilla state and may need unbounded ancilla lists if loops don’t terminate.
AI-written summary · about
chapters (10)
- 0:00Quantum controlled measurements intro
- 2:50Program transformation overview
- 5:46Move measurements inside Quantum if
- 6:29Force measurements outside Quantum if
- 7:33Fix type mismatch with dummy values
- 9:00Resulting semantics and circuit
- 11:33Connection to prior quantum control
- 13:00Quantum control with while loops
- 16:23Summary and future work
- 18:31Q&A
related talks
24mQuantum Control Machine: The Limits of Control Flow in Quantum Programming
18mFormalization of a Programming Language for Quantum Circuits with Measurement and Classical Control
30mQuantum Computing for Programming Languages Researchers
15mToward A Quantum Programming Language for Higher Level Formal Verification
15mAssertion-Based Optimization of Quantum Programs
40mDemocratizing quantum formal verification: the path-sum way
13mQbC: Quantum Correctness by Construction
22mA Semantics for Quantum Loops