The isoperimetric inequality for the Ky Fan norm

Resumen Técnico: La Desigualdad Isoperimétrica para la Norma de Ky Fan

Planteamiento del Problema
El artículo aborda una conjetura de Nicola, Riccardi y Tilli relativa a las propiedades isoperimétricas de los operadores de Toeplitz en el espacio de Bargmann–Fock $F^2(\mathbb{C})$. Específicamente, investiga la maximización de la suma de los primeros $N$ autovalores del operador de Toeplitz $T_\Omega$ con símbolo $1_\Omega$ (la función indicadora de un conjunto medible $\Omega \subset \mathbb{C}$ de área finita $s$).

Si bien se había establecido previamente que un disco maximiza el mayor autovalor $\lambda_1(\Omega)$ (la desigualdad de Faber–Krahn para la transformada de Fourier de tiempo corto), el comportamiento de las sumas de autovalores $\sum_{k=1}^N \lambda_k(\Omega)$ para $N > 1$ es más complejo. Para autovalores individuales con $k > 1$, la desigualdad isoperimétrica falla; por ejemplo, entre conjuntos radiales, un anillo maximiza $\lambda_2(\Omega)$, y la simetría circular se rompe por completo si se elimina la suposición de radialidad. La cuestión central es si el "promedio fino" de la energía inherente a la norma de Ky Fan (la suma de los primeros $N$ autovalores) restaura la optimalidad del disco para cualquier conjunto medible, sin requerir simetría radial.

Metodología
La demostración emplea una síntesis novedosa de la teoría espectral, la teoría de la información cuántica y las desigualdades de reordenamiento. La metodología procede a través de tres pasos principales:

1. Representación de Ky Fan mediante Operadores de Densidad:
   El autor utiliza el principio máximo de Ky Fan para reformular la suma de los primeros $N$ autovalores. En lugar de ver la suma como una propiedad del operador $T_\Omega$ actuando sobre funciones individuales, esta se representa como la máxima concentración de la función de Husimi asociada a proyecciones ortogonales de rango $N$. Específicamente, para un operador de densidad $\rho_P = \frac{1}{N}P$ donde $P$ es una proyección de rango $N$, la suma viene dada por:
   $$\frac{1}{N} \sum_{j=1}^N \lambda_j(\Omega) = \max_{P} \int_\Omega Q_{\rho_P}(z) \, dA(z)$$
   donde $Q_{\rho_P}$ es la función de Husimi del estado $\rho_P$.

2. Teorema de Mayoración de De Palma:
   El argumento aprovecha un profundo resultado de la teoría de la información cuántica de De Palma, Trevisan y Giovannetti. Este teorema establece que, entre todos los operadores de densidad con un espectro fijo, el "reordenamiento pasivo" (donde los autovalores se ordenan decrecientemente a lo largo de la base de Fock) maximiza la concentración de la función de Husimi en el sentido de integrales convexas. Al aplicar esto al caso específico de proyecciones de rango $N$, el autor demuestra que el estado óptimo para maximizar la integral sobre cualquier conjunto $\Omega$ es aquel donde los autovalores se distribuyen entre los estados de Fock de menor energía ($e_0, \dots, e_{N-1}$).

3. El Principio de la Bañera (Bathtub Principle):
   Una vez identificado el estado óptimo como aquel que es diagonal en la base de Fock con autovalores decrecientes, se demuestra que su función de Husimi es radial y decrece estrictamente alejándose del origen. El problema se reduce entonces a encontrar el conjunto $\Omega$ de área fija $s$ que maximiza la integral de esta función radial y decreciente. Por el principio de la bañera, este conjunto es necesariamente el disco centrado $D_s$.

Contribuciones Clave y Resultados

• Confirmación de la Conjetura: El artículo demuestra que, para cualquier conjunto medible $\Omega$ con área finita $s$, la norma de Ky Fan es maximizada por el disco $D_s$ de área $s$. La cota ajustada está 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 se mantiene sin supuestos de suavidad, acotación o conectividad sobre $\Omega$.
• Desigualdades de Schatten Isoperimétricas: Como corolario, el artículo establece desigualdades isoperimétricas para todas las normas Schatten $p$ ($0 < p < \infty$). Demuestra que los discos maximizan las normas Schatten $p$ para $p > 1$ y minimizan las cuasinormas para $0 < p < 1$ (bajo la condición de que el operador pertenezca a las respectivas clases). Esto extiende resultados previos que estaban limitados a conjuntos radiales o valores específicos de $p$ (por ejemplo, $p=2$).
• Novedad Técnica: El trabajo introduce métodos de la teoría de la información cuántica (específicamente reordenamientos de Fock de operadores de densidad) para resolver un problema clásico de optimización de forma en el análisis de tiempo-frecuencia. Este enfoque evita las técnicas de desigualdades diferenciales utilizadas en las demostraciones previas de Faber–Krahn, las cuales eran insuficientes para sumas de autovalores.

Significado y Alcance
El artículo afirma resolver un problema abierto significativo sobre la "acumulación de espectrogramas", demostrando que, si bien los autovalores de orden superior individuales pueden favorecer formas no circulares (como anillos), la energía acumulada de los primeros $N$ modos es estrictamente optimizada por el disco.

El autor señala explícitamente las limitaciones del presente trabajo:

• El método no resuelve el problema de optimización de la forma para autovalores individuales $\lambda_k(\Omega)$ donde $k > 1$ (Problema P.1 en la introducción), lo cual sigue siendo un desafío abierto debido a la ruptura de simetría.
• La demostración establece la existencia del disco como un maximizador, pero no aborda la unicidad del conjunto óptimo salvo por traslaciones y conjuntos de medida nula.
• La dependencia de la estructura específica del espacio de Fock y la analiticidad (vía el teorema de De Palma) significa que los resultados son actualmente específicos para este entorno, aunque el artículo señala que existen desigualdades de dos lados restringidas para ventanas más generales.

En resumen, el artículo proporciona una respuesta positiva definitiva a la conjetura de Nicola-Riccardi-Tilli para la norma de Ky Fan, utilizando una "perspectiva completamente nueva" derivada de la teoría de la información cuántica para manejar la optimización de la forma en ausencia de simetría radial.