No Arabic abstract
In this paper, we derive sharp nonlinear dimension-free Brascamp-Lieb inequalities (including hypercontractivity inequalities) for distributions on Polish spaces, which strengthen the classic Brascamp-Lieb inequalities. Applications include the extension of Mr. and Mrs. Gerbers lemmas to the cases of Renyi divergences and distributions on Polish spaces, the strengthening of small-set expansion theorems, and the characterization of the exponent of $q$-stability of Boolean functions. Our proofs in this paper are based on information-theoretic and coupling techniques.
We study the infimum of the best constant in a functional inequality, the Brascamp-Lieb-like inequality, over auxiliary measures within a neighborhood of a product distribution. In the finite alphabet and the Gaussian cases, such an infimum converges to the best constant in a mutual information inequality. Implications for strong converse properties of two common randomness (CR) generation problems are discussed. In particular, we prove the strong converse property of the rate region for the omniscient helper CR generation problem in the discrete and the Gaussian cases. The latter case is perhaps the first instance of a strong converse for a continuous source when the rate region involves auxiliary random variables.
The Holder-Brascamp-Lieb inequalities are a collection of multilinear inequalities generalizing a convolution inequality of Young and the Loomis-Whitney inequalities. The full range of exponents was classified in Bennett et al. (2008). In a setting similar to that of Ivanisvili and Volberg (2015), we introduce a notion of size for these inequalities which generalizes $L^p$ norms. Under this new setup, we then determine necessary and sufficient conditions for a generalized Holder-Brascamp-Lieb type inequality to hold and establish sufficient conditions for extremizers to exist when the underlying linear maps match those of the convolution inequality of Young.
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 Nelsons hypercontractivity theorem. Finally we present an information theoretic characterization of a reverse Brascamp-Lieb inequality involving a random transformation (a multiple access channel).
A symmetrization inequality of Rogers and of Brascamp-Lieb-Luttinger states that for a certain class of multilinear integral expressions, among tuples of sets of prescribed Lebesgue measures, tuples of balls centered at the origin are among the maximizers. Under natural hypotheses, we characterize all maximizing tuples for these inequalities for dimensions strictly greater than 1. We establish a sharpened form of the inequality.
We prove second and fourth order improved Poincare type inequalities on the hyperbolic space involving Hardy-type remainder terms. Since theirs l.h.s. only involve the radial part of the gradient or of the laplacian, they can be seen as strong