Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

The HRT conjecture for two classes of special configurations

Kasso A. Okoudjou, Vignon Oussa

Abstract

The HRT (Heil-Ramanathan-Topiwala) conjecture stipulates that the set of any finitely many time-frequency shifts of a non-zero square Lebesgue integrable function is linearly independent. The present work settles two special cases of this conjecture, namely, the cases where the set of time-frequency shifts has cardinality $N+1$ such that either $N$ of the points lie on some integer lattice and the last point is arbitrary, or $N$ of the points are on a line, while the last point does not belong this line. In both cases, we prove that the HRT conjecture holds appealing mainly to various forms of the ergodic theorem. We note that, in recent years, the latter case has been the subject of many investigations -- notably, the subcase where $N=3$ -- and our work completely resolves it.

The HRT conjecture for two classes of special configurations

Abstract

The HRT (Heil-Ramanathan-Topiwala) conjecture stipulates that the set of any finitely many time-frequency shifts of a non-zero square Lebesgue integrable function is linearly independent. The present work settles two special cases of this conjecture, namely, the cases where the set of time-frequency shifts has cardinality such that either of the points lie on some integer lattice and the last point is arbitrary, or of the points are on a line, while the last point does not belong this line. In both cases, we prove that the HRT conjecture holds appealing mainly to various forms of the ergodic theorem. We note that, in recent years, the latter case has been the subject of many investigations -- notably, the subcase where -- and our work completely resolves it.

Paper Structure

This paper contains 2 sections, 3 theorems, 16 equations.

Table of Contents

  1. Introduction
  2. Proof of Theorem \ref{['thm:amalgampertub']}

Key Result

Proposition 1

Let $\Lambda\subset\mathbb{R}^{2}$ be such that $\# \Lambda= 4$, and let $0 \neq f \in L^{2}(\mathbb{R})$. The finite Gabor system $\mathcal{G}(f, \Lambda)$ is linearly independent in each of the following cases:

Theorems & Definitions (4)

  • Conjecture 1
  • Proposition 1
  • Theorem 2
  • Lemma 1