Regularized Brascamp-Lieb inequalities via Optimal Transport and Study of Equality Cases

1. Problématique et Contexte

Les inégalités de Brascamp-Lieb (BL) constituent une généralisation puissante de nombreuses inégalités fondamentales en analyse (Hölder, Young, Loomis-Whitney) et en géométrie convexe. Elles prennent la forme générale :
$$\int_{\mathbb{R}^n} \prod_{i=1}^m f_i(C_i x)^{p_i} dx \le C \prod_{i=1}^m \left( \int_{\mathbb{R}^{n_i}} f_i \right)^{p_i}$$
où $C_i$ sont des applications linéaires surjectives et $p_i > 0$.

Le papier s'intéresse à une version régularisée de ces inégalités. L'objectif est d'imposer des conditions de log-convexité ou de log-concavité sur les fonctions d'entrée $f_i$, par rapport à des gaussiennes de référence $g_Q(x) = e^{-\pi \langle Qx, x \rangle}$. Plus précisément, une fonction $f$ est dite « plus log-convexe » que $g_Q$ si $f = g_Q h$ où $h$ est log-convexe.

La régularisation vise à obtenir des constantes d'inégalité améliorées et à mieux comprendre la structure des extrémiseurs (fonctions qui atteignent l'égalité). Le travail se concentre sur trois questions majeures :

1. La preuve des inégalités régularisées et de leurs duales.
2. L'établissement de conditions nécessaires et suffisantes pour la finitude de la constante de Brascamp-Lieb régularisée.
3. La caractérisation complète des extrémiseurs (cas d'égalité) pour les données admissibles.

2. Méthodologie

L'auteur combine deux approches théoriques majeures :

• Théorie du Transport Optimal :

  • Utilisation d'une version anisotrope du théorème de contraction de Caffarelli. Ce théorème relie la régularité de la carte de transport de Brenier (gradient d'une fonction convexe) aux propriétés de convexité des mesures source et cible.
  • L'auteur prouve un théorème de contraction général (Appendice A) pour des matrices de Hessien bornées par des matrices définies positives $A$ et $B$, étendant les résultats classiques de Caffarelli, Chewi, Pooladian et Gozlan.
  • Cette approche permet de démontrer les inégalités régularisées en comparant les mesures via des applications de transport optimales.

• Méthodes de Flot de Chaleur (Heat Flow) :

  • Inspirée des travaux de Carlen, Lieb, Loss et Valdimarsson, cette méthode utilise la monotonie de certaines fonctionnelles le long du flot de la chaleur.
  • Elle est utilisée pour étudier les cas d'égalité et pour prouver que si une constante est atteignable, elle l'est par des gaussiennes (extremisabilité gaussienne).
  • L'auteur utilise le théorème central limite pour montrer que l'itération d'une opération de convolution (liée au flot de chaleur) sur des extrémiseurs converge vers des gaussiennes.

3. Contributions et Résultats Clés

A. Inégalités Régularisées et Dualité (Section 2)

L'auteur établit des inégalités de Brascamp-Lieb régularisées pour des fonctions $f_i$ qui sont plus log-convexes (ou plus log-concaves) que des gaussiennes $g_{Q_i}$.

• Théorème 2.4 : Il démontre que la constante optimale pour ces fonctions régularisées est égale au supremum (ou infimum pour la version duale) pris sur des gaussiennes $g_{B_i}$ avec des matrices de covariance $B_i$ contraintes par $Q_i$.
• La preuve repose sur la réduction au cas $Q=0$ et l'utilisation de la dualité entre les inégalités directes et inverses, en s'appuyant sur le théorème de contraction de Caffarelli pour majorer/minoriser les termes d'intégrale.

B. Finitude et Structure des Données (Section 3)

• Condition de Finitude (Théorème 3.2) : Une condition nécessaire et suffisante est donnée pour que la constante régularisée soit finie. Pour tout sous-espace $V \subset H$, il faut que :
  $$\dim(V) \le \sum_{j=1}^m p_j \dim(C_j V)$$
  (avec des ajustements si $Q$ n'est pas définie positive).
• Extremisabilité Gaussienne (Théorème 3.12) : Un résultat central affirme que si la constante est atteignable (extremizable), alors elle est atteignable par des fonctions gaussiennes. Cela généralise le résultat de Lieb pour le cas non régularisé.
• Données Géométriques Généralisées (Théorème 3.19 & 3.21) : L'auteur introduit la notion de « données de Brascamp-Lieb géométriques généralisées » (où $\sum p_j C_j^* C_j = I$ et certaines conditions de commutation sur $Q$). Pour ces données, la constante vaut 1. Il montre ensuite que toute donnée extremizable est équivalente (via des transformations linéaires) à une telle donnée géométrique.

C. Caractérisation des Cas d'Égalité (Section 4)

C'est la contribution la plus technique du papier. L'auteur décrit explicitement la forme de toutes les fonctions extrémisatrices pour une donnée extremizable.

• Théorème 4.6 et 4.8 : Les extrémiseurs ne sont pas nécessairement des gaussiennes pures, mais possèdent une structure spécifique :
  • Ils sont composés d'une partie gaussienne (déterminée par la matrice de covariance optimale).
  • Ils incluent des facteurs de convolution ou des fonctions arbitraires intégrables sur des sous-espaces critiques (liés aux noyaux des applications $C_j$ et aux espaces propres de $Q_j$).
  • La forme générale est un produit de gaussiennes et de fonctions $u_k$ définies sur des sous-espaces indépendants généralisés.
• Cette caractérisation généralise les travaux de Valdimarsson [34] au cas régularisé et anisotrope.

D. Applications (Section 5)

Le papier applique ces résultats pour :

• Améliorer les inégalités d'hypercontractivité régularisées (en lien avec les travaux de Chen-Dafnis-Paouris).
• Établir des inégalités pour des vecteurs aléatoires gaussiens centrés avec des matrices de covariance contraintes.
• Fournir des bornes précises pour des inégalités de type Barthe inverses.

4. Signification et Impact

Ce travail est significatif pour plusieurs raisons :

1. Unification : Il unifie les approches par transport optimal et par flot de chaleur pour traiter les inégalités de Brascamp-Lieb, offrant une perspective complète sur la régularisation.
2. Généralisation : Il étend les résultats classiques (Lieb, Barthe, Carlen-Loss) au cadre régularisé où les fonctions sont contraintes par des conditions de convexité logarithmique, ce qui est crucial en géométrie convexe et en théorie de l'information.
3. Complétude : Il résout le problème de la caractérisation des extrémiseurs pour le cas régularisé, montrant que la structure des solutions est riche (mélange de gaussiennes et de fonctions arbitraires sur des sous-espaces) et non triviale.
4. Outils Nouveaux : La preuve d'un théorème de contraction de Caffarelli anisotrope (Appendice A) constitue un outil technique indépendant qui pourrait être réutilisé dans d'autres problèmes d'analyse géométrique et d'équations aux dérivées partielles.

En résumé, ce papier fournit une théorie complète des inégalités de Brascamp-Lieb régularisées, reliant la finitude des constantes, l'existence d'extremiseurs gaussiens et la description précise de la forme de tous les extrémiseurs, en s'appuyant sur une synthèse élégante du transport optimal et de l'analyse par flot de chaleur.