Showing quant-phShow all
3 papers · 1 filter
quant-ph2026
No-Go Theorems for Quantum Transport Metrics from Fixed Cost Operators
Minbo Gao, Zhengfeng Ji, Tianshi Yu
Coupling-based quantum optimal transport generalizes classical optimal transport by representing transport plans as bipartite states with prescribed marginals and evaluating their…
quant-ph2025
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-ph2025
A Noncommutative Nullstellensatz for Perfect Two-Answer Quantum Nonlocal Games
Tianshi Yu, Lihong Zhi
This paper introduces a noncommutative version of the Nullstellensatz, motivated by the study of quantum nonlocal games. It has been proved that a two-answer nonlocal game with a p…