BEYOND STRONG SUBADDITIVITY? IMPROVED BOUNDS ON THE CONTRACTION OF GENERALIZED RELATIVE ENTROPY

1994 ◽  
Vol 06 (05a) ◽  
pp. 1147-1161 ◽  
Author(s):  
MARY BETH RUSKAI

New bounds are given on the contraction of certain generalized forms of the relative entropy of two positive semi-definite operators under completely positive mappings. In addition, several conjectures are presented, one of which would give a strengthening of strong subadditivity. As an application of these bounds in the classical discrete case, a new proof of 2-point logarithmic Sobolev inequalities is presented in an Appendix.

2019 ◽  
Vol 28 (06) ◽  
pp. 919-935
Author(s):  
Katalin Marton

AbstractThe aim of this paper is to prove an inequality between relative entropy and the sum of average conditional relative entropies of the following form: for a fixed probability measure q on , ( is a finite set), and any probability measure on , (*) $$D(p||q){\rm{\le}}C \cdot \sum\limits_{i = 1}^n {{\rm{\mathbb{E}}}_p D(p_i ( \cdot |Y_1 ,{\rm{ }}...,{\rm{ }}Y_{i - 1} ,{\rm{ }}Y_{i + 1} ,...,{\rm{ }}Y_n )||q_i ( \cdot |Y_1 ,{\rm{ }}...,{\rm{ }}Y_{i - 1} ,{\rm{ }}Y_{i + 1} ,{\rm{ }}...,{\rm{ }}Y_n )),} $$ where pi(· |y1, …, yi−1, yi+1, …, yn) and qi(· |x1, …, xi−1, xi+1, …, xn) denote the local specifications for p resp. q, that is, the conditional distributions of the ith coordinate, given the other coordinates. The constant C depends on (the local specifications of) q.The inequality (*) ismeaningful in product spaces, in both the discrete and the continuous case, and can be used to prove a logarithmic Sobolev inequality for q, provided uniform logarithmic Sobolev inequalities are available for qi(· |x1, …, xi−1, xi+1, …, xn), for all fixed i and fixed (x1, …, xi−1, xi+1, …, xn). Inequality (*) directly implies that the Gibbs sampler associated with q is a contraction for relative entropy.In this paper we derive inequality (*), and thereby a logarithmic Sobolev inequality, in discrete product spaces, by proving inequalities for an appropriate Wasserstein-like distance.


Author(s):  
Raffaella Carbone ◽  
Andrea Martinelli

We study the relations between (tight) logarithmic Sobolev inequalities, entropy decay and spectral gap inequalities for Markov evolutions on von Neumann algebras. We prove that log-Sobolev inequalities (in the non-commutative form defined by Olkiewicz and Zegarlinski in Ref. 25) imply spectral gap inequalities, with optimal relation between the constants. Furthermore, we show that a uniform exponential decay of a proper relative entropy is equivalent to a modified version of log-Sobolev inequalities. The relations among the mentioned inequalities are investigated and often depend on some regularity conditions, which are also discussed. With regard to this aspect, we provide an example of a positive identity-preserving semigroup not verifying the usually requested regularity conditions (which are always fulfilled for reversible classical Markov processes).


Author(s):  
Ivan Bardet ◽  
Ángela Capel ◽  
Cambyse Rouzé

AbstractIn this paper, we derive a new generalisation of the strong subadditivity of the entropy to the setting of general conditional expectations onto arbitrary finite-dimensional von Neumann algebras. This generalisation, referred to as approximate tensorization of the relative entropy, consists in a lower bound for the sum of relative entropies between a given density and its respective projections onto two intersecting von Neumann algebras in terms of the relative entropy between the same density and its projection onto an algebra in the intersection, up to multiplicative and additive constants. In particular, our inequality reduces to the so-called quasi-factorization of the entropy for commuting algebras, which is a key step in modern proofs of the logarithmic Sobolev inequality for classical lattice spin systems. We also provide estimates on the constants in terms of conditions of clustering of correlations in the setting of quantum lattice spin systems. Along the way, we show the equivalence between conditional expectations arising from Petz recovery maps and those of general Davies semigroups.


Sign in / Sign up

Export Citation Format

Share Document