Pith. sign in

REVIEW 8 minor 36 references

Quantum Incapacity beyond No-Cloning and PPT Mechanisms

T0 review · 0 major / 8 minor · reviewed 2026-07-31 · grok-4.5

Pith's one-line read An explicit qutrit channel has zero private and quantum capacity while being neither PPT nor antidegradable.

desk verdict Explicit qutrit channel with P=Q=0 outside PPT and antidegradability; the signed-lift criterion looks real and the open problems are actually closed. read the letter →

arxiv 2607.24693 v2 pith:JG74CIL3 submitted 2026-07-27 quant-ph

classification quant-ph
keywords quantumcapacityprivateantidegradablechannelsPPTless-noisyordersignedliftWerner-Holevochannelcoherentinformation
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

Two structural mechanisms have long explained why a quantum channel can have zero quantum capacity: the channel is PPT, so it cannot distill entanglement, or it is antidegradable, so the environment can fully simulate the receiver. This paper gives a concrete three-level channel that escapes both mechanisms yet still cannot send private or quantum information at any asymptotic rate. The channel is a fixed noisy Werner–Holevo map on qutrits. The authors prove that its optimized private and coherent information vanish for every number of uses, so both capacities are exactly zero, while the Choi state is NPT and one-copy distillable and no antidegrading map exists. The work answers two open existence questions and isolates a weaker, observable-level comparison that is still strong enough to force zero capacity.

What carries the argument

A complete variance-dominating signed lift: an adjoint-preserving, generally nonpositive map J that sends each receiver observable to an environment observable with the same mean and no larger variance, stably under arbitrary reference systems. Complete positivity of its outer defect certifies the comparison, which upgrades through BKM metrics to the complete less-noisy order of the complement and therefore to zero private and quantum information at every blocklength.

What would settle it

Check the claimed Kraus factorization of the outer defect for the constructed lift J; if that defect is not completely positive, or if some reference-amplified input violates the BKM or relative-entropy comparison, the zero-capacity conclusion fails. Alternatively, exhibit strictly positive private or coherent information for any finite number of uses of Λ.

Watch

Extended reading notes

Core claim

For the explicit qutrit channel Λ(X)=½X+¼(Tr(X)1−Xᵀ), the optimized private and coherent information of every tensor power vanish, so P(Λ)=Q(Λ)=0, even though the Choi state is not PPT and the channel is not antidegradable.

Load-bearing premise

The argument needs that unbiased, reference-stable variance domination by a possibly nonpositive observable map is enough to dominate relative-entropy Hessians and hence relative entropies themselves.

Editorial extensions

If this is right

  • Zero quantum capacity can occur outside the PPT and antidegradable classes.
  • Antidegradability is not the only nontrivial mechanism that forces private capacity to vanish.
  • Complete variance-dominating signed lifts strictly contain antidegradable channels and still imply P=Q=0.
  • The complete less-noisy order of the complement can hold without any physical simulation of the receiver.
  • At this noisy Werner–Holevo parameter both capacities are settled at zero for all blocklengths.

Reading between the lines

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

  • The same signed-lift certificate may close other open low-dimensional capacity gaps where PPT and antidegradability both fail.
  • The stated hierarchy invites a search for channels that satisfy complete less-noisy order of the complement yet fail variance domination, separating the information orders further.
  • Observable-by-observable shadow reconstruction could serve as a practical zero-private-capacity diagnostic when full environment-to-receiver simulation is unavailable.
  • One-copy distillability of an NPT Choi state with vanishing one-way distillable entanglement points to a sharp one-way versus two-way separation worth checking on related families.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 8 minor

