{"694019":{"#nid":"694019","#data":{"type":"news","title":"HRT Conjecture Disproved with Assistance from AI","body":[{"value":"\u003Cp\u003ECan you sit down at a piano and, nontrivially, play silence? This question lies at the heart of the HRT Conjecture which was recently shown to be false in August 2026 by mathematicians assisted by the use of AI tools. Our own Chris Heil, one of the mathematicians who originally formulated the conjecture, sits down to explain some of the background of the conjecture and to share why it was so surprising that conjecture to turned out to be false.\u003C\/p\u003E\u003Cp\u003E\u003Cem\u003Ewritten by Chris Heil\u003C\/em\u003E\u003C\/p\u003E\u003Cp\u003EA function g(t) of one variable can be shifted in time by a real number a to form the new function:\u003Cbr\u003E\u003Cstrong\u003ET_a g(t) = g(t - a)\u003C\/strong\u003E\u003C\/p\u003E\u003Cp\u003EA frequency shift of g is:\u003Cbr\u003E\u003Cstrong\u003EM_b g(t) = e^(2\u03c0 i b t) g(t)\u003C\/strong\u003E\u003C\/p\u003E\u003Cp\u003EA time-frequency shift is a composition of these, such as:\u003Cbr\u003E\u003Cstrong\u003EM_b T_a g(t) = e^(2\u03c0 i b t) g(t - a)\u003C\/strong\u003E\u003C\/p\u003E\u003Cp\u003EIf g is a nice bump function and you used a synthesizer to play the waveform through a speaker, you would hear a \u201cnote\u201d around time a with frequency b. Loosely speaking, a single time-frequency shift is like sitting down at a piano and hitting a single key (with frequency b) at time a. Time-frequency shifts are also closely related to coherent states in quantum mechanics, and appear widely in mathematics, physics, and engineering.\u003C\/p\u003E\u003Cp\u003ETime-frequency shifts have been widely studied. Yet in the early 1990\u0027s, Christopher Heil (then a postdoc at MIT), Jay Ramanathan and Pankaj Topiwala (then at The MITRE Corporation) realized that one of the most fundamental questions had never been addressed: Are time-frequency shifts linearly independent? Can a nontrivial linear combination:\u003C\/p\u003E\u003Cp\u003E\u003Cstrong\u003E\u2211 c_k M_bk T_ak g(t)\u003C\/strong\u003E\u003C\/p\u003E\u003Cp\u003Ebe the zero function? Can you sit down at a piano and, nontrivially, play silence? If we allow any functions g then time-frequency shifts can be dependent. For example, if g is the periodic function sin(t), then g and a single time-shift are identical and hence the collection is linearly dependent. However, what if we impose a reasonable restriction, namely that g has finite energy, meaning that the integral of |g(t)|^2 over the real line is finite? In that case, we say that g belongs to the Lebesgue space L^2(R) and say that g is square-integrable.\u003C\/p\u003E\u003Cp\u003EAt the time, it seemed \u201cobvious\u201d to those three mathematicians that if g is not the zero function and finitely many points are distinct, then the collection of time-frequency shifts must be linearly independent. They worked diligently to prove this and were able to establish that this is indeed true for many special cases, but could not prove independence in general. In 1996, by which time Heil had joined the School of Math at Georgia Tech, the three had published what they were able to prove, and they formally made the conjecture that time-frequency shifts of square-integrable functions must be linearly independent. This conjecture eventually became known as the Heil-Ramanathan-Topiwala (or HRT) Conjecture, and it has since been described as one of the central problems in time\u2013frequency analysis.\u003C\/p\u003E\u003Cp\u003EOver the 30 years since, many groups have worked on the conjecture, establishing many more partial results that seemed to support the idea that the conjecture was true. For example, the original paper established that the conjecture is true for all functions that are compactly supported (only nonzero for a finite amount of time), or for any function g in L^2(R) when N = 1, 2, or 3. Kasso Okoudjou, a Ph.D. student of Heil who graduated in 2003 (now Chair at Tufts University) made significant progress on the case N = 4, often in joint work with Vignon Oussa (Bridgewater State University). However, some N = 4 corner cases remained open, even with the very strong extra assumption that g is a Schwartz-class function (a class of particularly tame infinitely differentiable functions that decay very rapidly\u2014every function in this class and each of its derivatives tend towards zero faster than the reciprocal of any polynomial).\u003C\/p\u003E\u003Cp\u003EHeil says that he always believed that the conjecture is true. So it was a great surprise when in August of 2026, Markus Faulhuber, Philipp Petersen, Jordy Timo van Velthoven, and Felix Voigtlaender uploaded a preprint to the math arXiv with a counterexample for the case N = 12! In fact, their function g is Schwartz-class! Those authors disclose that their proof was developed with the assistance of AI (specifically ChatGPT), but it is not a proof \u201cby AI.\u201d A few days after this remarkable announcement, Oussa announced that, using similar techniques, he was able to construct a counterexample for the case N = 4.\u003C\/p\u003E\u003Cp\u003EThere are still many open questions. For example, the known counterexamples are all complex-valued. Indeed, Okoudjou and his Ph.D. student Shuang Guan (now a postdoc in the School of Math at Georgia Tech) recently proved that there are no real-valued counterexamples for N = 4. And while it is known that in some sense counterexamples are \u201crare,\u201d there are few quantitative formulations of that statement.\u003C\/p\u003E","summary":"","format":"limited_html"}],"field_subtitle":"","field_summary":[{"value":"\u003Cp\u003ECan you sit down at a piano and, nontrivially, play silence? This question lies at the heart of the HRT Conjecture which was recently shown to be false in August 2026 by mathematicians assisted by the use of AI tools. Our own Chris Heil, one of the mathematicians who originally formulated the conjecture, sits down to explain some of the background of the conjecture and to share why it was so surprising that conjecture to turned out to be false.\u003C\/p\u003E","format":"limited_html"}],"field_summary_sentence":[{"value":"The Heil-Ramanathan-Topiwala (HRT) conjecture was disproved in August 2026 to the great surprise of SoM\u0027s Chris Heil, one of the mathematicians who originally formulated it. "}],"uid":"34518","created_gmt":"2026-11-11 19:13:20","changed_gmt":"2026-11-11 20:32:13","author":"sbarone7","boilerplate_text":"","field_publication":"","field_article_url":"","location":"Atlanta, GA","dateline":{"date":"2026-11-11T00:00:00-05:00","iso_date":"2026-11-11T00:00:00-05:00","tz":"America\/New_York"},"extras":[],"hg_media":{"681752":{"id":"681752","type":"image","title":"christopher-heil.png","body":"\u003Cp\u003ESoM Professor Christopher Heil\u0026nbsp;\u003C\/p\u003E","created":"1794424498","gmt_created":"2026-11-11 19:14:58","changed":"1794424498","gmt_changed":"2026-11-11 19:14:58","alt":"SoM Professor Christopher Heil ","file":{"fid":"266204","name":"christopher-heil.png","image_path":"\/sites\/default\/files\/2026\/11\/11\/christopher-heil.png","image_full_path":"http:\/\/hg.gatech.edu\/\/sites\/default\/files\/2026\/11\/11\/christopher-heil.png","mime":"image\/png","size":98900,"path_740":"http:\/\/hg.gatech.edu\/sites\/default\/files\/styles\/740xx_scale\/public\/2026\/11\/11\/christopher-heil.png?itok=zE6zGJnK"}}},"media_ids":["681752"],"related_links":[{"url":"https:\/\/arxiv.org\/abs\/2608.05044","title":"Read the math article which disproved the HRT Conjecture here"},{"url":"https:\/\/sbarone7.math.gatech.edu\/HRTnews_edit.pdf","title":"A pdf version of this article"}],"groups":[{"id":"1279","name":"School of Mathematics"}],"categories":[],"keywords":[{"id":"173647","name":"_for_math_site_"}],"core_research_areas":[],"news_room_topics":[],"event_categories":[],"invited_audience":[],"affiliations":[],"classification":[],"areas_of_expertise":[],"news_and_recent_appearances":[],"phone":[],"contact":[{"value":"\u003Cp\u003E\u003Ca href=\u0022mailto:comm@math.gatech.edu\u0022\u003ESal Barone\u003C\/a\u003E\u003C\/p\u003E","format":"limited_html"}],"email":["comm@math.gatech.edu"],"slides":[],"orientation":[],"userdata":""}}}