pith. sign in

arxiv: 2605.20958 · v1 · pith:JI46UCDEnew · submitted 2026-05-20 · 🪐 quant-ph

High-Dimensional Carrier-Assisted Entanglement Purification Based on Mutually Unbiased Bases

Zihua Song , Lin Chen , Yongge Wang This is my paper

Pith reviewed 2026-05-21 05:09 UTC · model grok-4.3

classification 🪐 quant-ph
keywords entanglement purificationmutually unbiased basesqutrit systemsPauli channelsasymmetric noisecarrier-assisted protocols
0
0 comments X

The pith

A fixed MUB rotation enables unit asymptotic fidelity in purifying two-qutrit entanglement for any Pauli channel above 1/3 fidelity.

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

The paper addresses the failure of standard entanglement purification under severe asymmetric noise, where error probabilities prevent convergence. The authors introduce a deterministic pre-processing rotation of the qutrit phase space using mutually unbiased bases. This fixed rotation establishes dominance of errors along a primary axis without adapting to the specific noise. As a result, the modified carrier-assisted protocol converges to perfect fidelity for any two-qutrit Pauli channel whenever the initial fidelity exceeds 1/3.

Core claim

The central claim is that the MUB-adapted mCAEPP deterministically yields unit asymptotic fidelity for any two-qutrit Pauli channel with initial fidelity p00 > 1/3. This follows from a fixed, non-adaptive pre-processing rotation via mutually unbiased bases that establishes primary-axis error dominance for arbitrary asymmetric Pauli noise.

What carries the argument

The MUB-based pre-processing rotation that aligns the qutrit phase space to create primary-axis error dominance for the mCAEPP protocol.

If this is right

  • Any two-qutrit Pauli channel with fidelity above 1/3 can reach unit fidelity without adaptive pre-processing.
  • The convergence bottleneck from marginal X-error probabilities is removed for all asymmetric noise types.
  • The protocol succeeds deterministically across the full class of Pauli channels meeting the fidelity threshold.

Where Pith is reading between the lines

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

  • The same fixed MUB rotation strategy may extend to qudit dimensions higher than three for similar purification tasks.
  • This non-adaptive approach could simplify the design of quantum repeaters operating in high-dimensional noisy environments.
  • Hardware experiments on qutrit devices with controlled asymmetric noise would directly test the dominance assumption.

Load-bearing premise

A fixed non-adaptive rotation via mutually unbiased bases can always establish primary-axis error dominance for arbitrary asymmetric Pauli noise without channel-specific adaptation.

What would settle it

Apply the MUB-adapted mCAEPP to a two-qutrit Pauli channel with p00 just above 1/3 and extreme asymmetry in error rates, then measure whether the output fidelity converges to 1 or remains bounded below it.

Figures

Figures reproduced from arXiv: 2605.20958 by Lin Chen, Yongge Wang, Zihua Song.

