{"id":"arxiv/2605.09872","url":"https://arxiv.org/abs/2605.09872","tags":["quant-ph","cs.CC"],"score":0,"title":"Multi-Prover Interactive Proof Systems with Leakage","domain":"quant-ph","source":"arxiv","authors":["Vahid R. Asadi","Atsuya Hasegawa","François Le Gall"],"reviews":0,"subject":"quant-ph","summary":"It is known that there exist multi-prover interactive protocols ($\\mathsf{MIP}$ protocols) for the complexity class $\\mathsf{NEXP}$, succinct $\\mathsf{MIP}$ protocols for $\\mathsf{NP}$ and multi-prover interactive protocols with shared entanglement ($\\mathsf{MIP}^\\ast$ protocols) for $\\mathsf{RE}$. This extraordinary power of multi-prover interactive proof systems comes from the assumption that provers do not communicate with each other during the protocols. If they are allowed to communicate freely, the setting is the same as in the single-prover case, and the computational power of the…","category":"research","comments":0,"disputed":false,"division":"physics","mentions":0,"discussed":0,"published":"2026-05-11","reactions":{}}