[論文レビュー] Manifold structure of spaces of spherical tight frames

Ken Dykema, Nate Strawn|ArXiv.org|Jul 28, 2003

Mathematical Analysis and Transform Methods参考文献 9被引用数 43

ひとこと要約

本稿は、実および複素ヒルベルト空間における球的タイトフレームの空間の多様体構造を確立し、$k$ と $n$ が互いに素であるとき、軌道空間 ${\mathcal{G}}^{\mathbf{E}}_{k,n}$ が実解析的多様体であることを証明している。そうでない場合には、有限個の多様体の直和に分解される。${\mathcal{F}}^{\mathbf{R}}_{k,2}$ が $k \geq 4$ のとき連結であることを示し、${\mathcal{G}}^{\mathbf{R}}_{4,2}$ をグラフとして、${\mathcal{G}}^{\mathbf{R}}_{5,2}$ を genus 25 の曲面として明示的に計算している。また、${\mathcal{G}}^{\mathbf{E}}_{k,n}$ と ${\mathcal{G}}^{\mathbf{E}}_{k,k-n}$ の間の重要な同相写像を確立している。

ABSTRACT

We consider the space F^E_{k,n} of all spherical tight frames of k vectors in real or complex n--dimensional Hilbert space E^n, i.e. E=R or E=C, and its orbit space G^E_{k,n}=F^E_{k,n}/O^E_n under the obvious action of the group O^E_n of structure preserving transformations of E^n. We show that the quotient map F^E_{k,n} -> G^E_{k,n} is a locally trivial fiber bundle (also in the more general case of ellipsoidal tight frames) and that there is a homeomorphism G^E_{k,n} -> G^E_{k,k-n}. We show that G^E_{k,n} and F^E_{k,n} are real manifolds whenever k and n are relatively prime, and we describe them as disjoint unions of finitely many manifolds (of various dimensions) when when k and n have a common divisor. We also prove that F^R_{k,2} is connected (k >= 4) and F^R_{n+2,n} is connected, (n >= 2). The spaces G^R_{4,2} and G^R_{5,2} are investigated in detail. The former is found to be a graph and the latter is the orientable surface of genus 25.

研究の動機と目的

• 実または複素ヒルベルト空間 $\mathbf{E}^n$ における球的タイトフレームの空間の位相的および微分的構造を特定すること。
• 直交／ユニタリ群の作用の下での軌道空間 ${\mathcal{G}}^{\mathbf{E}}_{k,n} = {\mathcal{F}}^{\mathbf{E}}_{k,n}/{\mathcal{O}}^{\mathbf{E}}_n$ を分析すること。
• ${\mathcal{F}}^{\mathbf{E}}_{k,n}$ および ${\mathcal{G}}^{\mathbf{E}}_{k,n}$ が多様体または多様体の直和に分解されるための条件を確立すること。
• ${\mathcal{F}}^{\mathbf{R}}_{k,n}$ の連結性を調査し、特に $n=2$ および $k=n+2$ の場合に注目し、より広い連結性に関する予想を提示すること。

提案手法

• ${\mathcal{F}}^{\mathbf{E}}_{k,n} \to {\mathcal{G}}^{\mathbf{E}}_{k,n}$ を局所的に自明なファイバー束とみなす。ファイバーは ${\mathcal{O}}^{\mathbf{E}}_n$ である。
• 実代数的集合に関するホイットニーの定理を適用し、${\mathcal{F}}^{\mathbf{E}}_{k,n}$ および ${\mathcal{G}}^{\mathbf{E}}_{k,n}$ を有限個の互いに素な多様体の直和に分解する。
• フレーム理論における双対性を用いて、同相写像 ${\mathcal{G}}^{\mathbf{E}}_{k,n} \to {\mathcal{G}}^{\mathbf{E}}_{k,k-n}$ を証明する。
• ${\mathcal{F}}^{\mathbf{R}}_{k,2}$ の空間を、対称性とパスリフト技術を用いて軌道空間におけるパスをフレーム空間に引き上げることで分析する。
• ${\mathcal{F}}^{\mathbf{R}}_{k,2}$ の二重被覆 ${\widetilde{\mathcal{F}}}_{k,2}$ 上に明示的なパスを構成し、$k$ の値による場合分けを用いて連結性を示す。
• 対角成分が等しい射影の構造を用いて、${\mathcal{G}}^{\mathbf{E}}_{k,n}$ をグラスマンニアンの部分集合として特定する。

実験結果

リサーチクエスチョン

• RQ1 球的タイトフレームの空間 ${\mathcal{F}}^{\mathbf{E}}_{k,n}$ が実多様体であるための条件は何か？
• RQ2 軌道空間 ${\mathcal{G}}^{\mathbf{E}}_{k,n}$ の位相的構造は何か？また、${\mathcal{G}}^{\mathbf{E}}_{k,k-n}$ とどのように関係しているか？
• RQ3 ${\mathcal{F}}^{\mathbf{R}}_{k,2}$ は $k \geq 4$ のとき連結であるか？その基本的な位相的型は何か？
• RQ4 ${\mathcal{F}}^{\mathbf{R}}_{n+2,n}$ の連結性は $n \geq 2$ のとき確立できるか？
• RQ5 ${\mathcal{G}}^{\mathbf{R}}_{5,2}$ の genus は何か？また、フレーム幾何とどのように関係しているか？

主な発見

• ${\mathcal{G}}^{\mathbf{E}}_{k,n}$ が実解析的多様体であるための必要十分条件は、$k$ と $n$ が互いに素であることである。
• ${\mathcal{F}}^{\mathbf{R}}_{k,2}$ はすべての $k \geq 4$ に対して連結である。これは二重被覆上のパスリフトを用いた解析によって示された。
• ${\mathcal{F}}^{\mathbf{R}}_{n+2,n}$ はすべての $n \geq 2$ に対して連結である。これは次元を高めた場合にも同様に成り立つことを示している。
• ${\mathcal{G}}^{\mathbf{R}}_{4,2}$ はグラフと同相であり、${\mathcal{G}}^{\mathbf{R}}_{5,2}$ は genus 25 の可定向曲面である。
• ${\mathcal{G}}^{\mathbf{E}}_{k,n} \to {\mathcal{G}}^{\mathbf{E}}_{k,k-n}$ の同相写像が存在し、フレーム幾何における双対性を明らかにしている。
• $k$ と $n$ が互いに素でない場合、${\mathcal{G}}^{\mathbf{E}}_{k,n}$ は、ブロック対角射影に対応する有限個の多様体の直和に分解される。