Benedicks-Amrein-Berthier theorem for the Heisenberg motion group and quaternion Heisenberg group

Since $(\mathbb{H}^n\rtimes U(n),U(n))$ is a Gelfand pair, an exact analogue of the Heisenberg group result due to Narayanan and Ratnakumar is not possible for the Heisenberg motion group. In this article, we prove that if the Weyl transform of a finitely supported integrable function on the Heisenberg motion group is non-zero only for finitely many Fourier-Wigner pieces and have finite rank, then the function must be zero. We also prove an analogue of the Heisenberg group result on the quaternion Heisenberg group. In the end, a quantitative interpretation of these results is described through strong annihilating pair for the Weyl transform.