[論文レビュー] An exposition to the finiteness of fibers in matrix completion via Plücker coordinates

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

Sparse and Compressive Sensing Techniques参考文献 42被引用数 4

ひとこと要約

本稿は、サイズ $ r(m+n-r) $ の最小観測パターンを持つ一般の低ランク行列が、ランク $ r $ の完成を有限個に制限するかどうかという根本的な問題に取り組む。Pl"ucker座標を用いて行列補完をグラスマン多様体と結びつけることで、完成が一般に有限となる広範な最小観測パターンのクラスを同定し、先行研究を一般化する幾何的枠組みを提供する。これにより、行列補完分野における既存の実践的アプローチに理論的裏付けを与える。

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 $ の補完を有限個に制限するかを特定すること。
• Pl"ucker座標を用いて低ランク行列の空間とグラスマン多様体をモデル化することで、行列補完を代数幾何と結びつけること。
• 理論的根拠のない既存の経験的結果を一般化すること。
• 有限補完が可能なのは特定の幾何的タイプのパターンに限られることを仮説し、そのようなパターンの完全なクラスを同定すること。

提案手法

• 著者らは、実数のランク-$ r $ $ m \times n $ 行列の空間を代数的多様体としてモデル化し、$ \mathbb{R}^m $ 内の $ r $ 次元部分空間のグラスマン多様体と関連付ける。
• 彼らは、線形部分空間をパラメータ化する古典的な代数幾何学およびコンピュータビジョンで用いられるPl"ucker座標を用いて、行列補完問題を再定式化する。
• Pl"ucker埋め込みを用いて、補完問題をグラスマン多様体上の多項式方程式系に変換する。
• 観測エントリへの評価写像の纤维のサイズを解析し、有限性が観測パターンの代数的構造に依存することを示す。
• 一般のグラスマン多様体上の点に対応する観測パターンのクラスを同定し、その場合に補完の数が有限であることを示す。
• 有限補完をもたらすのはこのようなパターンに限られるとの仮説を提示し、最小有限補完可能なパターンの完全な特徴付けを示唆する。

実験結果

リサーチクエスチョン

• RQ1 サイズ $ r(m+n-r) $ の最小観測パターンのうち、一般のランク-$ r $ 行列がランク $ r $ の補完を有限個に制限するものはどれか？
• RQ2 グラスマン多様体とPl"ucker座標を用いて、行列補完問題の解空間をどのように特徴付けられるか？
• RQ3 観測パターンに有限補完性を保証する幾何的条件は何か？この条件は必要かつ十分か？
• RQ4 既存の経験的行列補完結果は、この代数的幾何的枠組みによって厳密に裏付けられるか？
• RQ5 有限補完をもたらす最小観測パターンのクラスは、Pl"uckerに基づく定式化によって完全に特徴付けられるか？

主な発見

• 本稿は、Pl"ucker座標を用いて特徴付けられる広範な最小観測パターンのクラスを同定し、一般の低ランク行列補完が有限個の解を持つことを示した。
• 著者らは、Pl"ucker埋め込みを介して、低ランク行列の空間とグラスマン多様体との間の新しい代数的幾何的関係を確立し、補完性質のより深い分析を可能にした。
• このようなパターンに対して、ランク-$ r $ の補完の数が有限であることを示し、ランク1, 2, および $ \min\{m,n\}-1 $ の既知の結果を一般化した。
• 著者らは、有限補完をもたらすのはこのようなパターンに限られるとの仮説を提示し、最小有限補完可能なパターンの完全な特徴付けを示唆した。
• この枠組みにより、機械学習およびコンピュータビジョン分野で広く用いられてきたが、これまで説明がつかなかった行列補完のヒューリスティックに理論的裏付けを与えた。