Vi ger en kvant interaktiv bevissystem för den lokala Hamiltonian problem på n qubits där (i) kontrollören har en enda runda av interaktion med fem insnärjda bevis, (ii) kontrollören skickar ett klassiskt meddelande på O(log n) bitar till varje bevisare, som svarar med ett konstant antal qubits, och (iii) fullständighet och ljudhet separeras av en omvänd polynom i n. Eftersom samma klass av bevissystem, utan insnärjning mellan bevisen, ingår i QCMA, vårt resultat ger den första indikationen att kvant multiprover interaktiva bevissystem med insnärjda bevis kan vara strikt mer kraftfull än unentangledprover interaktiva bevissystem. Ett utmärkande drag i vårt protokoll är att den fullständiga egenskapen kräver ärliga visare att dela en stor insnärjd tillstånd, som erhållits som kodning av marken tillstånd den lokala Hamiltonian via en felkorrigering kod. Vårt resultat kan tolkas som ett första steg mot en multiprover variant av kvant PCP hypotesen.
Idén om att använda en distribuerad kodning av marken tillstånd för att få ett multiprover interaktivt bevissystem för markstaten energi införs i REF.
A Multiprover Interactive Proof System for the Local Hamiltonian Problem
{'venue': "ITCS '15", 'journal': None, 'mag_field_of_study': ['Mathematics', 'Physics', 'Computer Science']}