Pith. sign in

REVIEW 2 major objections 5 minor 54 references

Reconstructing non-Abelian braiding and fusion without anyon transport

T0 review · 2 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read A two-qutrit, measurement-only protocol reconstructs the D(S3) braiding and fusion data without anyon transport, with average output-state fidelities above 0.998, and the combined primitives generate a non-stabilizer resource state.

desk verdict A solid, compact hardware demonstration of measurement-only D(S3) data reconstruction, with one unproved algebraic reduction (Eq. A22) that should be pinned down before this is cited as a building block. read the letter →

arxiv 2608.04103 v1 pith:S2WWESFM submitted 2026-08-04 quant-ph cond-mat.str-elhep-th

Lucy Byles , Matthew D. Horner , Benjamin T. H. Varcoe , Jiannis K. Pachos This is my paper · ORCID
classification quant-phcond-mat.str-elhep-th
keywords non-AbeliananyonsquantumdoubleD(S3)measurement-onlytopologicalcomputationribbonoperatorsbraidingphasesfusionamplitudesHadamardtestnon-stabilizerresourcestates
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

Non-Abelian anyons are usually probed by creating excitations, moving them around each other, and measuring their fusion outcomes—an experimentally heavy process. This paper claims that both essential signatures of the $D(S_3)$ quantum double, the squared braiding phases and the fusion amplitudes, can be reconstructed from temporally ordered ribbon operations and local charge projections acting on just two qutrits, with no physical anyon transport. The claim is backed by a trapped-ion implementation whose reconstructed braiding and fusion transformations reproduce their ideal actions with average normalised output-state fidelities of $\bar{\mathcal{F}}_R=0.9988$ and $\bar{\mathcal{F}}_F=0.9987$. The recovered primitives also combine into a non-Clifford braid that produces a non-stabilizer resource state, so the measurement-only sequence serves both as a diagnostic of topological data and as a source of magic-state resources.

What carries the argument

The load-bearing mechanism is a dense reduction from the full four-qudit $D(S_3)$ plaquette to two qutrits. Every operator product entering the braiding and fusion overlaps acts nontrivially on only two of the four plaquette qudits; after ordering the group basis by $S_3\simeq\mathbb{Z}_3\rtimes\mathbb{Z}_2$, the relevant operators have support only on the $\mathbb{Z}_3$ block, and the flux-changing matrix elements cancel. The overlaps therefore reduce to expectation values on the simple product state $|\xi\rangle=\frac{1}{3}\sum_{g_1,g_2\in\mathbb{Z}_3}|g_1,g_2\rangle$, with $\langle\eta|O|\eta\rangle=\frac{1}{4}\langle\xi|O|\xi\rangle$. The reduced ribbon operators $F^G_{\rho_1}=Z\otimes X+Z^2\otimes X^2$ and $F^G_{\rho_2}=X\otimes Z^2+X^2\otimes Z$ and the charge projectors $A_+(v)$, $A_G(v)$ carry the non-Abelian action; their non-unitary products are dilated into ancilla-assisted circuits, with an adapted Hadamard test extracting real and imaginary parts of the squared braiding phases and post-selected overlap and normalisation probabilities extracting squared fusion amplitudes. The three-qubit unit-Hamming-weight encoding maps single bit flips outside the logical qutrit subspace, providing code-space filtering.

What would settle it

Evaluate the cancellation in Eq. (A22) for each operator product in Eqs. (20)--(22); a single nonzero flux-changing sum would falsify the product-state reduction and hence the reconstructed primitives. A direct numerical computation of the original four-qudit ground-state overlaps would settle the reduction without further hardware.

Watch

Extended reading notes

Core claim

