Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2606.31205

Cumulant-based quantum relative Rényi functional

Atirat Meunson, Tanapat Deesuwan

quant-phmath-phSubmitted Jun 30, 2026• Announced Jul 1, 2026• 0 citations
arXivHTMLPDF

Abstract

We introduce a new cumulant-based quantum relative Rényi functional as a candidate quantum Rényi divergence, derived from the cumulant-generating function (CGF) of the quantum relative surprisal operator and extending the classical connection between Rényi divergence and statistical cumulants to the quantum setting. Unlike the Petz and sandwiched quantum Rényi 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 $α>1$ under the support condition $\operatorname{supp}(ρ)\subseteq\operatorname{supp}(σ)$, we establish several fundamental properties, including positivity, reduction to the classical case, additivity, unitary invariance, continuity, and monotonicity with respect to the Renyi parameter $α$. 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 $α=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.

Comments
25 pages, 10 figures, 2 appendices

Related papers

A Preliminary Study on Some Properties of the Cumulant-Based Quantum Relative Rényi Functional

Atirat Meunson, Tanapat Deesuwan

Abstract In quantum information theory, the quantum relative Rényi functional is a generalisation of quantum relative entropy that quantifies the difference between two quantum states. We study a new type of quantum relative Rényi functional, motivated by the concepts of the cumulant-generating function and quantum surprisal difference, and propose an information-theoretic interpretation of the Rényi parameter. In addition, we demonstrate that this functional can be naturally expressed in a path-integral-like formulation, providing a distinct perspective compared to existing approaches. To support the viability of our proposal, we conduct a preliminary numerical study of its key properties for qubits and qutrits. These properties include the monotonicity in the Rényi parameter (α) and the quantum data-processing inequality (QDPI).

Journal of Physics Conference Series•Dec 1, 2025•0 citations

Different quantum f-divergences and the reversibility of quantum operations

Fumio Hiai, Milán Mosonyi

The concept of classical [Formula: see text]-divergences gives a unified framework to construct and study measures of dissimilarity of probability distributions; special cases include the relative entropy and the Rényi divergences. Various quantum versions of this concept, and more narrowly, the concept of Rényi divergences, have been introduced in the literature with applications in quantum information theory; most notably Petz’ quasi-entropies (standard [Formula: see text]-divergences), Matsumoto’s maximal [Formula: see text]-divergences, measured [Formula: see text]-divergences, and sandwiched and [Formula: see text]-[Formula: see text]-Rényi divergences. In this paper, we give a systematic overview of the various concepts of quantum [Formula: see text]-divergences, with a main focus on their monotonicity under quantum operations, and the implications of the preservation of a quantum [Formula: see text]-divergence by a quantum operation. In particular, we compare the standard and the maximal [Formula: see text]-divergences regarding their ability to detect the reversibility of quantum operations. We also show that these two quantum [Formula: see text]-divergences are strictly different for non-commuting operators unless [Formula: see text] is a polynomial, and obtain some analogous partial results for the relation between the measured and the standard [Formula: see text]-divergences. We also study the monotonicity of the [Formula: see text]-[Formula: see text]-Rényi divergences under the special class of bistochastic maps that leave one of the arguments of the Rényi divergence invariant, and determine domains of the parameters [Formula: see text] where monotonicity holds, and where the preservation of the [Formula: see text]-[Formula: see text]-Rényi divergence implies the reversibility of the quantum operation.

arXiv:1604.03089•Reviews in Mathematical Physics•Jul 16, 2017•100 citations

Regularized barycentric Rényi divergences

Milán Mosonyi

Barycentric Rényi divergences were introduced in [Mosonyi, Bunth, Vrana, Linear Algebra and its Applications, 2024] as an alternative to standard Kubo-Ando constructions to define multivariate quantum Rényi divergences. They are defined via a variational expression and depend on a finite collection of quantum relative entropies $D^{q_x}$. When all the relative entropies are monotone under CPTP maps then so are the corresponding barycentric Rényi divergences, and when all the relative entropies are additive then the corresponding barycentric Rényi divergences are subadditive under tensor product. Additivity has only been established before for the case where all $D^{q_x}$ are chosen to be the Umegaki relative entropy, which is also the only case where the barycentric Rényi divergence (called the minimal one) was known to admit an explicit expression. Here we settle the problem of additivity by showing that for any choice of monotone quantum relative entropies, the regularized barycentric Rényi divergence coincides with the minimal barycentric Rényi divergence on invertible inputs. This in turn implies that if at least two of the $D^{q_x}$ are strictly larger than the Umegaki relative entropy (in a precise sense), then the resulting barycentric Rényi divergence is not even weakly additive.

