Urekebishaji wa makosa ya kwanta na qubiti za kimantiki, yafafanuliwa

Jinsi urekebishaji wa makosa ya kwanta hubadilisha qubiti nyingi za kifizikia zenye kelele kuwa qubiti za kimantiki zinazoaminika zaidi, na kwa nini umbali wa msimbo, viwango vya kizingiti, na surface codes ni muhimu.

Ukurasa huu umetafsiriwa kutoka Kiingereza. Majina ya kampuni na bidhaa pamoja na viungo vya vyanzo hayajabadilishwa. Soma asili kwa Kiingereza

Urekebishaji wa makosa ya kwanta ni mkusanyiko wa mbinu zinazotumiwa kuweka taarifa dhaifu za kwanta zikiwa bado zinaweza kutumika licha ya kelele, decoherence, na uendeshaji usio kamili. Wazo la msingi ni kusimba qubiti moja au zaidi za kimantiki ndani ya mkusanyiko mkubwa wa qubiti za kifizikia, kupima mara kwa mara ukaguzi uliochaguliwa kwa uangalifu ambao unaonesha taarifa za makosa bila kufichua hali ya kwanta iliyolindwa, kisha kutumia hatua za urejeshaji kulingana na syndrome iliyobainika.

Kwa nini kompyuta za kwanta zinahitaji urekebishaji wa makosa

Taarifa ya kwanta ni nyeti kupita kawaida. Makosa yanaweza kutoka kwenye decoherence na vyanzo vingine vya kelele za kwanta, na katika kompyuta ya kwanta ya vitendo pia lazima kushughulikia milango yenye hitilafu, maandalizi ya hali yasiyo kamili, na makosa ya vipimo. Hilo linafanya urekebishaji wa makosa kuwa wa msingi si kwa kuhifadhi hali za kwanta pekee, bali pia kwa kuendesha hesabu ndefu.

Urekebishaji wa makosa wa jadi hufanya kazi kwa kuongeza uradufu kwenye biti. Urekebishaji wa makosa ya kwanta unalenga jambo linalofanana na hilo, lakini ukiwa na kizuizi kikubwa: kipimo cha moja kwa moja cha qubiti kwa kawaida huvuruga hali yake. Hivyo msimbo wa kwanta lazima utoe taarifa kuhusu kilichokwenda kombo bila kufichua taarifa ya kimantiki yenyewe. Katika misimbo mingi, hili hufanywa kupitia vipimo vya waendeshaji wanaokomuti vinavyoitwa stabilizers.

Njia yenye manufaa ya kufikiria ahadi ya urekebishaji wa makosa ya kwanta ni kama tabaka la uigaji: ukipewa njia ya kifizikia yenye kelele inayolingana na modeli fulani ya makosa, msimbo wa urekebishaji wa makosa ya kwanta unaweza kutumika kukadiria njia ya kimantiki isiyo na kelele kwa kiwango kinachotosha kufanya mawasiliano au hesabu kuwa ya vitendo.

Qubiti za kifizikia, qubiti za kimantiki, na umbali wa msimbo

Nukuu ya kawaida ya msimbo wa kwanta ni [[n,k,d]], ikimaanisha kwamba msimbo unasimba qubiti k za kimantiki ndani ya qubiti n za kifizikia zenye umbali wa msimbo d.

Vigezo hivyo vitatu vinabeba sehemu kubwa ya mabadilishano ya kiubunifu:

n: ni qubiti ngapi za kifizikia zinazotumiwa na msimbo
k: ni qubiti ngapi za kimantiki zinazolindwa
d: umbali wa msimbo, kipimo kinachohusiana na jinsi ilivyo vigumu kwa makosa kutenda kama uendeshaji wa kimantiki

