Petz-Rényi Information

• Petz-Rényi Information is a family of quantum Rényi-type divergences that generalizes Umegaki entropy and serves as a key measure in quantum information theory.
• It exhibits crucial properties such as nonnegativity, monotonicity under CPTP maps, additivity, and convexity, ensuring robust operational and theoretical interpretations.
• Computational methods like mirror-descent and alternating minimization algorithms enable efficient optimization in applications ranging from channel coding to device-independent cryptography.

The Petz-Rényi information encompasses a family of quantum Rényi-type divergences and their associated mutual and conditional information measures based on the original α-Rényi divergence introduced by Dénes Petz. These quantities generalize the Umegaki (quantum relative entropy), forming a structural backbone for operational and theoretical analyses in quantum information, statistical mechanics, and quantum field theory. The Petz-Rényi formalism yields nonnegative and data-processing-monotone quantities under broad parameter ranges and captures strong converse exponents, uncertainty relations, and refined quantum correlation structures.

1. Definition and Primary Formalism

The Petz-Rényi α-relative entropy for two positive (semi-definite) operators ρ and σ on a Hilbert space (with appropriate support conditions) is defined for α in $(0,1)\cup(1,\infty)$ by

$$D_\alpha(\rho\,\|\,\sigma) = \frac{1}{\alpha-1} \log\,\mathrm{Tr}\left[\rho^{\alpha}\,\sigma^{1-\alpha}\right]\,,$$

with $D_{\alpha} = +\infty$ when $$\mathrm{supp}\,\rho \nsubseteq \mathrm{supp}\,\sigma$$ for $\alpha>1$. The limiting case $\alpha\to1$ recovers the Umegaki relative entropy $D(\rho\|\sigma)$ (Berta et al., 2015, Androulakis et al., 2022).

Given a bipartite quantum state $\rho_{AB}$ and positive-definite product states $\sigma_A\otimes\tau_B$, the (single-argument) Petz-Rényi mutual information is

$$I_{\alpha}(A:B)_\rho = D_\alpha\left(\rho_{AB}\;\|\;\rho_A\otimes\rho_B\right)\,.$$

Doubly minimized and singly minimized variants are defined via optimization over marginals: $$D_\alpha(\rho\,\|\,\sigma) = \frac{1}{\alpha-1} \log\,\mathrm{Tr}\left[\rho^{\alpha}\,\sigma^{1-\alpha}\right]\,,$$0 These measures collapse to the standard quantum mutual information for $$D_\alpha(\rho\,\|\,\sigma) = \frac{1}{\alpha-1} \log\,\mathrm{Tr}\left[\rho^{\alpha}\,\sigma^{1-\alpha}\right]\,,$$1. Conditional and multipartite Petz-Rényi measures are defined analogously for functionals that are linear combinations of von Neumann entropies with integer coefficients (Berta et al., 2015).

2. Core Properties and Monotonicity

For $$D_\alpha(\rho\,\|\,\sigma) = \frac{1}{\alpha-1} \log\,\mathrm{Tr}\left[\rho^{\alpha}\,\sigma^{1-\alpha}\right]\,,$$2, $$D_\alpha(\rho\,\|\,\sigma) = \frac{1}{\alpha-1} \log\,\mathrm{Tr}\left[\rho^{\alpha}\,\sigma^{1-\alpha}\right]\,,$$3 is nonnegative with equality if and only if $$D_\alpha(\rho\,\|\,\sigma) = \frac{1}{\alpha-1} \log\,\mathrm{Tr}\left[\rho^{\alpha}\,\sigma^{1-\alpha}\right]\,,$$4; it is monotone under completely positive trace-preserving (CPTP) maps: $$D_\alpha(\rho\,\|\,\sigma) = \frac{1}{\alpha-1} \log\,\mathrm{Tr}\left[\rho^{\alpha}\,\sigma^{1-\alpha}\right]\,,$$5 (Berta et al., 2015, Kudler-Flam, 2022, Androulakis et al., 2022).

