Showing quant-phShow all
2 papers · 1 filter
quant-ph2026
Complete Relational Logic for Infinite-Dimensional Quantum Programs with Unbounded Assertions
Gilles Barthe, Minbo Gao, Jam Kabeer Ali Khan +7
We present sound and complete relational program logics for infinite-dimensional quantum and classical-quantum programs. The logics model assertions as self-adjoint unbounded linea…
quant-ph2026
A Compilation Framework for Quantum Simulation of Non-unitary Dynamics
Qifan Huang, Minbo Gao, Li Zhou +1
Most quantum compilers assume programs are reversible unitary circuits. This fits closed-system algorithms, but not open-system simulation, where the natural program objects are qu…