Kiwango cha msimbo, k/n, ni kipimo cha msingi cha ufanisi. Kiwango cha juu humaanisha gharama ndogo zaidi kwa kila qubiti ya kimantiki. Lakini umbali mkubwa na kiwango kikubwa kwa ujumla huvutana pande tofauti, hivyo usanifu wa msimbo unahusu kusawazisha uaminifu dhidi ya gharama ya vifaa.

Kwa upana, mzunguko wa urekebishaji wa makosa ya kwanta una hatua tatu:

Usimbaji wa taarifa ya kimantiki ndani ya mfumo mkubwa wa kifizikia
Uhifadhi au usafirishaji kupitia njia yenye kelele
Utoaji wa syndrome na urejeshaji, unaobaini makosa yanayowezekana na kuyarekebisha

Syndrome ni muhimu sana. Vipimo vya stabilizer huchaguliwa ili vifichue taarifa za makosa pekee, si hali ya kwanta iliyosimbwa. Vinginevyo mchakato wa urekebishaji ungeharibu superposition ambazo kompyuta inajaribu kuhifadhi.

Ni aina gani za makosa ambazo misimbo hulenga?

Makosa yanayotawala hutegemea sana jukwaa la vifaa. Mifano muhimu ni pamoja na:

Amplitude damping, au upotevu wa msisimko, unaohusishwa na kulegea kuelekea usawaziko
Coherent errors, yanayotokana na mienendo ya ndani ya mfumo
Dephasing, ambayo ni mojawapo ya michakato inayotawala ya kelele katika utekelezaji mwingi wa qubiti

Hata hivyo, misimbo mingi ya kwanta hufanya kazi na modeli iliyorahisishwa ambamo makosa huchukuliwa kama miunganiko ya uendeshaji wa Pauli:

X kwa makosa yanayofanana na kubadilika kwa biti
Z kwa makosa yanayofanana na kubadilika kwa awamu
Y kwa makosa ya pamoja ya biti na awamu

Taswira hii inayotegemea Pauli haikamata kila mchakato halisi wa kelele, lakini inatumika sana kwa sababu hufanya uchanganuzi na ujenzi wa misimbo kuwa rahisi kushughulika nayo. Chini ya modeli hiyo, utoaji wa syndrome na usimbuaji wa makosa mara nyingi unaweza kuwekwa katika mfumo unaokopa mawazo kutoka nadharia ya jadi ya usimbaji.

Urahisishaji huo una tahadhari moja: usimbuaji wa makosa bado unaweza kuwa mgumu. Msimbo wenye vigezo [[n,k,d]] una syndrome zinazowezekana 2^(n-k), jambo ambalo haraka huwa kubwa mno kwa majedwali rahisi ya utafutaji. Kwa vitendo, kawaida huhitajika algoriti bora za usimbuaji wa makosa za kitamaduni.

Ustahimilivu wa hitilafu: kurekebisha makosa bila kuyafanya kuwa mabaya zaidi

Urekebishaji wa makosa pekee hautoshi kwa hesabu inayoweza kupanuka. Katika kompyuta, mfumo wenyewe wa urekebishaji hutumia milango, vipimo, na ancilla zilizotayarishwa ambazo zote zinaweza kushindwa. Hapo ndipo ustahimilivu wa hitilafu huingia.

Wazo kuu ni kubuni usimbaji, kipimo cha syndrome, na urejeshaji kwa namna ambayo idadi ndogo ya hitilafu za kifizikia haisambai na kuwa kushindwa kwa kimantiki kusikoweza kurekebishika. Urekebishaji wa makosa ya kwanta unasema hili linahusiana na quantum threshold theorem: hesabu za kwanta za urefu wowote zinawezekana kwa kuunganisha misimbo kwa kurudia, mradi tu kiwango cha makosa ya milango binafsi ya kwanta kikae chini ya kizingiti fulani.

