A Separation between Full-Rank PVM and Assumption-free Self-Testing

Main result.

Abstract

We construct a nonlocal game that self-tests a maximally entangled qubit strategy among pure full-Schmidt-rank projective strategies, but admits an inequivalent optimum using one nonprojective measurement. This resolves a conjecture of Baptista et al. on imposing full rank and projectivity simultaneously. The construction combines CHSH with an auxiliary game $G$ that forces deterministic answers under these assumptions and admits a trine POVM optimum without them. We classify the optimal correlations of $G$ as a line segment parametrized by the tracial states of $\mathbb{C}\oplus M_2(\mathbb{C})$. Projectivity on the state support removes the matrix summand, whereas projective dilations with nonzero nonabort probability have a nontracial local state whose zero left ideal is not two-sided. Finally, a family in local dimension six shows that the full-rank PVM self-test is not robust.

Publication
arXiv:2609.10013
Ranyiliu Chen
Ranyiliu Chen
Visiting Scholar

I received my doctorate in Mathematics from the University of Copenhagen in 2025, under the supervision of Prof. Laura Mancinska. Previously I obtained my master’s and bachelor’s degrees in 2020 and 2017 respectively, both in electronic engineering from Beihang University. My research interests include quantum information theory, Bell non-locality and quantum machine learning.