[논문 리뷰] The statistical restricted isometry property and the Wigner semicircle distribution of incoherent dictionaries

Shamgar Gurevich, Ronny Hadani|ArXiv.org|2008. 12. 14.

Mathematical Analysis and Transform Methods참고 문헌 28인용 수 21

한 줄 요약

이 논문은 비정규성 기저의 분리합집합인 비정규성 사전에 대한 통계적 제한 등장성 성질(SRIP)을 도입한다. 무작위 부분집합 크기 $ n = p^{1-\rho} $에 대해 그람 행렬 고유값이 원주율 반원분포에 따라 1의 주위를 진동하며, $ \textbf{G}(S) - \text{Id}_S $의 연산자 노름이 $ p^{-\rho/2} $ 비율로 감소함을 증명하여 헤이젠베르크 및 옥시게이터 가족과 같은 결정론적 사전에서 RIP에 강력한 이론적 근거를 제공한다.

ABSTRACT

In this article we present a statistical version of the Candes-Tao restricted isometry property (SRIP for short) which holds in general for any incoherent dictionary which is a disjoint union of orthonormal bases. In addition, we show that, under appropriate normalization, the eigenvalues of the associated Gram matrix fluctuate around 1 according to the Wigner semicircle distribution. The result is then applied to various dictionaries that arise naturally in the setting of finite harmonic analysis, giving, in particular, a better understanding on a remark of Applebaum-Howard-Searle-Calderbank concerning RIP for the Heisenberg dictionary of chirp like functions.

연구 동기 및 목표

• 결정론적 사전이 정규기저의 분리합집합인 경우에 대한 통계적 변형 제한 등장성 성질(SRIP)을 수립하기 위해.
• 크기 $ n = p^{1-\rho} $인 무작위 부분집합 $ S \to \text{D} $에 대해 그람 행렬 $ \textbf{G}(S) $의 스펙트럼 행동을 분석하여 항등행렬 주위에 집중됨을 보여주기 위해.
• 무한대에서 $ p \to \infty $일 때, $ \textbf{G}(S) $의 정규화된 고유값 변동이 확률적으로 워이거 반원분포로 수렴함을 보여주기 위해.
• 헤이젠베르크, 옥시게이터, 확장 옥시게이터 사전을 포함한 자연스러운 사전에 이러한 결과를 적용하여 그들의 RIP 행동에 대한 새로운 통찰을 제공하기 위해.
• 애플바움 등이 헤이젠베르크 사전에 대해 제기한 비고를 해결하기 위해, 무작위 샘플링 하에서 그 사전의 RIP 유사 성질이 통계적으로 나타남을 보여주기 위해.

제안 방법

• 각 $ B_x $ 가 힐베르트 공간 $ \mathcal{H} $의 정규기저이고 $ \dim \mathcal{H} = p $ 인 사전 $ \text{D} = \coprod_{x \in \mathfrak{X}} B_x $ 에 대해 통계적 제한 등장성 성질(SRIP)을 정의하기 위해.
• 크기 $ n = p^{1-\varepsilon} $ 인 균일 무작위 부분집합 $ S \subset \text{D} $ 에 대해 연산자 노름 $ \| \textbf{G}(S) - \text{Id}_S \| $ 을 분석하여, 높은 확률로 $ p^{-\varepsilon/2} $ 이하로 유계임을 증명하기 위해.
• 고유값 변동을 연구하기 위해 정규화된 오차 연산자 $ \textbf{E}(S) = (p/n)^{1/2}(\textbf{G}(S) - \text{Id}_S) $ 를 도입하기 위해.
• 무한대에서 $ p \to \infty $ 일 때, 스펙트럼 분포 $ \rho_{\mathbf{E}(S)} $ 가 확률적으로 워이거 반원분포 $ \rho_{SC}(x) = \frac{1}{2\pi} \sqrt{4 - x^2} \cdot \mathbf{1}_{[-2,2]}(x) $ 로 수렴함을 증명하기 위해.
• 尾확률 $ P(\| \textbf{G}(S) - \text{Id}_S \| \geq p^{-\varepsilon/2}) \leq C(k) p^{1 - \varepsilon k / 2} $ 에서 상수 $ C(k) $ 를 비정규성 계수 $ \mu $ 를 통해 유계화하여, $ p $ 에 대해 어떤 다항식보다도 더 빠르게 감소함을 보여주기 위해.
• 해당 결과를 세 가지 자연스러운 사전—헤이젠베르크 사전 $ \mathfrak{D}_H $, 옥시게이터 사전 $ \mathfrak{D}_O $, 확장 옥시게이터 사전 $ \mathfrak{D}_{EO} $—에 적용하여, 모두 요구되는 구조적 및 비정규성 조건을 만족함을 보여주기 위해.

실험 결과

연구 질문

• RQ1 비정규성 사전이 정규기저의 분리합집합인 경우 통계적 제한 등장성 성질(SRIP)이 성립하는가?
• RQ2 크기 $ n = p^{1-\varepsilon} $ 인 무작위 부분집합 $ S \subset \text{D} $ 에 대해 그람 행렬 $ \textbf{G}(S) $ 의 고유값은 1 주위로 어떻게 진동하는가?
• RQ3 정규화된 오차 $ \textbf{E}(S) $ 의 스펙트럼 분포가 큰 $ p $ 의 극한에서 워이거 반원분포로 수렴하는가?
• RQ4 헤이젠베르크, 옥시게이터, 확장 옥시게이터 사전은 SRIP 를 만족하고 반원형 고유값 통계를 보이는가?
• RQ5 헤이젠베르크 사전이 임계 영역에서 RIP 를 만족할 수 있다는 경험적 관찰에 대한 통계적 근거는 무엇인가?

주요 결과

• 비정규성 사전이 정규기저의 분리합집합인 한, $ \| \textbf{G}(S) - \text{Id}_S \| \geq p^{-\varepsilon/2} $ 일 확률은 $ p \to \infty $ 일 때 어떤 다항식보다도 더 빠르게 감소한다. 여기서 $ \varepsilon > 0 $ 이다.
• 정규화된 오차 연산자 $ \textbf{E}(S) = (p/n)^{1/2}(\textbf{G}(S) - \text{Id}_S) $ 는 $ p \to \infty $ 일 때 스펙트럼 분포가 확률적으로 워이거 반원분포 $ \rho_{SC}(x) = \frac{1}{2\pi} \sqrt{4 - x^2} \cdot \mathbf{1}_{[-2,2]}(x) $ 로 수렴한다.
• 결과는 헤이젠베르크 사전 $ \mathfrak{D}_H $, 옥시게이터 사전 $ \mathfrak{D}_O $, 확장 옥시게이터 사전 $ \mathfrak{D}_{EO} $ 에 모두 적용되며, 이들 모두 정규기저의 분리합집합이면서 $ \mu \leq 4 $ 를 만족한다.
• 꼬리 확률 유계에서 상수 $ C(k) $ 는 비정규성 계수 $ \mu $ 에 의존하므로, 더 작은 $ \mu $ 는 더 날카로운 유계를 제공하며 실용적 응용에 유리하다.
• 애플바움 등의 비고를 해결하기 위해, 헤이젠베르크 사전이 SRIP 와 반원형 고유값 통계를 보임을 보여주어 임계 영역에서의 RIP 가능성에 대한 근거를 제공한다.
• 스펙트럼 분포가 워이거 반원분포로 수렴하는 것은 확률적으로 확립되었으며, 이는 결정론적 사전임에도 불구하고 큰 $ p $ 의 극한에서 고유값 변동이 보편적임을 나타낸다.