Summary. The manuscript exhibits the x=1/2 member of the qutrit noisy Werner–Holevo family, Λ(X)=½X+¼(Tr(X)1−Xᵀ), and proves that its optimized private and coherent information vanish at every blocklength (P⁽¹⁾(Λ⊗ⁿ)=Q⁽¹⁾(Λ⊗ⁿ)=0 for all n), hence P(Λ)=Q(Λ)=0, while its Choi state is NPT (indeed one-copy distillable) and the channel is not antidegradable. The proof introduces a "complete variance-dominating signed lift": a complex-linear, adjoint-preserving, generally nonpositive map J with J†∘Λᶜ=Λ whose reference-stable variance contraction is certified by complete positivity of an outer defect superoperator Δ_J (Prop. 3.4). Complete variance domination is converted to complete BKM-metric domination (Thm 3.5 via Lemma 3.6), bridged to the complete less-noisy order in relative entropy (Lemma 3.2), which tensorizes (citing [HRSF22]) and forces the one-shot informations to vanish (Cor. 3.1). For the concrete channel, J is given in closed form (Eq. 4.13), the lift identity is verified by direct algebra (Lemma 4.1), and the defect admits an explicit rank-three Kraus factorization Δ(τ)=(2/9)∑G_μτG_μ† (Prop. 4.2, Appendix A). The NPT and non-antidegradability statements are proved by exact finite calculations (spectrum of the partial transpose, Eq. 5.4; an exact symmetric two-extension witness, Prop. 5.3, Appendix B).

Significance. If the result holds, it settles two explicitly stated open problems: Smith and Smolin's question whether zero quantum capacity can occur outside the PPT and antidegradable classes [SS12], and Buscemi–Datta–Strelchuk's question whether antidegradability is the only nontrivial mechanism forcing P=0 [BDS14]. To my knowledge this would be the first unconditional, explicit, finite-dimensional example of this kind; prior candidate constructions in the nondegradable regime remained conditional on additivity-type assumptions. The capacity conclusion is not defined into existence: it follows from an independently checkable order relation (cRE of the complement) via cited tensorization theorems, and the channel-specific certificates — the closed-form lift J, the exact rank-three CP-defect factorization with explicit Kraus operators G_μ, the partial-transpose spectrum, and the analytic two-extension witness with closed-form optimizer — are all finite and fully displayed. The variance-domination/signed-lift mechanism (Thm 3.5, Prop. 3.4, and the exact variance identity (4.24)) is a conceptual contribution of independent interest: a strictly weaker, observable-level relaxation of antidegradabil

minor comments (8)
  1. [Abstract / §1] Abstract and §1: the phrase 'neither antidegradable nor positive under partial transposition (PPT)' applies PPT to the channel without definition; only Choi-state PPT is standard. Suggest 'whose Choi state is not PPT' at first occurrence, matching the usage in §5.
  2. [§4.2, Lemma 4.1] Eq. (4.14): the equality (Λᶜ)†∘J = Λ† = Λ uses self-adjointness of Λ, which is not explicitly stated before this point (it is clear from Eq. (4.1) but worth one clause, since the analogous identity J†∘Λᶜ=Λ in Eq. (4.15) is the form used in Definition 3.3).
  3. [Appendices A–B] Prop. 4.2 is certified by the entrywise expansion in Appendix A, and Prop. 5.3 by the 6j-symbol block calculation in Appendix B. Both are finite and displayed, but a short supplementary script (e.g., symbolic or exact-arithmetic verification of Eqs. (A.2)–(A.4) and the block matrices (B.6)) would materially lower the barrier to independent checking; this is a service to the reader, not a gap in the argument.
  4. [§6, Eq. (6.1)] Eq. (6.1): the decorated implication arrow '⇓ ̸⇑' is informal for a display in the Discussion; suggest spelling out 'the converse fails (shown by Λ)'. Also in the same paragraph, 'by Lemma 4.1 Propositions 3.4 and 4.2' is missing a comma/conjunction.
  5. [§3.1, Cor. 3.1] Corollary 3.1 is described as standard and attributed to [HRSF22, Proposition 3.2 and Theorem 4.13]; since the orientation (environment dominates receiver) is the crux of the capacity conclusion, it would help to state at first use that Nᶜ ⪰_cRE N is the direction that makes private/coherent information nonpositive, as the proof in fact does — a one-line signpost in the statement would suffice.
  6. [§5, Remark 5.2] Remark 5.2: the chain D→(ω_Λ) ≤ Q→(Λ) = Q(Λ) = 0 invoking [BKN00] is correct but compressed; one sentence recalling that forward classical communication does not increase quantum capacity would save readers a trip to the reference.
  7. [§3.3 / §6] The comparison with quantum statistical morphisms [Bus16] in §3.3 is useful; consider also remarking explicitly that for a physical (completely positive unital) J the definition reduces to antidegradability via the Kadison–Schwarz inequality (this is said around Eq. (3.17) but is worth repeating where the hierarchy in Eq. (6.1) is introduced).
  8. [§5, Eq. (5.4); §4] Typographical: the displayed spectrum in Eq. (5.4) uses a nonstandard multi-set notation '(1/4)^×5, 0, (−1/12)^×3'; a multiplicity annotation would be clearer. Minor notational collision: 'N' is used both as the generic channel in §3 and inside the Kraus/complementary-channel formulas in §4 with system labels suppressed; the suppression is announced but occasionally requires backtracking.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: zero capacities follow from an independently verified complete less-noisy order via an explicitly constructed signed lift, not from definitional or fitted inputs.