This paper establishes that the squared braiding phases and squared fusion amplitudes of the closed fusion subcategory $\{A,B,G\}$ of the $D(S_3)$ quantum double can be recovered by a compact two-qutrit protocol. The braiding data are extracted from overlaps of reduced ribbon operators and charge projectors using an adapted Hadamard test: the measured values $(R_+^{\mathrm{exp}})^2=-0.480\pm0.095-i(0.853\pm0.095)$ and $(R_G^{\mathrm{exp}})^2=-0.418\pm0.135+i(0.846\pm0.134)$ agree with $\bar{\omega}=-0.5-i0.866$ and $\omega=-0.5+i0.866$. The fusion data come from post-selected overlap and normalisation probabilities, giving squared amplitudes whose square roots, in the conventional real gauge, give the experimental fusion matrix with entries $0.497\pm0.022$ and $0.768\pm0.062$ in place of $1/2$ and $1/\sqrt{2}$, and with the vanishing $G$--$G$ entry reproduced by an absence of accepted events in the $m_{GG}$ channel. Acting on $10^5$ Haar-random logical qutrit states, the reconstructed transformations achieve average normalised output-state fidelities $\bar{\mathcal{F}}_R=0.9988$ and $\bar{\mathcal{F}}_F=0.9987$. Combining the primitives into the composite braid $B_s=\mathbf{F}_s^\dagger \mathbf{R}^2 \mathbf{F}_s$ produces a non-Clifford braid, witnessed by stabilizer Rényi entropy $M_2(|\psi_B^{\exp}\rangle)=0.258\pm0.0886$ for the output state, compared with the ideal $\log(16/13)\approx0.208$, so the data that certify the anyon model also supply a non-stabilizer resource.

Load-bearing premise

The protocol assumes that, for every operator product entering the braiding and fusion overlaps, all matrix elements that change the total $\mathbb{Z}_3$ flux cancel exactly, so the four-qudit ground-state overlap can be evaluated on the simple product state $|\xi\rangle$; if any such term survives, the measured overlaps do not equal the intended $D(S_3)$ data.

Editorial extensions

If this is right

  • The two-qutrit protocol can serve as a modular building block: several such blocks coupled by ribbon and charge-projection operations enlarge the fusion space and enable multi-anyon processes.
  • The same measurement sequence that reconstructs the topological data also prepares a non-stabilizer resource state, so magic-state generation and data certification can share one circuit.
  • Characterising D(S3) braiding and fusion no longer requires preparing an extended topological state or physically moving anyons, lowering the overhead for probing non-Abelian anyon models on digital hardware.
  • The high average output-state fidelities show that the ancilla-assisted dilation and post-selection architecture preserves the relative logical phases needed for encoded anyonic gates across deep circuits.

Reading between the lines

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

  • Editorial inference: the same dense-reduction pattern should transfer to other quantum doubles $D(G)$ whose group splits as a semidirect product and whose ribbon operators act on a fixed small number of qudits, so two-qudit product-state protocols could certify anyonic data for larger models.
  • Editorial inference: the fusion readout's heavy post-selection, with the $G$-normalisation channel accepting roughly $4.6\times10^{-4}$ of trials, is the bottleneck for scaling; replacing it with non-destructive syndrome checks or adaptive feed-forward would turn the acceptance overhead into a resource trade-off rather than an exponential sampling cost.
  • Editorial inference: because the experiment measures only squared amplitudes, the relative sign of fusion channels remains ambiguous; an interference measurement of the phase between two fusion histories would remove the gauge freedom and pin down the full $F$-symbol, not just its magnitudes.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 5 minor

Summary. The paper proposes and experimentally implements a measurement-only protocol for reconstructing the squared braiding phases and squared fusion amplitudes of the D(S3) quantum double, using a reduced two-qutrit encoding on Quantinuum H2 hardware. The authors derive a dense reduction from four-qudit plaquette overlaps to expectation values on a two-qutrit product state, implement the reduced ribbon and projection operators with ancilla-assisted dilations, and extract the braiding data from an adapted Hadamard test and the fusion data from post-selected probabilities. They report average normalized output-state fidelities F_R=0.9988 and F_F=0.9987, and use the reconstructed primitives to construct a non-Clifford braid and a non-stabilizer resource state.

Significance. If the dense reduction is valid, the paper offers a significant step toward practical access to non-Abelian topological data: it replaces extended anyon transport and four-qudit ground-state overlaps with a compact two-qutrit product-state protocol, and it demonstrates that the resulting primitives can be used to produce a non-stabilizer resource. The work has notable strengths: the error bars are propagated from binomial shot noise, the circuits are optimized with state-specific controlled constructions, and the raw data and analysis code are made publicly available. The significance is currently conditional on two load-bearing points: the unproved cancellation in Appendix A3 and the under-reported statistical uncertainty on the F_GG fusion channel.

