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 →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
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 Λ.
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
- 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.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
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)
- [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.
- [§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).
- [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.
- [§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.
- [§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.
- [§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.
- [§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).
- [§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
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
assumptions (6)
- domain assumption Quantum and private capacities equal regularized coherent and private information (Lloyd–Shor–Devetak; Devetak).
- 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).
- 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).
- domain assumption Antidegradability ⇔ symmetric two-extendibility of the Choi state (Myhr–Lütkenhaus).
- standard math Finite-dimensional CP maps admit Choi/Kraus characterizations; Kadison–Schwarz for CP unital maps.
- 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.
invented entities (2)
-
Complete variance-dominating signed lift
independent evidence
-
Outer CP defect ΔJ of a signed lift
independent evidence
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.
Reference graph
Works this paper leans on
-
[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
2014
-
[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]
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]
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]
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]
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
arXiv 1974
-
[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
1975
-
[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
arXiv 2004
Show all 36 references
-
[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
2026
-
[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
2005 doi
-
[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
1998 doi
-
[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
2015 doi
-
[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
2022 doi
-
[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
1998
-
[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
-
[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
2022 doi
-
[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
1952 doi
-
[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
1997 doi
-
[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
2023 doi
-
[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
2023
-
[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
1999 doi
-
[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
2009 doi
-
[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
1994 doi
-
[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
1996 doi
-
[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
2024 doi
-
[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
2025 doi
-
[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
2022 doi
-
[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
2002
-
[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
1996 arXiv
-
[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
2007 doi
-
[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
2012 doi
-
[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
2025
-
[33]
Quantum communication with zero-capacity channels
Graeme Smith and Jon Yard. Quantum communication with zero-capacity channels. Science , 321(5897):1812--1815, 2008
2008
-
[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
2012 doi
-
[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
2002 doi
-
[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
2025
Reviewed July 31, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.