quant-pharXiv:2609.17517•Sep 16, 2026•0 citations

Quantum Relative-alpha-Entropies: A Structural and Geometric Perspective

Sayantan Roy, Atin Gayen, Aditi Kar Gangopadhyay +1 more

Most quantum divergences derive their structure from classical f-divergences or Renyi-type constructions, a dependence that obscures several quantum geometric effects. We introduce a quantum relative-alpha-entropy that extends Umegaki's relative entropy while falling outside the f-divergence class. The proposed divergence exhibits a nonlinear convexity property, which yields a generalized convexity result for the Petz-Renyi divergence for alpha greater than one, complementing the known convexity for alpha less than one. It is additive under tensor products, invariant under unitary transformations, and depends only on the relative geometry of quantum states rather than their absolute magnitudes. Using Nussbaum-Szkola-type distributions, we also establish an exact correspondence of this divergence with classical relative-alpha-entropy. This reveals relative-alpha-entropy as a fundamentally geometric notion of quantum distinguishability not captured by existing divergence frameworks.

quant-pharXiv:2604.06908•Apr 9, 2026•0 citations

Different quantum f -divergences and the reversibility of quantum operations

Hiai, F., Milán Mosonyi

The concept of classical $f$-divergences gives a unified framework to construct and study measures of dissimilarity of probability distributions; special cases include the relative entropy and the R\'enyi divergences. Various quantum versions of this concept, and more narrowly, the concept of R\'enyi divergences, have been introduced in the literature with applications in quantum information theory; most notably Petz' quasi-entropies (standard $f$-divergences), Matsumoto's maximal $f$-divergences, measured $f$-divergences, and sandwiched and $\alpha$-$z$-R\'enyi divergences. In this paper we give a systematic overview of the various concepts of quantum $f$-divergences with a main focus on their monotonicity under quantum operations, and the implications of the preservation of a quantum $f$-divergence by a quantum operation. In particular, we compare the standard and the maximal $f$-divergences regarding their ability to detect the reversibility of quantum operations. We also show that these two quantum $f$-divergences are strictly different for non-commuting operators unless $f$ is a polynomial, and obtain some analogous partial results for the relation between the measured and the standard $f$-divergences. We also study the monotonicity of the $\alpha$-$z$-R\'enyi divergences under the special class of bistochastic maps that leave one of the arguments of the R\'enyi divergence invariant, and determine domains of the parameters $\alpha,z$ where monotonicity holds, and where the preservation of the $\alpha$-$z$-R\'enyi divergence implies the reversibility of the quantum operation.

•Jan 1, 2017•77 citations

Lean-Quantum: Toward AI-Assisted Formalization of Quantum Information

Kazumi Kasaura, Kei Tsukamoto, Kento Mori +6 more

Quantum information theory is built on entropic quantities; among them, the sandwiched Rényi relative entropy is a fundamental divergence with various applications, and its data processing inequality (DPI) under quantum channels is a cornerstone result. In this work, we present a Lean 4 library for quantum information, designed as a reusable formal infrastructure for theoretical analysis. As a central demonstration of the library, we formalize the DPI for the sandwiched Rényi relative entropy for positive semidefinite operators on finite-dimensional quantum systems. The library provides a basis-independent operator-theoretic framework for finite-dimensional quantum mechanics compatible with the standard mathematical library Mathlib, including reusable interfaces for finite-dimensional systems, states, channels, tensor products, partial traces, Choi operators, Kraus representations, and Stinespring representations. It also builds infrastructure for noncommutative trace inequalities, including operator monotonicity and convexity via the real continuous functional calculus, block-operator positivity, Hilbert-Schmidt operator spaces, Jensen's operator inequality, generalized perspectives, operator power means, and Lieb-Ando trace inequalities. On top of this framework, we formalize entropy-specific ingredients for the DPI: variational formulas for the sandwiched quasi-entropy via Young and reverse-Young inequalities, tensor-product compatibility of real powers, and Haar measures on unitary groups. Together, these components yield a Lean formalization of the DPI, give strong subadditivity as a corollary, and provide the last missing component needed to complete the Lean formalization of the generalized quantum Stein's lemma. More broadly, the development provides machine-checkable foundations for future formalized and AI-assisted research in quantum information theory.