major comments (2)
  1. [Appendix A 3, Eq. (A22)] The product-state replacement is load-bearing and is justified only by the statement that 'direct evaluation shows' that the total flux-changing contribution cancels. The operator products in Eqs. (A1)-(A3) contain ribbon factors F_rho1 and F_rho2 whose individual terms change g1+g2 mod 3, so the claimed cancellation is a nontrivial identity rather than a formality. If Eq. (A22) fails for any of the operator products entering Eqs. (20)-(22), then Eq. (A24) and hence Eq. (31) are incorrect, and the measured overlaps are not the D(S3) braiding and fusion data claimed. Please supply an explicit derivation, a symmetry argument, or a machine-checkable verification for each operator product in Eqs. (A1)-(A3). The same request applies to the assertion in Appendix B, Eq. (B34), that 'direct expansion shows' m_+- = m_-+ = 0; that orthogonality is also used to complete the A-B block of the fusion matrix.
  2. [Section II B and Methods III C 2, p(m_GG) channel] The fusion reconstruction sets c = sqrt(p(m_GG)/p(n_G)) = 0 because zero accepted m_GG events were observed. For N1 = 11,000 and p(n_G) = 4.6e-4, the 95% upper bound on p(m_GG) is approximately 2.7e-4, which gives an upper bound |F_GG| of about 0.77. The data are therefore consistent with the ideal value 0, but they are also consistent with a large non-zero value. Because Eq. (13), Eq. (15) and Eq. (19) use the point estimate c = 0 without propagating its uncertainty, the quoted fusion fidelity and the magic-resource value overstate the constraining power of the experiment. Please report a confidence interval for c and propagate it through F_F and M_2, or explicitly state that c is taken from theory rather than reconstructed from the data.
minor comments (5)
  1. [Eqs. (11)-(13)] The notation is confusing: in Eq. (11) the quantities a, b and c are elementwise squared fusion amplitudes, while the entries of F_exp in Eq. (13) are their square roots. Please make this explicit so that the reader does not read the entry 0.497 as (F_AA)^2 rather than F_AA.
  2. [Section II A] The statement that both reconstructed phases are separated by more than five standard deviations from zero-amplitude should be quantified with the complex distance and its propagated uncertainty, since the real quadrature of (R_G)^2 is only about 3 standard deviations from zero.
  3. [Section II C] The Monte Carlo propagation used for the uncertainty in M_2 is not described; please provide the number of samples and the method so that the reported value 0.258 ± 0.0886 is reproducible.
  4. [Appendix B and Section II B] The A-B symmetry and the reality of the F-symbol are model inputs used to complete the fusion matrix from the measured +- and G-sector overlaps. Please mark these assumptions clearly in the reconstruction pipeline, for example in a table listing which entries are directly measured and which follow from the imported D(S3) data.
  5. [Section II B] The illustrative sentence 'For 10^4 shots one expects about 5 accepted events' uses a round number, while the actual normalisation run uses 13,000 shots; aligning the numbers would avoid a minor inconsistency.

Circularity Check

1 steps flagged · score 2.0 of 10

Minor self-citation in the dense reduction; no fitted-input circularity.

  1. self citation load bearing [Methods, Sec. III A (Dense reduction from four qudits to two qutrits), after Eq. (22); Eq. (23)]
    "The operators comprising Eqs. (20)−(22) act non-trivially on only two of the four plaquette qudits [19]. Denoting a general such operator by O=1_36⊗o, the corresponding expectation value with respect to the four-qudit ground state reduces to a sum of two-qudit expectation values, ⟨η|O|η⟩=⟨η|(1_36⊗o)|η⟩= 6 Σ_{g∈S3} ⟨ψ_g|o|ψ_g⟩"

    This locality assertion is the load-bearing first step of the dense reduction that maps the four-qudit plaquette overlaps to the two-qutrit protocol. It is justified only by a citation to Ref. [19], which is by two of the present authors (Byles, Forbes and Pachos). The manuscript does not re-derive this locality or supply an independent proof; if the cited construction were invalid, the measured two-qutrit expectation values would not equal the intended four-qudit braiding and fusion overlaps. This is a genuine reliance on a self-citation, though the subsequent experimental extraction is not fitted to the ideal values, so the dependence is partial rather than definitional.

full rationale

