  We study arithmetic distribution relations and the inverse function theorem
in algebraic and arithmetic geometry, with an emphasis on versions that can be
applied uniformly across families of varieties and maps. In particular, we
prove two explicit versions of the inverse function theorem, the first via
general distribution and separation inequalities that may be of independent
interest, the second via a careful implementation of classical Newton
iteration.
