Density of mode-locking property for quasi-periodically forced Arnold circle maps

We show that the mode-locking region of the family of quasi-periodically forced Arnold circle maps with a topologically generic forcing function is dense. This gives a rigorous verification of certain numerical observations in [M. Ding, C. Grebogi and E. Ott. Evolution of attractors in quasiperiodically forced systems: from quasiperiodic to strange nonchaotic to chaotic. Phys. Rev. A 39(5) (1989), 2593–2598] for such forcing functions. More generally, under some general conditions on the base map, we show the density of the mode-locking property among dynamically forced maps (defined in [Z. Zhang. On topological genericity of the mode-locking phenomenon. Math. Ann. 376 (2020), 707–72]) equipped with a topology that is much stronger than the $C^0$ topology, compatible with smooth fiber maps. For quasi-periodic base maps, our result generalizes the main results in [A. Avila, J. Bochi and D. Damanik. Cantor spectrum for Schrödinger operators with potentials arising from generalized skew-shifts. Duke Math. J.146 (2009), 253–280], [J. Wang, Q. Zhou and T. Jäger. Genericity of mode-locking for quasiperiodically forced circle maps. Adv. Math.348 (2019), 353–377] and Zhang (2020).