-
Anisotropic refinable functions and the tile B-splines
Authors:
Vladimir Yu. Protasov,
Tatyana Zaitseva
Abstract:
The regularity of refinable functions has been analysed in an extensive literature and is well-understood in two cases: 1) univariate 2) multivariate with an isotropic dilation matrix. The general (non-isotropic) case offered a great resistance. It was done only recently by developing the matrix method. In this paper we make the next step and extend the Littlewood-Paley type method, which is very…
▽ More
The regularity of refinable functions has been analysed in an extensive literature and is well-understood in two cases: 1) univariate 2) multivariate with an isotropic dilation matrix. The general (non-isotropic) case offered a great resistance. It was done only recently by developing the matrix method. In this paper we make the next step and extend the Littlewood-Paley type method, which is very efficient in the aforementioned special cases, to general equations with arbitrary dilation matrices. This gives formulas for the higher order regularity in $W_2^k(\mathbb{R}^n)$ by means of the Perron eigenvalue of a finite-dimensional linear operator on a special cone. Applying those results to recently introduced tile B-splines, we prove that they can have a higher smoothness than the classical ones of the same order. Moreover, the two-digit tile B-splines have the minimal support of the mask among all refinable functions of the same order of approximation. This proves, in particular, the lowest algorithmic complexity of the corresponding subdivision schemes. Examples and numerical results are provided.
△ Less
Submitted 18 December, 2023;
originally announced December 2023.
-
Multivariate tile B-splines
Authors:
Tatyana Zaitseva
Abstract:
Tile B-splines in $\mathbb{R}^d$ are defined as autoconvolutions of the indicators of tiles, which are special self-similar compact sets whose integer translates tile the space $\mathbb{R}^d$. These functions are not piecewise-polynomial, however, being direct generalizations of classical B-splines, they enjoy many of their properties and have some advantages. In particular, the precise values of…
▽ More
Tile B-splines in $\mathbb{R}^d$ are defined as autoconvolutions of the indicators of tiles, which are special self-similar compact sets whose integer translates tile the space $\mathbb{R}^d$. These functions are not piecewise-polynomial, however, being direct generalizations of classical B-splines, they enjoy many of their properties and have some advantages. In particular, the precise values of the Hölder exponents of the tile B-splines are computed in this work. They sometimes exceed the regularity of the classical B-splines. The orthonormal systems of wavelets based on the tile B-splines are constructed and the estimates of their exponentional decay are obtained. Subdivision schemes constructed by the tile B-splines demonstrate their efficiency in applications. It is achieved by means of the high regularity, the fast convergence, and small number of the coefficients in the corresponding refinement equation.
△ Less
Submitted 25 December, 2022;
originally announced December 2022.
-
Tiling of polyhedral sets
Authors:
Vladimir Yu. Protasov,
Tatyana Zaitseva
Abstract:
A self-affine tiling of a compact set G of positive Lebesgue measure is its partition to parallel shifts of a compact set which is affinely similar to G. We find all polyhedral sets (unions of finitely many convex polyhedra) that admit self-affine tilings. It is shown that in R^d there exist an infinite family of such polyhedral sets, not affinely equivalent to each other. A special attention is p…
▽ More
A self-affine tiling of a compact set G of positive Lebesgue measure is its partition to parallel shifts of a compact set which is affinely similar to G. We find all polyhedral sets (unions of finitely many convex polyhedra) that admit self-affine tilings. It is shown that in R^d there exist an infinite family of such polyhedral sets, not affinely equivalent to each other. A special attention is paid to an important particular case when the matrix of affine similarity and the translation vectors are integer. Applications to the approximation theory and to the functional analysis are discussed.
△ Less
Submitted 24 July, 2021; v1 submitted 1 July, 2021;
originally announced July 2021.
-
Recovery of regular ridge functions on the ball
Authors:
Tatyana Zaitseva,
Yuri Malykhin,
Konstantin Ryutin
Abstract:
We consider the problem of the uniform (in $L_\infty$) recovery of ridge functions $f(x)=\varphi(\langle a,x\rangle)$, $x\in B_2^n$, using noisy evaluations $y_1\approx f(x^1),\ldots,y_N\approx f(x^N)$. It is known that for classes of functions $\varphi$ of finite smoothness the problem suffers from the curse of dimensionality: in order to provide good accuracy for the recovery it is necessary to…
▽ More
We consider the problem of the uniform (in $L_\infty$) recovery of ridge functions $f(x)=\varphi(\langle a,x\rangle)$, $x\in B_2^n$, using noisy evaluations $y_1\approx f(x^1),\ldots,y_N\approx f(x^N)$. It is known that for classes of functions $\varphi$ of finite smoothness the problem suffers from the curse of dimensionality: in order to provide good accuracy for the recovery it is necessary to make exponential number of evaluations. We prove that if $\varphi$ is analytic in a neighborhood of $[-1,1]$ and the noise is very small, $\varepsilon\le\exp(-c\log^2n)$, then there is an efficient algorithm that recovers $f$ with good accuracy using $O(n\log^2n)$ function evaluations.
△ Less
Submitted 23 December, 2021; v1 submitted 25 February, 2021;
originally announced February 2021.
-
Simple tiles and attractors
Authors:
Tatyana Zaitseva
Abstract:
We study self-similar attractors in the space $\mathbb{R}^d$, i.e., self-similar compact sets defined by several affine operators with the same linear part. The special case of attractors when the matrix $M$ of the linear part of affine operators and the shifts are integer, is well known in the literature due to many applications in the construction of wavelet and in approximation theory. In this…
▽ More
We study self-similar attractors in the space $\mathbb{R}^d$, i.e., self-similar compact sets defined by several affine operators with the same linear part. The special case of attractors when the matrix $M$ of the linear part of affine operators and the shifts are integer, is well known in the literature due to many applications in the construction of wavelet and in approximation theory. In this case, if an attractor has measure one, it is called a tile. We classify self-similar attractors and tiles in case when they are either polyhedra or union of finitely many polyhedra. We obtain a complete description of the integer contraction matrices and of the digit sets for tiles-parallelepipeds and for convex tiles in arbitrary dimension. It is proved that on a two-dimensional plane, every polygonal tile (not necessarily convex) must be a parallelogram. Non-trivial examples of multidimensional tiles which are a finite union of polyhedra are given, and in the case $d = 1$ their complete classification is provided. Applications to orthonormal Haar systems in $\mathbb{R}^d$ and to integer univariate tiles are considered.
△ Less
Submitted 20 August, 2020;
originally announced August 2020.
-
Self-affine 2-attractors and tiles
Authors:
Vladimir Yu. Protasov,
Tatyana Zaitseva
Abstract:
We study two-digit attractors (2-attractors) in $\mathbb{R}^d$ which are self-affine compact sets defined by two contraction affine mappings with the same linear part. They are widely studied in the literature under various names: twindragons, two-digit tiles, 2-reptiles, etc., due to many applications in approximation theory, in the construction of multivariate Haar systems and other wavelet base…
▽ More
We study two-digit attractors (2-attractors) in $\mathbb{R}^d$ which are self-affine compact sets defined by two contraction affine mappings with the same linear part. They are widely studied in the literature under various names: twindragons, two-digit tiles, 2-reptiles, etc., due to many applications in approximation theory, in the construction of multivariate Haar systems and other wavelet bases, in the discrete geometry, and in the number theory. We obtain a complete classification of isotropic 2-attractors in $\mathbb{R}^d$ and show that they are all homeomorphic but not diffeomorphic. In the general, non-isotropic, case it is proved that a 2-attractor is uniquely defined, up to an affine similarity, by the spectrum of the dilation matrix. We estimate the number of different 2-attractors in $\mathbb{R}^d$ by analysing integer unitary expanding polynomials with the free coefficient $\pm 2$. The total number of such polynomials is estimated by the Mahler measure. We present several infinite series of such polynomials. For some of the 2-attractors, their Hölder exponents are found. Some of our results are extended to attractors with an arbitrary number of digits.
△ Less
Submitted 22 July, 2020;
originally announced July 2020.
