Pith. Sign in

REVIEW

Fusion-assisted decoding of non-Abelian topological order

PaperPDF from arXiv

data files

ReviewThe objections and verdict, as JSON Paper breakdownThe authors' claims, conditions and measurements, as JSON Signed receiptProof this review has not been altered
X Bluesky LinkedIn Reddit Hacker News
Rohith Sajith, Yabo Li, Zijian Song, Tsung-Cheng Lu, Carolyn Zhang

Quantum Physics · Submitted 5 Oct 2026 · 60 references

Pith's verdict: First explicit refined-syndrome ML decoders for a non-Abelian quantum double: the central-qubit threshold hierarchy is solid and well-benchmarked, but the single-shot full-qudit claim is an acknowledged argument a direct simulation should settle.

T0 · AI review

How this review was made: An AI referee (deepseek/deepseek-v4-flash) read the paper on October 6, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 2 major objections · 3 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv ID2610.05901 (version 1)
Pith IDYEBN3W2D, Pith's permanent record of this paper and its review
CitationCarolyn Zhang, Rohith Sajith, Tsung-Cheng Lu, Yabo Li, Zijian Song. "Fusion-assisted decoding of non-Abelian topological order." arXiv:2610.05901 (2026). https://pith.science/paper/YEBN3W2D
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

Why Pith says this

Highlight any text to comment on it.

Referee report

How Pith checks papers → · Full audit of this paper →

The paper

The paper claims

Refined syndrome records that resolve the fusion outcomes of non-Abelian anyon pairs systematically raise maximum-likelihood decoding thresholds, reaching about 0.214 for the central qubit of the D4 quantum double under E charge noise on…

The reading

Maximum-likelihood error correction is harder for codes with non-Abelian anyons than for the toric code, because the locations of local excitations do not exhaust the error information and the logical operators cannot be classified by Abelian homology. This paper argues that the fix is to measure more: refining the syndrome record to include the fusion outcomes of non-Abelian anyon pairs systematically raises the decoding threshold. Concretely, for the central qubit of the $D_4$ quantum double under two-dimensional $E$-charge noise on a cylinder, three nested syndrome records give thresholds $p_c^{(1)} \approx 0.111 < p_c^{(2)} \approx 0.165 < p_c^{(3)} \approx 0.214$. Below the minimum-weight perfect matching threshold, the full five-dimensional logical qudit can be recovered in a single round of measurements. The paper also establishes a structural cost: fusion measurements of incorrectly paired anyons can disturb logical information outside the central qubit, so the high threshold is bought by sacrificing the rest of the qudit.

What carries the argument

The central object is the pair-fusion charge projector $P^{\lambda}_{p_{i,j}}$, built from ribbon operators $F_{p_{i,j}}(h)$ that leave the edges along a chosen path untouched while acting on the path's endpoints with parallel-transported group elements; it generalizes the onsite charge projector and measures the total electric charge of a strip containing a pair of $E$ anyons, thereby resolving the fusion channel in $E \times E = A_{00} \oplus A_{10} \oplus A_{01} \oplus A_{11}$. The technical workhorse is the reduction of every syndrome probability to a classical partition function — an Ising-type model for $S^{(1)}$ and a decorated loop model with closed-component neutrality constraints for $S^{(2)}$ and $S^{(3)}$ — and the evaluation of homology-resolved likelihoods $Z_S(h)$ via twisted partition functions that insert a $\mathbb{Z}_2$ sign along a seam crossing the cylinder. The same machinery yields a Rényi-2 coherent-information diagnostic that locates the intrinsic information-theoretic transition near $p_c \approx 0.46$ for both the full qudit and the central qubit.

Extended reading notes

Core claim

The paper claims that refined syndrome sets, including measurements that resolve non-Abelian anyon fusion outcomes, systematically improve the performance of maximum-likelihood decoders for non-Abelian topological order. In the $D_4$ quantum double decohered by the non-Abelian $E$ charge on a cylinder, the three nested records — recording only where the $E$ anyons sit ($S^{(1)}$), resolving the complete onsite irrep charge including the four Abelian anyons ($S^{(2)}$), and further measuring pairwise fusion outcomes of the $E$ anyons ($S^{(3)}$) — give progressively higher thresholds $p_c^{(1)} \approx 0.111$, $p_c^{(2)} \approx 0.165$, $p_c^{(3)} \approx 0.214$. A further claim is that the full five-dimensional logical qudit is single-shot recoverable below the minimal-weight perfect matching threshold, by collapsing the two rounds of an earlier protocol — $E$-anyon annihilation followed by Abelian cleanup — into a single round of up-front fusion measurements. The paper also establishes a trade-off: because two homologically distinct fusion paths can differ by a noncontractible loop, a windings-loop fusion measurement acts as a projective measurement on the noncentral logical sectors while leaving the central qubit untouched, so protecting the central qubit at high threshold necessarily sacrifices the rest of the qudit.

