[论文解读] 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}$ 为亏格 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$ 中球面紧框架空间在 $\mathbf{E} = \mathbf{R}$ 或 $\mathbf{C}$ 时的拓扑与微分结构。
• 分析正交/酉群作用下的轨道空间 ${\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}$。
• 在 ${\widetilde{\mathcal{F}}}_{k,2}$（即 ${\mathcal{F}}^{\mathbf{R}}_{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}$ 的亏格是多少？它与框架几何有何关联？

主要发现

• 当且仅当 $k$ 与 $n$ 互素时，轨道空间 ${\mathcal{G}}^{\mathbf{E}}_{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}$ 是一个亏格为 25 的可定向曲面。
• 存在同胚 ${\mathcal{G}}^{\mathbf{E}}_{k,n} \to {\mathcal{G}}^{\mathbf{E}}_{k,k-n}$，揭示了框架几何中的对偶性。
• 当 $k$ 与 $n$ 不互素时，${\mathcal{G}}^{\mathbf{E}}_{k,n}$ 分解为有限个流形的不相交并，其对应于分块对角投影。