The central measured quantities are reconstructed from shot-count ratios, not from fits to ideal values: (R+)²=8(2p0−1), (RG)²=(R1)²−(R+)², and a, b, c are explicit square roots of post-selected probability ratios. The theoretical roots of unity and the ideal F-matrix are used only for comparison, so the reported fidelities F_R=0.9988 and F_F=0.9987 are not guaranteed by construction. The main circularity-related qualification is the locality step O=1_36⊗o, which is cited to the authors' own Ref. [19]; this is load-bearing but points to an independent published construction rather than to the present hardware data. Model inputs such as the D(S3) fusion rules, the A-B symmetry, and the reality of the F-symbol are external facts about the target model rather than outputs of the experiment, so importing them is a modelling choice, not a self-fulfilling prediction. One additional completeness risk, explicitly flagged by the manuscript's own wording, is Appendix A3: Eq. (A22) asserts that the total flux-changing contribution cancels 'by direct evaluation', with no derivation supplied. If this cancellation failed, the product-state replacement ⟨η|O|η⟩=(1/4)⟨ξ|O|ξ⟩ would not hold and the extracted probabilities would not be the D(S3) overlaps claimed. This is an omitted verification and a correctness risk, not a circular step. Overall circularity is limited to the self-citation dependence noted above, so a score of 2 is appropriate.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

No free parameters were fitted to data; a, b, c, and the braiding phases are reconstructed from measured probability ratios. The central claim rests on the known D(S3) data, the reduced-operator construction from Ref. [19] by the same group, and an unproved cancellation lemma in Appendix A3. No new physical entities are introduced.

assumptions (3)
  • domain assumption The D(S3) quantum double data (fusion rules, R and F symbols in Eq. (3)) are the target primitives.
    The protocol verifies this known model on hardware; Eq. (3) fixes the ideal values used for comparison, and Appendix B imports the A-B symmetry and reality of the F-symbol.
  • domain assumption The reduced two-qutrit operators F^G_rho1, F^G_rho2, A+(v), and A_G(v) from Ref. [19] faithfully represent the {A,B,G} subcategory of D(S3).
    Section III A and Appendix A4 state and partially verify this; the experimental circuits are built on it, so a failure of the reduction would invalidate the measured overlaps.
  • ad hoc to paper Total flux-changing matrix elements cancel for the operator products in Eqs. (20)-(22), enabling the product-state replacement.
    Eq. (A22) asserts 'direct evaluation shows' the cancellation, but no explicit computation is given. This is load-bearing for Eq. (31), which grounds all experimental expectation values.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Reconstructing non-Abelian braiding and fusion without anyon transport." pith.science (2026). https://pith.science/paper/S2WWESFM

@misc{pith2026260804103,
  author       = {Pith},
  title        = {Pith review of: Reconstructing non-Abelian braiding and fusion without anyon transport},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/S2WWESFM}},
  note         = {Machine review of arXiv:2608.04103}
}
abstract

Non-Abelian anyons offer a route to fault-tolerant and universal quantum computing, but experimental access to their defining braiding and fusion data remains limited by the resource overhead of implementing extended anyonic processes on quantum hardware. Here we introduce and experimentally realise a measurement-only protocol based on temporally ordered ribbon operations that reconstructs the non-Abelian braiding and fusion primitives of the quantum double model $D(S_3)$ without physical anyon transport. We implement a reduced two-qutrit version of the protocol on Quantinuum's H2 trapped-ion processors, realising ancilla-assisted ribbon operations and anyonic charge projections in a qubit encoding. We reconstruct the squared braiding phases and fusion amplitudes using an adapted Hadamard test and post-selected measurements, respectively. The associated braiding and fusion transformations reproduce their ideal actions with average normalised output-state fidelities of $\overline{\mathcal{F}}_{R}=0.9988$ and $\overline{\mathcal{F}}_{F}=0.9987$. Combining these primitives produces a non-Clifford braid and a non-stabilizer resource state, supporting measurement-only anyonic encodings as building blocks for larger topologically encoded quantum processors.

Figures

Figures reproduced from arXiv: 2608.04103 by the authors.

