pith. sign in

arxiv: 2605.15272 · v1 · pith:2IQ67SCMnew · submitted 2026-05-14 · ✦ hep-th · math-ph· math.MP· math.OA· quant-ph

A general proof of integer R\'enyi QNEC

Tanay Kibe , Pratik Roy This is my paper

Pith reviewed 2026-05-19 15:45 UTC · model grok-4.3

classification ✦ hep-th math-phmath.MPmath.OAquant-ph
keywords Rényi QNECsandwiched Rényi divergencehalf-sided modular inclusionvon Neumann algebraKosaki normsnull energy conditionlog-convexity
2
0 comments X p. Extension
pith:2IQ67SCM Add to your LaTeX paper What is a Pith Number? 
\usepackage{pith}
\pithnumber{2IQ67SCM}

Prints a linked pith:2IQ67SCM badge after your title and writes the identifier into PDF metadata. Compiles on arXiv with no extra files. Learn more

The pith

The sandwiched Rényi divergence obeys a null energy condition for every integer order two and higher in algebras equipped with half-sided modular inclusions.

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

The paper proves that the second null shape variation of the sandwiched Rényi divergence between an excited state and the vacuum is non-negative for every integer Rényi parameter n at least 2. The setting is any sigma-finite von Neumann algebra that carries a half-sided modular inclusion generating a null-translation semigroup, with the only state assumption being that the divergence itself is finite. A reader would care because the result supplies a one-parameter family of energy conditions that reduce to the ordinary quantum null energy condition and connect information measures directly to null energy flux. The proof proceeds by establishing log-convexity of the associated Kosaki L^n norms along the semigroup.

Core claim

For any sigma-finite von Neumann algebra carrying a half-sided modular inclusion, the Kosaki L^n norm of any normal positive functional with finite L^n norm is log-convex under the null-translation semigroup generated by the inclusion. This log-convexity directly implies that the second null shape variation of the sandwiched Rényi divergence of an excited state relative to the vacuum is non-negative for every integer n greater than or equal to two, provided only that the divergence is finite.

What carries the argument

Log-convexity of the Kosaki L^n norm under the null-translation semigroup generated by a half-sided modular inclusion.

If this is right

  • The Rényi quantum null energy condition holds for all integer Rényi parameters n at least 2.
  • The result applies to any excited state whose sandwiched Rényi divergence relative to the vacuum is finite.
  • The proof covers a broad class of von Neumann algebras beyond those previously treated.
  • The ordinary quantum null energy condition is recovered in the limit as n approaches 1.

Where Pith is reading between the lines

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

  • The log-convexity technique may extend to non-integer Rényi parameters via suitable interpolation.
  • The result provides a template for other inequalities derived from modular semigroup actions in algebraic quantum field theory.
  • Concrete models on null surfaces can be checked for saturation of the integer Rényi bounds.

Load-bearing premise

The von Neumann algebra must possess a half-sided modular inclusion that generates the null-translation semigroup.

What would settle it

An explicit sigma-finite von Neumann algebra with a half-sided modular inclusion together with a normal positive functional of finite L^n norm whose Kosaki L^n norm fails to be log-convex along the semigroup action.

read the original abstract

The R\'enyi quantum null energy condition conjectures that the second null shape variation of the sandwiched R\'enyi divergence (SRD) of an excited state relative to the vacuum is non-negative in local Poincar\'e-invariant quantum field theory, giving a one-parameter generalization of the quantum null energy condition (QNEC). We prove R\'enyi QNEC for all integer R\'enyi parameters $n\geq 2$ for von Neumann algebras carrying a half-sided modular inclusion structure. The only assumption on the excited state is finiteness of its SRD relative to the vacuum. Concretely, for any $\sigma$-finite von Neumann algebra with such an inclusion, we prove log-convexity, under the associated null-translation semigroup, of the Kosaki $L^n$ norm of any normal positive functional with finite $L^n$ norm.

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

0 major / 2 minor

