Quantum Multi Prover Interactive Proofs with Communicating Provers

We introduce another variant of quantum MIP, where the provers do not share entanglement, the communication between the verifier and the provers is quantum, but the provers are unlimited in the classical communication between them. At first, this model may seem very weak, as provers who exchange inf...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Or, M.B., Hassidim, A., Pilpel, H.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Computer science Indium tin oxide interactive proofs multi prover Polynomials Protocols quantum Quantum computing Quantum entanglement Quantum mechanics
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!