[論文レビュー] Sparse representation of solutions of Kronecker product systems

Sadegh Jokar, Volker Mehrmann|ArXiv.org|Feb 26, 2009

Polynomial and algebraic computation参考文献 21被引用数 12

ひとこと要約

本稿は、Kronecker積行列とその因子におけるスパーク、相互非整合性、および制限等長性の性質の関係を確立し、圧縮センシングにおけるスパース解の効率的解析を可能にする。スパース解の一意性保証を可能にするために、Kronecker積の和の相互非整合性に関する境界を導出する。

ABSTRACT

Three properties of matrices: the spark, the mutual incoherence and the restricted isometry property have recently been introduced in the context of compressed sensing. We study these properties for matrices that are Kronecker products and show how these properties relate to those of the factors. For the mutual incoherence we also discuss results for sums of Kronecker products.

研究の動機と目的

• Kronecker積行列における、スパーク、相互非整合性、制限等長性という、圧縮センシングの主要な性質がどのように振る舞うかを分析すること。
• Kronecker積行列とその構成因子との間で、これらの性質の明示的な関係を導出すること。
• これらの結果を、特に相互非整合性に関して、Kronecker積の和へと拡張すること。
• ℓ₁最小化によるスパース解の一意性を保証する計算可能な境界を提供すること。
• 信号処理やPDE離散化に生じる大規模システムにおける、効率的な解復元を支援すること。

提案手法

• 本稿は、Kronecker積行列の文脈において、スパーク、相互非整合性、制限等長性という3つの主要な行列特性を定義し、分析する。
• Kronecker積行列のスパークがその因子のスパークによって決定され、明示的な境界が導出されることを証明する。
• 相互非整合性に関しては、行列間の対角的および非対角的相互非整合性という概念を導入する。
• 対角的および非対角的相互非整合性項を用いて、2つのKronecker積行列の和の相互非整合性に対する新しい上界を導出する。
• 合計相互非整合性および対角結合項を含む一般化された式を用いて、複数のKronecker積行列の和への境界を拡張する。
• この手法により、Kronecker構造を有するシステムにおいて、ℓ₁最小化による一意なスパース解復元の十分条件を導出可能となる。

実験結果

リサーチクエスチョン

• RQ1 Kronecker積行列のスパークおよび相互非整合性は、その因子行列のそれらとどのように関係するか？
• RQ2 Kronecker積行列の和の相互非整合性は、個々の和項の性質を用いて上界で抑えられるか？
• RQ3 Kronecker積構造を有するシステムにおいて、ℓ₁最小化が最もスパースな解を回復するための条件は何か？
• RQ4 制限等長性はKronecker積の合成においてどのように振る舞い、因子と関係づけられるか？
• RQ5 Kronecker積の和の相互非整合性は、スパース解の一意性を保証する形で上界で抑えられるか？

主な発見

• Kronecker積行列 A₁⊗⋯⊗Aₙ のスパークは、その因子の最小スパークによって上限が与えられ、特定の条件下でスパース解が存在することを保証する。
• 相互非整合性に関して、本稿は2つのKronecker積行列の和の相互非整合性に対する上界を、それぞれの個々の相互非整合性および非対角結合項を用いて導出する。
• M 個のKronecker積行列の和の相互非整合性に対する境界は、合計相互非整合性および対角結合項を含む有理関数で与えられる。
• 導出された境界により、解 x のスパース性が ‖x‖₀ < ½(1 + 1/𝒰) を満たすならば、x は ℓ₁最小化によって一意に復元可能な最もスパースな解であることが保証される。
• C = I⊗A + A⊗I の場合、相互非整合性は 𝒰(C) = (2ℳ(A) + 2ℳₒ𝒹(I⊗A, A⊗I)) / (2 − 2ℳₒ𝒹(I⊗A, A⊗I)) で上限が与えられ、A が 3×3 の有限差分行列であるとき ℳ(C) ≤ 𝒰(C) = 0.5615 となる。
• Kronecker積の和の制限等長性については、一般に成立する関係が確立されておらず、未解決の問題のままである。