full rationale

The central claim P(Λ)=Q(Λ)=0 is obtained by constructing an explicit adjoint-preserving map J (Eq. 4.13) satisfying J†∘Λc=Λ, certifying that the outer defect Δ is completely positive by an exact rank-three Kraus factorization (Prop. 4.2 / Appendix A), and then applying the paper’s own variance-to-BKM theorem (Thm. 3.5) plus the cited BKM-to-relative-entropy bridge and hybrid tensorization (Lemma 3.2, Cor. 3.1 from HRSF22/BGSW25/Wat12). None of these steps defines the capacity quantities in terms of the lift, fits a parameter to capacity data, or imports a uniqueness theorem from the present authors. The NPT and non-antidegradability separations (Section 5) are independent spectral and two-extension-witness calculations. Prior citations (RK24) only supply the channel family and Kraus form; the all-blocklength vanishing and the signed-lift mechanism are new and self-contained. Honest non-finding: score 0.

Assumptions & free parameters 0 free parameters · 6 assumptions · 2 invented entities

Core claim rests on standard finite-dimensional QI (capacities as regularizations, complementary channels, Choi/PPT, symmetric extendibility ⇔ antidegradability) plus published complete less-noisy / BKM comparison theorems. The only paper-specific ingredients are the chosen channel parameter, the invented signed-lift map J, and the algebraic CP-defect factorization—no fitted physical constants.

assumptions (6)
  • domain assumption Quantum and private capacities equal regularized coherent and private information (Lloyd–Shor–Devetak; Devetak).
    Used to pass from P⁽¹⁾(Λ⊗ⁿ)=Q⁽¹⁾(Λ⊗ⁿ)=0 for all n to P=Q=0.
  • domain assumption Complete less-noisy order tensorizes and implies vanishing one-shot private and coherent information for the weaker channel (Watanabe; Hirche–Rouzé–Stilck França).
    Corollary 3.1 attributed to HRSF22; converts Λᶜ ⪰cRE Λ into all-blocklength zero capacities.
  • domain assumption BKM Hessian integral representation of Umegaki relative entropy and the BKM-to-RE bridge for full-rank identity outputs (Gao–Rouzé; Belzig–Gao–Smith–Wu).
    Lemma 3.2 lifts complete BKM domination to complete RE domination.
  • domain assumption Antidegradability ⇔ symmetric two-extendibility of the Choi state (Myhr–Lütkenhaus).
    Section 5 uses this equivalence plus a dual witness to rule out antidegradability.
  • standard math Finite-dimensional CP maps admit Choi/Kraus characterizations; Kadison–Schwarz for CP unital maps.
    Background for defect CP certificate and motivation from physical post-processing.
  • ad hoc to paper A complex-linear adjoint-preserving J with J†∘M=N and completely positive outer defect ΔJ is a complete variance-dominating signed lift, and such a lift implies M ⪰cBKM N when identity outputs are full rank.
    Definition 3.3, Proposition 3.4, Theorem 3.5—the paper’s new certificate connecting nonpositive lifts to BKM order.
