Provided that $\mathsf{MIP}^*=\mathsf{RE}$ there can be Bell inequalities that have violations achievable only for infinite dimensional quantum systems (vide discussions in Post1 and Post2). Does this implies that this kind of behaviour, once found, will not be simulable by a finite dimensional quantum computer? What are implications for the Church-Turing thesis or its extended quantum version?
Asked
Active
Viewed 121 times
