[論文レビュー] Lebesgue inequalities for Chebyshev Thresholding Greedy Algorithms

Pablo M. Berná, Óscar Blasco+3 more|arXiv (Cornell University)|Nov 10, 2018

Sparse and Compressive Sensing Techniques被引用数 1

ひとこと要約

この論文は、一般のバナッハ空間におけるM基底を備えたChebyshev Thresholding Greedy Algorithm (CTGA)について、Lebesgue型不等式を改善し、準贪婪性および民主的定数などの基底パラメータに基づいて、Chebyshev Lebesgueパラメータ $L^{\text{ch},t}_m$ の鋭い上界を確立する。最近の結果 [18] を是正・精錬し、例を用いて最適性を示し、強いM基底条件の下でCTGAのノルム収束を確立する。

ABSTRACT

We establish estimates for the Lebesgue parameters of the Chebyshev Weak Thresholding Greedy Algorithm in the case of general bases in Banach spaces. These generalize and slightly improve earlier results in [9], and are complemented with examples showing the optimality of the bounds. Our results also correct certain bounds recently announced in [18], and answer some questions left open in that paper.

研究の動機と目的

• 一般のM基底におけるChebyshev Lebesgueパラメータ $L^{\text{ch},t}_m$ の正確な上界を確立すること。
• 最近の[18]における $L^{\text{ch},t}_m$ の上界に関する主張を是正・精錬すること。
• [18]で残された未解決の問題、すなわち上界の最適性と構造に関する問いに答えること。
• すべての $x \in X$ に対してChebyshevグリーディアルゴリズムがノルム収束する条件を明確にすること、特に強いM基底の役割を特定すること。
• 一般基底におけるスーパー民主的および双対スーパー民主的パラメータの関係を同定すること。

提案手法

• 条件性定数 $K = \sup_{n,j} \|e^*_n\|\|e_j\|$ を用いて、$L^{\text{ch},t}_m$ の一般上界を導出する。
• 残差ノルムの最小化によるグリーディセットおよびChebyshev近似の精密分析を適用する。
• 双対性と $\|1_\varepsilon A\|/\|1_\eta B\|$ を含む指標和の推定を用いて、Lebesgueパラメータを評価する。
• 準贪婪性の推定を精錬するために、$\tilde{g}_m = \sup_{G' < G} \|G - G'\|$ の変種を導入・分析する。
• 上界 $L^{\text{ch},t}_m \leq 1 + (1 + 1/t)Km$ の鋭さを示す構成的例を提示する。
• 強いM基底条件の下で $\|x - \text{CG}^t_m x\| \to 0$ のノルム収束を証明し、[18]における不完全な証明を是正する。

実験結果

リサーチクエスチョン

• RQ1 一般のM基底において、上界 $L^{\text{ch},t}_m \leq 1 + (1 + 1/t)Km$ は最適であり、等号が達成可能か？
• RQ2 [18, Theorem 3.5] で主張された上界は正しいか？もしそうでなければ、正しい形は何か？
• RQ3 一般基底において $\tilde{\mu}_m$ と $\tilde{\mu}^d_m$ の関係は何か？また、どのような条件下でこれらが等価になるか？
• RQ4 すべての $x \in X$ に対して $\|x - \text{CG}^t_m x\| \to 0$ が成り立つ条件は何か？
• RQ5 強いM基底仮定なしに、Chebyshevグリーディアルゴリズムの収束を保証できるか？

主な発見

• 本論文は、すべての $m \in \mathbb{N}$ および $t \in (0,1]$ に対して、$L^{\text{ch},t}_m \leq 1 + (1 + 1/t)Km$ の鋭い上界を確立し、特定の例で等号が達成可能であることを示した。
• この上界は、[9]の結果を改善し、特に[18]のTheorem 3.5における誤った主張を是正した。
• 著者らは、一般基底において $\tilde{\mu}^d_m$ が $\tilde{\mu}_m$ よりもはるかに小さくなる可能性があることを示したが、Schauder基底ではこれらが等価であることを確認した。
• すべての $x \in X$ に対して $\lim_{m \to \infty} \|x - \text{CG}^t_m x\| = 0$ が成り立つことは、$B$ が強いM基底であることと同値であることを証明した。
• $\limsup_{N \to \infty} \tilde{\mu}_N / (\tilde{\mu}^d_N)^{2-\varepsilon} = \infty$ であることが示され、一般には $\tilde{\mu}^d_N$ が $\tilde{\mu}_N$ を制御できないことが示された。
• 強いM基底および準贪婪性の条件下で、弱グリーディアルゴリズム $G^t_m x$ が $x$ に収束することを確立し、$C_q$ を含む一様な上界を得た。