From the 1 of 5 linked papers with an AI index.
5 papers
No-Go Theorems for Quantum Transport Metrics from Fixed Cost Operators
Minbo Gao, Zhengfeng Ji, Tianshi Yu
The paper proves that for quantum optimal transport based on fixed-cost operators, neither the optimal cost nor its square root can define a metric on the full quantum state space…
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…
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…
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…
Perfect Quantum Approximate Strategies for Imitation Games
Hao Liang, Tianshi Yu, Lihong Zhi
We prove that an imitation game has a perfect quantum approximate strategy if and only if there exists a bi-tracial state on the minimal tensor product of two universal C-alg…