[論文レビュー] Redundant Representation of Operators

Péter Balázs, Georg Rieckh|arXiv (Cornell University)|Dec 19, 2016

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

ひとこと要約

本稿では、冗長なフレームを用いた演算子の行列表現における可逆性および合成保存性の条件を確立し、正規直交基底を超えてガラーキン離散化を拡張する。主な貢献は、中間フレームがリース基底である場合に限り、演算子の合成が行列乗算に対応することの証明であり、数値解析および信号処理の応用において安定的かつ一貫性のある離散化を保証する。

ABSTRACT

To be able to solve operator equations numerically a discretization of those operators is necessary. In the Galerkin approach bases are used to achieve discretized versions of operators. In a more general set-up, frames can be used to sample the involved signal spaces and therefore those operators. Here we look at the redundant representation of operators resulting from a matrix representation using frames. We focus on injectivity, surjectivity and, in particular, invertibility of the involved operators and matrices. Furthermore we show sufficient conditions that the composition of matrices correspond to the composition of operators.

研究の動機と目的

• 正規直交基底から冗長なフレームへの演算子のガラーキン離散化の一般化を通じて、より柔軟な数値スキームの実現。
• フレームを用いた演算子の行列表現が、可逆性などの重要な演算子の性質をどのように保つのかを調査すること。
• 演算子行列の合成が、対応する演算子の合成に対応するための十分条件を確立すること。
• フレームに基づく演算子離散化における可逆性および合成の挙動について、証明を厳密に提示し、以前の証明のない結果を拡張すること。

提案手法

• フレーム理論および作用素論的ツール（分析作用素 $C_\Psi$ と合成作用素 $D_\Psi$）を用い、行列による演算子の表現を行う。
• 演算子の離散化を $\mathcal{O}^{(\Phi,\Psi)}(M) = D_\Phi M C_\Psi$ として定義し、行列からヒルベルト空間間の有界作用素への写像を定める。
• 作用素およびその行列表現の可逆性を解析するために、ムーア・ペンローズの一般逆行列 $O^\dagger$ を適用する。
• フレームの性質および双対フレームの関係を特徴付けるために、グラム行列 $G_{\Psi,\Phi} = C_\Psi D_\Phi$ を導入する。
• 非可逆フレーム作用素を取り扱うために、射影作用素 $\Pi_{\text{ran}(C_\Xi)} = C_\Xi D_{\tilde{\Xi}}$ を用いる。
• フレーム作用素の像と核に関する条件を用いて、作用素の合成と行列乗算の同値性を証明する。

実験結果

リサーチクエスチョン

• RQ1 フレームを用いた演算子の行列表現が可逆性を保つための条件は何か？
• RQ2 2つの演算子行列の合成が、対応する演算子の合成に対応するのはいつか？
• RQ3 フレームの選択（例えばリース基底対一般のフレーム）が、行列ベースの演算子合成の有効性にどのように影響するか？
• RQ4 双対フレームは、演算子の一貫性のある行列表現および合成にどのような役割を果たすか？
• RQ5 特定のフレーム特性を持つフレームベースの離散化を用いて、有限区間法を安定化させることは可能か？

主な発見

• フレームを介した演算子の行列表現における合成が、行列乗算に対応するのは、中間フレームがリース基底である場合に限り成り立つ。
• 中間フレーム $\Xi$ がリース基底であれば、$C_\Xi D_{\tilde{\Xi}} = \text{id}_{\ell^2}$ が成り立ち、正確な合成対応が保証される。
• 合成保存のための十分条件は以下の通りである：(a) $M^{(2)}(\text{ran}(C_\Psi)) \subseteq \text{ran}(C_\Xi)$、または (b) $(\text{ker}(D_\Phi M^{(1)}))^\perp \subseteq \text{ran}(C_\Xi)$。
• 標準双対フレーム $\tilde{\Psi} = S^{-1}\Psi$ は、フレーム展開の絶対収束を保証し、安定な再構成を可能にする。
• フレーム乗算子（対角行列）の場合、作用素の可逆性は、対角成分がゼロから有界に離れていることと同値である。
• フレーム作用素 $S_\Psi = C_\Psi^* C_\Psi$ は正定値かつ可逆であり、$A I_\mathcal{H} \leq S_\Psi \leq B I_\mathcal{H}$ の境界を持つため、フレームの安定性が保証される。