Polynomial-Space Approximation of No-Signaling Provers

  title={Polynomial-Space Approximation of No-Signaling Provers},
  author={Tsuyoshi Ito},
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