A couple of weeks ago, I attended a workshop hosted by Darrin Speegle on the HRT Conjecture. First posed twenty years ago by Chris Heil, Jay Ramanathan, and Pankaj Topiwala in this paper, the conjecture states that every finite collection of time-frequency shifts of any nonzero function in is linearly independent. In this post, I will discuss some of the key ideas behind some of the various attempts at chipping away at HRT, and I’ll describe what appear to be fundamental barriers to a complete solution. For more information, see these survey papers: one and two.

First, some notation: Denote the translation-by- and modulation-by- operators by

respectively. Then the formal conjecture statement is as follows:

**The HRT Conjecture.** For every and every finite , the collection is linearly independent.

What follows are some of the popular methods for tackling HRT:

**— Transform methods —**

Consider the set of nonzero-scaled time-frequency shift operators . Now consider the group of linear transformations such that , that is, conjugating with permutes the members of . These are called * metaplectic transforms*. Trivial examples include translation and modulation operators. Then for any counterexample to HRT

one may apply to both sides to get another counterexample:

As such, applying will modify the function , the time-frequency shifts , as well as the scalar multiples in the combination . It is helpful to visualize as an operation on the plane of pairs , called * phase space*. Here, shifts the plane to the right by , whereas shifts the plane up by . Considering the Fourier transform converts modulations to translations (and translations to inverse modulations), it is also an example of a metaplectic transform, and it acts on phase space by a 90-degree rotation. In fact, any rotation can be achieved by a fractional Fourier transform. Also, dilation will stretch phase space along the translation axis, and produce the inverse stretch along the modulation axis. Finally, chirp modulation shears phase space. Overall, metaplectic transforms can be leveraged to apply any area-preserving affine transformation of phase space.

As an example application of metaplectic transforms, we will show that translations of any nonzero function in are linearly independent. Suppose

Then applying the Fourier transform gives

At this point, we can factor out and restrict our attention to the support of , which has positive measure since . As such, the trigonometric polynomial must be zero on a set of positive measure, which is only possible if the trigonometric polynomial is trivial.

Metaplectic transforms are also useful for making “without loss of generality” statements. For example, if you want to prove HRT for any configuration of four points in phase space, you may apply metaplectic transforms to have without loss of generality.

Before moving on to the next section, I want to discuss two proofs that are related to the above proof. First, it is known that HRT holds whenever is a subset of a lattice in . (In particular, HRT holds for any three points.) In the special case where the lattice is the integer lattice, one may apply the Zac transform to convert time-frequency shifts into two-dimensional modulations. In fact, the proof of this case is nearly identical to the above proof that pure translations are independent.

We’ve been restricting the set of time-frequency shifts in a couple of ways in order to chip away at HRT, but you can also restrict the function class instead. For example, suppose has compact support and

If the translations are all the same in , then we are done by the previous analysis. Otherwise, let and be the two largest distinct translations in , and let denote the essential supremum of the support of . Then we can isolate the terms of the form by restricting the support to . These terms are all modulations of , and so the scalars are all zero. Repeating inductively then gives that HRT holds for functions of compact support.

Intuitively, the proof for compactly supported functions has the look and feel of row operations of a matrix, and as such, the proof is very much married to the time domain. Perhaps not surprisingly, this proof does not generalize to much broader classes of functions, but there are other time-domain methods that have found substantial success.

**— Time-domain methods —**

To illustrate the main idea here, let’s prove that two translations are linearly independent, but let’s do so without appealing to the Fourier transform. For simplicity (and without loss of generality), we consider translation by -1:

Intuitively, this means that for each , the samples with form an exponential. As such, either blows up to the left or to the right, or has constant modulus, but it’s certainly not in in any case.

Perhaps surprisingly, slight generalizations of this particular analysis seem rather difficult: Take two parallel lines in phase space, and consider two points on each line. Then you can write a similar recurrence relation to the above, but instead of , you get a quotient of trigonometric polynomials. It turns out that this quotient is sufficiently well behaved that you can consider it to be “essentially constant” in an ergodic sense, and so the desired conclusion can be made. See this paper for the (rather technical) details.

In general, it is difficult to analyze the exact recurrence relations that come from a dependency between time-frequency shifts. It is often much easier to analyze a “recurrence inequality” that comes from taking absolute values of both sides of the recurrence relation, and then passing through the triangle inequality. The following argument serves as a helpful example:

Suppose has the property that for each , is ultimately decreasing (examples include Gaussians and other Hermite functions). Importantly, this implies that whenever , then for all sufficiently large , and so

for all sufficiently large . In fact, since is arbitrary, we may conclude that

Now that we understand the function class that belongs to, suppose

and let be the distinct translations in . Then there exist trigonometric polynomials such that

Since is ultimately nonzero, we may divide and take absolute values to get a “recurrence inequality”:

for almost every sufficiently large . By , and since the trigonometric polynomials are bounded, we see that the right-hand side goes to zero on a set of full measure as gets large, which is not the sort of behavior exhibited by a nontrivial trigonometric polynomial. As such, we conclude that , and applying this argument inductively then gives that the entire linear combination is trivial.

Analyzing a recurrence inequality is fundamentally different from analyzing recurrence relations, since the analysis is inherently one-sided: we only take to be large (due to the inequality going one way) instead of also seeing what happens when gets large. As such, instead of identifying that must exhibit some sort of exponential blowup in one direction or another, we are forced to merely establish that at best, decays exponentially. This would be fine if we were to assume that belongs to a function class with faster-than-exponential decay, since this would allow us to derive a contradiction. However, this appears to be a fundamental barrier with this proof technique. I don’t think it will enable us to tackle all of , or even Schwartz space.

To be clear, we don’t yet have a proof that HRT holds for all functions of faster-than-exponential decay. Above, we showed that HRT holds for the monotone functions of such decay, and this paper tackles all functions with slightly faster decay: for every , as .

**— Other methods —**

In this section, we discuss a few other methods that have been used to tackle HRT, and could very well lead to a full proof of HRT.

**1. Spectral methods.** Notice that HRT is a statement about the kernels of finite linear combinations of time-frequency shift operators, since

precisely when is in the kernel of . But suppose this combination of operators exhibits another eigenvalue . Then

meaning the time-frequency shifts produce an HRT counterexample. As such, HRT is equivalent to every finite linear combination of time-shift operators having an empty point spectrum. This suggests an operator-theoretic approach to HRT. Some results along these lines are available here and there.

**2. Perturbation methods.** Suppose HRT holds for a given and for a given collection of points in phase space. Then it is known that sufficiently small perturbations of also satisfy HRT with , and furthermore, sufficiently small Euclidean perturbations of satisfy HRT with . As such, one could conceivably prove HRT by establishing explicit bounds on the sizes of allowable perturbations. For example, when perturbing , it would help to have control of the lower Riesz bound of .

**3. Passing to .** Let denote the multiplicative group

It is helpful to identify . Consider functions in and translation operator given by for every . It is a folklore theorem that HRT is equivalent to translations of nonzero functions in being linearly independent. As part of the workshop, we ironed out the extent to which these statements are equivalent (they are “nearly equivalent”), and passing to appears to be a reasonable strategy to tackle HRT. Considering the role that the Fourier transform plays in demonstrating the linear independence of pure translations over , this suggests that one ought to study a Fourier transform over .

**— HRT subproblems —**

To help illustrate the current boundary of modern techniques, this section provides a few subproblems, each of which are implied by HRT.

**Problem 1.** Is HRT true for ?

This problem highlights the fact that we don’t yet have a proof of HRT for the special case where . The cases where can be handled by the fact that HRT holds whenever is a finite subset of a lattice in . By contrast, when , we only have results for very specific (and notably non-generic) configurations.

**Problem 2.** Is HRT true for every finite ?

To solve this problem, one is inclined to exploit time-domain techniques, specifically recurrence relations (not recurrence inequalities!). By dilation tricks, this would imply HRT for arbitrary rectangular lattices (which is a known result, but not particularly easy to prove).

**Problem 3.** Is HRT true for functions with faster-than-exponential decay?

Recall that recurrence inequalities appear to be incapable of proving HRT for functions of exponential-or-slower decay. It would be nice to know if these techniques can “live up to their potential.”

**Problem 4.** Is HRT true for hyperbolic secant?

Recall that . Interestingly, the Fourier transform of hyperbolic secant is a dilated version of itself. As such, this function has exponential decay in both time and frequency, and is therefore a natural candidate to illustrate the boundary of the time-domain methods.

Hi,

HRT is actually true for the hyperbolic secant function. The paper “Linear Independence of Finite Gabor Systems Determined by Behavior at Infinity” proves that HRT holds for any logarithmo-exponential function. Greeting,

Abdel

Thanks for the pointer, Abdel. I like your proof!