Figure 1
Figure 1. (a) shows the minimal plaquette geometry un￾derlying the reduced protocol. The full D(S3) plaquette contains four d = 6 qudits, but the ribbon and projec￾tion operators needed for the present overlaps act non￾trivially only on the degrees of freedom labelled 3 and 4. This locality is what renders the dense reduction possi￾ble: the relevant four-qudit vacuum expectation values can be evaluated using operators on two … view at source ↗
Figure 2
Figure 2. FIG. 2 [PITH_FULL_IMAGE:figures/full_fig_p003_2.png] view at source ↗
Figure 3
Figure 3. FIG. 3 [PITH_FULL_IMAGE:figures/full_fig_p004_3.png] view at source ↗
Figures from the paper (5 more)
Figure 4
Figure 4. Figure 4: FIG. 4 [PITH_FULL_IMAGE:figures/full_fig_p019_4.png]
Figure 5
Figure 5. Figure 5: FIG. 5 [PITH_FULL_IMAGE:figures/full_fig_p020_5.png]
Figure 6
Figure 6. Figure 6: FIG. 6 [PITH_FULL_IMAGE:figures/full_fig_p021_6.png]
Figure 7
Figure 7. Figure 7: FIG. 7 [PITH_FULL_IMAGE:figures/full_fig_p022_7.png]
Figure 8
Figure 8. Figure 8: FIG. 8 [PITH_FULL_IMAGE:figures/full_fig_p024_8.png]

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

