Polynomial-Space Approximation of No-Signaling Provers

@article{Ito2009PolynomialSpaceAO,
  title={Polynomial-Space Approximation of No-Signaling Provers},
  author={Tsuyoshi Ito},
  journal={CoRR},
  year={2009},
  volume={abs/0908.2363}
}
In two-prover one-round interactive proof systems, no-sig naling provers are those who are allowed to use arbitrary strategies, not limited to local operations, as l ong as their strategies cannot be used for communication between them. Study of multi-prover interactive proof systems with no-signaling provers is motivated by study of those with provers sharing quantum states. The rela tion between them is that no-signaling strategies include all the strategies realizable by provers sharing ar… CONTINUE READING