pith. sign in

arxiv: 2506.19735 · v1 · submitted 2025-06-24 · 🪐 quant-ph

Quantum Resource Theories of Anyonic Entanglement

Wenhao Ye , Li You , Cheng-Qian Xu This is my paper

Pith reviewed 2026-05-19 07:38 UTC · model grok-4.3

classification 🪐 quant-ph
keywords anyonic entanglementresource theoryanyonic charge entanglemententanglement decompositiontopological quantum computingquantum informationfusion rules
0
0 comments X

The pith

Total entanglement in anyonic systems decomposes into conventional entanglement and anyonic charge entanglement.

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

The paper develops a resource theory approach to quantify entanglement in anyonic systems, which have non-tensor product state spaces due to fusion rules. Three measures are introduced for total entanglement, conventional entanglement, and anyonic charge entanglement (ACE). The central result is that total entanglement decomposes as the sum of conventional entanglement and ACE, exposing different correlation patterns than in standard quantum systems. This provides quantitative tools for understanding entanglement in topological systems relevant to fault-tolerant computing.

Core claim

Within the resource theory framework, three measures are proposed that quantify total entanglement, conventional entanglement, and anyonic charge entanglement (ACE), respectively. Total entanglement is shown to decompose into conventional entanglement and ACE, revealing distinct entanglement structures in anyonic systems compared to conventional quantum systems. A geometric interpretation of the ACE measure is given and shown equivalent to a prior probe of ACE.

What carries the argument

The three resource-theoretic entanglement measures (total, conventional, and ACE) and their additive decomposition relation.

If this is right

  • The decomposition allows separate quantification and manipulation of different entanglement types in anyons.
  • Measures can be used to assess resources for anyon-based quantum computation.
  • Geometric views of ACE provide new ways to visualize and analyze anyonic correlations.
  • The equivalence extends known links between geometric and operational views of correlations to the anyonic setting.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • These measures might enable new error-correction strategies tailored to anyonic hardware by targeting ACE specifically.
  • The approach could generalize to other systems with constrained state spaces, like certain spin chains or lattice models.
  • Numerical simulations of anyon braiding on quantum devices could test the practical utility of the proposed measures.

Load-bearing premise

The resource theory framework extends directly to anyonic states whose state spaces are shaped by non-tensor-product fusion rules, allowing the proposed measures to be well-defined and operationally meaningful.

What would settle it

Computing the three measures for a specific anyonic state like two Fibonacci anyons and finding that the total measure is not the sum of the other two would falsify the decomposition.

Figures

Figures reproduced from arXiv: 2506.19735 by Cheng-Qian Xu, Li You, Wenhao Ye.

