Pith. sign in

REVIEW 5 minor 26 references

Smoothing exponents for max-relative entropy, and catalytic decoupling reliability, match the finite-dimensional Rényi formulae in every semifinite von Neumann algebra.

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 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.5

2026-07-10 13:59 UTC pith:HNFQAAGB

load-bearing objection Solid, self-contained lift of the Li–Yao–Hayashi smoothing exponent and Li–Yao decoupling reliability to semifinite von Neumann algebras; the algebraic replacements look complete.

arxiv 2607.07997 v1 pith:HNFQAAGB submitted 2026-07-09 cs.IT math.ITmath.OAquant-ph

Smoothing Exponents and Decoupling in Semifinite von Neumann Algebras

Zhiwen Lin , Hongsen Qiu , Xinyu Zhang This is my paper
classification cs.IT math.ITmath.OAquant-ph MSC 46L5281P4594A17
keywords smoothing exponentmax-relative entropysandwiched Rényi divergencesemifinite von Neumann algebracatalytic decouplinglayer-cake lemmaMosonyi–Ogawa formulafinite-trace recoverability
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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 exponential rate at which the smoothed max-relative entropy vanishes is given by the same Legendre transform of sandwiched Rényi divergences that holds for matrices, even when the underlying algebra is an arbitrary semifinite von Neumann algebra. The same rate then governs the reliability of catalytic quantum information decoupling when the reference system itself is allowed to be such an algebra rather than a finite-dimensional Hilbert space. Finite-dimensional proofs lean on pinching, eigenvalue counting and finite-rank truncations; those tools fail once corners may be infinite-dimensional and atomless. The authors replace them by finite-trace recoverability of the sandwiched Rényi quantities, a Datta–Renner-type estimate proved via geometric means and weak compactness in non-commutative L1, and an intrinsic layer-cake identity that no longer needs countable spectrum. The resulting exponents are therefore controlled by the algebraic structure of the bipartite state, not by matrix dimension. A reader who cares about quantum information beyond qubits and type-I factors learns that the large-deviation geometry of smoothing and decoupling survives intact in this broader setting.

Core claim

For states on a semifinite von Neumann algebra, the smoothing exponent of the max-relative entropy equals one-half the Legendre transform of the sandwiched Rényi family, and the reliability exponent of catalytic decoupling with a semifinite reference is given by the analogous expression in the sandwiched Rényi mutual information, coinciding with the finite-dimensional formulae.

What carries the argument

Finite-trace recoverability of the sandwiched Rényi divergence: Q_α(ρ∥σ) equals the net limit of Q_α(e ho e∥eσe) over finite-trace projections e↑1. This identity lets Mosonyi–Ogawa large-deviation estimates and the layer-cake inequality lift from finite corners to the full algebra.

Load-bearing premise

The claim that sandwiched Rényi divergences of any pair of normal states can be recovered by taking the limit over finite-trace compressions; if that net limit failed for some states, the exponent formulae would not extend beyond finite algebras.

What would settle it

Exhibit a pair of normal states on a concrete type-II1 factor for which the limsup of the finite-trace sandwiched Rényi quantities is strictly smaller than the true value; the smoothing-exponent identity would then fail for those states.

Watch this falsifier — get emailed when new claim-graph text bears on it.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

0 major / 5 minor

Summary. The paper proves an exact smoothing exponent for the max-relative entropy on semifinite von Neumann algebras: for r eq D_∞(ρ∥σ), lim (−1/n) log Δ(ρ⊗n ∥ σ⊗n, nr) = (1/2) sup_{s≥0} s(r − D_{1+s}(ρ∥σ)) (Theorem 6). The argument replaces finite-dimensional pinching and eigenvalue counting by finite-trace recoverability of sandwiched Rényi quantities (Theorem 4), a semifinite Datta–Renner estimate (Theorem 3 / Corollary 1), and a Mosonyi–Ogawa large-deviation formula obtained by reduction to finite-spectrum corners (Theorem 5). As an application, catalytic decoupling is formulated with a semifinite reference algebra M; an intrinsic layer-cake lemma (Lemma 8–9) removes the countable-spectrum hypothesis and yields a dimension-free convex-split bound, so that the reliability exponent E_dec equals the same sandwiched Rényi mutual-information expression as in the matrix case for r ≤ R♯ (Theorem 7).

