[논문 리뷰] Lebesgue inequalities for Chebyshev Thresholding Greedy Algorithms

Pablo M. Berná, Óscar Blasco외 3명|arXiv (Cornell University)|2018. 11. 10.

Sparse and Compressive Sensing Techniques인용 수 1

한 줄 요약

이 논문은 일반 베르누이 공간에서 M-기저를 갖는 체비셰프 임계값 그뢰디 알고리즘(CTGA)에 대해 개선된 르베그 유형 부등식을 수립하며, 준-그뢰디 및 민주화 상수와 같은 기저 매개변수에 따라 체비셰프 르베그 매개변수 $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-기저에서 체비셰프 르베그 매개변수 $L^{\text{ch},t}_m$ 의 정밀한 상한을 수립하기 위해.
• 최근 [18]에서 제기된 $L^{\text{ch},t}_m$ 의 상한에 대한 주장들을 수정하고 정교화하기 위해.
• [18]에서 남겨진 상한의 최적성과 구조에 대한 열린 질문에 답하기 위해.
• 모든 $x \in X$ 에 대해 체비셰프 그뢰디 알고리즘이 노름 수렴하는 조건을 명확히 하기 위해, 특히 강한 M-기저의 역할을 밝혀내기 위해.
• 일반 기저에서 초-민주화와 쌍대 초-민주화 매개변수 간의 관계를 특성화하기 위해.

제안 방법

• 조건성 상수 $K = \sup_{n,j} \|e^*_n\|\|e_j\|$ 를 사용하여 $L^{\text{ch},t}_m$ 의 일반적인 상한을 유도한다.
• 잔차 노름의 최소화를 통한 그뢰디 집합과 체비셰프 근사의 정교한 분석을 적용한다.
• 쌍대성과 $\|1_\varepsilon A\|/\|1_\eta B\|$ 를 포함한 지표 합 추정을 통해 르베그 매개변수를 유계로 제한한다.
• quasi-그뢰디 추정을 정교화하기 위해 $\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, 정리 3.5]에서 주장된 상한은 올바른가? 만약 아니라면 올바른 형태는 무엇인가?
• RQ3 일반 기저에서 $\tilde{\mu}_m$ 과 $\tilde{\mu}^d_m$ 간의 관계는 무엇이며, 언제 동치가 되는가?
• RQ4 모든 $x \in X$ 에 대해 $\|x - \text{CG}^t_m x\| \to 0$ 이 성립하는 조건은 무엇인가?
• RQ5 강한 M-기저 가정 없이도 체비셰프 그뢰디 알고리즘의 수렴을 보장할 수 있는가?

주요 결과

• 논문은 모든 $m \in \mathbb{N}$ 과 $t \in (0,1]$ 에 대해 날카운 상한 $L^{\text{ch},t}_m \leq 1 + (1 + 1/t)Km$ 을 수립하며, 특정 예시에서 등호가 달성 가능하다고 보여준다.
• 이 상한은 [9]의 이전 결과를 향상시키며, 특히 [18]의 정리 3.5에서의 오류 주장도 수정한다.
• 저자들은 일반 기저에서 $\tilde{\mu}^d_m$ 가 $\tilde{\mu}_m$ 보다 훨씬 작을 수 있음을 보이며, 다만 샤우드 기저에서는 이 둘이 동치가 된다고 밝힌다.
• 논문은 $\lim_{m \to \infty} \|x - \text{CG}^t_m x\| = 0$ 이 모든 $x \in X$ 에 대해 성립함과 동시에 $B$ 가 강한 M-기저일 필요충분조건임을 증명한다.
• $\limsup_{N \to \infty} \tilde{\mu}_N / (\tilde{\mu}^d_N)^{2-\varepsilon} = \infty$ 를 보여, 일반적으로 $\tilde{\mu}^d_N$ 가 $\tilde{\mu}_N$ 을 제어할 수 없음을 시사한다.
• 강한 M-기저 조건과 준-그뢰디 조건 하에서, $C_q$ 를 포함한 균일한 상한을 갖는다.
• 약한 그뢰디 알고리즘 $G^t_m x$ 가 $x$ 로 수렴함을 증명하며, 이는 $C_q$ 를 포함한 균일한 상한을 갖는다.