Let $F_{2n,2}$ be the free nilpotent Lie group of step two on $2n$ generators, and let $\mathbf P$ denote the affine automorphism group of $F_{2n,2}$. In this article the theory of continuous wavelet transform on $F_{2n,2}$ associated with $\mathbf P$ is developed, and then a type of radial wavelets is constructed. Secondly, the Radon transform on $F_{2n,2}$ is studied and two equivalent characterizations of the range for Radon transform are given. Several kinds of inversion Radon transform formulae are established. One is obtained from the Euclidean Fourier transform, the others are from group Fourier transform. By using wavelet transform we deduce an inversion formula of the Radon transform, which does not require the smoothness of functions if the wavelet satisfies the differentiability property. Specially, if $n=1$, $F_{2,2}$ is the $3$-dimensional Heisenberg group $H^1$, the inversion formula of the Radon transform is valid which is associated with the sub-Laplacian on $F_{2,2}$. This result cannot be extended to the case $n\geq 2$.

A theory of higher rank multiresolution analysis is given in the setting of abelian multiscalings. This theory enables the construction, from a higher rank MRA, of finite wavelet sets whose multidilations have translates forming an orthonormal basis in $L^2(\mathbb R^d)$. While tensor products of uniscaled MRAs provide simple examples we construct many nonseparable higher rank wavelets. In particular we construct \emph{Latin square wavelets} as rank~$2$ variants of Haar wavelets. Also we construct nonseparable scaling functions for rank $2$ variants of Meyer wavelet scaling functions, and we construct the associated nonseparable wavelets with compactly supported Fourier transforms. On the other hand we show that compactly supported scaling functions for biscaled MRAs are necessarily separable.

A borderline case function $f$ for $ Q_{\alpha}({\mathbb R^n})$ spaces is defined as a Haar wavelet decomposition, with the coefficients depending on a fixed parameter $\beta>0$. On its support $I_0=[0, 1]^n$, $f(x)$ can be expressed by the binary expansions of the coordinates of $x$. In particular, $f=f_{\beta}\in Q_{\alpha}({\mathbb R^n})$ if and only if $\alpha<\beta<\frac{n}{2}$, while for $\beta=\alpha$, it was shown by Yue and Dafni that $f$ satisfies a John--Nirenberg inequality for $ Q_{\alpha}({\mathbb R^n})$. When $\beta\neq 1$, $f$ is a self-affine function. It is continuous almost everywhere and discontinuous at all dyadic points inside $I_0$. In addition, it is not monotone along any coordinate direction in any small cube. When the parameter $\beta\in (0, 1)$, $f$ is onto from $I_0$ to $[-\frac{1}{1-2^{-\beta}}, \frac{1}{1-2^{-\beta}}]$, and the graph of $f$ has a non-integer fractal dimension $n+1-\beta$.

The Feichtinger conjecture is considered for three special families of frames. It is shown that if a wavelet frame satisfies a certain weak regularity condition, then it can be written as the finite union of Riesz basic sequences each of which is a wavelet system. Moreover, the above is not true for general wavelet frames. It is also shown that a sup-adjoint Gabor frame can be written as the finite union of Riesz basic sequences. Finally, we show how existing techniques can be applied to determine whether frames of translates can be written as the finite union of Riesz basic sequences. We end by giving an example of a frame of translates such that any Riesz basic subsequence must consist of highly irregular translates.

We consider a unitary representation of a discrete countable abelian group on a separable Hilbert space which is associated to a cyclic generalized frame multiresolution analysis. We extend Robertson's theorem to apply to frames generated by the action of the group. Within this setup we use Stone's theorem and the theory of projection valued measures to analyze wandering frame collections. This yields a functional analytic method of constructing a wavelet from a generalized frame multi\-resolution analysis in terms of the frame scaling vectors. We then explicitly apply our results to the action of the integers given by translations on $L^2({\mathbb R})$.