Wavelet completeness conjecture for locally compact groups

From papers

Let GG be a locally compact group, let G^s\widehat{G}_{s} denote the equivalence classes of square integrable representations of GG, and for each square integrable representation π:GU(Hπ)\pi:G\to\mathcal{U}(\mathcal{H}_{\pi}) let Aπ\mathcal{A}_{\pi} denote the equivalence classes of admissible vectors in Hπ\mathcal{H}_{\pi} modulo rotations by elements of T\mathbb{T}. For gAπg\in\mathcal{A}_{\pi} and fHπf\in\mathcal{H}_{\pi}, write Wgf\mathcal{W}_{g}f for the corresponding wavelet transform.

Wavelet completeness conjecture. Characterize the locally compact groups GG satisfying

πG^sspangAπ{Wgf: fHπ}=L2(G).\overline{\bigoplus_{\pi\in\widehat{G}_{s}}\underset{g\in\mathcal{A}_{\pi}}{\operatorname{span}}\big\{\mathcal{W}_{g}f:\ f\in\mathcal{H}_{\pi}\big\}}=L^{2}(G).

This asks when wavelet spaces associated with all square integrable representations collectively have dense span in L2(G)L^{2}(G). The source gives the characterization as an open problem; examples show that varying the representation can restore completeness even when varying admissible vectors within one representation does not.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Eirik Berge, “Interpolation in Wavelet Spaces and the HRT-Conjecture”, arXiv:2005.04964 (2020).

Solutions 0

No solutions have been posted yet.