[논문 리뷰] A Conditional Quasi-greedy Basis of l_1

S. J. Dilworth, David Mitra|ArXiv.org|2000. 08. 15.

Mathematical Analysis and Transform Methods인용 수 4

한 줄 요약

이 논문은 리ン던스트라우스의 단조 기본수열을 사용하여 $\ell_1$에 대해 조건부 준그리디브 기저를 구성함으로써, $\ell_1$이 비등가(normalized)이지만 준그리디브이면서도 조건부인 기저를 가짐을 보여준다. 주요 기여는 워자츠키의 질문을 해결하는 것인데, 즉 그러한 기저의 존재를 입증하는 것이며, 동시에 관련 계수 함수형들이 준그리디브가 아님을 보여준다.

ABSTRACT

We show that the Lindenstrauss basic sequence in l_1 may be used to construct a conditional quasi-greedy basis of l_1, thus answering a question of Wojtaszczyk. We further show that the sequence of coefficient functionals for this basis is not quasi-greedy.

연구 동기 및 목표

• 워자츠키의 $\ell_1$에서 조건부 준그리디브 기저의 존재에 관한 열린 질문을 해결하기 위해.
• 상수 계수에 대해 무조건적이지 않은 $\ell_1$의 정규화된 기저가 유일성 이외의 형태로 존재함을 보여주기 위해.
• 구축된 기저와 관련된 계수 함수형의 준그리디브 성질을 분석하기 위해.
• 새로운 기저의 계수 함수형들이 기저가 준그리디브임에도 불구하고 준그리디브가 아님을 입증하기 위해.

제안 방법

• 리니어스트라우스의 조건부 단조 기본수열 $\{x_i\}_{i=1}^\infty$ 를 $\ell_1$에서 정의함: $x_i = e_i - \frac{1}{2}(e_{2i+1} + e_{2i+2})$.
• 계수 함수형 $x_i^*$ 를 $y_i^* \in \ell_\infty$ 에서 유도함: $y_i^* = \sum_{j=1}^{|α_i|} (1/2)^{j-1} e_{\alpha_i(j)}$ 를 통해 재귀 수열 $\alpha_i$ 를 구성함.
• 벡터 $x$ 의 노름을 분해하고 그린 연산자의 작용을 분석하기 위해 집합 $B_0, B_1, \dots, B_k$ 에 대한 재귀적 귀납을 적용함.
• 삼각부등식과 지지집합이 분리된 성질을 사용하여 핵심 부등식 $\|x+y\| \geq \|P_{B_0}x\| + \|P_{C_0}x\| + \frac{1}{2}\|P_{A_0}x\|$ 를 유도함.
• 부분합 $\sum_{i=1}^{2^{n+1}-2} \epsilon_i x_i^*$ 를 분석하고 $\|\sum x_i^*\|$ 와 $\|\sum (-1)^i x_i^*\|$ 를 비교함으로써 준그리디브 경계를 확립함.
• 계수 함수형 $\{x_i^*\rangle$ 가 준그리디브가 아님을 보이기 위해 $\|\sum x_i^*\| \geq n/2$ 이고 $\|\sum (-1)^i x_i^*\| \leq 1$ 임을 보여, 균일 유계성 조건을 위반함.

실험 결과

연구 질문

• RQ1 $\ell_1$은 조건부 준그리디브 기저를 갖는가?
• RQ2 $\ell_1$에서 준그리디브 기저가 조건부일 수 있는가, 무조건적 기저에 대한 강력한 유일성 성질에도 불구하고?
• RQ3 준그리디브 기저의 계수 함수형들이 반드시 준그리디브인가?
• RQ4 기저의 준그리디브 성질과 그 계수 함수형의 준그리디브 성질 사이의 관계는 무엇인가?

주요 결과

• 리인던스트라우스의 기본수열을 기반으로 $\ell_1$에 대해 조건부 준그리디브 기저가 존재함을 구성함.
• 그 기저는 그린 연산자 $\mathcal{G}_m$ 이 $\|\mathcal{G}_m(x)\| \leq C\|x\|$ 를 균일하게 만족하므로 준그리디브임을 보여줌.
• 계수 함수형 $\{x_i^*\}_{i=1}^\infty$ 는 $\|\sum x_i^*\| / \|\sum (-1)^i x_i^*\| \to \infty$ 이므로 준그리디브가 아님을 보여줌.
• 특히, $\|\sum_{i=1}^{2^{n+1}-2} x_i^*\| \geq n/2$ 이고 $\|\sum_{i=1}^{2^{n+1}-2} (-1)^i x_i^*\| \leq 1$ 이므로 준그리디브 조건을 위반함.
• 이 구성은 $\ell_1$이 표준 기저와 동치가 아니지만 준그리디브인 정규화된 기저를 가짐을 보여주며, 동치에 대한 비유일성을 암시함.
• 집합 $B_0, B_1, \dots, B_k$ 에 대한 재귀적 분해 방법은 노름 추정을 제어하고 핵심 부등식 $\|x+y\| \geq \|P_{B_0}x\| + \|P_{C_0}x\| + \frac{1}{2}\|P_{A_0}x\|$ 를 증명하는 데 기여함.