[论文解读] The Balian-Low theorem for locally compact abelian groups and vector bundles

Ulrik Enstad|arXiv (Cornell University)|May 16, 2019

Mathematical Analysis and Transform Methods参考文献 64被引用 5

一句话总结

该论文通过将Balian–Low定理由局部紧阿贝尔群上的时间-频率格点的紧致商空间 (G/Λ) × (Ĝ/Λ⊥) 上的向量丛的非平凡性联系起来，建立了该群上存在良好局域化Gabor框架的拓扑障碍。利用Heisenberg模和Zak变换作为Hilbert C*-模同构，证明了Balian–Low陈述成立当且仅当关联的向量丛是非平凡的，并将此应用于证明G = R × Qp时该定理成立。

ABSTRACT

Let $\Lambda$ be a lattice in a second countable, locally compact abelian group $G$ with annihilator $\Lambda^{\perp} \subseteq \widehat{G}$. We investigate the validity of the following statement: For every $\eta$ in the Feichtinger algebra $S_0(G)$, the Gabor system $\{ M_{ au} T_{\lambda} \eta \}_{\lambda \in \Lambda, au \in \Lambda^{\perp}}$ is not a frame for $L^2(G)$. When $G = \mathbb{R}$ and $\Lambda = \alpha \mathbb{Z}$, this statement is a variant of the Balian-Low theorem. Extending a result of R. Balan, we show that whether the statement generalizes to $(G,\Lambda)$ is equivalent to the nontriviality of a certain vector bundle over the compact space $(G/\Lambda) imes (\widehat{G}/\Lambda^{\perp})$. We prove this equivalence using a connection between Gabor frames and Heisenberg modules. More specifically, we show that the Zak transform can be viewed as an isomorphism of certain Hilbert $C^*$-modules. As an application, we prove a new Balian-Low theorem for the group $\mathbb{R} imes \mathbb{Q}_p$, where $\mathbb{Q}_p$ denotes the $p$-adic numbers.

研究动机与目标

• 通过将Balian–Low定理与时间-频率格点的拓扑不变量联系起来，刻画其在局部紧阿贝尔群上成立的条件。
• 将Balian–Low定理从R^n推广至更广范围，识别出障碍为 (G/Λ) × (Ĝ/Λ⊥) 上向量丛的非平凡性。
• 通过Heisenberg模和Hilbert C*-模建立新框架，以非交换几何视角重构Gabor框架理论。
• 利用丛理论准则，证明R × Qp这一非阿基米德例子的Balian–Low定理。
• 表明Zak变换是Hilbert C*-模的同构，并明确识别出关联的向量丛。

提出的方法

• 使用与G × Ĝ 中格点 ∆ = Λ × Λ⊥ 关联的Heisenberg模 E∆(G)，作为C*(∆) ≅ C(X) 上的Hilbert C*-模，其中 X = (G/Λ) × (Ĝ/Λ⊥)。
• 应用Serre–Swan定理，将EG,Λ 上连续截面的模识别为复向量丛。
• 证明Zak变换 ZG,Λ 是Hilbert C*-模的同构：ZG,Λ : E∆(G) → Γ(EG,Λ)。
• 将Balian–Low陈述约化为EG,Λ是否平凡的问题：单生成模当且仅当丛是平凡的。
• 利用K-理论和Morita等价性，将单生成元的存在性与丛的拓扑联系起来。
• 将该准则应用于群 G = R × Qp，通过证明EG,Λ在此情况下非平凡，从而证明Balian–Low定理成立。

实验结果

研究问题

• RQ1 对于哪些局部紧阿贝尔群G及格点Λ ⊆ G，Balian–Low定理对Gabor系统 G(η, Λ × Λ⊥) 成立？
• RQ2 在格点Λ × Λ⊥上，存在S₀(G)中窗函数的良好局域化Gabor框架的拓扑障碍是什么？
• RQ3 在时间-频率分析背景下，Zak变换如何被解释为Hilbert C*-模的同构？
• RQ4 Balian–Low定理对非阿基米德群（如R × Qp）是否成立？
• RQ5 向量丛EG,Λ的平凡性与Heisenberg模E∆(G)的单生成元存在性之间有何关系？

主要发现

• Balian–Low陈述对 (G, Λ) 成立当且仅当 (G/Λ) × (Ĝ/Λ⊥) 上的向量丛 EG,Λ 是非平凡的。
• Zak变换在Heisenberg模 E∆(G) 与 EG,Λ 的连续截面模之间实现C*-模同构。
• 在Λ × Λ⊥上存在窗函数属于S₀(G)的Gabor框架，等价于丛 EG,Λ 的平凡性。
• 通过证明在该情况下 EG,Λ 非平凡，本文证明了G = R × Qp时的Balian–Low定理。
• 本结果通过丛理论方法，推广了Kaniuth与Kutyniok的先前定理，后者要求G为紧生成，现已去除该假设。
• 本文通过Heisenberg模与Zak变换，建立了Gabor框架理论与向量丛拓扑之间的新对偶性。