Orthonormal bases arising from nilpotent actions

Abstract

In this paper, we prove the existence of an orthonormal basis in at least one orbit of every generic irreducible representation of a simply connected and connected nilpotent Lie group. Our result has a wide-ranging impact, encompassing all irreducible representations of a nilpotent Lie group that are square-integrable modulo its center. This resolves a fundamental open problem in time-frequency analysis and frame theory, originally posed by Karlheinz Gröchenig. The implications of our findings are significant and far-reaching.