Urekebishaji wa makosa ya kwanta unatoa makadirio ya kihistoria kutoka 2004 kwamba kizingiti hiki kinaweza kufikia 1–3%, kwa kudhani qubiti za kutosha zinapatikana. Pia unatoa hisia ya kwa nini kizingiti ni muhimu: chini yake, urekebishaji huondoa makosa mengi zaidi kuliko unavyoanzisha; juu yake, mchakato wa urekebishaji unaweza kuwa na madhara kwa jumla.

Dhana hii ya kizingiti ni mojawapo ya sababu zinazofanya qubiti za kimantiki kuwa muhtasari wenye manufaa sana. Qubiti ya kimantiki si kipengele kimoja cha kifaa bali ni kitu kilichosimbwa ambacho kiwango chake halisi cha makosa kinaweza, kwa kanuni, kushushwa zaidi kwa kuongeza rasilimali za kifizikia na kutumia taratibu bora zaidi za kustahimili hitilafu.

Familia kuu za misimbo na kile zinachoboresha

Familia tofauti za misimbo hufanya mabadilishano tofauti kati ya gharama ya ziada, umbali, muundo, na urahisi wa utekelezaji.

Code family	Wazo kuu	Notable trade-off or feature
Shor code	Inapanuka hadi `[[d^2,1,d]]`; hutumia misimbo ya uradufu ya ndani na nje kushughulikia kando makosa ya bit-flip na phase-flip	Huongeza umbali, lakini kwa kiwango cha chini cha msimbo
Steane / quantum Hamming codes	Hubadilisha muundo wa uradufu kwa msimbo wa jadi wa Hamming wa `[7,4]` na kushughulikia makosa ya `X` na `Z` kwa ulinganifu	Kiwango bora zaidi cha msimbo kuliko uradufu wa mtindo wa Shor
CSS codes	Mfumo wa jumla unaotokana na miundo inayohusiana ya Calderbank, Shor, na Steane	Hutenganisha stabilizer za `X` na `Z`, jambo linalosaidia katika kipimo cha syndrome chenye ustahimilivu wa hitilafu
Five-qubit code	Hutumia stabilizer nne zinazochanganya `X` na `Z`; si msimbo wa CSS	Msimbo mdogo zaidi unaowezekana unaolinda qubiti moja ya kimantiki dhidi ya makosa ya qubiti moja ya aina yoyote
Surface code	Msimbo wa topolojia wa stabilizer kwenye kimiani cha 2D	Ukaguzi wa karibu na mpangilio wa tambarare huvutia kwa majaribio

Five-qubit code ni muhimu hasa kimawazo. Ni msimbo mdogo zaidi unaowezekana ambao unaweza kulinda qubiti moja ya kimantiki dhidi ya makosa ya qubiti moja ya aina yoyote, jambo linalohusiana na quantum Hamming bound.

Urekebishaji wa makosa ya kwanta pia unataja non-additive codes, ambazo ziko nje ya formalism ya stabilizer inayotumiwa na misimbo additive ya [[n,k,d]]. Hizi zinaweza kufikia viwango vya juu zaidi vya msimbo katika baadhi ya hali, lakini ni ngumu zaidi kujenga na kuchanganua, hivyo bado hazijachunguzwa sana.

Kwa nini surface codes zimekuwa muhimu sana

Miongoni mwa familia za kisasa za misimbo, surface codes ni msingi kwa urekebishaji wa makosa ya kwanta unaoweza kupanuka mwaka 2025. Sababu kuu ni ya usanifu: zinafafanuliwa kwa kutumia vipimo vya karibu vya stabilizer kwenye kimiani cha vipimo viwili, jambo ambalo linaendana vizuri zaidi na majukwaa mengi ya vifaa kuliko misimbo inayohitaji mwingiliano wa masafa marefu.

Surface code ni msimbo wa topolojia wa stabilizer. Katika toleo la toric lililoanzishwa na Alexei Kitaev in 1997, qubiti hukaa kwenye kingo za kimiani cha 2D, na stabilizer huhusishwa na vilele na plaquette. Makosa hujitokeza kama ukiukaji wa stabilizer hizi.

