We establish a quantitative adelic equidistribution theorem for a
sequence of effective divisors on the projective line over the separable
closure of a product formula field having small diagonals and small
-heights with respect to an
adelic normalized weight
in arbitrary characteristic and in a possibly nonseparable setting. Applying
this quantitative adelic equidistribution result to adelic dynamics of
, we
obtain local proximity estimates between the iterations of a rational function
of degree
and a rational
function
of degree
over a product
formula field
of
characteristic
.
Keywords
product formula field, effective divisor, small diagonals,
small heights, quantitative equidistribution,
asymptotically Fekete configuration, local proximity
sequence, adelic dynamics