Search arXiv⌕ Search

arXiv · 0710.0870

Subadditivity of the entropy and its relation to Brascamp-Lieb type inequalities

Abstract

We prove a general duality result showing that a Brascamp--Lieb type inequality is equivalent to an inequality expressing subadditivity of the entropy, with a complete correspondence of best constants and cases of equality. This open a new approach to the proof of Brascamp--Lieb type inequalities, via subadditivity of the entropy. We illustrate the utility of this approach by proving a general inequality expressing the subadditivity property of the entropy on $\R^n$, and fully determining the cases of equality. As a consequence of the duality mentioned above, we obtain a simple new proof of the classical Brascamp--Lieb inequality, and also a fully explicit determination of all of the cases of equality. We also deduce several other consequences of the general subadditivity inequality, including a generalization of Hadamard's inequality for determinants. Finally, we also prove a second duality theorem relating superadditivity of the Fisher information and a sharp convolution type inequality for the fundamental eigenvalues of Schrödinger operators. Though we focus mainly on the case of random variables in $\R^n$ in this paper, we discuss extensions to other settings as well.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Eric A. Carlen, Dario Cordero-Erausquin. 2008-01-29. Subadditivity of the entropy and its relation to Brascamp-Lieb type inequalities. https://arxiv.org/abs/0710.0870

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Mixed Bourgain-Morrey spaces and their applications to boundedness of operators

We introduce the mixed Bourgain-Morrey spaces and obtain their preduals. The boundedness of Hardy-Littlewood maximal operator, iterated maximal operator, fractional integral operator, singular integral operator on these spaces is proved. In addition, we give a description of the dual of mixed Bourgain-Morrey spaces and conclude the reflexivity of these spaces.

math.FA↗

The stability landscape in wave-packet scattering: geometric rigidity and sharp Sobolev thresholds

A central problem in harmonic analysis is to understand how frequency resolution constrains stability under nonlinear changes of coordinates. Motivated by Mallat's wavelet scattering theory, we establish a sharp resolution--robustness principle for nonlinear representations built from two-dimensional wave-packet systems, showing that the transverse geometry of the frequency channels determines the critical Sobolev regularity. Whenever the channels are thinner than in the wavelet regime, arbitrarily small smooth deformations can move high-frequency mass between adjacent channels, producing instability already at the level of the linear filter bank and the first scattering layer. We match this obstruction with scale-sharp commutator estimates propagated through the full scattering cascade, obtaining Lipschitz stability at the critical regularity threshold. Together, the results provide the first intrinsic deformation-stability theory for non-wavelet Euclidean scattering transforms and identify a microlocal transport mechanism governing robustness across nonlinear multiscale representations.

math.FA↗

Unbounded Helson Forms with a Moment Representation

We study the positive Helson form $h_0[a,b]=\sum_{m,n\ge1}α(mn)a_n\overline{b_m}$ on the finitely supported sequences $c_{00}\subset\ell^2(\mathbb{N})$, where $α(n)=\int_{\mathbb{R}}n^{-s}dμ(s)<\infty$ for a finite positive Borel measure $μ$. Under the Carleman condition $\sum_{k\ge1}α(4^k)^{-1/(2k)}=\infty$, closability of $h_0$ is equivalent to $\sqrt{n}α(n)\to0$, and hence to $μ((-\infty,1/2])=0$. For measures concentrated on $(1/2,\infty)$, we identify the closure of the operator $N_0a=\sum_{n\ge1}a_nn^{-s}$, defined on $c_{00}$, with its maximal realization from $\ell^2(\mathbb{N})$ to $L^2(μ)$. We further prove that the sequences $a\in c_{00}$ satisfying $\sum_{n\ge1}a_n/\sqrt{n}=0$ form an operator core for the positive self-adjoint operator associated with the closure of $h_0$.

math.FA↗