[논문 리뷰] Redundancy for localized and Gabor frames

Radu Bălan, Pete Casazza외 1명|ArXiv.org|2009. 04. 28.

Mathematical Analysis and Transform Methods참고 문헌 25인용 수 3

한 줄 요약

이 논문은 국소화 이론에서 유도된 재건 함수를 사용하여 무한 프레임에 대한 정량적 재건 개념을 수립한다. $\ell^1$-국소화 프레임과 $M^1(\mathbb{R}^d)$에 속하는 생성자를 가진 가보르 프레임의 경우, 재건 수치가 1을 초과하는 임의의 프레임은 재건 수치가 1에 임의로 가까운 부분 프레임을 포함함을 증명하며, 이는 프레임 이론에서 오랫동안 남아 있던 핵심 열린 문제를 해결하고 이전 연구에서 제안된 일반 재건 정의를 뒷받침한다.

ABSTRACT

Redundancy is the qualitative property which makes Hilbert space frames so useful in practice. However, developing a meaningful quantitative notion of redundancy for infinite frames has proven elusive. Though quantitative candidates for redundancy exist, the main open problem is whether a frame with redundancy greater than one contains a subframe with redundancy arbitrarily close to one. We will answer this question in the affirmative for $\ell^1$-localized frames. We then specialize our results to Gabor multi-frames with generators in $M^1(\R^d)$, and Gabor molecules with envelopes in $W(C,l^1)$. As a main tool in this work, we show there is a universal function $g(x)$ so that for every $ε>0$, every Parseval frame $\{f_i\}_{i=1}^M$ for an $N$-dimensional Hilbert space $H_N$ has a subset of fewer than $(1+ε)N$ elements which is a frame for $H_N$ with lower frame bound $g(ε/(2\frac{M}{N}-1))$. This work provides the first meaningful quantative notion of redundancy for a large class of infinite frames. In addition, the results give compelling new evidence in support of a general definition of reudndancy given in [7].

연구 동기 및 목표

• 무한 프레임에 대한 의미 있는 정량적 재건 측도를 개발하여, 프레임 이론에서 오랫동안 남아 있던 열린 문제를 해결한다.
• 재건 수치가 1을 초과하는 프레임이 재건 수치가 1에 임의로 가까운 부분 프레임을 포함함을 보여주어 재건에 대한 핵심 욕구를 충족시킨다.
• 재건 함수가 네 가지 필수 성질을 만족함을 입증함으로써, 이 함수가 합리적인 측도로 간주될 수 있음을 검증한다. 이 성질들 중에는 재건 수치를 1로 감소시킬 수 있는 능력이 포함된다.
• 프레임의 자연스러운 밀도가 없는 경우에도 일반 재건 정의와 일치하는지를 확인하기 위해 이 틀을 $M^1(\mathbb{R}^d)$ 생성자를 가진 가보르 프레임과 $W(C,\ell^1)$ 환경을 가진 가보르 분자로 확장한다.

제안 방법

• 파르세발 프레임의 부분 프레임의 하한을 상대적 크기로 표현하는 데 사용되는 일반 함수 $g(x)$ 를 도입한다.
• $\ell^1$-국소화를 통해 프레임 $\mathcal{F}$ 와 기준 프레임 $\mathcal{E}$ 간의 관계를 설정함으로써, $\mathcal{F}$ 의 재건 수치를 국소화 지도 $a: I \to G$ 의 조밀도와 연결한다.
• 지표 집합의 증가하는 부분집합에 대한 $p$-극한을 통해 재건 함수 $R(p; \mathcal{F})$ 를 정의하여 점점 커지는 평균 재건 수치를 캡처한다.
• 생성자 $g \in M^1(\mathbb{R}^d)$ 인 경우, 가보르 프레임이 기준 가보르 프레임 $\mathcal{E}$ 에 대해 $\ell^1$-국소화됨을 보여줌으로써 이 이론을 가보르 프레임에 적용한다.
• $\ell^2$-국소화 프레임의 경우 $R(p; \mathcal{F}) = D(p,a) \cdot R(p; \mathcal{E})$ 를 확립하고, 주요 결과를 위해 $\ell^1$-국소화 프레임으로 확장한다.
• $\liminf R(p; \mathcal{E}_n) = 1$ 를 만족하는 기준 프레임 $\mathcal{E}_n$ 의 수열이 존재함을 이용하여, 재건 수치 $\leq 1+\varepsilon$ 인 $\mathcal{F}$ 의 부분 프레임을 구성한다.