Load-bearing premise

The single-shot full-qudit claim rests on the stated but unproven confinement assumption that after the $E$-anyon recovery, the subsequent Abelian cleanup remains confined to contractible, vacuum-fusing components and therefore cannot distinguish logical states or implement a nontrivial logical operator.

Editorial extensions

If this is right

  • For any non-Abelian topological order whose non-Abelian anyons fuse only to Abelian outcomes, such as quantum doubles of nilpotent groups of class 2 including $D_4$, fusion measurements make single-shot full-logical-space recovery realistic below the MWPM threshold.
  • The central-qudit recipe — protecting the subspace associated with the group center via $\mathbb{Z}_N$ homology while cleaning up other anyons arbitrarily — applies beyond nilpotent groups, as shown for $D_6$, where an $E_1$ error network carries a $\mathbb{Z}_2$ winding variable even though $E_1 \times E_1$ includes a non-Abelian outcome.
  • The threshold hierarchy $p_c^{(1)} \approx 0.111 < p_c^{(2)} \approx 0.165 < p_c^{(3)} \approx 0.214$ shows that Abelian charges in the $S^{(2)}$ record act as hard constraints on where non-Abelian error strings can run, a mechanism that works because the Abelian anyons appear only at junctions of $E$ strings.
  • Above the MWPM threshold, fusion-based recovery necessarily sacrifices the noncentral three-dimensional part of the qudit, so decoder design becomes a deliberate choice of which logical subspace to protect.
  • The improved decoders still fall short of the intrinsic information-theoretic threshold near $p \approx 0.46$, so the syndrome-refinement strategy is a way to approach, not saturate, the decodability limit of the topological order.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The refined syndromes carry a non-local measurement cost: $S^{(3)}$ pairs arbitrarily distant $E$ anyons, so the threshold gain from 0.165 to 0.214 is bought with measurement weight that may be impractical in hardware; a natural extension is to estimate how much of the gain survives with only finite-range fusion measurement.
  • If the authors' conjecture is correct, adding independent incoherent Abelian charge noise should drive the three syndrome thresholds together until they coincide, which would make fusion-assisted decoding effective specifically for noise biased toward non-Abelian charges — a directly testable prediction.
  • The sacrificial-subspace structure suggests a general design principle for non-Abelian decoders: guarantee one protected logical sector at a high threshold and let the fate of the other sectors be decided by which anyons the measurement protocol happens to pair.
  • The Rényi-2 coincidence at $p \approx 0.46$ for the full qudit and the central qubit could be an artifact of the Rényi-2 weighting of the spectrum, so the genuinely distinguishing calculation — a von Neumann coherent-information evaluation at larger sizes — remains open.
Original abstract

Maximum likelihood (ML) decoders perform quantum error correction by measuring a set of syndromes, classically computing an optimal recovery based on these syndromes and the noise model, and then performing that recovery. ML decoders are well understood for the toric code and generalize straightforwardly to other surface codes with Abelian anyons, where they can saturate information-theoretic decoding thresholds. On the other hand, codes with non-Abelian anyons have become increasingly relevant because they can support transversal or constant-depth non-Clifford gates and admit efficient preparation protocols in modern quantum devices. However, they present new challenges for decoding: non-Abelian anyons cannot in general be deterministically annihilated, and the logical operators cannot be classified by Abelian homology. In this work, we show that refined syndrome sets, including measurements that resolve non-Abelian anyon fusion outcomes, systematically improve the performance of ML decoders. We demonstrate this concretely by constructing explicit decoders for the $D_4$ quantum double model under charge noise, and obtaining numerical results for thresholds via mappings to classical statistical-mechanics models. We show that there is a nonzero noise threshold below which the entire logical qudit can be recovered with a single round of measurements.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13.0 via TypeSafe API, question bank abstract-p1-20260923, 2026-10-06: 1 request, 5,753 input tokens.

What the abstract itself states, as probabilities: claims first 0.06 · states limitation 0.15 · human participants 0.01 · controlled comparison 0.31 · randomized assignment 0.01 · states quantitative result 0.18 · compares with prior results 0.63 · mentions code or data availability 0.02.

