REVIEW 2 minor 1 cited by
Certain notions of almost i.i.d. structure allow protocols to match exact i.i.d. asymptotic rates and error exponents in three quantum tasks.
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · grok-4.3
2026-07-01 07:18 UTC pith:DBP43JRK
load-bearing objection The paper defines three almost-i.i.d. notions and club distance, then shows some of them still let universal protocols hit the usual rates for hypothesis testing, compression, and channel coding.
Quantum Shannon theory made robust: a tale of three protocols for almost i.i.d. sources
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
For two of the three notions of almost i.i.d. structure, there exist protocols for asymmetric hypothesis testing, data compression, and classical communication over quantum channels that achieve exactly the same asymptotic rates and error exponents as the i.i.d. theory, and these protocols are universal in the sense that they do not require knowledge of the precise perturbation.
What carries the argument
Three inequivalent notions of almost i.i.d. structure together with the club distance on quantum channels, which together determine which definitions permit asymptotically optimal universal protocols.
Load-bearing premise
That there exist robust protocols that remain asymptotically optimal and universal within a broad class of almost i.i.d. resources whose precise deviations from the ideal regime are unknown.
What would settle it
An explicit almost i.i.d. source belonging to one of the three notions for which every protocol either fails to achieve the i.i.d. rate or requires knowledge of the specific deviation to reach it.
If this is right
- Protocols designed for the preserved notions of almost i.i.d. structure achieve the same rates without any compensation for specific defects.
- The club distance identifies channel perturbations that leave communication rates unchanged.
- Almost i.i.d. processes can be used to model realistic resources while retaining standard Shannon-theoretic predictions.
- Universal protocols exist that work across entire classes of almost i.i.d. resources for the three tasks.
Where Pith is reading between the lines
- Experimental tests could check whether real quantum sources satisfy the notions that preserve the rates.
- The same robustness question could be asked for other quantum tasks such as entanglement distillation.
- Protocol design might prioritize the notions of almost i.i.d. that survive the analysis rather than assuming exact independence.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper investigates robustness of asymptotic rates and error exponents in quantum Shannon theory under deviations from exact i.i.d. structure. It defines three inequivalent notions of almost i.i.d. resources, introduces the almost i.i.d. process and the club distance on channels, and determines which of these notions admit robust, universal protocols (without knowledge of the precise deviation) that recover the i.i.d. predictions for asymmetric hypothesis testing, data compression, and classical communication over quantum channels.
Significance. If the central claims hold, the work meaningfully extends the practical reach of quantum information theory by identifying which almost-i.i.d. relaxations preserve the standard asymptotic results. The new notions of almost i.i.d. process and club distance are potentially reusable tools for analyzing stability under local perturbations; the explicit determination across three canonical tasks supplies concrete guidance for protocol design in non-ideal settings.
minor comments (2)
- A compact table or diagram early in the paper that maps each of the three notions to the three tasks (indicating which preserve rates/exponents) would improve readability and allow quick reference to the main results.
- The abstract states that the three notions are inequivalent but does not name or briefly characterize them; adding one sentence of clarification would help readers before they reach the technical definitions.
Simulated Author's Rebuttal
We thank the referee for the careful summary of our manuscript and for recommending minor revision. The referee's description of the central claims, the new notions introduced, and the scope across three tasks is accurate. No major comments appear in the report, so we have no point-by-point responses to provide.
Circularity Check
No significant circularity in derivation chain
full rationale
The paper defines three inequivalent notions of almost i.i.d. structure, introduces the almost i.i.d. process and club distance as new mathematical objects, and then proves which of these notions allow protocols that preserve i.i.d. asymptotic rates and exponents for the listed tasks. These are standard mathematical definitions followed by proofs of their properties; the results do not reduce to self-definition, fitted parameters renamed as predictions, or load-bearing self-citations. The central claims are derived from the introduced definitions rather than being tautological by construction. The provided abstract and structure show a self-contained theoretical analysis with no exhibited circular steps.
Axiom & Free-Parameter Ledger
invented entities (2)
-
almost i.i.d. process
no independent evidence
-
club distance
no independent evidence
read the original abstract
The asymptotic rates of information-theoretic protocols - including error exponents, data-compression rates, and channel capacities - are traditionally derived under the idealised assumption that the underlying resources are independent and identically distributed (i.i.d.). Somewhat surprisingly, even slight departures from the exact i.i.d. structure can drastically alter the asymptotic behaviour predicted by the i.i.d. theory. If the precise nature of the perturbation is known, for instance in the case of a pointwise defect, one can design a bespoke protocol that compensates for it, e.g. by discarding the corrupted subsystem. In realistic physical settings, however, exact i.i.d. behaviour cannot be guaranteed, and deviations from the ideal regime cannot generally be identified precisely. This raises a fundamental question: which notions of almost i.i.d. structure are sufficiently robust to preserve the asymptotic predictions of quantum Shannon theory? We investigate this question for three central information-theoretic tasks: asymmetric hypothesis testing, classical and quantum data compression, and classical communication through quantum channels. Rather than designing protocols tailored to specific defects, we seek robust protocols that remain asymptotically optimal and that are universal within a broad class of almost i.i.d. resources whose precise deviations from the ideal regime are unknown. To this end, we study three inequivalent notions of almost i.i.d. structure, and determine which of them preserve the asymptotic rates and error exponents predicted by the i.i.d. theory. Along the way, we introduce the notion of an almost i.i.d. process and a new distance measure between quantum channels - the club distance - designed to capture stability under local perturbations. These notions may be of independent interest.
Figures
Forward citations
Cited by 1 Pith paper
-
Robustness of Entanglement Manipulation for almost i.i.d. sources
Robustness theorems establish that asymptotic entanglement manipulation rates for MSR almost i.i.d. sources equal those of their i.i.d. references, with universal protocols for pure states.
Reference graph
Works this paper leans on
-
[1]
Security of Quantum Key Distribution
R.Renner.Securityofquantumkeydistribution. PhDthesis,ETHZurich,2005. Preprint arXiv:quant-ph/0512258. 3, 16
work page internal anchor Pith review Pith/arXiv arXiv 2005
-
[2]
F. G. S. L. Brandão and M. B. Plenio. A generalization of quantum Stein’s lemma. Commun. Math. Phys., 295(3):791–828, 2010. 3
work page 2010
-
[3]
L.Lami.AsolutionofthegeneralizedquantumStein’slemma.IEEETrans.Inf.Theory, 71(6):4454–4484, 2025. 3
work page 2025
-
[4]
G. Mazzola, D. Sutter, and R. Renner. Almost-iid information theory.Preprint arXiv:2603.15792, 2026. 3, 15, 16, 27
-
[5]
F. Girardi, G. De Palma, and L. Lami. New approaches to almost i.i.d. information theory, 2026. 3, 14, 15, 22
work page 2026
-
[6]
H. Umegaki. Conditional expectation in an operator algebra. IV. Entropy and infor- mation.Kodai Math. Sem. Rep., 14(2):59–85, 1962. 6
work page 1962
-
[7]
Cambridge University Press, Cambridge, 2010
M.A.NielsenandI.L.Chuang.QuantumComputationandQuantumInformation: 10th Anniversary Edition. Cambridge University Press, Cambridge, 2010. 6
work page 2010
-
[8]
F.BuscemiandN.Datta.Thequantumcapacityofchannelswitharbitrarilycorrelated noise.IEEE Trans. Inf. Theory, 56(3):1447–1460, 2010. 7
work page 2010
-
[9]
Feinstein.A new basic theorem of information theory
A. Feinstein.A new basic theorem of information theory. Massachusetts Institute of Technology, Research Laboratory of Electronics, Cambridge, MA, 1954. Tech. Rep. No. 282. 7
work page 1954
-
[10]
D. Blackwell, L. Breiman, and A. J. Thomasian. The capacity of a class of channels. Ann. Math. Statist., 30:1229–1241, 1959. 7
work page 1959
-
[11]
S. Verdu and T. S. Han. A general formula for channel capacity.IEEE Trans. Inf. Theory, 40(4):1147–1157, 1994. 7
work page 1994
-
[12]
Y.Polyanskiy, H.V. Poor, and S. Verdu. Channel coding rate in thefinite blocklength regime.IEEE Trans. Inf. Theory, 56(5):2307–2359, 2010. 7
work page 2010
-
[13]
T.OgawaandH.Nagaoka.Anewproofofthechannelcodingtheoremviahypothesis testing in quantum information theory. InProc. IEEE Int. Symp. Inf. Theory (ISIT), page 73, 2002. 7
work page 2002
-
[14]
Makinggoodcodesforclassical-quantumchannelcoding via quantum hypothesis testing.IEEE Trans
T.OgawaandH.Nagaoka. Makinggoodcodesforclassical-quantumchannelcoding via quantum hypothesis testing.IEEE Trans. Inf. Theory, 53(6):2261–2266, 2007. 7
work page 2007
-
[15]
Simpleandtighterderivationofachievabilityforclassicalcommunica- tion over quantum channels
H.-C.Cheng. Simpleandtighterderivationofachievabilityforclassicalcommunica- tion over quantum channels. 4(4):040330, 2023. 7 54
work page 2023
-
[16]
F. Hiai and D. Petz. The proper formula for relative entropy and its asymptotics in quantum probability.Comm. Math. Phys., 143(1):99–114, 1991. 7, 20, 27
work page 1991
-
[17]
T.OgawaandH.Nagaoka.StrongconverseandStein’slemmainquantumhypothesis testing.IEEE Trans. Inf. Theory, 46(7):2428–2433, 2000. 7, 20
work page 2000
-
[18]
C. E. Shannon. A mathematical theory of communication.The Bell System Technical Journal, 27(3):379–423, 1948. 7, 8, 10
work page 1948
- [19]
-
[20]
B. Schumacher and M. D. Westmoreland. Sending classical information via noisy quantum channels.Phys. Rev. A, 56:131–138, 1997. 10
work page 1997
-
[21]
A. S. Holevo. The capacity of the quantum channel with general signal states.IEEE Trans. Inf. Theory, 44(1):269–273, 1998. 10
work page 1998
-
[22]
R.Gallager. Asimplederivationofthecodingtheoremandsomeapplications.IEEE Transactions on Information Theory, 11(1):3–18, 1965. 10
work page 1965
- [23]
-
[24]
Lowerboundstoerrorprobability for coding on discrete memoryless channels
C.E.Shannon,R.G.Gallager,andE.R.Berlekamp. Lowerboundstoerrorprobability for coding on discrete memoryless channels. I.Information and Control, 10(1):65–103,
-
[25]
C.E.Shannon,R.G.Gallager,andE.R.Berlekamp. Lowerboundstoerrorprobability forcodingondiscretememorylesschannels.II.InformationandControl,10(5):522–552,
-
[26]
Villani.Optimal Transport: Old and New
C. Villani.Optimal Transport: Old and New. Grundlehren der mathematischen Wis- senschaften. Springer Berlin Heidelberg, 2008. 11
work page 2008
-
[27]
G.Monge.Mémoiresurlathéoriedesdéblaisetdesremblais. Imprimerieroyale,1781. 11
-
[28]
L. V. Kantorovich. On the translocation of masses.J. Math. Sci., 133(4), 2006. 11
work page 2006
-
[29]
D. S. Ornstein. An application of ergodic theory to probability theory.Ann. Probab., 1(1):43–58, 1973. 11
work page 1973
-
[30]
Gray.Entropy and Information Theory
R.M. Gray.Entropy and Information Theory. Engineering. Springer US, 2011. 11
work page 2011
-
[31]
G. De Palma, M. Marvian, D. Trevisan, and S. Lloyd. The quantum Wasserstein distance of order 1.IEEE Trans. Inf. Theory, 67(10):6627–6643, 2021. 12, 13, 17, 18, 19
work page 2021
-
[32]
G. De Palma and D. Trevisan.Quantum Optimal Transport: Quantum Channels and Qubits, page 203–239. Springer Nature Switzerland, 2024. 12, 19 55
work page 2024
-
[33]
B. T. Kiani, G. De Palma, M. Marvian, Z.-W. Liu, and S. Lloyd. Learning quantum data with the quantum earth mover’s distance.Quantum Sci. Technol., 7(4):045002,
-
[34]
G. De Palma, M. Marvian, C. Rouzé, and D. Stilck França. Limitations of variational quantum algorithms: A quantum optimal transport approach.PRX Quantum, 4(1),
-
[35]
Quantum Differential Privacy: An Information Theory Perspective
C. Hirche, C. Rouzé, and D. Stilck França. Quantum differential privacy: An infor- mation theory perspective.Preprint arXiv:2202.10717, 2023. 13
work page Pith review arXiv 2023
-
[36]
Quantumconcentrationinequalities.Ann.HenriPoincaré, 23(9):3391–3429, 2022
G.DePalmaandC.Rouzé. Quantumconcentrationinequalities.Ann.HenriPoincaré, 23(9):3391–3429, 2022. 13
work page 2022
-
[37]
G.DePalmaandD.Pastorello. Quantumconcentrationinequalitiesandequivalence of the thermodynamical ensembles: An optimal mass transport approach.J. Stat. Phys., 192(6), 2025. 13
work page 2025
-
[38]
G. De Palma, T. Klein, and D. Pastorello. Classical shadows meet quantum optimal mass transport.J. Math. Phys., 65(9), 2024. 13
work page 2024
- [39]
-
[40]
C. Rouzé and D. Stilck França. Learning quantum many-body systems from a few copies.Quantum, 8:1319, 2024. 13
work page 2024
- [41]
-
[42]
J. Kochanowski, Á. M. Alhambra, Á. Capel, and C. Rouzé. Rapid thermalization of dissipativemany-bodydynamicsofcommutingHamiltonians.Commun.Math.Phys., 406(8), 2025. 13
work page 2025
-
[43]
A. Bakshi, A. Liu, A. Moitra, and E. Tang. A Dobrushin condition for quantum Markov chains: Rapid mixing and conditional mutual information at high tempera- ture.Preprint arXiv:2510.08542, 2025. 13
-
[44]
G. De Palma and D. Trevisan. The Wasserstein distance of order 1 for quantum spin systems on infinite lattices.Ann. Henri Poincaré, 24(12):4237–4282, 2023. 13
work page 2023
-
[45]
Symmetryoflargephysicalsystemsimpliesindependenceofsubsystems
R.Renner. Symmetryoflargephysicalsystemsimpliesindependenceofsubsystems. Nat. Phys., 3(9):645–649, 2007. 16
work page 2007
-
[46]
R. Duvenhage and M. Mapaya. Quantum Wasserstein distance of order 1 between channels.Infin. Dimens. Anal. Quantum Probab. Relat. Top., 26(03), 2023. 17 56
work page 2023
-
[47]
Eric A Carlen and Jan Maas. An analog of the 2-Wasserstein metric in non- commutativeprobabilityunderwhichtheFermionicFokker–Planckequationisgra- dient flow for the entropy.Communications in Mathematical Physics, 331(3):887–926,
-
[48]
Eric A Carlen and Jan Maas. Gradient flow and entropy inequalities for quantum Markovsemigroupswithdetailedbalance.JournalofFunctionalAnalysis,273(5):1810– 1869, 2017. 18
work page 2017
-
[49]
Eric A Carlen and Jan Maas. Non-commutative calculus, optimal transport and functional inequalities in dissipative quantum systems.Journal of Statistical Physics, 178(2):319–378, 2020. 18
work page 2020
-
[50]
Cambyse Rouzé and Nilanjana Datta. Concentration of quantum states from quan- tum functional and transportation cost inequalities.Journal of Mathematical Physics, 60(1):012202, 2019. 18
work page 2019
-
[51]
Nilanjana Datta and Cambyse Rouzé. Relating relative entropy, optimal transport andFisherinformation: AquantumHWIinequality.AnnalesHenriPoincaré,21:2115– 2150, 2020. 18
work page 2020
-
[52]
Geometrical Bounds of the Irreversibility in Markovian Systems.arXiv preprint arXiv:2005.02871, 2020
Tan Van Vu and Yoshihiko Hasegawa. Geometrical Bounds of the Irreversibility in Markovian Systems.arXiv preprint arXiv:2005.02871, 2020. 18
-
[53]
Giacomo De Palma and Stefan Huber. The conditional Entropy Power Inequality for quantumadditivenoisechannels.JournalofMathematicalPhysics,59(12):122201,2018. 18
work page 2018
-
[54]
LiGao,MariusJunge,andNicholasLaRacuente. Fisherinformationandlogarithmic sobolev inequality for matrix-valued functions.Annales Henri Poincaré, 21(11):3409– 3478, 2020. 18
work page 2020
-
[55]
Matricial Wasserstein-1 distance.IEEE control systems letters, 1(1):14–19, 2017
YongxinChen,TryphonTGeorgiou,LipengNing,andAllenTannenbaum. Matricial Wasserstein-1 distance.IEEE control systems letters, 1(1):14–19, 2017. 19
work page 2017
-
[56]
Ernest K Ryu, Yongxin Chen, Wuchen Li, and Stanley Osher. Vector and matrix op- timal mass transport: theory, algorithm, and applications.SIAM Journal on Scientific Computing, 40(5):A3675–A3698, 2018. 19
work page 2018
-
[57]
Yongxin Chen, Tryphon T Georgiou, and Allen Tannenbaum. Matrix optimal mass transport: a quantum mechanical approach.IEEE Transactions on Automatic Control, 63(8):2612–2619, 2018. 19
work page 2018
-
[58]
Wasserstein geometry of quantum states and optimal transport of matrix-valued measures
Yongxin Chen, Tryphon T Georgiou, and Allen Tannenbaum. Wasserstein geometry of quantum states and optimal transport of matrix-valued measures. InEmerging Applications of Control and Systems Theory, pages 139–150. Springer, 2018. 19 57
work page 2018
-
[59]
JuliánAgredo.AWasserstein-typedistancetomeasuredeviationfromequilibriumof quantumMarkovsemigroups.OpenSystems&InformationDynamics,20(02):1350009,
-
[60]
J Agredo. On exponential convergence of generic quantum Markov semigroups in a Wasserstein-type distance.International Journal of Pure and Applied Mathematics, 107(4):909–925, 2016. 19
work page 2016
-
[61]
Foundationofquantumoptimaltransportandapplications.Quantum Information Processing, 19(1):25, 2020
KazukiIkeda. Foundationofquantumoptimaltransportandapplications.Quantum Information Processing, 19(1):25, 2020. 19
work page 2020
-
[62]
François Golse, Clément Mouhot, and Thierry Paul. On the mean field and classical limitsofquantummechanics.CommunicationsinMathematicalPhysics,343(1):165–205,
-
[63]
Towards optimal transport for quantum densities
Emanuele Caglioti, François Golse, and Thierry Paul. Towards optimal transport for quantum densities. preprint, Dec 2018. 19
work page 2018
-
[64]
François Golse. The quantum N-body problem in the mean-field and semiclassical regime.Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 376(2118):20170229, 2018. 19
work page 2018
-
[65]
François Golse and Thierry Paul. The Schrödinger equation in the mean-field and semiclassical regime.Archive for Rational Mechanics and Analysis, 223(1):57–94, 2017. 19
work page 2017
-
[66]
François Golse and Thierry Paul. Wave packets and the quadratic Monge– Kantorovich distance in quantum mechanics.Comptes Rendus Mathematique, 356(2):177–197, 2018. 19
work page 2018
-
[67]
Quantum Optimal Transport is Cheaper.Journal of Statistical Physics, 2020
Emanuele Caglioti, François Golse, and Thierry Paul. Quantum Optimal Transport is Cheaper.Journal of Statistical Physics, 2020. 19
work page 2020
-
[68]
Shmuel Friedland, Michał Eckstein, Sam Cole, and Karol Życzkowski. Quantum monge-kantorovichproblemandtransportdistancebetweendensitymatrices.Phys- ical Review Letters, 129(11), 2022. 19
work page 2022
-
[69]
GergelyBunth,JózsefPitrik,TamásTitkos,andDánielVirosztek. Strongkantorovich duality for quantum optimal transport with generic cost and optimal couplings on quantum bits, 2026. 19
work page 2026
-
[70]
Quantum wasserstein generative adversarial networks
Shouvanik Chakrabarti, Huang Yiming, Tongyang Li, Soheil Feizi, and Xiaodi Wu. Quantum wasserstein generative adversarial networks. InAdvances in Neural Infor- mation Processing Systems, pages 6781–6792, 2019. 19
work page 2019
-
[71]
Quantum optimal transport with quantum channels.Annales Henri Poincaré, 22(10):3199–3234, 2021
Giacomo De Palma and Dario Trevisan. Quantum optimal transport with quantum channels.Annales Henri Poincaré, 22(10):3199–3234, 2021. 19 58
work page 2021
-
[72]
Wasserstein dis- tances and divergences of order𝑝by quantum channels, 2026
Gergely Bunth, József Pitrik, Tamás Titkos, and Dániel Virosztek. Wasserstein dis- tances and divergences of order𝑝by quantum channels, 2026. 19
work page 2026
-
[73]
Metricpropertyof quantum wasserstein divergences.Physical Review A, 110(2), August 2024
GergelyBunth, JózsefPitrik, TamásTitkos, andDánielVirosztek. Metricpropertyof quantum wasserstein divergences.Physical Review A, 110(2), August 2024. 19
work page 2024
-
[74]
Triangle inequality for a quantum wasserstein divergence, 2025
Melchior Wirth. Triangle inequality for a quantum wasserstein divergence, 2025. 19
work page 2025
-
[75]
Balance between quantum Markov semi- groups.Annales Henri Poincaré, 19(6):1747–1786, 2018
Rocco Duvenhage and Machiel Snyman. Balance between quantum Markov semi- groups.Annales Henri Poincaré, 19(6):1747–1786, 2018. 19
work page 2018
-
[76]
On quantum versions of the classical Wasserstein distance.Stochastics, 89(6-7):910–922, 2017
J Agredo and Franco Fagnola. On quantum versions of the classical Wasserstein distance.Stochastics, 89(6-7):910–922, 2017. 19
work page 2017
-
[77]
Karol Zyczkowski and Wojeciech Slomczynski. The Monge distance between quan- tum states.Journal of Physics A: Mathematical and General, 31(45):9095, 1998. 19
work page 1998
-
[78]
Karol Zyczkowski and Wojciech Slomczynski. The Monge metric on the sphere and geometryofquantumstates.JournalofPhysicsA:MathematicalandGeneral,34(34):6689,
-
[79]
Cambridge University Press, 2017
Ingemar Bengtsson and Karol Życzkowski.Geometry of Quantum States: An Introduc- tion to Quantum Entanglement. Cambridge University Press, 2017. 19
work page 2017
-
[80]
J. Maas, S. Rademacher, T. Titkos, and D. Virosztek.Optimal Transport on Quantum Structures. Bolyai Society Mathematical Studies. Springer Nature Switzerland, 2024. 19
work page 2024
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.