Boundary Rigidity and Classification of Spectral Transformations Preserving Frame Generators of Normal Diagonal Operator Orbits

Abstract

Let $\mathcal C$ be the class of Carleson sequences in the unit disk $\mathbb D$. We study arbitrary maps $Φ:\mathbb D\to\mathbb D$ satisfying, for every sequence $Λ=\{λ_n\}_{n\ge1}\subset\mathbb D$, both $Λ\in\mathcal C\LongleftrightarrowΦ(Λ)=\{Φ(λ_n)\}_{n\ge1}\in\mathcal C$ and $1-|Φ(z)|^2\asymp1-|z|^2$ for $z\in\mathbb D$. No continuity, measurability, or analyticity is assumed. These conditions arise exactly from universal preservation of frame-generator sets for single orbits of normal diagonal operators. We prove that every such map has a canonical radial boundary trace $h_Φ(ζ)=\lim_{r\to1^-}Φ(rζ)$, $ζ\in\mathbb T$, with uniform convergence, and that $h_Φ\in\operatorname{BiLip}(\mathbb T)$. For the resulting preserver class $\mathcal P=\mathcal P_1$, let $\mathcal K=\{Ψ\in\mathcal P:h_Ψ=\operatorname{id}_{\mathbb T}\}$ be its boundary-shadow kernel. Every $Φ\in\mathcal P$ has the unique kernel-angular factorization $Φ=Ψ\circ E_{h_Φ}$, where $Ψ\in\mathcal K$, $E_h(0)=0$, and $E_h(rζ)=rh(ζ)$. Hence $\mathcal P\cong\mathcal K\rtimes\operatorname{BiLip}(\mathbb T)$ as a split semidirect product. For every fixed $m\in\mathbb N^+$, the universal preservation class for frames generated by $m$ operator orbits equals the single-orbit class: $\mathcal P_m=\mathcal P$. Its holomorphic members are precisely the automorphisms of $\mathbb D$. For the countable class, $\operatorname{Aut}(\mathbb D)\subseteq\mathcal P_ω\subseteq\mathcal P$, and every element of $\mathcal P_ω$ is a pseudohyperbolically uniform homeomorphism of $\mathbb D$. This motivates the conjecture $\mathcal P_ω=\operatorname{Aut}(\mathbb D)$.