실험 결과

연구 질문

• RQ1 재건 수치가 1을 초과하는 모든 프레임은 재건 수치가 1에 임의로 가까운 부분 프레임을 포함하는가?
• RQ2 특히 가보르 프레임과 국소화 프레임에 대해, 무한 프레임에 대한 일반적인 정량적 재건 측도를 정의할 수 있는가?
• RQ3 재건 함수가 $\ell^1$-국소화 프레임에 대해 네 가지 핵심 성질 $P_1$에서 $P_4$ 를 모두 만족하는가?
• RQ4 밀도가 자연스럽지 않은 프레임에 대해, 재건 함수는 [5]에서 제안된 일반 정의와 일치하는가?
• RQ5 $M^1(\mathbb{R}^d)$ 생성자를 가진 가보르 프레임의 재건 수치는 그 부분 프레임의 재건 수치와 어떻게 관련이 있는가?

주요 결과

• 모든 $\varepsilon > 0$ 에 대해, $N$ 차원 힐버트 공간 내의 파르세발 프레임 $\{f_i\}_{i=1}^M$ 은 $N$ 보다 작은 $(1+\varepsilon)N$ 개 이하의 원소를 가지며, 하한이 $g(\varepsilon / (2M/N - 1))$ 인 프레임을 형성한다.
• $\ell^1$-국소화 프레임 $\mathcal{F}$ 가 기준 프레임 $\mathcal{E}$ 에 대해 국소화되어 있고, 모든 $\varepsilon > 0$ 에 대해 부분 프레임 $\mathcal{F}[J_\varepsilon]$ 가 존재하여 모든 $p \in \mathbb{N}^*$ 에 대해 $R(p; \mathcal{F}[J_\varepsilon]) \leq (1+\varepsilon)R(p; \mathcal{E})$ 를 만족한다.
• $g \in M^1(\mathbb{R}^d)$ 인 가보르 프레임 $\mathcal{G}(g;\Lambda)$ 와 모든 $\varepsilon > 0$ 에 대해 부분 프레임 $\mathcal{G}' = \mathcal{G}(g;J_\varepsilon)$ 가 존재하여 모든 $p \in \mathbb{N}^*$ 에 대해 $R(p; \mathcal{G}') \leq 1+\varepsilon$ 를 만족한다.
• 모든 $p \in \mathbb{N}^*$ 에 대해 재건 함수는 $R(p; \mathcal{F}) \geq 1$ 이고, $\mathcal{F}$ 가 리스 기저일 경우 $R(p; \mathcal{F}) = 1$ 이다.
• 같은 국소화 지도를 가진 두 개의 $\ell^1$-국소화 프레임 $\mathcal{F}_1$ 과 $\mathcal{F}_2$ 에 대해, 이들의 서로소 합집합의 재건 수치는 $R(p; \mathcal{F}_1 \dot{\sqcup} \mathcal{F}_2) = R(p; \mathcal{F}_1) + R(p; \mathcal{F}_2)$ 를 만족한다.
• 재건 함수는 네 가지 성질 $P_1$에서 $P_4$ 를 모두 만족하여, 이 함수가 $\ell^1$-국소화 및 가보르 프레임에 대한 정량적 재건 측도로서 적합함을 확인한다.