[論文レビュー] Moving Parseval frames for vector bundles

Daniel Freeman, Daniel E. Poore+2 more|arXiv (Cornell University)|Mar 7, 2012

Mathematical Analysis and Transform Methods参考文献 15被引用数 11

ひとこと要約

本稿は、パラコンパクト多様体上のベクトル束に対して、ヒルベルト空間におけるパーセバルフレームを滑らかな幾何構造へ一般化した「動的パーセバルフレーム」を導入する。すべてのこのようなベクトル束が動的パーセバルフレームを有することを証明し、バンドルレベルでの拡大定理を確立する：動的パーセバルフレームは、より大きなバンドルからの動的正規直交基底の直交射影として得られる。これは古典的なHan-Larsonの拡大結果を微分幾何学へ拡張するものである。

ABSTRACT

Parseval frames can be thought of as redundant or linearly dependent coordinate systems for Hilbert spaces, and have important applications in such areas as signal processing, data compression, and sampling theory. We extend the notion of a Parseval frame for a fixed Hilbert space to that of a moving Parseval frame for a vector bundle over a manifold. Many vector bundles do not have a moving basis, but in contrast to this every vector bundle over a paracompact manifold has a moving Parseval frame. We prove that a sequence of sections of a vector bundle is a moving Parseval frame if and only if the sections are the orthogonal projection of a moving orthonormal basis for a larger vector bundle. In the case that our vector bundle is the tangent bundle of a Riemannian manifold, we prove that a sequence of vector fields is a Parseval frame for the tangent bundle of a Riemannian manifold if and only if the vector fields are the orthogonal projection of a moving orthonormal basis for the tangent bundle of a larger Riemannian manifold.

研究の動機と目的

• ヒルベルト空間におけるパーセバルフレーム（冗長的で安定な座標系）の概念を、多様体上のベクトル束を用いた滑らかで幾何的な設定へ拡張すること。
• すべてのベクトル束が動的基底を持たない（例：球面の接束）という根本的制限を克服するため、動的パーセバルフレームが常に存在することを示すこと。
• 古典的なHan-Larsonの拡大定理をベクトル束へ一般化し、動的パーセバルフレームがより大きなバンドルからの正規直交基底の射影として特徴づけられることを示すこと。
• 動的パーセバルフレームに追加構造（例：単位ノルム、タイト性）を持つものがベクトル束上に存在するための幾何的・位相的条件を同定すること。
• 元の多様体を部分多様体として含むコンパクトで次元の高い多様体上での正規直交基底からの射影として、動的パーセバルフレームが実現可能かどうかを検討すること。

提案手法

• 動的パーセバルフレームを、各点においてファイバーに対してパーセバルフレームをなす滑らかなセクションの族として定義する。
• 古典的なHan-Larsonの拡大定理を用いて、ヒルベルト空間内の任意のパーセバルフレームが、より大きなヒルベルト空間内の正規直交基底の直交射影として得られることを示す。
• このアイデアをベクトル束へ拡張し、補完バンドルを直和で加えることにより、より大きなバンドルを構成する。このとき、元のセクションが全体空間内の正規直交基底の射影として得られることを示す。
• リーマン多様体に対しては、接束の動的パーセバルフレームが、より大きなリーマン多様体の接束からの正規直交基底の射影として得られることを証明し、幾何的構造を保存することを示す。
• 補助多様体 $N$ にリーマン計量を構成し、$N$ 上の正規直交基底の引き戻しが、元の多様体 $M$ 上で動的パーセバルフレームを生成することを保証する。
• 平行化可能多様体上での動的正規直交基底の存在を用い、$M$ をフレーム構造を保存する高次元の平行化可能多様体に埋め込む。

実験結果

リサーチクエスチョン

• RQ1 パラコンパクト多様体上のすべてのベクトル束が、動的基底を持たないにもかかわらず、動的パーセバルフレームを有するか？
• RQ2 ベクトル束の動的パーセバルフレームは、より大きなベクトルバンドルからの動的正規直交基底の直交射影として実現可能か？
• RQ3 リーマン多様体 $M$ に対して、次元 $k$ のコンパクトなリーマン多様体 $N$ が存在し、$N$ 上の動的正規直交基底を $M$ に射影することで、与えられた $TM$ の動的パーセバルフレームが得られるか？
• RQ4 完全な正規直交基底への拡大ではなく、より小さな環境バンドル（例：$k$次元から$m$次元へ、$n < m < k$）におけるパーセバルフレームへの拡大は可能か？
• RQ5 どのような条件下で、ベクトル束が動的有限単位タイトフレーム（FUNTF）を有するか、すなわちすべてのセクションが単位ノルムのパーセバルフレームを有するか？

主な発見

• パラコンパクト多様体上の任意のベクトル束は、動的パーセバルフレームを有する。これは、動的基底が存在しないという位相的障害を解消する。
• ベクトルバンドル上でセクションの列が動的パーセバルフレームをなすための必要十分条件は、より大きなベクトルバンドルからの動的正規直交基底の直交射影であることである。
• リーマン多様体の接束に対しては、動的パーセバルフレームが存在するための必要十分条件は、より大きなリーマン多様体の接束からの正規直交基底の射影として得られることである。
• 滑らかな多様体 $M$ が $k$ 次元の平行化可能多様体に埋め込めるならば、$M$ はフレーム構造を保存する $k$ 次元の平行化可能多様体に埋め込める。
• 補助多様体 $N$ に構成されたリーマン計量のおかげで、$N$ 上の正規直交基底の引き戻しが、$M$ 上での動的パーセバルフレームを直交射影により生成することが保証される。
• 本稿は、ベクトルバンドルの文脈において、Han-Larsonの拡大定理の幾何的実現を確立し、パーセバルフレームを高次元バンドル内の正規直交フレームの射影として幾何的に解釈可能であることを示している。