{"id":"arxiv/2608.08190","url":"https://arxiv.org/abs/2608.08190","tags":["math.FA","math.CA","math.DS"],"score":0,"title":"The Minimum Cardinality of a Dependent Finite Gabor System Is Four","domain":"math.FA","source":"arxiv","authors":["Xinan Dai","Wenhao Deng","Yingdong Shi","Tailin Wu","Yuchen Yang"],"reviews":0,"subject":"math.FA","summary":"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, and hence that four is the smallest possible cardinality of a dependent finite Gabor system. More precisely, set $α=\\frac13+10^{-12}\\sqrt2$ and $β=\\frac13+10^{-12}\\sqrt3$. We construct a nonzero complex-valued function $f\\in\\mathcal S(\\mathbb R)$ and $λ\\ne0$ such that $\\left(I+\\frac12W(1,0)+\\frac12W(0,1/2)\\right)W(α,β/2)f=λf$, where $W$ denotes the Weyl time--frequency shift. Since every system of at most three…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-08","reactions":{}}