invented entities (2)
  • Complete variance-dominating signed lift independent evidence
    purpose: Observable-level unbiased, reference-stable variance reconstruction of receiver observables from the environment without requiring a CPTP antidegrading map.
    Central new mechanism; strictly weaker than antidegradability for the constructed Λ (J nonpositive, Section 5 separation).
  • Outer CP defect ΔJ of a signed lift independent evidence
    purpose: Finite algebraic certificate (Kraus form) equivalent to complete variance domination.
    Proposition 3.4; for Λ they give explicit rank-three factorization Δ=(2/9)∑Gμ·Gμ†.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Quantum Incapacity beyond No-Cloning and PPT Mechanisms." pith.science (2026). https://pith.science/paper/JG74CIL3

@misc{pith2026260724693,
  author       = {Pith},
  title        = {Pith review of: Quantum Incapacity beyond No-Cloning and PPT Mechanisms},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/JG74CIL3}},
  note         = {Machine review of arXiv:2607.24693}
}
abstract

We show an explicit qutrit channel whose private and quantum capacities both vanish, although it is neither antidegradable nor positive under partial transposition (PPT). This resolves two longstanding open problems in quantum information theory: whether zero quantum capacity can occur outside the PPT and antidegradable classes, and whether antidegradability is the only nontrivial mechanism that forces the private capacity to vanish. For qutrit systems $A$ and $B$, the channel is \[ \Lambda_{A\to B}(X)= \frac{1}{2}X+\frac{1}{4}\left(\operatorname{Tr}(X)\mathbb{1}_{B}-X^{\mathsf T} \right). \] We use the established Bogoliubov--Kubo--Mori/relative-entropy comparison results to show that its optimized coherent and private information vanish at every blocklength, and hence $P(\Lambda)=Q(\Lambda)=0$. Nevertheless, the Choi state of $\Lambda$ is not PPT, and $\Lambda$ is not antidegradable. The underlying mechanism is an observable-level relaxation of antidegradability. Specifically, for any input state and receiver observable, the complementary output can provide an unbiased expectation value of the receiver output with no larger variance. Our results show that this mechanism is strictly weaker than antidegradability and implies the complete less-noisy order of the complement. Therefore, the constructed channel establishes a new class of zero-capacity channels beyond the conventional PPT and no-cloning mechanisms.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

36 extracted references · 18 canonical work pages

  1. [1]

    Game-theoretic characterization of antidegradable channels

    Francesco Buscemi, Nilanjana Datta, and Sergii Strelchuk. Game-theoretic characterization of antidegradable channels . Journal of Mathematical Physics , 55(9):092202, sep 2014

  2. [2]

    Reverse-type data processing inequality

    Paula Belzig, Li Gao, Graeme Smith, and Peixue Wu. Reverse-type data processing inequality. Communications in Mathematical Physics https://doi.org/10.1007/s00220-025-05474-4 , 406(12):295, 2025

  3. [3]

    Howard Barnum, Emanuel Knill, and Michael A. Nielsen. On quantum fidelities and channel capacities. IEEE Transactions on Information Theory https://doi.org/10.1109/18.850671 , 46(4):1317--1329, 2000

  4. [4]

    Degradable channels, less noisy channels, and quantum statistical morphisms: An equivalence relation

    Francesco Buscemi. Degradable channels, less noisy channels, and quantum statistical morphisms: An equivalence relation. Problems of Information Transmission https://doi.org/10.1134/S0032946016030017 , 52(3):201--213, 2016

  5. [5]

    Cubitt, David Elkouss, William Matthews, Maris Ozols, David P \'e rez-Garc \'i a, and Sergii Strelchuk

    Toby S. Cubitt, David Elkouss, William Matthews, Maris Ozols, David P \'e rez-Garc \'i a, and Sergii Strelchuk. Unbounded number of channel uses may be required to detect quantum capacity. Nature Communications https://doi.org/10.1038/ncomms7739 , 6:6739, 2015

  6. [6]

    A S chwarz inequality for positive linear maps on C^* -algebras

    Man-Duen Choi. A S chwarz inequality for positive linear maps on C^* -algebras. Illinois Journal of Mathematics https://doi.org/10.1215/ijm/1256051007 , 18(4):565--574, 1974

  7. [7]

    Completely positive linear maps on complex matrices

    Man-Duen Choi. Completely positive linear maps on complex matrices. Linear Algebra and its Applications , 10(3):285--290, 1975

  8. [8]

    The private classical capacity and quantum capacity of a quantum channel

    Igor Devetak. The private classical capacity and quantum capacity of a quantum channel. IEEE Transactions on Information Theory https://doi.org/10.1109/TIT.2004.839515 , 51(1):44--55, 2005

