Inverse problems for the zeros of the Wigner function

Abstract: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 and an explicitly defined nodal-preserving pseudo-displacement. The proof requires a result with independent interest, where it is shown that a Wigner distribution has bounded nodal set if and only if its underlying state is, up to time-frequency and metaplectic symmetries, a finite Hermite expansion. The demonstration of the results combines new analytic, geometric and arithmetic tools: a property of classical convolution, a geometric study of phase space displacements and a new divisibility theorem for generalized Laguerre polynomials. As a by-product, we obtain several results concerning the structure and admissible geometry of bounded nodal sets of Wigner distributions.

Quantum Physics (quant-ph); Mathematical Physics (math-ph); Functional Analysis (math.FA)

arXiv:2504.20324 [quant-ph]

(or arXiv:2504.20324v2 [quant-ph] for this version)

https://doi.org/10.48550/arXiv.2504.20324 Focus to learn more arXiv-issued DOI via DataCite

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.