对称构型与实值函数的HRT猜想
The HRT Conjecture for Symmetric Configurations and Real-Valued Functions
- Tufts University（塔夫茨大学）
机构由 AI 辅助整理，请以论文原文为准。
AI总结：
本文针对无穷族对称(2n+1,2)构型及实值函数，结合三角多项式乘积归约与无理旋转轨道估计，证明了HRT猜想，且涵盖所有含四个不同点的构型。
AI中文摘要：
Heil-Ramanathan-Topiwala（HRT）猜想指出，非零平方可积函数的任意有限组不同时频平移构成的集合是线性无关的。尽管表述简单，但该猜想即使在生成函数满足强正则性和衰减假设的情况下仍未解决，尤其对四个不同点的一般构型而言。本文针对无穷族对称(2n+1,2)构型及L²(ℝ)中的任意函数，证明了HRT猜想；更一般地，当共线点间距可公度时，本文的论证均适用。由此，当生成函数为实值时，本文证明了所有含四个不同点的构型均满足HRT猜想。该证明将问题归约为三角多项式的乘积，并结合了无理旋转轨道上的估计。
英文摘要：
The Heil-Ramanathan-Topiwala conjecture asserted that every finite collection of distinct time-frequency shifts of a nonzero square-integrable function is linearly independent. Recent counterexamples with Schwartz windows leave open the classification of configurations and windows for which independence holds. We prove linear independence for every nonzero window in $L^2(\mathbb{R})$ and every configuration consisting of finitely many commensurably spaced points on one line together with two distinct points on a parallel line. As a consequence, we obtain independence for every nonzero real-valued window and every four point configuration $\{(0,0),(0,1),(s,0),(a,b)\}$ with $abs\ne0$. The configurations underlying the known four-point counterexamples can be put in this form by translation and dilation, so they cannot yield dependence with nonzero real-valued windows. The proof combines factorization of Laurent polynomials with product estimates along orbits of irrational rotations. Finally, for a fixed nonzero window and a fixed three-point system, we show that the set of time-frequency parameters producing a shift in its span is compact, has Lebesgue measure zero, has Hausdorff dimension at most one, and is totally disconnected.