Summary. The manuscript proves the Rényi quantum null energy condition (QNEC) for all integer Rényi parameters n ≥ 2 in σ-finite von Neumann algebras equipped with a half-sided modular inclusion. The central technical step is a proof that the Kosaki L^n norm of any normal positive functional with finite L^n norm is log-convex under the null-translation semigroup generated by the inclusion; this log-convexity is shown to imply the desired Rényi QNEC inequality. The sole assumption on the excited state is finiteness of its sandwiched Rényi divergence relative to the vacuum.

Significance. If correct, the result supplies a rigorous, parameter-free algebraic proof of a one-parameter family of QNEC inequalities that reduces to the standard QNEC at n=2. The explicit finiteness assumption on the SRD and the reliance on standard properties of modular inclusions and semigroup actions are strengths; the work therefore provides a clean, falsifiable statement that can be checked in concrete models possessing half-sided modular inclusions.

minor comments (2)
  1. The transition from log-convexity of the Kosaki norm to the second null shape variation of the SRD (the actual Rényi QNEC statement) is only sketched in the abstract; a short dedicated paragraph or lemma in the main text would make the implication fully explicit for readers.
  2. Notation for the null-translation semigroup and the associated modular operator could be introduced once in a preliminary section and then used consistently, rather than re-defined inline in the proof.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript and for the positive assessment that leads to a recommendation of acceptance. The referee's summary accurately reflects the scope of the result: a proof of the integer Rényi QNEC for n ≥ 2 in σ-finite von Neumann algebras with half-sided modular inclusions, relying only on finiteness of the sandwiched Rényi divergence to the vacuum and on the log-convexity of the relevant Kosaki L^n norms under the null-translation semigroup.

Circularity Check

0 steps flagged

No significant circularity; derivation is a self-contained mathematical proof

full rationale

The paper establishes log-convexity of the Kosaki L^n norm for normal positive functionals with finite norm, under the null-translation semigroup generated by a half-sided modular inclusion in a σ-finite von Neumann algebra. This log-convexity is proven from standard properties of modular operators, semigroups, and functional analysis (e.g., properties of the modular inclusion and associated actions), then used to imply the Rényi QNEC inequality for integer n ≥ 2 given only finiteness of the sandwiched Rényi divergence. No step reduces by construction to a fitted input, self-definition, or load-bearing self-citation chain; the central claim rests on independent mathematical structure rather than renaming or smuggling prior results from the same authors. The derivation chain is therefore self-contained against external benchmarks in operator algebra theory.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the existence of a half-sided modular inclusion generating a null-translation semigroup and on standard facts about Kosaki norms and sandwiched Rényi divergence in σ-finite von Neumann algebras; no free parameters or new entities are introduced.

axioms (2)
  • domain assumption Half-sided modular inclusion structure on a σ-finite von Neumann algebra generates a null-translation semigroup
    Invoked to define the flow under which log-convexity is proved (abstract, 'Concretely' sentence).
  • standard math Standard properties of Kosaki L^n norms and sandwiched Rényi divergence hold for normal positive functionals
    Background operator-algebra facts used to translate the QNEC statement into a norm-convexity statement.

pith-pipeline@v0.9.0 · 5683 in / 1462 out tokens · 60006 ms · 2026-05-19T15:45:35.863442+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