The abstract, sentence by sentence

arXiv listing abstract v1. Results and the main claim are underlined; .

Maximum likelihood (ML) decoders perform quantum error correction by measuring a set of syndromes, classically computing an optimal recovery based on these syndromes and the noise model, and then performing that recovery. ML decoders are well understood for the toric code and generalize straightforwardly to other surface codes with Abelian anyons, where they can saturate information-theoretic decoding thresholds. On the other hand, codes with non-Abelian anyons have become increasingly relevant because they can support transversal or constant-depth non-Clifford gates and admit efficient preparation protocols in modern quantum devices. However, they present new challenges for decoding: non-Abelian anyons cannot in general be deterministically annihilated, and the logical operators cannot be classified by Abelian homology. In this work, we show that refined syndrome sets, including measurements that resolve non-Abelian anyon fusion outcomes, systematically improve the performance of ML decoders. We demonstrate this concretely by constructing explicit decoders for the $D_4$ quantum double model under charge noise, and obtaining numerical results for thresholds via mappings to classical statistical-mechanics models. We show that there is a nonzero noise threshold below which the entire logical qudit can be recovered with a single round of measurements.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
s0 Maximum likelihood (ML) decoders perform quantum error correction by measuring a set of syndromes, classically computing an optimal recovery based on these syndromes and the noise model, and then performing that recovery. background 0.99 0.05 0.02 asserted 1.00
s1 ML decoders are well understood for the toric code and generalize straightforwardly to other surface codes with Abelian anyons, where they can saturate information-theoretic decoding thresholds. background 1.00 0.05 0.02 asserted 1.00
s2 On the other hand, codes with non-Abelian anyons have become increasingly relevant because they can support transversal or constant-depth non-Clifford gates and admit efficient preparation protocols in modern quantum devices. background 1.00 0.05 0.03 asserted 0.95
s3 However, they present new challenges for decoding: non-Abelian anyons cannot in general be deterministically annihilated, and the logical operators cannot be classified by Abelian homology. background 0.72 0.04 0.03 asserted 0.94
s4 In this work, we show that refined syndrome sets, including measurements that resolve non-Abelian anyon fusion outcomes, systematically improve the performance of ML decoders. contribution 0.93 0.95 0.86 asserted 1.00
s5 We demonstrate this concretely by constructing explicit decoders for the $D_4$ quantum double model under charge noise, and obtaining numerical results for thresholds via mappings to classical statistical-mechanics models. method 0.63 0.97 0.12 asserted 1.00
s6 We show that there is a nonzero noise threshold below which the entire logical qudit can be recovered with a single round of measurements. result 1.00 0.94 0.35 asserted 1.00

What kind of paper the classifier reports this is: method or tool 0.87 · evidence from simulation or computation 0.99.

What was examined, and what was not

sources read
  • arXiv listing abstract v1
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

Figures
Figure 1. FIG. 1. The phase diagram of the
Figure 2. FIG. 2. Stabilizers and logical operators of the quantum
Figure 3. FIG. 3. A schematic of how additional onsite charge informa
Figure 4. FIG. 4. A schematic of how additional pair-fusion information
Figure 5. FIG. 5. Edge configurations contributing to the complete
Figure 6. FIG. 6. Information resolved by onsite and fusion measure
Figure 7. FIG. 7. Closed flux ribbon surrounding a pair of charges. The
Figure 8. FIG. 8. An augmented graph that contributes to the prob
Figure 9. FIG. 9. The fusion outcomes measured along
Figure 10. FIG. 10. Definition of the residual logical sector. A deter
Figure 11. FIG. 11. Central-qubit maximum-likelihood failure probability for the binary
Figure 12. FIG. 12. Central-qubit maximum-likelihood failure probability for the complete onsite charge record
Figure 13. FIG. 13. Central-qubit maximum-likelihood failure probability for the onsite-plus-pair-fusion record
Figure 14. FIG. 14. Finite-size scaling of central-qubit maximum-likelihood failure for (a)
Figure 15. FIG. 15. R´enyi-2 coherent information under independent-edge
Figure 16. FIG. 16. Finite-size scaling for (a) Full five-dimensional logical input and (b) Central-qubit input near the R´enyi-2 transition,
Figure 17. FIG. 17. Microscopic action of the boundary-to-boundary flux ribbon

Figures reproduced from arXiv:2610.05901 by the authors.

References

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.