HRT Conjecture
Heil, Ramanathan and Topiwala conjectured in 1996 that any finite set of time-frequency shifts of a nonzero square-integrable function is linearly independent. This refutes it: there is a Schwartz function admitting 12 linearly dependent time-frequency shifts.
Exact FrontierDelta
Scope and record
Occurred: Aug 5, 2026
Delta type: SOURCE CLAIM
Assumptions: VibeMathed verification: unreviewed. Publication: preprint. AI contribution: ai-co-developed. Imported under CC BY 4.0.
Canonical aliases: HRT Conjecture
Confidence: Not scored
Registry verification: unreviewed · preprint · resolved
Attribution
VibeMathed
registry · event recorded by
GPT-5.6 Pro
model · ai model contributor · OpenAI
Markus Faulhuber
human · human collaborator
Philipp Petersen
human · human collaborator
Jordy Timo van Velthoven
human · human collaborator
Felix Voigtlaender
human · human collaborator
Lineage and corrections
This event attributed to Markus Faulhuber
This event attributed to Philipp Petersen
This event attributed to Jordy Timo van Velthoven
This event attributed to Felix Voigtlaender
This event attributed to GPT-5.6 Pro