54 extracted references · 42 canonical work pages

  1. [1]

    III A is naturally formu- lated in terms of two qutrits, whereas the Quantinuum processor operates on qubits

    Qutrit encoding and Givens rotations The reduced protocol of Sec. III A is naturally formu- lated in terms of two qutrits, whereas the Quantinuum processor operates on qubits. We therefore encode each qutrit into the unit-Hamming-weight subspace of three qubits, |e⟩≡|1,0,0⟩,|c⟩≡|0,1,0⟩,|c 2⟩≡|0,0,1⟩. (32) This three-dimensional subspace defines the logica...

    work page

  2. [2]

    (30) is the equal superpo- sition over all two-qutrit basis states

    Generalised Fourier transform and initial state preparation The state|ξ⟩defined in Eq. (30) is the equal superpo- sition over all two-qutrit basis states. Since it factorises into a product of two identical single-qutrit superposi- tions, it can be prepared by applying the qutrit Fourier transform to each qutrit as |ξ⟩= (U Q⊗U Q)|e,e⟩= 1 3 X g1,g2∈Z3 |g1,...

    work page

  3. [3]

    It is convenient to first diago- nalise them using the qutrit Fourier transform

    Projection operators The reduced charge operatorsA +(v) andA G(v) are non-unitary and are therefore implemented using ancilla- assisted post-selection. It is convenient to first diago- nalise them using the qutrit Fourier transform. LetP + denote the projector onto the two-qutrit subspace with equal qutrit labels,g 1 =g 2, given by P +|g1,g 2⟩= ( |g1,g 2⟩...

    work page

  4. [4]

    Ribbon operators The reduced ribbon operatorsF G ρ1 andF G ρ2 are non- unitary two-qutrit operators. As with the charge pro- jections, it is useful to diagonalise them by single-qutrit Fourier transforms as FG ρ1 = (13⊗U Q)DF (13⊗U† Q),(39) FG ρ2 = (U† Q⊗1 3)DF (UQ⊗1 3),(40) whereU Q is defined in Eq. (35). The diagonal operator has eigenvalues 1 2DF|g1,g...

    work page

  5. [5]

    Following the dense encoding of Sec

    Experimental extraction of the braiding phases Having constructed circuits that realise the two-qutrit ribbon and projection operators, we now outline the method by which these operations may be used to recon- struct the braiding phases on Quantinuum’s H2 quantum processors. Following the dense encoding of Sec. III A the squared braiding elements (R i)2 a...

    work page

  6. [6]

    As discussed in Eqs

    Experimental reconstruction of the fusion amplitudes Having described the reconstruction of the squared braiding phases on Quantinuum hardware, we now turn to the experimental extraction of the fusion amplitudes. As discussed in Eqs. (21) and (22), the squared fusion matrix elements (Fi j )2, withi,j∈{A,B,G}, can be ob- tained from overlaps of ribbon and ...

    work page

  7. [7]

    Kitaev, A. Y. Fault-tolerant quantum computation by anyons.Annals of Physics303, 2–30 (2003)

    work page 2003

  8. [8]

    H., Stern, A., Freedman, M

    Nayak, C., Simon, S. H., Stern, A., Freedman, M. & Das Sarma, S. Non-abelian anyons and topological quan- tum computation.Reviews of Modern Physics80, 1083– 1159 (2008)

    work page 2008

Show all 54 references
  1. [9]

    H., Kitaev, A., Larsen, M

    Freedman, M. H., Kitaev, A., Larsen, M. J. & Wang, Z. Topological quantum computation.Bulletin of the Amer- ican Mathematical Society40, 31–38 (2003)

    2003

  2. [10]

    & Nayak, C

    Bonderson, P., Freedman, M. & Nayak, C. Measurement- only topological quantum computation.Physical Review Letters101, 010501 (2008)

    2008

  3. [11]

    & Nayak, C

    Bonderson, P., Freedman, M. & Nayak, C. Measurement- only topological quantum computation via anyonic inter- ferometry.Annals of Physics324, 787–826 (2009)

    2009

  4. [15]

    & Williamson, D

    Ren, Y., Tantivasadakarn, N. & Williamson, D. J. Effi- cient preparation of solvable anyons with adaptive quan- tum circuits.Physical Review X15, 031060 (2025). 2411.04985

    2025 arXiv

  5. [16]

    Levin, M. A. & Wen, X.-G. String-net condensation: A physical mechanism for topological phases.Physical Review B71, 045110 (2005). cond-mat/0404617

    2005 arXiv

  6. [17]

    & Martin-Delgado, M

    Bombin, H. & Martin-Delgado, M. A. Family of non- abelian kitaev models on a lattice: Topological conden- sation and confinement.Physical Review B78, 115421 (2008). 0712.0190

    2008 arXiv

  7. [18]

    Beigi, S., Shor, P. W. & Whalen, D. The quantum dou- ble model with boundary: Condensations and symmetries. Communications in Mathematical Physics306, 663–694 (2011). 1006.5479

    2011 arXiv

  8. [19]

    Ogburn, R. W. & Preskill, J. Topological quantum com- putation. InQuantum Computing and Quantum Commu- nications, vol. 1509 ofLecture Notes in Computer Science, 341–356 (Springer, 1999)

    1999

  9. [20]

    Anyons from nonsolvable finite groups are sufficient for universal quantum computation.Physical Review A67, 022315 (2003)

    Mochon, C. Anyons from nonsolvable finite groups are sufficient for universal quantum computation.Physical Review A67, 022315 (2003). quant-ph/0206128

    2003 arXiv

  10. [21]

    Anyon computers with smaller groups.Phys- ical Review A69, 032306 (2004)

    Mochon, C. Anyon computers with smaller groups.Phys- ical Review A69, 032306 (2004). quant-ph/0306063

    2004 arXiv

  11. [22]

    X., Hong, S.-M

    Cui, S. X., Hong, S.-M. & Wang, Z. Universal quan- tum computation with weakly integral anyons.Quantum Information Processing14, 2687–2727 (2015)

    2015

  12. [23]

    & Ren, T

    Chen, L. & Ren, T. A universal circuit set using thes 3 quantum double.npj Quantum Information11, 13 (2025)

    2025

  13. [24]

    & Kitaev, A

    Bravyi, S. & Kitaev, A. Universal quantum computation with ideal clifford gates and noisy ancillas.Physical Review A71, 022316 (2005)

    2005

  14. [26]

    I.et al.Non-abelian braiding of graph ver- tices in a superconducting processor.Nature618, 264–269 (2023)

    Andersen, T. I.et al.Non-abelian braiding of graph ver- tices in a superconducting processor.Nature618, 264–269 (2023)

    2023

  15. [27]

    Iqbal, M., Tantivasadakarn, N., Verresen, R.et al.Non- abelian topological order and anyons on a trapped-ion pro- cessor.Nature626, 505–511 (2024)

    2024

  16. [28]

    Nature Physics20, 1469–1475 (2024)

    Xu, S., Sun, Z.-Z., Wang, K.et al.Non-abelian braid- ing of fibonacci anyons with a superconducting processor. Nature Physics20, 1469–1475 (2024)

    2024

  17. [29]

    Goel, S.et al.Unveiling the non-abelian statistics of d(s3) anyons using a classical photonic simulator.Physical Review Letters132, 110601 (2024)

    2024

  18. [30]

    Lo, C. F. B.et al.Universal gates from braiding and fusing anyons on quantum hardware.Nature655, 591– 597 (2026)

    2026

  19. [31]

    A.et al.A race-track trapped-ion quantum pro- cessor.Physical Review X13, 041052 (2023)

    Moses, S. A.et al.A race-track trapped-ion quantum pro- cessor.Physical Review X13, 041052 (2023). 2305.03828

    2023 arXiv

  20. [32]

    & Pachos, J

    Buican, M., Huston, P. & Pachos, J. K. Anyons and inherently complexF-symbols (2026). 2607.10181

    2026 arXiv

  21. [33]

    Leone, L., Oliviero, S. F. E. & Hamma, A. Stabilizer r´ enyi entropy.Physical Review Letters128, 050402 (2022). 2106.12587

    2022 arXiv

  22. [34]

    & Piroli, L

    Haug, T. & Piroli, L. Stabilizer entropies and nonstabiliz- erness monotones.Quantum7, 1092 (2023). 2303.10152

    2023 arXiv

  23. [35]

    & Bittel, L

    Leone, L. & Bittel, L. Stabilizer entropies are monotones for magic-state resource theory.Physical Review A110, L040403 (2024). 2404.11652

    2024 arXiv

  24. [36]

    S., Foote, R

    Dummit, D. S., Foote, R. M.et al. Abstract algebra, vol. 3 (Wiley Hoboken, 2004). C Experimental implementation on trapped-ion hardware 13

    2004

  25. [37]

    Reck, M., Zeilinger, A., Bernstein, H. J. & Bertani, P. Experimental realization of any discrete unitary operator. Physical review letters73, 58 (1994)

    1994

  26. [38]

    R., Humphreys, P

    Clements, W. R., Humphreys, P. C., Metcalf, B. J., Kolthammer, W. S. & Walmsley, I. A. Optimal design for universal multiport interferometers.Optica3, 1460– 1465 (2016)

    2016

  27. [39]

    & Mosca, M

    Cleve, R., Ekert, A., Macchiavello, C. & Mosca, M. Quantum algorithms revisited.Proceedings of the Royal Society of London. Series A: Mathematical, Physical and Engineering Sciences454, 339–354 (1998)

    1998

  28. [40]

    & Pachos, J

    Buican, M., Huston, P. & Pachos, J. K. Reality and com- plexity ofF-symbols in 2+1d topological phases (2026). To appear. C Experimental implementation on trapped-ion hardware 14 APPENDIX Appendix A: Dense reduction from a four-qudit plaquette to two qutrits The experimental p...

    2026

  29. [41]

    As described in Sec

    From four qudits to two qudits We first show that the four-qudit expectation values used to reconstruct the braiding and fusion data can be reduced exactly to expectation values on two qudits. As described in Sec. III A, the squared braiding phases of the non-AbelianGanyons ar...

  30. [42]

    Ordering the group-element basis as {e,c,c 2}⊕{t,tc,tc 2},(A7) separates theZ 3 subgroup from its complementary coset

    From two qudits to two qutrits We next exploit the semidirect-product structureS 3≃ Z3 ⋊ Z2 to reduce each local six-dimensional qudit to a qutrit [2]. Ordering the group-element basis as {e,c,c 2}⊕{t,tc,tc 2},(A7) separates theZ 3 subgroup from its complementary coset. This d...

  31. [43]

    (A11) by a single, experimentally accessible product state

    From entangled to product states The final reduction replaces the ensemble of entangled two-qutrit states|Ψ g⟩defined in Eq. (A11) by a single, experimentally accessible product state. The states|Ψ g⟩ have definite totalZ 3 fluxg, and therefore their expecta- tion values depen...

  32. [44]

    A detailed derivation of the corresponding ribbon algebra in the full quantum-double construction was given in Ref

    Anyonic content of the reduced two-qutrit operators The dense reduction is useful only if the resulting two- qutrit operators retain the fusion and braiding data of the{A,B,G}fusion subcategory ofD(S 3). A detailed derivation of the corresponding ribbon algebra in the full qua...

  33. [45]

    Let |eϕ12(i)⟩≡A i(v)FG ρ1FG ρ2|η⟩,(B2) |eϕ21(i)⟩≡A i(v)FG ρ2FG ρ1|η⟩,(B3) wherei∈ {A,B,G}

    Squared braiding phases from qutrit measurements We first define the states whose overlap gives the squared braiding phase. Let |eϕ12(i)⟩≡A i(v)FG ρ1FG ρ2|η⟩,(B2) |eϕ21(i)⟩≡A i(v)FG ρ2FG ρ1|η⟩,(B3) wherei∈ {A,B,G}. Here|η⟩is the vacuum state of the minimal four-qudit plaquette...

  34. [46]

    We write F≡F G GGG,Φ ij≡|F ij|2,(B13) withi,j∈{A,B,G}

    Squared fusion amplitudes from qutrit measurements We now show how the experimentally accessible two- qutrit overlaps determine the squared fusion amplitudes in the physical anyon basis{A,B,G}. We write F≡F G GGG,Φ ij≡|F ij|2,(B13) withi,j∈{A,B,G}. The four-qudit plaquette con...

  35. [47]

    Within the unit-Hamming-weight encoding, each such rotation is realised by a two-qubit gate acting on the subspace spanned by|01⟩and|10⟩, as described in Eq

    Qutrit Fourier transform In the logical basis{|e⟩,|c⟩,|c 2⟩}, the qutrit Fourier transform is UQ = 1√ 3   1 1 1 1ω ω 2 1ω 2 ω  , ω=e 2πi/3.(C1) To implementU Q in the three-qubit encoding, we decom- pose it using the Reck construction [7], which expresses a general U(3) tr...

  36. [48]

    Initial-state preparation The dense reduction of Sec. A expresses all braiding and fusion observables required by the protocol as ex- pectation values on the two-qutrit product state |ξ⟩= 1 3 X g1,g2∈Z3 |g1,g 2⟩.(C5) Since the state factorises into identical equal superposi- t...

  37. [49]

    (37) and (38)

    Charge-projection operators We next describe the ancilla-assisted implementation of the diagonal projectorsP + andP G introduced in Eqs. (37) and (38). In the three-qubit unit-Hamming- weight encoding of Eq. (32), two logical qutrits are equal if and only if their three corres...

  38. [50]

    (39) and (40)

    Ribbon operators The reduced ribbon operators are implemented through the diagonal form given in Eqs. (39) and (40). Since the diagonal operatorD F is non-unitary, the hard- ware circuit realises the scaled mapD F/2 by embedding it in a unitary dilation with ancillary qubits. ...

  39. [51]

    III C 1, the squared braiding phases were re- constructed from expectation values of the non-unitary two-qutrit mapsM + andM 1

    Hadamard test In Sec. III C 1, the squared braiding phases were re- constructed from expectation values of the non-unitary two-qutrit mapsM + andM 1. The mapM + contains the charge projectionA +(v), whereasM 1 is obtained by replacing this projection with the identity. We deno...

  40. [52]

    & Pachos, J

    Byles, L., Forbes, E. & Pachos, J. K. Demonstration of magic state power ofd(s 3) anyons with two qudits.New Journal of Physics28, 044501 (2026)

    2026

  41. [53]

    S., Foote, R

    Dummit, D. S., Foote, R. M.et al. Abstract algebra, vol. 3 (Wiley Hoboken, 2004)

    2004

  42. [54]

    & Koenig, R

    Bravyi, S., Kim, I., Kliesch, A. & Koenig, R. Adap- tive constant-depth circuits for manipulating non-abelian anyons (2022). 2205.01933

    2022 arXiv

  43. [55]

    & Verresen, R

    Tantivasadakarn, N., Vishwanath, A. & Verresen, R. Hi- erarchy of topological order from finite-depth unitaries, measurement, and feedforward.PRX Quantum4, 020339 (2023). 2209.06202

    2023 arXiv

  44. [56]

    & Vishwanath, A

    Verresen, R., Tantivasadakarn, N. & Vishwanath, A. Ef- ficiently preparing schr¨ odinger’s cat, fractons and non- abelian topological order in quantum devices (2021). 2112.03061

    2021 arXiv

  45. [57]

    Goel, S.et al.Unveiling the non-abelian statistics ofd(s 3) anyons using a classical photonic simulator.Physical Re- view Letters132, 110601 (2024)

    2024

  46. [58]

    Reck, M., Zeilinger, A., Bernstein, H. J. & Bertani, P. Experimental realization of any discrete unitary operator. Physical review letters73, 58 (1994). 5 Hadamard test 24 FIG. 8.State-specific controlled Hadamard test.(a) Left: standard Hadamard test for extracting Re[⟨Ψ|M|Ψ⟩...

    1994

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.