2026 m. kvantinių ir klasikinių įrodymų bei pagalbinės informacijos atskyrimas orakulo modelyje
Tyrimų kontekstas
development · established · Patikros data 2026-10-10
preprint · 2026-02-10
- Tyrimo metodas
- Sudėtingumo teorijos orakulo konstrukcija, naudojanti gerus iš sąrašų atkuriamus kodus ir kodų sankirtos uždavinį, su tiksliais koherentinių užklausų ir patarimų modeliais.
- Pateiktas rezultatas
- Kvantinių ir klasikinių liudytojų bei kvantinių ir klasikinių patarimų atskyrimai naudojant klasikinį orakulą.
- Ribotumai
- Reliatyvizuotas matematinis rezultatas; preprinto statusas vertinamas atsargiai, o ši konstrukcija neišsprendžia įprasto nereliatyvizuoto lygybės ar atskyrimo klausimo.
Bostanci, Huang ir Vaikuntanathan 2026 m. rankraštyje konstruojamas klasikinis orakulas O, kuriam QMA^O nėra QCMA^O poaibis, o BQP^O/qpoly nėra BQP^O/poly poaibis, naudojant kodų sankirtos uždavinį su stipriomis atkūrimo iš sąrašų savybėmis.
Esminės žinios
Bostanci, Huang ir Vaikuntanathan 2026 rankraštyje sukonstruotas klasikinis orakulas O, kuriam QMA^O nėra QCMA^O poaibis, o BQP^O/qpoly nėra BQP^O/poly poaibis, pasitelkiant kodų sankirtos uždavinį, pasižymintį stipriomis sąrašų atkūrimo savybėmis. Orakulas yra klasikinis, tačiau leidžia nurodytą prieigą koherentinėmis kvantinėmis užklausomis. Šis rezultatas atnaujina ankstesnę žinių apie orakulus ribą; jis neįrodo, kad įprastos nereliatyvizuotos klasės yra nelygios ar kad kiekvienas kvantinis liudytojas teikia praktinį pranašumą.
Sąlygos ir taikymo ribos
- Prieiga prie orakulo, polinominis įrodymo ar patarimo ilgis ir uniformus tikrinimas yra tiksliai apibrėžto reliatyvizuoto modelio dalis.
- Autorių rankraštis ir pateikimo metaduomenys patikrinti 2026 m. spalio 10 d.; konservatyviai laikomas išankstine publikacija, be visiško nepriklausomo įrodymo atkūrimo.
Šaltiniai · 2
Šaltiniai
Šaltiniai išlaiko savo taikymo ribas. Vien nuoroda nepatvirtina kiekvieno teiginio patikrinimo.
- Separating Quantum and Classical Advice with Good Codes (2026 author manuscript)John Bostanci, Andrew Huang and Vinod VaikuntanathanMokslinis straipsnis · PDF
- Separating Quantum and Classical Advice with Good Codes: submission historyJohn Bostanci, Andrew Huang and Vinod Vaikuntanathan / arXivTyrimo santrauka
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ą; pateikimą 2026 m. vasario 10 d., autorių bei versijos metaduomenis ir santrauką. 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-2026-oracle-separation
- Versija
- research.1
- Struktūruotas žinyno įrašas
- Podiplominis ir tyrimų žinynas