Significance. The work shows that two sharp large-deviation exponents previously known only for matrix algebras survive in the genuinely non-atomic semifinite setting and are controlled by the same sandwiched Rényi quantities. The technical contributions—finite-trace recoverability of Q_α, the intrinsic layer-cake identity that does not require countable spectrum, and the corresponding Datta–Renner and Mosonyi–Ogawa formulae—are self-contained and of independent interest for operator-algebraic quantum information. The results therefore place the operational theory of smooth max-relative entropy and catalytic decoupling on a footing that is intrinsic to the von Neumann algebra rather than an artefact of finite dimensionality.

minor comments (5)
  1. Section 3, Remark 3 and Theorem 1: the endpoint exclusion r = D_∞ is correctly flagged with a counter-example, but a one-sentence pointer in the statement of Theorem 6 would help readers who skip the infinite-dimensional warm-up.
  2. Section 5.1, Proposition 7: the variational formula for Q_α is cited from [10]; a brief display of the formula (or an explicit reference to the precise equation) would make the lower-semicontinuity argument self-contained for readers less familiar with the von Neumann-algebra literature.
  3. Section 6.1, Lemma 8: the σ-weak integral of the null-space projections is shown to vanish; a short remark that the same conclusion holds for the strong topology (or that only the σ-weak topology is needed later) would clarify the topology used in subsequent Bochner integrals.
  4. Throughout: a few typographical inconsistencies appear (e.g., “secion” in the heading of Section 5, occasional missing spaces around “=”). A light copy-edit would remove them.
  5. References: the arXiv identifiers of the concurrent works [3,4,12] could be updated to the final versions if available at the time of revision, but this is optional.

Circularity Check

0 steps flagged

No circularity: smoothing and decoupling exponents are derived from first-principles large-deviation and fidelity estimates with independent algebraic lifts.

full rationale

The paper's central claims (Theorems 6 and 7) are exact asymptotic exponents for the smoothed max-relative entropy and for catalytic decoupling reliability. Both are obtained by combining a semifinite Datta–Renner-type fidelity bound (Corollary 1 / Theorem 3), a Mosonyi–Ogawa large-deviation formula proved by finite-spectrum pinching plus finite-trace recoverability (Theorem 5), and a dimension-free convex-split / layer-cake inequality (Theorem 8 / Lemma 9). Finite-trace recoverability of Q_α (Theorem 4) is proved internally from lower semicontinuity under L1-convergence (Proposition 7, via the variational formula) and L1-continuity of compressions (Proposition 6); it is not imported as an external black box. Prior finite-dimensional results of Li–Yao–Hayashi and Li–Yao are used only as base cases that are then lifted by these independent operator-algebraic arguments. No free parameters are fitted, no quantity is defined in terms of the target rate, and no uniqueness theorem is smuggled in via self-citation. The endpoint exclusion r = D_∞ is flagged explicitly and does not affect the claimed equalities. Consequently the derivation chain is self-contained and non-circular.

Axiom & Free-Parameter Ledger

0 free parameters · 4 axioms · 0 invented entities

The paper is a pure-mathematical extension. It inherits the standard axiomatic framework of semifinite von Neumann algebras, non-commutative Lp-spaces and sandwiched Rényi divergences; no numerical free parameters or new physical entities are introduced. The only non-standard ingredients are the technical lemmas proved inside the paper itself.

