Abstract
The HRT (Heil–Ramanathan–Topiwala) conjecture asks whether a finite collection of time-frequency shifts of a non-zero square integrable function on \(\mathbb {R}\) is linearly independent. This longstanding conjecture remains largely open even in the case when the function is assumed to be smooth. Nonetheless, the conjecture has been proved for some special families of functions and/or special sets of points. The main contribution of this paper is an inductive approach to investigate the HRT conjecture based on the following. Suppose that the HRT is true for a given set of N points and a given function. We identify the set of all new points such that the conjecture remains true for the same function and the set of \(N+1\) points obtained by adding one of these new points to the original set. To achieve this we introduce a real-valued function whose global maximizers describe when the HRT is true. To motivate this new approach we re-derive a special case of the HRT for sets of 3 points. Subsequently, we establish new results for points in (1, n) configurations, and for a family of symmetric (2, 3) configurations. Furthermore, we use these results and the refinements of other known ones to prove that the HRT holds for certain families of 4 points.
Similar content being viewed by others
Notes
The proof given in [8, Theorem 1.3] contains a few inaccuracies that were fixed by C. Demeter and posted on Math Arxiv as arXiv:1006.0732.
References
Balan, R.: The noncommutative Wiener lemma, linear independence, and spectral properties of the algebra of time-frequency shift operators. Trans. Am. Math. Soc. 360(7), 3921–3941 (2008)
Balan, R., Krishtal, I.: An almost periodic noncommutative Wiener’s lemma. J. Math. Anal. Appl. 370(2), 239–249 (2010)
Benedetto, J.J., Bourouihiya, A.: Linear independence of finite Gabor systems determined by behavior at infinity. J. Geom. Anal. 25(1), 226–254 (2015)
Bownik, M., Speegle, D.: Linear independence of Parseval wavelets. Illinois J. Math. 54(2), 771–785 (2010)
Bownik, M., Speegle, D.: Linear independence of time-frequency translates of functions with faster than exponential decay. Bull. Lond. Math. Soc. 45(3), 554–566 (2013)
Bownik, M., Speegle, D.: Linear independence of time-frequency translates in \(\mathbb{R}^d\). J. Geom. Anal. 26(3), 1678–1692 (2016)
Christensen, O., Lindner, A.: Lower bounds for finite wavelet and Gabor systems. Approx. Theory Appl. 17(1), 18–29 (2001)
Demeter, C.: Linear independence of time frequency translates for special configurations. Math. Res. Lett. 17(4), 761–779 (2010)
Demeter, C., Gautam, Z.S.: On the finite linear independence of lattice Gabor systems. Proc. Am. Math. Soc. 141(5), 1735–1747 (2013)
Demeter, C., Zaharescu, A.: Proof of the HRT conjecture for (2,2) configurations. J. Math. Anal. Appl. 388(1), 151–159 (2012)
Derrien, F.: Strictly positive definite functions on the real line, hal-00519325 (2010)
Folland, G.B.: Harmonic Analysis in Phase Space, Annals of Mathematics Studies, vol. 122. Princeton University Press, Princeton, NJ (1989)
Folland, G.B.: A Course in Abstract Harmonic Analysis, Studies in Advanced Mathematics. CRC Press, Boca Raton, FL (1995)
Gröchenig, K.: Foundations of Time-Frequency Analysis. Applied and Numerical Harmonic Analysis. Springer-Birkhäuser, New York (2001)
Gröchenig, K.: Linear independence of time-frequency shifts? Monatsh. Math. 177(1), 67–77 (2015)
Gröchenig, K., Zimmermann, G.: Hardy’s theorem and the short-time Fourier transform of Schwartz functions. J. Lond. Math. Soc. (2) 63(1), 205–214 (2001)
Heil, C.: Linear independence of finite Gabor systems, Harmonic Analysis and Applications (Christopher Heil, ed.), Applied and Numerical Harmonic Analysis, Birkhäuser, Boston, MA, Chapter 9 (2006)
Heil, C., Ramanathan, J., Topiwala, P.: Linear independence of time-frequency translates. Proc. Am. Math. Soc. 124(9), 2787–2795 (1996)
Heil, C., Speegle, D.: The HRT conjecture and the Zero Divisor Conjecture for the Heisenberg group. In: Balan, R., M. Begué, J., Benedetto, J.J., Czaja, C., Okoudjou, K.A. (eds.) Excursions in harmonic analysis. Applied and Numerical Harmonic Analysis, vol. 3. Birkhäuser, Cham, Chapter 7. (2015)
Horn, R.A., Johnson, C.R.: Matrix Analysis. Cambridge University Press, Cambridge (1985)
Kutyniok, G.: Linear independence of time-frequency shifts under a generalized Schrödinger representation. Arch. Math. (Basel) 78(2), 135–144 (2002)
Linnell, P.A.: von Neumann algebras and linear independence of translates. Proc. Am. Math. Soc. 127(11), 3269–3277 (1999)
Liu, W.: Short proof of the HRT conjecture for almost every \((1,3)\) configuration. J. Fourier Anal. Appl. (to appear)
Rosenblatt, J.: Linear independence of translations. Int. J. Pure Appl. Math. 45, 463–473 (2008)
Rzeszotnik, Z.: On the HRT conjecture
Stroock, D.W.: Remarks on the HRT conjecture. In: Donati-Martin, C., Lejay, A., Rouault A. (eds.) Memoriam Marc Yor–Seminar on Probability Theory XLVII, Lecture Notes in Mathematics, vol. 2137, Springer, Cham, pp. 603–617 (2015)
Acknowledgements
The author thanks C. Heil for introducing him to this fascinating and addictive problem, and for invaluable comments and remarks on earlier versions of this paper. He also thanks R. Balan, J. J. Benedetto, and D. Speegle for helpful discussions over the years about various versions of the results presented here. He acknowledges C. Clark’s help in generating the pictures included in the paper. Finally, he thanks W. Liu for helpful discussions, and the anonymous referees for their useful and insightful comments and remarks.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Chris Heil.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This work was partially supported by a grant from the Simons Foundation \(\# 319197\), and ARO grant W911NF1610008. Part of this material is based upon work supported by the National Science Foundation under Grant No. DMS-1440140 while the author was in residence at the Mathematical Sciences Research Institute in Berkeley, California, during the Spring 2017 semester.
Rights and permissions
About this article
Cite this article
Okoudjou, K.A. Extension and Restriction Principles for the HRT Conjecture. J Fourier Anal Appl 25, 1874–1901 (2019). https://doi.org/10.1007/s00041-018-09661-x
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00041-018-09661-x
Keywords
- HRT conjecture
- Positive definite matrix
- Bochner’s theorem
- Short-time Fourier transform
- Time-frequency analysis