Quantum Merlin-Arthur with an internally separable proof
Fuente:
arXiv
Salvato in:
| Autori principali: | , , , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866929558014394368 |
|---|---|
| author | Bassirian, Roozbeh Fefferman, Bill Leigh, Itai Marwaha, Kunal Wu, Pei |
| author_facet | Bassirian, Roozbeh Fefferman, Bill Leigh, Itai Marwaha, Kunal Wu, Pei |
| contents | We find a modification to QMA where having one quantum proof is strictly less powerful than having two unentangled proofs, assuming EXP $\ne$ NEXP. This gives a new route to prove QMA(2) = NEXP that overcomes the primary drawback of a recent approach [arXiv:2402.18790 , arXiv:2306.13247] (QIP 2024). Our modification endows each proof with a form of *multipartite* unentanglement: after tracing out one register, a small number of qubits are separable from the rest of the state. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2410_19152 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Quantum Merlin-Arthur with an internally separable proof Bassirian, Roozbeh Fefferman, Bill Leigh, Itai Marwaha, Kunal Wu, Pei Quantum Physics Computational Complexity We find a modification to QMA where having one quantum proof is strictly less powerful than having two unentangled proofs, assuming EXP $\ne$ NEXP. This gives a new route to prove QMA(2) = NEXP that overcomes the primary drawback of a recent approach [arXiv:2402.18790 , arXiv:2306.13247] (QIP 2024). Our modification endows each proof with a form of *multipartite* unentanglement: after tracing out one register, a small number of qubits are separable from the rest of the state. |
| title | Quantum Merlin-Arthur with an internally separable proof |
| topic | Quantum Physics Computational Complexity |
| url | https://arxiv.org/abs/2410.19152 |