相关论文: Sum of Square Proof for Brascamp-Lieb Type Inequal…

We prove a nonlinear variant of the general Brascamp-Lieb inequality. Instances of this inequality are quite prevalent in analysis, and we illustrate this with substantial applications in harmonic analysis and partial differential…

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…

We show that a strong version of the Brascamp--Lieb inequality for symmetric log-concave measure with $\alpha$-homogeneous potential $V$ is equivalent to a $p$-Brunn--Minkowski inequality for level sets of $V$ with some $p(\alpha,n)<0$. We…

We establish a nonlinear generalisation of the classical Brascamp-Lieb inequality in the case where the Lebesgue exponents lie in the interior of the finiteness polytope. As a corollary we show that the best constant in Young's convolution…

Assessing non-negativity of multivariate polynomials over the reals, through the computation of {\em certificates of non-negativity}, is a topical issue in polynomial optimization. This is usually tackled through the computation of {\em…

We prove a reverse form of the multidimensional Brascamp-Lieb inequality. Our method also gives a new way to derive the Brascamp-Lieb inequality and is rather convenient for the study of equality cases.

We formulate a non-commutative analog of the Brascamp-Lieb inequality, and prove it in several concrete settings.

The celebrated Brascamp-Lieb (BL) inequalities (and their extensions) are an important mathematical tool, unifying and generalizing numerous inequalities in analysis, convex geometry and information theory. While their structural theory is…

The Brascamp-Lieb inequality in harmonic analysis was proved by Brascamp and Lieb in the rank one case in 1976, and by Lieb in 1990. It says that in a certain inequality, the optimal constant can be determined by checking the inequality for…

This paper builds upon several recent works, where semigroup proofs of Brascamp-Lieb inequalities are provided in various settings (Euclidean space, spheres and symmetric groups). Our aim is twofold. Firstly, we provide a general, unifying,…

We prove a global nonlinear Brascamp-Lieb inequality for a general class of maps, encompassing polynomial and rational maps, as a consequence of the multilinear Kakeya-type inequalities of Zhang and Zorin-Kranich. We incorporate a natural…

We introduce the concept of disjunctive sum of squares for certifying nonnegativity of polynomials. Unlike the popular sum of squares approach where nonnegativity is certified by a single algebraic identity, the disjunctive sum of squares…

Establishing inequalities among graph densities is a central pursuit in extremal combinatorics. A standard tool to certify the nonnegativity of a graph density expression is to write it as a sum of squares. In this paper, we identify a…

It was observed recently in work of Bez, Buschenhenke, Cowling, Flock and the first author, that the euclidean Brascamp-Lieb inequality satisfies a natural and useful Fourier duality property. The purpose of this paper is to establish an…

Automated proving of polynomial inequalities is a fundamental challenge in automated mathematical reasoning, where rich algebraic structure and a rapidly growing certificate search space hinder scalability. Purely symbolic approaches…

Brascamp-Lieb inequalities are entropy inequalities which have a dual formulation as generalized Young inequalities. In this work, we introduce a fully quantum version of this duality, relating quantum relative entropy inequalities to…

We adapt an induction-on-scales argument of Bennett, Bez, Buschenhenke, Cowling, and Flock to establish a global near-monotonicity statement for the nonlinear Brascamp-Lieb functional under a certain heat-flow, from which follows a…

It has often been claimed in recent papers that one can find a degree d Sum-of-Squares proof if one exists via the Ellipsoid algorithm. In [O17], Ryan O'Donnell notes this widely quoted claim is not necessarily true. He presents an example…

Brascamp-Lieb inequalities have been important in analysis, mathematical physics and neighboring areas. Recently, these inequalities have had a deep influence on Fourier analysis and, in particular, on Fourier restriction theory. In this…

H\"older-Brascamp-Lieb inequalities provide upper bounds for a class of multilinear expressions, in terms of $L^p$ norms of the functions involved. They have been extensively studied for functions defined on Euclidean spaces.…