有限個のベクトルから作る動的フレームの標本化条件

We study frames of unilateral iterations generated by finitely many vectors under an invertible bounded operator $T$. Suppose that the spectrum of $T$ lies in $\{\rho e^{it}:0<\rho\le1,\ |t|\le c\}$, where $c<\pi$, and that its essential spectrum lies in $\{e^{it}:|t|\le c_{\mathrm e}\}$, where $0\le c_{\mathrm e}\le c$. Real powers are defined through the principal logarithm. Our structural result identifies fractional-orbit synthesis, up to an invertible map and a compact perturbation, with synthesis of projected vector-valued exponentials on an arc containing the essential spectrum. Semi-Fredholm properties and Fredholm index therefore transfer. For a uniformly separated temporal set $\Lambda$, this reduction gives a frame when its one-sided lower uniform density satisfies $D_+^-(\Lambda)>c_{\mathrm e}/\pi$ and its logarithmic block density satisfies $L(\Lambda)>c/\pi$. Completeness at the latter threshold requires only an invertible operator with spectrum in the corresponding angular sector and a complete integer multiorbit. At $L(\Lambda)>2c/\pi$, the complement property is equivalent to a finite condition in channel-cyclic subspaces, with real phase-retrieval consequences. Generalized divided differences admit the same compact reduction and the analogous frame theorem with multiplicities counted. For arbitrary one-point-per-cell sampling with cell length $r$, the sufficient raw-sampling conditions are $rc<\pi$ and $2rc_{\mathrm e}<\pi$. Thus, the full range $rc<\pi$ holds for raw samples when the essential spectrum is contained in $\{1\}$; over the unrestricted class, the sharp universal range is $rc<\pi/2$. Divided-difference preconditioning restores $rc<\pi$ for all operators considered and converts exact collisions into logarithmic-derivative data.

34 pages, 2 figures