Pith. sign in

REVIEW 2 major objections 7 minor 1 cited by

f-divergence equals relative entropy in general von Neumann algebras

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 · glm-5.2

2026-07-07 23:56 UTC pith:A35UZ6QQ

load-bearing objection D_{f_0} = S_{rel} for general von Neumann algebras, including type III, via Jordan decomposition and operator integral equality — a genuine extension of Frenkel's formula. the 2 major comments →

arxiv 2607.05195 v1 pith:A35UZ6QQ submitted 2026-07-06 math.OA math-phmath.MPquant-ph

Integral representations of f-divergences for general von Neumann algebras

Ricardo Correa da Silva , Markus B. Fr\"ob , Gandalf Lechner , Leonardo Sangaletti This is my paper
classification math.OA math-phmath.MPquant-ph MSC 46L1046L5381P4594A15
keywords f-divergencehockeystick divergencerelative entropyvon Neumann algebraAraki relative entropyJordan decompositiondata processing inequalityquantum hypothesis testing
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.

This paper defines hockeystick divergences and f-divergences for normal positive functionals on arbitrary von Neumann algebras, building them from the Jordan decomposition of selfadjoint functionals rather than from relative modular theory. The hockeystick divergence at likelihood ratio t is simply the norm of the positive part of the difference phi_1 - t*phi_2, which directly generalizes the classical total-variation-based quantity and has an operational meaning in quantum hypothesis testing as the excess success probability of the optimal test. General f-divergences are then defined as integrals of hockeystick divergences weighted by the second derivative of a convex function f, mirroring the classical integral representation of Csiszár divergences. This construction yields all standard properties—monotonicity, convexity, semicontinuity, data processing inequality, state discrimination—in a unified and comparatively simple way across all types of von Neumann algebras, including the type III algebras that arise in quantum field theory.

Core claim

The central result is that the f_0-divergence (the f-divergence for the information function f_0(t) = t ln t) coincides exactly with Araki's relative entropy for any von Neumann algebra M and any two normal positive functionals. This is proven in two stages: first for semifinite algebras by establishing the equality of two operator integrals—one built from the positive part of density differences, the other from resolvent-based sandwiched expressions—via analytic continuation and contour deformation, then approximating unbounded densities by spectral cutoffs; second, for general algebras, by passing through finite subalgebras of a crossed product (Haagerup reduction) and using martingale con

What carries the argument

Hockeystick divergence defined as the norm of the positive part of (phi_1 - t*phi_2) via Jordan decomposition; f-divergence as an integral of hockeystick divergences weighted by f''; equality of two operator integrals I_f(A,B) and J_f(A,B) proven via analytic continuation and contour deformation; Haagerup reduction extending from semifinite to general von Neumann algebras

Load-bearing premise

The equality of two operator integrals is first established for bounded operators with bounded inverses and then extended to unbounded L^1 densities by spectral cutoff approximation; if the norm continuity of the regularized divergence or the monotone convergence step fails for pathological unbounded operators, the semifinite case—and hence the general case—would not hold.

What would settle it

Exhibit a von Neumann algebra and two normal positive functionals for which the f_0-divergence integral formula yields a value different from Araki's relative entropy, which would require a failure of the operator integral equality or the approximation step for some unbounded density configuration.

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

If this is right

  • Relative entropy in quantum field theory (where type III von Neumann algebras are standard) can be computed via the integral formula involving hockeystick divergences, potentially sidestepping direct modular theory calculations.
  • The data processing inequality for relative entropy follows from a few lines of Jordan decomposition arguments, offering a simpler proof route than existing approaches.
  • The multi-shot regularization of the f_0-divergence equals Araki's relative entropy, connecting the integral representation to asymptotic error rates in quantum hypothesis testing.
  • Pinsker's inequality and other bounds on relative entropy follow directly from the hockeystick divergence framework, providing computationally accessible estimates.

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

2 major / 7 minor

