[논문 리뷰] Compressed Sensing Matrices from Fourier Matrices

Guangwu Xu, Zhiqiang Xu|arXiv (Cornell University)|2013. 01. 03.

Sparse and Compressive Sensing Techniques참고 문헌 34인용 수 3

한 줄 요약

이 논문은 케이츠의 방법을 통한 캐릭터 합 추정을 이용해 푸리에 행렬에서 결정론적 압축 측정(Compressed Sensing, CS) 행렬을 구성하며, 데보르의 이진 CS 행렬과 유사한 개선된 희소성 한계를 달성한다. 이 방법은 약간의 상호 비편향 기저(AMUBs)를 생성하고 수치 실험에서 랜덤 샘플링을 능가한다. 이론적으로는 $k \lesssim \sqrt{m}$일 때 $k$-희소 신호 복원이 보장된다.

ABSTRACT

The class of Fourier matrices is of special importance in compressed sensing (CS). This paper concerns deterministic construction of compressed sensing matrices from Fourier matrices. By using Katz' character sum estimation, we are able to design a deterministic procedure to select rows from a Fourier matrix to form a good compressed sensing matrix for sparse recovery. The sparsity bound in our construction is similar to that of binary CS matrices constructed by DeVore which greatly improves previous results for CS matrices from Fourier matrices. Our approach also provides more flexibilities in terms of the dimension of CS matrices. As a consequence, our construction yields an approximately mutually unbiased bases from Fourier matrices which is of particular interest to quantum information theory. This paper also contains a useful improvement to Katz' character sum estimation for quadratic extensions, with an elementary and transparent proof. Some numerical examples are included.

연구 동기 및 목표

• 푸리에 행렬에서 안정적이고 강건한 희소 신호 복원을 보장하는 결정론적 방법을 개발한다.
• 이전의 결정론적 구성보다 푸리에 기반 CS 행렬의 희소성 한계를 향상시켜 이론적 한계인 $k = O(\sqrt{m})$에 가깝게 만든다.
• 구성된 CS 행렬과 약간의 상호 비편향 기저(AMUBs) 사이의 연결 고리를 수립하며, 양자 정보 이론과의 관련성을 밝힌다.
• 행렬 차원의 유연성을 유지하면서도 강력한 이론적 성능 보장을 제공하는 구조적 프레임워크를 제공한다.

제안 방법

• quadratic 확장을 위한 케이츠의 캐릭터 합 추정을 활용해 구성된 푸리에 기반 행렬의 상호 비일관성(mutual incoherence)을 제어한다.
• 유한체 위에서 로그 매핑을 사용해 정규화된 $N \times N$ 푸리에 행렬 $\mathcal{F}^{(N)}$ 로부터 행을 선택하여 결정론적 부분 푸리에 행렬 $\Phi$ 를 구성한다.
• 유한체 $\mathbb{F}_q$ 위에서 $\log_g(t - \alpha) \mod N$ 의 로그 매핑을 사용해 행 선택을 위한 인덱스 집합 $M$ 을 생성하며, 이는 낮은 비일관성을 보장한다.
• 대수적 수론과 지수합 추정을 적용해 결과 행렬 $\Phi$ 의 상호 비일관성 상수 $\mu$ 의 상한을 도출한다.
• $\ell_1$ 최소화가 $k$-희소 신호를 복원할 수 있는 희소성 $k$ 의 이론적 상한을 유도하며, $k < \frac{1}{2}(\frac{1}{\mu} + 1)$ 임을 보여준다.
• 행렬 차원 $m = q$, $N = q^2 - 1$ 또는 $N = \frac{p^3 - 1}{p - 1}$ 인 $m \times N$ 행렬에 대해 OMP 및 BP 복원 알고리즘을 사용해 구성의 타당성을 수치적으로 검증한다.

실험 결과

연구 질문

• RQ1 결정론적 푸리에 행렬의 행 선택이 웰치 한계에 가까운 상호 비일관성을 가진 압축 측정 행렬을 생성할 수 있는가?
• RQ2 결정론적 푸리에 기반 CS 행렬의 희소성 한계를 데보르의 이진 구성에서 달성한 $k = O(\sqrt{m})$ 수준으로 향상시킬 수 있는가?
• RQ3 제안된 구성이 약간의 상호 비편향 기저를 생성하는가? 그리고 이는 양자 정보 이론과 어떤 관련이 있는가?
• RQ4 결정론적 부분 푸리에 행렬의 성능은 랜덤 샘플링 대비 희소 신호 복원 성공률 측면에서 어떻게 비교되는가?

주요 결과

• 제안된 결정론적 구성은 $\mu$ 가 케이츠의 캐릭터 합 추정을 통해 제어되어 $k \lesssim \sqrt{m}$ 가 되도록 하며, $k < \frac{1}{2}(\frac{1}{\mu} + 1)$ 의 희소성 한계를 달성한다. 이는 데보르의 이진 행렬 결과와 일치한다.
• 이 방법은 양자 정보 이론과 양자 상태 톰오그래피에서 관심을 끄는 희소 기저의 약간의 상호 비편향 기저를 구성한다.
• 수치 실험 결과, 결정론적 부분 푸리에 행렬은 OMP 및 BP 복원 모두에서 랜덤 샘플링을 일관되게 능가하며, 이론적 희소성 한계를 초월한 성능을 보인다.
• $q = 29$, $m = 29$, $N = 840$ 인 경우, 결정론적 행렬은 $k \leq 10$ 에서 BP 복원에서 100% 성공률를 기록하며, 랜덤 샘플링을 능가한다.
• $q = 19$, $m = 19$, $N = 381$ 인 경우, 결정론적 행렬은 $k \leq 20$ 에서 $\Phi_T^T \Phi_T$ 의 안정적인 고유값 통계를 유지하며, 강한 RIP 유사 행동을 보여준다.
• 이 논문은 케이츠의 이차 확장에 대한 캐릭터 합 추정에 대해 향상된, 보다 간단한 증명을 제공하며, 투명성과 적용 가능성 향상을 도모한다.