$-type correction can be found efficiently for the surface code in terms of the graph $G_{\text{2D}}$ shown in Fig. \[fig:Surfaced5Graph\]. The graph $G_{\text{2D}}$ has a bulk node (black circle) for each $Z$ stabilizer generator, and a bulk edge (black) for each data qubit. A bulk edge coming from a bulk node corresponds to the edge’s data qubit being in the support of the node’s stabilizer. The graph also contains boundary nodes (white boxes) and boundary edges (blue), which do not correspond to stabilizers or data qubits. Each bulk and boundary edge is assigned weight one and zero respectively. The minimum weight decoder is then implemented as follows. After the error $E$ is applied, the nodes corresponding to unsatisfied stabilizers are highlighted. If an odd number of stabilizers was unsatisfied, one of the boundary nodes is also highlighted. Highlighted nodes are then efficiently paired together by the minimum weight connections in the graph, by Edmonds’ algorithm [@Edmonds65; @Kolmogorov09]. The correction $C$ is applied to the edges in the connection. Note that any single $\mathcal{O}(p)$ fault in this noise model corresponds to a weight one edge on the graph.

[0.3]{}![Circuits for measuring (a) $Z$-type, and (b) $X$-type generators. Identity gates (black rectangles) are inserted in the $Z$-type stabilizer measurement circuits to ensure that all measurements are synchronized. Note that unlike in [@FMMC12], to be consistent with the other schemes in this paper, we assume that we can prepare and measure in both the $X$ and $Z$ basis.[]{data-label="fig:Surface17Circuits"}](ZstabMeasSurfaceCode.png "fig:"){width="\textwidth"}

