Benedicks' Theorem for the Weyl Transform
  If the set of points where a function is nonzero is of finite measure, and its Weyl transform is a finite rank operator, then the function is identically zero. 
M. K. Vemuri
math.FA math-ph math.MP math.RT