[논문 리뷰] An exposition to the finiteness of fibers in matrix completion via Plücker coordinates

Manolis C. Tsakiris|arXiv (Cornell University)|2020. 04. 26.

Sparse and Compressive Sensing Techniques참고 문헌 42인용 수 4

한 줄 요약

이 논문은 크기 $ r(m+n-r) $ 의 최소 관측 패턴을 가진 일반적인 낮은 질서 행렬이 유한한 수의 질서-$ r $ 완성값을 갖는지 여부라는 근본적인 질문을 다룬다. 플루커 좌표를 활용하여 행렬 완성 문제를 그라스만이 군만과 연결함으로써, 저자들은 완성이 일반적으로 유한한 광범위한 최소 관측 패턴의 클래스를 특성화하며, 이는 이전 결과들을 일반화하고 기존의 행렬 완성 기법들에 대한 이론적 근거를 제공하는 기하학적 프레임워크를 제시한다.

ABSTRACT

Low-rank matrix completion is a popular paradigm in machine learning, but little is known about the completion properties of non-random observation patterns. A fundamental open question in this direction is the following: given an observation pattern of a sufficiently generic (e.g. incoherent) $m imes n$ real matrix $X$ of rank $r$ with exactly $r(m+n-r)$ entries being observed, this number being the dimension of the space of real rank-$r$ $m imes n$ matrices, are there finitely many rank-$r$ completions? This is a challenging problem whose answer is known only for ranks $1$, $2$ and $\min\{m,n\}-1$. In this paper we study this problem by bringing tools from algebraic geometry. In particular, we exploit the fact that both the space of real rank-$r$ $m imes n$ matrices as well as the set of $r$-dimensional subspaces of $\mathbb{R}^m$, known as the Grassmannian, are algebraic varieties. Our approach is based on a novel formulation of matrix completion in terms of Pl{u}cker coordinates, the latter a traditionally powerful tool in computer vision and graphics and a classical notion in algebraic geometry. This formulation allows us to characterize a large class of minimal (i.e. of size $r(m+n-r)$) observation patterns for which a generic matrix admits finitely many rank-r completions. We conjecture that the converse is also true: any minimal pattern which is generically finitely completable must be of that type. As a consequence, we generalize results that have previously appeared and are being used in the literature, but lack a sufficient theoretical justification. We believe the Pl{u}cker-coordinate based link that we establish between low-rank matrices and the Grassmannian in the context of matrix completion to be of wider significance for matrix and subspace learning problems with incomplete data.

연구 동기 및 목표

• 일반적인 질서-$ r $ 행렬이 유한한 수의 질서-$ r $ 완성값을 갖는 최소 관측 패턴을 규명하는 것.
• 플루커 좌표를 사용하여 낮은 질서 행렬의 공간과 그라스만이 군을 모델링함으로써 행렬 완성 문제를 대수기하학과 연결하는 것.
• 기존의 엄밀한 이론적 기반 없이 존재하는 행렬 완성 분야의 경험적 결과를 일반화하는 것.
• 오직 특정 기하학적 유형의 패턴들만이 유한한 완성을 가능하게 한다는 추측을 제기함으로써, 이러한 패턴들의 완전한 클래스를 특성화하는 것.

제안 방법

• 저자들은 실수의 질서-$ r $ $ m \times n $ 행렬의 공간을 대수다양체로 모델링하고, $ \mathbb{R}^m $ 내의 $ r $차원 부분공간의 그라스만이 군과 연관지운다.
• 그들은 플루커 좌표를 사용하여 행렬 완성 문제를 재구성하며, 이는 선형 부분공간을 매개변수화하는 데 사용되며 고전적으로 대수기하학과 컴퓨터 시각 분야에서 활용된다.
• 플루커 매핑을 통해 그라스만이 군 위에서 다항식 방정식 시스템으로 완성 문제를 변환한다.
• 관측된 요소들로의 평가 사상의 섬유 크기를 분석하여, 유한성은 관측 패턴의 대수적 구조에 따라 달라진다는 것을 보여준다.
• 일반적인 그라스만이 군의 점들과 대응되는 관측 패턴의 클래스를 식별하며, 이 경우 완성 수가 유한하다.
• 그들은 오직 이러한 패턴들만이 유한한 완성을 가능하게 한다는 추측을 제기하며, 최소 유한 완성 가능한 패턴의 완전한 특성화를 시사한다.

실험 결과

연구 질문

• RQ1 크기 $ r(m+n-r) $ 의 최소 관측 패턴 중에서 일반적인 질서-$ r $ 행렬이 유한한 수의 질서-$ r $ 완성값을 갖는 경우는 언제인가?
• RQ2 그라스만이 군과 플루커 좌표는 어떻게 행렬 완성 문제의 해공간을 특성화하는 데 사용될 수 있는가?
• RQ3 완성 가능성이 보장되는 관측 패턴의 기하학적 조건은 무엇이며, 이 조건은 필수적이고 충분한가?
• RQ4 이러한 대수기하학적 프레임워크를 통해 기존의 경험적 행렬 완성 결과들을 엄밀히 정당화할 수 있는가?
• RQ5 플루커 기반 수식으로 유한한 완성을 유도하는 최소 관측 패턴의 클래스가 완전히 특성화되어 있는가?

주요 결과

• 논문은 플루커 좌표를 사용하여 유한한 해를 갖는 광범위한 최소 관측 패턴의 클래스를 식별하며, 이를 특성화한다.
• 저자들은 플루커 매핑을 통해 낮은 질서 행렬의 공간과 그라스만이 군 사이에 새로운 대수기하학적 연결을 수립하며, 완성 성질의 깊은 분석을 가능하게 한다.
• 이러한 패턴들에 대해 질서-$ r $ 완성 수가 유한하다는 것을 보여주며, 질서 1, 2, $ \min\{m,n\}-1 $ 에 대한 기존 결과들을 일반화한다.
• 그들은 오직 이러한 유형의 패턴들만이 유한한 완성을 가능하게 한다는 추측을 제기하며, 최소 유한 완성 가능한 패턴의 완전한 특성화를 시사한다.
• 이 프레임워크는 기계학습 및 컴퓨터 시각 분야에서 널리 사용되지만 이전까지는 설명되지 않았던 행렬 완성 히우리스틱들에 대한 이론적 근거를 제공한다.