Non-Definability of Reachability in Büchi Arithmetic for a Family of Generalized Collatz Maps

Madhav Dhiman, Rohan Pandey

Let $q\ge 3$ and $d\ge 1$ be odd integers with $q+d$ a power of $2$. We study the generalized Collatz map $T_{q,d}$, a one-dimensional piecewise-affine map on the positive intege…