Žinynas
Žinių pagrindai
Tyrinėkite sąvokas, dėsnius, lygtis ir metodus, jų taikymą ir šaltinius. Pasirinkite pažinimo sritį arba raskite konkretų žinyno įrašą.
Daugiau filtrų
Kvantinė informacija
Rodoma įrašų: 1–15 iš 15
Kodo poerdvis su projektoriumi P tiksliai ištaiso nurodyto klaidų E-a tiesinio apvalkalo klaidas tada ir tik tada, kai kiekvienai klaidų porai galioja P E-a† E-b P=c-ab P.
Matematinis teiginysInformacijaStabilizatorių kodai, CSS struktūra ir kodo atstumasStabilizatoriaus kodas yra bendras visų abelinio Pauli pogrupio operatorių fiksuojamas poerdvis; pogrupyje negali būti minus vienetinis operatorius.
ApibrėžimasInformacijaPaviršinio kodo slenkstis ir fizinio triukšmo prielaidosPaviršiniai ir toriniai kodai matuoja vietines stabilizatoriaus patikras ir pagal sindromus sprendžia apie galimas klaidų grandines.
ModelisInformacijaKlaidoms atsparios operacijos ir loginių išteklių biudžetaiKlaidoms atspariuose skaičiavimuose būtina valdyti klaidas išgaunant sindromą, atkuriant būseną ir vykdant užkoduotus loginius vartus, taip pat saugant būseną be operacijų.
MetodasInformacijaPaviršiaus kodo atmintis žemiau slenksčio: matavimų duomenys„Google Quantum AI“ tyrime, paskelbtame žurnale Nature internete 2024 m. gruodžio 9 d. ir 2025 m. tome, aprašoma paviršiaus kodo atmintis, kurios kodo atstumas yra septyni ir kuri naudoja 101 fizinį kubitą, kurios loginės klaidos tikimybė per ciklą yra 0.143%±0.003%.
Empirinis rezultatasInformacijaBQP ir išvadų apie sudėtingumo klases ribosBQP sudaro sprendimo uždaviniai, sprendžiami uniformiomis polinominio dydžio kvantinėmis grandinėmis su aprėžta paklaida, naudojant nurodytą baigtinį vartų modelį ir klasikinę įvestį bei išvestį.
ApibrėžimasInformacijaQMA, kvantiniai liudytojai ir lokalieji hamiltonianaiQMA 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.
Matematinis teiginysInformacija2026 m. kvantinių ir klasikinių įrodymų bei pagalbinės informacijos atskyrimas orakulo modelyjeBostanci, 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.
Matematinis teiginysInformacijaQMA ir QCMA be orakuloKaip 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.
Atviras klausimasInformacijaKubitai, tankio būsenos ir matavimo tikimybėsGrynoji kubito būsena yra normuotas vektorius erdvėje C², apibrėžtas iki bendrosios fazės; mišrioji būsena yra teigiamai pusapibrėžtas vienetinio pėdsako tankio operatorius.
ApibrėžimasInformacijaKvantiniai kanalai ir visiškas teigiamumasFizikinis posistemės kanalas modeliuojamas visiškai teigiamu, pėdsaką išsaugančiu atvaizdžiu.
ApibrėžimasInformacijaKvantinės grandinės, vartai ir išteklių apskaitaKvantinė grandinė jungia unitarinius vartus, pagalbines sistemas, kanalus ir matavimus pagal nurodytą vartų rinkinį.
ApibrėžimasInformacijaGrover paieška ir jos juodosios dėžės apatinė ribaNestruktūruotai paieškai tarp N alternatyvų, turint koherentinį žymėjimo orakulą ir vieną pažymėtą elementą, amplitudės stiprinimas naudoja O(sqrt(N)) orakulo užklausų, kad sėkmės tikimybė būtų atskirta nuo nulio.
Matematinis teiginysInformacijaShor periodo paieška ir skaidymo daugikliais prielaidosShor skaidymo daugikliais algoritmas redukuoja skaidymą į periodo paiešką ir naudoja modulinį kėlimą laipsniu, kvantinį fazės bei Fourier apdorojimą ir klasikines grandinines trupmenas.
MetodasInformacijaKvantinė entropija ir Holevo ribaVon Neumann entropija yra −tr rho log2 rho ir lygi tankio operatoriaus tikrinių verčių Shannon entropijai.
Matematinis teiginys