quant-pharXiv:2607.05492•Jul 8, 2026•0 citations
We introduce a new cumulant-based quantum relative Rényi functional as a candidate quantum Rényi divergence, derived from the cumulant-generating function (CGF) of the quantum relative surprisal operator and extending the classical connection between Rényi divergence and statistical cumulants to the quantum setting. Unlike the Petz and sandwiched quantum Rényi 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 α>1α>1α>1 under the support condition supp⁡(ρ)⊆supp⁡(σ)\operatorname{supp}(ρ)\subseteq\operatorname{supp}(σ)supp(ρ)⊆supp(σ), we establish several fundamental properties, including positivity, reduction to the classical case, additivity, unitary invariance, continuity, and monotonicity with respect to the Renyi parameter ααα. 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 α=0α=0α=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.
Abstract In quantum information theory, the quantum relative Rényi functional is a generalisation of quantum relative entropy that quantifies the difference between two quantum states. We study a new type of quantum relative Rényi functional, motivated by the concepts of the cumulant-generating function and quantum surprisal difference, and propose an information-theoretic interpretation of the Rényi parameter. In addition, we demonstrate that this functional can be naturally expressed in a path-integral-like formulation, providing a distinct perspective compared to existing approaches. To support the viability of our proposal, we conduct a preliminary numerical study of its key properties for qubits and qutrits. These properties include the monotonicity in the Rényi parameter (α) and the quantum data-processing inequality (QDPI).
The concept of classical [Formula: see text]-divergences gives a unified framework to construct and study measures of dissimilarity of probability distributions; special cases include the relative entropy and the Rényi divergences. Various quantum versions of this concept, and more narrowly, the concept of Rényi divergences, have been introduced in the literature with applications in quantum information theory; most notably Petz’ quasi-entropies (standard [Formula: see text]-divergences), Matsumoto’s maximal [Formula: see text]-divergences, measured [Formula: see text]-divergences, and sandwiched and [Formula: see text]-[Formula: see text]-Rényi divergences. In this paper, we give a systematic overview of the various concepts of quantum [Formula: see text]-divergences, with a main focus on their monotonicity under quantum operations, and the implications of the preservation of a quantum [Formula: see text]-divergence by a quantum operation. In particular, we compare the standard and the maximal [Formula: see text]-divergences regarding their ability to detect the reversibility of quantum operations. We also show that these two quantum [Formula: see text]-divergences are strictly different for non-commuting operators unless [Formula: see text] is a polynomial, and obtain some analogous partial results for the relation between the measured and the standard [Formula: see text]-divergences. We also study the monotonicity of the [Formula: see text]-[Formula: see text]-Rényi divergences under the special class of bistochastic maps that leave one of the arguments of the Rényi divergence invariant, and determine domains of the parameters [Formula: see text] where monotonicity holds, and where the preservation of the [Formula: see text]-[Formula: see text]-Rényi divergence implies the reversibility of the quantum operation.
Barycentric Rényi divergences were introduced in [Mosonyi, Bunth, Vrana, Linear Algebra and its Applications, 2024] as an alternative to standard Kubo-Ando constructions to define multivariate quantum Rényi divergences. They are defined via a variational expression and depend on a finite collection of quantum relative entropies DqxD^{q_x}Dqx​. When all the relative entropies are monotone under CPTP maps then so are the corresponding barycentric Rényi divergences, and when all the relative entropies are additive then the corresponding barycentric Rényi divergences are subadditive under tensor product. Additivity has only been established before for the case where all DqxD^{q_x}Dqx​ are chosen to be the Umegaki relative entropy, which is also the only case where the barycentric Rényi divergence (called the minimal one) was known to admit an explicit expression. Here we settle the problem of additivity by showing that for any choice of monotone quantum relative entropies, the regularized barycentric Rényi divergence coincides with the minimal barycentric Rényi divergence on invertible inputs. This in turn implies that if at least two of the DqxD^{q_x}Dqx​ are strictly larger than the Umegaki relative entropy (in a precise sense), then the resulting barycentric Rényi divergence is not even weakly additive.
Most quantum divergences derive their structure from classical f-divergences or Renyi-type constructions, a dependence that obscures several quantum geometric effects. We introduce a quantum relative-alpha-entropy that extends Umegaki's relative entropy while falling outside the f-divergence class. The proposed divergence exhibits a nonlinear convexity property, which yields a generalized convexity result for the Petz-Renyi divergence for alpha greater than one, complementing the known convexity for alpha less than one. It is additive under tensor products, invariant under unitary transformations, and depends only on the relative geometry of quantum states rather than their absolute magnitudes. Using Nussbaum-Szkola-type distributions, we also establish an exact correspondence of this divergence with classical relative-alpha-entropy. This reveals relative-alpha-entropy as a fundamentally geometric notion of quantum distinguishability not captured by existing divergence frameworks.
The concept of classical fff-divergences gives a unified framework to construct and study measures of dissimilarity of probability distributions; special cases include the relative entropy and the R\'enyi divergences. Various quantum versions of this concept, and more narrowly, the concept of R\'enyi divergences, have been introduced in the literature with applications in quantum information theory; most notably Petz' quasi-entropies (standard fff-divergences), Matsumoto's maximal fff-divergences, measured fff-divergences, and sandwiched and α\alphaα-zzz-R\'enyi divergences. In this paper we give a systematic overview of the various concepts of quantum fff-divergences with a main focus on their monotonicity under quantum operations, and the implications of the preservation of a quantum fff-divergence by a quantum operation. In particular, we compare the standard and the maximal fff-divergences regarding their ability to detect the reversibility of quantum operations. We also show that these two quantum fff-divergences are strictly different for non-commuting operators unless fff is a polynomial, and obtain some analogous partial results for the relation between the measured and the standard fff-divergences. We also study the monotonicity of the α\alphaα-zzz-R\'enyi divergences under the special class of bistochastic maps that leave one of the arguments of the R\'enyi divergence invariant, and determine domains of the parameters α,z\alpha,zα,z where monotonicity holds, and where the preservation of the α\alphaα-zzz-R\'enyi divergence implies the reversibility of the quantum operation.
Quantum information theory is built on entropic quantities; among them, the sandwiched Rényi relative entropy is a fundamental divergence with various applications, and its data processing inequality (DPI) under quantum channels is a cornerstone result. In this work, we present a Lean 4 library for quantum information, designed as a reusable formal infrastructure for theoretical analysis. As a central demonstration of the library, we formalize the DPI for the sandwiched Rényi relative entropy for positive semidefinite operators on finite-dimensional quantum systems. The library provides a basis-independent operator-theoretic framework for finite-dimensional quantum mechanics compatible with the standard mathematical library Mathlib, including reusable interfaces for finite-dimensional systems, states, channels, tensor products, partial traces, Choi operators, Kraus representations, and Stinespring representations. It also builds infrastructure for noncommutative trace inequalities, including operator monotonicity and convexity via the real continuous functional calculus, block-operator positivity, Hilbert-Schmidt operator spaces, Jensen's operator inequality, generalized perspectives, operator power means, and Lieb-Ando trace inequalities. On top of this framework, we formalize entropy-specific ingredients for the DPI: variational formulas for the sandwiched quasi-entropy via Young and reverse-Young inequalities, tensor-product compatibility of real powers, and Haar measures on unitary groups. Together, these components yield a Lean formalization of the DPI, give strong subadditivity as a corollary, and provide the last missing component needed to complete the Lean formalization of the generalized quantum Stein's lemma. More broadly, the development provides machine-checkable foundations for future formalized and AI-assisted research in quantum information theory.