pith. sign in

arxiv: 2605.16500 · v1 · pith:6OH3X7K5new · submitted 2026-05-15 · 🪐 quant-ph

Robust generalized quantum Stein's lemma

Giulia Mazzola , David Sutter , Renato Renner This is my paper

Pith reviewed 2026-05-20 18:56 UTC · model grok-4.3

classification 🪐 quant-ph
keywords generalized quantum Stein's lemmarelative entropy of entanglementquantum Wasserstein distancealmost-iid stateshypothesis testingseparable statescontinuity bounds
0
0 comments X

The pith

The generalized quantum Stein's lemma remains valid when relaxing the iid assumption to almost-iid states.

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

The paper shows that the optimal error exponent for distinguishing many copies of a bipartite quantum state from the set of all separable states continues to equal the relative entropy of entanglement even when the copies are only approximately independent and identical. This matters because laboratory states are rarely produced in exact iid fashion, so the result extends the lemma's reach to more realistic sequences. The argument closes a logical gap in the earlier work of Brandão and Plenio by deriving a fresh continuity bound that controls how much the relative entropy of entanglement can vary under small changes in the quantum Wasserstein distance. When almost-iid states approach their exact iid limit in that distance, the entropies coincide in the many-copy limit.

Core claim

For any sequence of bipartite states that is asymptotically close to an iid sequence in the quantum Wasserstein distance, the asymptotic error exponent in distinguishing the sequence from separable states equals the relative entropy of entanglement of the single-copy state. This follows because a novel continuity bound ensures the relative entropy of entanglement is continuous with respect to the quantum Wasserstein distance, so the rates for the almost-iid and exact-iid cases agree.

What carries the argument

The novel continuity bound relating the relative entropy of entanglement to the quantum Wasserstein distance, which equates the asymptotic rates once almost-iid states are shown to be close to their iid counterparts in that distance.

If this is right

  • The optimal hypothesis-testing rate against separable states applies directly to sequences that are only approximately iid.
  • The original argument of Brandão and Plenio is now placed on rigorous footing.
  • Error exponents in quantum hypothesis testing stay stable under small preparation deviations from perfect independence.
  • The result broadens the settings in which the generalized Stein lemma can be invoked without requiring exact iid preparation.

Where Pith is reading between the lines

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

  • Similar continuity arguments could be developed for other entropic quantities to establish robustness in related quantum tasks.
  • Experimental tests could check whether the predicted rate persists when small controlled noise is added to an iid source.
  • The approach hints that many asymptotic quantum information statements remain valid under realistic deviations from ideal statistical assumptions.

Load-bearing premise

The new continuity bound must hold so that states close in the quantum Wasserstein distance have relative entropies of entanglement that become equal in the limit.

What would settle it

A concrete pair of bipartite states that remain arbitrarily close in quantum Wasserstein distance yet differ in relative entropy of entanglement by a fixed positive amount would refute the continuity bound and collapse the robustness claim.

Figures

Figures reproduced from arXiv: 2605.16500 by David Sutter, Giulia Mazzola, Renato Renner.

