QMA ir QCMA be orakulo
Šis įrašas aprašo atvirą klausimą ir jo pagrindimą. Šaltinių peržiūra klausimo neišsprendžia.
Tyrimų kontekstas
open question · unresolved · Patikros data 2026-10-10
Kaip nustatyta per 2026 m. spalio 10 d. peržiūrą, 2026 atskyrimo naudojant klasikinį orakulą rezultatas atskiria kvantinius ir klasikinius liudytojus reliatyvizuotame modelyje, tačiau šis rezultatas neišsprendžia įprastų QMA ir QCMA klasių santykio klausimo.
Esminės žinios
Kaip nustatyta per 2026 m. spalio 10 d. peržiūrą, 2026 atskyrimo naudojant klasikinį orakulą rezultatas atskiria kvantinius ir klasikinius liudytojus reliatyvizuotame modelyje, tačiau šis rezultatas neišsprendžia įprastų QMA ir QCMA klasių santykio klausimo. Norint pateikti aiškų atskyrimą įprastų formaliųjų kalbų atveju arba bendrą simuliaciją naudojant klasikinius liudytojus, reikėtų papildomų nereliatyvizuotų samprotavimų. Teorema apie orakulą ir eksperimentinis kvantinės atminties rezultatas nagrinėja skirtingus klausimus ir negali pakeisti tokio įrodymo.
Sąlygos ir taikymo ribos
- Atviras klausimas susijęs su įprastomis klasėmis be papildomo orakulo, taikant standartines aprėžto atotrūkio pažado konvencijas.
- Ši konkrečia data apibrėžta žinių riba nurodo, ką nustato patikrinti originalūs rezultatai ir ką jie palieka neišspręsta; ji nepatvirtina kiekvieno naujo literatūroje pasirodančio rankraščio.
Šaltiniai · 2
Šaltiniai
Šaltiniai išlaiko savo taikymo ribas. Vien nuoroda nepatvirtina kiekvieno teiginio patikrinimo.
Pagrindimas ir peržiūra
Autorius patikrino šį anglišką teiginį, atskirai pateiktą lygtį, jei tokia yra, ir nurodytas prielaidas pagal šias šaltinių vietas: įvadą, teoremas 1.1–1.2 ir formalią orakulo bei sąrašų atkūrimo konstrukciją; nereliatyvizuoto atvejo ribą; IV skyriuje pateiktą BQP, išteklių ir orakulo modelį, V skyriuje pateiktus QMA pažadus ir 2-lokalaus Hamiltoniano teoremą 8; istorinę apžvalgą. Patikra apsiriboja užfiksuotais teiginiais; neteigiama, kad atliktas visiškas įrodymo atkūrimas, programinis įrodymo pakartojimas ar išsami visos literatūros aprėptis.
2026-10-10 · Autoriaus atlikta šaltinio pagrindinio teksto, teiginio, lygties ir galiojimo srities patikra; kiekvienos grafo sąsajos aprėptis nustatyta atskirai. Prieš užbaigiant šaką būtina atskira nepriklausoma turinio, šaltinių ir inventoriaus peržiūra.
Įrašo informacija
Nuolatinė nuoroda į šį įrašą ↗- Įrašo identifikatorius
- research-info-unrelativized-witness-frontier
- Versija
- research.1
- Struktūruotas žinyno įrašas
- Podiplominis ir tyrimų žinynas