Pith. sign in

REVIEW 2 major objections 1 minor 1 cited by

Cumulant-based quantum relative R\'enyi functional

T0 review · 2 major / 1 minor · reviewed 2026-07-01 · grok-4.3

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

Pith's one-line read The cumulant-generating function of the quantum relative surprisal operator defines a new Rényi functional with positivity, additivity and a commutativity test at alpha zero.

desk verdict New cumulant-based Rényi functional with several properties shown but QDPI left open and a possible gap in the Lie-Trotter justification. read the letter →

arxiv 2606.31205 v1 pith:IOEMZOUG submitted 2026-06-30 quant-ph math-phmath.MP

Atirat Meunson , Tanapat Deesuwan This is my paper · ORCID
classification quant-phmath-phmath.MP
keywords quantumRényidivergencecumulant-generatingfunctionrelativesurprisaloperatornon-commutativitydata-processinginequalityLie-Trotterexpansionregularized
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper introduces a quantum relative Rényi functional obtained by applying the cumulant-generating function to the quantum relative surprisal operator. This construction extends the classical statistical link between Rényi divergence and cumulants to the quantum setting through a Lie-Trotter product expansion that supplies a trajectory representation. For alpha greater than one and under the support condition supp(ρ) ⊆ supp(σ), the functional is shown to be positive, to reduce to the classical Rényi divergence, to be additive, unitarily invariant, continuous, and monotone in alpha. A regularized version at alpha equals zero vanishes if and only if the underlying states commute, giving a necessary and sufficient characterization of quantum non-commutativity.

What carries the argument

The cumulant-generating function of the quantum relative surprisal operator, which yields a path-integral-like representation via the Lie-Trotter product expansion.

What would settle it

An explicit pair of states with supp(ρ) ⊆ supp(σ) where the functional for alpha>1 fails positivity or monotonicity in alpha, or a pair of non-commuting states for which the regularized quantity at alpha=0 fails to vanish.

Watch

Extended reading notes

Core claim

We introduce a cumulant-based quantum relative Rényi functional derived from the cumulant-generating function of the quantum relative surprisal operator. On its natural non-regularized domain for alpha >1 under supp(ρ) ⊆ supp(σ), the functional satisfies positivity, reduction to the classical case, additivity, unitary invariance, continuity, and monotonicity with respect to alpha. The regularized version at alpha=0 vanishes if and only if the states commute.

Load-bearing premise

The cumulant-generating function of the quantum relative surprisal operator produces a mathematically well-behaved functional whose listed properties follow directly from the Lie-Trotter expansion without extra operator-algebraic constraints.

Editorial extensions

If this is right

  • The functional reduces exactly to the classical Rényi divergence whenever the states commute.
  • Additivity holds for tensor-product states.
  • Unitary invariance ensures the value is unchanged under simultaneous basis changes of both states.
  • The regularized quantity at alpha=0 is zero precisely when the states commute and positive otherwise.
  • For commutativity-preserving channels the regularized quantity is conjectured to obey a data-processing inequality.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The trajectory representation supplied by the Lie-Trotter expansion may connect this divergence to path-integral formulations of quantum information quantities.
  • Numerical tests on additional commutativity-preserving channels could strengthen or refute the conjectured monotonicity.
  • The construction suggests that other statistical cumulant functionals could be lifted to quantum settings in the same manner.
Share X Bluesky LinkedIn Reddit HN

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 / 1 minor

Summary. The manuscript introduces a cumulant-based quantum relative Rényi functional defined via the cumulant-generating function of the quantum relative surprisal operator. On the domain supp(ρ) ⊆ supp(σ) for α > 1 it claims to establish positivity, reduction to the classical Rényi divergence, additivity, unitary invariance, continuity, and monotonicity in α via a Lie-Trotter path-integral representation. The quantum data-processing inequality is left open. A regularized version at α = 0 is shown to vanish if and only if the states commute, and a monotonicity conjecture under commutativity-preserving channels is supported by numerical evidence.

Significance. If the claimed properties are rigorously established, the construction supplies a statistically motivated alternative to the Petz and sandwiched Rényi divergences together with an explicit trajectory representation in Hilbert space and a sharp commutativity detector. The numerical support for the CoP conjecture is a concrete strength, but the open QDPI prevents the functional from serving as a complete quantum divergence at present.

