Jon Bennett and I’ve simply uploaded to the arXiv our paper “Adjoint Brascamp-Lieb inequalities“. On this paper, we observe that the household of multilinear inequalities referred to as the Brascamp-Lieb inequalities (or Holder-Brascamp-Lieb inequalities) admit an adjoint formulation, and discover the speculation of those adjoint inequalities and a few of their penalties.
To inspire issues allow us to evaluate the classical principle of adjoints for linear operators. If one has a bounded linear operator for some measure areas
and exponents
, then one can outline an adjoint linear operator
involving the twin exponents
, obeying (formally at the very least) the duality relation
for appropriate take a look at capabilities on
respectively. Utilizing the twin characterization
of (and equally for
), one can present that
has the identical operator norm as
.
There’s a barely completely different strategy to proceed utilizing Hölder’s inequality. For sake of exposition allow us to make the simplifying assumption that (and therefore additionally
) maps non-negative capabilities to non-negative capabilities, and ignore problems with convergence or division by zero within the formal calculations under. Then for any affordable perform
on
, we’ve
by (1) and Hölder; dividing out by we get hold of
, and an analogous argument additionally recovers the reverse inequality.
The primary argument additionally extends to some extent to multilinear operators. As an illustration if one has a bounded bilinear operator for
then one can then outline adjoint bilinear operators
and
obeying the relations
and with precisely the identical operator norm as . Additionally it is doable, formally at the very least, to adapt the Hölder inequality argument to succeed in the identical conclusion.
On this paper we observe that the Hölder inequality argument might be modified within the case of Brascamp-Lieb inequalities to acquire a distinct kind of adjoint inequality. (Steady) Brascamp-Lieb inequalities take the shape
for numerous exponents and surjective linear maps
, the place
are arbitrary non-negative measurable capabilities and
is the very best fixed for which this inequality holds for all such
. [There is also another inequality involving variances with respect to log-concave distributions that is also due to Brascamp and Lieb, but it is not related to the inequalities discussed here.] Well-known examples of such inequalities embody Hölder’s inequality and the sharp Younger convolution inequality; one other is the Loomis-Whitney inequality, the primary non-trivial instance of which is
for all non-negative measurable . There are additionally discrete analogues of those inequalities, through which the Euclidean areas
are changed by discrete abelian teams, and the surjective linear maps
are changed by discrete homomorphisms.
The operation of pulling again a perform on
by a linear map
to create a perform on
has an adjoint pushforward map
, which takes a perform on
and principally integrates it on the fibers of
to acquire a “marginal distribution” on
(presumably multiplied by a normalizing determinant issue). The adjoint Brascamp-Lieb inequalities that we get hold of take the shape
for non-negative and numerous exponents
, the place
is the optimum fixed for which the above inequality holds for all such
; informally, such inequalities management the
norm of a non-negative perform by way of its marginals. It seems that each Brascamp-Lieb inequality generates a household of adjoint Brascamp-Lieb inequalities (with the exponent
being much less than or equal to
). As an illustration, the adjoints of the Loomis-Whitney inequality (2) are the inequalities
for all non-negative measurable , all
summing to
, and all
, the place the
exponents are outlined by the method
and the are the marginals of
:
One can derive these adjoint Brascamp-Lieb inequalities from their ahead counterparts by a model of the Hölder inequality argument talked about beforehand, at the side of the statement that the pushforward maps are mass-preserving (i.e., they protect the
norm on non-negative capabilities). Conversely, it seems that the adjoint Brascamp-Lieb inequalities are solely out there when the ahead Brascamp-Lieb inequalities are. Within the discrete case the ahead and adjoint Brascamp-Lieb constants are basically equivalent, however within the steady case they’ll (and sometimes do) differ by as much as a relentless. Moreover, whereas within the ahead case there’s a well-known theorem of Lieb that asserts that the Brascamp-Lieb constants might be computed by optimizing over gaussian inputs, the identical assertion is barely true as much as constants within the adjoint case, and actually typically the gaussians will fail to optimize the adjoint inequality. The state of affairs seems to be sophisticated; roughly talking, the adjoint inequalities solely use a portion of the vary of doable inputs of the ahead Brascamp-Lieb inequality, and this portion typically misses the gaussian inputs that will in any other case optimize the inequality.
Now we have situated a modest variety of functions of the adjoint Brascamp-Lieb inequality (however hope that there will likely be extra sooner or later):
We additionally document a variety of numerous of the adjoint Brascamp-Lieb inequalities, together with discrete variants, and a reverse inequality involving norms with
somewhat than
.