[論文レビュー] Structured Parseval Frames in Hilbert $C^*$-modules

Wu Jing, Deguang Han+1 more|ArXiv.org|Mar 3, 2006

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

ひとこと要約

この論文は、ヒルベルト $C^*$-加群における構造化されたパーセバルフレームを、ユニタリ群の表現に焦点を当てて調査する。可換な $C^*$-代数を仮定した場合、ユニタリ群のパーセバルフレーム生成子は、その群の二重可換核内のユニタリ作用素によってパラメータ化可能であり、最良のパーセバルマルチフレーム近似の存在と一意性を証明する。また、すべてのこのような生成子の集合はパス連結であることを示す。

ABSTRACT

We investigate the structured frames for Hilbert $C^{*}$-modules. In the case that the underlying $C^{*}$-algebra is a commutative $W^*$-algebra, we prove that the set of the Parseval frame generators for a unitary operator group can be parameterized by the set of all the unitary operators in the double commutant of the group. Similar result holds for the set of all the general frame generators where the unitary operators are replaced by invertible and adjointable operators. Consequently, the set of all the Parseval frame generators is path-connected. We also obtain the existence and uniqueness results for the best Parseval multi-frame approximations for multi-frame generators of unitary operator groups on Hilbert $C^*$-modules when the underlying $C^{*}$-algebra is commutative.

研究の動機と目的

• ヒルベルト空間における構造化フレーム理論を、特にユニタリ群の表現を含めたヒルベルト $C^*$-加群へと拡張すること。
• 標準的手法（例：グラム・シュミット法）が失敗する非可換な $C^*$-代数の文脈において、ヒルベルト空間のフレーム理論の結果を一般化する課題に取り組むこと。
• ヒルベルト $C^*$-加群におけるフレーム生成子に対して、最良のパーセバルマルチフレーム近似の存在と一意性を調査すること。
• 可換な $C^*$-代数の条件下で、すべてのパーセバルフレーム生成子の集合がパス連結であるかどうかを特定すること。
• 二重可換核定理と可換核代数が、$C^*$-加群の文脈におけるフレーム生成子のパラメータ化において果たす役割を調査すること。

提案手法

• 可換な $C^*$-代数の文脈において、フォン・ノイマン代数の二重可換核定理を用い、ユニタリ群の二重可換核内のユニタリ作用素によってパーセバルフレーム生成子をパラメータ化する。
• ユニタリ群のフレーム生成子の概念を適用し、フレーム作用素 $S$ 及びその関数計算を用いてその構造を分析する。
• フレーム作用素 $S$ 及びその逆作用素 $S^{-1/2}$ を用いて、与えられたフレーム生成子 $\Phi$ に対する最良のパーセバル近似 $S^{-1/2}\Phi$ を構成する。
• ヒルベルト $C^*$-加群における内積構造を用い、加群の元 $x$ に対する $\langle x, x \rangle$ に関する不等式を証明する。
• 補題 4.2 を適用して、近似問題を $\sum_{k=1}^N \langle \cdot, \cdot \rangle$ の表現による作用素のトレース比較に還元する。
• ユニタリ不変性と随伴性を用いて、最良の近似が一意的であり、$S^{-1/2}\Phi$ に一致することを示す。

実験結果

リサーチクエスチョン

• RQ1 可換な $C^*$-代数を前提とした場合、ヒルベルト $C^*$-加群におけるユニタリ群のパーセバルフレーム生成子は、二重可換核内のユニタリ作用素によってパラメータ化可能か？
• RQ2 ユニタリ群の二重可換核は、すべてのパーセバルフレーム生成子を特徴付けるために果たす役割は何か？
• RQ3 可換な $C^*$-代数の条件下で、すべてのパーセバルフレーム生成子の集合は、ヒルベルト $C^*$-加群の文脈においてパス連結か？
• RQ4 与えられたフレーム生成子に対して、ヒルベルト $C^*$-加群における最良のパーセバルマルチフレーム近似が存在する条件は何か？
• RQ5 フレーム生成子に対する最良のパーセバル近似は一意的か？ また、明示的に構成可能か？

主な発見

• 可換な $C^*$-代数を仮定した場合、ヒルベルト $C^*$-加群におけるユニタリ群のすべてのパーセバルフレーム生成子は、その群の二重可換核内のユニタリ作用素によってパラメータ化可能である。
• 同じ可換性仮定の下で、すべてのパーセバルフレーム生成子の集合はパス連結である。
• フレーム生成子 $\Phi$ に対する最良のパーセバルマルチフレーム近似は、$S$ を $\Phi$ のフレーム作用素とするとき、$S^{-1/2}\Phi$ で与えられる。
• この最良の近似は一意的であり、他のいかなる近似も $S^{-1/2}\Phi$ と一致しなければならない。
• 最適性を保証するための正値性の式 $\sum_{k=1}^N \langle (T_{S^{-1/2}\Phi} - T_\Psi)^* (T_{S^{-1/2}\Phi} - T_\Psi) S^{-1/4}\phi_k, S^{-1/4}\phi_k \rangle \geq 0$ の正値性に依存している。
• 一意性は、すべての $k$ に対して $S^{1/4}\xi_k = S^{-1/4}\phi_k$ が成り立つことから示され、これにより $\xi_k = S^{-1/2}\phi_k$ が得られ、$\Xi = S^{-1/2}\Phi$ が確認される。