Spectrum of normal operators that generate certain scalable iterative systems

TL;DR

This paper characterizes the spectral structure of normal operators generating scalable iterative systems that form frames, showing they are concentrated on circles and confirming a conjecture about when such systems cannot be frames.

Contribution

It establishes the spectral constraints of normal operators producing scalable frames and proves a conjecture regarding the non-frame nature of certain iterative systems.

Findings

Spectral concentration on circles centered at the origin.

Normal operators must be diagonal if the set S is a singleton.

Iterative systems are not frames under specified spectral conditions.

Abstract

Let $A\colon H\rightarrow H$ be a normal operator on an infinite-dimensional separable Hilbert space $H$ and let $S\subseteq H$ be a finite subset such that $\{A^nx\}_{n\geq 0,\,x\in S}$ can be rescaled to form a frame for $H$. That is, there exist some subsets $J_x\subseteq \mathbb{N}\cup\{0\}$ and some set of nonzero scalars $(c_{n,x})_{n\in J_x,\,x\in S}$ such that $\{c_{n,x}A^nx\}_{n\in J_x,\,x\in S}$ forms a frame for $H.$ Assume that there exist some $\eta\in\mathbb{N}$ and $\delta>0$ such that for each infinite $J_x$ there is an increasing syndetic subsequence $(n^x_{k})_{k\in \mathbb{N}}\subseteq J_x$ satisfying $|c_{n^x_{k},x}|\|A^{i^x_{k}}x\|\geq \delta$ for some non-negative integers $i^x_{k}$ with $|i^x_{k}- n^x_{k}|\leq \eta$ for all $k\in \mathbb{N}$. We prove that there exist finitely many numbers $(r_i)_{i=1}^N$ such that the continuous spectrum of $A$ is concentrated on arcs of a circle centered at origin with radius $r_i$. In particular, $A$ must be a diagonal operator if $S$ is a singleton. As an application, we establish the conjecture proposed by Aldroubi et al.\ asserting that the iterative system $\{\frac{A^nx}{\|A^nx\|}\}_{n\geq 0,\,x\in S}$ is never a frame for $H$, provided one of the following two conditions holds: (i) The continuous spectrum of $A$ contains more than $|S|-1$ points with distinct moduli; (ii) $S$ is a singleton and $A$ is not a diagonal operator