axioms (4)
  • standard math Existence of a normal semifinite faithful trace τ on the von Neumann algebra M, together with the standard construction of the non-commutative Lp-spaces L_p(M,τ).
    Used throughout Sections 2–6 as the ambient setting; taken from the classical theory of Dixmier, Nelson, Fack–Kosaki, Pisier–Xu.
  • domain assumption Data-processing inequality, monotonicity in the order α, and additivity under tensor products for the sandwiched Rényi quantities Q_α and D_α on normal positive functionals.
    Invoked repeatedly (e.g., Propositions 7–11, Theorems 5–7); established for von Neumann algebras by Hiai–Jenčová and Jenčová.
  • standard math Lower semi-continuity of Q_α under L1-convergence of positive densities (Proposition 7).
    Follows from the variational formula for sandwiched Rényi divergence; used to obtain finite-trace recoverability.
  • standard math Non-commutative Dunford–Pettis criterion: uniformly integrable sets in L1(M,τ) are relatively weakly compact.
    Cited from Akemann and Haagerup–Rosenthal–Sukochev; used in the proof of the semifinite Datta–Renner estimate (Lemma 7).

pith-pipeline@v1.1.0-grok45 · 39372 in / 2597 out tokens · 29166 ms · 2026-07-10T13:59:17.150240+00:00 · methodology

0 comments
read the original abstract

