Brascamp-Lieb Inequality and Its Reverse: An Information Theoretic View

We generalize a result by Carlen and Cordero-Erausquin on the equivalence between the Brascamp-Lieb inequality and the subadditivity of relative entropy by allowing for random transformations (a broadcast channel). This leads to a unified perspective on several functional inequalities that have been gaining popularity in the context of proving impossibility results. We demonstrate that the information theoretic dual of the Brascamp-Lieb inequality is a convenient setting for proving properties such as data processing, tensorization, convexity and Gaussian optimality. Consequences of the latter include an extension of the Brascamp-Lieb inequality allowing for Gaussian random transformations, the determination of the multivariate Wyner common information for Gaussian sources, and a multivariate version of Nelson's hypercontractivity theorem. Finally we present an information theoretic characterization of a reverse Brascamp-Lieb inequality involving a random transformation (a multiple access channel).Comment: 5 pages; to be presented at ISIT 201

A supersolutions perspective on hypercontractivity

The purpose of this article is to expose an algebraic closure property of supersolutions to certain diffusion equations. This closure property quickly gives rise to a monotone quantity which generates a hypercontractivity inequality. Our abstract argument applies to a general Markov semigroup whose generator is a diffusion and satisfies a curvature condition.Comment: 7 page

Dimension dependent hypercontractivity for Gaussian kernels

We derive sharp, local and dimension dependent hypercontractive bounds on the Markov kernel of a large class of diffusion semigroups. Unlike the dimension free ones, they capture refined properties of Markov kernels, such as trace estimates. They imply classical bounds on the Ornstein-Uhlenbeck semigroup and a dimensional and refined (transportation) Talagrand inequality when applied to the Hamilton-Jacobi equation. Hypercontractive bounds on the Ornstein-Uhlenbeck semigroup driven by a non-diffusive L\'evy semigroup are also investigated. Curvature-dimension criteria are the main tool in the analysis.Comment: 24 page