[论文解读] Dynamical Sampling on Finite Index Sets

Carlos Cabrelli, Ursula Molter+2 more|arXiv (Cornell University)|Feb 11, 2017

Mathematical Analysis and Transform Methods参考文献 10被引用 5

一句话总结

本文为有界算子作用于有限个向量的迭代在希尔伯特空间中构成框架提供了必要且充分条件，利用谱理论与复分析工具，对正规算子给出了完整刻画。此外，本文还对非正规算子建立了强有力的结构约束，表明为使动态采样成功，此类算子必须与一类特殊类型的压缩算子相似。

ABSTRACT

We consider bounded operators $A$ acting iteratively on a finite set of vectors $\{f_i : i\in I\}$ in a Hilbert space $\mathcal H$ and address the problem of providing necessary and sufficient conditions for the collection of iterates $\{A^nf_i : i\in I,\,n=0,1,2,\ldots\}$ to form a frame for the space $\mathcal H$. For normal operators $A$ we completely solve the problem by proving a characterization theorem. Our proof incorporates techniques from different areas of mathematics, such as operator theory, spectral theory, harmonic analysis, and complex analysis in the unit disk. In the second part of the paper we drop the strong condition on $A$ to be normal. Despite this quite general setting, we are able to prove a characterization which allows to infer many strong necessary conditions on the operator $A$. For example, $A$ needs to be similar to a contraction of a very special kind. We also prove a characterization theorem for the finite-dimensional case. --- These results provide a theoretical solution to the so-called Dynamical Sampling problem where a signal $f$ that is evolving in time through iterates of an operator $A$ is spatially sub-sampled at various times and one seeks to reconstruct the signal $f$ from these spatial-temporal samples.

研究动机与目标

• 确定有界算子作用于有限个向量时，其迭代在希尔伯特空间中构成框架的必要且充分条件。
• 通过刻画演化信号的空间-时间采样何时能重构原始信号，解决动态采样问题。
• 将框架理论扩展至由算子迭代生成的系统，特别是在有限维空间与正规算子情形下。
• 统一运用算子理论、谱理论、调和分析与单位圆盘上的复分析技术，解决此逆问题。

提出的方法

• 利用正规算子的谱理论与函数演算，将框架条件转化为 Hardy 空间 $ H^2(\mathbb{D}) $ 中的插值性质。
• 应用单位圆盘上的复分析，特别是伪双曲度量 $ \varrho(z,w) $，分析谱序列的分离性与插值性。
• 采用 $ m_r $-分离序列与指标 $ \operatorname{ind}(\Lambda) $ 的概念，刻画与框架性质相关的谱点结构。
• 通过 $ H^2(\mathbb{D}) $ 中相关核函数的有界性与插值行为，推导出框架性质的刻画。
• 对于非正规算子，证明算子必须与一类极特殊的压缩算子相似，该类算子由谱条件与稳定性条件导出。
• 利用框架界与伴随系统贝塞尔性质之间的对偶性，推导出必要条件。

实验结果

研究问题

• RQ1 当 $ A $ 为正规算子时，集合 $ \{A^n f_i : i \in I, n \geq 0\} $ 在希尔伯特空间 $ \mathcal{H} $ 中构成框架的条件是什么？
• RQ2 非正规算子 $ A $ 必须满足何种结构约束，才能使其在有限个向量上的迭代构成框架？
• RQ3 框架性质如何与算子 $ A $ 的谱在单位圆盘中的插值性质相关联？
• RQ4 伪双曲度量 $ \varrho(z,w) $ 在刻画谱序列的分离性与密度方面起什么作用？
• RQ5 在有限维希尔伯特空间中，动态采样问题能否被完全刻画？其必要且充分条件是什么？

主要发现

• 对于正规算子，系统 $ \{A^n f_i\} $ 构成框架当且仅当 $ A $ 的谱是 $ H^2(\mathbb{D}) $ 的插值集，且向量 $ f_i $ 满足有界性条件。
• 框架性质等价于 $ H^2(\mathbb{D}) $ 中相关核函数存在统一的下界框架常数，该常数与谱点之间的伪双曲距离相关。
• 在非正规情形下，算子 $ A $ 必须与一类极特殊的压缩算子相似——具体而言，其谱测度需满足强稳定性和分离性条件。
• 谱序列 $ \Lambda $ 的指标 $ \operatorname{ind}(\Lambda) $ 等于 $ m_r $ 在 $ r \in (0,r_0] $ 上的下确界，该值决定了 $ \Lambda $ 可被划分为的最多分离子序列数。
• 在有限维空间中，本文给出了迭代构成框架的完全刻画，将问题简化为 $ A $ 的秩与谱条件。
• 本文证明：若存在 $ r_0 \in (0,1) $ 使得 $ m_r < \infty $，则 $ \Lambda $ 是至多 $ m_{r_0} $ 个分离序列的并集，从而将几何分离性与框架理论联系起来。