Asymptotics for the heat kernel on H-type groups

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.