Figure 1
Figure 1. Figure 1: Quantum circuit of the single-carrier CAEPP protocol [PITH_FULL_IMAGE:figures/full_fig_p005_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Quantum circuit for two-round purification over noiseless channels [PITH_FULL_IMAGE:figures/full_fig_p007_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Asymptotic fidelity FN of the single-carrier CAEPP without pre￾processing. Inset parameters: p0 := p00, p1,2 := pX=1,2 and A := p1/(p1 + p2). For symmetric noise with A = 0.5, p0 = 0.33, and p1 = p2 = 0.335, the convergence threshold p0 > max{p1, p2} is violated, causing the fidelity to strictly diverge to 0. 0 10 20 30 40 50 0.0 0.2 0.4 0.6 0.8 1.0 Number of Rounds (N) Fidelity (F) Converges to 1 (Thresho… view at source ↗
Figure 4
Figure 4. Figure 4: Asymptotic fidelity FN without pre-processing. For symmetric noise with A = 0.5, p0 = 0.34, and p1 = p2 = 0.330, the threshold condition p0 > max{p1, p2} is satisfied, enabling the fidelity to asymptotically converge to 1. 10 [PITH_FULL_IMAGE:figures/full_fig_p010_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Asymptotic fidelity FN without pre-processing. Under slightly asym￾metric noise with A = 0.48 and the same initial p0 = 0.34, the marginal errors shift to p1 = 0.317 and p2 = 0.343. The threshold condition p0 > max{p1, p2} is consequently violated, causing the fidelity to ultimately diverge to 0 despite p0 > 1/3. 0 10 20 30 40 50 0.0 0.2 0.4 0.6 0.8 1.0 Number of Rounds (N) Fidelity (F) Converges to 1 (Thr… view at source ↗
Figure 6
Figure 6. Figure 6: Asymptotic fidelity FN without pre-processing. Under highly asym￾metric noise with A = 0.01 and p0 = 0.51, the marginal errors are p1 = 0.005 and p2 = 0.485. The threshold condition p0 > max{p1, p2} is satisfied, enabling the fidelity to asymptotically converge to 1. 11 [PITH_FULL_IMAGE:figures/full_fig_p011_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: Quantum circuit for the scalable generalized mCAEPP with [PITH_FULL_IMAGE:figures/full_fig_p016_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: Quantum circuit of the adaptive mCAEPP. Local Clifford gates [PITH_FULL_IMAGE:figures/full_fig_p018_8.png] view at source ↗
read the original abstract

Distilling high-dimensional quantum entanglement under realistic, general asymmetric noise remains a formidable challenge. Standard entanglement purification protocols inevitably fail to satisfy convergence constraints under severe asymmetric noise. In this paper, we investigate carrier-assisted entanglement purification protocols, namely CAEPP and mCAEPP, for two-qutrit systems, demonstrating that without adaptive pre-processing, convergence is strictly bottlenecked by marginal $X$-error probabilities. To overcome this limitation, we introduce a deterministic pre-processing scheme based on mutually unbiased bases (MUBs). By actively rotating the qutrit phase space to establish primary-axis error dominance, we rigorously prove that the MUB-adapted mCAEPP deterministically yields unit asymptotic fidelity for any two-qutrit Pauli channel with initial fidelity $p_{00} > 1/3$.

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 manuscript introduces a mutually unbiased bases (MUB)-based deterministic pre-processing scheme for the modified carrier-assisted entanglement purification protocol (mCAEPP) applied to two-qutrit systems. It claims that this non-adaptive rotation of the qutrit phase space establishes primary-axis error dominance, thereby overcoming the convergence bottleneck of standard CAEPP under asymmetric Pauli noise, and rigorously proves that the MUB-adapted mCAEPP achieves unit asymptotic fidelity for any two-qutrit Pauli channel with initial fidelity p_{00} > 1/3.

Significance. If the central proof holds, the work offers a significant advance for high-dimensional entanglement purification by supplying a fixed, non-adaptive method that guarantees deterministic convergence to unit fidelity under general asymmetric Pauli channels, where conventional protocols are known to fail. The parameter-free character of the claimed result and its applicability to arbitrary Pauli noise (rather than symmetric or fitted cases) would strengthen its utility for quantum communication protocols in qutrit systems.

major comments (2)
  1. [Proof of unit asymptotic fidelity (main theorem)] The load-bearing step is the assertion that a fixed, non-adaptive MUB rotation always produces strict primary-axis error dominance for every Pauli channel with p_{00} > 1/3. The manuscript must supply an explicit general argument or exhaustive check showing that, for any error probability distribution on the Weyl operators, at least one of the discrete MUB rotations satisfies the dominance inequality required for the recurrence relation to drive fidelity to 1; without this, the deterministic unit-fidelity guarantee does not follow for all such channels.
  2. [Convergence recurrence and error analysis] The convergence analysis relies on the recurrence driving fidelity to 1 once dominance is achieved, yet the manuscript provides no explicit derivation of the recurrence map, the precise dominance threshold, or the conditions under which the iteration converges for qutrit Pauli channels. These steps are essential to substantiate the claim against general asymmetric noise.
minor comments (2)
  1. [Abstract] The abstract uses p_{00} without a brief inline definition; a parenthetical reminder of its meaning as the probability of the identity error would improve immediate readability.
  2. [MUB pre-processing section] Notation for the rotated bases and the resulting error probabilities after MUB pre-processing should be introduced with a short table or diagram to clarify the mapping from the original Weyl operators.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading of our manuscript and for providing constructive feedback. We address the major comments point by point below, and we will revise the manuscript accordingly to incorporate the requested clarifications and explicit derivations.

read point-by-point responses

  1. Referee: [Proof of unit asymptotic fidelity (main theorem)] The load-bearing step is the assertion that a fixed, non-adaptive MUB rotation always produces strict primary-axis error dominance for every Pauli channel with p_{00} > 1/3. The manuscript must supply an explicit general argument or exhaustive check showing that, for any error probability distribution on the Weyl operators, at least one of the discrete MUB rotations satisfies the dominance inequality required for the recurrence relation to drive fidelity to 1; without this, the deterministic unit-fidelity guarantee does not follow for all such channels.

    Authors: We appreciate the referee pointing out the need for a more explicit proof of this key step. The manuscript does establish that MUB rotations redistribute the error probabilities such that primary-axis dominance is achieved for channels with p_{00} > 1/3, based on the completeness of MUBs in dimension 3. To strengthen this, we will include in the revised manuscript an explicit general argument demonstrating that for any probability distribution over the Weyl operators with p_{00} > 1/3, there exists at least one MUB for which the primary error probability satisfies the strict dominance inequality. This argument will rely on averaging over the MUBs or using the fact that the sum of the primary probabilities across MUBs exceeds a certain value derived from p_{00}. We believe this will fully substantiate the deterministic guarantee. revision: yes

  2. Referee: [Convergence recurrence and error analysis] The convergence analysis relies on the recurrence driving fidelity to 1 once dominance is achieved, yet the manuscript provides no explicit derivation of the recurrence map, the precise dominance threshold, or the conditions under which the iteration converges for qutrit Pauli channels. These steps are essential to substantiate the claim against general asymmetric noise.

    Authors: We agree that providing the explicit recurrence and analysis will improve the manuscript. In the revision, we will derive the fidelity recurrence relation for the mCAEPP protocol following the MUB pre-processing. We will specify the dominance threshold (the condition on the primary-axis error probability that ensures the fidelity map is contractive towards 1) and prove that under this condition, the iterated fidelity converges to 1 for any initial fidelity above 1/3. This derivation will be general for asymmetric Pauli channels and will be added to the relevant section of the paper. revision: yes

Circularity Check

0 steps flagged

No circularity; derivation framed as independent proof

full rationale

The paper claims a rigorous proof that MUB-adapted mCAEPP yields unit asymptotic fidelity for arbitrary two-qutrit Pauli channels with p_{00}>1/3 by establishing primary-axis dominance via fixed MUB rotations. No quoted equations or steps reduce the result to a fitted parameter, self-definition, or load-bearing self-citation; the dominance step is presented as a mathematical construction over the discrete MUB set rather than an ansatz smuggled from prior work or a renaming of known patterns. The derivation is therefore self-contained against the stated general Pauli-channel benchmark and receives the default non-circularity finding.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard quantum channel models and properties of mutually unbiased bases; no free parameters or new entities are introduced in the abstract.

axioms (2)
  • domain assumption Two-qutrit systems evolve under general Pauli channels
    Abstract invokes Pauli channels as the noise model for which the protocol is proven.
  • standard math Mutually unbiased bases exist and can be used for deterministic phase-space rotation in qutrits
    The pre-processing scheme presupposes the existence and utility of MUBs in three-dimensional Hilbert space.

pith-pipeline@v0.9.0 · 5663 in / 1333 out tokens · 37900 ms · 2026-05-21T05:09:14.479733+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

30 extracted references · 30 canonical work pages

  1. [1]

    Bennett, Gilles Brassard, Claude Cr´ epeau, Richard Jozsa, Asher Peres, and William K

    Charles H. Bennett, Gilles Brassard, Claude Cr´ epeau, Richard Jozsa, Asher Peres, and William K. Wootters. Teleporting an unknown quantum state via dual classical and einstein-podolsky-rosen channels.Phys. Rev. Lett., 70:1895–1899, Mar 1993. 31

    work page 1993

  2. [2]

    Reinhard F. Werner. Quantum states with einstein-podolsky-rosen correla- tions admitting a hidden-variable model.Physical Review A, 40:4277–4281, Oct 1989

    work page 1989

  3. [3]

    A. Peres. Separability criterion for density matrices.Phys. Rev. Lett., 77:1413, 1996

    work page 1996

  4. [4]

    Horodecki, P

    M. Horodecki, P. Horodecki, and R. Horodecki. Separability of mixed states: necessary and sufficient conditions.Physics Letters A, 223:1–8, February 1996

    work page 1996

  5. [5]

    Reduction criterion of separability and limits for a class of protocols of entanglement distillation.Physics, 59(59):4206–4216, 1997

    Michal Horodecki and Pawel Horodecki. Reduction criterion of separability and limits for a class of protocols of entanglement distillation.Physics, 59(59):4206–4216, 1997

    work page 1997

  6. [6]

    Inseparable two spin- density matrices can be distilled to a singlet form.Physical Review Letters, 78(4):574–577, 1997

    Micha Horodecki, Pawe Horodecki, and Ryszard Horodecki. Inseparable two spin- density matrices can be distilled to a singlet form.Physical Review Letters, 78(4):574–577, 1997

    work page 1997

  7. [7]

    Mixed-state entanglement and distillation: Is there a bound a entanglement in nature? Phys

    Michal Horodecki, Pawel Horodecki, and Ryszard Horodecki. Mixed-state entanglement and distillation: Is there a bound a entanglement in nature? Phys. Rev. Lett., 80:5239–5242, 1998

    work page 1998

  8. [8]

    Five open prob- lems in quantum information, 2020

    Pawel Horodecki, Lukasz Rudnicki, and Karol Zyczkowski. Five open prob- lems in quantum information, 2020. arXiv:2002.03233v1

    work page arXiv 2020

  9. [9]

    Divincenzo, Peter W

    David P. Divincenzo, Peter W. Shor, John A. Smolin, Barbara M. Terhal, and Ashish V. Thapliyal. Evidence for bound entangled states with negative partial transpose.Physical Review A, 61(6):062312, 2000

    work page 2000

  10. [10]

    Many copies may be required for entanglement distillation

    John Watrous. Many copies may be required for entanglement distillation. Phys. Rev. Lett., 93:010502, 2004

    work page 2004

  11. [11]

    Vianna and Andrew C

    Reinaldo O. Vianna and Andrew C. Doherty. Distillability of werner states using entanglement witnesses and robust semidefinite programs.Phys. Rev. A, 74:052306, 2006

    work page 2006

  12. [12]

    Generalized choi states and 2-distillability of quantum states.Quantum Information Processing, 17(5):110, 2018

    Lin Chen, Wai Shing Tang, and Yu Yang. Generalized choi states and 2-distillability of quantum states.Quantum Information Processing, 17(5):110, 2018

    work page 2018

  13. [13]

    Smolin, Barbara M

    Pawel Horodecki, John A. Smolin, Barbara M. Terhal, and Ashish V. Thap- liyal. Rank two bound entangled states do not exist. 1999

    work page 1999

  14. [14]

    Rank-three bipartite entangled states are distillable.Physical Review A, 78(2):22318–22318, 2008

    Lin, Chen, Yi-Xin, and Chen. Rank-three bipartite entangled states are distillable.Physical Review A, 78(2):22318–22318, 2008

    work page 2008

  15. [15]

    Distillability of non-positive-partial- transpose bipartite quantum states of rank four.Phys

    Lin Chen and Dragomir Z Djokovic. Distillability of non-positive-partial- transpose bipartite quantum states of rank four.Phys. Rev. A, 94:052318, Nov 2016. 32

    work page 2016

  16. [16]

    Distillability and ppt entanglement of low-rank quantum states.Journal of Physics A: Mathematical and Theo- retical, 44(28):285303, 2011

    Lin Chen and Dragomir Z Djokovic. Distillability and ppt entanglement of low-rank quantum states.Journal of Physics A: Mathematical and Theo- retical, 44(28):285303, 2011

    work page 2011

  17. [17]

    E. M. Rains. Bound on distillable entanglement.Phys. Rev. A, 60:179, 1999

    work page 1999

  18. [18]

    E. M. Rains. A semidefinite program for distillable entanglement.IEEE Trans. Inform. Theory, 47:2921, 2001

    work page 2001

  19. [19]

    Devetak and A

    I. Devetak and A. Winter. Distillation of secret key and entanglement from quantum states.Proc. R. Soc. A, 461:207, 2005

    work page 2005

  20. [20]

    P. G. Kwiat, S Barraza-Lopez, A Stefanov, and N Gisin. Experimental en- tanglement distillation and ’hidden’ non-locality.Nature, 409(6823):1014–7, 2001

    work page 2001

  21. [21]

    Nondistillable entanglement guaran- tees distillable entanglement.International Journal of Modern Physics B, 26(27n28):1243008, 2012

    Lin Chen and Masahito Hayashi. Nondistillable entanglement guaran- tees distillable entanglement.International Journal of Modern Physics B, 26(27n28):1243008, 2012

    work page 2012

  22. [22]

    Advances in high di- mensional quantum entanglement.Nature Reviews Physics, 2019

    Manuel Erhard, Mario Krenn, and Anton Zeilinger. Advances in high di- mensional quantum entanglement.Nature Reviews Physics, 2019

    work page 2019

  23. [23]

    Quan- tum teleportation in high dimensions.Phys

    Yi Han Luo, Han Sen Zhong, Manuel Erhard, Xi Lin Wang, Li Chao Peng, Mario Krenn, Xiao Jiang, Li Li, Nai Le Liu, and Chao Yang Lu. Quan- tum teleportation in high dimensions.Phys. Rev. Lett., 123(7):070505.1– 040505.6, 2019

    work page 2019

  24. [24]

    Her- alded high-dimensional photon–photon quantum gate.Nature Photonics, 20(4):460–467, 2026

    Zhi Feng Liu, Zhi Cheng Ren, Pei Wan, Wen Zheng Zhu, Zi Mo Cheng, Jing Wang, Yu Peng Shi, Han Bing Xi, Marcus Huber, and Nicolai Friis. Her- alded high-dimensional photon–photon quantum gate.Nature Photonics, 20(4):460–467, 2026

    work page 2026

  25. [25]

    No-go theorems for universal entanglement purification.Phys

    Allen Zang, Xinan Chen, Eric Chitambar, Martin Suchara, and Tian Zhong. No-go theorems for universal entanglement purification.Phys. Rev. Lett., 134(19):190803, 2025

    work page 2025

  26. [26]

    No-go theorem for entanglement distillation using catalysis.Physical Review A, 109(5):6, 2024

    Ludovico Lami, Bartosz Regula, and Alexander Streltsov. No-go theorem for entanglement distillation using catalysis.Physical Review A, 109(5):6, 2024

    work page 2024

  27. [27]

    Experimental certification of high- dimensional entanglement with randomized measurements.Phys

    Ohad Lib, Shuheng Liu, Ronen Shekel, Qiongyi He, Marcus Huber, Yaron Bromberg, and Giuseppe Vitagliano. Experimental certification of high- dimensional entanglement with randomized measurements.Phys. Rev. Lett., 134(21):210202, 2025

    work page 2025

  28. [28]

    Resource-efficient high- dimensional entanglement detection via symmetric projections.Phys

    Simon Morelli, Marcus Huber, and Armin Tavakoli. Resource-efficient high- dimensional entanglement detection via symmetric projections.Phys. Rev. Lett., 131(17):170201.1–170201.8, 2023. 33

    work page 2023

  29. [29]

    Pathways for entanglement-based quantum communica- tion in the face of high noise.Phys

    Xiao Min Hu, Chao Zhang, Yu Guo, Fang Xiang Wang, Wen Bo Xing, Cen Xiao Huang, Bi Heng Liu, Yun Feng Huang, Chuan Feng Li, and Guang Can Guo. Pathways for entanglement-based quantum communica- tion in the face of high noise.Phys. Rev. Lett., (11), 2021

    work page 2021

  30. [30]

    Shor, Michael Horodecki, and Mary Beth Ruskai

    Peter W. Shor, Michael Horodecki, and Mary Beth Ruskai. Entanglement breaking channels.Reviews in Mathematical Physics, 2003. 34

    work page 2003