2 papers
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
Traq: Estimating the Quantum Cost of Classical Programs
Anurudh Peduri, Jam Kabeer Ali Khan, Gilles Barthe +1
Predicting practical speedups offered by future quantum computers has become a major focus of the quantum community. Typically, such predictions involve numerical simulations suppo…