However, one should note that I_3322 may be able to do something that this paper doesn't. William's work leaves open the question of whether there are games with infinite-dimensional tensor product strategies but no finite-dimensional ones. Some of us might expect that I_3322 has this property.
For those familiar with I_3322, William here gives an example of a nonlocal game exhibiting a behaviour that many of us suspected (but couldn't prove) to be possessed by I_3322.
The author writes "My ideas towards the proof of these results in this paper originates from the observations made by Carlen in ". Actually, the first main result is a direct corollary of theorem 2.3 of , in the sense of directly applying theorem 2.3 of , which regards monotonicity of re