Measure-preservation criteria for a certain class of 1-Lipschitz functions on $Z_p$ in Mahler's expansion

Abstract

In this paper, we formulate a conjecture for a measure-preservation criterion of 1-Lipschitz functions defined on the ring Zp of p-adic integers, in terms of Mahler's expansion. We then provide evidence for this conjecture in the case that p = 3, and verify that it also holds for a wider class of 1-Lipschitz functions that are everywhere differentiable on Zp, which we call $\mathcal{ B}$-functions, in the sense of Anashin.