The Minimum Cardinality of a Dependent Finite Gabor System Is Four

Xinan Dai, Wenhao Deng, Yingdong Shi +2

Recent work produced a linearly dependent system of twelve time--frequency shifts of a Schwartz function, disproving the HRT conjecture. We show that four shifts already suffice, a…