Permutation Polynomials Modulo 2w

We give an exact characterization of permutation polynomials modulo n=2^w, w≥2: a polynomial P(x)=a₀+a₁x +···+a_dx^d with integral coefficients is a permutation polynomial modulo n if and only if a₁ is odd, (a₂+a₄+a₆+···) is even, and (a₃+a₅+a₇+···) is even. We also characterize polynomials defining latin squares modulo n=2^w, but prove that polynomial multipermutations (that is, a pair of polynomials defining a pair of orthogonal latin squares) modulo n=2^wdo not exist.