The isoperimetric inequality for the Ky Fan norm

Resumo Técnico: A Desigualdade Isoperimétrica para a Norma de Ky Fan

Enunciado do Problema
O artigo aborda uma conjectura de Nicola, Riccardi e Tilli relativa às propriedades isoperimétricas de operadores de Toeplitz no espaço de Bargmann–Fock $F^2(\mathbb{C})$. Especificamente, investiga-se a maximização da soma dos primeiros $N$ autovalores do operador de Toeplitz $T_\Omega$ com símbolo $1_\Omega$ (a função indicadora de um conjunto mensurável $\Omega \subset \mathbb{C}$ de área finita $s$).

Embora tenha sido estabelecido anteriormente que um disco maximiza o maior autovalor $\lambda_1(\Omega)$ (a desigualdade de Faber–Krahn para a transformada de Fourier de tempo curto), o comportamento das somas de autovalores $\sum_{k=1}^N \lambda_k(\Omega)$ para $N > 1$ é mais complexo. Para autovalores individuais com $k > 1$, a desigualdade isoperimétrica falha; por exemplo, entre conjuntos radiais, um anel maximiza $\lambda_2(\Omega)$, e a simetria circular quebra-se inteiramente se a suposição radial for removida. A questão central é se a "média fina" da energia inerente à norma de Ky Fan (a soma dos primeiros $N$ autovalores) restaura a otimalidade do disco para conjuntos mensuráveis arbitrários, sem exigir simetria radial.

Metodologia
A prova emprega uma nova síntese de teoria espectral, teoria da informação quântica e desigualdades de rearranjo. A metodologia procede através de três etapas principais:

1. Representação de Ky Fan via Operadores de Densidade:
   O autor utiliza o princípio de máximo de Ky Fan para reformular a soma dos primeiros $N$ autovalores. Em vez de visualizar a soma como uma propriedade do operador $T_\Omega$ atuando sobre funções individuais, ela é representada como a máxima concentração da função de Husimi associada a projeções ortogonais de posto-$N$. Especificamente, para um operador de densidade $\rho_P = \frac{1}{N}P$, onde $P$ é uma projeção de posto-$N$, a soma é dada por:
   $$\frac{1}{N} \sum_{j=1}^N \lambda_j(\Omega) = \max_{P} \int_\Omega Q_{\rho_P}(z) \, dA(z)$$
   onde $Q_{\rho_P}$ é a função de Husimi do estado $\rho_P$.

2. Teorema de Majorização de De Palma:
   O argumento baseia-se em um resultado profundo da teoria da informação quântica de De Palma, Trevisan e Giovannetti. Este teorema afirma que, entre todos os operadores de densidade com um espectro fixo, o "rearranjo passivo" (onde os autovalores são ordenados decrescentemente ao longo da base de Fock) maximiza a concentração da função de Husimi no sentido de integrais convexas. Ao aplicar isso ao caso específico de projeções de posto-$N$, o autor mostra que o estado ótimo para maximizar a integral sobre qualquer conjunto $\Omega$ é aquele onde os autovalores são distribuídos entre os estados de Fock de menor energia ($e_0, \dots, e_{N-1}$).

3. O Princípio da Banheira (Bathtub Principle):
   Uma vez identificado o estado ótimo como sendo diagonal na base de Fock com autovalores decrescentes, sua função de Husimi é mostrada como radial e estritamente decrescente ao afastar-se da origem. O problema então reduz-se a encontrar o conjunto $\Omega$ de área fixa $s$ que maximiza a integral desta função radial e decrescente. Pelo princípio da banheira, este conjunto é necessariamente o disco centrado $D_s$.

Contribuições Principais e Resultados

• Confirmação da Conjectura: O artigo prova que, para qualquer conjunto mensurável $\Omega$ com área finita $s$, a norma de Ky Fan é maximizada pelo disco $D_s$ de área $s$. A cota aguda é dada por:
  $$\sum_{j=1}^N \lambda_j(\Omega) \le \sum_{j=1}^N \lambda_j(D_s) = N - e^{-s} \sum_{k=0}^{N-1} \frac{(N-k)s^k}{k!}$$
  Este resultado mantém-se sem suposições de suavidade, limitante ou conectividade sobre $\Omega$.
• Desigualdades Isoperimétricas de Schatten: Como corolário, o artigo estabelece desigualdades isoperimétricas para todas as normas Schatten $p$ ($0 < p < \infty$). Demonstra que discos maximizam as normas Schatten $p$ para $p > 1$ e minimizam as quase-normas para $0 < p < 1$ (sob a condição de que o operador pertença às respectivas classes). Isto estende resultados anteriores que eram limitados a conjuntos radiais ou valores específicos de $p$ (por exemplo, $p=2$).
• Novidade Técnica: O trabalho introduz métodos da teoria da informação quântica (especificamente rearranjos de Fock de operadores de densidade) para resolver um problema clássico de otimização de forma em análise de tempo-frequência. Esta abordagem contorna as técnicas de desigualdade diferencial usadas em provas anteriores de Faber–Krahn, que eram insuficientes para somas de autovalores.

Significância e Escopo
O artigo afirma resolver um problema aberto significativo sobre a "acumulação de espectrogramas", demonstrando que, embora os autovalores individuais de ordem superior possam favorecer formas não circulares (como anéis), a energia cumulativa dos primeiros $N$ modos é estritamente otimizada pelo disco.

O autor nota explicitamente as limitações do presente trabalho:

• O método não resolve o problema de otimização de forma para autovalores individuais $\lambda_k(\Omega)$ onde $k > 1$ (Problema P.1 na introdução), que permanece um desafio aberto devido à quebra de simetria.
• A prova estabelece a existência do disco como um maximizador, mas não aborda a unicidade do conjunto ótimo até classes de translação e conjuntos de medida nula.
• A dependência da estrutura específica do espaço de Fock e da analiticidade (via teorema de De Palma) significa que os resultados são atualmente específicos para este cenário, embora o artigo note que desigualdades de dois lados restritas existem para janelas mais gerais.

Em suma, o artigo fornece uma resposta positiva definitiva para a conjectura de Nicola-Riccardi-Tilli para a norma de Ky Fan, utilizando uma "perspectiva completamente nova" derivada da teoria da informação quântica para lidar com a otimização de forma na ausência de simetria radial.