[논문 리뷰] Deterministic Designs with Deterministic Guarantees: Toeplitz Compressed Sensing Matrices, Sequence Designs and System Identification

Venkatesh Saligrama|ArXiv.org|2008. 06. 30.

Sparse and Compressive Sensing Techniques참고 문헌 20인용 수 17

한 줄 요약

이 논문은 황금률과 같은 무리수를 기반으로 한 고차원 치르프 시퀀스의 새로운 가족을 소개한다. 이 시퀀스는 무한 길이이며 결정론적이며, 자가상관이 균일하게 감소하고 도플러에 대한 내성을 보인다. 연분수 이론과 디오판틴 대수 이론을 활용하여, 저자들은 이러한 시퀀스로부터 생성된 토플리츠 행렬이 제한 이sov메트리 성질(Restricted Isometry Property, RIP)을 다항수 감소율을 가진 최악의 경우 자가상관에 대해 만족함을 증명한다. 이는 구조적 센싱 행렬을 사용한 선형 시스템 식별에서 압축 감지에 대해 증명 가능한 복구 보장을 가능하게 한다.

ABSTRACT

In this paper we present a new family of discrete sequences having "random like" uniformly decaying auto-correlation properties. The new class of infinite length sequences are higher order chirps constructed using irrational numbers. Exploiting results from the theory of continued fractions and diophantine approximations, we show that the class of sequences so formed has the property that the worst-case auto-correlation coefficients for every finite length sequence decays at a polynomial rate. These sequences display doppler immunity as well. We also show that Toeplitz matrices formed from such sequences satisfy restricted-isometry-property (RIP), a concept that has played a central role recently in Compressed Sensing applications. Compressed sensing has conventionally dealt with sensing matrices with arbitrary components. Nevertheless, such arbitrary sensing matrices are not appropriate for linear system identification and one must employ Toeplitz structured sensing matrices. Linear system identification plays a central role in a wide variety of applications such as channel estimation for multipath wireless systems as well as control system applications. Toeplitz matrices are also desirable on account of their filtering structure, which allows for fast implementation together with reduced storage requirements.

연구 동기 및 목표

• 압축 감지에서 선형 시스템 식별을 위한 결정론적이고 구조적인 센싱 행렬이 증명 가능한 복구 보장을 갖추지 못한 문제를 해결하기 위해.
• 희소 FIR 시스템 식별에 사용 가능한 균일하게 감소하는 자가상관과 도플러에 대한 내성을 갖춘 시퀀스를 설계하기 위해.
• 이러한 시퀀스로부터 생성된 토플리츠 행렬이 결정론적인 보장 하에 제한 이sov메트리 성질(Restricted Isometry Property, RIP)을 만족함을 입증하기 위해.
• 연분수 이론과 피보나치 기반 근사법을 활용하여 메모리 효율적인 실용적 구축 방법을 제공하기 위해.
• 랜덤 토플리츠 행렬의 한계를 극복하고 이론적 성능 한계를 갖춘 결정론적 대안을 제공하기 위해.

제안 방법

• 황금률과 같은 무리수를 사용하여 고차원 치르프 시퀀스를 구성함으로써 균일하게 감소하는 자가상관 특성을 확보한다.
• 연분수 이론과 디오판틴 대수 이론의 결과를 적용하여 최악의 경우 자가상관 감소율을 다항수 수준으로 경계한다.
• 이러한 시퀀스로부터 토플리츠 행렬을 구성하고, 부분행렬의 스펙트럼 분석을 통해 제한 이sov메트리 성질(Restricted Isometry Property, RIP)을 분석한다.
• 연분수의 수렴값(예: 황금률의 경우 피보나치 수)을 활용하여 무리수 위상에 대한 고정밀도 유리수 근사값을 저비용으로 생성한다.
• 구간 $[n^{ heta_1}, n^{ heta_2}]$ 내의 큰 유형 정수의 수가 $ n $ 에 대해 다항수로 증가함을 보이며, 이는 RIP 상수의 경계 유도를 뒷받침한다.
• 주파수 이동에 대한 자가상관의 불변성 덕분에 도플러 이동에 대한 강건성을 입증한다.

실험 결과

연구 질문

• RQ1 유한 길이의 자가상관 계수들이 다항수 감소율로 균일하게 감소하는 결정론적 시퀀스를 구성할 수 있는가?
• RQ2 이러한 시퀀스로부터 생성된 토플리츠 행렬이 증명 가능한 보장을 갖춘 제한 이sov메트리 성질(Restricted Isometry Property, RIP)을 만족하는가?
• RQ3 연분수 근사법을 활용하여 저비용 메모리 및 계산 비용으로 효율적인 구현이 가능한가?
• RQ4 무리수의 선택(예: 황금률)이 RIP 성능과 자가상관 감소율에 어떤 영향을 미치는가?
• RQ5 제안된 시퀀스와 행렬은 희소 FIR 채널을 포함한 시스템 식별 작업에 효과적으로 활용될 수 있는가?

주요 결과

• 모든 유한 길이 시퀀스의 최악의 경우 자가상관 계수는 $ n^{- heta} $ 의 다항수 감소율을 가지며, 황금률의 경우 $ heta = 3/8 $ 이다.
• 이러한 시퀀스로부터 생성된 토플리츠 행렬은 증명 가능한 경계를 갖는 제한 이sov메트리 성질(Restricted Isometry Property, RIP)을 만족하며, 안정적인 희소 신호 복구를 가능하게 한다.
• 구간 $[n^{ heta_1}, n^{ heta_2}]$ 내의 큰 유형 정수의 수가 $ n $ 에 대해 다항수로 증가함을 보이며, 이는 RIP 경계 유도를 뒷받침한다.
• 황금률은 수렴값의 로그 스케일링 특성 덕분에 RIP 성능에 중간 정도의 향상을 제공한다.
• 몬테카를로 시뮬레이션을 통해 조건수(최대와 최소 특이값의 비율)가 유한하게 유지되고 측정 수가 증가함에 따라 향상됨을 확인하여 실용적 안정성을 뒷받침한다.
• 피보나치 수를 활용하여 $ heta t^3 $ 에 대한 임의의 정밀도의 유리수 근사값을 저비용 메모리 및 계산 비용으로 효율적으로 생성할 수 있다.