Tianshi Yu | 清华大学计算机系量子软件研究中心 https://quantum.cs.tsinghua.edu.cn/author/tianshi-yu/ Tianshi Yu Hugo Blox Builder (https://hugoblox.com)zh-HansThu, 30 Jul 2026 00:00:00 +0000 https://quantum.cs.tsinghua.edu.cn/media/icon_hu_4bddb5895fb575d1.png Tianshi Yu https://quantum.cs.tsinghua.edu.cn/author/tianshi-yu/ No-Go Theorems for Quantum Transport Metrics from Fixed Cost Operators https://quantum.cs.tsinghua.edu.cn/publication/gao-2026-no-go-theorems-for-quantum-transport-metrics-from-fixed-cost-operators/ Thu, 30 Jul 2026 00:00:00 +0000 https://quantum.cs.tsinghua.edu.cn/publication/gao-2026-no-go-theorems-for-quantum-transport-metrics-from-fixed-cost-operators/ Complete Relational Logic for Infinite-Dimensional Quantum Programs with Unbounded Assertions https://quantum.cs.tsinghua.edu.cn/publication/barthe-2026-complete-relational-logic-for-infinite-dimensional-quantum-programs-with-unbounded-assertions/ Thu, 09 Jul 2026 00:00:00 +0000 https://quantum.cs.tsinghua.edu.cn/publication/barthe-2026-complete-relational-logic-for-infinite-dimensional-quantum-programs-with-unbounded-assertions/