Big line bundles over arithmetic varieties

We prove a Hilbert-Samuel type result of arithmetic big line bundles in Arakelov geometry, which is an analogue of a classical theorem of Siu. An application of this result gives equidistribution of small points over algebraic dynamical systems, following the work of Szpiro-Ullmo-Zhang. We also generalize Chambert-Loir's non-archimedean equidistribution.