https://lexuge.github.io Muses and Records on Physics, Maths, and Computing Zola en Sun, 03 May 2026 00:00:00 +0000 Sun, 03 May 2026 00:00:00 +0000 Kanyang Ying https://lexuge.github.io/modern-qec-1/ https://lexuge.github.io/modern-qec-1/ <h1 id="introduction">Introduction</h1> <p>The traditional approach to QEC centered on the error correction code itself. This suffers from the fact that, unlike classical error which mainly affects data at rest, quantum errors occur during <em>computation</em>. In other words, unlike in classical computing where CPU is assumed to be error-free, "QPU" makes errors all the time.</p> <p>This means error process and computation process are inherently mingled. And that renders some famous theorems and results like <em>Knill–Laflamme conditions</em> rather inelegant or impractical since they assume a dedicated error channel where no computation happens.</p> <p>A much cleaner approach has recently been developed by Google, called Detector Error Model, which can be seen as a generalization of qubit-level error to circuit-level error. This has been further perfected and rewritten using the language of ZX-calculus, under which we shall see the idea is really natural.</p> <p>This blog posts series introduces the idea of the "detector", this "modern" QEC workflow, and fault-tolerance formulated in ZX-calculus. This assumes you are already familiar with the basics of ZX-calculus. Indeed, you would see many ideas/definitions are most elegant under the ZX-calculus formulation. Additionally, we would be focusing on <em>Clifford diagram</em> only as it's most well understood and we have the more tools to play with.</p> <p>But right before we start, let's restate the definition of Pauli group.</p> <h1 id="basic-stuff">Basic Stuff</h1> <div class="math-box definition" id="definition-pauli-string"> <div class="math-box-header"> <span class="math-box-type">Definition</span> <span class="math-box-title">(Pauli String)</span> </div> <div class="math-box-body"> <p>A $n$-Pauli string is a tensor product of Pauli operators of length $n$. For example $$ \mathbb{I} \otimes X \otimes Z \otimes Z $$ is a 4-Pauli string.</p> </div> </div> <div class="math-box definition" id="definition-pauli-group"> <div class="math-box-header"> <span class="math-box-type">Definition</span> <span class="math-box-title">(Pauli Group)</span> </div> <div class="math-box-body"> <p>We denote Pauli group as</p> <div class="math-display" data-tex="\mathcal{P}^n = \{ i^k P | k \in \{0,1,2,3\}, P \text{ is a Pauli string of length } n \}"></div> </div> </div> <p>The reason we included the prefactor $i^k$ is <a href="https://lexuge.github.io/modern-qec-1/#definition-pauli-string">pauli string</a> themselves don't form a group without prefactor as for example $Y = i XZ$.</p> <p>We can also "recover" the set of $n$-Pauli strings by consider the quotient of "center" of the group. center are elements who commute with the entire group. Here, center is $i^k \mathbb{I}^{\otimes n}$ with $k$ from $0$ to $3$.</p> <p>Now we can define equivalence relation that two elements are equivalent when they differ by one of the center. Quotienting out this requivalence gives us equivalence <em>classes</em> where each class is identified with a Pauli string. Therefore, after quotient, it's essentially the set of all Pauli strings. We denote the set after quotient by $\overline{\mathcal{P}^n}$.</p> <h1 id="fault-on-zx-diagrams">Fault on ZX diagrams</h1> <p>There are a lot of models to formalize quantum faults, but all of them can be reduced to thinking of only Pauli faults. We will convince ourselves later by considering how general faults may be decomposed into Pauli faults.</p> <p>First, we would like to define what is a Pauli fault on a daigram.</p> <h2 id="pauli-fault">Pauli Fault</h2> <div class="math-box definition" id="definition-pauli-fault"> <div class="math-box-header"> <span class="math-box-type">Definition</span> <span class="math-box-title">(Pauli Fault)</span> </div> <div class="math-box-body"> <p>Let set of all edges of a ZX diagram be $E$. Pauli faults are elements of $\overline{\mathcal{P}^{|E|}}$ where $\mathcal{P}^{|E|}$ means the Pauli group with support on the edge of the ZX diagram.</p> </div> </div> <!----> <div class="my-4 flex flex-col rounded-lg bg-(--admonition-bg)" style="--admonition-bg: rgba(101, 31, 255, 0.1)" > <div class="flex items-center rounded-t-lg bg-(--admonition-bg) p-1"> <div class="mx-2 h-4 w-4 text-[0px] [background:var(--url)_center_center_no-repeat] dark:invert" style="--url: url(./icons/example.svg)" > example </div> <span><strong>Example</strong></span> </div> <div class="pl-4"><p>As a graphical example, consider <a href="#fig-pauli-fault-1">figure 1</a> and <a href="#fig-pauli-fault-2">figure 2</a>.</p> <figure id="fig-pauli-fault-1" class="diagram"> <img src="/figures/pauli-fault-1.svg" /> <figcaption>Diagram $D$ with fault sites. Here the octagons on edge represent "fault sites" which are support of the Pauli faults.</figcaption> </figure> <figure id="fig-pauli-fault-2" class="diagram"> <img src="/figures/pauli-fault-2.svg" /> <figcaption>An example pauli fault on $D$ with a X fault and a Y fault (represented by X and Z product and we ignored the overall proportionality constant).</figcaption> </figure></div> </div> <p>Let $D$ be the diagram and $F \in \overline{\mathcal{P}^{|E|}}$ be a Pauli fault. We denote the final diagram after instantiating $F$ at corresponding fault sites on $D$ by $D^F$.</p> <!----> <div class="my-4 flex flex-col rounded-lg bg-(--admonition-bg)" style="--admonition-bg: rgba(101, 31, 255, 0.1)" > <div class="flex items-center rounded-t-lg bg-(--admonition-bg) p-1"> <div class="mx-2 h-4 w-4 text-[0px] [background:var(--url)_center_center_no-repeat] dark:invert" style="--url: url(./icons/example.svg)" > example </div> <span><strong>Example</strong></span> </div> <div class="pl-4"><p>For example, the "X and Y" fault in <a href="#fig-pauli-fault-2">figure 2</a> will give rise to an overall $D^F$ below <img class="diagram-svg" src="/figures/pauli-fault-3.svg" /></p> </div> </div> <h2 id="noise-model">Noise Model</h2> <div class="math-box definition" id="definition-noise-model"> <div class="math-box-header"> <span class="math-box-type">Definition</span> <span class="math-box-title">(Noise Model)</span> </div> <div class="math-box-body"> <p>A noise model consists of a set of atomic (Pauli) faults $\mathcal{F}\subseteq \overline{\mathcal{P}^n}$ and a <em>weight</em> function $\mathrm{wt}: \mathcal{F} \to \mathbb{N}$.</p> </div> </div> <p>It's useful to understand weight intuitively as a log scale probability. So roughly faults of weight $w$ means its probability is proportional to $e^{-w}$. Hence higher weight faults are more <em>unlikely</em> to happen.</p> <p>Then the possible faults under a specific noise model is then the set of Pauli faults $\langle \mathcal{F} \rangle$ generated by $\mathcal{F}$ (here we ignore the proportionality constant when composing those atomic faults so the result is again a Pauli string. Or if you wish you can say $\overline{\mathcal{P}^n}$ forms a group because center satisfies the congruence relation).</p> <p>Another <em>assumption</em> we make about atomic fault is that they happen independently. So if we have two atomic fault forming a composite fault, its probability should be the product of the individual atomic faults' probability. Hence the weight (which is roughly the log of the probability) should <em>add</em>.</p> <p>Now a natural question is: how do we define weight for those composite faults? Since it's possible that there are multiple way to generate one fault from different atomic faults. The answer is we simply take the minimum of those compositions (hence the most likely way to generate this composite fault).</p> <p>Formally, we can write this kind of recursive definition for any $F \in \langle \mathcal{F} \rangle$,</p> <div class="math-display" data-tex="\mathrm{wt}(F) = \min_{\mathcal{F}_{\mathrm{sub}} \subset \mathcal{F}} \sum_{F_i \in \mathcal{F}_{\mathrm{sub}}} \mathrm{wt}(F_i) \qquad \text{where} \qquad \prod_{F_i \in \mathcal{F}_{\mathrm{sub}}} F_i = F"></div> <p>We call the $\mathcal{F}_\mathrm{sub}$ which gives rise to the minimal sum of weights the "minimal weight composition".</p> <!-- #### Irreducible Fault So this definition of _irreducible fault_ would be useful when it comes to checking two diagrams being "fault equivalent". We should define it as the set of undetectable faults in $\langle F \rangle$ whose minimal weight composition include detectable atomic faults. If all atomic faults there are undetectable then we would indeed satisfy the condition. Does this run both ways? --> <!----> <div class="my-4 flex flex-col rounded-lg bg-(--admonition-bg)" style="--admonition-bg: rgba(101, 31, 255, 0.1)" > <div class="flex items-center rounded-t-lg bg-(--admonition-bg) p-1"> <div class="mx-2 h-4 w-4 text-[0px] [background:var(--url)_center_center_no-repeat] dark:invert" style="--url: url(./icons/example.svg)" > example </div> <span><strong>Example</strong></span> </div> <div class="pl-4"><p>An <strong>edge flip noise model</strong> defines its atomic faults $\mathcal{F}$ as the set of <em>individual</em> Paulis on $E$. For simplicity, we define them all having weight 1 irrespective of which edge the Pauli is on and what type (i.e. X, Y, Z) of the Pauli it is. The weight of any fault in $\langle \mathcal{F} \rangle$ is then the number of non-identity Paulis of the fault Pauli string in set $\overline{\mathcal{P}^{|E|}}$.</p> </div> </div> <!----> <div class="my-4 flex flex-col rounded-lg bg-(--admonition-bg)" style="--admonition-bg: rgba(101, 31, 255, 0.1)" > <div class="flex items-center rounded-t-lg bg-(--admonition-bg) p-1"> <div class="mx-2 h-4 w-4 text-[0px] [background:var(--url)_center_center_no-repeat] dark:invert" style="--url: url(./icons/example.svg)" > example </div> <span><strong>Example</strong></span> </div> <div class="pl-4"><p>A <strong>general noise model</strong> might include more interesting definition of atomic fault for example by declaring $XZ$ fault after a CNOT as weight 1 instead of 2 (as one would have for a miminal weight composition under the edge flip noise model).</p> </div> </div> <h1 id="stabilizers-on-diagrams">Stabilizers on diagrams</h1> <p>Fundamentally we would like to understand how a fault changes our diagram. And that is best understood through stabilizers of our diagram (because for a Clifford diagram its stabilizer pins down what it is). Therefore, it's useful to have a theory of stabilizer on diagram.</p> <h2 id="stabilizers-of-a-spider">Stabilizers of a spider</h2> <p>Recall that a Clifford spider can only have its phase in the form of $\frac{k\pi}{2}, k \in \mathbb{Z}$. And let's consider the question of how we may place Paulis around it to stabilize (up to an eigenvalue 1 or -1) the spider.</p> <p>Since we are placing Paulis on the edge around a single spider, we could do that by coloring the edges of the Pauli. And we would use the convention that:</p> <ul> <li>Green edge corresponds to $Z$</li> <li>Red edge corresponds to $X$</li> <li>Blue edge corresponds to $Y$</li> <li>Uncolored edge corresponds to identity.</li> </ul> <p>When we say "same color" or "opposite color", blue edge counts as both types since we consider $Y$ as the combination of $Z$ and $X$.</p> <p>For blue edges, we instantiate it using $Y=iXZ$ and adopt the convention that $X$ is closer to the spider we are considering. Therefore, for example,</p> <img src="/figures/spider-stabilizer-y.svg" class="diagram-svg" /> <p>More formally, since they are Paulis on the edge of a spider, we may identify such stabilizers with Pauli strings $w \in \overline{\mathcal{P}^n}$ for an $n$-legged spider.</p> <h3 id="all-or-nothing">All-or-nothing</h3> <p>We can either color all or none of the edges of a spider in the opposite color.</p> <p>Remember that $\pi$-copy flips the phase of a spider. This is not an issue for $\pi$ phase as $-\pi = \pi$ modulo $2\pi$. However, it is an issue for $\pm \frac{\pi}{2}$. <img src="/figures/pauli-web-all-or-nothing-1.svg" class="diagram-svg"/></p> <p>And in this case, we would need an additional same color $\pi$ to fix it up (so flip $\pm \frac{\pi}{2}$ back to $\mp \frac{\pi}{2}$).</p> <h3 id="parity-criteria">Parity criteria</h3> <p>One obvious thing one can do is to use spider fusion. So one can color the even number of edges of a spider with the same color.</p> <p>One nuance being that due to <a href="https://lexuge.github.io/modern-qec-1/#all-or-nothing">All-or-nothing rule</a>, for $\pm \frac{\pi}{2}$ phases, if they are colored with the opposite colors, then one would need <em>odd</em> number of same color edge.</p> <h3 id="spider-stabilizer-rules">Spider Stabilizer Rules</h3> <p>In summary,</p> <!----> <div class="my-4 flex flex-col rounded-lg bg-(--admonition-bg)" style="--admonition-bg: rgba(68, 138, 255, 0.1)" > <div class="flex items-center rounded-t-lg bg-(--admonition-bg) p-1"> <div class="mx-2 h-4 w-4 text-[0px] [background:var(--url)_center_center_no-repeat] dark:invert" style="--url: url(./icons/note.svg)" > note </div> <span><strong>Note</strong></span> </div> <div class="pl-4"><p>Let $\alpha$ be the phase of the spider. We can either</p> <ul> <li>color all the edges with opposite color, OR</li> <li>color none of the edges with opposite color</li> </ul> <p>AND after that</p> <ul> <li>If $\alpha = \pm \pi$, color even number of edges in the same color</li> <li>If $\alpha = \pm \pi/2$ and none of the edges is in opposite color, then color even number of edges in the same color</li> <li>If $\alpha = \pm \pi/2$ and all of the edges is in opposite color, then color odd number of edges in the same color</li> </ul> </div> </div> <p>To find the eigenvalues of a spider stabilizer, one simply instantiate the edges according to their color and apply ZX rules while tracking the scalar until we restore the diagram. <!----> <div class="my-4 flex flex-col rounded-lg bg-(--admonition-bg)" style="--admonition-bg: rgba(101, 31, 255, 0.1)" > <div class="flex items-center rounded-t-lg bg-(--admonition-bg) p-1"> <div class="mx-2 h-4 w-4 text-[0px] [background:var(--url)_center_center_no-repeat] dark:invert" style="--url: url(./icons/example.svg)" > example </div> <span><strong>Example</strong></span> </div> <div class="pl-4"><p>Here is the generating set of stabilizers for the three-legged green $\pi/2$ spider.</p> <img src="/figures/pauli-web-rules-1.svg" class="diagram-svg"/> With eigenvalues from left to right being $-1, 1, 1$. <p>The reason why this set has three elements is related to the fact that:</p> <ol> <li>this is essentially a Clifford state consisting of three qubits;</li> <li>any $n$-qubit Clifford state can be fully described by $n$ independent stabilizers.</li> </ol> </div> </div> </p> <h2 id="pauli-web">Pauli Web</h2> <div class="math-box definition" id="definition-pauli-web"> <div class="math-box-header"> <span class="math-box-type">Definition</span> <span class="math-box-title">(Pauli Web)</span> </div> <div class="math-box-body"> <p>Pauli web is a coloring on edges of a diagram such that for every spider in the diagram, its immediate neighborhood coloring satisfies <a href="#spider-stabilizer-rules">spider stabilizer rules</a>.</p> </div> </div> <h3 id="firing-a-pauli-web">Firing a Pauli Web</h3> <p>One can instantiate Pauli web as a Pauli string of $\overline{\mathcal{P}^{|E|}}$ by "firing" it. By firing it we mean to instantiate a spider stabilizer around each spider according to the Pauli web coloring.</p> <!----> <div class="my-4 flex flex-col rounded-lg bg-(--admonition-bg)" style="--admonition-bg: rgba(101, 31, 255, 0.1)" > <div class="flex items-center rounded-t-lg bg-(--admonition-bg) p-1"> <div class="mx-2 h-4 w-4 text-[0px] [background:var(--url)_center_center_no-repeat] dark:invert" style="--url: url(./icons/example.svg)" > example </div> <span><strong>Example</strong></span> </div> <div class="pl-4"><p>Here is an example of firing a Pauli web.</p> <figure id="pauli-web-1" class="diagram"> <img src="/figures/pauli-web-eg-1.svg"/> <figcaption>Pauli web firing example.</figcaption> </figure> <p>One see that internal edges can always be cancelled.</p> <!-- The total product of the each spider's eigenvalue here is -1 since the upper green spider is stabilized with eigenvalue -1 and the lower red spider is stabilized with eigenvalue 1. However, this is not the sign of the web which is in fact $1$. See also [Figure in the next example](#pauli-web-2). --></div> </div> <!----> <div class="my-4 flex flex-col rounded-lg bg-(--admonition-bg)" style="--admonition-bg: rgba(255, 145, 0, 0.1)" > <div class="flex items-center rounded-t-lg bg-(--admonition-bg) p-1"> <div class="mx-2 h-4 w-4 text-[0px] [background:var(--url)_center_center_no-repeat] dark:invert" style="--url: url(./icons/warning.svg)" > warning </div> <span><strong>Warning</strong></span> </div> <div class="pl-4"><p>Don't fire a Pauli web by instantiating a single Pauli on each edge according to the coloring. This is tempting to do but isn't really meaningful. Always fire by consider each spider and how edges stabilize them.</p> </div> </div> <div class="math-box definition" id="definition-sign-of-pauli-web"> <div class="math-box-header"> <span class="math-box-type">Definition</span> <span class="math-box-title">(Sign of Pauli Web)</span> </div> <div class="math-box-body"> <p>We define the <strong>sign of a Pauli web</strong> as the total eigenvalue we obtain when we instantiate the Paulis on boundary edges.</p> </div> </div> <p>To calculate the sign of the web, see the following example, <!----> <div class="my-4 flex flex-col rounded-lg bg-(--admonition-bg)" style="--admonition-bg: rgba(101, 31, 255, 0.1)" > <div class="flex items-center rounded-t-lg bg-(--admonition-bg) p-1"> <div class="mx-2 h-4 w-4 text-[0px] [background:var(--url)_center_center_no-repeat] dark:invert" style="--url: url(./icons/example.svg)" > example </div> <span><strong>Example</strong></span> </div> <div class="pl-4"><p>We start by finding the product of individual spider stabilizer's eigenvalue. The upper green spider has eigenvalue $-1$ and the lower red spider has eigenvalue $+1$. Therefore, $$ D = -D_{\text{fired}} $$ And then we can always cancel the internal edges of $D_{\text{fired}}$ to leave exactly only Paulis on the boundary edges of the web. In this step notice that any internal $Y$ edge would incurr a $-1$ phase.</p> <figure id="pauli-web-2" class="diagram"> <img src="/figures/pauli-web-eg-2.svg"/> <figcaption>The Pauli web shows that the Clifford state is stabilized by $X Y Z Z$ with eigenvalue $1$.</figcaption> </figure> <!----> <div class="my-4 flex flex-col rounded-lg bg-(--admonition-bg)" style="--admonition-bg: rgba(255, 145, 0, 0.1)" > <div class="flex items-center rounded-t-lg bg-(--admonition-bg) p-1"> <div class="mx-2 h-4 w-4 text-[0px] [background:var(--url)_center_center_no-repeat] dark:invert" style="--url: url(./icons/warning.svg)" > warning </div> <span><strong>Warning</strong></span> </div> <div class="pl-4"><p>Sign of a Pauli web is not equal to product of the individual spider stabilizer's eigenvalues as seen in the example above.</p> </div> </div></div> </div> </p> <p>We can separate Pauli webs into two types:</p> <ol> <li><strong>Stabilizing Pauli webs</strong>. These are webs such that they have non-trivial support on boundary edges of the diagram.</li> <li><strong>Detecting regions</strong>. These are webs with no boundary edges hence fully closed.</li> </ol> <h3 id="stabilizing-pauli-webs">Stabilizing Pauli webs</h3> <p>The best way to understand these webs is through the fact that every Clifford diagram is essentially a Clifford state (by bending input wires to output wires).</p> <p>And stabilizing Pauli webs are stabilizers of the Clifford state represented by diagram. And the eigenvalue of the stabilizer is given by the sign of its Pauli web. See <a href="https://lexuge.github.io/modern-qec-1/#pauli-web-2">this example</a> for detail.</p> <h3 id="detecting-region">Detecting Region</h3> <p>Detecting region has no external edges, hence the stabilizer equation given by the procedure in <a href="https://lexuge.github.io/modern-qec-1/#pauli-web-2">this example</a> would be either vacuous ($D=D$) or dictating $D=-D$ hence $D=0$.</p> <h3 id="flipping-sign-of-the-web">Flipping sign of the web</h3> <p>How does Pauli web interact with Pauli faults on the edge? Interestingly, when we place a single edge flip Pauli fault on the edge, even though diagram changes (we made one additional edge), the old coloring scheme still works!</p> <!----> <div class="my-4 flex flex-col rounded-lg bg-(--admonition-bg)" style="--admonition-bg: rgba(101, 31, 255, 0.1)" > <div class="flex items-center rounded-t-lg bg-(--admonition-bg) p-1"> <div class="mx-2 h-4 w-4 text-[0px] [background:var(--url)_center_center_no-repeat] dark:invert" style="--url: url(./icons/example.svg)" > example </div> <span><strong>Example</strong></span> </div> <div class="pl-4"><figure id="fault-on-web-1" class="diagram"> <img src="/figures/fault-on-web-1.svg"/> <figcaption>Up: the original diagram $D$. Down: the diagram $D^F$ where $F$ is a single $Z$-flip on the edge. Note in the new diagram $D^F$ the old Pauli web coloring still works.</figcaption> </figure></div> </div> <p>What's more interesting is that when we instantiate the fault on the diagram, it's gonna flip the sign of the Pauli web based on how the fault string commutes with the Pauli web coloring.</p> <!----> <div class="my-4 flex flex-col rounded-lg bg-(--admonition-bg)" style="--admonition-bg: rgba(68, 138, 255, 0.1)" > <div class="flex items-center rounded-t-lg bg-(--admonition-bg) p-1"> <div class="mx-2 h-4 w-4 text-[0px] [background:var(--url)_center_center_no-repeat] dark:invert" style="--url: url(./icons/note.svg)" > note </div> <span><strong>Note</strong></span> </div> <div class="pl-4"><p>When we say "fault string commutes with the Pauli web coloring" we don't mean firing the Pauli web and check commutation but rather checking commutation via the color of the web.</p> <p>For example an $X$ fault on a green edge or blue edge counts as anti-commuting, and just like checking ordinary Pauli string commutation, we just count the number of anti-commuting edges and check if it's even or odd.</p> </div> </div> <p>For example in <a href="https://lexuge.github.io/modern-qec-1/#fault-on-web-1">this figure</a>, the detecting region Pauli web's sign flipped from $1$ to $-1$. The general reason is that, whenever the Pauli on the edge anti-commutes with the Pauli represented by the coloring, its corresponding spider stabilizer eigenvalue would be $-1$. Hence, if we use the procedure to work out the sign of the new web, it would incur an additional sign of $$(-1)^{\text{number of anti-commuting sites}}$$</p> <p>Therefore, anti-commuting faults flip the sign of Pauli webs.</p> <p>This is a very useful effect because it tells us how to detect fault when running circuit generally, going beyond simple syndrome extraction measurement. With detecting regions, we can do a "space-time syndrome extraction".</p> <!----> <div class="my-4 flex flex-col rounded-lg bg-(--admonition-bg)" style="--admonition-bg: rgba(101, 31, 255, 0.1)" > <div class="flex items-center rounded-t-lg bg-(--admonition-bg) p-1"> <div class="mx-2 h-4 w-4 text-[0px] [background:var(--url)_center_center_no-repeat] dark:invert" style="--url: url(./icons/example.svg)" > example </div> <span><strong>Example</strong></span> </div> <div class="pl-4"><p>Consider a circuit measuring ZZ stabilizers twice.</p> <figure id="fault-on-web-2" class="diagram"> <img src="/figures/fault-on-web-2.svg"/> <figcaption>Anti-commuting faults are detected by Pauli web since it flips the sign of the detecting region to $-1$</figcaption> </figure> The left diagram has a detecting region of green color (hence can detect $X, Y$ faults since they anti-commute from what we have). The sign of the detecting region is $k_1 \oplus k_2$. <p>To have the diagram non-zero (hence probability not zero on that branch of measurement post-selection), we need $k_1 = k_2$.</p> <p>However, if an $X$ fault appears on one of the edge, the sign of the new web becomes $k_1 \oplus k_2 \oplus 1$ since the fault anti-commutes with the web. Therefore, the non-zero post-selection now becomes $k_1 \not = k_2$. This means we can detect the fault by running measurements!</p> </div> </div> <p>Hence we could give a formal definition of error detection <div class="math-box definition" id="definition-fault-detection"> <div class="math-box-header"> <span class="math-box-type">Definition</span> <span class="math-box-title">(Fault Detection)</span> </div> <div class="math-box-body"> <p>A fault $F$ on diagram $D$ is said to be detectable if $F$ flips any of the detecting regions of $D$.</p> </div> </div> </p> <h2 id="inconsequential-faults">Inconsequential Faults</h2> <div class="math-box definition" id="definition-inconsequential-fault"> <div class="math-box-header"> <span class="math-box-type">Definition</span> <span class="math-box-title">(Inconsequential Fault)</span> </div> <div class="math-box-body"> <p>Let $D$ be a non-zero diagram. A fault on the diagram $S \in \overline{\mathcal{P}^{|E|}}$ is <strong>inconsequential</strong> if $D^S = D$.</p> </div> </div> <p>By stabilizer theory, we know that every inconsequential fault is generated by some stabilizers of spiders.</p> <!----> <div class="my-4 flex flex-col rounded-lg bg-(--admonition-bg)" style="--admonition-bg: rgba(68, 138, 255, 0.1)" > <div class="flex items-center rounded-t-lg bg-(--admonition-bg) p-1"> <div class="mx-2 h-4 w-4 text-[0px] [background:var(--url)_center_center_no-repeat] dark:invert" style="--url: url(./icons/note.svg)" > note </div> <span><strong>Note</strong></span> </div> <div class="pl-4"><p>Why do we want $D$ to be non-zero? Because under zero diagram we could have $S$ which obviously doesn't stabilize the diagram while still $D^S = D = 0$. This is unwanted because we want inconsequential faults be such that they are generated by the spider stabilizers.</p> <p>For example,</p> <figure id="inconseq-fault" class="diagram"> <div class="side-by-side"> <img src="/figures/inconseq-fault-1.svg" /> <img src="/figures/inconseq-fault-2.svg" /> </div> <figcaption>Left: diagram $D$ which is zero, and its two Pauli webs. Right: $S$ such that it isn't generated by spider stabilizers while still stabilizes $D$ in the sense that $D^S = D = 0$.</figcaption> </figure></div> </div> <div class="math-box definition" id="definition-spacetime-equivalence"> <div class="math-box-header"> <span class="math-box-type">Definition</span> <span class="math-box-title">(Spacetime Equivalence)</span> </div> <div class="math-box-body"> <p>We call two faults $F_1, F_2$ spacetime-equivalent if $F_1 = F_2 S$ for some inconsequential fault $S$.</p> </div> </div> <h2 id="pauli-web-is-all-you-need">Pauli Web is all you need</h2> <h3 id="detecting-region-is-all-you-need">Detecting region is all you need</h3> <p>When would a fault send a diagram to zero? Do we need to reduce the diagram via trial-and-error to see if it goes zero or can we "just" check all the detecting regions?</p> <div class="math-box lemma" id="lemma-stabilizer-not-compatible"> <div class="math-box-header"> <span class="math-box-type">Lemma</span> </div> <div class="math-box-body"> <p>Let $|a\rangle, |b\rangle$ be two Clifford states, then $\langle a | b \rangle = 0$ if and only if there exists $S$ in stabilizer subgroup of $|a \rangle$ such that $-S$ is in the stabilizer subgroup of $b\rangle$.</p> </div> </div> <div class="math-box proof" > <div class="math-box-header"> <span class="math-box-type">Proof</span> </div> <div class="math-box-body"> <p>If there exists such a $S$ then it's trivial to see since</p> <p>$$\langle a | b \rangle = - \langle a | S^2 | b \rangle = - \langle a | b \rangle $$</p> <p>hence it's 0.</p> <p>Let's try prove the converse. The projection $\langle a | b \rangle = 0$ if and only if a sequence of stabilizer projections applied on $|b\rangle$ gives 0. So if the stabilizers of $|a \rangle$ are $Q_i$s then it would be</p> <div class="math-display" data-tex="\Pi^{(0)}_{Q_1} \Pi^{(0)}_{Q_2} \Pi^{(0)}_{Q_3} \Pi^{(0)}_{Q_4} \dots"></div> <p>So how do you project a Clifford state with $\Pi_{Q}^{(0)}$? This is a well-known result for Clifford state simulation via stabilizer tableau. Let's say we have a $n$-qubits Clifford state described by $n$ stabilizers $\{P_i\}$ before the projection. The resulting state after projection is again a Clifford state with stabilizers $\{P_i'\}$ given according to the rules below.</p> <p>Two cases:</p> <ol> <li>If all the $P_i$ commutes with $Q$ then generate $Q$ using $P_i$ up to a scalar. ($Q$ is guaranteed to be generated up to a scalar by $P_i$ due to Fundamental Theorem of Stabilizer Theory and we have a full-rank of stabilizer set). Since $P_i$ are self-adjoint, we will generate $\pm Q$. If we generate $+Q$ then projection does nothing, otherwise it kills the state.</li> <li>If some $P_i$ anti-commutes with $Q$ then we pick one anti-commuting $P_i$ as pivot, and then update the rest of anti-commuting $P_j \to P_j P_i =: P_j'$ hence $P_j'$ commutes with $Q$. Then replace $P_i$ with $Q$ and put an arbitrary sign (measurement result gives both results with equal probability).</li> </ol> <p>So every time we project, we either:</p> <ol> <li>Kill the state or</li> <li>Replace (at most) one stabilizer with $Q_i$ from the stabilizer subgroups of $|a\rangle$ while the rest stabilizers still stay in the original stabilizer subgroup of $P_i$s.</li> </ol> <p>So ultimately to kill the state, we necessarily have to generate $-Q_k$ using a subset of $Q_1, \dots Q_{k-1}$ and a subset of stabilizers in $\langle P_i \rangle$, which proves that there exists an $S$ which is stabilizers of $|b\rangle$ such that $-S$ is in stabilizers of $|a\rangle$.</p> </div> </div> <div class="math-box proposition" id="prop-zero-iff-flip-region"> <div class="math-box-header"> <span class="math-box-type">Proposition</span> <span class="math-box-title">(Diagram goes to zero iff detecting region got flipped)</span> </div> <div class="math-box-body"> <p>Let $D$ be a non-zero diagram. $D^S = 0$ if and only if $S$ anti-commutes with at least one of $D$'s detecting region.</p> </div> </div> <div class="math-box proof" > <div class="math-box-header"> <span class="math-box-type">Proof</span> </div> <div class="math-box-body"> <p>If $S$ anti-commutes with at least one of $D$'s detecting region, then it flips the sign of the detecting region and hence $D=-D=0$ by firing the web.</p> <p>Hence we only need to prove the inverse: if $D^S = 0$ then $S$ anti-commutes with at least one of $D$'s detecting region.</p> <p>Let's start by bending wires:</p> <ol> <li>For simplicity, first bend all the input wires of $D$ into output wires. So from now on we assume $D$ is a Clifford state.</li> <li>Instantiate faults and pull out the edges where $S$ has support on.</li> </ol> <p>So we have the following diagrams for $D$ and $D^S$. Without loss of generality we are only drawing fault $S$ with a single edge flip.</p> <figure id="detecting-reg-ayd-1" class="diagram"> <img src="/figures/detecting-region-is-ayn-2.svg" /> <img src="/figures/detecting-region-is-ayn-1.svg" /> </div> <figcaption>Bending wires around. This helps us converting detecting regions relevant to the fault $S$ into stabilizing Pauli webs for $D'$.</figcaption> </figure> <p>So $D^S$ now can be seen as prepared through three phases:</p> <ol> <li>Prepare $D'$ with input bended over.</li> <li>Apply some Paulis on the bended-over inputs.</li> <li>Project onto bunch of (here only one drawn) Bell states.</li> </ol> <p>And we have the following when doing this process:</p> <ol> <li>Without the Paulis applied in the middle, projection is guaranteed to be non-zero (since $D\not = 0$). This also means $D'$ can't be a zero diagram otherwise $D = 0$ clearly.</li> <li>$D'$ (with inputs bended over) is a Clifford state, so is the Bell state.</li> <li>What does applying Paulis to $D'$ Clifford state do? It simply flips the sign of its stabilizers. Because in general the new stabilizers of a Clifford state after applying Clifford gate $U$ is given as $$ P_i' = U P_i U^\dagger $$ while here $U$ is a Pauli $Q$ and Paulis either commute or anti-commutes hence $P_i' = \pm P_i$ where $\pm$ depends on the commutation relation between $P_i, Q$.</li> </ol> <p>So now the question turns to what is the necessary and sufficient condition for two Clifford states to be projected to zero.</p> <p>Therefore by <a href="#lemma-stabilizer-not-compatible">lemma</a>, if $D^S$ is zero, we necessarily need to have the $D'$ state after Pauli fault string to have a stabilizer $R \in \langle X_1 X_2, Z_1 Z_2, X_3 X_4, Z_3 Z_4, \dots \rangle$ with negative sign.</p> <p>This $R$ will be a Pauli web on the $D'$ state before Pauli fault string applied on it. And the sign of this Pauli web would need to be positive because $D \not = 0$ and $S$ can't be a negative stabilizer otherwise it kills the state by the lemma.</p> <p>Therefore, the Pauli fault string $S$ must flip the sign of this web which means it anti-commutes with $R$. Finally, this stabilizing Pauli web representing $S$ has the same color for every pair of edges connecting to the Bell states, hence it will actually make a detecting region of the entire diagram $D$ if we color the bell states part with the same color.</p> <p>Therefore, we proved if $D^S = 0$ then $S$ anti-commutes with at least one Pauli web.</p> </div> </div> <p>This means the following three are equivalent:</p> <ol> <li>Fault $F$ flips at least one detecting region's sign.</li> <li>$D^F = 0$.</li> <li>Fault $F$ is <a href="https://lexuge.github.io/modern-qec-1/#definition-fault-detection">detectable</a>.</li> </ol> <h3 id="stabilizing-pauli-web-is-all-you-need">Stabilizing Pauli web is all you need</h3> <div class="math-box proposition" id="prop-inconq-faults-flip-none"> <div class="math-box-header"> <span class="math-box-type">Proposition</span> <span class="math-box-title">(Fault is inconsequential iff it commutes with all webs)</span> </div> <div class="math-box-body"> <p>Let $D$ be a non-zero diagram. A fault $S$ is inconsequential if and only if it commutes with all Pauli webs' colorings.</p> </div> </div> <div class="math-box proof" > <div class="math-box-header"> <span class="math-box-type">Proof</span> </div> <div class="math-box-body"> <p>Under the assumption that $D$ is a non-zero diagram, we can reformulate the proposition as $D^S = D$ if and only if it commutes with all Pauli webs' colorings.</p> <p>If $D^S = D$, then two diagrams represent the same Clifford state up to a non-zero constant. Since also $D\not = 0$, this means:</p> <ol> <li>$D^S$ is not zero. Hence none of the signs of detecting regions should be flipped (otherwise $D^S = 0$).</li> <li>They must be stabilized by the same stabilizers with the same sign. Hence none of the signs of the stabilizing Pauli web should be flipped (otherwise $D^S \not = D$).</li> </ol> <p>If it commutes with all Pauli webs' colorings, then again $D^S$ agrees with $D$ on all the signs of the Pauli webs. Since <a href="#prop-zero-iff-flip-region">diagram can't go zero without flipping at least one detecting region</a>, we know $D^S \not = 0$. Now since $D^S$ and $D$ are both non-zero and has the same stabilizers and signs of stabilizers, they must be the same state up to a scalar.</p> </div> </div> <div class="math-box proposition" id="proposition-spacetime-equivalent-iff-flip-the-same-set-of-webs"> <div class="math-box-header"> <span class="math-box-type">Proposition</span> <span class="math-box-title">(Spacetime-equivalent iff flip the same set of webs)</span> </div> <div class="math-box-body"> <p>Let $D$ be a non-zero diagram and $F_1, F_2$ be two faults on $D$. $F_1, F_2$ are spacetime-equivalent if and only if they flip the signs of the same Pauli webs.</p> </div> </div> <div class="math-box proof" > <div class="math-box-header"> <span class="math-box-type">Proof</span> </div> <div class="math-box-body"> <p>If $F_1 = F_2 S$ for some inconsequential $S$, then $F_1 F_2$ is inconsequential and then it commutes with all Pauli webs (detecting or stabilizing) by the <a href="#prop-inconq-faults-flip-none">above proposition</a>. Therefore, it must be the case that Pauli string $F_1, F_2$ individually agrees on commutativity with any Pauli strings.</p> <p>If $F_1, F_2$ agrees in terms of commutativity with all Pauli webs, then $F_1 F_2$ commutes with all Pauli webs, hence $F_1 F_2$ is inconsequantial and $F_1, F_2$ are spacetime equivalent.</p> </div> </div> <div class="math-box proposition" id="prop-undetectable-spacetime-equiv"> <div class="math-box-header"> <span class="math-box-type">Proposition</span> <span class="math-box-title">(Undetectable faults are spacetime-equivalent iff diagrams are equivalent)</span> </div> <div class="math-box-body"> <p>Let $D$ be a non-zero diagram and $F_1, F_2$ are two undetectable faults on $D$. $F_1, F_2$ are spacetime-equivalent if and only if $D^{F_1} = D^{F_2}$.</p> </div> </div> <div class="math-box proof" > <div class="math-box-header"> <span class="math-box-type">Proof</span> </div> <div class="math-box-body"> <p>we only need to prove that under this assumption, $F_1, F_2$ flips the same Pauli webs if and only if $D^{F_1} = D^{F_2}$.</p> <p>If $D^{F_1} = D^{F_2}$ and since $F_1, F_2$ are not detectable, by <a href="#prop-zero-iff-flip-region">proposition</a> we know both $D^{F_1}, D^{F_2}$ are non-zero. Hence they must be the same non-zero Clifford state and hence flips the same stabliizing Pauli webs.</p> <p>If undetectable $F_1, F_2$ flips the same Pauli webs, then by <a href="#prop-zero-iff-flip-region">proposition</a> both diagrams are not zero and has the same stabilizers and signs, hence must be of the same state and $D^{F_1} = D^{F_2}$.</p> </div> </div> <!----> <div class="my-4 flex flex-col rounded-lg bg-(--admonition-bg)" style="--admonition-bg: rgba(68, 138, 255, 0.1)" > <div class="flex items-center rounded-t-lg bg-(--admonition-bg) p-1"> <div class="mx-2 h-4 w-4 text-[0px] [background:var(--url)_center_center_no-repeat] dark:invert" style="--url: url(./icons/note.svg)" > note </div> <span><strong>Note</strong></span> </div> <div class="pl-4"><p>Can there be detectable fault that doesn't flip the non-detecting Pauli web's sign? Here is a simple example you might want to entertain yourself with.</p> <figure id="undetermined-detectable-fault-1" class="diagram"> <img src="/figures/undetermined-detectable-fault-1.svg" /> <figcaption>The vanilla diagram $D$</figcaption> </figure> <p>And there are two Pauli webs of the diagram:</p> <figure id="undetermined-detectable-fault-2" class="diagram"> <div class="side-by-side"> <img src="/figures/undetermined-detectable-fault-2.svg" /> <img src="/figures/undetermined-detectable-fault-3.svg" /> </div> <figcaption>Two Pauli webs of $D$, right being a detector region</figcaption> </figure> <p>Now consider a X fault on the bottom edge, it anti-commutes with the detecting region and commutes with the left web. Hence $D^F=0$ but still gets stabilized by the left web by eigenvalue 1.</p> <p>Though this discussion is a bit pointless (since a zero diagram should be stabilized by any stabilizer with both eigenvalue 1 and -1). It does show that it could be possible that a detectable fault anti-commutes with some detecting region while commutes with all the webs with boundaries.</p> </div> </div> <h1 id="next-steps">Next Steps</h1> <p>In this blog post, we have gathered basic tools including noise models, Pauli webs and theorems related to them. One immediate observation being that Pauli webs are immensely powerful to pin down faults happening during the diagram (or circuits) which is a major part of quantum error correction (figure out what error has happened without looking at the state).</p> <p>In the next post, we will define fault-equivalence, formulate fault-tolerance, circuit distance (and see how it relates to usual code distance we like to talk about), define what quantum error correction really means (what do we want to achieve during QEC?) and more.</p> <!-- # Fault Equivalence ## Why Pauli Error # Fault Tolerance How do we formulate fault-tolerance? # Circuit Distance How is circuit distance related to code distance we used to talk about? (Simple example on measurement flip), but can we be absolutely sure that $d$ rounds is enough? Actually, since fault is fully characterized by Pauli web commutation, can we in principle infer circuit distance by looking at how many detecting regions we have? (and how much dimension we have left after making sure fault is undetectable? maybe not exactly cause minimum weight is highly specific to exact placement of Paulis) # Define Quantum Error Correction What do we want to achieve when we are doing QEC? --> <h1 id="acknowledgement">Acknowledgement</h1> <p>Almost none of the content, except examples and the proof on detecting region and zero diagram, in this blog post is original by me. Thanks Aleks, Ben, and Andrey for explaining details of the theory to me, and I hope I successfully reproduced the essentials of those in the blog post so others can benefit :)</p> <p>Some general useful references I used and learned from include and . You could find many of the propositions and definitions here probably in more details and/or formalities in those papers.</p> <h1 id="references">References</h1> <div class="footnote-definition" id="dem"><sup class="footnote-definition-label">1</sup> <p>M. McEwen, D. Bacon, and C. Gidney, “Relaxing Hardware Requirements for Surface Code Circuits using Time-dynamics,” Quantum, vol. 7, p. 1172, Nov. 2023, doi: 10.22331/q-2023-11-07-1172.</p> </div> <div class="footnote-definition" id="stab"><sup class="footnote-definition-label">2</sup> <p>C. Borghans, “ZX-Calculus and Quantum Stabilizer Theory”.</p> </div> <div class="footnote-definition" id="construction"><sup class="footnote-definition-label">3</sup> <p>B. Rodatz, B. Poór, and A. Kissinger, “Fault Tolerance by Construction,” Oct. 09, 2025, arXiv: arXiv:2506.17181. doi: 10.48550/arXiv.2506.17181.</p> </div> <div class="footnote-definition" id="completeness"><sup class="footnote-definition-label">4</sup> <p>M. Rüsch, B. Rodatz, and A. Kissinger, “Completeness for Fault Equivalence of Clifford ZX Diagrams,” Nov. 30, 2025, arXiv: arXiv:2510.08477. doi: 10.48550/arXiv.2510.08477.</p> </div> <!-- ## Why Pauli errors The right logic should be for each potential circuit, we write the idealized circuit (including its measurement results) as a ZX diagram and then place unitary faults as a series of diagrams. Now we can talk about the detectability of the fault by thinking of the terms How about correction? Suppose we are running a circuit, it can be thought as going through a circuit with additional _fault sites_ (octagons) as in the figure below  We could place arbitrary unitary $E_{i}$ with support on fault sites represented by octagons as our fault. For example, we could place a single qubit unitary or choose two fault sites and place a CNOT over both. Now for arbitrary unitary $E_{i}$ we may expand it as a sum of Pauli strings on its support. For example, $$ CX_{1\to 2} = \frac{1}{2}(II + ZI + IX - ZX) $$ Therefore, for arbitrary unitary error configuration $\\{ E_{i} \\}$ we can expand it as a series of terms where each term is the circuit with fault sites replaced by a Pauli operator. For example, if a single $CX_{2\to 3}$ happens at timestamp 2 in the figure and no other fault happens then it's equivalent to a sum of four figures each corresponding to one Pauli term in the $CX$ expansion. where each $\mathcal{U}_{i}$ is the channel representing the idealized circuit layer where each $K_{i}$ represents the combined effect of our circuit and error during the process. Notice that this purely quantum description includes the classical bit-flip of the measurement results since such a bit-flip can be emulated by a anti-commuting Pauli right before the measurement. More specifically, each $K_{i}$ represents the linear map that is Our ultimate task is to detect if an error has occurred throughout the circuit due to the famous theorem of "detection gives correction". (quantum) errors can be thought of as unitaries applied between "slices" of actual quantum circuits we run. # Detector and Detecting Region --> Tue, 18 Jun 2024 00:00:00 +0000 Kanyang Ying https://lexuge.github.io/test/ https://lexuge.github.io/test/ <p>This blog uses Kita theme which supports $\LaTeX$ mathematical formulas using <a rel="external" href="https://katex.org/">KaTeX</a>.</p>