Pego theorem for Hilbert space-valued functions on compact groups
The paper supplies a compactness template for families of Hilbert-valued functions on a compact group: control small translations, suppress high Fourier modes, and, in infinite-dimensional feature spaces, enforce uniform tightness in the…