Taswira yenye manufaa ni kwamba kosa hutengeneza au kuhamisha kasoro zilizojitenga, zinazoelezwa kama anyon:

kosa la Z hubadilisha stabilizer za vilele vya jirani
kosa la X hubadilisha stabilizer za plaquette za jirani

Urekebishaji unamaanisha kuoanisha kasoro hizi na kuzifuta tena. Ikiwa njia zinazotokana ni topolojia trivially, athari halisi ni stabilizer tu na taarifa ya kimantiki haibadiliki. Ikiwa njia ni topolojia non-trivial, mchakato hutenda kama opereta wa kimantiki na taarifa iliyosimbwa hubadilishwa.

Ufafanuzi huo wa kijiometri ni mojawapo ya sababu zinazofanya surface codes ziwe rahisi kueleweka. Umbali wa msimbo huwa urefu wa chini zaidi wa njia au kitanzi kisicho trivial kinachotekeleza kosa la kimantiki.

Toric, planar, na rotated planar surface codes

Jiometri kadhaa zinazohusiana ni muhimu.

Toric code hutumia masharti ya mipaka ya mzunguko, ambayo ni sawa topolojia na torus. Kwa kimiani cha d × d ina qubiti 2d^2, na nafasi yake ya msimbo ni ya vipimo vinne, hivyo huhifadhi qubiti mbili za kimantiki.

Kwa vifaa, mipaka iliyo wazi mara nyingi ni ya vitendo zaidi, jambo linaloleta planar code. Lakini muundo wa mipaka ni muhimu. Surface code yenye aina moja tu ya mpaka haisimbi qubiti ya kimantiki. Ili kuunda nafasi ya msimbo isiyo trivial, huhitajika mipaka inayopishana ya smooth na rough. Ikiwa kuna mipaka smooth juu na chini na mipaka rough kushoto na kulia, planar code huhifadhi qubiti moja ya kimantiki, na njia za chini zaidi zisizo trivial topolojia huwa na urefu d, zikitoa umbali wa msimbo d.

Rotated planar code ni uboreshaji wa ufanisi. Surface code inasema kwamba rotated planar code ya distance-d hutumia qubiti za kifizikia d^2, ikilinganishwa na d^2 + (d − 1)^2 kwa toleo la planar lisiloroteshwa, huku ikidumisha umbali huohuo wa msimbo.

Vizingiti, usimbuaji wa makosa, na maana ya “chini ya kizingiti”

Surface codes pia zinajulikana kwa vizingiti vya juu kwa kiasi chini ya modeli za kawaida za kelele. Kwa modeli ambamo makosa ya biti na awamu hutokea kwa kujitegemea kwenye kila qubiti kwa uwezekano p, Surface code inaripoti:

uwezekano muhimu wa takriban 11% kutoka kwa ulinganishaji wa fizikia ya takwimu
takriban 10.5% wakati wa kutumia kisimbuaji cha makosa kinachotumika sana cha minimum weight perfect matching

Namba hizo ni muhimu, lakini zinahitaji kutafsiriwa. Kwanza, zinategemea modeli ya makosa inayodhaniwa. Pili, kikomo cha kinadharia kina manufaa tu ikiwa kuna kisimbuaji cha makosa cha vitendo kinachokikaribia. Tatu, baadhi ya visimbuaji hufanya vibaya zaidi wakati makosa ya biti na awamu yamehusiana, kama ilivyo chini ya depolarizing noise.

Hivyo “chini ya kizingiti” haimaanishi kuwa mfumo hauna makosa. Inamaanisha kwamba, kwa kanuni, kuongeza ukubwa wa msimbo kunaweza kupunguza kiwango cha makosa ya kimantiki badala ya kufanya mambo kuwa mabaya zaidi.

Zaidi ya misimbo ya vitalu vya qubiti

