[论文解读] Exponential frames for unbounded sets

Shahaf Nitzan, Alexander Olevskiı̆+1 more|arXiv (Cornell University)|Oct 21, 2014

Mathematical Analysis and Transform Methods参考文献 7被引用 6

一句话总结

本文证明了对于每个有界但测度有限的 Borel 集 $ S \subset \mathbb{R} $，存在一个实频率的离散集合 $ \Lambda \subset \mathbb{R} $，使得指数系统 $ \{ e^{i\lambda t} \}_{\lambda \in \Lambda} $ 构成 $ L^2(S) $ 中的框架。该构造依赖于 Marcus、Spielman 和 Srivastava 最近关于良好可逆子矩阵的成果，确保框架界与 $ |S| $ 成比例，从而在采样和重构中实现近乎最优的稳定性。

ABSTRACT

For every set $S$ of finite measure in $\mathbb{R}$ we construct a discrete set of real frequencies $Λ$ such that the exponential system $\{\exp(iλt),λ\inΛ\}$ is a frame in $L^2(S)$

研究动机与目标

• 解决一个开放问题：对于测度有限的无界集合 $ S \subset \mathbb{R} $，是否存在指数框架在 $ L^2(S) $ 中？
• 建立与 $ |S| $ 成比例的框架界，接近最优。
• 将 Paley–Wiener 空间稳定采样集理论扩展至无界谱的情形。
• 利用近期关于良好可逆子矩阵的结果，通过概率方法非构造性地构建此类框架。

提出的方法

• 利用 Marcus、Spielman 和 Srivastava 关于正交矩阵中良好可逆子矩阵的定理 A，以控制框架界。
• 通过推论 B 的划分论证，递归地将指数系统划分为具有受控框架性质的平衡子集。
• 运用谱分解和傅里叶分析，将 $ L^2(S) $ 中的框架性质与 Paley–Wiener 空间 $ PW_S $ 中的采样联系起来。
• 使用弱极限论证，从有限近似序列 $ \Lambda_k $ 中提取极限频率集 $ \Lambda $，确保框架界在极限下依然保持。
• 利用缩放和平移不变性，将问题约化为长度为 $ 2\pi d $ 的区间内的集合，从而可应用离散采样结果。
• 依赖引理 10 构造 $ \Lambda \subset (1/d)\mathbb{Z} $（当 $ S $ 有界时），然后通过逼近和极限过程将其推广至无界 $ S $。

实验结果

研究问题

• RQ1 是否存在一个离散频率集合 $ \Lambda \subset \mathbb{R} $，使得 $ \{ e^{i\lambda t} \}_{\lambda \in \Lambda} $ 构成每个测度有限的无界集合 $ S \subset \mathbb{R} $ 上 $ L^2(S) $ 中的框架？
• RQ2 这样的框架能否以与 $ |S| $ 成比例的框架界构造，接近最优界 $ a = A = |S| $？
• RQ3 能否基于矩阵分解定理，利用非构造性、概率性方法证明此类框架的存在性？
• RQ4 在长区间中，频率集合 $ \Lambda $ 的渐近密度是多少？它与 $ S $ 的测度有何关系？

主要发现

• 对于每个测度有限的集合 $ S \subset \mathbb{R} $，存在一个离散集合 $ \Lambda \subset \mathbb{R} $，使得 $ \{ e^{i\lambda t} \}_{\lambda \in \Lambda} $ 是 $ L^2(S) $ 中的框架。
• 框架界为 $ c|S| $ 和 $ C|S| $，其中 $ c, C > 0 $ 为绝对常数，确保近乎最优。
• 可选择频率集 $ \Lambda $，使其在长区间中的密度满足 $ k|S| < \#(\Lambda \cap \Omega)/|\Omega| < K|S| $，其中 $ k < 1/(2\pi) $，$ K > 4C $ 为绝对常数。
• 对于任意有界 $ S $，其测度为 $ |S| $，存在一个频率位于 $ (1/d)\mathbb{Z} $ 中的框架，其中 $ d $ 满足 $ S $ 包含于长度为 $ 2\pi d $ 的区间内。
• 该构造依赖于 Marcus–Spielman–Srivastava 关于良好可逆子矩阵的定理，通过递归划分和极限过程实现。
• 通过用递增的有界集合序列 $ S_j $ 近似 $ S $，并取对应频率集 $ \Lambda_j $ 的弱极限，该结果可推广至无界 $ S $。