[0.3]{}![Circuits for measuring (a) $Z$-type, and (b) $X$-type generators. Identity gates (black rectangles) are inserted in the $Z$-type stabilizer measurement circuits to ensure that all measurements are synchronized. Note that unlike in [@FMMC12], to be consistent with the other schemes in this paper, we assume that we can prepare and measure in both the $X$ and $Z$ basis.[]{data-label="fig:Surface17Circuits"}](XstabMeasSurfaceCode.png "fig
$ -type correction can be found efficiently for the surface code in terms of the graph $ G_{\text{2D}}$ testify in Fig.   \[fig: Surfaced5Graph\ ]. The graph $ G_{\text{2D}}$ have a bulk node (black circle) for each $ Z$ stabilizer generator, and a bulk boundary (black) for each data qubit. A bulk edge come from a bulk node corresponds to the edge ’s datum qubit being in the documentation of the node ’s stabilizer. The graph besides contains boundary nodes (white boxes) and boundary edge (blue), which do not represent to stabilizers or data qubits. Each majority and boundary edge is assigned weight one and zero respectively. The minimal weight decoder is then implemented as follows. After the error $ E$ is applied, the node corresponding to unsatisfied stabilizers are highlighted. If an odd numeral of stabilizers was unsatisfied, one of the boundary nodes is also highlighted. Highlighted nodes are then efficiently paired together by the minimum weight connections in the graph, by Edmonds ’ algorithm [ @Edmonds65; @Kolmogorov09 ]. The correction $ C$ is applied to the edges in the connection. Note that any single $ \mathcal{O}(p)$ fault in this randomness exemplar corresponds to a weight unit one boundary on the graph. 

 [ 0.3]{}![Circuits for measure (a) $ Z$-type, and (b) $ X$-type generators. Identity gate (black rectangles) are inserted in the $ Z$-type stabilizer measurement circuits to guarantee that all measurements are synchronized. Note that unlike in [ @FMMC12 ], to be consistent with the other schemes in this newspaper, we assume that we can prepare and measure in both the $ X$ and $ Z$ basis.[]{data - label="fig: Surface17Circuits"}](ZstabMeasSurfaceCode.png " fig:"){width="\textwidth " } 

 [ 0.3]{}![Circuits for measuring (vitamin a) $ Z$-type, and (b) $ X$-type generator. Identity gates (black rectangles) are inserted in the $ Z$-type stabilizer measurement circuits to guarantee that all measurements are synchronized. Note that unlike in [ @FMMC12 ], to be reproducible with the other schemes in this paper, we assume that we can train and measure in both the $ X$ and $ Z$ basis.[]{data - label="fig: Surface17Circuits"}](XstabMeasSurfaceCode.png " libyan islamic fighting group
$-typf correction can be founa efficiently for the vurfacs code iv terms of the graph $G_{\text{2D}}$ dhiwn ib Fig. \[fig:Surfaced5Graph\]. Ghe graph $G_{\text{2D}}$ yas e bulk node (black circle) for ezgh $Z$ vvabilizer generstor, and a bulk edge (blawk) flr each data qubit. A bulk edge comigg from a bulk node cortespomqs tk the edge’s data qubit being in ths suppogt of the node’s syabilizer. The graph also clntalns boundary nodes (white boxew) anq boundary edees (blue), which do not dorrespond to stabilizers or daga quyits. Each boli wtd boundary edge is assigned weight mne and zero respectiyely. Vhe ninimum weight decodec is then implementeq as follmwa. After the error $E$ is akplieg, thd noaes cprdesponfinj to unsatiafied stabioizers are highlighued. Pg an odd numger of seabilizers was unsatisfied, one of the bmunsary nodes is also highoighted. Highlighted nldes are ehen efficiently paired together by the minimum waight zonucgtiovw ln the graph, by Edmonds’ algorithm [@Edmonds65; @Kolikgprpv09]. The correctlon $C$ is applied tp hhr edges in the conneefikn. Note that any slngle $\mwthcao{O}(p)$ fault in yhis noise model correspondw to a weighn onw edge on the grapk.

[0.3]{}![Circuits fox measoring (s) $Z$-type, and (b) $X$-type genzratora. Identity hates (blady rectangles) are inxested in ufe $Z$-type stabilizqr measurxment circuigs tp ensuwe that alp measurements are synchgonizgd. Nota that unllke in [@FMMC12], to be consistent wivi the other svhamev in thif papcr, we assume thwt we can prepcre and ieasufe in both the $X$ end $Z$ basis.[]{dwta-label="fig:Susvace17Circuits"}](VstabMeasFurfqceCide.png "wkg:"){width="\textwidyh"}

[0.3]{}![Circuits for measyring (a) $Z$-type, and (n) $X$-tyke generators. Ideuuiti gates (black rrctxngjed) ere igverted in tha $Z$-thpe xtabiuizer mtcsuvemdnt vircuits to ensure tvat zll measurements ate synchrobized. Noee that unlikr in [@FMMC12], to be cojsistxnt wivh the otrer schemes in this paper, we aasume thah wc can prepare and measure in yoth the $X$ and $Z$ basis.[]{data-label="fig:Surfacx17Circuits"}](XstabMeasSurfaxeCode.png "fig
$-type correction can be found efficiently for code terms of graph $G_{\text{2D}}$ shown $G_{\text{2D}}$ a bulk node circle) for each stabilizer generator, and a bulk edge for each data qubit. A bulk edge coming from a bulk node corresponds the edge’s data qubit being in the support of the node’s stabilizer. The also boundary (white and boundary edges (blue), which do not correspond to stabilizers or data qubits. Each bulk and edge is assigned weight one and zero respectively. minimum weight decoder is implemented as follows. After the $E$ applied, the corresponding unsatisfied are highlighted. If odd number of stabilizers was unsatisfied, one of the boundary nodes is also highlighted. Highlighted nodes are efficiently paired the minimum connections the by Edmonds’ algorithm The correction $C$ is applied to the connection. Note that any single $\mathcal{O}(p)$ fault this noise corresponds to a weight one edge the graph. [0.3]{}![Circuits for measuring (a) $Z$-type, and $X$-type generators. Identity gates (black rectangles) are inserted in the $Z$-type stabilizer measurement circuits to all measurements are synchronized. that unlike in to consistent the schemes in paper, we assume that we can prepare and measure in both $X$ and $Z$ basis.[]{data-label="fig:Surface17Circuits"}](ZstabMeasSurfaceCode.png "fig:"){width="\textwidth"} [0.3]{}![Circuits for measuring (a) $Z$-type, $X$-type Identity gates (black are inserted in the stabilizer circuits to ensure that are Note [@FMMC12], be with the other schemes this paper, we assume that can prepare and measure $Z$ basis.[]{data-label="fig:Surface17Circuits"}](XstabMeasSurfaceCode.png "fig
$-type correction can be found eFficiently For thE suRfaCe Code In teRms of the graph $G_{\TExt{2D}}$ Shown in Fig. \[fig:Surfaced5GRaph\]. THe GRaph $g_{\TeXt{2D}}$ haS a bulk nODe (BLAck CiRcLe) fOr EAcH $Z$ staBilIzer genErator, and a BulK eDge (black) for eACh Data qubit. A BulK edge coming fRom A bulk nOdE coRRespoNds To the Edge’s dATa qubiT being in tHe SUpport OF the nodE’S StAbilIzer. The graph also cONtAIns boundary nodEs (whitE bOXeS) ANd bOunDary edges (bLuE), whicH Do not coRReSPONd tO Stabilizers or Data qubits. EACh bUlk and BoUndARy edge Is assIgNEd wEight one and Zero RespectivEly. The MInimum wEIght decOder is TheN imPlemENtEd As fOlLOws. aFtEr tHE erRor $E$ is apPlIeD, the nOdes CORREspoNdiNg to UnsatIsfied stabiliZerS are HIghLightEd. If aN odd NuMber oF stabiLizerS wAs unsatisfied, onE of tHe boundarY noDeS is AlSo higHLighteD. HiGhlIghted nOdes are THen EfFICIeNtly paired together By THE mInimum weIght coNNeCtIOns in the GrAph, By EdMONds’ alGoriTHm [@edmonds65; @KOlmogoROv09]. thE correcTiOn $C$ is aPpLieD to The edGEs in The conNection. NOte thAT any single $\mathCAl{O}(p)$ fault in thIS nOISe MOdel CorResponds to a WeigHT one Edge ON tHe gRAph.

[0.3]{}![CiRcuitS fOR mEAsuring (a) $Z$-type, and (b) $X$-tYpE generAtors. identity gates (Black rectaNGLEs) are insErteD In THe $Z$-type stabiliZer meAsurement cIRcuits to EnsurE that all MeasuremeNTS are syncHroNizEd. NOte THAt Unlike in [@FMMC12], tO BE conSiStent wiTh tHe other SchEmeS in ThiS pAper, we assUme that wE cAn PrEpAre And meASure in boTh The $x$ aNd $Z$ Basis.[]{DAta-labEl="fig:surfAcE17CIRcuIts"}](ZstaBmeASsurfAcECOde.pNg "fIg:"){Width="\TextWIdtH"}

[0.3]{}![CircuiTs for measUriNG (a) $Z$-tYpE, aNd (b) $X$-typE generators. IdEnTity gates (bLaCk rEctangLES) are inseRted in the $Z$-type stabilizeR MeasureMenT circUits To ensure tHat All meaSurEMents aRe syncHroniZeD. NoTE That uNLIkE in [@fMmC12], to be consISTenT with ThE othEr schemEs in this paper, we assUMe tHat we can prepaRe aNd meASUrE in BOtH The $x$ aND $Z$ bASIs.[]{data-label="fig:SUrface17CircUiTS"}](XStabMeasSuRFacECOde.png "fIg
$-type correction can be f ound effic ientl y f orth e su rfac e code in term s  ofthe graph $G_{\text{2D }}$ s ho w n in Fi g. \[ fig:Sur f ac e d 5Gr ap h\ ].Th e  g raph$G_ {\text{ 2D}}$ hasa b ul k node (blac k  c ircle) for  ea ch $Z$ stabi liz er gen er ato r , and  abulkedge ( b lack)for eachda t a qubi t . A bul k ed ge c oming from a bulk no d e correspondsto the  e d ge ’ s  da taqubit bein gin th e  suppor t  o f t hen ode’s stabili zer. The gr a phalso c on tai n s boun daryno d es(white boxe s) a nd bounda ry edg e s (blue ) , which  do no t c orr espo n dto  st ab i liz e rs  or dat a qubits .Ea ch bu lk a n d b ound ary  edg e isassigned weig htonea ndzerorespe ctiv el y. Th e mini mum w ei ght decoder isthen  implemen ted  a s f ol lows. Afterthe  er ror $E$  is app l ied ,t h e  n odes corresponding  t o un satisfie d stab i li ze r s are hi gh lig hted . If an  odd nu mber ofstabil i ze rs  was un sa tisfie d,  on e o f the boun dary n odes isalsoh ighlighted. Hi g hlighted node s  a r e  t h en e ffi ciently pai redt oget herb ythe minim um we ig h tc onnections in the g ra ph, by  Edmo nds’ algorith m [@Edmond s 6 5 ; @Kolmo goro v 09 ] . The correcti on $C $ is appli e d to the  edge s in the  connecti o n . Note t hat  an y s ing l e  $ \mathcal{O}(p ) $  fau lt  in thi s n oise mo del  co rre spo nd s to a we ight one  e dg eon  th e gra p h.

[0.3 ]{ }![ Ci rcu its f o r meas uring  (a)  $ Z$ - typ e, and( b) $ X$-t yp egene rat or s. Id enti t y g ates (b lack rect ang l es)ar einserte d in the $Z$- ty pe stabili ze r m easure m e nt circu its to ensure that allm easurem ent s are  syn chronized . N ote th atu nlikein [@F MMC12 ],  to b e con s i st ent  w ith the ot h e r s cheme sin t his pap er, we assume that wecan prepare a ndmeas u r einb ot h  th e$ X$a n d $Z$ basis.[]{ data-label =" f ig :Surface17 C irc ui ts"}](Z stabMea sSurf a ceCode. png "fig: "){width= "\ text w i dth "}

[0.3]{ }![Circu its for m e asuri n g(a) $ Z$- type,an d ( b) $X $-type gen erato rs. Id en tity g ates(b lack rec tangles) are inserted i n the$Z$-t ype  stabiliz erm eas urement c ircu its to ens ure  th at al l m e asure ment s  a res ynchr oniz e d. Note t h at  un l i ke  in [@FMMC1 2 ] ,  to  be c ons i stentwith  the other scheme s  in this paper , we a ssu met hatwe  can prepare a ndme a s ure in b ot h the $X$ a nd $Z$ b as i s.[]{ data-l abel=" fig:Sur f a ce 1 7Circu its" }]( XstabMeas Sur fa c eCode.p ng  " f ig
$-type correction_can be_found efficiently for the_surface code_in_terms of_the_graph $G_{\text{2D}}$ shown_in Fig. \[fig:Surfaced5Graph\]. The_graph $G_{\text{2D}}$ has a_bulk node (black_circle)_for each $Z$ stabilizer generator, and a bulk edge (black) for each data qubit._A_bulk edge_coming_from_a bulk node corresponds to_the edge’s data qubit being_in the_support of the node’s stabilizer. The graph also_contains_boundary nodes (white_boxes) and boundary edges (blue), which do not correspond_to stabilizers or data qubits. Each_bulk and boundary_edge_is_assigned weight one and_zero respectively. The minimum weight decoder_is then implemented as follows. After_the error $E$ is applied, the nodes_corresponding to unsatisfied stabilizers are highlighted._If an odd number of_stabilizers was_unsatisfied, one of the boundary_nodes is also_highlighted. Highlighted_nodes are then_efficiently paired together by the minimum_weight connections in_the graph, by Edmonds’ algorithm [@Edmonds65;_@Kolmogorov09]._The correction $C$_is_applied_to the_edges in the_connection._Note that_any_single $\mathcal{O}(p)$ fault in this noise_model_corresponds to a weight one edge on_the graph.

[0.3]{}![Circuits for measuring_(a)_$Z$-type, and (b) $X$-type_generators. Identity gates (black rectangles)_are inserted in the $Z$-type stabilizer_measurement circuits_to ensure_that all measurements are synchronized. Note that unlike in [@FMMC12], to_be consistent with the other schemes_in this paper, we_assume that_we_can prepare and_measure_in both_the $X$ and $Z$ basis.[]{data-label="fig:Surface17Circuits"}](ZstabMeasSurfaceCode.png "fig:"){width="\textwidth"}

[0.3]{}![Circuits for_measuring (a)_$Z$-type, and (b) $X$-type generators. Identity_gates (black rectangles) are_inserted_in the $Z$-type stabilizer measurement circuits_to ensure that all measurements are_synchronized. Note that unlike in_[@FMMC12],_to_be consistent with the other_schemes in this paper, we assume_that we can_prepare and measure in both the $X$_and_$Z$ basis.[]{data-label="fig:Surface17Circuits"}](XstabMeasSurfaceCode.png "fig