[論文レビュー] Preconditioning techniques in frame theory and probabilistic frames

Kasso A. Okoudjou|arXiv (Cornell University)|Apr 8, 2015

Mathematical Analysis and Transform Methods参考文献 75被引用数 6

ひとこと要約

本稿は、スケーラブルなフレーム（スケーリングによってタイトなフレームにできるフレーム）を通じて、フレーム理論における前処理技術を導入し、スケーラビリティをフリッツ・ヨハーンの楕円体定理と関連付ける。さらに、フレームの一般化として確率的フレームを定義し、確率的フレームポテンシャルの最小化がタイトな確率的 $p$-フレームに対応することを示し、偶数 $p$ に対しては球面 $p$-デザインを用いて明示的な特徴付けを行う。

ABSTRACT

In this chapter we survey two topics that have recently been investigated in frame theory. First, we give an overview of the class of scalable frames. These are (finite) frames with the property that each frame vector can be rescaled in such a way that the resulting frames are tight. This process can be thought of as a preconditioning method for finite frames. In particular, we: (1) describe the class of scalable frames; (2) formulate various equivalent characterizations of scalable frames, and relate the scalability problem to the Fritz John ellipsoid theorem. Next, we discuss some results on a probabilistic interpretation of frames. In this setting, we: (4) define probabilistic frames as a generalization of frames and as a subclass of continuous frames; (5) review the properties of certain potential functions whose minimizers are frames with certain optimality properties. The chapter is based on a lecture given by the author at the AMS 2015 Short Course on Finite Frame Theory: A Complete Introduction to Overcompleteness.

研究の動機と目的

• スケーラブルなフレームを特徴付け、凸多面体およびフリーツ・ヨハーンの楕円体定理を含む条件との同値性を確立すること。
• 単位球面上のボレル確率測度として有限フレームを一般化し、フレーム理論を連続的設定に拡張すること。
• 特に偶数 $p$ に対して、確率的フレームポテンシャルを用いたフレームの最適性条件を同定すること。
• 偶数 $p=2k$ のとき、球面 $p$-デザインと離散的タイトな確率的 $p$-フレームとの間の一対一対応を確立すること。
• $p$-フレームポテンシャルの最小化を通じて、タイトな確率的 $p$-フレームを構成するための解析的ツールを提供すること。

提案手法

• スケーラブルなフレームを、その正規化されたベクトルの相対的内部に原点が存在するという条件を用いて定義し、それらがタイトなフレームにスケーリング可能であることを示す。
• フリーツ・ヨハーン定理を用い、正定値行列 $A$ が存在して $\sum_{k=1}^M \lambda_k \varphi_k \otimes \varphi_k = A$ を満たすことで、スケーラブルなフレームを特徴付ける。
• 単位球面 $S^{N-1}$ 上のボレル確率測度 $\mu$ を用いて確率的フレームを定義し、すべての $y \in \mathbb{R}^N$ に対して $A\|y\|^p \leq \int_{S^{N-1}} |\langle x,y \rangle|^p d\mu(x) \leq B\|y\|^p$ を満たすものとする。
• 確率的フレームポテンシャル $\operatorname{PFP}(\mu,p) = \int_{S^{N-1}} \int_{S^{N-1}} |\langle x,y \rangle|^p d\mu(x) d\mu(y)$ を定義し、その最小化がタイトな確率的 $p$-フレームをもたらすことを示す。
• 偶数 $p=2k$ のとき、$\operatorname{PFP}(\mu,p)$ の最小化は、正確にタイトな確率的 $p$-フレームに一致し、二重階乗と次元 $N$ を含む鋭い下界が得られることを示す。
• 球面 $p$-デザインに台を持つ離散的測度は、$p=2k$ のとき、タイトな確率的 $p$-フレームであり、逆にそれらがタイトな確率的 $p$-フレームであるとき、球面 $p$-デザインに台を持つことが示される。

実験結果

リサーチクエスチョン

• RQ1 有限フレームがスケーラブルであるための必要十分条件は何か？ また、凸幾何学およびフリーツ・ヨハーン定理とどのように関連するか？
• RQ2 単位球面上の確率測度を用いることで、フレーム理論を連続的設定にどのように一般化できるか？
• RQ3 確率的フレームの最適性特性は何か？ また、$p$-フレームポテンシャルの最小化とどのように関連するか？
• RQ4 偶数整数 $p$ のとき、球面 $p$-デザインとタイトな確率的 $p$-フレームとの関係は何か？
• RQ5 確率的フレームポテンシャルの最小化は明示的に特徴付け可能か？ それらが持つ幾何的または代数的構造は何か？

主な発見

• 有限フレームがスケーラブルであるための必要十分条件は、その正規化されたベクトルの相対的内部に原点が存在することである。
• スケーラブルなフレームは、正定値行列 $A$ が存在して $\sum_{k=1}^M \lambda_k \varphi_k \otimes \varphi_k = A$ を満たすことで特徴付けられ、これによりスケーラビリティがフリーツ・ヨハーンの楕円体定理と関連づけられる。
• すべての $0 < p < 2$ に対して、確率的フレームポテンシャル $\operatorname{PFP}(\mu,p)$ の最小化は、正規直交基底を含み、$\pm B$ に含まれるような測度 $\mu$ に限定され、その重みは対称的かつ総和が $1/N$ である。
• 偶数 $p=2k$ のとき、確率的フレームポテンシャルは $\operatorname{PFP}(\mu,p) \geq \frac{1 \cdot 3 \cdot 5 \cdots (p-1)}{N(N+2)\cdots(N+p-2)}$ を満たし、等号が成り立つのは $\mu$ がタイトな確率的 $p$-フレームである場合に限る。
• 偶数 $p=2k$ のとき、球面 $p$-デザインと離散的タイトな確率的 $p$-フレームとの間には一対一対応がある。これは、$\mu_\Phi = \frac{1}{M}\sum_{k=1}^M \delta_{\varphi_k}$ がタイトな確率的 $p$-フレームであることは、$\Phi$ が球面 $p$-デザインであることと同値であるという等価性によって示される。
• 球面 $S^{N-1}$ 上の均一な表面測度 $\sigma$ は、すべての $0 < p < \infty$ に対して常にタイトな確率的 $p$-フレームである。また、非一様測度のフレーム条件における下界は、臨界的制約である。