Show all 36 references
  1. [9]

    https://dlmf.nist.gov/, 2026

    NIST Digital Library of Mathematical Functions . https://dlmf.nist.gov/, 2026. Release 1.2.7 of 2026-06-15; F. W. J. Olver, A. B. Olde Daalhuis, D. W. Lozier, B. I. Schneider, R. F. Boisvert, C. W. Clark, B. R. Miller, B. V. Saunders, H. S. Cohl, and M. A. McClain, eds

  2. [10]

    Igor Devetak and Peter W. Shor. The capacity of a quantum channel for simultaneous transmission of classical and quantum information. Communications in Mathematical Physics https://doi.org/10.1007/s00220-005-1317-6 , 256(2):287--303, 2005

  3. [11]

    DiVincenzo, Peter W

    David P. DiVincenzo, Peter W. Shor, and John A. Smolin. Quantum-channel capacity of very noisy channels. Physical Review A https://doi.org/10.1103/PhysRevA.57.830 , 57(2):830--839, 1998

  4. [12]

    Superadditivity of private information for any number of uses of the channel

    David Elkouss and Sergii Strelchuk. Superadditivity of private information for any number of uses of the channel. Physical Review Letters https://doi.org/10.1103/PhysRevLett.115.040501 , 115(4):040501, 2015

  5. [13]

    Complete entropic inequalities for quantum M arkov chains

    Li Gao and Cambyse Rouz \'e . Complete entropic inequalities for quantum M arkov chains. Archive for Rational Mechanics and Analysis https://doi.org/10.1007/s00205-022-01785-1 , 245:183--238, 2022

  6. [14]

    Mixed-state entanglement and distillation: Is there a ``bound'' entanglement in nature? Physical Review Letters , 80(24):5239--5242, 1998

    Micha Horodecki, Pawe Horodecki, and Ryszard Horodecki. Mixed-state entanglement and distillation: Is there a ``bound'' entanglement in nature? Physical Review Letters , 80(24):5239--5242, 1998

  7. [15]

    Binding entanglement channels

    Pawe Horodecki, Micha Horodecki, and Ryszard Horodecki. Binding entanglement channels. Journal of Modern Optics https://doi.org/10.1080/09500340008244047 , 47(2--3):347--354, 2000

  8. [16]

    On contraction coefficients, partial orders and approximation of capacities for quantum channels

    Christoph Hirche, Cambyse Rouz \'e , and Daniel Stilck Fran c a. On contraction coefficients, partial orders and approximation of capacities for quantum channels. Quantum https://doi.org/10.22331/q-2022-11-28-862 , 6:862, 2022

  9. [17]

    Richard V. Kadison. A generalized S chwarz inequality and algebraic invariants for operator algebras. https://doi.org/10.2307/1969657 Annals of Mathematics , 56(3):494--503, 1952

  10. [18]

    Capacity of the noisy quantum channel

    Seth Lloyd. Capacity of the noisy quantum channel. Physical Review A https://doi.org/10.1103/PhysRevA.55.1613 , 55(3):1613--1622, 1997

  11. [19]

    Felix Leditzky, Debbie Leung, Vikesh Siddhu, Graeme Smith, and John A. Smolin. Generic nonadditivity of quantum capacity in simple channels. Physical Review Letters https://doi.org/10.1103/PhysRevLett.130.200801 , 130(20):200801, 2023

  12. [20]

    Felix Leditzky, Debbie Leung, Vikesh Siddhu, Graeme Smith, and John A. Smolin. The platypus of the quantum channel zoo. IEEE Transactions on Information Theory https://doi.org/10.1109/TIT.2023.3245985 , 69(6):3825--3849, 2023

  13. [21]

    Monotone R iemannian metrics and relative entropy on noncommutative probability spaces

    Andrew Lesniewski and Mary Beth Ruskai. Monotone R iemannian metrics and relative entropy on noncommutative probability spaces. Journal of Mathematical Physics https://doi.org/10.1063/1.533053 , 40(11):5702--5724, 1999

  14. [22]

    Spectrum conditions for symmetric extendible states

    Geir Ove Myhr and Norbert L \"u tkenhaus. Spectrum conditions for symmetric extendible states. Physical Review A https://doi.org/10.1103/PhysRevA.79.062307 , 79(6):062307, 2009

  15. [23]

    Geometry of canonical correlation on the state space of a quantum system

    D \'e nes Petz. Geometry of canonical correlation on the state space of a quantum system. Journal of Mathematical Physics https://doi.org/10.1063/1.530611 , 35(2):780--795, 1994

  16. [24]

    Monotone metrics on matrix spaces

    D \'e nes Petz. Monotone metrics on matrix spaces. Linear Algebra and its Applications https://doi.org/10.1016/0024-3795(94)00211-8 , 244:81--96, 1996

  17. [25]

    Noisy Werner--Holevo channel and its properties

    Shayan Roofeh and Vahid Karimipour. Noisy Werner--Holevo channel and its properties. Physical Review A https://doi.org/10.1103/PhysRevA.109.052620 , 109(5):052620, 2024

  18. [26]

    Capacities of a two-parameter family of noisy Werner--Holevo channels

    Shayan Roofeh and Vahid Karimipour. Capacities of a two-parameter family of noisy Werner--Holevo channels. Quantum Information Processing https://doi.org/10.1007/s11128-025-04840-4 , 24:226, 2025

  19. [27]

    Detecting positive quantum capacities of quantum channels

    Satvik Singh and Nilanjana Datta. Detecting positive quantum capacities of quantum channels. npj Quantum Information https://doi.org/10.1038/s41534-022-00550-2 , 8:50, 2022

  20. [28]

    Peter W. Shor. The quantum channel capacity and coherent information. Lecture notes, MSRI Workshop on Quantum Computation https://web.archive.org/web/20060923211233id_/http://www.msri.org/publications/ln/msri/2002/quantumcrypto/shor/1/meta/aux/shor.pdf, 2002

  21. [29]

    Shor and John A

    Peter W. Shor and John A. Smolin. Quantum error-correcting codes need not completely reveal the error syndrome. arXiv:quant-ph/9604006 https://arxiv.org/abs/quant-ph/9604006, 1996

  22. [30]

    Graeme Smith and John A. Smolin. Degenerate quantum codes for pauli channels. Physical Review Letters https://doi.org/10.1103/PhysRevLett.98.030501 , 98(3):030501, 2007

  23. [31]

    Graeme Smith and John A. Smolin. Detecting incapacity of a quantum channel. Physical Review Letters https://doi.org/10.1103/PhysRevLett.108.230507 , 108(23):230507, 2012

  24. [32]

    Additivity of quantum capacities in simple non-degradable quantum channels

    Graeme Smith and Peixue Wu. Additivity of quantum capacities in simple non-degradable quantum channels. IEEE Transactions on Information Theory https://doi.org/10.1109/TIT.2025.3583936 , 71(8):6134--6154, 2025

  25. [33]

    Quantum communication with zero-capacity channels

    Graeme Smith and Jon Yard. Quantum communication with zero-capacity channels. Science , 321(5897):1812--1815, 2008

  26. [34]

    Private and quantum capacities of more capable and less noisy quantum channels

    Shun Watanabe. Private and quantum capacities of more capable and less noisy quantum channels. Physical Review A https://doi.org/10.1103/PhysRevA.85.012326 , 85(1):012326, 2012

  27. [35]

    Werner and Alexander S

    Reinhard F. Werner and Alexander S. Holevo. Counterexample to an additivity conjecture for output purity of quantum channels. Journal of Mathematical Physics https://doi.org/10.1063/1.1498491 , 43(9):4353--4357, 2002

  28. [36]

    Quantum Capacity Amplification via Privacy https://arxiv.org/abs/2510.04527, 2025

    Peixue Wu and Yunkai Wang. Quantum Capacity Amplification via Privacy https://arxiv.org/abs/2510.04527, 2025

Pith tools

Reviewed July 31, 2026 · model on record in the stance chip above.