Summary. This paper defines and analyzes hockeystick divergences and f-divergences for normal positive functionals on general von Neumann algebras. The f-divergences are defined via an integral representation over hockeystick divergences (Def. 2.11), which in turn are built on the Jordan decomposition of selfadjoint normal functionals (Def. 2.5). This approach yields clean proofs of standard properties—monotonicity, convexity, lower semicontinuity, data processing, Pinsker's inequality—collected in Theorem 2.13. The central result is Theorem 3.19, proving that the f_0-divergence (f_0(t) = t ln t) coincides with Araki's relative entropy for arbitrary von Neumann algebras. The proof proceeds in two stages: first for semifinite algebras (Thm. 3.17), where the key technical ingredient is an equality of two operator integrals (Prop. 4.8), and then for general algebras via Haagerup reduction (Thm. 3.18). A complementary result (Thm. 3.10) establishes the multi-shot regularization limit via modular bounds. The paper extends Frenkel's finite-dimensional formula and unifies several recent results [25–29, 35, 40, 41].

Significance. The main contribution—establishing D^M_{f_0} = S^M_{rel} for general von Neumann algebras—is a significant result that connects the Jordan-decomposition-based approach to divergences with Araki's relative modular theory. The integral representation (1.5) offers a new, operationally motivated perspective on relative entropy, particularly relevant for quantum field theory where type III algebras arise. The proofs of the operator integral equality (Sec. 4.2) via analytic continuation and contour deformation, and the extension to general algebras via Haagerup reduction, are substantial technical achievements. The authors appropriately acknowledge independent simultaneous work by Koßmann, Schwonnek, Liu, and Cheng [59] and credit the Haagerup reduction argument to van Luijk. The paper also provides a clear and self-contained development of the f-divergence framework, with the data processing inequality and Pinsker's inequality derived efficiently from the hockeystick representation.

major comments (2)
  1. Theorem 3.17, p. 34 (proof): The proof applies Proposition 4.8 to A = h_{ψ,n} = E_{h_ψ}[n⁻¹,n] h_ψ and B = h_{φ,n}. The text states 'h_{ψ,n}⁻¹ is bounded as well,' but h_{ψ,n} vanishes on the complement of E_{h_ψ}[n⁻¹,n], so it is not invertible in M. Assumption 4.2 (under which Prop. 4.8 is proven) requires A, A⁻¹ positive and bounded, i.e., A ≥ a > 0. The proof of Prop. 4.7 (the f=1 base case) uses this invertibility in an essential way: Lemma 4.13 requires C > 0 boundedly invertible for resolvent bounds, and the contour deformation in Prop. 4.7 relies on these bounds to control arcs at infinity and near the origin. When A has a kernel, these bounds fail. The gap is that Prop. 4.8 is invoked outside its stated hypotheses. The fix is straightforward: replace A by A+ε (which is invertible since A ≥ 0), apply Prop. 4.8, and take ε→0 using the L¹-continuity estimates already established in
  2. Lemma 4.1. Both I_f(A+ε,B)→I_f(A,B) and J_f(A+ε,B)→J_f(A,B) follow from continuity of the positive-part map on L¹(M,τ) and of multiplication by bounded elements. This approximation step is standard but not written out. The concern does not threaten the central claim: the gap is in a technical lemma, the fix uses machinery already in the paper, and the result has independent corroboration from [59]. Nevertheless, the authors should either (a) add a remark after Prop. 4.8 stating that the result extends to positive A with nontrivial kernel by the A→A+ε approximation, with a brief justification, or (b) adjust the proof of Thm. 3.17 to explicitly perform this approximation. As it stands, there is a gap between the stated hypotheses of Prop. 4.8 and its application in the proof of the paper's central theorem.
