[论文解读] 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

一句话总结

本文引入了在仿紧流形上的向量丛上移动的Parseval框架，将Hilbert空间中的Parseval框架概念推广至光滑几何结构。证明了任意向量丛均存在移动的Parseval框架，并建立了丛层面的扩张定理：移动的Parseval框架可视为从更大丛中移动标准正交基的正交投影，将经典的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.

研究动机与目标

• 将Hilbert空间中Parseval框架——即冗余且稳定的坐标系统——的概念，通过流形上的向量丛推广至光滑几何设定。
• 解决向量丛通常不具有移动基（例如球面的切丛）的根本限制，通过证明移动Parseval框架始终存在。
• 将经典的Han-Larson扩张定理推广至向量丛，将移动Parseval框架表征为从更大丛中投影出的正交基。
• 探讨在何种几何与拓扑条件下，向量丛上存在具有附加结构（如单位范数、紧致性）的移动Parseval框架。
• 研究移动Parseval框架是否可实现在包含原流形作为子流形的紧致高维流形上，作为正交基的投影。

提出的方法

• 将移动Parseval框架定义为向量丛的光滑截面族，使得在每一点处，这些截面构成纤维的Parseval框架。
• 利用经典的Han-Larson扩张定理，证明Hilbert空间中的任意Parseval框架均可作为更大Hilbert空间中正交基的正交投影。
• 将此思想扩展至向量丛，通过与补从丛的直和构造更大的丛，使得原截面为总空间中正交基的正交投影。
• 对于黎曼流形，证明其切丛的移动Parseval框架可作为更大黎曼流形切丛中移动正交基的正交投影，从而保持几何结构。
• 在辅助流形 $N$ 上构造黎曼度量，使得 $N$ 上正交基的拉回在 $M$ 上通过正交投影生成移动Parseval框架。
• 利用平行化流形上存在移动正交基的事实，将 $M$ 嵌入更高维平行化流形中，通过投影保持框架结构。

实验结果

研究问题

• RQ1 每个仿紧流形上的向量丛是否都存在移动Parseval框架，即使其不存在移动基？
• RQ2 一个向量丛的移动Parseval框架是否可作为从更大向量丛中移动正交基的正交投影实现？
• RQ3 对于黎曼流形 $M$，是否存在一个紧致的 $k$-维黎曼流形 $N$，其上存在移动正交基，使得该基在 $M$ 上的投影生成给定的 $TM$ 的移动Parseval框架？
• RQ4 移动Parseval框架是否可被扩张至一个更小的环境丛中（例如从 $k$ 维扩张至 $m$ 维，且 $n < m < k$），而非完整的正交基？
• RQ5 在何种条件下，向量丛可具有移动的有限单位紧致框架（FUNTF），即所有截面均为单位范数的Parseval框架？

主要发现

• 每个仿紧流形上的向量丛均存在移动Parseval框架，解决了阻碍移动基存在的拓扑障碍。
• 一个截面序列构成向量丛的移动Parseval框架，当且仅当它是从更大向量丛中移动正交基的正交投影。
• 对于黎曼流形的切丛，其移动Parseval框架存在，当且仅当它是从更大黎曼流形的切丛中移动正交基的正交投影。
• 若光滑流形 $M$ 可浸入 $k$-维平行化流形，则 $M$ 可嵌入 $k$-维平行化流形中，且保持移动Parseval框架结构。
• 在辅助流形 $N$ 上构造黎曼度量，可确保 $N$ 上正交基的拉回通过正交投影在 $M$ 上生成移动Parseval框架。
• 本文在向量丛的背景下建立了Han-Larson扩张定理的几何实现，为Parseval框架提供了作为高维丛中正交框架投影的几何解释。