1: \begin{abstract}

2:  We study the infinite-dimensional log-Sobolev inequality for spin systems

3: on  $\mathbb{Z}^d$ with interactions of power higher than quadratic.

4: We assume that the one site measure without a boundary $e^{-\phi(x)}dx/Z$    satisfies a log-Sobolev inequality and  we determine conditions  so that  the infinite-dimensional Gibbs measure also satisfies  the inequality.

5: As a concrete application, we prove that a

6: certain class of nontrivial Gibbs measures with non-quadratic

7: interaction potentials on an infinite product of Heisenberg groups satisfy the

8: log-Sobolev inequality.

9: 

10: \renewcommand{\phi}{\varphi}

11: \renewcommand{\epsilon}{\varepsilon}

12: 

13: \vspace*{2mm}

14: \keywords{logarithmic Sobolev inequality, Gibbs measure, Spin systems, Heisenberg group}

15: 

16: \vspace*{2mm}

17: \ams{60K35,   %Interacting random processes; statistical mechanics type models; percolation theory

18: 26D10, %Inequalities involving derivatives and differential and integral operators

19: %60E15, %Inequalities; stochastic orderings 

20: 39B62,          %Functional inequalities, including subadditivity, convexity, etc.

21: }

22: {22E30,          %Analysis on real and complex Lie groups

23: 82B20           %Lattice systems

24: }

25: \end{abstract}

26: