The isoperimetric inequality for the Ky Fan norm

技术摘要：Ky Fan 范数的等周不等式

问题陈述
本文解决了 Nicola、Riccardi 和 Tilli 关于 Bargmann–Fock 空间 $F^2(\mathbb{C})$ 上 Toeplitz 算子等周性质的一个猜想。具体而言，研究了具有符号 $1_\Omega$（有限面积 $s$ 的可测集 $\Omega \subset \mathbb{C}$ 的指示函数）的 Toeplitz 算子 $T_\Omega$ 的前 $N$ 个特征值之和的最大化问题。

虽然此前已证明圆盘最大化了最大特征值 $\lambda_1(\Omega)$（即短时傅里叶变换的 Faber–Krahn 不等式），但对于 $N > 1$ 的特征值之和 $\sum_{k=1}^N \lambda_k(\Omega)$，其行为更为复杂。对于 $k > 1$ 的单个特征值，等周不等式并不成立；例如，在径向集合中，圆环最大化 $\lambda_2(\Omega)$，且如果移除径向假设，圆对称性会完全崩溃。核心问题在于，Ky Fan 范数（前 $N$ 个特征值的和）所固有的“精细平均”能量，是否能在不要求径向对称性的情况下，恢复圆盘对任意可测集的优越性。

方法论
证明过程采用了谱理论、量子信息论和重排不等式的创新综合。该方法通过以下三个主要步骤进行：

1. 通过密度算子的 Ky Fan 表示法：
   作者利用 Ky Fan 最大值原理，将前 $N$ 个特征值的和重新表述为与秩为 $N$ 的正交投影相关的 Husimi 函数的最大浓度。具体而言，对于密度算子 $\rho_P = \frac{1}{N}P$（其中 $P$ 是秩为 $N$ 的投影），该和可以表示为：
   $$\frac{1}{N} \sum_{j=1}^N \lambda_j(\Omega) = \max_{P} \int_\Omega Q_{\rho_P}(z) \, dA(z)$$
   其中 $Q_{\rho_P}$ 是状态 $\rho_P$ 的 Husimi 函数。

2. De Palma 的主次化定理（Majorization Theorem）：
   论证利用了 De Palma、Trevisan 和 Giovannetti 在量子信息理论中的一项深刻结果。该定理指出，在具有固定谱的所有密度算子中，“被动重排”（即特征值沿 Fock 基按降序排列）在凸积分意义下最大化了 Husimi 函数的浓度。通过将此应用于特定的秩为 $N$ 的投影，作者表明，最大化在任何集合 $\Omega$ 上积分的最优状态是那些特征值分布在最低能量 Fock 态（$e_0, \dots, e_{N-1}$）中的状态。

3. 浴缸原理（The Bathtub Principle）：
   一旦确定了最优状态为在 Fock 基下是对角化的且具有递减特征值的状态，其 Husimi 函数被证明是径向的，且从原点向外严格递减。问题随后转化为：在给定面积 $s$ 的条件下，寻找能使该径向递减函数积分最大化的集合 $\Omega$。根据浴缸原理，该集合必然是中心圆盘 $D_s$。

主要贡献与结果

• 确认了猜想： 本文证明了对于任何具有有限面积 $s$ 的可测集 $\Omega$，Ky Fan 范数由面积为 $s$ 的圆盘 $D_s$ 最大化。其精确上界为：
  $$\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!}$$
  该结果在不对 $\Omega$ 进行光滑性、有界性或连通性假设的情况下依然成立。
• 等周 Schatten 不等式： 作为推论，本文建立了所有 Schatten $p$-范数（$0 < p < \infty$）的等周不等式。它表明，对于 $p > 1$，圆盘最大化 Schatten $p$-范数；而对于 $0 < p < 1$，圆盘最小化拟范数（在算子属于相应类别的条件下）。这扩展了以往仅限于径向集合或特定 $p$ 值（如 $p=2$）的研究结果。
• 技术新颖性： 本工作引入了来自量子信息理论的方法（特别是密度算子的 Fock 重排）来解决经典的时间-频率分析中的形状优化问题。这种方法绕过了以往用于 Faber–Krahn 证明的微分不等式技术，而后者不足以处理特征值之和的情况。

意义与范围
本文声称解决了关于“谱图累积”（accumulation of spectrograms）的一个重要开放问题，证明了虽然单个高阶特征值可能偏好非圆形形状（如圆环），但前 $N$ 个模式的累积能量严格由圆盘优化。

作者明确指出了当前工作的局限性：

• 该方法并未解决单个特征值 $\lambda_k(\Omega)$（其中 $k > 1$）的形状优化问题（引言中的问题 P.1），由于对称性破缺，这仍然是一个开放的挑战。
• 证明确立了圆盘作为极大值者的存在性，但并未讨论在平移和零测集意义下的最优集合的唯一性。
• 由于依赖于 Fock 空间的特定结构和解析性（通过 De Palma 定理），目前的结果仅适用于此特定设置，尽管论文指出对于更一般的窗函数存在受限的双侧不等式。

总之，本文利用源自量子信息论的“全新视角”，为 Nicola-Riccardi-Tilli 关于 Ky Fan 范数的猜想提供了肯定的回答，从而在缺乏径向对称性的情况下处理了形状优化问题。