Inverse problems for the zeros of the Wigner function

We study the nodal (zero) set of the Wigner transform, obtaining a rigidity theorem for the eigenstates of one-dimensional harmonic oscillator. For every $k \in \mathbb{N}_0$, and $f\in L^{2}(\mathbb{R})$, equality between the nodal sets of $Wf$ and $Wh_{k}$ determines $f$, up to a constant phase an