Structure and asymptotic expansion of multiple harmonic sums

Abstract

We prove that the algebra of multiple harmonic sums is isomorphic to a shuffle algebra. So the multiple harmonic sums Hs, indexed by the compositions s=(s1,...,sr), are ℝ-linearly independent as real functions defined over ℕ. We deduce then the algorithm to obtain the asymptotic expansion of multiple harmonic sums.