Author

Tianshi Yu

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Oct 2026

An Explicit Counterexample to Tsirelson's Problem via a Linear System Game

We construct an explicit binary linear system game that separates $C_{qa}$, the closure of the set of finite dimensional quantum correlations, from $C_{qc}$, the set of commuting operator correlations. The game admits a perfect commuting operator strategy, while every correlation in $C_{qa}$ has a success probability s...

Min-Bo Gao, Tian-Shi Yu, Li-Hong Zhi · 0 citations

Jul 2026

Reasoning about Continuous-Variable Quantum Systems

This work develops a formal semantics for a core CV quantum programming language, and sound verification methods for program correctness, and chooses closed positive quadratic forms as semantic predicates, representing finite expectations, domains of finiteness, and infinite penalties in one ordered object.

Tianshi Yu, Gilles Barthe, Min-Bo Gao et al. · arXiv.org · 0 citations