Variations on two Cabrelli's works
Elona Agora, Jorge Antezana, Diana Carbajal
TL;DR
The paper advances the theory of shift-invariant spaces by (i) deriving a triangular (and in the normal case, diagonal) decomposition for shift-preserving operators on finitely generated SIS via a fibered range-operator framework, and (ii) providing a practical ambient-space criterion in $\mathbb{T}^{k\times k}$ for when a multi-tiling set $\Omega$ yields a structured Riesz basis of exponentials with periodic frequencies in $L^2(\Omega)$. By reducing global questions to pointwise finite-dimensional problems on fibers, the authors unify operator canonical forms with multi-tiling spectral analysis and Paley-Wiener space structure, enabling explicit constructions and necessary/sufficient conditions grounded in determinant tests and a simple geometric separation property. The results generalize and sharpen previous decompositions (e.g., ACCP) and offer a tangible criterion for structured exponential bases in sampling and tiling contexts, with extensions to LCA groups. Overall, the work bridges shift-invariant theory, tiling, and Paley-Wiener analysis to yield actionable decompositions and basis characterizations for SIS and their spectral sets.
Abstract
In this paper we present two different problems within the framework of shift-invariant theory. First, we develop a triangular form for shift-preserving operators acting on finitely generated shift-invariant spaces. In case of the normal operators, we recover a diagonal decomposition. The results show, in particular, that any finitely generated shift-invariant space can be decomposed into an orthogonal sum of principal shift-invariant spaces, with additional invariance properties under a shift-preserving operator. Second, we provide a new characterization of the multi-tiling sets $Ω\subset\mathbb{R}^d$ of positive measure for which $L^2(Ω)$ admits a structured Riesz basis of exponentials that is formulated in the ambient space $\mathbb{T}^{k\times k}$. In addition, we show a simpler sufficient condition which generalizes the admissibility property, that is also necessary for 2-tiling sets.
