Robust self-testing of nonmaximal entanglement from a reduced inner product game

We reduce Lalonde’s pseudo-telepathy inner product game from six to five dimensions, keeping its four Alice questions and three Bob questions and reducing each answer alphabet to five. We prove that the reduced game self-tests its nonmaximally entangled state and all 35 measurement effects. The self-test is also robust: for a strategy winning with probability at least $1-\epsilon$ we obtain $d_{\mathrm{e}\mathrm{x}\mathrm{t}}\le \min \{1,2^{21}\sqrt{\epsilon }\}$, where $d_{\mathrm{e}\mathrm{x}\mathrm{t}}=\sqrt{1-\mathrm{\Xi }}$ and $\mathrm{\Xi }$ is the optimal squared fidelity with the reference state under local extraction channels. A compactness argument then gives simultaneous qualitative robustness for all measurement actions on the state under common local isometries. As a consequence of the self-test, no maximally entangled state of any finite dimension can win the game perfectly.