Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026
Reasoning about Continuous-Variable Quantum Systems
Tianshi Yu, Gilles Barthe, Minbo Gao +2
Continuous-variable quantum computing (CVQC) is a computing paradigm in which measurements yield values over a continuous domain. CVQC is both a convenient omputational framework f…
cs.LO2025
Complete Quantum Relational Hoare Logics from Optimal Transport Duality
Gilles Barthe, Minbo Gao, Theo Wang +1
We introduce a quantitative relational Hoare logic for quantum programs. Assertions of the logic range over a new infinitary extension of positive semidefinite operators. We prove…