We study the smoothing exponent of the max-relative entropy in semifinite von Neumann algebras. Our main result gives an exact exponent formula in this setting. The proof develops operator-algebraic replacements for the dimension-dependent tools used in finite-dimensional arguments. These ingredients show that the smoothing exponent is governed by the underlying von Neumann algebraic structure rather than by matrix dimension estimates. As an application, we formulate catalytic quantum information decoupling with a semifinite von Neumann algebraic reference system. We prove an intrinsic layer-cake lemma for von Neumann algebras, which removes the countable spectrum assumption in the finite-dimensional proof and yields the corresponding semifinite estimate. Consequently, the decoupling reliability exponent is described by the same sandwiched R\'enyi mutual information formula as in the finite-dimensional theory.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

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

  1. [1]

    Akemann, The dual space of an operator algebra , Transactions of the American Mathematical Society 126 (1967), 286–302

    Charles A. Akemann, The dual space of an operator algebra , Transactions of the American Mathematical Society 126 (1967), 286–302

    work page 1967

  2. [2]

    Huzihiro Araki, On an inequality of lieb and thirring , Letters in Mathematical Physics 19 (1990), 167–170

    work page 1990

  3. [3]

    Hao-Chung Cheng, Li Gao, Christoph Hirche, Hao-Wei Huang, and Po-Chieh Liu, Sharp estimates of quantum covering problems via a novel trace inequality , arXiv preprint arXiv:2507.07961 (2025)

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  4. [4]

    Hao-Chung Cheng and Po-Chieh Liu, Error exponents for quantum packing problems via an operator layer cake theorem , 2025, arXiv:2507.06232v1

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  5. [5]

    6, 2807–2815

    Nilanjana Datta and Renato Renner, Smooth entropies and the quantum information spectrum, IEEE Transactions on Information Theory 55 (2009), no. 6, 2807–2815

    work page 2009

  6. [6]

    38, Springer, New York, 1998

    Amir Dembo and Ofer Zeitouni, Large deviations techniques and applications , 2 ed., Applications of Mathematics, vol. 38, Springer, New York, 1998

    work page 1998

  7. [7]

    2, 269–300

    Thierry Fack and Hideki Kosaki, Generalized s-numbers of τ -measurable operators, Pacific Journal of Mathematics 123 (1986), no. 2, 269–300

    work page 1986

  8. [8]

    1, 95–141

    Omar Fawzi, Li Gao, and Mizanur Rahaman, Asymptotic equipartition theorems in von Neumann algebras , Annales Henri Poincaré 27 (2026), no. 1, 95–141

    work page 2026

  9. [9]

    Rosenthal, and Fedor A

    Uffe Haagerup, Haskell P. Rosenthal, and Fedor A. Sukochev, Banach embedding prop- erties of non-commutative Lp-spaces, vol. 163, Memoirs of the American Mathematical Society, no. 776, American Mathematical Society, 2003

    work page 2003

  10. [10]

    Fumio Hiai and Anna Jenčová, α-z-Rényi divergences in von Neumann algebras: data processing inequality, reversibility, and monotonicity properties in α, z, Communica- tions in Mathematical Physics 405 (2024), 271

    work page 2024

  11. [11]

    8, 2513–2542

    Anna Jenčová, Rényi relative entropies and noncommutative Lp-spaces, Annales Henri Poincaré 19 (2018), no. 8, 2513–2542

    work page 2018

  12. [12]

    Marius Junge and Nicholas Laracuente, Strong converse rate for asymptotic hypothesis testing in type III , 2025, arXiv:2507.07989 [quant-ph]

    work page internal anchor Pith review Pith/arXiv arXiv 2025

  13. [13]

    2, 477–481

    Hideki Kosaki, An inequality of araki–lieb–thirring, Proceedings of the American Math- ematical Society 114 (1992), no. 2, 477–481

    work page 1992

  14. [14]

    Ke Li and Yongsheng Yao, Reliability function of quantum information decoupling via the sandwiched Rényi divergence , Communications in Mathematical Physics 405 (2024), 160

    work page 2024

  15. [15]

    3, 1680–1694

    Ke Li, Yongsheng Yao, and Masahito Hayashi, Tight exponential analysis for smooth- ing the max-relative entropy and for quantum privacy amplification , IEEE Transactions on Information Theory 69 (2023), no. 3, 1680–1694

    work page 2023

  16. [16]

    1281–1291

    Roberto Longo, Von neumann algebras and quantum field theory , Proceedings of the International Congress of Mathematicians, Birkhäuser, 1995, pp. 1281–1291

    work page 1995

  17. [17]

    Milán Mosonyi, The strong converse exponent of discriminating infinite-dimensional quantum states , Communications in Mathematical Physics 400 (2023), 83–150

    work page 2023

  18. [18]

    3, 1617–1648

    Milán Mosonyi and Tomohiro Ogawa, Quantum hypothesis testing and the operational interpretation of the quantum Rényi relative entropies , Communications in Mathemat- ical Physics 334 (2015), no. 3, 1617–1648

    work page 2015

  19. [19]

    Edward Nelson, Notes on non-commutative integration, Journal of Functional Analysis 15 (1974), 103–116

    work page 1974

  20. [20]

    2, North-Holland, Amsterdam, 2003, pp

    Gilles Pisier and Quanhua Xu, Noncommutative Lp-spaces, Handbook of the Geometry of Banach Spaces, vol. 2, North-Holland, Amsterdam, 2003, pp. 1459–1517. SMOOTHING EXPONENTS AND DECOUPLING IN SEMIFINITE VNA 51

    work page 2003

  21. [21]

    5, 3051–3073

    Bartosz Regula, Ludovico Lami, and Nilanjana Datta, Tight relations and equiva- lences between smooth relative entropies , IEEE Transactions on Information Theory 72 (2026), no. 5, 3051–3073

    work page 2026

  22. [22]

    124, Springer, Berlin, 2002

    Masamichi Takesaki, Theory of operator algebras I , Encyclopaedia of Mathematical Sciences, vol. 124, Springer, Berlin, 2002

    work page 2002

  23. [23]

    Marco Tomamichel, Quantum information processing with finite resources: Mathe- matical foundations , Springer, Cham, 2016

    work page 2016

  24. [24]

    11, 7693–7710

    Marco Tomamichel and Masahito Hayashi, A hierarchy of information quantities for finite block length analysis of quantum tasks , IEEE Transactions on Information The- ory 59 (2013), no. 11, 7693–7710

    work page 2013

  25. [25]

    transition probability

    Armin Uhlmann, The “transition probability” in the state space of a ∗-algebra, Reports on Mathematical Physics 9 (1976), no. 2, 273–279

    work page 1976

  26. [26]

    Quanhua Xu, Noncommutative Lp-spaces and martingale inequalities , 2007, Unpub- lished manuscript. Institute for Advanced Study in Mathematics, Harbin Institute of Tech- nology, Harbin, China Email address : 21b912029@stu.hit.edu.cn Institute for Advanced Study in Mathematics, Harbin Institute of Tech- nology, Harbin, China Email address : chieughongsen@g...

    work page 2007