The mapping $$D_\alpha(\rho\,\|\,\sigma) = \frac{1}{\alpha-1} \log\,\mathrm{Tr}\left[\rho^{\alpha}\,\sigma^{1-\alpha}\right]\,,$$6 is nondecreasing for all density matrices, with convexity of $$D_\alpha(\rho\,\|\,\sigma) = \frac{1}{\alpha-1} \log\,\mathrm{Tr}\left[\rho^{\alpha}\,\sigma^{1-\alpha}\right]\,,$$7 in $$D_\alpha(\rho\,\|\,\sigma) = \frac{1}{\alpha-1} \log\,\mathrm{Tr}\left[\rho^{\alpha}\,\sigma^{1-\alpha}\right]\,,$$8 (Androulakis et al., 2022). The additivity property holds on tensor products: $$D_\alpha(\rho\,\|\,\sigma) = \frac{1}{\alpha-1} \log\,\mathrm{Tr}\left[\rho^{\alpha}\,\sigma^{1-\alpha}\right]\,,$$9 The Petz-Rényi mutual and conditional information inherit these properties including symmetry under subsystem permutation, additivity across independent systems, and data-processing inequalities under local CPTP maps (Burri, 2024, Burri, 7 Jul 2025, Cheng et al., 2018).

For the conditional mutual information, it is conjectured that $D_{\alpha} = +\infty$0 is nondecreasing, with several regime-specific proofs and numerical verification, but a general proof remains open (Berta et al., 2015).

3. Computational Methods and Optimization Algorithms

The Petz-Rényi divergence and mutual information arise in convex optimization problems, especially in quantum channel coding and hypothesis testing. Optimizing over input distributions or reference states (σ) typically yields functions that are convex or strongly convex in the parameters.

Mirror-descent algorithms, including exponentiated-gradient methods generalizing the Blahut-Arimoto scheme, exhibit provable sublinear and linear convergence rates for maximizing the Petz-Rényi capacity and mutual information of classical-quantum channels. These methods are viable due to Hölder-smoothness and strong convexity properties of the objective (Lai et al., 15 Jan 2026, Chu et al., 10 Jan 2026, Cheng et al., 2018). For the doubly minimized mutual information, alternating minimization algorithms exploiting quantum Sibson identities yield guaranteed sublinear (for $D_{\alpha} = +\infty$1) and linear (for $D_{\alpha} = +\infty$2) convergence, with unique global minimizers (Burri, 7 Jul 2025).

In continuous-variable settings and infinite-dimensional spaces, spectral and pushforward-of-observables formulations remain valid, and support conditions for the finiteness of $D_{\alpha} = +\infty$3 are explicitly characterized (Androulakis et al., 2022, Androulakis et al., 2023).

4. Applications: Quantum Hypothesis Testing, Coding, and Device Independence

Petz-Rényi information measures critically determine strong converse exponents in quantum hypothesis testing and classical-quantum channel coding problems. The auxiliary function $D_{\alpha} = +\infty$4 is used in the minimax expressions for channel coding exponents, and concavity in $D_{\alpha} = +\infty$5 is now established in previously unresolved parameter domains (Cheng et al., 2018).

In device-independent quantum cryptography and key distribution, the $D_{\alpha} = +\infty$6-Rényi entropy accumulation theorem and variational semidefinite programming bounds involving Petz-Rényi divergences enable sharper finite-size key-rate analyses and enhanced noise tolerance beyond von Neumann approaches (Hahn et al., 2024).

For one-shot entanglement transmission, the entanglement fidelity achieved by the Petz decoder equals the negative exponent of the singly minimized Petz-Rényi mutual information of order $D_{\alpha} = +\infty$7 between the reference and environment across the channel's Stinespring dilation (Burri, 24 Feb 2025). In composite binary state discrimination, the direct error exponent is precisely characterized by the doubly minimized Petz-Rényi mutual information in the interval $D_{\alpha} = +\infty$8 (Burri, 2024, Burri, 25 Feb 2025).

5. Quantum Field Theory and Many-Body Physics

The Petz-Rényi mutual information in quantum field theory, as established via replica path-integral techniques, is a bona fide measure of quantum correlations satisfying nonnegativity, monotonicity under local operations, and ultraviolet finiteness in the continuum limit. In 1+1D conformal field theories, explicit expressions involve twist operators and replica-analytic continuation, bounding correlation functions and exhibiting excellent agreement with lattice numerics (Kudler-Flam, 2022).

In the modular-theoretic QFT context, the Petz-Rényi entropy generalizes the Araki-Uhlmann formula and captures genuinely quantum corrections—depending on both symmetric and antisymmetric parts of two-point functions—beyond the Umegaki entropy (Fröb et al., 2024).

