Benedick's theorem for the Heisenberg group

E. K. Narayanan, P. K. Ratnakumar

If $f$ is a compactly supported function on the Heisenberg group and the group Fourier transform $\hat{f}(\lambda )$ is a finite rank operator for all $\lambda$ then $f$ is the zero function.