minor comments (7)
  1. Section 1, p. 5: The display equations for J(h₁,h₂) and I(h₁,h₂) use notation that is not fully defined at that point (e.g., the square-root notation √_s/(h₁+s)). A forward reference to Section 4 or a brief explanatory remark would help the reader.
  2. Definition 2.11, Eq. (2.13): The integral is stated as a Lebesgue integral with values in [0,∞], but the correction term ϕ₁(1)−ϕ₂(1) can make the overall value negative. The text notes this, but the intermediate claim that the integral itself takes values in [0,∞] could be stated more precisely to avoid momentary confusion.
  3. Proposition 2.7, item c): The limit lim_{t→∞} E^M_t(ϕ₁|ϕ₂) = ϕ₁(s₂⊥) is proven, but the proof uses a subsequential compactness argument. It would help to explicitly note that the full limit exists (not just subsequential) because E^M_t is monotone decreasing in t.
  4. Theorem 3.10, Eq. (3.7): The lower bound involves δ_r for r∈(0,1) and the optimization over T₁, T₂. The choice r(t) is piecewise constant; a brief remark on how sharp this bound is, or whether smoother choices of r(t) yield improvements, would add context.
  5. Section 4.2: The standing Assumption 4.2 lists A, B, C, D ∈ L¹(M,τ) and x ∈ M, but C and D do not appear in the statements of Prop. 4.4–4.8. If they are used in auxiliary estimates, this should be clarified; otherwise they can be removed from the assumption.
  6. Reference [59] is listed as 'To appear' with title 'Device-independent Quantum Key Distribution in the commuting operator framework.' This title does not match the content (equality of f₀-divergence and relative entropy). The authors should verify that the reference is correct and complete.
  7. Page 3, line 2: 'hockeystick' is written as one word in some places and 'hockey stick' (two words) might be more standard. This is purely cosmetic; the authors should pick one convention and use it consistently.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and the identification of a genuine gap in the application of Proposition 4.8. The referee's diagnosis is correct, and we will implement the suggested fix.

read point-by-point responses

  1. Referee: Theorem 3.17, p. 34 (proof): The proof applies Proposition 4.8 to A = h_{ψ,n} = E_{h_ψ}[n⁻¹,n] h_ψ and B = h_{φ,n}. The text states 'h_{ψ,n}⁻¹ is bounded as well,' but h_{ψ,n} vanishes on the complement of E_{h_ψ}[n⁻¹,n], so it is not invertible in M. Assumption 4.2 (under which Prop. 4.8 is proven) requires A, A⁻¹ positive and bounded, i.e., A ≥ a > 0. ... The gap is that Prop. 4.8 is invoked outside its stated hypotheses. The fix is straightforward: replace A by A+ε (which is invertible since A ≥ 0), apply Prop. 4.8, and take ε→0 using the L¹-continuity estimates already established in Lemma 4.1.

    Authors: We thank the referee for identifying this gap, which is entirely correct. In the proof of Theorem 3.17, the operator $h_{ψ,n} = E_{h_ψ}[n^{-1},n] h_ψ$ is not invertible in $M$ because it vanishes on the complement of $E_{h_ψ}[n^{-1},n]$. Proposition 4.8 is proven under Assumption 4.2, which requires $A ≥ a > 0$ (i.e., $A$ is boundedly invertible), so invoking it with $A = h_{ψ,n}$ is indeed outside the stated hypotheses. The sentence claiming that $h_{ψ,n}^{-1}$ is bounded is misleading: while $h_{ψ,n} ≥ n^{-1}$ on its support, it is not invertible in $M$ itself. We will correct this in the revision. The fix proposed by the referee is the natural one and uses only machinery already present in the paper. Specifically, we will replace $A = h_{ψ,n}$ by $A_ε = h_{ψ,n} + ε$ (which satisfies $A_ε ≥ ε > 0$ and is thus boundedly invertible), apply Proposition 4.8 with $A_ε$, and then pass to the limit $ε → 0$. The convergence $I_f(A_ε, B) → I_f(A, B)$ and $J_f(A_ε, B) → J_f(A, B)$ in $L^1(M, τ)$ follow from the continuity of the positive-part map $X ↦ X^+$ on $L^1(M, τ)$ (noted in the proof of Lemma 4.1, using the isometric isomorphism $L^1(M,τ) ≅ M_*$ and the norm continuity of $ϕ ↦ |ϕ|$ from [56]) and the norm continuity of multiplication by bounded elements of $M$. We will implement option (b): the proof of Theorem 3.17 will be adjusted to explicitly perform this $ε$-approximation, and a brief remark will be added after Proposition 4.8 noting that the result extends to positive $A$ with nontrivial kernel by this approximation argument. We agree with the referee that this does not affect the validity of the central result, which also has independent corroboration from [59]. revision: yes

Circularity Check

0 steps flagged

No circularity found: the f-divergence and Araki's relative entropy are independently defined, and their equality is proven via non-trivial operator integral identities and approximation arguments.

full rationale

