QMA, kvantiniai liudytojai ir lokalieji hamiltonianai
Tyrimų kontekstas
postgraduate concept · established · Patikros data 2026-10-10
QMA suteikia polinominio laiko kvantiniam tikrintojui liudytoją, sudarytą iš polinominio skaičiaus kubitų: „taip“ atvejais priimamas bent vienas liudytojas, o „ne“ atvejais atmetami visi liudytojai, esant aprėžtam pilnumo ir patikimumo skirtumui.
Esminės žinios
QMA atveju polinominiu laiku veikiantis kvantinis tikrintojas gauna polinominio kubitų skaičiaus liudijimą: teigiamais atvejais priimamas bent vienas liudijimas, o neigiamais atvejais atmetamas kiekvienas liudijimas, esant apribotam pilnumo ir korektiškumo tikimybių skirtumui. 2-lokaliojo hamiltoniano pažado uždavinys yra QMA pilnas, kai pagal nurodytą įvesties kodavimą energijos tarpas išskiriamas polinominiu tikslumu. Konkrečios mažos energijos būsenos parengimas ar patikrinimas skiriasi nuo efektyvaus visų atvejų sprendimo, o pažado tarpas yra esminis.
Vertės ir lygtys
H=sum_j H_j; YES:lambda_min(H)≤a; NO:lambda_min(H)≥b; b−a≥1/poly(n)
- H_j
- aiškiai užkoduoti apribotos normos 2-lokalieji hermitiniai dėmenys
- a,b
- pažado energijos slenksčiai
- n
- kubitų skaičius ir įvesties dydžio mastelis pagal nurodytą kodavimą
Sąlygos ir taikymo ribos
- Nurodykite lokaliųjų dėmenų normas ir tikslumą, dėmenų skaičių, energijos slenksčius ir atvirkščiai polinominį pažado tarpą.
- Tikrinant QMA liudijimas gali būti sunaudotas; paprastam pakartotiniam jo naudojimui ar pakeitimui klasikiniu liudijimu reikia atskirų teoremų.
Šaltiniai · 1
Šaltiniai
Šaltiniai išlaiko savo taikymo ribas. Vien nuoroda nepatvirtina kiekvieno teiginio patikrinimo.
Pagrindimas ir peržiūra
Autorius patikrino šį anglišką teiginį, pateiktą lygtį, jei ji yra, ir nurodytas prielaidas pagal šias šaltinio vietas: §IV BQP išteklių ir orakulo modelis, §V QMA pažadai ir 8 teorema apie 2-lokalųjį hamiltonianą; istorinė apžvalga. Patikra apsiriboja užrašytais teiginiais; neteigiama, kad visiškai atkurtas įrodymas, programine įranga pakartota įrodymo patikra ar išsamiai apžvelgta visa literatūra.
2026-10-10 · Autoriaus atlikta šaltinio teksto, teiginio, lygties ir taikymo srities patikra; kiekvienos grafo sąsajos taikymo ribos apibrėžtos atskirai. Prieš užbaigiant šaką būtina atskira nepriklausoma turinio, šaltinių ir turimos medžiagos peržiūra.
Įrašo informacija
Nuolatinė nuoroda į šį įrašą ↗- Įrašo identifikatorius
- research-info-qma-hamiltonian
- Versija
- research.1
- Struktūruotas žinyno įrašas
- Podiplominis ir tyrimų žinynas