Balian–Low type theorems in finite dimensions

We formulate and prove finite dimensional analogs for the classical Balian–Low theorem, and for a quantitative Balian–Low type theorem that, in the case of the real line, we obtained in a previous work. Moreover, we show that these results imply their counter-parts on the real line.