1: \begin{abstract}

2: %The Heisenberg group is one of the simplest sub-Riemannian settings in which we can define non-elliptic H\"ormander type generators.  We can then consider coercive inequalities associated to such generators.  

3: %We prove that a certain class of nontrivial Gibbs measures with quadratic interaction potential on an infinite product of Heisenberg groups satisfy logarithmic Sobolev inequalities. 

4: %% \PACS{PACS code1 \and PACS code2 \and more}

5: %% \subclass{MSC code1 \and MSC code2 \and more}

6: %\end{abstract}

7: