Linear independence of time-frequency shifts? (Q2342278)

Let \(\lambda = (\lambda_1, \lambda_2) \in \mathbb{R}^d \times \mathbb{R}^d\backsimeq \mathbb{R}^2d\) be a point in the time-frequency plane. The time-frequency shift \(\pi(\lambda)\) acts on a function \(g \in L^2(\mathbb{R}^d)\) by \[ \pi(\lambda)g(t) = e^{2 \pi i \lambda_2.t} g(t - \lambda_1). \] Let \(g \in L^2(\mathbb{R}^d)\) be fixed and let \(\Lambda \subset L^2(\mathbb{R}^d)\) be a countable set. The set \(\mathcal{G}(g, \Lambda) = \{\pi(\lambda)g: \lambda\in \Lambda\}\) is called a Gabor system, and a frame for \(\mathbb{R}^d\) of the form \(\mathcal{G}(g, \Lambda)\) is called a Gabor frame. For \(n > 0\) the set \[ \mathcal{G}(g, \Lambda_n) = \mathcal{G}(g, \Lambda \cap B_n(0)) = \{\pi(\lambda)g: \lambda\in \Lambda, |\lambda| \leq n\} \] is a finite section of \(\mathcal{G}(g, \Lambda)\). The author investigates finite sections of Gabor frames and studies the asymptotic behavior of their lower Riesz bound. From a numerical point of view, these sets of time-frequency shifts are linearly dependent, whereas from a rigorous analytic point of view, they are conjectured to be linearly independent.