The paper's central claim is that the f_0-divergence D^M_{f_0}(φ|ψ) equals Araki's relative entropy S^M_{rel}(φ|ψ) for general von Neumann algebras. These two objects are defined via completely independent mathematical frameworks: D^M_{f_0} is defined (Def. 2.11) as an integral over hockeystick divergences, which are in turn defined via the Jordan decomposition of normal functionals (Def. 2.5, Eq. 1.4). Araki's relative entropy S^M_{rel} is defined (Def. 3.3) via the relative modular operator Δ_{ψ,φ} from Tomita-Takesaki modular theory. There is no definitional circularity: neither object is defined in terms of the other. The proof of their equality (Thm. 3.17 for semifinite algebras, Thm. 3.19 for general algebras) proceeds through a non-trivial chain of arguments: (1) establishing equality of two operator integrals I_f(A,B) = J_f(A,B) (Prop. 4.8) via analytic continuation and contour deformation under Assumption 4.2 (A ≥ a > 0), (2) approximating unbounded L^1 densities by spectrally cut-off bounded operators with bounded inverses, (3) using monotone convergence of regularized divergences D_{f_a} → D_{f_0}, and (4) extending from semifinite to general von Neumann algebras via Haagerup reduction (Thm. 3.18) and martingale convergence. The proof invokes standard external results (Jordan decomposition theorem [3], Haagerup reduction [54,55], Kosaki's variational formula [34], Ogata's generalization of Powers-Størmer [37]) and acknowledges independent simultaneous corroboration by [59]. The technical gap flagged by the skeptic (Prop. 4.8 applied to non-invertible cutoff densities in Thm. 3.17) is a correctness concern about whether hypotheses are met, not a circularity issue — the claim is not reduced to its inputs by construction. No self-citation chain is load-bearing for the central identity, and no 'prediction' is a renamed fit. The derivation is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 5 axioms · 0 invented entities

No free parameters, no ad hoc axioms, no invented entities. The paper is a pure mathematical derivation using standard tools from operator algebra theory.

axioms (5)
  • standard math Jordan decomposition theorem for normal selfadjoint functionals on von Neumann algebras (Thm 2.1, cited from Takesaki)
    Foundational result in operator algebra theory; the entire construction of hockeystick divergences depends on it.
  • standard math Existence and properties of relative modular operators (Def 3.1, Lemma 3.2, cited from Araki)
    Used to define Araki's relative entropy and to establish modular bounds in Sec 3.1.
  • standard math Haagerup reduction theorem (Thm 3.18, cited from Haagerup-Junge-Xu and Goldstein-Labuschagne)
    Used to extend the equality D_{f_0} = S_{rel} from semifinite to general von Neumann algebras in Thm 3.19.
  • standard math Noncommutative Hölder inequality for Lp(M,τ) spaces
    Used repeatedly in Section 4 for bounding integrals and establishing continuity.
  • standard math Bochner integral and Hille's theorem for Banach-space valued integrals
    Used to justify interchange of trace and integration in Sec 4.1-4.2.

pith-pipeline@v1.1.0-glm · 52514 in / 3817 out tokens · 130177 ms · 2026-07-07T23:56:32.168324+00:00 · methodology

0 comments
read the original abstract

We define and analyze hockeystick divergences and $f$-divergences for normal positive functionals on general von Neumann algebras, generalizing and unifying previous work in classical probability and finite-dimensional von Neumann algebras. All the main properties of these state distinguishability measures (including in particular monotonicity, convexity, semicontinuity, bounds, state discrimination, data processing inequality) are derived from properties of the Jordan decomposition of selfadjoint normal functionals. This is done by representing the $f$-divergences as integrals over hockeystick divergences, and their significance in quantum hypothesis testing is reviewed. The $f_0$-divergence given by the information function $f_0(t) = t \ln t$ is shown to coincide with Araki's relative entropy, extending results of Frenkel to general von Neumann algebras.

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Hockey stick $f$-divergences

    quant-ph 2026-07 accept novelty 5.0

    Quantum hockey stick f-divergences are extended to general von Neumann algebras, with regularized Rényi versions shown to coincide with standard Petz and sandwiched Rényi divergences.

Reference graph

Works this paper leans on

