[论文解读] Entropy and Minimax Risk of Hypoelliptic Pseudodifferential Operators

Thomas Allard, Helmut Bölcskei|arXiv (Cornell University)|Mar 24, 2026

Spectral Theory in Mathematical Physics被引用 0

一句话总结

该论文推导出基于符号的紧致 hypoelliptic 假微分算子熵和极小极大风险的渐近，并将结果应用于在无界区域上的 Sobolev 空间，将 Pinsker 型定理扩展到这一情形。

ABSTRACT

We characterize the entropy and minimax risk of a broad class of compact pseudodifferential operators. Under suitable decay and regularity conditions on the symbol, we combine a Weyl-type asymptotic relation between the eigenvalue-counting function and the phase-space volume of the symbol with a general correspondence between spectral quantities, entropy, and minimax risk for compact operators. This approach yields explicit asymptotic formulae for both entropy and minimax risk directly in terms of the symbol. As an application, we derive sharp entropy and minimax risk asymptotics for unit balls in Sobolev spaces on unbounded domains, thereby extending Pinsker's theorem for Sobolev classes beyond the bounded-domain setting, and showing that the sharp asymptotic constants are determined by phase-space geometry rather than domain geometry.

研究动机与目标

• 将度量熵作为算子像的复杂度度量并将其与极小极大风险在统一框架中联系起来。
• 发展基于符号的方法，给出广义紧致 hypoelliptic 算子的显式熵和极小极大风险渐近。
• 将由符号编码的相空间局部化与通过 Weyl 型关系的谱性质和渐近联系起来。
• 将理论应用于无界区域的 Sobolev 空间，并推导具相空间确定常数的 Pinsker 式极小极大刻画。

提出的方法

• 采用谱降维方法，通过正自伴紧算子的特征值计数函数来刻画熵和极小极大风险。
• 利用 Weyl 型渐近关系 M_sigma(lambda) ~ V_sigma(lambda) 将特征值分布与符号的相空间体积联系起来。
• 利用体积函数 V_sigma 和正则变化假设，得到领先阶的熵和极小极大风险公式。
• 证明熵和极小极大风险只依赖符号而非所选量化（左量化、右量化或 Weyl 量化）。
• 给出熵 H_sigma(epsilon) 与极小极大风险 R_sigma(kappa) 的算子层表达式，形式为相空间对符号的积分。

实验结果

研究问题

• RQ1 紧致 hypoelliptic 假微分算子在符号给定下的熵与极小极大风险的渐近行为如何？
• RQ2 通过符号与体积函数 V_sigma 的相空间几何性如何决定这些渐近？
• RQ3 是否能利用基于符号的谱降维将 Pinsker 型极小极大结果推广到无界区域的 Sobolev 空间？

主要发现

• 算子熵在渐近下为 H_sigma(epsilon) ~ ∫_{R^{2d}} log_+(sigma(x,omega)/epsilon) dx d omega 当 epsilon -> 0。
• 极小极大风险呈渐近形式 R_sigma(kappa) ~ kappa^2 ∫_{R^{2d}} (1 - epsilon_kappa/sigma(x,omega))_+ dx d omega，其中 epsilon_kappa 以隐式方式确定。
• 在 V_sigma 的正则变化性条件下，熵由符号在相空间上的积分所捕捉，与量化选择无关。
• 推论显示 H_sigma(epsilon) = ∫ log_+(sigma/epsilon) 在相空间上，并且当 T_sigma^{-1} 可逆时 H_{T^{-1}_sigma^{-1}}(epsilon) ~ H_sigma(epsilon)。
• 应用部分展示了在无界区域的 Sobolev 空间单位球的尖锐熵与极小极大风险渐近，将 Pinsker 定理扩展至无界情形。
• 熵与极小极大速率表达式中的常数由相空间几何决定，而非区域几何。