A cost-parametric quantum Hoare logic with continuous-outcome bind is proved sound and relatively complete over closed positive quadratic-form predicates, with case studies on a null-recurrent quantum walk and one-round GKP correction.
Title resolution pending
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2026 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Reasoning about Continuous-Variable Quantum Systems
A cost-parametric quantum Hoare logic with continuous-outcome bind is proved sound and relatively complete over closed positive quadratic-form predicates, with case studies on a null-recurrent quantum walk and one-round GKP correction.