[論文レビュー] Deterministic and Probabilistic Conditions for Finite Completability of Low-Tucker-Rank Tensor

Morteza Ashraphijuo, Vaneet Aggarwal+1 more|arXiv (Cornell University)|Dec 6, 2016

Tensor decomposition and applications参考文献 60被引用数 3

ひとこと要約

本稿では、Tucker多様体上の代数幾何学を用いて、低Tuckerランクテンソルの有限かつ一意の完成可能性に対する決定的および確率的条件を提案する。サンプリングされたエントリをTucker分解の成分における多項式としてモデル化することで、有限または一意の完成を保証する代数的独立性の条件を確立し、複数のランク成分を同時に扱えるように、従来のGrassmann多様体に基づく手法を拡張する。

ABSTRACT

We investigate the fundamental conditions on the sampling pattern, i.e., locations of the sampled entries, for finite completability of a low-rank tensor given some components of its Tucker rank. In order to find the deterministic necessary and sufficient conditions, we propose an algebraic geometric analysis on the Tucker manifold, which allows us to incorporate multiple rank components in the proposed analysis in contrast with the conventional geometric approaches on the Grassmannian manifold. This analysis characterizes the algebraic independence of a set of polynomials defined based on the sampling pattern, which is closely related to finite completion. Probabilistic conditions are then studied and a lower bound on the sampling probability is given, which guarantees that the proposed deterministic conditions on the sampling patterns for finite completability hold with high probability. Furthermore, using the proposed geometric approach for finite completability, we propose a sufficient condition on the sampling pattern that ensures there exists exactly one completion for the sampled tensor.

研究の動機と目的

• 低Tuckerランクテンソルの有限完成可能性に対する、サンプリングパターンに関する決定的必要十分条件を同定すること。
• Grassmann多様体からの代数的幾何的解析をTucker多様体へ拡張し、複数のランク成分を統合すること。
• 高い確率で有限完成可能性を保証する確率的サンプリング条件を導出すること。
• 低Tuckerランクテンソルの完成が一意であることを保証するサンプリングパターンに関する十分条件を提案すること。
• 従来のGrassmann多様体に基づく手法では同時に複数のランク制約を扱えないという限界を克服すること。

提案手法

• 低Tuckerランクテンソルの完成問題を、Tucker分解のパrameter化により定式化し、観測されたエントリを分解成分における多項式方程式として表現する。
• これらの多項式の代数的独立性を分析することで、有限完成可能性と直接関連づける代数幾何学的手法を適用する。
• 多項式系の構造がTucker分解の背後にある多様体幾何を反映していることを保証するため、一般性（genericity）の概念を用いる。
• 決定的有限完成可能性条件が高確率で成立するように、サンプリング確率の下界を導出する。
• 分解の簡略化と代数的解析の促進を目的として、標準基底表現（定義12）を導入する。
• テンソルの複数の行列化におけるランク制約を分析するため、拡張されたHallの定理フレームワークを適用する。

実験結果

リサーチクエスチョン

• RQ1 複数のTuckerランク成分が既知である場合、どのような決定的サンプリングパターンが低Tuckerランクテンソルの有限完成可能性を保証するか？
• RQ2 Tucker多様体上の代数幾何学を用いることで、Grassmann多様体フレームワークを超えて有限完成可能性をどのように分析できるか？
• RQ3 低Tuckerランクテンソルの高確率での有限完成可能性を保証する最小サンプリング確率は何か？
• RQ4 どのようなサンプリング条件下で低Tuckerランクテンソルが一意に完成するか？
• RQ5 提案手法は、従来のGrassmann多様体に基づく手法とは異なり、複数のランク制約を同時に処理できるか？

主な発見

• 本稿では、サンプリングパターンとTucker分解成分から導かれる多項式集合の代数的独立性が、有限完成可能性と同値であることを確立している。
• 対応する多項式が代数的独立である場合に限り、サンプリングパターンが有限完成可能性を保証する。これは、必要十分条件を提供する。
• 有限完成可能性のための必要なサンプル数は、各次元あたりO(max{log(n), r})のオーダーであり、最適化ベースの手法が要請するO(log(n)r^{2.5})に比べて顕著に低い。
• 例5の特定のランク2行列において、解析により正確に2つの可能な完成が確認され、本手法の解の数え上げにおける精度が裏付けられた。
• 拡張されたHallの定理と代数的独立性に基づく十分条件を満たすサンプリングパターンが、一意の完成を可能にする。
• 確率的解析により、決定的有限完成可能性条件が高確率で成立するようにするサンプリング確率の下界が得られ、確率的サンプリング下でも頑健な回復が可能になった。