[论文解读] New Sign Uncertainty Principles

Felipe Gonçalves, Diogo Oliveira e Silva+1 more|arXiv (Cornell University)|Mar 24, 2020

Mathematical functions and polynomials参考文献 32被引用 4

一句话总结

本文提出了一种广义的算子符号不确定性原理，将傅里叶分析中关于符号不确定性的先前工作加以拓展，为各类算子下函数-变换对的负区域测度建立了定量的下界。主要贡献是一个通过插值与对偶性证明的通用不等式，关联了 $L^p$ 与 $L^q$ 范数及符号分布，其应用涵盖傅里叶、哈恩及迪尼级数，并通过线性规划与球体密铺建立联系。

ABSTRACT

We prove new sign uncertainty principles which vastly generalize the recent developments of Bourgain, Clozel & Kahane and Cohn & Gonçalves, and apply our results to a variety of spaces and operators. In particular, we establish new sign uncertainty principles for Fourier and Dini series, the Hilbert transform, the discrete Fourier and Hankel transforms, spherical harmonics, and Jacobi polynomials, among others. We present numerical evidence highlighting the relationship between the discrete and continuous sign uncertainty principles for the Fourier and Hankel transforms, which in turn are connected with the sphere packing problem via linear programming. Finally, we explore some connections between the sign uncertainty principle on the sphere and spherical designs.

研究动机与目标

• 将 Bourgain–Clozel–Kahane 与 Cohn–Gonçalves 最近提出的符号不确定性原理推广至一类广泛的算子与函数空间。
• 建立一个通用不等式，量化一般算子下函数及其变换的负支撑大小之间的权衡。
• 将新原理应用于多种场景，包括傅里叶与迪尼级数、希尔伯特与哈恩变换、球谐函数及雅可比多项式。
• 探索离散与连续符号不确定性原理之间的数值联系，及其在通过线性规划研究球体密铺问题中的相关性。
• 研究球面上符号不确定性与球面设计之间的联系，特别是在极值函数的背景下。

提出的方法

• 通过 $L^p$ 空间中的插值与对偶性推导广义算子符号不确定性原理，对 $L^1$、$L^p$ 与 $L^q$ 范数施加约束。
• 定义函数对 $(f,g)$ 的族 $\mathcal{F}$，其通过可逆算子 $T$ 关联，且满足符号与积分约束：$\int f \leq 0$，$\int g \leq 0$。
• 应用霍尔德不等式与共轭指数关系 ($p'$, $q'$) 推导负支撑测度乘积的关键下界。
• 使用 Gurobi 求解器配合 PARI/GP 接口，计算离散哈恩与傅里叶变换的数值可行性。
• 通过分析表格中可行参数对 $(k, q_\pm)$ 的关系，建立符号不确定性与线性规划界之间的联系。
• 利用对称性与对偶性，通过已知的正交函数理论将结果推广至球谐函数与雅可比多项式。

实验结果

研究问题

• RQ1 符号不确定性原理能否超越傅里叶变换，推广至任意算子与函数空间？
• RQ2 在一般 $L^p$-有界算子下，函数及其变换的负支撑的最小测度是多少？
• RQ3 离散与连续符号不确定性原理之间有何关系，特别是在通过线性规划研究球体密铺的背景下？
• RQ4 球面设计在球面上的符号不确定性原理中起什么作用？
• RQ5 新原理能否用于推导迪尼级数、哈恩变换与盖普曼多项式的新的界？

主要发现

• 本文建立了新的通用符号不确定性原理：对任意非零 $(f,g) \in \mathcal{F}$，函数 $f$ 的负集在 $L^{p'}$ 范数与 $g$ 的负集在 $L^q$ 范数的乘积，其下界为 $a^{-1} b^{-q'/q} (2c)^{-q'}$。
• 数值表格显示，对于离散傅里叶变换，$(-1, \frac{d}{2}-1)$-可行对 $(k, q_-)$ 随维度 $d$ 增大而增长，且 $q_-$ 值随 $d$ 增加而减小，表明在高维中界限更紧。
• 对于离散哈恩变换，$(-1, \frac{d}{2}-1)$-可行的 $q_-$ 值随 $d$ 增大而减小，表格确认了在 $k \leq 30$，$d \leq 30$ 范围内可行，且随着 $k$ 增大，$q_-$ 从 3 降至 10。
• 表 3 中的 $ (+1, \frac{d}{2}-1) $-可行 $q_+$ 值表现出类似趋势：$q_+$ 随 $k$ 与 $d$ 增大而减小，表明在 $k$ 与 $d$ 较大时不确定性界限更紧。
• 作者证明了连续与离散符号不确定性原理之间存在数值关联，离散情形与连续情形相匹配，暗示存在更深层次的结构联系。
• 结果通过线性规划将符号不确定性与球体密铺问题联系起来，因为 $(-1, \frac{d}{2}-1)$-对的可行性对应于 Cohn–Elkies 线性规划框架中的已知界。