6. Symmetric Petz-Rényi Relations and Uncertainty Principles

The symmetric Petz-Rényi relative entropy $D_{\alpha} = +\infty$9 yields tight inequalities interpolating between classical Pinsker and Holevo-type bounds, directly minimizing trade-offs between fidelity and trace distance. A generalized uncertainty relation provides explicit trade-offs between mean differences and averaged variances of observables under arbitrary quantum states, unifying quantum, classical, and thermodynamic uncertainty relations (Salazar, 2024).

At $$\mathrm{supp}\,\rho \nsubseteq \mathrm{supp}\,\sigma$$0, the symmetric version equals negative log Holevo affinity, with tight trace-distance bounds improving over the asymmetric case. The monotonicity and data-processing properties are preserved for $$\mathrm{supp}\,\rho \nsubseteq \mathrm{supp}\,\sigma$$1, while the problem remains open for $$\mathrm{supp}\,\rho \nsubseteq \mathrm{supp}\,\sigma$$2.

7. Comparison to Alternative Rényi Generalizations and "Pretty Good" Quantities

Apart from the Petz (standard) Rényi divergence, minimal/sandwiched and log-Euclidean quantum Rényi divergences are also in use, each with distinctive operational meanings. The "pretty good" measurement and fidelity constructions are linked to the Petz divergence at specific orders ($$\mathrm{supp}\,\rho \nsubseteq \mathrm{supp}\,\sigma$$3), with explicit optimality conditions and performance bounds (Iten et al., 2016).

The Petz divergence typically has more relaxed support constraints for $$\mathrm{supp}\,\rho \nsubseteq \mathrm{supp}\,\sigma$$4 and matches the sandwiched divergence only under commutativity or at α-limits. The reverse Araki-Lieb-Thirring inequality bounds the Petz and sandwiched divergences, providing a precise operational gap (Iten et al., 2016).

Table: Fundamental Properties of Petz-Rényi α-Relative Entropy

Property	Parameter Regime	Statement
Positivity	all α	$$\mathrm{supp}\,\rho \nsubseteq \mathrm{supp}\,\sigma$$5, equality iff $$\mathrm{supp}\,\rho \nsubseteq \mathrm{supp}\,\sigma$$6
Data-processing (CPTP)	α∈[0,2]	$$\mathrm{supp}\,\rho \nsubseteq \mathrm{supp}\,\sigma$$7
Additivity	all α	$$\mathrm{supp}\,\rho \nsubseteq \mathrm{supp}\,\sigma$$8
Monotonicity in α	all α	$$\mathrm{supp}\,\rho \nsubseteq \mathrm{supp}\,\sigma$$9 is nondecreasing in α
α→1 limit (Umegaki)	α→1	$\alpha>1$0
Convexity in $\alpha>1$1	all α	$\alpha>1$2 convex in α

• (Kudler-Flam, 2022) “Rényi Mutual Information in Quantum Field Theory”
• (Berta et al., 2015) “Rényi generalizations of quantum information measures”
• (Cheng et al., 2018) “Properties of Noncommutative Renyi and Augustin Information”
• (Androulakis et al., 2022) “Relative Entropy via Distribution of Observables”
• (Burri, 2024) “Doubly minimized Petz Renyi mutual information: Properties and operational interpretation from direct exponent”
• (Burri, 7 Jul 2025) “Alternating minimization for computing doubly minimized Petz Renyi mutual information”
• (Burri, 25 Feb 2025) “Min-reflected entropy = doubly minimized Petz Renyi mutual information of order 1/2”
• (Burri, 24 Feb 2025) “Entanglement fidelity of Petz decoder for one-shot entanglement transmission”
• (Salazar, 2024) “Symmetric Petz-Rényi relative entropy uncertainty relation”
• (Lai et al., 15 Jan 2026) “A Mirror-Descent Algorithm for Computing the Petz-Rényi Capacity of Classical-Quantum Channels”
• (Fröb et al., 2024) “Petz-Rényi relative entropy in QFT from modular theory”
• (Androulakis et al., 2023) “Petz-Rényi Relative Entropy of Thermal States and their Displacements”
• (Hahn et al., 2024) “Bounds on Petz-Rényi Divergences and their Applications for Device-Independent Cryptography”
• (Iten et al., 2016) “Pretty good measures in quantum information theory”