[논문 리뷰] The minimal measurement number for low-rank matrices recovery

Zhiqiang Xu|arXiv (Cornell University)|2015. 05. 27.

Sparse and Compressive Sensing Techniques참고 문헌 16인용 수 6

한 줄 요약

이 논문은 대수기하학 도구를 사용하여 저질서 행렬을 복원하기 위해 필요한 최소 측정 수를 해결한다. 복소수 행렬의 경우, $4nr - 4r^2$ 개의 일반 측정값이 단사적 복원을 위해 필수적이고 충분함을 증명하며, Eldar, Needell, Plan의 추측을 확인한다. 실수 행렬의 경우 특정 조건 하에서 이 경계가 날카롭다는 것을 보이며, $\mathbb{R}^{4\times4}$ 계수-1 행렬에 대해 11개의 단사적 측정값을 구성함으로써 실수 사례의 추측을 반박한다.

ABSTRACT

The paper presents several results that address a fundamental question in low-rank matrices recovery: how many measurements are needed to recover low rank matrices? We begin by investigating the complex matrices case and show that $4nr-4r^2$ generic measurements are both necessary and sufficient for the recovery of rank-$r$ matrices in $\C^{n imes n}$ by algebraic tools. Thus, we confirm a conjecture which is raised by Eldar, Needell and Plan for the complex case. We next consider the real case and prove that the bound $4nr-4r^2$ is tight provided $n=2^k+r, k\in \Z_+$. Motivated by Vinzant's work, we construct $11$ matrices in $\R^{4 imes 4}$ by computer random search and prove they define injective measurements on rank-$1$ matrices in $\R^{4 imes 4}$. This disproves the conjecture raised by Eldar, Needell and Plan for the real case. Finally, we use the results in this paper to investigate the phase retrieval by projection and show fewer than $2n-1$ orthogonal projections are possible for the recovery of $x\in \R^n$ from the norm of them.

연구 동기 및 목표

• 저질서 행렬을 선형 측정값으로 유일하게 복원하기 위해 필요한 최소 측정 수를 결정하는 것.
• Eldar, Needell, Plan이 제기한 복소수 행렬에 대해 $4nr - 4r^2$ 측정값의 최소성에 대한 추측을 해결하는 것.
• 특히 $n = 2^k + r$, $k \in \mathbb{Z}_+$ 일 때, $4nr - 4r^2$ 경계가 실수 행렬 복원에서 날카로운지 조사하는 것.
• 실수 사례 추측을 반박하기 위해 $\mathbb{R}^{4\times4}$ 계수-1 행렬에 대해 명시적인 단사적 측정 집합을 구성하는 것.
• 결과를 위상 복원에 적용하여, 실수 벡터 복원에 대해 $2n-1$ 개 이하의 직교 투영이 충분할 수 있음을 보이며, [1]에서 제기된 질문에 대해 부정적인 답변을 제공하는 것.

제안 방법

• 저질서 행렬 집합 위에서 측정 지도의 단사성 분석을 위해 [10]과 [19]의 대수 도구를 활용한다.
• 일반성 추론과 대수기하학을 사용하여, 복소수 사례에서 $m = 4nr - 4r^2$ 측정값이 단사성에 필수적이고 충분함을 증명한다.
• Vinzant의 방법을 적용하여, 계수-1 실수 행렬 위에서 단사적 측정값을 정의하는 11개의 실수 $4\times4$ 행렬을 구성한다.
• 컴퓨터 기반 대수 계산을 수행하여 구성된 11개 행렬에 대한 측정 지도의 단사성을 검증한다.
• 저질서 행렬의 다양체 차원을 분석하고, 대수적 제약 조건을 통해 측정 수와 연관시킨다.
• 그라스만만다 및 계수-1 행렬 다양체의 구조를 활용하여 최소 측정 수에 대한 경계를 유도한다.

실험 결과

연구 질문

• RQ1 복소수 행렬에 대해 $4nr - 4r^2$는 계수-$r$ 복소수 행렬을 유일하게 복원하기 위한 최소 측정 수인가?
• RQ2 특히 $n = 2^k + r$, $k \in \mathbb{Z}_+$ 일 때, 실수 저질서 행렬 복원에서 $4nr - 4r^2$ 경계가 날카로운가?
• RQ3 계수-1 복소수 행렬에 대해 $4n - 4$ 개 이하의 측정값이 단사적 복원을 가능하게 할 수 있는가?
• RQ4 계수-1 행렬에 대해 $11$ 개의 실수 $4\times4$ 행렬로 이루어진 집합이 존재하여 [11]의 추측을 반박하는가?
• RQ5 실수 벡터 $x \in \mathbb{R}^n$ 를 그 투영의 노름으로부터 복원하기 위해 $2n - 1$ 개 이하의 직교 투영이 충분한가?

주요 결과

• 복소수 행렬의 경우, $4nr - 4r^2$ 개의 일반 측정값이 계수-$r$ 행렬의 단사적 복원에 필수적이고 충분하며, [11]의 추측을 확인한다.
• 실수 사례에서 $n = 2^k + r$ 이고 $k \in \mathbb{Z}_+$ 이면, 경계 $4nr - 4r^2$ 가 날카로워지며, 이러한 조건 하에서 경계의 최소성은 입증된다.
• 논문은 $\mathbb{R}^{4\times4}$ 계수-1 행렬 위에서 단사적 측정 지도를 정의하는 11개의 실수 $4\times4$ 행렬을 구성하며, [11]의 실수 사례 추측을 반박한다.
• 구성된 11개 행렬은 대수적 계산을 통해 명시적으로 검증되어, $m = 11 < 4n - 4 = 12$ 가 $\mathbb{R}^{4\times4}$ 에서 충분함을 보여주며, 이는 성립함을 입증한다.
• 결과적으로, 실수 벡터 $x \in \mathbb{R}^n$ 를 그 투영의 노름으로부터 복원하기 위해 $2n - 1$ 개 이하의 직교 투영이 충분할 수 있음을 시사하며, [1]에서 제기된 질문에 대해 부정적인 답변을 제공한다.
• 위상 복원의 경우, $n = 4$ 일 때 최소 측정 수가 $2n - 1$ 보다 엄격히 작으며, 일반적으로 $2n - 1$ 이 최소라는 믿음과 모순된다.