Mpanoratra: Neereja Sundaresan Theodore J. Yoder Youngseok Kim Muyuan Li Edward H. Chen Grace Harper Ted Thorbeck Andrew W. Cross Antonio D. Córcoles Maika Takita Fametrahana Ny fanitsiana lesoka amin'ny quantum dia manome lalana mampanantena amin'ny fanaovana kajy quantum avo lenta. Na dia mbola tsy tanteraka aza ny fanatanterahana tanteraka ny algorithm tsy mahazaka lesoka, ny fanatsarana vao haingana amin'ny herinaratra fanaraha-maso sy ny fitaovana quantum dia ahafahana mampiseho fandidiana mandroso kokoa amin'ny fanitsiana lesoka. Eto, manao fanitsiana lesoka amin'ny quantum amin'ny qubits superconducteur mifandray amin'ny lamba mifanandrify amin'ny hexagon mavesatra izahay. Manoratra qubit lojika izahay manana halavirana telo ary manao dingana maromaro amin'ny fandrefesana ny soritr'aretina tsy mahazaka lesoka izay ahafahana manitsy ny lesoka rehetra amin'ny circuitry. Amin'ny fampiasana feedback tena izy, averinay amin'ny laoniny ny qubits soritr'aretina sy ny saina aorian'ny tsirairay amin'ny tsingerin'ny fakana soritr'aretina. Mitatitra lesoka lojika miankina amin'ny decoder izahay, miaraka amin'ny lesoka lojika salanisa isaky ny fandrefesana soritr'aretina amin'ny fototra Z(X) amin'ny ~0.040 (~0.088) ary ~0.037 (~0.087) ho an'ny decoders mifanandrify sy maximum likelihood, tsirairay avy, amin'ny data voafantina amin'ny leakage. Fampidirana Ny vokatra azo avy amin'ny kajy quantum dia mety ho diso, amin'ny fampiharana, noho ny tabataba amin'ny fitaovana. Mba hanafoanana ny lesoka vokatr'izany, ny kaody fanitsiana lesoka amin'ny quantum (QEC) dia azo ampiasaina mba handikana ny fampahalalana quantum ho amin'ny fahalalahana lojika voaro, ary avy eo amin'ny fanitsiana ny lesoka haingana kokoa noho ny fanangonany dia ahafahana manao kajy tsy mahazaka lesoka (FT). Ny fanatanterahana feno ny QEC dia mety mitaky: fanomanana ny toeran'ny lojika; fanatontosana ny andiany iraisam-pirenena amin'ny vavahady lojika, izay mety mitaky ny fanomanana ny toeran'ny hatsarana; fandrefesana matetika ny soritr'aretina; ary ny famakiana ny soritr'aretina mba hanitsiana ny lesoka. Raha mahomby, ny tahan'ny lesoka lojika vokatr'izany dia tokony ho lantsaka noho ny tahan'ny lesoka ara-batana fototra, ary mihena amin'ny halavirana kaody mitombo ka hatramin'ny sandany tsy misy dikany. Ny fisafidianana kaody QEC dia mitaky fiheverana ny fitaovana fototra sy ny toetran'ny tabahan'ny tabataba. Ho an'ny lamba hexagon mavesatra qubits, ny kaody QEC subsystem dia manintona satria tsara ho an'ny qubits misy fifandraisana voafetra. Ny kaody hafa dia naseho ho manan-danja noho ny vahaolana avo lenta ho an'ny FT na isa lehibe amin'ny vavahady lojika transversal . Na dia mety ho sakana lehibe amin'ny fampiakarana ny habaka sy ny fotoana fandaniana aza izy ireo, dia misy fomba fiasa mamporisika hampihenana ny loharanon-karena lafo indrindra amin'ny fampiasana karazana fampihenana lesoka . 1,2 3 4 5 6 Ao amin'ny dingan'ny famakiana, ny fanitsiana mahomby dia miankina tsy amin'ny fahombiazan'ny fitaovana quantum ihany, fa koa amin'ny fampiharana ny herinaratra fanaraha-maso ampiasaina amin'ny fahazoana sy fanodinana ny fampahalalana classical azo avy amin'ny fandrefesana soritr'aretina. Amin'ny tranganay, ny fanombohana ny qubits soritr'aretina sy ny saina amin'ny alàlan'ny feedback tena izy eo anelanelan'ny tsingerin'ny fandrefesana dia afaka manampy amin'ny fampihenana ny lesoka. Eo amin'ny sehatry ny famakiana, raha misy protocol hanao QEC tsy asynchronous ao anatin'ny rafitra FT , ny hafainganam-pandehan'ny soritr'aretina azo dia tokony hifanaraka amin'ny fotoana fanodinana classical mba hisorohana ny fitomboan'ny angon-drakitra soritr'aretina. Ary koa, ny protocol sasany, toy ny fampiasana ny magic state ho an'ny vavahady T lojika , dia mitaky ny fampiharana ny feed-forward tena izy. 7,8 9 Noho izany, ny vina maharitra maharitra amin'ny QEC dia tsy mihetsika mankany amin'ny tanjona tokana fa tokony hojerena ho toy ny fitohizan'ny asa mifandray lalina. Ny lalana fanandramana amin'ny fampandrosoana ity teknolojia ity dia ahitana ny fampisehoana ireo asa ireo tsirairay aloha ary ny fampifangaroana azy ireo tsikelikely taty aoriana, ary miaraka amin'ny fanatsarana tsy tapaka ny metrika mifandraika amin'izany. Ny sasany amin'ireo fandrosoana ireo dia hita taratra amin'ny fandrosoana vao haingana maro be momba ny rafitra quantum amin'ny sehatra ara-batana samihafa, izay nampiseho na nanakaiky ny lafiny maro amin'ny zavatra ilaina amin'ny computing quantum FT. Indrindra indrindra, ny fanomanana ny toeran'ny lojika FT dia naseho tamin'ny ions , ny spin niokleary amin'ny diamondra ary ny qubits superconducteur . Ny tsingerin'ny fakana soritr'aretina matetika dia naseho tamin'ny qubits superconducteur amin'ny kaody famantarana lesoka kely , anisan'izany ny fanitsiana lesoka ampahany ary koa ny andiany iraisam-pirenena (na dia tsy FT aza) amin'ny vavahady single-qubit . Ny fampisehoana FT amin'ny andian-vavahady iraisam-pirenena amin'ny qubits lojika roa dia notaterina vao haingana tamin'ny ions . Eo amin'ny sehatry ny fanitsiana lesoka, dia nisy fanatontosana vao haingana ny kaody tonta telo amin'ny qubits superconducteur miaraka amin'ny famakiana sy ny famafazana , ary koa ny fampiharana FT amin'ny fahatsiarovana quantum voaro amin'ny dinamika amin'ny alàlan'ny kaody loko sy ny fanomanana ny toeran'ny FT, ny fandidiana, ary ny fandrefesana, anisan'izany ny stabilisers azy, ny toeran'ny lojika amin'ny kaody Bacon-Shor amin'ny ions . 10 11 12 13,14 15 16 17 18 19 20 20,21 Eto izahay dia mampifandray ny fahaizana feedback tena izy amin'ny rafitra qubit superconducteur miaraka amin'ny protocol famakiana maximum likelihood tsy mbola nodinihina tamin'ny fampiharana mba hanatsarana ny fahaveloman'ny toeran'ny lojika. Nasehonay ireo fitaovana ireo ho an'asany amin'ny fandidiana FT amin'ny kaody subsystem , ny kaody hexagon mavesatra , amin'ny processeur quantum superconducteur. Zava-dehibe amin'ny fanaovana ny fampiharana an'ity kaody ity ho tsy mahazaka lesoka ny qubits saina izay, rehefa hita fa tsy zero, dia manaitra ny decoder amin'ny lesoka circuitry. Amin'ny famerenana ny qubits saina sy soritr'aretina aorian'ny tsingerin'ny fandrefesana soritr'aretina tsirairay, dia arovana amin'ny lesoka vokatry ny tsy fitoviana amin'ny tabataba ateraky ny fiverenana amin'ny angovo ny rafitray. Nampiasainay bebe kokoa ny paikady famakiana vao haingana ary nampitomboinay ny hevitra famakiana mba hampiditra hevitra momba ny maximum likelihood . 22 1 15 4,23,24 Vokatra Ny kaody hexagon mavesatra sy ny circuits maromaro Ny kaody hexagon mavesatra noforohinay dia kaody 9 qubits manana k=1 qubit lojika miaraka amin'ny halavirana d=3 . Ny vondrona fandrefesana X sy Z (jereo ny Fig. 1a) ary ny vondrona stabiliser dia vao teraka 1 Ny vondrona stabiliser S dia ny foiben'ny vondrona fandrefesana P . Midika izany fa ny stabilisers, ho vokatra ny mpanodina fandrefesana, dia azo tsorohina amin'ny alàlan'ny fandrefesana ny mpanodina fandrefesana ihany. Ny mpanodina lojika dia azo voafantina ho XL = X1X2X3 sy ZL = Z1Z3Z7. i i Vondrona fandrefesana Z (manga) sy X (mena) (fomba 1 sy 2) nomanina tamin'ny qubits 23 ilaina amin'ny kaody hexagon mavesatra telo misy elanelana. Ny qubits kaody (Q1–Q9) dia aseho amin'ny mavo, ny qubits soritr'aretina (Q17, Q19, Q20, Q22) ampiasaina ho an'ny stabilisers Z amin'ny manga, ary ny qubits saina sy ny soritr'aretina ampiasaina amin'ny stabilisers X amin'ny fotsy. Ny filaharana sy ny fitarihana ny fampiharana ny vavahady CX ao anatin'ny tsirairay amin'ny fizarana (0 ka hatramin'ny 4) dia asehon'ny zana-tsipìka isa. Sarin'ny circuit amin'ny iray tsingerin'ny fandrefesana soritr'aretina, ahitana ny stabilisers X sy Z. Ny sarin'ny circuit dia mampiseho ny fahafahana mitovy ny fandidiana ny vavahady: ireo ao anatin'ny fetran'ny sakana fandaharam-potoana (tsipika mitsangana mitsivalana). Koa satria samy hafa ny faharetan'ny vavahady roa qubits, ny fandaharam-potoana farany dia voafaritra amin'ny alàlan'ny fizarana circuit mahazatra amin'ny farany; aorian'izay dia ampiana ny decoupling dinamika amin'ny qubits data izay misy fotoana. Ny fandidiana sy ny famerenana amin'ny laoniny dia voasaraka amin'ny fandidiana hafa amin'ny alàlan'ny sakana mba ahafahana mampiditra decoupling dinamika mitovy amin'ny qubits data mandry. a b Eto izahay dia mifantoka amin'ny circuit FT iray manokana, ny ankamaroan'ny teknikanay dia azo ampiasaina amin'ny fomba mahazatra miaraka amin'ny kaody sy circuits samihafa. Ny sub-circuits roa, aseho amin'ny Fig. 1b, dia natsangana mba handrefesana ny mpanodina fandrefesana X sy Z. Ny circuit fandrefesana fandrefesana Z dia mahazo fampahalalana mahasoa amin'ny alàlan'ny fandrefesana ny qubits saina. Manomana ny toeran'ny kaody amin'ny toeran'ny lojika |+⟩ (|+⟩ ) izahay amin'ny alàlan'ny fanomanana voalohany ny qubits sivy amin'ny toeran'ny |+⟩ ary fandrefesana ny fandrefesana X (fandrefesana Z). Avy eo izahay dia manao fizarana fandrefesana soritr'aretina r, izay ahitana ny fandrefesana Z arahana fandrefesana X (tsirairay avy, fandrefesana X arahana fandrefesana Z). Farany, mamaky ny qubits kaody sivy rehetra izahay amin'ny fototra Z (X). Manao ireo andrana mitovy ho an'ny toeran'ny lojika |+⟩ sy |−⟩ izahay, amin'ny fanaovana tsotra ny fanombohana ny qubits sivy amin'ny |+⟩ ary |−⟩ . L L L L L L L Algoritma famakiana Ao amin'ny sehatry ny computing quantum FT, ny decoder dia algorithm izay mandray ny fandrefesana soritr'aretina avy amin'ny kaody fanitsiana lesoka ary mamorona fanitsiana amin'ny qubits na angon-drakitra fandrefesana. Amin'ity fizarana ity dia manazava algorithm famakiana roa izahay: famakiana matching tonga lafatra sy famakiana maximum likelihood. Ny hypergraph famakiana dia famaritana fohy ny fampahalalana azo tamin'ny circuit FT ary azo ampiasaina amin'ny algorithm famakiana. Izy io dia ahitana andian-teny, na zava-mitranga mora tohina amin'ny lesoka, V, ary andian-teny hyperedge E, izay mandika ny fifandraisana eo amin'ny zava-mitranga vokatry ny lesoka ao amin'ny circuit. Ny Fig. 1c–f dia mampiseho ny ampahany amin'ny hypergraph famakiana ho an'ny andrana nataonay. 15 Ny fananganana hypergraph famakiana ho an'ny circuits stabiliser miaraka amin'ny tabataba Pauli dia azo atao amin'ny alàlan'ny simulation standard Gottesman-Knill na teknika Pauli tracing mitovy . Voalohany, ny zava-mitranga mora tohina amin'ny lesoka dia noforonina ho an'ny fandrefesana tsirairay izay mandanjalanja amin'ny circuit tsy misy lesoka. Ny fandrefesana mandanjalanja M dia fandrefesana rehetra izay ny vokatra m ∈ {0,1} dia azo vinaniana amin'ny alàlan'ny fametrahana modulo roa ny vokatra fandrefesana avy amin'ny andian-teny {m } amin'ny fandrefesana teo aloha. Izany hoe, ho an'ny circuit tsy misy lesoka, m = Σ m mod 2, izay azo jerena ny andian-teny {m } amin'ny alàlan'ny simulation ny circuit. Apetraho ny sandan'ny zava-mitranga mora tohina amin'ny lesoka ho m - FM(mod 2), izay zero (antsoina koa hoe trivial) raha tsy misy lesoka. Noho izany, ny fahatsapan-tena ny zava-mitranga mora tohina amin'ny lesoka tsy trivial dia manondro fa ny circuit dia niatrika lesoka farafaharatsiny iray. Ao amin'ny circuits anay, ny zava-mitranga mora tohina amin'ny lesoka dia samy qubits saina na ny fahasamihafana amin'ny fandrefesana mitovy amin'ny stabiliser (antsoina koa hoe soritr'aretina fahasamihafana). 25 26 j j j j Manaraka izany, ny hyperedge dia ampiana amin'ny fiheverana ny lesoka amin'ny circuit. Ny maodely anay dia ahitana mety ho lesoka p ho an'ny tsirairay amin'ireo singa circuitry maromaro C Eto izahay dia manavaka ny fandidiana ny tsindry id amin'ny qubits mandritra ny fotoana anaovan'ny qubits hafa ny fandidiana unitary, amin'ny fandidiana ny tsindry idm amin'ny qubits rehefa ny hafa dia mandeha amin'ny fandrefesana sy famerenana amin'ny laoniny. Averinay amin'ny laoniny ny qubits aorian'ny fandrefesana azy, raha averinay amin'ny laoniny ny qubits izay mbola tsy nampiasaina tamin'ny andrana. Farany, cx no controlled-not gate, h dia Hadamard gate, ary x, y, z dia Pauli gates. (jereo ny Fomba "IBM_Peekskill sy antsipirian'ny fanandramana" raha mila antsipiriany bebe kokoa). Ny sandan'ny isa ho an'ny p dia voalaza ao amin'ny Fomba "IBM_Peekskill sy antsipirian'ny fanandramana". C Ny maodely lesoka anay dia ny tabataba depolarizing circuitry. Ho an'ny lesoka fanombohana sy famerenana amin'ny laoniny, ny Pauli X dia ampiharina amin'ny mety ho p sy p tsirairay avy aorian'ny fanomanana ny toerana tsara. init reset Rehefa misy lesoka tokana ao amin'ny circuit, dia miteraka ny fananana tsy trivial ny ampahany amin'ny zava-mitranga mora tohina amin'ny lesoka. Ity andian-teny amin'ny zava-mitranga mora tohina amin'ny lesoka ity dia lasa hyperedge. Ny andian-teny hyperedge rehetra dia E. Ny lesoka roa samihafa dia mety miteraka hyperedge mitovy, ka ny hyperedge tsirairay dia azo jerena ho maneho andian-teny lesoka, izay ny tsirairay amin'izy ireo dia miteraka ny zava-mitranga ao amin'ny hyperedge ho tsy trivial. Mifandray amin'ny hyperedge tsirairay ny mety ho izany, izay, amin'ny ambaratonga voalohany, dia ny sandan'ny mety ho lesoka ao anaty andian-teny. Ny lesoka dia mety miteraka lesoka izay, rehefa nampitaina hatrany amin'ny faran'ny circuit, dia mifanohitra amin'ny iray na maromaro amin'ny mpanodina lojika, ka mitaky fanitsiana lojika. Mihevitra izahay ho an'ny ankapobeny fa ny kaody dia manana k qubits lojika sy fototra 2k mpanodina lojika, fa mariho fa k=1 ho an'ny kaody hexagon mavesatra ampiasaina amin'ny andrana. Afaka manara-maso hoe iza amin'ireo mpanodina lojika no mifanohitra amin'ny lesoka amin'ny alàlan'ny ambaratonga avy amin'ny {−1, 1} izahay. Noho izany, ny hyperedge tsirairay h dia voamarika amin'ny iray amin'ireo ambaratonga ireo γ , antsoina hoe marika lojika. Mariho fa raha ny halavan'ny kaody dia farafaharatsiny telo, ny hyperedge tsirairay dia manana marika lojika tsy manam-paharoa. k h Farany, mariho fa ny decoder dia afaka misafidy ny hanatsorana ny hypergraph famakiana amin'ny fomba maro samihafa. Ny fomba iray izay ampiasainay eto foana dia ny dingan'ny deflagging. Ny fandrefesana saina avy amin'ny qubits 16, 18, 21, 23 dia tsy raharahaina fotsiny tsy misy fanitsiana ampiharina. Raha ny saina 11 dia tsy trivial ary 12 trivial, ampiharo Z amin'ny 2. Raha ny saina 12 dia tsy trivial ary 11 trivial, ampiharo Z amin'ny qubit 6. Raha ny saina 13 dia tsy trivial ary 14 trivial, ampiharo Z amin'ny qubit 4. Raha ny saina 14 dia tsy trivial ary 13 trivial, ampiharo Z amin'ny qubit 8. Jereo ny ref. 15 raha mila antsipiriany momba ny antony ampy ho an'ny tsy fahatomombanana izany. Midika izany fa raha tokony hampiditra zava-mitranga mora tohina amin'ny lesoka avy amin'ny fandrefesana saina, dia averinay amin'ny dingana voalohany ny angon-drakitra amin'ny alàlan'ny fampiasana ny fampahalalana momba ny saina mba hampiharana fanitsiana Pauli Z virtoaly sy hanitsiana ny zava-mitranga mora tohina amin'ny lesoka mifandraika amin'izany. Ny hyperedge ho an'ny hypergraph deflagged dia azo jerena amin'ny alàlan'ny simulation stabiliser izay ahitana ny fanitsiana Z. Avelao ny r dia maneho ny isan'ny fizarana. Aorian'ny deflagging, ny haben'ny andian-teny V ho an'ny fanandramana fototra Z (mifanaraka amin'ny X) dia |V| = 6r + 2 (mifanaraka amin'ny 6r + 4), noho ny fandrefesana stabilisers enina isaky ny fizarana ary manana roa (mifanaraka amin'ny efatra) stabilisers lesoka fanombohana aorian'ny fanomanana ny toerana. Ny haben'ny E dia mitovy amin'izany |E| = 60r − 13 (mifanaraka amin'ny 60r − 1) ho an'ny r > 0. Raha jerena ny lesoka X sy Z mitokana, ny olana amin'ny fitadiavana fanitsiana lesoka ambany indrindra ho an'ny kaody surface dia azo ahena ho fitadiavana fitambaran'ny matching tonga lafatra amin'ny lamba . Ny decoders matching dia mbola nodinihina noho ny fampiharana azy ary ny fampiharana malalaka . Amin'ity fizarana ity, manazava ny decoder matching ho an'ny kaody hexagon mavesatra telo misy elanelana izahay. 4 27 28,29 Ny graph famakiana, iray ho an'ny lesoka X (Fig. 1c) ary iray ho an'ny lesoka Z (Fig. 1d), ho an'ny matching tonga lafatra ambany indrindra dia tena subgraphs amin'ny hypergraph famakiana tamin'ny fizarana teo aloha. Mifantoka eto amin'ny graph ho an'ny fanitsiana ny lesoka X izahay, satria mitovy ny graph lesoka Z. Amin'ity tranga ity, avy amin'ny hypergraph famakiana dia tazonim-bato V mifanaraka amin'ny (fahasamihafana amin'ny manaraka) fandrefesana Z stabiliser ary edges (izany hoe hyperedges roa) eo anelanelan'izy ireo. Ho fanampin'izany, ny vertex sisintany b dia noforonina, ary ny hyperedges tokana miendrika {v} miaraka amin'ny v ∈ V , dia aseho amin'ny alàlan'ny fampidirana edges {v, b}. Ny edges rehetra ao amin'ny graph X-error dia mandova mety sy marika lojika avy amin'ny hyperedges mifanaraka amin'izany (jereo ny Table 1 ho an'ny angon-drakitra edge X sy Z-error ho an'ny andrana 2-fizarana). Z Z Ny algorithm matching tonga lafatra dia mandray graph misy edges voapetraka ary andian-teny isa mifanandrify, ary mamerina andian-teny edges ao amin'ny graph izay mampifandray ny vato voasongadina rehetra amin'ny alàlan'ny lafiny ary manana lanjany totaly ambany indrindra amin'ny seta edges toy izany. Amin'ny tranganay, ny vato voasongadina dia ny zava-mitranga mora tohina amin'ny lesoka tsy trivial (raha misy isa hafahafa, ny vertex sisintany dia voasongadina ihany koa), ary ny lanjan'ny edges dia na nofidianana ho iray avokoa (fomba mitovy) na napetraka ho exp(-ln(p )) = 1/p , izay p ny mety ho edge (fomba analytical). Ity safidy farany ity dia midika fa ny lanjany totaly ny sety edge dia mitovy amin'ny log-likelihood an'io sety io, ary ny matching tonga lafatra ambany indrindra dia miezaka manatsara ity likelihood ity amin'ny edges ao amin'ny graph. e e e Rehefa omena ny matching tonga lafatra ambany indrindra, dia azo ampiasaina ny marika lojika amin'ny edges ao amin'ny matching mba hanapahana fanitsiana amin'ny toeran'ny lojika. Raha ny marina, ny graph X-error (Z-error) ho an'ny decoder matching dia toy izany ka ny edge tsirairay dia azo ampiarahina amin'ny qubit kaody (na lesoka fandrefesana), ka ny fampidirana edge amin'ny matching dia midika fa ny fanitsiana X (Z) dia tokony ho ampiharina amin'ny qubit mifandraika amin'izany. Ny famakiana maximum likelihood (MLD) dia fomba tsara indrindra, na dia tsy azo ampiasaina aza, ho an'ny famakiana kaody fanitsiana lesoka quantum. Raha ny fiheverana azy voalohany, ny MLD dia nampiharina tamin'ny modely tabataba phenomenologique izay ny lesoka dia mitranga fotsiny alohan'ny handrefesana ny soritr'aretina . Izany dia tsy raharahaina ny tranga tena misy kokoa izay mety hitrangan'ny lesoka amin'ny alalan'ny circuitry fandrefesana soritr'aretina. Vao haingana, ny MLD dia nampitomboina mba hampiditra ny tabataba circuitry . Eto, manazava ny fomba fanitsiana ny lesoka circuitry ny MLD amin'ny fampiasana ny hypergraph famakiana izahay. 24,30 23,31 MLD dia mamaritra ny fanitsiana lojika azo inoana indrindra nomena ny fahitana ny zava-mitranga mora tohina amin'ny lesoka. Izany dia atao amin'ny kajy ny fizarana mety Pr[β, γ], izay β dia maneho ny zava-mitranga mora tohina amin'ny lesoka ary γ dia maneho ny fanitsiana lojika. Azo kajinjaina Pr[β, γ] amin'ny alàlan'ny fampidirana ny hyperedge tsirairay avy amin'ny hypergraph famakiana, Fig. 1c–f, manomboka amin'ny fizarana tsy misy lesoka, izany hoe, Pr[0 , 0 ] = 1. Raha ny hyperedge h dia manana mety ph, tsy miankina amin'ny hyperedge hafa, ampidirinay ny h amin'ny fanaovana ny fanavaozana |V| 2 k izay β dia vector binary fotsiny maneho ny hyperedge. Ity fanavaozana ity dia tokony hatao indray mandeha ho an'ny hyperedge tsirairay ao amin'ny E. h Rehefa voajajaa ny Pr[β, γ], dia azo ampiasaina izany mba hamaritana ny fanitsiana lojika tsara indrindra. Raha β no hita amin'ny fandehanana ny andrana, * manondro ny fomba hanitsiana ny fandrefesana ny mpanodina lojika. Raha mila antsipiriany bebe kokoa momba ny fampiharana manokana ny MLD, jereo ny Fomba "Fampiharana maximum likelihood". Fanatontosana fanandramana Ho an'ity fampisehoana ity dia nampiasainay ny ibm_peekskill v2.0.0, processeur IBM Quantum Falcon 27 qubits izay ahafahan'ny sarintoningom-pifandraisana kaody hexagon mavesatra telo misy elanelana, jereo ny Fig. 1. Ny fotoana totalin'ny fandrefesana qubit sy ny famerenana amin'ny laoniny amin'ny feedback tena izy, ho an'ny fizarana tsirairay, dia maharitra 768ns ary mitovy amin'ny qubits rehetra. Ny fandrefesana soritr'aretina sy ny famerenana amin'ny laoniny rehetra dia atao miaraka mba hanatsarana ny fahombiazana. Ny fizarana decoupling dinamika Xπ-Xπ tsotra dia ampiana amin'ny qubits kaody rehetra mandritra ny vanim-potoana mandry tsirairay. 32 Ny leakage amin'ny qubit dia antony lehibe mahatonga ny modely lesoka depolarizing Pauli nomanin'ny famolavolana decoder mety tsy marina. Amin'ny tranga sasany, afaka mamantatra izahay raha ny qubit iray dia nivoaka avy tao amin'ny sub-space computation tamin'ny fotoana nandrehitra azy (jereo ny Fomba "Fomba famafazana" raha mila fampahalalana bebe kokoa momba ny fomba famafazana sy ny fetrany). Amin'ny fampiasana izany, afaka mamofona amin'ny fandehanana ny andrana izahay rehefa tsy nisy leakage hita, mitovy amin'ny ref. 18. Ao amin'ny Fig. 2a, manomboka ny toeran'ny lojika |0⟩ , ary ampiharina r fizarana fandrefesana soritr'aretina, izay ny iray fizarana dia ahitana ny stabilisers X sy Z (fotoana totalin'ny tokony ho 5.3μs isaky ny fizarana, Fig. 1b). Amin'ny fampiasana famakiana matching tonga lafatra analytical amin'ny angon-drakitra feno (500,000 tifitra isaky ny fandehanana), dia maka ny lesoka lojika izahay ao amin'ny Fig. 2a, telamanga mena (manga). Ny antsipiriany momba ny mari-pamantarana natsangana nampiasaina tamin'ny famakiana matching tonga lafatra analytical dia azo jerena ao amin'ny Fomba "IBM_Peekskill sy antsipirian'ny fanandramana". Ny fametrahana ny fihazakazahana fihazakazahana feno (f L
