We give sharp asymptotic estimates at infinity of all radial partial
derivatives of the heat kernel on H-type groups. As an application, we give a
new proof of the discreteness of the spectrum of some natural sub-Riemannian
Ornstein-Uhlenbeck operators on these groups.Comment: 29 pages; submitte