[論文レビュー] Optimal completions of a frame

Pedro Massey, Mariano Ruiz+1 more|arXiv (Cornell University)|Jun 15, 2012

Mathematical Analysis and Transform Methods参考文献 29被引用数 5

ひとこと要約

本稿は、与えられたフレームの完成を、所定のベクトルノルムを満たすように、一般の凸ポテンシャル（平均二乗誤差やフレームポテンシャルを含む）を最小化する問題として解く。最適な完成は、主要化および可換性条件を満たす特定の行列マッチングに対応し、計算のための有限ステップアルゴリズムと、Lindsköllの不等式における等号成立の完全な特徴付けを導く。

ABSTRACT

Given a finite sequence of vectors $\mathcal F_0$ in $\C^d$ we describe the spectral and geometrical structure of optimal completions of $\mathcal F_0$ obtained by adding a finite sequence of vectors with prescribed norms, where optimality is measured with respect to a general convex potential. In particular, our analysis includes the so-called Mean Square Error (MSE) and the Benedetto-Fickus' frame potential. On a first step, we reduce the problem of finding the optimal completions to the computation of the minimum of a convex function in a convex compact polytope in $\R^d$. As a second step, we show that there exists a finite set (that can be explicitly computed in terms of a finite step algorithm that depends on $\cF_0$ and the sequence of prescribed norms) such that the optimal frame completions with respect to a given convex potential can be described in terms of a distinguished element of this set. As a byproduct we characterize the cases of equality in Lindskii's inequality from matrix theory.

研究の動機と目的

• C^d 内の有限フレームに対して、所定のノルムを持つベクトルを追加することで最適な完成を求める。このとき、一般の凸ポテンシャルを最小化する。
• タイトフレームが所定のノルムを満たす場合に存在しない非可解ケースにまで、フレームポテンシャルおよび平均二乗誤差最小化の先行結果を拡張する。
• 完成空間上の凸ポテンシャルのグローバル最小化子を計算するための有限ステップアルゴリズムを開発する。
• 最適マッチング行列と固有値の可換性を用いて、Lindsköllの不等式における等号成立の条件を特徴付ける。
• 主要化およびSchur-Horn型定理を用いて、最適完成のスペクトル的および幾何的構造を確立する。

提案手法

• フレーム完成問題を、フレーム作用素の固有値でパrameter化されたR^d内のコンパクトな凸多面体上での凸関数Fの最小化問題に還元する。
• 初期フレームの固有値と所定のノルムとの間の最適マッチング行列の概念を導入し、スペクトル的整合性を保証する。
• 部分主要化および置換不変性を用いて、Schur-Horn定理および主要化理論により臨界点を同定する。
• ポテンシャルのd_P-局所最小化子がグローバル最小化子であることを示し、このような最小化子が空間のフレームを生成することを示す。
• フレームの非可約分割と固有値の順序付けに基づく有限ステップアルゴリズムを構築し、グローバル最小化子を計算する。
• Lindsköllの不等式における等号成立が、最適マッチング行列が可換であり、固有値に特定の順序条件を満たすときかつそのときに限り成立することを証明する。

実験結果

リサーチクエスチョン

• RQ1 一般の凸ポテンシャルを所定のベクトルノルムの下で最小化する際の最適フレーム完成のスペクトル的および幾何的構造は何か？
• RQ2 完成空間上の凸ポテンシャルのグローバル最小化子をどのようにアルゴリズム的に計算できるか？
• RQ3 フレーム作用素に関してLindsköllの不等式の等号成立はどのような条件下で成立するか？
• RQ4 厳密に凸である限り、特定の凸ポテンシャルに依存しない形で最適完成を特徴づけられるか？
• RQ5 最適マッチング行列は、完成の最小性およびフレーム構造を保証するために果たす役割は何か？

主な発見

• 所定のノルムを持つ最適完成は、初期フレームとノルム列に依存する有限ステップアルゴリズムによって計算可能な有限個の候補解の集合によって特徴付けられる。
• 凸ポテンシャルのグローバル最小化子は、初期フレームのスペクトルと所定のノルムとの間で最適マッチングによって得られる固有値を持つフレーム作用素に対応する。
• Lindsköllの不等式における等号成立は、最適マッチング行列が可換であり、固有値に特定の順序条件を満たすときかつそのときに限り成立する。
• 最適完成は常にC^dのフレームであり、ポテンシャルの最小化子は完成空間全体でグローバルに最適である。
• ポテンシャルがP_fの形をしており、かつそれが厳密に凸であれば、解は特定の凸ポテンシャルに依存せず、最小化子はスペクトルの主要化によって決定される。
• 本手法により、無限次元のフレーム完成問題がR^d内のコンパクトな多面体上での有限次元の凸最小化問題に還元される。