Figure 1
Figure 1. Figure 1: FIG. 1. Illustration of entanglement structure in anyonic [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: shows the values of three entanglement mea￾sures for the isotropic state consisting of 6 Fibonacci anyons, as functions of the parameter α (see [37] for the explicit expressions). Note that except for α = 0, EACE(˜ρ) remains nonzero for all α, indicating that the corresponding isotropic state ˜ρα is entangled. The differ￾ence between anyonic and conventional scenarios can be interpreted from a geometrical … view at source ↗
read the original abstract

As information carriers for fault-tolerant quantum computing, systems composed of anyons exhibit non-tensor product state spaces due to their distinctive fusion rules, leading to fundamentally different entanglement properties from conventional quantum systems. However, a quantitative characterization of entanglement for general anyonic states remains elusive. In this Letter, within the framework of resource theory, we propose three measures that quantify total entanglement, conventional entanglement, and anyonic charge entanglement (ACE), respectively. We demonstrate that total entanglement can be decomposed into conventional entanglement and ACE, revealing distinct entanglement structures in anyonic systems compared to those in conventional quantum systems. We further illustrate a geometric interpretation of our ACE measure and establish its equivalence to a previously proposed probe of ACE, extending the known equivalence between the geometric interpretation and operational significance of bipartite correlations. Our work broadens the understanding of entanglement.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper develops a resource theory approach to entanglement in anyonic systems, which possess non-tensor-product state spaces due to fusion rules. It defines three measures quantifying total entanglement, conventional entanglement, and anyonic charge entanglement (ACE). The central claims are that total entanglement decomposes additively into conventional entanglement plus ACE, that the ACE measure admits a geometric interpretation, and that this measure is equivalent to a previously proposed probe of ACE, thereby extending known results on bipartite correlations.

Significance. If the decomposition and equivalence results hold, the work supplies a quantitative framework for distinguishing entanglement structures in anyonic systems from those in conventional quantum systems. This is relevant for topological quantum computation, where anyons serve as information carriers, and the extension of resource-theoretic monotones and geometric interpretations to fusion-constrained subspaces could aid operational characterizations of resources in fault-tolerant architectures.

major comments (2)
  1. [Main results / decomposition statement] The asserted decomposition of total entanglement into conventional entanglement and ACE (abstract and main results) is load-bearing for the claim of distinct entanglement structures. The non-tensor-product Hilbert space (direct sum over fusion channels) can introduce cross terms between charge sectors when measures are defined via convex-roof extensions or distances to free sets; an explicit verification that the chosen monotones remain additive under charge-preserving free operations is required, as additivity is not automatic in this setting.
  2. [Definitions of measures] The definitions of the three measures and the proof that they are well-defined on anyonic density operators supported in fusion-constrained subspaces (rather than H_A ⊗ H_B) must be supplied in full; without these, the operational meaningfulness of the ACE measure and the claimed equivalence to the prior probe cannot be assessed.
minor comments (2)
  1. Clarify the notation for anyonic states to explicitly indicate the direct-sum structure over fusion channels and the action of charge-preserving operations.
  2. [Introduction] Add a brief comparison in the introduction to existing anyonic entanglement probes to highlight the incremental contribution of the new measures.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thorough review and insightful comments on our manuscript. We address each of the major comments below and outline the revisions we plan to make to strengthen the paper.

read point-by-point responses

  1. Referee: [Main results / decomposition statement] The asserted decomposition of total entanglement into conventional entanglement and ACE (abstract and main results) is load-bearing for the claim of distinct entanglement structures. The non-tensor-product Hilbert space (direct sum over fusion channels) can introduce cross terms between charge sectors when measures are defined via convex-roof extensions or distances to free sets; an explicit verification that the chosen monotones remain additive under charge-preserving free operations is required, as additivity is not automatic in this setting.

    Authors: We appreciate the referee's emphasis on this critical aspect. Our construction of the measures is designed such that they are monotonic under charge-preserving free operations, and the decomposition follows from the way the free sets are defined separately for conventional and anyonic charge components. However, to rigorously address potential cross terms in the non-tensor-product space, we will add an explicit verification in the revised manuscript, including a proof that the monotones are additive under the relevant operations. revision: yes

  2. Referee: [Definitions of measures] The definitions of the three measures and the proof that they are well-defined on anyonic density operators supported in fusion-constrained subspaces (rather than H_A ⊗ H_B) must be supplied in full; without these, the operational meaningfulness of the ACE measure and the claimed equivalence to the prior probe cannot be assessed.

    Authors: We thank the referee for this suggestion. The definitions of the total entanglement measure, conventional entanglement measure, and ACE measure are given in the main text (Sections 2 and 3), where we adapt the convex-roof extension to the direct-sum structure of the anyonic Hilbert space. A proof of well-definedness for density operators in fusion-constrained subspaces is provided in the supplementary material. To ensure full accessibility and address the concern, we will incorporate a more detailed exposition of these definitions and the well-definedness proof directly into the main body of the revised manuscript. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected in derivation of anyonic entanglement measures

full rationale

The paper proposes three resource measures (total entanglement, conventional entanglement, and ACE) within an extended resource theory framework and demonstrates their decomposition as a derived property rather than a definitional identity. The claimed equivalence of the ACE measure to a prior probe is presented as an extension of established geometric-operational equivalences for bipartite correlations, providing external grounding instead of reducing to self-citation or fitted inputs. No equations or steps in the abstract or described chain exhibit self-definitional constructions, renaming of known results, or load-bearing self-citations that force the central claims by construction. The framework builds on standard resource theory monotones adapted to fusion-constrained spaces, remaining self-contained against external benchmarks without circular reduction.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

Review performed on abstract alone; the measures themselves constitute new constructs whose definitions and properties rest on the applicability of resource theory to anyonic fusion spaces.

axioms (1)
  • domain assumption Resource theory framework applies to anyonic states with non-tensor-product Hilbert spaces induced by fusion rules
    Invoked when defining the three measures and the decomposition
invented entities (1)
  • Anyonic charge entanglement (ACE) measure no independent evidence
    purpose: Quantify the entanglement component arising specifically from anyonic topological charges
    Newly defined in this work; no independent experimental signature provided in abstract

pith-pipeline@v0.9.0 · 5661 in / 1335 out tokens · 38528 ms · 2026-05-19T07:38:37.430783+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

56 extracted references · 56 canonical work pages

  1. [1]

    Horodecki, P

    R. Horodecki, P. Horodecki, M. Horodecki, and K. Horodecki, Quantum entanglement, Rev. Mod. Phys. 81, 865 (2009)

    work page 2009

  2. [2]

    M. A. Nielsen and I. L. Chuang, Quantum computation and quantum information (Cambridge university press, 2010)

    work page 2010

  3. [3]

    C. H. Bennett, G. Brassard, C. Cr´ epeau, R. Jozsa, A. Peres, and W. K. Wootters, Teleporting an unknown quantum state via dual classical and einstein-podolsky- rosen channels, Phys. Rev. Lett. 70, 1895 (1993)

    work page 1993

  4. [4]

    A. K. Ekert, Quantum cryptography based on bell’s the- orem, Phys. Rev. Lett. 67, 661 (1991)

    work page 1991

  5. [5]

    Deutsch and R

    D. Deutsch and R. Jozsa, Rapid solution of problems by quantum computation, Proc. R. Soc. Lond. A 439, 553 (1992)

    work page 1992

  6. [6]

    L. K. Grover, Quantum mechanics helps in searching for a needle in a haystack, Phys. Rev. Lett. 79, 325 (1997)

    work page 1997

  7. [7]

    P. W. Shor, Polynomial-time algorithms for prime factor- ization and discrete logarithms on a quantum computer, SIAM Rev. 41, 303 (1999)

    work page 1999

  8. [8]

    Giovannetti, S

    V. Giovannetti, S. Lloyd, and L. Maccone, Quantum metrology, Phys. Rev. Lett. 96, 010401 (2006)

    work page 2006

  9. [9]

    Pezze, A

    L. Pezze, A. Smerzi, M. K. Oberthaler, R. Schmied, and P. Treutlein, Quantum metrology with nonclassical states of atomic ensembles, Rev. Mod. Phys. 90, 035005 (2018)

    work page 2018

  10. [10]

    Zou, L.-N

    Y.-Q. Zou, L.-N. Wu, Q. Liu, X.-Y. Luo, S.-F. Guo, J.-H. Cao, M. K. Tey, and L. You, Beating the classical pre- cision limit with spin-1 dicke states of more than 10,000 atoms, Proc. Natl. Acad. Sci. U.S.A. 115, 6381 (2018)

    work page 2018

  11. [11]

    B. Zeng, X. Chen, D.-L. Zhou, X.-G. Wen, et al. , Quan- tum information meets quantum matter (Springer, 2019)

    work page 2019

  12. [12]

    T. J. Osborne and M. A. Nielsen, Entanglement in a sim- ple quantum phase transition, Phys. Rev. A. 66, 032110 (2002)

    work page 2002

  13. [13]

    Vidal, J

    G. Vidal, J. I. Latorre, E. Rico, and A. Kitaev, Entan- glement in quantum critical phenomena, Phys. Rev. Lett. 90, 227902 (2003)

    work page 2003

  14. [14]

    Amico, R

    L. Amico, R. Fazio, A. Osterloh, and V. Vedral, Entan- glement in many-body systems, Rev. Mod. Phys. 80, 517 (2008)

    work page 2008

  15. [15]

    C. H. Bennett, G. Brassard, S. Popescu, B. Schumacher, J. A. Smolin, and W. K. Wootters, Purification of noisy entanglement and faithful teleportation via noisy chan- nels, Phys. Rev. Lett. 76, 722 (1996)

    work page 1996

  16. [16]

    Vedral, M

    V. Vedral, M. B. Plenio, M. A. Rippin, and P. L. Knight, Quantifying entanglement, Phys. Rev. Lett. 78, 2275 (1997)

    work page 1997

  17. [17]

    Vedral and M

    V. Vedral and M. B. Plenio, Entanglement measures and purification procedures, Phys. Rev. A. 57, 1619 (1998)

    work page 1998

  18. [18]

    P. M. Hayden, M. Horodecki, and B. M. Terhal, The asymptotic entanglement cost of preparing a quantum state, J. Phys. A 34, 6891 (2001)

    work page 2001

  19. [19]

    Wilczek, Quantum mechanics of fractional-spin parti- cles, Phys

    F. Wilczek, Quantum mechanics of fractional-spin parti- cles, Phys. Rev. Lett. 49, 957 (1982)

    work page 1982

  20. [20]

    Wilczek, Magnetic flux, angular momentum, and statistics, Phys

    F. Wilczek, Magnetic flux, angular momentum, and statistics, Phys. Rev. Lett. 48, 1144 (1982)

    work page 1982

  21. [21]

    Nayak, S

    C. Nayak, S. H. Simon, A. Stern, M. Freedman, and S. Das Sarma, Non-abelian anyons and topological quan- tum computation, Rev. Mod. Phys. 80, 1083 (2008)

    work page 2008

  22. [22]

    Kitaev and J

    A. Kitaev and J. Preskill, Topological entanglement en- tropy, Phys. Rev. Lett. 96, 110404 (2006)

    work page 2006

  23. [23]

    Levin and X.-G

    M. Levin and X.-G. Wen, Detecting topological order in a ground state wave function, Phys. Rev. Lett. 96, 110405 (2006)

    work page 2006

  24. [24]

    Kitaev, D

    A. Kitaev, D. Mayers, and J. Preskill, Superselection rules and quantum protocols, Phys. Rev. A. 69, 052326 (2004)

    work page 2004

  25. [25]

    Kitaev, Anyons in an exactly solved model and be- yond, Ann

    A. Kitaev, Anyons in an exactly solved model and be- yond, Ann. Phys. 321, 2 (2006)

    work page 2006

  26. [26]

    Coecke, New structures for physics , Vol

    B. Coecke, New structures for physics , Vol. 813 (Springer Science & Business Media, 2011)

    work page 2011

  27. [27]

    Bonderson, K

    P. Bonderson, K. Shtengel, and J. Slingerland, Inter- ferometry of non-abelian anyons, Ann. Phys. 323, 2709 (2008)

    work page 2008

  28. [28]

    Hikami, Skein theory and topological quantum reg- isters: braiding matrices and topological entanglement entropy of non-abelian quantum hall states, Ann

    K. Hikami, Skein theory and topological quantum reg- isters: braiding matrices and topological entanglement entropy of non-abelian quantum hall states, Ann. Phys. 323, 1729 (2008)

    work page 2008

  29. [29]

    R. N. Pfeifer, Measures of entanglement in non-abelian anyonic systems, Phys. Rev. B. 89, 035105 (2014). 6

    work page 2014

  30. [30]

    K. Kato, F. Furrer, and M. Murao, Information- theoretical formulation of anyonic entanglement, Phys. Rev. A. 90, 062325 (2014)

    work page 2014

  31. [31]

    Bonderson, C

    P. Bonderson, C. Knapp, and K. Patel, Anyonic entangle- ment and topological entanglement entropy, Ann. Phys. 385, 399 (2017)

    work page 2017

  32. [32]

    K. Modi, T. Paterek, W. Son, V. Vedral, and M. Williamson, Unified view of quantum and classical correlations, Phys. Rev. Lett. 104, 080501 (2010)

    work page 2010

  33. [33]

    Chitambar and G

    E. Chitambar and G. Gour, Quantum resource theories, Rev. Mod. Phys. 91, 025001 (2019)

    work page 2019

  34. [34]

    M. B. Plenio and S. S. Virmani, An introduction to en- tanglement theory, in Quantum information and coher- ence (Springer, 2014) pp. 173–209

    work page 2014

  35. [35]

    Bonderson, M

    P. Bonderson, M. Freedman, and C. Nayak, Measurement-only topological quantum computa- tion via anyonic interferometry, Ann. Phys. 324, 787 (2009)

    work page 2009

  36. [36]

    Uhlmann, Relative entropy and the wigner-yanase- dyson-lieb concavity in an interpolation theory, Com- mun

    A. Uhlmann, Relative entropy and the wigner-yanase- dyson-lieb concavity in an interpolation theory, Com- mun. Math. Phys. 54, 21 (1977)

    work page 1977

  37. [37]

    See Supplemental Material at [URL] for detailed proofs and calculations

    work page

  38. [38]

    Horodecki, Entanglement measures., Quantum Inf

    M. Horodecki, Entanglement measures., Quantum Inf. Comput. 1, 3 (2001)

    work page 2001

  39. [39]

    M. B. Plenio, Logarithmic negativity: a full entanglement monotone that is not convex, Phys. Rev. Lett.95, 090503 (2005)

    work page 2005

  40. [40]

    Horodecki and P

    M. Horodecki and P. Horodecki, Reduction criterion of separability and limits for a class of distillation protocols, Phys. Rev. A. 59, 4206 (1999)

    work page 1999

  41. [41]

    J. K. Pachos, Introduction to topological quantum com- putation (Cambridge University Press, 2012)

    work page 2012

  42. [42]

    Trebst, M

    S. Trebst, M. Troyer, Z. Wang, and A. W. Ludwig, A short introduction to fibonacci anyon models, Progress of Theoretical Physics Supplement 176, 384 (2008)

    work page 2008

  43. [43]

    Gurvits and H

    L. Gurvits and H. Barnum, Largest separable balls around the maximally mixed bipartite quantum state, Phys. Rev. A. 66, 062311 (2002)

    work page 2002

  44. [44]

    Zhou, Irreducible multiparty correlations can be cre- ated by local operations, Phys

    D. Zhou, Irreducible multiparty correlations can be cre- ated by local operations, Phys. Rev. A. 80, 022113 (2009)

    work page 2009

  45. [45]

    Xu and D

    C.-Q. Xu and D. L. Zhou, Topological correlation in any- onic states constrained by anyonic superselection rules, Phys. Rev. A 108, 052221 (2023)

    work page 2023

  46. [46]

    B. M. Terhal, D. P. DiVincenzo, and D. W. Leung, Hiding bits in bell states, Phys. Rev. Lett. 86, 5807 (2001)

    work page 2001

  47. [47]

    Eggeling and R

    T. Eggeling and R. F. Werner, Hiding classical data in multipartite quantum states, Phys. Rev. Lett.89, 097905 (2002)

    work page 2002

  48. [48]

    Verstraete and J

    F. Verstraete and J. I. Cirac, Quantum nonlocality in the presence of superselection rules and data hiding pro- tocols, Phys. Rev. Lett. 91, 010404 (2003)

    work page 2003

  49. [49]

    Gisin and A

    N. Gisin and A. Peres, Maximal violation of bell’s in- equality for arbitrarily large spin, Physics Letters A 162, 15 (1992)

    work page 1992

  50. [50]

    C.-Q. Xu, W. Ye, and L. You, Superactivation of bell non- locality in pure anyonic states, arXiv:2506.08919 [quant- ph]

    work page arXiv

  51. [51]

    Palazuelos, Superactivation of quantum nonlocality, Phys

    C. Palazuelos, Superactivation of quantum nonlocality, Phys. Rev. Lett. 109, 190401 (2012)

    work page 2012

  52. [52]

    Lindblad, Expectations and entropy inequalities for finite quantum systems, Commun

    G. Lindblad, Expectations and entropy inequalities for finite quantum systems, Commun. Math. Phys. 39, 111 (1974)

    work page 1974

  53. [53]

    QUANTUM RESOURCE THEORIES OF ANYONIC ENT ANGLEMENT

    E. M. Rains, Bound on distillable entanglement, Phys. Rev. A. 60, 179 (1999). 7 SUPPLEMENT AR Y MA TERIAL FOR “QUANTUM RESOURCE THEORIES OF ANYONIC ENT ANGLEMENT” This supplementary material presents the proofs and calculations related to the main text. S1. ANYON MODELS ON A SPHERE We first give a brief review of anyon models on a sphere. A more complete ...

    work page 1999

  54. [54]

    (S1.1) A unique vacuum charge, denoted by 1, has trivial fusion rules with other anyons

    Basis of Hilbert space The objects called topological charges of an anyon model form a finite set {1, a, b, c,· · · }, obeying fusion rules: a × b = X c N c abc. (S1.1) A unique vacuum charge, denoted by 1, has trivial fusion rules with other anyons. The fusion (splitting) Hilbert space V ab c (V c ab) of two anyons a and b with total charge c is spanned ...

    work page

  55. [55]

    (S1.7) Take the identity operator as an example: Iab = X c,µ |a, b; c, µ⟩ ⟨a, b; c, µ| = a b = X c,µ r dc dadb a b a b c µ µ

    Operators 8 The operator space V ab a′b′ of operators acting on anyons a′ and b′ can be constructed as V ab a′b′ = M c V c a′b′ ⊗ V ab c , (S1.6) which is spanned by |a, b; c, µ⟩ ⟨a′, b′; c, µ′| = d2 c dadbda′db′ 1/4 a b a′ b′ c µ µ′ . (S1.7) Take the identity operator as an example: Iab = X c,µ |a, b; c, µ⟩ ⟨a, b; c, µ| = a b = X c,µ r dc dadb a b a b c ...

    work page

  56. [56]

    X c,µ dc ˜ρabcµ,abcµ # , (S3.5a) qab = Tr

    Quantum T race fTr and Anyonic Density Operator The trace of an operator is defined as usual to be: Tr[|a, b; c, µ⟩ ⟨a′, b′; c, µ′|] = δaa′δbb′δµµ′. (S1.11) The quantum trace fTr is related to ordinary trace by fTr˜ρ = P c dcTr˜ρc, where operator ˜ρc is the projection of operator ˜ρ onto definite total charge c. The partial quantum trace that describes tr...

    work page