Figure 1
Figure 1. Figure 1: Hypothesis testing in an iid and an almost-iid setting. In [PITH_FULL_IMAGE:figures/full_fig_p002_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Entanglement testing in an iid and an almost-iid setting. In [PITH_FULL_IMAGE:figures/full_fig_p003_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Overview of the results. Solid arrows denote straightforward implications, while dashed [PITH_FULL_IMAGE:figures/full_fig_p004_3.png] view at source ↗
read the original abstract

The generalized quantum Stein's lemma provides an explicit expression for the optimal error exponent when distinguishing many independent and identically distributed (iid) copies of a given bipartite state from the set of separable bipartite states. Here we prove that this result is robust, in the sense that the iid assumption can be relaxed to almost-iid. In particular, our result shows that the original argument of Brand\~ao and Plenio, which contains a logical gap, can be made rigorous. Our proof relies on a novel continuity bound for the relative entropy of entanglement with respect to the quantum Wasserstein distance. Combined with a recent insight that almost-iid states and their exact iid counterparts are asymptotically close in this distance, the bound implies that their relative entropies of entanglement coincide asymptotically.

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 proves that the generalized quantum Stein's lemma remains valid when the iid assumption is relaxed to almost-iid sequences of bipartite states. It does so by deriving a novel continuity bound relating the relative entropy of entanglement to the quantum Wasserstein distance and combining it with a recent result on the asymptotic closeness of almost-iid states to exact iid states in that distance; this also closes the logical gap in the original Brandão-Plenio argument.

Significance. If the continuity bound supplies an error term that is o(n) under the relevant almost-iid perturbations, the result would meaningfully extend the applicability of the quantum Stein lemma to physically realistic settings with small deviations from perfect independence. The new continuity inequality itself is a technical contribution that may be reusable for other entanglement measures and distance functions.

major comments (2)
  1. [§3.2, Prop. 3.2] §3.2, Prop. 3.2 (continuity bound): The inequality |E_R(ρ) − E_R(σ)| ≤ C(d) · D_W(ρ,σ) is stated with a prefactor C that depends on local dimension d. For almost-iid sequences the effective dimension grows with n, and the manuscript does not verify that C(d_n) · D_W(ρ_n, σ_n) = o(n) when D_W → 0 at the rate supplied by the cited asymptotic-closeness result. This step is load-bearing for the claim that the Stein exponents coincide.
  2. [§4, Thm. 4.1] §4, Thm. 4.1 (main robustness statement): The reduction from almost-iid to iid Stein exponents relies on the o(n) vanishing of the continuity error; without an explicit uniform bound or rate that is independent of (or sub-linear in) n, the asymptotic equivalence of E_R(ρ_n) and E_R(σ_n) remains unverified in the regime needed for the lemma.
minor comments (2)
  1. [§2] The definition of 'almost-iid' sequences is introduced only informally in the abstract and introduction; a precise mathematical definition with explicit error parameters should appear in §2.
  2. Notation for the quantum Wasserstein distance is used before its definition; a forward reference or early definition would improve readability.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying the need to explicitly verify the scaling of the continuity error under almost-iid perturbations. We will revise the manuscript to include this verification, which strengthens the rigor of the argument without altering the main claims.

read point-by-point responses

  1. Referee: [§3.2, Prop. 3.2] The inequality |E_R(ρ) − E_R(σ)| ≤ C(d) · D_W(ρ,σ) is stated with a prefactor C that depends on local dimension d. For almost-iid sequences the effective dimension grows with n, and the manuscript does not verify that C(d_n) · D_W(ρ_n, σ_n) = o(n) when D_W → 0 at the rate supplied by the cited asymptotic-closeness result.

    Authors: We appreciate this observation. Proposition 3.2 provides a dimension-dependent continuity bound that holds for any fixed local dimension. When applied to n-copy almost-iid states, the total dimension scales exponentially, but the cited asymptotic-closeness result ensures that D_W(ρ_n, σ_n) decays sufficiently rapidly (exponentially in n for typical almost-iid deviations) to render the product C(d_n) D_W(ρ_n, σ_n) = o(n). We will add a short scaling lemma immediately after Proposition 3.2 that makes this rate explicit using the exponential decay supplied by the referenced work. revision: yes

  2. Referee: [§4, Thm. 4.1] The reduction from almost-iid to iid Stein exponents relies on the o(n) vanishing of the continuity error; without an explicit uniform bound or rate that is independent of (or sub-linear in) n, the asymptotic equivalence of E_R(ρ_n) and E_R(σ_n) remains unverified in the regime needed for the lemma.

    Authors: We agree that an explicit confirmation of the o(n) property is required for a self-contained proof. In the revised version we will insert a short paragraph in the proof of Theorem 4.1 that combines the new scaling lemma with the asymptotic closeness result, showing directly that |E_R(ρ_n) − E_R(σ_n)|/n → 0. This closes the verification gap while preserving the original logical structure that repairs the Brandão–Plenio argument. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation combines novel bound with external insight

full rationale

The paper's central argument introduces a novel continuity bound for the relative entropy of entanglement with respect to the quantum Wasserstein distance and combines it with a recent external insight that almost-iid states are asymptotically close to their iid counterparts in this distance. This implies asymptotic coincidence of the relative entropies of entanglement, making the generalized quantum Stein's lemma robust to almost-iid relaxations and rigorizing the Brandão-Plenio argument. No steps reduce by construction to self-definitions, fitted inputs renamed as predictions, or load-bearing self-citations; the new bound supplies independent content, and the cited insight is treated as external. The derivation is therefore self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Based solely on the abstract, the proof depends on two key domain assumptions whose independent verification is not supplied here.

axioms (2)
  • domain assumption A continuity bound exists for the relative entropy of entanglement with respect to the quantum Wasserstein distance
    Described as novel in the abstract; central to the argument
  • domain assumption Almost-iid states are asymptotically close to exact iid counterparts in the quantum Wasserstein distance
    Cited as a recent insight; used to transfer the bound to the almost-iid case

pith-pipeline@v0.9.0 · 5648 in / 1334 out tokens · 51997 ms · 2026-05-20T18:56:34.999804+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

45 extracted references · 45 canonical work pages · 3 internal anchors

  1. [1]

    Anshu, M

    A. Anshu, M. Berta, R. Jain, and M. Tomamichel. A minimax approach to one-shot entropy inequalities. Journal of Mathematical Physics , 60(12):122201, 2019. DOI: 10.1063/1.5126723

    work page doi:10.1063/1.5126723 2019

  2. [2]

    Barvinok

    A. Barvinok. A Course in Convexity . Graduate studies in mathematics. American Mathematical Society, 2002. DOI: 10.1090/gsm/054

    work page doi:10.1090/gsm/054 2002

  3. [3]

    Berta, F

    M. Berta, F. G. S. L. Brand˜ ao, G. Gour, L. Lami, M. B. Plenio, B. Regula, and M. Tomamichel. On a gap in the proof of the generalised quantum Stein’s lemma and its consequences for the reversibility of quantum resources. Quantum, 7:1103, 2023. DOI: 10.22331/q-2023-09-07-1103

    work page doi:10.22331/q-2023-09-07-1103 2023

  4. [4]

    Berta, F

    M. Berta, F. G. S. L. Brand˜ ao, G. Gour, L. Lami, M. B. Plenio, B. Regula, and M. Tomamichel. The tangled state of quantum hypothesis testing. Nature Physics , 20(2):172–175, 2024. DOI: 10.1038/s41567-023-02289-9

    work page doi:10.1038/s41567-023-02289-9 2024

  5. [5]

    F. G. S. L. Brand˜ ao. A reversible theory of resources for almost-iid states, 2023. Available online: https://youtu.be/Um1_7qeA0Uo?si=CvWr6aJ7nGcEFv4v. Talk at the quantum resources conference, Singapore

    work page 2023

  6. [6]

    F. G. S. L. Brand˜ ao and M. B. Plenio. A generalization of quantum Stein’s lemma. Communica- tions in Mathematical Physics , 295(3):791–828, 2010. DOI: 10.1007/s00220-010-1005-z

    work page doi:10.1007/s00220-010-1005-z 2010

  7. [7]

    Buscemi and N

    F. Buscemi and N. Datta. The quantum capacity of channels with arbitrarily correlated noise. IEEE Transactions on Information Theory , 56(3):1447–1460, 2010. DOI: 10.1109/TIT.2009.2039166

    work page doi:10.1109/tit.2009.2039166 2010

  8. [8]

    Christandl and A

    M. Christandl and A. M¨ uller-Hermes. Relative entropy bounds on quantum, private and repeater capacities. Communications in Mathematical Physics , 353(2):821–852, 2017. DOI: 10.1007/s00220-017-2885-y. 30

    work page doi:10.1007/s00220-017-2885-y 2017

  9. [9]

    Squashed entanglement

    M. Christandl and A. Winter. “Squashed entanglement”: An additive entanglement measure. Journal of Mathematical Physics , 45(3):829–840, 2004. DOI: 10.1063/1.1643788

    work page doi:10.1063/1.1643788 2004

  10. [10]

    N. Datta. Min- and max-relative entropies and a new entanglement monotone. IEEE Transactions on Information Theory , 55(6):2816–2826, 2009. DOI: 10.1109/TIT.2009.2018325

    work page doi:10.1109/tit.2009.2018325 2009

  11. [11]

    De Palma, M

    G. De Palma, M. Marvian, D. Trevisan, and S. Lloyd. The quantum Wasserstein distance of order

    work page

  12. [12]

    DOI: 10.1109/TIT.2021.3076442

    IEEE Transactions on Information Theory, pages 1–1, 2021. DOI: 10.1109/TIT.2021.3076442

    work page doi:10.1109/tit.2021.3076442 2021

  13. [13]

    De Palma and D

    G. De Palma and D. Trevisan. The Wasserstein distance of order 1 for quan- tum spin systems on infinite lattices. Annales Henri Poincar´ e, 24(12):4237–4282, 2023. DOI: 10.1007/s00023-023-01340-y

    work page doi:10.1007/s00023-023-01340-y 2023

  14. [14]

    M. J. Donald, M. Horodecki, and O. Rudolph. The uniqueness theorem for entanglement measures. Journal of Mathematical Physics , 43(9):4252–4272, 2002. DOI: 10.1063/1.1495917

    work page doi:10.1063/1.1495917 2002

  15. [15]

    Dupuis, L

    F. Dupuis, L. Kraemer, P. Faist, J. M. Renes, and R. Renner. Generalized Entropies. In Proc. XVIIth International Congress on Mathematical Physics, pages 134–153, Aalborg, Denmark, 2012. DOI: 10.1142/9789814449243 0008

    work page doi:10.1142/9789814449243 2012

  16. [16]

    K. Fang, H. Fawzi, and O. Fawzi. Generalized quantum asymptotic equipartition, 2025. Available online: https://arxiv.org/abs/2411.04035

    work page arXiv 2025

  17. [17]

    M. Fekete. ¨Uber die Verteilung der Wurzeln bei gewissen algebraischen Gleichungen mit ganz- zahligen Koeffizienten. Mathematische Zeitschrift, 17(1):228–249, 1923

    work page 1923

  18. [18]

    New approaches to almost i.i.d. information theory

    F. Girardi, G. D. Palma, and L. Lami. New approaches to almost i.i.d. information theory, 2026. Available online: https://arxiv.org/abs/2605.15114

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  19. [19]

    M. B. Hastings. Superadditivity of communication capacity using entangled inputs. Nature Physics, 5(4):255–257, 2009. DOI: 10.1038/nphys1224

    work page doi:10.1038/nphys1224 2009

  20. [20]

    Hayashi and H

    M. Hayashi and H. Yamasaki. The generalized quantum Stein’s lemma and the second law of quantum resource theories. Nature Physics , 21(12):1988–1993, 2025. DOI: 10.1038/s41567-025-03047-9

    work page doi:10.1038/s41567-025-03047-9 1988

  21. [21]

    Hiai and D

    F. Hiai and D. Petz. The proper formula for relative entropy and its asymptotics in quantum probability. Communications in Mathematical Physics , 143(1):99–114, 1991. DOI: 10.1007/BF02100287

    work page doi:10.1007/bf02100287 1991

  22. [22]

    Hyt¨ onen, J

    T. Hyt¨ onen, J. van Neerven, M. Veraar, and L. Weis. Analysis in Banach Spaces . Volume I: Martingales and Littlewood-Paley Theory. Springer, 2016. DOI: 10.1007/978-3-319-48520-1

    work page doi:10.1007/978-3-319-48520-1 2016

  23. [23]

    L. Lami. A doubly composite Chernoff-Stein lemma and its applications, 2025. Available online: https://arxiv.org/abs/2510.06342

    work page arXiv 2025

  24. [24]

    L. Lami. A solution of the generalized quantum Stein’s lemma. IEEE Transactions on Information Theory, 71(6):4454–4484, 2025. DOI: 10.1109/TIT.2025.3543610

    work page doi:10.1109/tit.2025.3543610 2025

  25. [25]

    L. Lami, B. Regula, and R. Takagi. Universal quantum resource distillation via composite gener- alised quantum Stein’s lemma, 2026. Available online: https://arxiv.org/abs/2605.15174

    work page internal anchor Pith review Pith/arXiv arXiv 2026

  26. [26]

    Mazzola, D

    G. Mazzola, D. Sutter, and R. Renner. Almost-iid information theory, 2026. Available online: https://arxiv.org/abs/2603.15792

    work page arXiv 2026

  27. [27]

    M¨ uller-Lennert, F

    M. M¨ uller-Lennert, F. Dupuis, O. Szehr, S. Fehr, and M. Tomamichel. On quantum R´ enyi entropies: A new generalization and some properties. Journal of Mathematical Physics , 54(12),

    work page

  28. [28]

    DOI: http://dx.doi.org/10.1063/1.4838856. 31

    work page doi:10.1063/1.4838856

  29. [29]

    J. R. Munkres. Topology. Prentice Hall, second edition, 2000

    work page 2000

  30. [30]

    Ogawa and H

    T. Ogawa and H. Nagaoka. Strong converse and Stein’s lemma in quantum hypothesis testing. IEEE Transactions on Information Theory , 46(7):2428–2433, 2000. DOI: 10.1109/18.887855

    work page doi:10.1109/18.887855 2000

  31. [31]

    M. Piani. Relative entropy of entanglement and restricted measurements. Phys. Rev. Lett. , 103:160504, 2009. DOI: 10.1103/PhysRevLett.103.160504

    work page doi:10.1103/physrevlett.103.160504 2009

  32. [32]

    Regula, L

    B. Regula, L. Lami, and N. Datta. Tight relations and equivalences between smooth relative entropies. IEEE Transactions on Information Theory , 72(5):3051–3073, 2026. DOI: 10.1109/TIT.2026.3661711

    work page doi:10.1109/tit.2026.3661711 2026

  33. [33]

    R. Renner. Security of quantum key distribution. PhD thesis, ETH Zurich , 2005. available at arXiv:quant-ph/0512258

    work page internal anchor Pith review Pith/arXiv arXiv 2005

  34. [34]

    R. Renner. Symmetry of large physical systems implies independence of subsystems. Nature Physics, 3(9):pp. 645–649, 2007. Available online: http://www.nature.com/nphys/journal/ v3/n9/suppinfo/nphys684_S1.html

    work page 2007

  35. [35]

    D. Sutter. Approximate Quantum Markov Chains , pages 75–100. Springer International Publish- ing, Cham, 2018. DOI: 10.1007/978-3-319-78732-9 5

    work page doi:10.1007/978-3-319-78732-9 2018

  36. [36]

    Tomamichel

    M. Tomamichel. Quantum Information Processing with Finite Resources , volume 5 of Springer- Briefs in Mathematical Physics . Springer, 2015. DOI: 10.1007/978-3-319-21891-5. See https://arxiv.org/abs/1504.00233 for the precise references

    work page doi:10.1007/978-3-319-21891-5 2015

  37. [37]

    transition probability

    A. Uhlmann. The “transition probability” in the state space of a *-algebra. Reports on Mathe- matical Physics, 9(2):273 – 279, 1976. DOI: 10.1016/0034-4877(76)90060-4

    work page doi:10.1016/0034-4877(76)90060-4 1976

  38. [38]

    Quantifying entangle- ment,

    V. Vedral, M. B. Plenio, M. A. Rippin, and P. L. Knight. Quantifying entanglement. Phys. Rev. Lett., 78:2275–2279, 1997. DOI: 10.1103/PhysRevLett.78.2275

    work page doi:10.1103/physrevlett.78.2275 1997

  39. [39]

    K. G. H. Vollbrecht and R. F. Werner. Entanglement measures under symmetry. Phys. Rev. A , 64:062307, 2001. DOI: 10.1103/PhysRevA.64.062307

    work page doi:10.1103/physreva.64.062307 2001

  40. [40]

    Wang and R

    L. Wang and R. Renner. One-shot classical-quantum capacity and hypothesis testing. Phys. Rev. Lett., 108:200501, 2012. DOI: 10.1103/PhysRevLett.108.200501

    work page doi:10.1103/physrevlett.108.200501 2012

  41. [41]

    M. M. Wilde. Quantum Information Theory . Cambridge University Press, 2013. DOI: 10.1017/9781316809976

    work page doi:10.1017/9781316809976 2013

  42. [42]

    M. M. Wilde, A. Winter, and D. Yang. Strong converse for the classical capacity of entanglement- breaking and Hadamard channels via a sandwiched R´ enyi relative entropy. Communications in Mathematical Physics, 331(2):593–622, 2014. DOI: 10.1007/s00220-014-2122-x

    work page doi:10.1007/s00220-014-2122-x 2014

  43. [43]

    A. Winter. Coding theorem and strong converse for quantum channels. IEEE Transactions on Information Theory, 45(7):2481–2485, 1999. DOI: 10.1109/18.796385

    work page doi:10.1109/18.796385 1999

  44. [44]

    A. Winter. Tight uniform continuity bounds for quantum entropies: Conditional entropy, relative entropy distance and energy constraints. Communications in Mathematical Physics , 347(1):291– 313, 2016. DOI: 10.1007/s00220-016-2609-8

    work page doi:10.1007/s00220-016-2609-8 2016

  45. [45]

    M. M. Wolf. Quantum channels & operations: Guided tour, 2012. Lecture notes available at https://www-m5.ma.tum.de/foswiki/pub/M5/Allgemeines/MichaelWolf/ QChannelLecture.pdf. 32

    work page 2012