A partial digestion of the HRT counterexample

# A partial digestion of the HRT counterexample Source: [https://terrytao.wordpress.com/2026/08/06/a-partial-digestion-of-the-hrt-counterexample/](https://terrytao.wordpress.com/2026/08/06/a-partial-digestion-of-the-hrt-counterexample/) A functionof one variable can be translated in space by a spatial shiftto obtain a new function  and also modulated in frequency by a frequency shiftto obtain a new function  One can compose these two operations to obtain a time\-frequency shift:  \(This can be viewed of as a portion of the[Weyl representation of the Heisenberg group](https://en.wikipedia.org/wiki/Heisenberg_group), but we will not adopt a representation\-theoretic perspective here\.\) Some functions obey finite linear relations between their time\-frequency shifts\. For instance, a sinusoidobeys the relation  However, the Heil\-Ramanathan\-Topiwala \(HRT\) conjecture states that once one imposes some reasonable decay condition on, no such relations exist: > **Conjecture 1 \(HRT conjecture\)**Ifis non\-zero, then there is no relation of the form for some distinct pointsand some coefficients, not all zero\. A special case of the HRT conjecture, which was also open, makes the additional assumption thatwas Schwartz\. Many positive results towards this conjecture were known\. I will mention only a few here\. There is a[result of Linnell](https://arxiv.org/abs/math/9807057)that the conjecture is true iflie in a translate of a discrete subgroup of; this \(together with an argument handling the collinear case\) establishes all cases where, and several partial results involving thecases are also known\. The conjecture is also known ifis decays at a suitably super\-exponential rate, by[work of Bownik and Speegle](https://math.umd.edu/~rvbalan/TEACHING/RIT2023/Bownick_Speegel2012.pdf)\. I was aware of this conjecture through various talks and conversations with colleagues, and even briefly tried my hand at it for a while, though not with particularly serious effort \(or progress\)\. It was thus a nice surprise to see that it has[just been resolved by Faulhuber, Petersen, van Velthoven, and Voigtlaender](https://arxiv.org/abs/2608.05044), even in the Schwartz case: > **Theorem 2**There exist complex numbers, not all zero, distinct points, and a non\-zero Schwartz functionsuch that It is perhaps unsurprising in this current era that this result is AI\-assisted\. However, I think the authors have disclosed their AI use responsibly, with the final arguments written by hand with a readable overview of the argument, as well as proper discussion of methods, relation to past literature, and other independent numerical checks on the result\. The negative result lies only a little beyond the positive results:is now increased to, and all but one of the pointslie in \(a translate of\) a discrete subgroup of\(in fact the explicit subgroupis used\)\. The functions constructed are smooth and rapidly decaying, but not analytic or super\-exponentially decaying, which would start being in conflict with the known positive results\. In addition to AI being used to come up with the initial proof strategy, a more traditional numerical computation was used to verify one step of the argument\. I have not had the time to do a full digestion of the result, but \(after reading the introduction, and[using a little AI assistance of my own](https://chatgpt.com/share/6a74dfc3-c614-83e8-b36b-9b07bf8d55fa)\) I was able to understand the main ideas at a high level\. The first few reductions are relatively standard\. Settingand, one can view the problem as one of solving an eigenvalue problem  The time\-frequency shiftsare chosen to lie in a translate of the discrete subgroupby a certain irrational shift\. If one was working in the shifts of a standard lattice, it would be natural to work with the[Zak transform](https://en.wikipedia.org/wiki/Zak_transform)of, but it turns out that the approach does not quite work when doing this for topological reasons \(relating to the fact that scalar quasiperiodic functions of mean zero are forced to have zeroes\), and so the authors used the slightly denser lattice instead, which relates to a vector\-valued version of the Zak transform taking values inrather than\. Applying this transform, the eigenvalue problem can be transformed by standard calculations to a “vector cocycle problem” whereis a non\-zero smooth quasiperiodic vector\-valued function,is an irrational shift, andis a certain explicitmatrix\-valued function depending on the choices of,, and\. How to solve this equation? The motivating scenario here is if the matrix functionwas replaced by a rank one function  for some smooth vector\-valued functionof unit magnitude\. Then one could solve the equation by takingand\. It is not possible to make the functionexactly of this form, but through some numerical computation and clever AI\-assisted guesswork, the authors were able to find a choice ofand, andthat made*approximately equal*to a rank one functionof this form, in fact getting a uniform estimate  As it turns out, such an approximation is sufficient to run a contraction mapping argument to find a solution to a variant of[\(1\)](https://terrytao.wordpress.com/2026/08/06/a-partial-digestion-of-the-hrt-counterexample/#bzt), namely  for some smoothand\. \(Here it was important to get the operator norm bound below; they are barely able to do this, with a numerically obtained bound of, though this bound might not be optimal\.\) The main remaining obstacle is that the “eigenvalue function”is varying in the parameterrather than constant\. \(This issue was, by the way, anticipated to some extent in[previous work of Demeter](https://arxiv.org/abs/1006.0732), who observed that eigenfunctions of the almost Matthieu discrete Schrödinger operator gave a near\-miss counterexample to the HRT conjecture, but with an eigenvalue that depended on an auxiliary phase shift parameter rather than constant\.\) However, if one was able to solve the scalar cocycle equation  for some smooth, then one could solve the equation[\(1\)](https://terrytao.wordpress.com/2026/08/06/a-partial-digestion-of-the-hrt-counterexample/#bzt)by setting\. The approach to solve[\(2\)](https://terrytao.wordpress.com/2026/08/06/a-partial-digestion-of-the-hrt-counterexample/#qzh)is standard: take logarithms, apply a Fourier transform, and then divide out by the multiplier associated to theshift\. This can cause a well\-known “small divisor” problem \(which arises in various dynamical contexts, such as in the[KAM theorem](https://en.wikipedia.org/wiki/Kolmogorov%E2%80%93Arnold%E2%80%93Moser_theorem)\) ifbehaves too much like a rational vector, but the standard resolution to this is to select a shiftthat obeys good Diophantine approximation properties\. For the purposes of numerics the authors selected an extremely concrete shift, namely  but I get the impression that the exact choice here was not crucial for the argument, and that many other irrational algebraic numbers could have worked here\.