[論文レビュー] Algebraic Methods for Structured Low-Rank Approximation.

Giorgio Ottaviani, Pierre-Jean Spaenlehauer+1 more|arXiv (Cornell University)|Nov 11, 2013

Statistical and numerical algorithms被引用数 5

ひとこと要約

本稿では、ハンケル、シルベスター、および一般の線形行列空間を対象として、構造付き低ランク近似問題を解くための代数幾何学的アプローチを提示する。臨界点を多項式系によって特徴付けることで、正確な代数的解法を提供し、特定の構造付き設定において最適性が保証されるランク制約付き近似の完全な代数的フレームワークを構築する。

ABSTRACT

Structured low-rank approximation is the problem of minimizing a weighted Frobenius distance to a given matrix among all matrices of fixed rank in a linear space of matrices. We study exact solutions to this problem by way of computational algebraic geometry. A particular focus lies on Hankel matrices, Sylvester matrices and generic linear spaces.

研究の動機と目的

• 計算代数幾何学を用いて、構造付き低ランク近似問題に対する正確な代数的手法を開発すること。
• 固定ランクおよび構造制約の下で重み付きフロベニウス距離を最小化するという課題に取り組むこと。
• ハンケル行列およびシルベスター行列の臨界点を多項式系によって特徴付けること。
• 一般の線形行列空間へとフレームワークを拡張し、より広範な適用可能性を実現すること。

提案手法

• 固定ランクを持つ行列の線形空間上での制約付き最適化問題として、構造付き低ランク近似問題をモデル化すること。
• 最適化問題のラグランジュ関数から導かれる多項式系の解として、臨界点を代数幾何学的手法で特徴付けること。
• グレブナー基底やホモトピー続行法などのツールを用いて、得られた系を解き、正確な解を得ること。
• システム理論や信号処理における応用が豊富な、代数的構造を持つハンケル行列とシルベスター行列に焦点を当てる。
• 行列の行列式多様体とランク制約を用いて、代数的不変量を活用する形で問題を定式化すること。
• 基礎となる代数的多様体を分析することにより、任意の行列線形空間に適用可能な一般フレームワークを提供すること。

実験結果

リサーチクエスチョン

• RQ1 代数幾何学を用いて、構造付き低ランク近似問題の正確な解をどのように得られるか。
• RQ2 ハンケルおよびシルベスター行列空間における最適な低ランク近似を特徴付ける代数的条件は何か。
• RQ3 近似問題の臨界点は、線形行列空間の構造とどのように関係しているか。
• RQ4 このフレームワークは、ハンケルおよびシルベスター形式を超えた一般の線形行列空間へと拡張可能か。
• RQ5 構造付き低ランク近似の正確な解を計算する際の代数的複雑度は何か。

主な発見

• 本稿では、構造付き低ランク近似問題の臨界点が、多項式方程式系の孤立解に対応することを確立している。
• ハンケル行列およびシルベスター行列の場合は、解集合が有限であり、グレブナー基底などの代数的技法を用いて正確に計算可能である。
• 与えられたランクおよび構造制約の下で、近似問題のグローバル最適性が保証される。
• 関連する代数的多様体を分析することにより、ハンケルやシルベスター型に限らず、任意の行列線形空間に適用可能なフレームワークが構築されている。
• 数値的反復を用いずに、解空間の完全な代数的特徴付けが可能であり、正確な計算が実現されている。