HRT Conjecture in Time-Frequency Analysis

• The HRT conjecture is a fundamental statement asserting that finite collections of time-frequency shifts of a nonzero window function are linearly independent.
• It connects analytic vanishing conditions in Fock spaces with the structure of Gabor frames through a spectral rotation decomposition of entire functions.
• Recent advancements demonstrate equivalence between deep zero problems and linear independence in specific cyclic configurations, resolving cases for d = 2, 3, 4, and 6.

The Heil–Ramanathan–Topiwala (HRT) conjecture is a central problem in time–frequency analysis concerning the linear independence of finite Gabor systems—collections of distinct time–frequency shifts of a window function in $L^2(\mathbb{R})$. The conjecture articulates a fundamental non-redundancy property for the analysis and synthesis of signals. Beyond its intrinsic significance in harmonic analysis and mathematical physics, the conjecture underlies crucial structural aspects of Gabor frames, Weyl–Heisenberg groups, and, as recently established, connects deeply with analytic function theory through the so-called "deep zero problems" on Fock spaces. The connection between these analytic vanishing problems and linear independence of time–frequency translates, as formalized in Li–Liu–Zhu (Li et al., 14 Jan 2026), has provided rigorous advances and new perspectives on both domains.

1. The HRT Conjecture: Formulation and Classical Context

The HRT conjecture asserts that for any nonzero $g \in L^2(\mathbb{R})$ and distinct points $(x_j, \xi_j) \in \mathbb{R}^2$, $j = 1, \dots, N$, the finite collection of Gabor shifts

$$G(g; \{(x_j, \xi_j)\}) = \{\pi(x_j, \xi_j)g\}_{j=1}^N, \quad \pi(x, \xi)f(t) = e^{2\pi i \xi t} f(t - x)$$

is linearly independent in $L^2(\mathbb{R})$.

The conjecture has been verified for:

• $N \leq 3$ (Heil–Ramanathan–Topiwala, 1996),
• $N=4$ when points lie on two parallel lines or certain lattice configurations (Demeter–Zaharescu, 2012; Linnell, 1999),
• sets contained in a translate of a full-rank lattice.

Importantly, via the Bargmann transform mapping $L^2(\mathbb{R})$ unitarily onto the Bargmann–Fock space $F^2$, the conjecture possesses an equivalent analytic formulation:

• If $f \in F^2 \setminus \{0\}$ and $\lambda_1, \dots, \lambda_N \in \mathbb{C}$ are distinct, then the Weyl unitaries

$$U_{\lambda}f(z) = \exp(-\frac12 |\lambda|^2 - \overline{\lambda}z) f(z + \lambda)$$

generate a linearly independent set $\{U_{\lambda_j}f\}$. This is termed the Fock-space HRT conjecture (Li et al., 14 Jan 2026).

2. Deep Zero Problems in the Fock Space: Hedenmalm's Formulation

Hedenmalm introduced "deep zero problems": given $f$ in the Fock space $F^2$ and unitary operators $T_0, ..., T_{d-1}$, do sufficiently many vanishing derivatives at a common point (possibly after applying these operators) force $f \equiv 0$? Specifically, for $d = 4$ and a fixed $\beta \in \mathbb{C}$:

• Define index sets $\mathcal{E}_k = \{k + 4j: j \geq 0\}$ for $k = 0, 1, 2, 3$.
• If $f^{(j)}(0) = 0$ for $j \in \mathcal{E}_0$ and $(U_\beta f)^{(j)}(0) = 0$ for $j \in \mathcal{E}_k$ ($k = 1, 2, 3$), does this force $f \equiv 0$?

Functional translation of these zero conditions shows they correspond to vanishing of certain symmetrizations and rotation-invariance properties (e.g., $f(z) + f(iz) + f(-z) + f(-iz) = 0$, $f(iz) = f(z)$ after Weyl transforms).

More generally, for integer $d > 1$, one asks whether similar vanishing conditions indexed over arithmetic progressions force triviality (Li et al., 14 Jan 2026).

3. Synthesis: From Deep Zero Problems to the HRT Conjecture

Li–Liu–Zhu demonstrated that these high-multiplicity vanishing problems in the Fock space are equivalent to the linear independence of a finite collection of Weyl translates along points forming the vertices of a regular $d$-gon in $\mathbb{C}$. Their main theorem establishes: If the Fock-space HRT conjecture holds for $N = d$ and the points $\lambda_k = -\beta \omega^{-k}$ ($\omega = e^{2\pi i/d}$), then for $f \in F^2$,

