[논문 리뷰] Computational Complexity of Certifying Restricted Isometry Property

Abhiram Natarajan, Yi Wu|arXiv (Cornell University)|2014. 06. 23.

Graph theory and applications참고 문헌 13인용 수 5

한 줄 요약

이 논문은 행렬에 대한 제한 이sovole이성 성질(Restricted Isometry Property, RIP)을 증명하는 것이, 등비 상수 δ가 작고 일정한 값일지라도 소수집합 확장성 문제(Hard)임을 입증한다. 저자들은 소수집합확장가설을 바탕으로, 행렬이 (k, δ)-RIP인지 아니면 (k/C, 1−δ)-RIP에서 멀리 떨어져 있는지 구분하는 것이 계산적으로 어렵다는 것을 증명하며, 개선된 상수를 가진 희박한 벡터에 대한 체거의 한계를 새롭게 변형한 불등식을 사용한다.

ABSTRACT

Given a matrix $A$ with $n$ rows, a number $k0$ and any arbitrarily small constant $0

연구 동기 및 목표

• 주어진 매개변수로 행렬이 제한 이sovole이성 성질(Restricted Isometry Property, RIP)을 만족하는지 확인하는 데 필요한 계산 복잡도를 조사하는 것.
• 특히 압축 측정 응용에서 중요한 작은 δ 값에 대해 RIP 증명이 다항식 시간 내에 가능할지 여부를 판단하는 것.
• 이전 연구에서 δ=o(1)의 범위로 국한되었던 경직성 결과를, 임의의 일정한 δ>0로 확장하는 것.
• 주요 경직성 결과를 증명하는 데 핵심적인 역할을 하는 희박한 벡터에 대한 체거의 불등식의 더 엄밀한 변형을 개발하는 것.
• 소수집합확장 문제에서 RIP 증명 문제로의 갭 보존형 축소를 수립하는 것.

제안 방법

• RIP 조건을 정식화: 행렬 M이 (k, δ)-RIP이기 위한 조건은 모든 k-희박한 x에 대해 (1−δ)‖x‖₂ ≤ ‖Mx‖₂ ≤ (1+δ)‖x‖₂를 만족하는 것이다.
• MᵀM = I − (1/d)A를 만족하는 행렬 M을 구성하며, 여기서 A는 d-정규 그래프 G의 인접행렬이다.
• 정규화된 라플라시안 L = I − (1/d)A를 사용하여 G의 스펙트럼 성질을 Rayleigh 몫 λ_η = min_{‖x‖₀=ηn} (xᵀLx)/‖x‖₂²을 통해 RIP 증명과 연결한다.
• 새로운 희박한 체거 불등식을 증명: λ_η ≤ φ_η(G) ≤ √((2−λ_η)λ_η)이며, 이는 고전적 형태보다 더 엄밀하다.
• 소수집합확장 문제에서 RIP 증명 문제로의 갭 보존형 축소를 수행하여, 강력한 RIP와 멀리 떨어진 RIP 성질을 가진 행렬을 구분하는 것이 어렵다는 것을 보여준다.
• 불등식 T_{1−ε/2}(β)/β ≤ β^{ε/4}를 사용하여 스펙트럼 갭을 기반으로 한 확장을 유계화함으로써, 일정한 δ에 대해 경직성 증명이 가능해지도록 한다.

실험 결과

연구 질문

• RQ1 임의의 일정한 δ>0에 대해, δ가 작더라도 행렬이 (k, δ)-RIP인지 확인하는 것이 계산적으로 어렵단 말인가?
• RQ2 RIP 증명의 경직성 결과를 이전에 δ=o(1)로 국한되었던 범위를 초월하여, 모든 일정한 δ>0로 확장할 수 있는가?
• RQ3 희박한 벡터에 대한 더 엄밀한 체거의 불등식 변형이 존재하는가? 그리고 이를 통해 더 강력한 경직성 결과를 도출할 수 있는가?
• RQ4 소수집합확장가설을 활용하여, δ 값이 작을 경우에도 안정적인 방식으로 RIP 증명의 경직성을 입증할 수 있는가?
• RQ5 행렬이 일관성(coherence)이 유한한 등의 추가적인 구조적 성질을 갖는 경우에도 RIP 증명이 여전히 어렵단 말인가?

주요 결과

• 임의의 일정한 δ>0에 대해, δ가 임의로 작아도 행렬의 RIP 증명이 Small-Set-Expansion-hard임을 입증한다.
• 행렬이 실제로 강력한 RIP 성질을 갖는 경우(즉, δ가 작을 경우)에도 RIP 증명이 어렵다는 것을 보여주며, 약한 RIP 성질을 증명하는 것이 어렵다는 점을 입증한다.
• 새로운 희박한 체거 불등식이 증명됨: φ_η(G) ≤ √((2−λ_η)λ_η)이며, 이는 고전적 결과 φ(G) ≤ √(2λ)보다 더 엄밀하다.
• 희박한 체거 불등식의 개선된 상수는 경직성 결과 증명에 필수적이며, 다른 응용 분야에도 유용할 수 있다.
• 소수집합확장 문제에서 RIP 증명 문제로의 축소 과정에서, '강력한 RIP'과 'RIP에서 멀리 떨어진' 경우 사이의 갭이 일정한 δ 값에 대해서도 크게 유지되며, 이는 경직성 결과의 타당성을 뒷받침한다.
• 결과적으로, Small-Set-Expansion 가설 하에 RIP 증명이 어렵다는 점이 입증되며, 이는 계산적으로 어려운 문제의 범주에 속함을 의미한다.