Multivariate quasi-tight framelets with high balancing orders derived from any compactly supported refinable vector functions (Q2070417)

This paper is devoted to a construction of multivariate framelets (wavelet frames) which satisfy several desired properties. Most known framelets are constructed from refinable vector functions through the oblique extension principle (OEP) [\textit{C. K. Chui} et al., Appl. Comput. Harmon. Anal. 13, No. 3, 224--262 (2002; Zbl 1016.42023); \textit{I. Daubechies} et al., ibid. 14, No. 1, 1--46 (2003; Zbl 1035.42031); \textit{B. Han}, Framelets and wavelets. Algorithms, analysis, and applications. Cham: Birkhäuser (2017; Zbl 1387.42001)]. Starting with a dilation matrix \(M\) and specific matrix-valued filter \(a\), and a compactly supported \(M-\)refinable vector valued function \(\phi\), the authors construct an OEP-based compactly supported quasi-tight framelet systems with specific properties. This includes, for example, the highest possible order of vanishing moments of framelet generators, and the highest balancing order of the associated fast framelet transform. The last property being essential for the sparsity of the framelet transform. One of the main results is a newly developed normal form of a multivariate matrix-valued filter, which greatly facilitates the study of refinable vector functions and related framelets. This improves some previous results of the first author given in [J. Approx. Theory 124, No. 1, 44--88 (2003; Zbl 1028.42019); Math. Comput. 79, No. 270, 917--951 (2010; Zbl 1247.42040)], and plays a key role in the study of multivariate quasi-tight multiframelets with high vanishing moments and the balancing property. In addition, the authors prove a multidimensional version of one of their previous results from [\textit{B. Han} and \textit{R. Lu}, Appl. Comput. Harmon. Anal. 51, 295--332 (2021; Zbl 1460.42055)].