Let S (m) , T {n) be positive definite integral matrices and suppose that T is represented by S over each p-adic integer ring Z p . We proved arithmetically in [3] that T is represented by S over Z provided that m > 2n + 3 and the minimum of T is sufficiently large. This guarantees the existence of at least one representation but does not give any asymptotic formula for the number of representations. To get an asymptotic formula we must employ analytic methods. As a generating function of the numbers of representations we consider the theta functionwhere Z (n > = X+ iY = Z\ ImZ= F> 0, and σ denotes the trace. Put
N(S, T) = #{GeM m , n (Z)|S[G] = T); then we have
Θ{Z) = Σ N(S, 2>xp (2πiσ(TZ)) . Θ(Z) is a modular form of degree n and we decompose Θ(Z) as Θ{Z) = E(Z) + g(Z), where E(Z) is the SiegeΓs weighted sum of theta functions for quadratic forms in the genus of S. Put
E(Z) = Σ a(T) exv(2πίσ(TZ)), g(Z) = Σ b(T)exv(2πίσ(TZ)).