Analyse fonctionnelle

An entropic generalization of Caffarelli’s contraction theorem via covariance inequalities

[Une généralisation entropique du théorème de contraction de Caffarelli à l’aide d’inégalités de covariance]

Chewi, Sinho¹ ; Pooladian, Aram-Alexandre² 

¹ School of Mathematics, Institute for Advanced Study, Princeton, USA
² Center for Data Science, New York University, New York, USA

Comptes Rendus. Mathématique, Tome 361 (2023) no. G9, pp. 1471-1482

Abstract (VO)

The optimal transport map between the standard Gaussian measure and an $\alpha$-strongly log-concave probability measure is ${\alpha }^{-1/2}$-Lipschitz, as first observed in a celebrated theorem of Caffarelli. In this paper, we apply two classical covariance inequalities (the Brascamp–Lieb and Cramér–Rao inequalities) to prove a sharp bound on the Lipschitz constant of the map that arises from entropically regularized optimal transport. In the limit as the regularization tends to zero, we obtain an elegant and short proof of Caffarelli’s original result. We also extend Caffarelli’s theorem to the setting in which the Hessians of the log-densities of the measures are bounded by arbitrary positive definite commuting matrices.

Résumé

La fonction de transport optimale entre la mesure gaussienne standardisée et une mesure de probabilité $\alpha$-fortement log-concave est ${\alpha }^{-1/2}$-Lipschitz, comme l’a noté Caffarelli dans le célèbre théorème qui porte désormais son nom. Dans ce travail, nous utilisons deux inégalités de covariance classiques (l’inégalité de Brascamp–Lieb ainsi de celle de Cramèr–Rao) pour établir une borne optimale sur la constante de Lipschitz de la fonction de transport associée au transport optimal avec régularisation entropique. En étudiant le cas limite où l’effet de la régularisation disparait, nous obtenons une démonstration courte et élegante du théorème de Caffarelli. De surcroît, cette approche nous permet d’étendre la validité du théoreme de Caffarelli au cas de log-densités dont les hessiens sont contrôlés par des matrices positives définies qui peuvent être choisies arbitrairement tant qu’elles commutent entre elles.

Détail

Reçu le : 2022-11-14
Révisé le : 2023-02-17
Accepté le : 2023-03-02
Publié le : 2023-11-10

DOI : 10.5802/crmath.486

Licence : CC-BY 4.0

Droits d'auteur : Les auteurs conservent leurs droits