On the identification of certain classes of gap-rich sets
The notion of gap-richness was recently introduced to quantify the ability to open spectral gaps for periodic word models by arbitrarily small perturbations and is useful in the construction of almost-periodic operators having exotic spectral properties, such as Cantor spectrum of zero Hausdorff dimension. Given a subset of Euclidean space that is locally dense in the Zariski topology, we show that any image of such a set under a nonconstant polynomial is gap-rich. This generalizes the scope of previous work in several ways, including allowing local correlations into potential blocks and allowing for totally disconnected sets of realizations.