[論文レビュー] Completely positive tensor decomposition

Jinyan Fan, Anwa Zhou|arXiv (Cornell University)|Nov 19, 2014

Tensor decomposition and applications参考文献 25被引用数 6

ひとこと要約

本稿では、非負の分解長に関する事前知識がなくても、対称テンソルが完全正定であるかどうかを判定するための半定形式アルゴリズムを提案する。問題をE-切断されたKモーメント問題として定式化することで、凸最適化を用いて完全正定性を検証し、そうでない場合には証明を提供する。テストケースにおいて収束性と高い数値的性能を達成している。

ABSTRACT

A symmetric tensor, which has a symmetric nonnegative decomposition, is called a completely positive tensor. We consider the completely positive tensor decomposition problem. A semidefinite algorithm is presented for checking whether a symmetric tensor is completely positive. If it is not completely positive, a certificate for it can be obtained; if it is completely positive, a nonnegative decomposition can be obtained.

研究の動機と目的

• 一般の対称テンソルが完全正定であるかどうかを特定する根本的問題に取り組む。
• テンソルが完全正定でない場合に、証明を提供する手法を開発する。
• テンソルが完全正定である場合に、分解長を事前に仮定せずに非負の分解を計算する。
• モーメントに基づく凸最適化を用いて、完全正定行列の理論を高次元テンソルへと拡張する。
• 実用的なテンソル分解に適した数値的に効率的で収束性を有するアルゴリズムを提供する。

提案手法

• 問題は、非負の象限上での切断モーメント列と関連付けることで、E-切断されたKモーメント問題に再定式化される。
• プライマル問題を近似するために、モーメント行列と局所化行列を用いた、半定形式緩和の階層を構築する。
• 解を段階的に精緻化するために、ランクを保つホモトピー戦略を用いることで、有効な分解への収束を保証する。
• 完全正定テンソルとコポジティブテンソルの双対性を活用し、半定計画法を用いて双対錐への属するかをテストする。
• 緩和階層の収束に基づく停止基準を用いることで、証明または分解のいずれかで終了する。
• 数値的効率を向上させるために、ウォームスタート戦略と適応的パrameter選択を実装する。

実験結果

リサーチクエスチョン

• RQ1 非負の分解長に関する事前知識がなくても、一般の対称テンソルが完全正定であるかどうかを効率的に確認できるか？
• RQ2 対称テンソルが完全正定でない場合に、どのように証明を生成できるか？
• RQ3 E-切断されたKモーメント問題に対する半定形式緩和スキームの収束性は、テンソル分解の文脈でどのように振る舞うか？
• RQ4 完全正定テンソルに対して、ランクを事前に仮定せずに凸最適化を用いて非負の分解を計算できるか？
• RQ5 提案されたアルゴリズムは、既存のテンソル分解手法と比較して、精度と効率の点で優れているか？

主な発見

• 提案された半定形式アルゴリズムは、対称テンソルの完全正定性を的確に判定し、完全正定でない場合には証明を提供する。
• 完全正定テンソルに対しては、分解長を入力として必要とせず、非負の分解を計算する。
• 数値実験では、5次テンソルおよび4次テンソルの例を含め、すべてのテスト対象で3〜4回の反復で収束した。
• 合成テストケースでは、計算された分解が真の元の分解と一致し、正確性が確認された。
• 次元が10までに達する4次および5次テンソルに対しても、効率的に処理でき、スケーラビリティを示した。
• すべてのケースで高い精度を達成し、テスト例では分解誤差が1e-6未満に抑えられた。