Resolution of the HRT Conjecture via AI-Assisted Counterexample

The HRT conjecture, which posits no nontrivial linear relations exist among time-frequency shifts of a non-zero function, was disproven with a counterexample using AI-assisted methods. The solution involved constructing a non-zero Schwartz function with specific time-frequency shifts, leveraging numerical computations and quasiperiodic vector-valued functions.

Comments

Read original article