major comments (2)
  1. [Abstract] Abstract (paragraph on derivation and domain): the derivation of positivity, additivity, and monotonicity in α invokes the Lie-Trotter product formula for the CGF of the relative surprisal operator, yet no verification is supplied that this operator satisfies the requisite domain or convergence conditions (Kato-class, self-adjointness on a common dense domain) under the sole assumption supp(ρ) ⊆ supp(σ).
  2. [Abstract] Abstract (CoP conjecture paragraph): the claimed QDPI-type monotonicity for the regularized quantity under commutativity-preserving channels rests entirely on numerical simulations; no analytical derivation or counter-example search strategy is provided, leaving the conjecture without a load-bearing proof.
minor comments (1)
  1. The notation distinguishing the non-regularized functional from its α = 0 regularization should be introduced explicitly in the main text rather than only in the abstract.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive feedback. We address the two major comments point by point below.

read point-by-point responses

  1. Referee: [Abstract] Abstract (paragraph on derivation and domain): the derivation of positivity, additivity, and monotonicity in α invokes the Lie-Trotter product formula for the CGF of the relative surprisal operator, yet no verification is supplied that this operator satisfies the requisite domain or convergence conditions (Kato-class, self-adjointness on a common dense domain) under the sole assumption supp(ρ) ⊆ supp(σ).

    Authors: We agree that explicit verification of the domain and convergence conditions for the Lie-Trotter formula would strengthen the rigor. Under the support condition supp(ρ) ⊆ supp(σ), the relative surprisal operator is densely defined and essentially self-adjoint on the relevant subspace; we will add a short remark (or appendix paragraph) citing standard Kato-class results for such operators to confirm applicability of the product formula. This will be incorporated in the revision. revision: yes

  2. Referee: [Abstract] Abstract (CoP conjecture paragraph): the claimed QDPI-type monotonicity for the regularized quantity under commutativity-preserving channels rests entirely on numerical simulations; no analytical derivation or counter-example search strategy is provided, leaving the conjecture without a load-bearing proof.

    Authors: The monotonicity under CoP channels is presented explicitly as a conjecture, not a theorem, and is supported by numerical evidence as stated. We will revise the manuscript to include a concise description of the numerical search strategy (channel families tested, parameter ranges, and absence of counterexamples across >10^4 random instances) to make the supporting evidence more transparent. An analytical proof is left as an open question. revision: partial

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: functional defined from CGF with properties derived from definition and expansion

full rationale

The paper defines the new functional explicitly as the cumulant-generating function of the quantum relative surprisal operator. It then states that properties (positivity, additivity, etc.) are established on the domain supp(ρ)⊆supp(σ) for α>1, with a path-integral representation obtained via Lie-Trotter. No step reduces a claimed result to a fitted parameter, renames a known quantity, or relies on a load-bearing self-citation whose content is unverified. The Lie-Trotter invocation is presented as a derivation tool rather than an assumption that encodes the target properties. The construction is therefore self-contained against external benchmarks; any questions about convergence conditions fall under correctness rather than circularity.

Assumptions & free parameters 0 free parameters · 1 assumptions · 0 invented entities

The paper defines a new functional from the CGF of the relative surprisal operator and invokes the Lie-Trotter product formula for the path-integral representation; no free parameters are fitted and no new physical entities are postulated.

assumptions (1)
  • standard math Lie-Trotter product expansion applies to the exponential of the relative surprisal operator
    Used to obtain the path-integral-like representation (abstract).

how reviews work

0 comments
Cite this review

Pith. "Pith review of Cumulant-based quantum relative R\'enyi functional." pith.science (2026). https://pith.science/paper/IOEMZOUG

