The many-body Blaschke-Santaló type inequality via optimal transport

Resumo Técnico: A Desigualdade do Tipo Blaschke–Santaló de Muitos Corpos via Transporte Ótimo

Enunciado do Problema
O artigo aborda um limite superior agudo para o produto de volumes "de muitos corpos" de conjuntos mensuráveis com simetria em relação à origem em $\mathbb{R}^n$. Especificamente, dados $k$ conjuntos $K_1, \dots, K_k \subset \mathbb{R}^n$ com volume finito, os autores investigam a restrição onde a soma dos produtos internos bilaterais é limitada:
$$\sum_{1 \le i < j \le k} \langle x_i, x_j \rangle \le C_k, \quad \forall x_i \in K_i, x_ j \in K_j,$$
onde $C_k = \binom{k}{2}$. O objetivo é provar a desigualdade conjecturada:
$$\prod_{i=1}^k |K_i| \le |B_n|^k,$$
onde $|B_n|$ é o volume da bola unitária euclidiana. Além disso, o artigo visa caracterizar os casos de igualdade, distinguindo entre o caso de dois corpos ($k=2$) e o caso de muitos corpos ($k \ge 3$). Este problema surge como um contraparte geométrica de desigualdades funcionais propostas por Kolesnikov e Werner e por Kalantzopoulos e Saroglou.

Metodologia
A prova sintetiza ferramentas de transporte ótimo multi-marginal e geometria pseudo-euclidiana. A metodologia procede através dos seguintes passos lógicos:

1. Convexificação: O problema é primeiro reduzido de conjuntos mensuráveis gerais para corpos convexos com simetria em relação à origem, substituindo os conjuntos por seus fechos convexos, preservando a restrição de interação.
2. Formulação de Transporte Ótimo: Os autores utilizam o problema de transporte ótimo multi-marginal quadrático. Eles consideram o baricentro de Wasserstein de pesos iguais $\nu$ das medidas uniformes em $K_i$. Pelo teorema de Brenier, existem mapas de transporte ótimo $T_i = \nabla \phi_i$ de $\nu$ para as medidas uniformes em $K_i$.
3. Estrutura Pseudo-Euclidiana: O suporte do plano ótimo $\gamma = (T_1, \dots, T_k)_\# \nu$ é analisado. Os autores definem uma forma bilinear $B$ em $(\mathbb{R}^n)^k$ tal que $B(X, X) = 2 \sum_{i<j} \langle x_i, x_j \rangle$. Esta forma induz uma métrica pseudo-euclidiana de assinatura $(n, n(k-1))$.
4. Representação por Gráfico: Usando dualidade de Kantorovich e monotonicidade cíclica, mostra-se que o suporte $\Gamma$ do plano ótimo é o gráfico de um mapa ímpar e 1-Lipschitz $f: A \to \mathbb{R}^{n(k-1)}$ definido em um subconjunto $A \subset \mathbb{R}^n$. A condição de polaridade traduz-se em uma condição "espacial" (spacelike): $|x|^2 - |f(x)|^2 \le 2C_k$.
5. Estimativas de Volume:
   • Limite Inferior: Derivado das equações de Monge–Ampère que governam os mapas do baricentro. Os autores estabelecem uma desigualdade de determinante aguda relacionando os Jacobianos dos mapas de transporte ao pseudo-volume do gráfico $\Gamma$.
   • Limite Superior: Derivado de uma estimativa de volume pseudo-euclidiana para gráficos espaciais. Os autores adaptam a teoria de Dirichlet de Li para subvariedades maximais espaciais para mostrar que o pseudo-volume de tal gráfico é limitado pelo volume de uma pseudo-bola determinada pela restrição $C_k$.

Contribuições e Resultados Principais

• Prova da Desigualdade Geométrica (Teorema 1.1): Os autores provam que, para quaisquer conjuntos mensuráveis com simetria em relação à origem que satisfaçam a restrição de interação bilateral, o produto de seus volumes é limitado por $|B_n|^k$.
• Rigidez dos Casos de Igualdade: O artigo estabelece uma distinção aguda entre $k=2$ e $k \ge 3$:
  • Caso $k=2$: A igualdade ocorre se, e somente se, $K_1$ e $K_2$ são elipsoides polares duais (ou seja, $K_1 = A B_n$ e $K_2 = A^{-\top} B_n$ para algum $A \in GL(n)$). Isso recupera a invariância afim clássica da desigualdade de Blaschke–Santaló.
  • Caso $k \ge 3$: A igualdade ocorre se, e somente se, todos os conjuntos são bolas euclidianas idênticas ($K_1 = \dots = K_k = B_n$). As restrições bilaterais impõem uma rigidez adicional que elimina a liberdade afim presente no caso de dois corpos.
• Desigualdade Funcional (Teorema 1.2): Utilizando a equivalência geométrico-funcional estabelecida por Kalantzopoulos e Saroglou, o artigo estende estes resultados para um contexto funcional. Prova-se que, para funções pares integráveis $f_i$ que satisfazem uma restrição de produto pontual envolvendo o termo de interação $S_2$, o produto de suas integrais é limitado. Os casos de igualdade são caracterizados de forma semelhante: para $k \ge 3$, as funções devem ser perfis do tipo Gaussiano idênticos (escalonados pelo kernel de interação).
• Nova Ferramenta Geométrica: O artigo introduz uma estimativa de volume pseudo-euclidiana aguda para gráficos espaciais (Lema 4.1), utilizando um argumento de monotonicidade para subvariedades maximais espaciais.

Significância
O artigo afirma ter importância ao resolver uma conjectura sobre o produto de volumes de muitos corpos, demonstrando que a estrutura da igualdade torna-se "rígida" quando o número de corpos excede dois. Esta rigidez contrasta com o caso clássico de dois corpos, onde transformações afins preservam a igualdade. O trabalho une a teoria do transporte ótimo (especificamente problemas multi-marginais com custos quadráticos) e desigualdades isoperimétricas afins. Ao identificar o suporte ótimo como um gráfico espacial em um espaço pseudo-euclidiano, os autores fornecem um novo arcabouço geométrico para analisar interações de muitos corpos, oferecendo uma abordagem unificada tanto para a versão geométrica quanto para a funcional da desigualdade de Blaschke–Santaló. Os resultados confirmam que a extensão de "muitos corpos" desta desigualdade clássica é estritamente mais restritiva que o caso clássico, forçando os extremantes a serem bolas euclidianas em vez de elipsoides gerais.