Urekebishaji wa makosa ya kwanta ni mpana zaidi kuliko misimbo ya vitalu vya qubiti-kwa-qubiti. Taarifa ya kwanta inaweza kusimbwa ndani ya qudits au ndani ya oscillators, ambazo zina viwango vya nishati visivyo na mwisho. Mbinu za bosonic kama cat, GKP, na mawazo ya mtindo wa binomial hutumia uradufu ndani ya oscillator moja badala ya kusambaza qubiti moja ya kimantiki kwenye mifumo mingi ya ngazi mbili.

Hilo linaangazia swali muhimu lililo wazi la usanifu katika nyanja hii: je, uradufu unapaswa kuishi kwenye qubiti nyingi za kifizikia, ndani ya mifumo ya vipimo vya juu, au katika mseto wa vyote viwili?

Hali ya nyanja hii mwaka 2025

Surface codes zina athari kubwa hasa mwaka 2025. Urekebishaji wa makosa ya kwanta unasema kwamba zinawezesha qubiti za kimantiki zilizo chini ya kizingiti zenye uaminifu ulioboreshwa katika mifumo ya superconducting, na kando yake unasema kwamba Google Quantum AI ilitekeleza distance-7 planar code kwenye prosesa yake ya superconducting ya Willow, ikionyesha kiwango cha makosa ya kifizikia kilicho chini ya kizingiti.

Hilo halimaanishi kwamba changamoto pana zaidi imetatuliwa. Qubiti za kimantiki bado zinahitaji gharama kubwa ya ziada, usimbuaji wa makosa bado ni tatizo halisi la mifumo, na utendaji hutegemea kulinganisha uchaguzi wa msimbo na kelele halisi ya vifaa. Lakini linaonesha kwa nini qubiti za kimantiki sasa ni lengo la vitendo la uhandisi badala ya kuwa dhana ya kinadharia pekee.

Mambo muhimu ya kukumbuka

Urekebishaji wa makosa ya kwanta hulinda taarifa dhaifu za kwanta kwa kusimba qubiti za kimantiki ndani ya mifumo mikubwa ya kifizikia na kutoa mara kwa mara syndrome za makosa.
Nukuu ya kawaida ya [[n,k,d]] inaonesha mabadilishano makuu: gharama ya kifizikia dhidi ya uwezo wa kimantiki unaolindwa na umbali wa msimbo.
Msimbo mingi inayotumika sana hurahisisha kelele za vifaa kuwa makosa ya Pauli ya X, Y, na Z, ingawa vifaa halisi pia huonesha athari kama amplitude damping na dephasing.
Ustahimilivu wa hitilafu ni muhimu kwa sababu mchakato wa urekebishaji wenyewe una kelele; threshold theorem inasema hesabu inayoweza kupanuka inawezekana tu chini ya kiwango fulani cha makosa ya kifizikia.
Five-qubit code ni msimbo mdogo zaidi unaoweza kulinda qubiti moja ya kimantiki dhidi ya makosa ya qubiti moja ya aina yoyote.
CSS codes zinathaminiwa kwa sababu hutenganisha stabilizer za X na Z, jambo linalosaidia katika kipimo cha syndrome chenye ustahimilivu wa hitilafu.
Surface codes zinaonekana sana kwa sababu stabilizer zake ni za karibu kwenye kimiani cha 2D, jambo linalozifanya zivutie kwa majaribio.
Katika surface codes, kushindwa kwa kimantiki kunalingana na njia za makosa zisizo trivial topolojia; umbali wa msimbo ni ukubwa wa chini zaidi wa njia kama hiyo.
Rotated planar surface codes hupunguza idadi ya qubiti ikilinganishwa na planar codes zisizoroteshwa huku zikihifadhi umbali.
Thamani za kizingiti zilizoripotiwa na maonesho ya hivi karibuni zinatia moyo, lakini utendaji wa vitendo bado hutegemea kelele za vifaa, ubora wa kisimbuaji cha makosa, na gharama kubwa za qubiti za kifizikia.