$$(U_{\beta_k}f)^{(j)}(0) = 0, \quad j \in \mathcal{E}_k,\, k = 0, \ldots, d-1$$

implies $f \equiv 0$.

• The proof uses orthogonal decomposition of $F^2$ under the action $z \mapsto \omega z$ to diagonalize the vanishing conditions, reducing them to a single linear relation among $U_{\lambda_k}h$ for $h = U_\beta f$.
• Under the HRT conjecture for these $d$ points, $h \equiv 0$ is forced, hence $f \equiv 0$.

Immediate corollaries:

• Problem $B$ (the $d=4$ case) is affirmatively resolved.
• For $d = 2, 3, 4, 6$, deep-zero analogs are also settled, as the HRT conjecture for Fock-space is known in these cases (Li et al., 14 Jan 2026).

4. Structural Implications and Proof Mechanism

Key elements of the proof are:

• Rotation decomposition: For $f \in F^2$, decompose via the spectral projections $$P_k f(z) = \frac{1}{d} \sum_{m=0}^{d-1} \omega^{-km} f(\omega^m z)$$ for $C_\varphi f = f(\omega z)$. Each $P_k f$ picks out the frequency subspace indexed by $k$.
• Commutation: $$C_\varphi U_\beta = U_{\beta \omega^{-1}} C_\varphi$$, allowing controlled passage between rotation and Weyl unitary.
• Vanishing to translation: The deep-zero conditions are equivalent to vanishing of the spectral components $P_k h$ for $k=1,\dots,d-1$ and of $P_0 U_{-\beta} h$. This yields $\sum_{k=0}^{d-1} U_{-\beta \omega^{-k}} h \equiv 0$.
• Application of HRT: If the translates $U_{-\beta \omega^{-k}} h$ are linearly independent, only the zero function solves the relation (Li et al., 14 Jan 2026).

This reduction is robust and applies whenever the linear independence for such configurations is validated.

5. Limitations, Consequences, and Open Directions

Tables summarizing proved cases:

$d$	Deep-zero problem solved?	HRT Fock-space conjecture proved?	Reference
2	Yes	Yes	(Li et al., 14 Jan 2026)
3	Yes	Yes	(Li et al., 14 Jan 2026)
4	Yes	Yes	(Li et al., 14 Jan 2026)
6	Yes	Yes	(Li et al., 14 Jan 2026)
5, $>6$	No	Open	(Li et al., 14 Jan 2026)

The only unresolved instances in this circle-of-radius $|\beta|$ setup are $d=5$ and $d>6$.

Li–Liu–Zhu pose the specific open problem: for each integer $d > 1$, are the translates $\{U_{\omega^k}f\}$ linearly independent for all nonzero $f \in F^2$? A positive solution would extend the deep-zero theorem to all $d > 1$ (Li et al., 14 Jan 2026).

Conceptually, these results display that vanishing conditions for blocks of derivatives indexed by rotations translate via spectral and group-theoretic considerations to questions of linear independence for finite Weyl–Heisenberg translates. This interplay unifies disparate analytic and algebraic phenomena within time–frequency and function theory.

6. Broader Context and Future Prospects

The connection between Hedenmalm’s deep zero problems and the HRT conjecture is emblematic of the fruitful confluence of operator theory, analytic function theory, and time–frequency analysis. The reduction of analytic vanishing questions to algebraic independence in non-commutative groups suggests new strategies for both domains. Notably:

• The approach is highly adaptable to other $d$-indexed deep vanishing problems structured by finite group symmetries.
• Affirmative resolution of the HRT conjecture for circular configurations in the complex plane (roots of unity on the circle) would directly yield new uniqueness theorems for function spaces of entire or analytic functions.
• The symmetries identified here (unitary rotations, spectral decompositions) signal broader applicability to problems involving invariant subspaces and spectral multiplicity in infinite-dimensional spaces.

Open directions include establishing HRT-type independence for larger cyclic or more general group arrangements and understanding the possible obstructions for $d=5$ and $d>6$, which remain recalcitrant both in the analytic and algebraic guises (Li et al., 14 Jan 2026).