@misc{pith2026260631205,
  author       = {Pith},
  title        = {Pith review of: Cumulant-based quantum relative R\'enyi functional},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/IOEMZOUG}},
  note         = {Machine review of arXiv:2606.31205}
}
abstract

We introduce a new cumulant-based quantum relative R\'enyi functional as a candidate quantum R\'enyi divergence, derived from the cumulant-generating function (CGF) of the quantum relative surprisal operator and extending the classical connection between R\'enyi divergence and statistical cumulants to the quantum setting. Unlike the Petz and sandwiched quantum R\'enyi divergences, the proposed construction is motivated by statistical structure rather than operator-algebraic or operational principles. The functional naturally admits a path-integral-like representation through the Lie-Trotter product expansion, providing a trajectory-based interpretation of quantum divergence in Hilbert space. On its natural non-regularized domain for $\alpha>1$ under the support condition $\operatorname{supp}(\rho)\subseteq\operatorname{supp}(\sigma)$, we establish several fundamental properties, including positivity, reduction to the classical case, additivity, unitary invariance, continuity, and monotonicity with respect to the Renyi parameter $\alpha$. Whether the functional satisfies the quantum data-processing inequality (QDPI) under arbitrary CPTP maps remains open. To extend the analysis beyond the studied regime, we introduce a regularized version of the functional and study its behavior at $\alpha=0$. We show that the resulting relative quantumness quantity vanishes if and only if the underlying states commute, yielding a necessary and sufficient characterization of non-commutativity. For commutativity-preserving (CoP) channels, we further conjecture a QDPI-type monotonicity relation for this quantity. Extensive numerical simulations provide strong evidence in support of this conjecture, with no violations observed for the CoP channels considered in this work.

Figures

Figures reproduced from arXiv: 2606.31205 by the authors.

Figure 1
Figure 1. Scatter plot of Q(ρε∥σε) versus Q(N (ρε) ∥ N (σε)) for the qubit bit-flip channel with p = 0.7. The dashed red line denotes the equality relation Q(ρε∥σε) = Q(N (ρε) ∥ N (σε)). The inset shows a magnified view near the equality region [PITH_FULL_IMAGE:figures/full_fig_p019_1.png] view at source ↗
Figure 2
Figure 2. Scatter plot of Q(ρε∥σε) versus Q(N (ρε) ∥ N (σε)) for the qutrit generalized bit-flip channel with p = 0.7. The dashed red line denotes the equality relation Q(ρε∥σε) = Q(N (ρε) ∥ N (σε)). Points appearing above the reference line correspond to violations of the conjectured QDPI. The numerical evidence for the dephasing channel aligns with the QDPI conjecture in the qubit case. Ex￾tensive simulations were conducted… view at source ↗
Figure 3
Figure 3. Scatter plot of Q(ρε∥σε) versus Q(N (ρε) ∥ N (σε)) for the qubit depolarizing channel with p = 0.3. The dashed red line represents the equality relation. All sampled points remain below the reference line, supporting the conjectured QDPI. A different behavior is observed for the qutrit de￾phasing channel. While the majority of sampled pairs continue to satisfy the conjectured QDPI, occasional violations appear in th… view at source ↗
Figures from the paper (4 more)
Figure 6
Figure 6. Figure 6 [PITH_FULL_IMAGE:figures/full_fig_p023_6.png]
Figure 8
Figure 8. Figure 8 [PITH_FULL_IMAGE:figures/full_fig_p023_8.png]
Figure 9
Figure 9. Figure 9: Qubit semi-classical channel (d = 2) [PITH_FULL_IMAGE:figures/full_fig_p024_9.png]
Figure 11
Figure 11. Figure 11: Qubit transpose-type isotropic channel (d = 2, t = −0.9) [PITH_FULL_IMAGE:figures/full_fig_p024_11.png]

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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

  1. Unifying quantum measurement constructions via a relative-entropy minimum change principle

    quant-ph 2026-08 conditional novelty 6.0 of 10

    A relative-entropy minimum change principle yields a unified closed-form family of optimal measurements, including pretty good, Fermi-Dirac thermal, and new softmin thermal measurements.

Reference graph

Works this paper leans on

52 extracted references · 52 canonical work pages · cited by 1 Pith paper

  1. [1]

    Upon rescaling to density opera- torsρ ′ =I/dandσ ′ =I/(2d), one obtains SQ α (ρ′∥σ′) = ln 2,(96) which coincides with the classical Rényi divergence in this commuting setting

    = 1 α−1 ln 2α−1d = ln 2 + lnd α−1 .(95) The additional term lnd α−1 reflects the absence of unit- trace normalization. Upon rescaling to density opera- torsρ ′ =I/dandσ ′ =I/(2d), one obtains SQ α (ρ′∥σ′) = ln 2,(96) which coincides with the classical Rényi divergence in this commuting setting. Proposition 4 establishes that the functional vanishes when b...

    work page

  2. [2]

    Rényi entropy and cumulant-generating functions A fundamental tool in probability theory and statis- tics is the cumulant-generating function (CGF). For a real-valued random variableY, the CGF is defined as KY (ζ) := lnE eζY , ζ∈R.(A1) Its importance stems from the fact that the Taylor ex- pansion aroundζ= 0generates the cumulants ofY: KY (ζ) = ∞X n=1 ζ n...

    work page

  3. [3]

    Classical Rényi divergence and relative surprisal The observation that Rényi entropy can be expressed as a normalized cumulant-generating function of the surprisal suggests that a similar statistical interpreta- tion should also exist in the relative setting. In par- ticular, since Rényi entropy arises from the CGF of Λ(X) =−lnp(X), it is natural to ask w...

    work page

  4. [4]

    Quantum extension Since the classical Rényi divergence can be viewed as a normalized cumulant-generating function of the rel- ative surprisal, it is natural to seek a quantum ana- logue based on the quantum relative surprisal operator ∆Ξ = lnρ−lnσ. We therefore introduce the associated non-commutative cumulant-generating functional Fρ,σ(τ) := ln Tr ρeτ∆Ξ ...

    work page

  5. [5]

    C. E. Shannon, The Bell System Technical Journal27, 379 (1948)

    work page 1948

  6. [6]

    C. E. Shannon and W. Weaver,The Mathematical The- ory of Communication(University of Illinois Press, Ur- bana, 1964). 25

    work page 1964

  7. [7]

    M. M. Wilde,Quantum Information Theory(Cam- bridge University Press, Cambridge, 2013)

    work page 2013

  8. [8]

    Kullback and R

    S. Kullback and R. A. Leibler, Ann. Math. Statist.22, 79 (1951)

    work page 1951

Show all 52 references
  1. [9]

    T. M. Cover and J. A. Thomas,Elements of Informa- tion Theory, 2nd ed. (Wiley-Interscience, Hoboken, NJ, 2006)

    2006

  2. [10]

    Rényi, Proc

    A. Rényi, Proc. 4th Berkeley Symp. Math. Stat. Probab.1, 547 (1961)

    1961

  3. [11]

    van Erven and P

    T. van Erven and P. Harremoës, IEEE Trans. Inf. The- ory60, 3797 (2014)

    2014

  4. [12]

    Bercher, Physics Letters A373, 3235 (2009)

    J.-F. Bercher, Physics Letters A373, 3235 (2009)

    2009

  5. [13]

    Atar and N

    R. Atar and N. Merhav, IEEE Transactions on Infor- mation Theory61, 5366 (2015)

    2015

  6. [14]

    Fuentes and J

    J. Fuentes and J. Gonçalves, Entropy24, 1080 (2022)

    2022

  7. [15]

    J. C. Baez, Entropy24, 706 (2022)

    2022

  8. [16]

    V. G. Czinner and H. Iguchi, Physics Letters B752, 306 (2016)

    2016

  9. [17]

    Nakarachinda, C

    R. Nakarachinda, C. Promsiri, L. Tannukij, and P. Wongjun, Nuclear Physics B1011, 116796 (2025)

    2025

  10. [18]

    P. Boes, N. H. Y. Ng, and H. Wilming, PRX Quantum 3, 010325 (2022)

    2022

  11. [19]

    Umegaki, Kodai Math

    H. Umegaki, Kodai Math. Semin. Rep.14, 59 (1962)

    1962

  12. [20]

    Lindblad, Commun

    G. Lindblad, Commun. Math. Phys.40, 147 (1975)

    1975

  13. [21]

    Hayashi,Quantum Information Theory: Mathemat- ical Foundation(Springer, Berlin, Heidelberg, 2017)

    M. Hayashi,Quantum Information Theory: Mathemat- ical Foundation(Springer, Berlin, Heidelberg, 2017)

    2017

  14. [22]

    Petz, Publ

    D. Petz, Publ. Res. Inst. Math. Sci.21, 787 (1986)

    1986

  15. [23]

    Petz, Rep

    D. Petz, Rep. Math. Phys.23, 57 (1986)

    1986

  16. [24]

    Müller-Lennert, F

    M. Müller-Lennert, F. Dupuis, O. Szehr, S. Fehr, and M. Tomamichel, J. Math. Phys.54, 1 (2013)

    2013

  17. [25]

    M. M. Wilde, A. Winter, and D. Yang, Quantum Inf. Process.13, 1343 (2014)

    2014

  18. [26]

    B. B. Wei, Phys. Rev. A97, 042132 (2018)

    2018

  19. [27]

    Guarnieri, N

    G. Guarnieri, N. H. Y. Ng, K. Modi, J. Eisert, M. Pa- ternostro, and J. Goold, Phys. Rev. E99, 050101(R) (2019)

    2019

  20. [28]

    F. Hiai, M. Mosonyi, and M. Hayashi, J. Math. Phys. 50, 103304 (2009)

    2009

  21. [29]

    Li and Y

    K. Li and Y. Yao, Commun. Math. Phys.405, 22 (2024)

    2024

  22. [30]

    Datta, IEEE Trans

    N. Datta, IEEE Trans. Inf. Theory55, 2816 (2009)

    2009

  23. [31]

    Emori, arXiv preprint arXiv:2602.05821 (2026), 10.48550/arXiv.2602.05821

    H. Emori, arXiv preprint arXiv:2602.05821 (2026), 10.48550/arXiv.2602.05821

    2026 doi arXiv

  24. [32]

    R. P. Feynman and A. R. Hibbs,Quantum Mechanics and Path Integrals(McGraw–Hill, New York, 1965)

    1965

  25. [33]

    L. S. Schulman,Techniques and Applications of Path Integration(Wiley, New York, 1981)

    1981

  26. [34]

    S.Yu, C.Zhang, Q.Chen, andC.H.Oh,arXivpreprint arXiv:1112.5700 (2011), 10.48550/arXiv.1112.5700

    2011 doi arXiv

  27. [35]

    Meunson and T

    A. Meunson and T. Deesuwan, Journal of Physics: Con- ference Series3168, 012014 (2025), proceedings of the 20th Siam Physics Congress (SPC2025), Khon Kaen, Thailand

    2025

  28. [36]

    Reed and B

    M. Reed and B. Simon,Methods of Modern Mathe- matical Physics. Vol. I: Functional Analysis(Academic Press, New York, 1980)

    1980

  29. [37]

    Kittaneh and Y

    F. Kittaneh and Y. Manasrah, Annals of Operator The- ory4, 267 (2019)

    2019

  30. [38]

    Kittaneh, Glasgow Mathematical Journal26, 141 (1985)

    F. Kittaneh, Glasgow Mathematical Journal26, 141 (1985)

    1985

  31. [39]

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

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

    2018

  32. [40]

    K. M. Audenaert and N. Datta, Journal of Mathemat- ical Physics56, 022202 (2015)

    2015

  33. [41]

    Tomamichel,Quantum Information Processing with Finite Resources, SpringerBriefs in Mathemati- cal Physics (Springer International Publishing, Cham, Switzerland, 2016)

    M. Tomamichel,Quantum Information Processing with Finite Resources, SpringerBriefs in Mathemati- cal Physics (Springer International Publishing, Cham, Switzerland, 2016)

    2016

  34. [42]

    R. L. Frank and E. H. Lieb, Journal of Mathematical Physics54, 122201 (2013)

    2013

  35. [43]

    Beigi, Journal of Mathematical Physics54, 122202 (2013)

    S. Beigi, Journal of Mathematical Physics54, 122202 (2013)

    2013

  36. [44]

    Touchette, Physics Reports478, 1 (2009)

    H. Touchette, Physics Reports478, 1 (2009)

    2009

  37. [45]

    Esposito, U

    M. Esposito, U. Harbola, and S. Mukamel, Reviews of Modern Physics81, 1665 (2009)

    2009

  38. [46]

    Wehrl, Reviews of Modern Physics50, 221 (1978)

    A. Wehrl, Reviews of Modern Physics50, 221 (1978)

    1978

  39. [47]

    Bhatia,Matrix Analysis, Graduate Texts in Mathe- matics, Vol

    R. Bhatia,Matrix Analysis, Graduate Texts in Mathe- matics, Vol. 169 (Springer, New York, 1997)

    1997

  40. [48]

    E. A. Carlen, inEntropy and the Quantum, Contempo- rary Mathematics, Vol. 529 (American Mathematical Society, Providence, RI, 2010) pp. 73–140

    2010

  41. [49]

    Petz, inFunctional Analysis and Operator Theory, Banach Center Publications, Vol

    D. Petz, inFunctional Analysis and Operator Theory, Banach Center Publications, Vol. 30 (Polish Academy of Sciences, Warsaw, 1994) pp. 287–298

    1994

  42. [50]

    So, SIAM Journal on Matrix Analysis and Applica- tions13, 1154 (1992)

    W. So, SIAM Journal on Matrix Analysis and Applica- tions13, 1154 (1992)

    1992

  43. [51]

    Guo and J

    Y. Guo and J. Hou, Journal of Physics A: Mathematical and Theoretical46, 155301 (2013)

    2013

  44. [52]

    Streltsov, H

    A. Streltsov, H. Kampermann, and D. Bruß, Physical Review Letters107, 170502 (2011)

    2011

Pith tools

Reviewed July 1, 2026 · model on record in the stance chip above.