59 extracted references · 59 canonical work pages · cited by 1 Pith paper · 21 internal anchors

  1. [1]

    Csiszár,Eine informationstheoretische Ungleichung und ihre Anwendung auf den Beweis der Ergodizität von Markoffschen Ketten,Magyar Tud

    I. Csiszár,Eine informationstheoretische Ungleichung und ihre Anwendung auf den Beweis der Ergodizität von Markoffschen Ketten,Magyar Tud. Akad. Mat. Kutató Int. Közl.8 (1963) 85, https://real.mtak.hu/id/eprint/201426

    work page 1963

  2. [2]

    $f$-divergence Inequalities

    I. Sason and S. Verdú,f-divergence Inequalities,IEEE Trans. Inf. Theory62(2016) 5973 [1508.00335]

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  3. [3]

    Takesaki,Theory of Operator Algebras I, vol

    M. Takesaki,Theory of Operator Algebras I, vol. 124 ofEncyclopaedia of Mathematical Sciences, Springer-Verlag, Berlin, Heidelberg, Germany (2003), 10.1007/978-1-4612-6188-9

    work page doi:10.1007/978-1-4612-6188-9 2003

  4. [4]

    Watrous,The Theory of Quantum Information, Cambridge University Press, Cambridge, UK (2018)

    J. Watrous,The Theory of Quantum Information, Cambridge University Press, Cambridge, UK (2018)

    work page 2018

  5. [5]

    Holevo,Quantum Systems, Channels, Information: A Mathematical Introduction, De Gruyter Brill, Berlin, Germany (2019)

    A.S. Holevo,Quantum Systems, Channels, Information: A Mathematical Introduction, De Gruyter Brill, Berlin, Germany (2019)

    work page 2019

  6. [6]

    Embezzlement of entanglement, quantum fields, and the classification of von Neumann algebras

    L. van Luijk, A. Stottmeister, R.F. Werner and H. Wilming,Embezzlement of entanglement, quantum fields, and the classification of von Neumann algebras,2401.07299

    work page internal anchor Pith review Pith/arXiv arXiv

  7. [7]

    van Luijk, A

    L. van Luijk, A. Stottmeister, R.F. Werner and H. Wilming,Pure State Entanglement and von Neumann Algebras,Commun. Math. Phys.406(2025) 296 [2409.17739]

    work page arXiv 2025

  8. [8]

    Emch,Algebraic methods in statistical mechanics and quantum field theory, Wiley Interscience, New York, USA (1972)

    G.G. Emch,Algebraic methods in statistical mechanics and quantum field theory, Wiley Interscience, New York, USA (1972)

    work page 1972

  9. [9]

    Haag,Local quantum physics: Fields, particles, algebras, Springer-Verlag, Berlin, Heidelberg, Germany, second revised and enlarged ed

    R. Haag,Local quantum physics: Fields, particles, algebras, Springer-Verlag, Berlin, Heidelberg, Germany, second revised and enlarged ed. (1996)

    work page 1996

  10. [10]

    Pusz and S.L

    W. Pusz and S.L. Woronowicz,Functional calculus for sesquilinear forms and the purification map,Rept. Math. Phys.8(1975) 159

    work page 1975

  11. [11]

    Kubo and T

    F. Kubo and T. Ando,Means of positive linear operators,Math. Ann.246(1980) 205

    work page 1980

  12. [12]

    Araki,Relative Entropy of States of von Neumann Algebras,Publ

    H. Araki,Relative Entropy of States of von Neumann Algebras,Publ. RIMS, Kyoto Univ.11 (1976) 809

    work page 1976

  13. [13]

    Araki,Relative Entropy of States of von Neumann Algebras II,Publ

    H. Araki,Relative Entropy of States of von Neumann Algebras II,Publ. RIMS, Kyoto Univ. 13(1977) 173

    work page 1977

  14. [14]

    Araki and T

    H. Araki and T. Masuda,Positive Cones andLp-Spaces for von Neumann Algebras,Publ. RIMS, Kyoto Univ.18(1982) 339

    work page 1982

  15. [15]

    Petz,Quasi-entropies for States of a von Neumann Algebra,Publ

    D. Petz,Quasi-entropies for States of a von Neumann Algebra,Publ. RIMS, Kyoto Univ.21 (1985) 787

    work page 1985

  16. [16]

    Petz,Quasi-entropies for finite quantum systems,Rept

    D. Petz,Quasi-entropies for finite quantum systems,Rept. Math. Phys.23(1986) 57

    work page 1986

  17. [17]

    Quantum $f$-divergences in von Neumann algebras I. Standard $f$-divergences

    F. Hiai,Quantumf-divergences in von Neumann algebras. I. Standardf-divergences,J. Math. Phys.59(2018) 012202 [1805.02050]. – 52 –

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  18. [18]

    Hayashi,Quantum Information Theory: Mathematical Foundation, Graduate Texts in Physics, Springer-Verlag, Berlin, Heidelberg, Germany, second ed

    M. Hayashi,Quantum Information Theory: Mathematical Foundation, Graduate Texts in Physics, Springer-Verlag, Berlin, Heidelberg, Germany, second ed. (2017), 10.1007/978-3-662-49725-8

    work page doi:10.1007/978-3-662-49725-8 2017

  19. [19]

    Quantum Hypothesis Testing and Non-Equilibrium Statistical Mechanics

    V. Jakšić, Y. Ogata, C.A. Pillet and R. Seiringer,Quantum Hypothesis Testing and Non-Equilibrium Statistical Mechanics,Rev. Math. Phys.24(2012) 1230002 [1109.3804]

    work page internal anchor Pith review Pith/arXiv arXiv 2012

  20. [20]

    Hirche,From asymptotic hypothesis testing to entropy inequalities, PhD thesis, Universitat Autònoma de Barcelona, Bellaterra, Spain, 2018.1812.05142

    C. Hirche,From asymptotic hypothesis testing to entropy inequalities, PhD thesis, Universitat Autònoma de Barcelona, Bellaterra, Spain, 2018.1812.05142

    work page arXiv 2018

  21. [21]

    Helstrom,Quantum Detection and Estimation Theory,J

    C.W. Helstrom,Quantum Detection and Estimation Theory,J. Stat. Phys.1(1969) 231

    work page 1969

  22. [22]

    Quantum hypothesis testing and sufficient subalgebras

    A. Jenčová,Quantum Hypothesis Testing and Sufficient Subalgebras,Lett. Math. Phys.93 (2010) 15 [0810.4045]

    work page internal anchor Pith review Pith/arXiv arXiv 2010

  23. [23]

    On the strong converses for the quantum channel capacity theorems

    N. Sharma and N.A. Warsi,On the strong converses for the quantum channel capacity theorems,1205.1712

    work page internal anchor Pith review Pith/arXiv arXiv

  24. [24]

    Fundamental bound on the reliability of quantum information transmission

    N. Sharma and N.A. Warsi,Fundamental Bound on the Reliability of Quantum Information Transmission,Phys. Rev. Lett.110(2013) 080501 [1302.5281]

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  25. [25]

    Quantum R\'enyi and $f$-divergences from integral representations

    C. Hirche and M. Tomamichel,Quantum Rényi and f-Divergences from Integral Representations,Commun. Math. Phys.405(2024) 208 [2306.12343]

    work page internal anchor Pith review Pith/arXiv arXiv 2024

  26. [26]

    Integral formula for quantum relative entropy implies data processing inequality

    P.E. Frenkel,Integral formula for quantum relative entropy implies data processing inequality, Quantum7(2023) 1102 [2208.12194]

    work page internal anchor Pith review Pith/arXiv arXiv 2023

  27. [27]

    P.-C. Liu, C. Hirche and H.-C. Cheng,Layer Cake Representations for Quantum Divergences,2507.07065

    work page internal anchor Pith review Pith/arXiv arXiv

  28. [28]

    Recoverability of quantum channels via hypothesis testing

    A. Jenčová,Recoverability of quantum channels via hypothesis testing,Lett. Math. Phys.114 (2024) 31 [2303.11707]

    work page internal anchor Pith review Pith/arXiv arXiv 2024

  29. [29]

    Sufficiency and Petz recovery for positive maps

    L. van Luijk and H. Wilming,Sufficiency and Petz recovery for positive maps,2604.08380

    work page internal anchor Pith review Pith/arXiv arXiv

  30. [30]

    Quantum Differential Privacy: An Information Theory Perspective

    C. Hirche, C. Rouzé and D.S. França,Quantum Differential Privacy: An Information Theory Perspective,IEEE Trans. Info. Theor.69(2023) 5771 [2202.10717]

    work page internal anchor Pith review Pith/arXiv arXiv 2023

  31. [31]

    Sandwiched R\'enyi Divergence Satisfies Data Processing Inequality

    S. Beigi,Sandwiched Rényi divergence satisfies data processing inequality,J. Math. Phys.54 (2013) 122202 [1306.5920]

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  32. [32]

    Monotonicity of the Quantum Relative Entropy Under Positive Maps

    A. Müller-Hermes and D. Reeb,Monotonicity of the Quantum Relative Entropy Under Positive Maps,Ann. H. Poincaré18(2017) 1777 [1512.06117]

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  33. [33]

    R\'enyi relative entropies and noncommutative $L_p$-spaces

    A. Jenčová,Rényi Relative Entropies and NoncommutativeLp-Spaces,Ann. H. Poincaré19 (2018) 2513 [1609.08462]

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  34. [34]

    Kosaki,Relative entropy of states: a variational expression,J

    H. Kosaki,Relative entropy of states: a variational expression,J. Operator Theory16(1986) 335, https://www.theta.ro/jot/archive/1986-016-002/1986-016-002-010.pdf

    work page 1986

  35. [35]

    Friedland,A generalization of Frenkel’s formula,2602.10962

    S. Friedland,A generalization of Frenkel’s formula,2602.10962

    work page arXiv

  36. [36]

    Lieb and M

    E.H. Lieb and M. Loss,Analysis, vol. 14 ofGraduate Studies in Mathematics, American Mathematical Society, Providence, Rhode Island, USA, second ed. (2001)

    work page 2001

  37. [37]

    Ogata,A generalization of Powers–Størmer inequality,Lett

    Y. Ogata,A generalization of Powers–Størmer inequality,Lett. Math. Phys.97(2011) 339

    work page 2011

  38. [38]

    Powers and E

    R.T. Powers and E. Størmer,Free States of the Canonical Anticommutation Relations, Commun. Math. Phys.16(1970) 1. – 53 –

    work page 1970

  39. [39]

    Multiple Quantum Hypothesis Testing: One-Shot Pairwise Bounds and Sharp Asymptotics

    H.-C. Cheng and P.-C. Liu,Multiple Quantum Hypothesis Testing: One-Shot Pairwise Bounds and Sharp Asymptotics,2606.06246

    work page internal anchor Pith review Pith/arXiv arXiv

  40. [40]

    Error Exponents for Quantum Packing Problems via An Operator Layer Cake Theorem

    H.-C. Cheng and P.-C. Liu,Error Exponents for Quantum Packing Problems via An Operator Layer Cake Theorem,2507.06232v3

    work page internal anchor Pith review Pith/arXiv arXiv

  41. [41]

    Cheng, G

    H.-C. Cheng, G. Gour, L. Lami and P.-C. Liu,The operator layer cake theorem is equivalent to Frenkel’s integral formula,2512.04345

    work page arXiv

  42. [42]

    Bratteli and D.W

    O. Bratteli and D.W. Robinson,Operator Algebras and Quantum Statistical Mechanics, vol. 1 ofTheoretical and Mathematical Physics, Springer-Verlag, Berlin, Heidelberg, Germany (1987), 10.1007/978-3-662-02520-8

    work page doi:10.1007/978-3-662-02520-8 1987

  43. [43]

    Rudin,Real and complex analysis, McGraw-Hill, Singapore, third international ed

    W. Rudin,Real and complex analysis, McGraw-Hill, Singapore, third international ed. (1987)

    work page 1987

  44. [44]

    Dixmier,Von Neumann Algebras, North-Holland, Amsterdam, The Netherlands (1981)

    J. Dixmier,Von Neumann Algebras, North-Holland, Amsterdam, The Netherlands (1981)

    work page 1981

  45. [45]

    Ohya and D

    M. Ohya and D. Petz,Quantum Entropy and its Use, Theoretical and Mathematical Physics, Springer-Verlag, Berlin, Heidelberg, Germany (1993)

    work page 1993

  46. [46]

    Petz,Sufficient Subalgebras and the Relative Entropy of States of a von Neumann Algebra,Commun

    D. Petz,Sufficient Subalgebras and the Relative Entropy of States of a von Neumann Algebra,Commun. Math. Phys.105(1986) 123

    work page 1986

  47. [47]

    Takesaki,Theory of Operator Algebras II, vol

    M. Takesaki,Theory of Operator Algebras II, vol. 125 ofEncyclopaedia of Mathematical Sciences, Springer-Verlag, Berlin, Heidelberg, Germany (2003), 10.1007/978-3-662-10451-4

    work page doi:10.1007/978-3-662-10451-4 2003

  48. [48]

    Lp spaces associated with von Neumann algebras

    M. Terp, “Lp spaces associated with von Neumann algebras.” Report No. 3a + 3b, Københavns Universitets Matematiske Institut, June, 1981

    work page 1981

  49. [49]

    Lecture Notes on Noncommutative Lp-Spaces

    R. Correa Da Silva,Lecture Notes on NoncommutativeLp-Spaces,1803.02390

    work page internal anchor Pith review Pith/arXiv arXiv

  50. [50]

    Pedersen,C ∗-Algebras and Their Automorphism Groups, Pure and Applied Mathematics, Academic Press (2018), DOI

    G.K. Pedersen,C ∗-Algebras and Their Automorphism Groups, Pure and Applied Mathematics, Academic Press (2018), DOI

    work page 2018

  51. [51]

    Relative modular operator in semifinite von Neumann algebras and its use

    A. Łuczak, H. Podsędkowska and R. Wieczorek,Relative modular operator in semifinite von Neumann algebras and its use,Rev. Math. Phys.35(2021) 2250040 [1912.09633]

    work page internal anchor Pith review Pith/arXiv arXiv 2021

  52. [52]

    Umegaki,Conditional expectation in an operator algebra, IV (Entropy and information), Kodai Math

    H. Umegaki,Conditional expectation in an operator algebra, IV (Entropy and information), Kodai Math. Sem. Rep.14(1962) 59

    work page 1962

  53. [53]

    Haagerup,On the dual weights for crossed products of von Neumann algebras I: Removing separability conditions,Math

    U. Haagerup,On the dual weights for crossed products of von Neumann algebras I: Removing separability conditions,Math. Scand.43(1978) 99–118

    work page 1978

  54. [54]

    Context and the

    S. Goldstein and L. Labuschagne,Noncommutative Measures andLp and Orlicz Spaces, with Applications to Quantum Physics, Oxford University Press, Oxford, UK (2025), 10.1093/oso/9780198950202.001.0001

    work page doi:10.1093/oso/9780198950202.001.0001 2025

  55. [55]

    A reduction method for noncommutative $L_p$-spaces and applications

    U. Haagerup, M. Junge and Q. Xu,A reduction method for noncommutativeLp-spaces and applications,Trans. Amer. Math. Soc.362(2010) 2125 [0806.3635]

    work page internal anchor Pith review Pith/arXiv arXiv 2010

  56. [56]

    Kosaki,On the Continuity of the Mapϕ→|ϕ|from the Predual of aW∗-Algebra,J

    H. Kosaki,On the Continuity of the Mapϕ→|ϕ|from the Predual of aW∗-Algebra,J. Funct. Analysis59(1984) 123

    work page 1984

  57. [57]

    Diestel and J.J

    J. Diestel and J.J. Uhl, Jr.,Vector measures, vol. 15 ofMathematical Surveys, American Mathematical Society, Providence, Rhode Island, USA (1977)

    work page 1977

  58. [58]

    Schmüdgen,Unbounded Self-adjoint Operators on Hilbert Space, Springer Dordrecht, Dordrecht, The Netherlands (2012), 10.1007/978-94-007-4753-1

    K. Schmüdgen,Unbounded Self-adjoint Operators on Hilbert Space, Springer Dordrecht, Dordrecht, The Netherlands (2012), 10.1007/978-94-007-4753-1

    work page doi:10.1007/978-94-007-4753-1 2012

  59. [59]

    Koßmann, R

    G. Koßmann, R. Schwonnek, P.-C. Liu and H.-C. Cheng,Device-independent Quantum Key Distribution in the commuting operator framework,To appear. – 54 –

    work page