63 extracted references · 63 canonical work pages · 18 internal anchors

  1. [1]

    A Quantum Focussing Conjecture

    R. Bousso, Z. Fisher, S. Leichenauer and A.C. Wall,Quantum focusing conjecture,Phys. Rev. D93(2016) 064044 [1506.02669]

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  2. [2]

    Proof of the Quantum Null Energy Condition

    R. Bousso, Z. Fisher, J. Koeller, S. Leichenauer and A.C. Wall,Proof of the Quantum Null Energy Condition,Phys. Rev. D93(2016) 024017 [1509.02542]

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  3. [3]

    Malik and R

    T.A. Malik and R. Lopez-Mobilia,Proof of the quantum null energy condition for free fermionic field theories,Phys. Rev. D101(2020) 066028 [1910.07594]

    work page arXiv 2020

  4. [4]

    Holographic Proof of the Quantum Null Energy Condition

    J. Koeller and S. Leichenauer,Holographic Proof of the Quantum Null Energy Condition, Phys. Rev. D94(2016) 024026 [1512.06109]

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  5. [5]

    Balakrishnan, T

    S. Balakrishnan, T. Faulkner, Z.U. Khandker and H. Wang,A General Proof of the Quantum Null Energy Condition,JHEP09(2019) 020 [1706.09432]

    work page arXiv 2019

  6. [6]

    Recovering the QNEC from the ANEC

    F. Ceyhan and T. Faulkner,Recovering the QNEC from the ANEC,Commun. Math. Phys. 377(2020) 999 [1812.04683]

    work page internal anchor Pith review Pith/arXiv arXiv 2020

  7. [7]

    Hollands and R

    S. Hollands and R. Longo,A New Proof of the QNEC,Commun. Math. Phys.406(2025) 269 [2503.04651]

    work page arXiv 2025

  8. [8]

    A Lower Bound on the Energy Density in Classical and Quantum Field Theories

    A.C. Wall,Lower Bound on the Energy Density in Classical and Quantum Field Theories, Phys. Rev. Lett.118(2017) 151601 [1701.03196]

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  9. [9]

    Klinkhammer,Averaged energy conditions for free scalar fields in flat space-times,Phys

    G. Klinkhammer,Averaged energy conditions for free scalar fields in flat space-times,Phys. Rev. D43(1991) 2542

    work page 1991

  10. [10]

    A holographic proof of the averaged null energy condition

    W.R. Kelly and A.C. Wall,Holographic proof of the averaged null energy condition,Phys. Rev. D90(2014) 106003 [1408.3566]

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  11. [11]

    Modular Hamiltonians for Deformed Half-Spaces and the Averaged Null Energy Condition

    T. Faulkner, R.G. Leigh, O. Parrikar and H. Wang,Modular Hamiltonians for Deformed Half-Spaces and the Averaged Null Energy Condition,JHEP09(2016) 038 [1605.08072]

    work page internal anchor Pith review Pith/arXiv arXiv 2016

  12. [12]

    Averaged Null Energy Condition from Causality

    T. Hartman, S. Kundu and A. Tajdini,Averaged Null Energy Condition from Causality, JHEP07(2017) 066 [1610.05308]

    work page internal anchor Pith review Pith/arXiv arXiv 2017

  13. [13]

    Kravchuk and D

    P. Kravchuk and D. Simmons-Duffin,Light-ray operators in conformal field theory,JHEP11 (2018) 102 [1805.00098]

    work page arXiv 2018

  14. [14]

    Borchers,The CPT theorem in two-dimensional theories of local observables,Commun

    H.J. Borchers,The CPT theorem in two-dimensional theories of local observables,Commun. Math. Phys.143(1992) 315

    work page 1992

  15. [15]

    Wiesbrock,Half sided modular inclusions of von Neumann algebras,Commun

    H.W. Wiesbrock,Half sided modular inclusions of von Neumann algebras,Commun. Math. Phys.157(1993) 83

    work page 1993

  16. [16]

    Borchers,On the use of modular groups in quantum field theory,Ann

    H.J. Borchers,On the use of modular groups in quantum field theory,Ann. Inst. H. Poincare Phys. Theor.63(1995) 331. – 49 –

    work page 1995

  17. [17]

    Borchers,Half-sided modular inclusion and the construction of the poincaré group, Communications in Mathematical Physics179(1996) 703

    H.-J. Borchers,Half-sided modular inclusion and the construction of the poincaré group, Communications in Mathematical Physics179(1996) 703

    work page 1996

  18. [18]

    Extension of the structure theorem of Borchers and its application to half-sided modular inclusions

    H. Araki and L. Zsido,Extension of the structure theorem of Borchers and its application to half-sided modular inclusions,Rev. Math. Phys.17(2005) 491 [math/0412061]

    work page internal anchor Pith review Pith/arXiv arXiv 2005

  19. [19]

    T. Kibe, A. Mukhopadhyay and P. Roy,Quantum Thermodynamics of Holographic Quenches and Bounds on the Growth of Entanglement from the Quantum Null Energy Condition, Phys. Rev. Lett.128(2022) 191602 [2109.09914]

    work page arXiv 2022

  20. [20]

    Banerjee, T

    A. Banerjee, T. Kibe, N. Mittal, A. Mukhopadhyay and P. Roy,Erasure Tolerant Quantum Memory and the Quantum Null Energy Condition in Holographic Systems,Phys. Rev. Lett. 129(2022) 191601 [2202.00022]

    work page arXiv 2022

  21. [21]

    T. Kibe, A. Mukhopadhyay and P. Roy,Generalized Clausius inequalities and entanglement production in holographic two-dimensional CFTs,JHEP04(2025) 096 [2412.13256]

    work page arXiv 2025

  22. [22]

    Kibe and P

    T. Kibe and P. Roy,Quantum null energy condition in quenched 2D CFTs,Phys. Rev. D 111(2025) 126009 [2503.17448]

    work page arXiv 2025

  23. [23]

    Mezei and J

    M. Mezei and J. Virrueta,The Quantum Null Energy Condition and Entanglement Entropy in Quenches,1909.00919

    work page arXiv 1909

  24. [24]

    Casini, I

    H. Casini, I. Salazar Landea and G. Torroba,Irreversibility, QNEC, and defects,JHEP07 (2023) 004 [2303.16935]

    work page arXiv 2023

  25. [25]

    On quantum Renyi entropies: a new generalization and some properties

    M. Müller-Lennert, F. Dupuis, O. Szehr, S. Fehr and M. Tomamichel,On quantum Rényi entropies: A new generalization and some properties,J. Math. Phys.54(2013) 122203 [1306.3142]

    work page internal anchor Pith review Pith/arXiv arXiv 2013

  26. [26]

    Strong converse for the classical capacity of entanglement-breaking and Hadamard channels via a sandwiched Renyi relative entropy

    M.M. Wilde, A. Winter and D. Yang,Strong Converse for the Classical Capacity of Entanglement-Breaking and Hadamard Channels via a Sandwiched Renyi Relative Entropy, Commun. Math. Phys.331(2014) 593 [1306.1586]

    work page internal anchor Pith review Pith/arXiv arXiv 2014

  27. [27]

    R\'enyi divergences as weighted non-commutative vector valued $L_p$-spaces

    M. Berta, V.B. Scholz and M. Tomamichel,Rényi Divergences as Weighted Non-commutative Vector-ValuedL p -Spaces,Annales Henri Poincare19(2018) 1843 [1608.05317]

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  28. [28]

    Jencova,Rényi relative entropies and noncommutativeLp-spaces,Annales Henri Poincare 19(2018) 2513 [1609.08462]

    A. Jencova,Rényi relative entropies and noncommutativeLp-spaces,Annales Henri Poincare 19(2018) 2513 [1609.08462]

    work page arXiv 2018

  29. [29]

    Jenčová,Rényi relative entropies and noncommutativeLp-spaces II,Annales Henri Poincare22(2021) 3235 [1707.00047]

    A. Jenčová,Rényi relative entropies and noncommutativeLp-spaces II,Annales Henri Poincare22(2021) 3235 [1707.00047]

    work page arXiv 2021

  30. [30]

    Lashkari,Constraining Quantum Fields using Modular Theory,JHEP01(2019) 059 [1810.09306]

    N. Lashkari,Constraining Quantum Fields using Modular Theory,JHEP01(2019) 059 [1810.09306]

    work page arXiv 2019

  31. [31]

    Moosa, P

    M. Moosa, P. Rath and V.P. Su,A Rényi quantum null energy condition: proof for free field theories,JHEP01(2021) 064 [2007.15025]

    work page arXiv 2021

  32. [32]

    Roy,Proof of the Rényi quantum null energy condition for free fermions,Phys

    P. Roy,Proof of the Rényi quantum null energy condition for free fermions,Phys. Rev. D 108(2023) 045010 [2212.02331]

    work page arXiv 2023

  33. [33]

    Kato and Y

    S. Kato and Y. Ueda,A remark on non-commutativeLp-spaces,Studia Mathematica275 (2023) 235 [2307.01790]

    work page arXiv 2023

  34. [34]

    Terp,L p spaces associated with von Neumann algebras, Math

    M. Terp,L p spaces associated with von Neumann algebras, Math. Inst. Copenhagen University (1981)

    work page 1981

  35. [35]

    Hiai,Quantumf-Divergences in von Neumann Algebras, Springer Singapore (2021)

    F. Hiai,Quantumf-Divergences in von Neumann Algebras, Springer Singapore (2021). – 50 –

    work page 2021

  36. [36]

    Hiai,Lectures on Selected Topics in von Neumann Algebras, EMS Press (2021), 10.4171/elm/32

    F. Hiai,Lectures on Selected Topics in von Neumann Algebras, EMS Press (2021), 10.4171/elm/32

    work page doi:10.4171/elm/32 2021

  37. [37]

    Kosaki,Applications of the complex interpolation method to a von neumann algebra: Non-commutative lp-spaces,Journal of Functional Analysis56(1984) 29

    H. Kosaki,Applications of the complex interpolation method to a von neumann algebra: Non-commutative lp-spaces,Journal of Functional Analysis56(1984) 29

    work page 1984

  38. [38]

    Noncommutative Burkholder/Rosenthal inequalities II: applications

    M. Junge and Q. Xu,Noncommutative Burkholder/Rosenthal inequalities II: applications, arXiv e-prints(2007) arXiv:0705.1952 [0705.1952]

    work page internal anchor Pith review Pith/arXiv arXiv 2007

  39. [39]

    Bratteli and D.W

    O. Bratteli and D.W. Robinson,Operator Algebras and Quantum Statistical Mechanics. 1. C* and W* Algebras, Symmetry Groups, Decomposition of States, Springer Berlin, Heidelberg (1979)

    work page 1979

  40. [40]

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

    H. Araki,Relative Entropy of States of Von Neumann Algebras,Publ. Res. Inst. Math. Sci. Kyoto1976(1976) 809

    work page 1976

  41. [41]

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

    H. Araki,Relative Entropy for States of von Neumann Algebras II,Publ. Res. Inst. Math. Sci. Kyoto13(1977) 173

    work page 1977

  42. [42]

    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,Transactions of the American Mathematical Society362(2008) 2125 [0806.3635]

    work page internal anchor Pith review Pith/arXiv arXiv 2008

  43. [43]

    Casini, E

    H. Casini, E. Teste and G. Torroba,Modular Hamiltonians on the null plane and the Markov property of the vacuum state,J. Phys. A50(2017) 364001 [1703.10656]

    work page arXiv 2017

  44. [44]

    Pisier and Q

    G. Pisier and Q. Xu,Non-commutative lp-spaces, inHandbook of the Geometry of Banach Spaces, 2003, DOI

    work page 2003

  45. [45]

    Phillips,The adjoint semigroup,Pacific Journal of Mathematics5(1955) 269

    R.S. Phillips,The adjoint semigroup,Pacific Journal of Mathematics5(1955) 269

    work page 1955

  46. [46]

    Engel and R

    K.-J. Engel and R. Nagel,One-parameter semigroups for linear evolution equations, vol. 194 ofGraduate Texts in Mathematics, Springer-Verlag, New York (2000)

    work page 2000

  47. [47]

    Arendt, C.J.K

    W. Arendt, C.J.K. Batty, M. Hieber and F. Neubrander,Vector-valued Laplace Transforms and Cauchy Problems, vol. 96 ofMonographs in Mathematics, Birkhäuser, Basel, 2nd ed. (2011)

    work page 2011

  48. [48]

    Entanglement Entropy and Quantum Field Theory

    P. Calabrese and J.L. Cardy,Entanglement entropy and quantum field theory,J. Stat. Mech. 0406(2004) P06002 [hep-th/0405152]

    work page internal anchor Pith review Pith/arXiv arXiv 2004

  49. [49]

    Haagerup,The standard form of von neumann algebras,Mathematica Scandinavica37 (1975) 271

    U. Haagerup,The standard form of von neumann algebras,Mathematica Scandinavica37 (1975) 271

    work page 1975

  50. [50]

    Olkiewicz and B

    R. Olkiewicz and B. Zegarlinski,Hypercontractivity in noncommutativeLp spaces,Journal of Functional Analysis161(1999) 246

    work page 1999

  51. [51]

    Junge and Q

    M. Junge and Q. Zeng,Noncommutative martingale deviation and Poincaré type inequalities with applications,Probability Theory and Related Fields161(2015) 449

    work page 2015

  52. [52]

    Carlen and J

    E.A. Carlen and J. Maas,Gradient flow and entropy inequalities for quantum Markov semigroups with detailed balance,Journal of Functional Analysis273(2017) 1810

    work page 2017

  53. [53]

    Spohn,Entropy production for quantum dynamical semigroups,J

    H. Spohn,Entropy production for quantum dynamical semigroups,J. Math. Phys.19(1978) 1227

    work page 1978

  54. [54]

    Wirth,Exponential Relative Entropy Decay Along Quantum Markov Semigroups, 2505.07549

    M. Wirth,Exponential Relative Entropy Decay Along Quantum Markov Semigroups, 2505.07549. – 51 –

    work page arXiv

  55. [55]

    Optimized quantum f-divergences and data processing

    M.M. Wilde,Optimized quantum f-divergences and data processing,J. Phys. A51(2018) 374002 [1710.10252]

    work page internal anchor Pith review Pith/arXiv arXiv 2018

  56. [56]

    alpha-z-relative Renyi entropies

    K.M.R. Audenaert and N. Datta,alpha-z-relative Renyi entropies,J. Math. Phys.56(2015) 022202 [1310.7178]

    work page internal anchor Pith review Pith/arXiv arXiv 2015

  57. [57]

    Kato,Onα-z-Rényi divergence in the von Neumann algebra setting,J

    S. Kato,Onα-z-Rényi divergence in the von Neumann algebra setting,J. Math. Phys.65 (2024) 042202 [2311.01748]

    work page arXiv 2024

  58. [58]

    Hiai and A

    F. Hiai and A. Jenčová,α-z-Rényi Divergences in von Neumann Algebras: Data Processing Inequality, Reversibility, and Monotonicity Properties inα, z,Commun. Math. Phys.405 (2024) 271 [2404.07617]

    work page arXiv 2024

  59. [59]

    Chandrasekaran and É.É

    V. Chandrasekaran and É.É. Flanagan,Subregion algebras in classical and quantum gravity, 2601.07915

    work page arXiv

  60. [60]

    Chandrasekaran, G

    V. Chandrasekaran, G. Penington and E. Witten,Large N algebras and generalized entropy, JHEP04(2023) 009 [2209.10454]

    work page arXiv 2023

  61. [61]

    Hille and R

    E. Hille and R. Phillips,Functional Analysis and Semi-groups, American Mathematical Society: Colloquium publications, AMS (1981)

    work page 1981

  62. [62]

    Fack and H

    T. Fack and H. Kosaki,Generalized s-numbers ofτ-measurable operators,Pacific Journal of Mathematics123(1986) 269

    work page 1986

  63. [63]

    Doob's inequality for non-commutative martingales

    M. Junge,Doob’s inequality for non-commutative martingales,J. Reine Angew. Math.(2002) 149 [math/0206062]. – 52 –

    work page internal anchor Pith review Pith/arXiv arXiv 2002