[论文解读] Functional Donoho-Stark-Elad-Bruckstein-Ricaud-Torrésani Uncertainty Principle

K. Mahesh Krishna|arXiv (Cornell University)|Apr 5, 2023

Advanced Harmonic Analysis Research被引用 5

一句话总结

本文引入了一种新的不确定性原理——'函数型Donoho-Stark-Elad-Bruckstein-Ricaud-Torrésani不确定性原理'——适用于有限维Banach空间，基于p-Schauder框架。该原理通过建立两个对偶框架中信号表示的稀疏性度量乘积的下界，推广了经典不确定性原理，其中下界由框架元素之间互内积的最大绝对值决定。

ABSTRACT

Let $(\{f_j\}_{j=1}^n, \{τ_j\}_{j=1}^n)$ and $(\{g_k\}_{k=1}^m, \{ω_k\}_{k=1}^m)$ be p-Schauder frames for a finite dimensional Banach space $\mathcal{X}$. Then for every $x \in \mathcal{X}\setminus\{0\}$, we show that \begin{align} (1) \quad \|θ_f x\|_0^\frac{1}{p}\|θ_g x\|_0^\frac{1}{q} \geq \frac{1}{\displaystyle\max_{1\leq j\leq n, 1\leq k\leq m}|f_j(ω_k)|}\quad ext{and} \quad \|θ_g x\|_0^\frac{1}{p}\|θ_f x\|_0^\frac{1}{q}\geq \frac{1}{\displaystyle\max_{1\leq j\leq n, 1\leq k\leq m}|g_k(τ_j)|}. \end{align} where \begin{align*} θ_f: \mathcal{X} i x \mapsto (f_j(x) )_{j=1}^n \in \ell^p([n]); \quad θ_g: \mathcal{X} i x \mapsto (g_k(x) )_{k=1}^m \in \ell^p([m]) \end{align*} and $q$ is the conjugate index of $p$. We call Inequality (1) as extbf{Functional Donoho-Stark-Elad-Bruckstein-Ricaud-Torrésani Uncertainty Principle}. Inequality (1) improves Ricaud-Torrésani uncertainty principle extit{[IEEE Trans. Inform. Theory, 2013]}. In particular, it improves Elad-Bruckstein uncertainty principle extit{[IEEE Trans. Inform. Theory, 2002]} and Donoho-Stark uncertainty principle extit{[SIAM J. Appl. Math., 1989]}.

研究动机与目标

• 将经典调和分析中的不确定性原理推广至有限维Banach空间的框架。
• 将不确定性原理的适用范围从正交基和Parseval框架扩展至p-Schauder框架。
• 推导一个函数不等式，以限制两个对偶框架系统中信号表示的稀疏性。
• 统一并改进先前结果，包括Donoho-Stark、Elad-Bruckstein及Ricaud-Torrésani的研究。
• 确定在何种条件下，所推导的不确定性不等式中等号成立。

提出的方法

• 通过X与对偶空间X*中序列的对偶对，定义有限维Banach空间X中的p-Schauder框架。
• 利用分析算子θ_f与θ_g将x ∈ X映射到ℓ^p([n])与ℓ^p([m])中的系数序列，保持等距性质。
• 应用Hölder不等式与三角不等式，通过涉及f_j(ω_k)与g_k(τ_j)的交叉项来界定x的ℓ^p范数。
• 利用p的共轭指标q，推导涉及‖θ_f x‖_0^{1/p}与‖θ_g x‖_0^{1/q}的对偶不等式。
• 通过界定最大交叉项|f_j(ω_k)|与|g_k(τ_j)|，推导出不确定性下界。
• 利用框架重构性质与等距性，确保推导过程中范数的一致性。

实验结果

研究问题

• RQ1 在何种p-Schauder框架条件下，所提出的不确定性原理中等号成立？
• RQ2 在Banach空间背景下，新不确定性原理如何推广Donoho-Stark与Elad-Bruckstein不等式？
• RQ3 当框架元素为正交或Parseval时，不确定性界是否可进一步收紧或优化？
• RQ4 对偶框架结构在非Hilbert空间中实现不确定性不等式中起到何种作用？
• RQ5 当框架元素发生扰动或p值改变时，不确定性原理的行为如何变化？

主要发现

• 本文为有限维Banach空间中的p-Schauder框架建立了新的不确定性原理，推广了希尔伯特空间设定下的先前结果。
• 对任意非零x ∈ X，不等式‖θ_f x‖_0^{1/p} ‖θ_g x‖_0^{1/q} ≥ 1 / max_{j,k} |f_j(ω_k)| 成立，其中q为p的共轭指标。
• 对称不等式亦成立：‖θ_g x‖_0^{1/p} ‖θ_f x‖_0^{1/q} ≥ 1 / max_{j,k} |g_k(τ_j)|。
• 该结果通过将Ricaud-Torrésani不确定性原理从希尔伯特空间中的Parseval框架推广至Banach空间中的p-Schauder框架，实现了改进。
• 当框架为正交或空间为ℓ^2时，Elad-Bruckstein与Donoho-Stark不确定性原理可作为特例恢复。
• 不确定性界中的等号成立条件由单一主导交叉项|f_j(ω_k)|或|g_k(τ_j)|的存在所表征，暗示了框架对齐的结构性条件。