Wildness of iteration of certain residue-class-wise affine mappings (Q2465832)

Motivated by the \(3n+1\) conjecture the author defines a mapping \(f:{\mathbb Z}\to{\mathbb Z}\) to be residue-class-wide affine if there there exists a positive integer \(m\) such that the restriction of \(f\) to the residue classes \(r(m)\in {\mathbb Z}/m{\mathbb Z}\) are of the form \(f| _{r(m)}:r(m)\to{\mathbb Z}, n\mapsto(a_{r(m)}n+b_{r(m)})/c_{r(m)}\) with \(a_{r(m)}, b_{r(m)}, c_{r(m)}\in{\mathbb Z}\). The smallest possible such \(m\) is called the modulus \(\text{ Mod}(f)\) of \(f\). The author proves that if \(f\) is a residue-class-wide affine mapping which is surjective but not injective then the set \(\{\text{ Mod}(f^{(k)}) : k\in{\mathbb Z}\}\) is not bounded (here \(f^{(k)}\) denotes the \(k\)th power of \(f\), \(f^2=f(f)\),\dots, \(f^k=f(f^{k-1})\)).