arxiv: v1 [math.pr] 16 Jun 2010

Transcription

1 The GS inequality for the Potts Model arxiv: v1 [math.pr] 16 Jun 2010 Sérgio de Carvalho Bezerra affiliation: Universidade Federal de Pernambuco address: Av. Fernando Simões Barbosa Boa Viagem-Recife-PE-Brazil, CEP November 8, 2017 Abstract In this note we are concerned about the generalization of the GS inequality for the Potts model. We also obtain by a different method the proof of the GS inequality for the Ising model. We take advantage of a polynomial expansion and we derive that some of the variables of the polynomial can be separated. Keywords: Potts model, GS inequality and local magnetization. AMS:60K35, 82B99 1 Introduction In Statistical Mechanics the Ising model is one of the most important model. One possible extension of the Ising model is the Potts one. An excellent review is [1]. Recent works about the Potts model are [2],[3] and [4]. The Potts model can be described as follows: Consider N particles and for each particle i we associate a number i Σ {1,2,...,r} called the spin of the particle i. r is a positive integer bigger than one. The vector ( 1,..., N Σ N receives the name of the system configuration. In the nineteenth century people started using one function to describe a physical system: the energy function. In the Potts Model the energy function is: E( N J i,jδ( i, j B iδ(1, i (1 1 i<j N wherethenumbers(j i,j 1 i<j N,(B i 1 i N will beconsidernon-negative real numbers and the function δ(x,y 1 if x y and zero otherwise. The J i,j represents the exchange interaction between the particles i and j. As J i,j 0 we have only ferromagnetic interactions. The B i is the external field in the direction of the particle i. The probabilistic model is defined by the triple (Σ N,P(Σ N,P where i1 P( ee( Z N (2 1

2 thetermofnormalization Z N Σ N e E( isnamedpartitionfunction. We obtain the Ising model if we take r 2. Let J (J 1,2,...,J N 1,N and B (B 1,...,B N, we define the local magnetization as: m i(j,b < δ(1, i > Σ N δ(1, ip(. (3 It was proved in [5] which is called GS inequality that Theorem 1.1 Let r be equal to two. Then, for all i,j,k {1,...,N} m i(j,b B j B k 0. (4 Alternative proofs can be found in [6] or [7]. Naturally, we can ask for what does it happen with r bigger than two? This works gives an answer to this question. In fact, we prove: Theorem 1.2 (GS inequality for the potts modelgiven non-negative real numbers J and B the local magnetization has the following properties i if r 2 then ii if r 3 then 2 m i(j,b B j B k 0 (5 2 m i(j,b B j B k 0. (6 Item i is the theorem 1.1 which we obtain by a different method. It was obtained in [8] the proof of the concavity of the magnetization for a model of spins that are real-valued random variables. In the work [9] they proved the GS inequality for families of random variables which arise in certain ferromagnetic models of statistical mechanics and quantum field theory. In the next section, we obtain an expression for the second derivative of the local magnetization. In the following section, we determine that this derivative can be seen as a polynomial. After, we verify that this polynomial can have almost all the variables separated. In the last section, we evaluate some coefficient and prove the GS inequality for the Potts model. 2 The second derivative of the local magnetization The first step is to evaluate the second derivative of the local magnetization. 2

3 Proposition 2.1 Let r be a positive integer bigger than one. J and B vectors with entries non-negative. Then, we have 2 m i(j,b B j B k < δ(1, iδ(1, jδ(1, k > < δ(1, iδ(1, k >< δ(1, j > < δ(1, iδ(1, j >< δ(1, k > < δ(1, k δ(1, j >< δ(1, i > 2 < δ(1, i >< δ(1, k >< δ(1, j >. Proof if we take the first derivative we have: m i(j,b B k Σ N δ(1, iδ(1, k P( Now, we take the second derivative: 2 m i(j,b B j B k Σ N ˆ Σ N δ(1, iδ(1,ˆ k P(P(ˆ δ(1, iδ(1, k δ(1, jp( Σ N δ(1, iδ(1, k δ(1,ˆ jp(p(ˆ Σ N ˆ Σ N δ(1, iδ(1,ˆ k δ(1, jp(p(ˆ Σ N ˆ Σ N δ(1, iδ(1,ˆ k δ(1,ˆ jp(p(ˆ Σ N ˆ Σ N 2 δ(1, iδ(1,ˆ k δ(1,ˇ jp(pˆp(ˇ ˇ Σ N Σ N ˆ Σ N We pick up the idea introduced in [5] and we consider a ghost spin 0. Consequently, we consider the energy as E( 1 i<j N J i,jδ( i, j N B iδ( 0, i i1 0 i<j N J i,jδ( i, j where J 0,i B i and if we set up i 1,j 2,k 3 then the second derivative becomes: 2 m 1(J,B < δ( 0, 1δ( 0, 2δ( 0, 3 > B 2 B 3 < δ( 0, 1δ( 0, 3 >< δ( 0, 2 > < δ( 0, 1δ( 0, 2 >< δ( 0, 3 > < δ( 0, 3δ( 0, 2 >< δ( 0, 1 > 2 < δ( 0, 1 >< δ( 0, 2 >< δ( 0, 3 >. We will study the signal of this last expression. By one remark in [5] this signal implies the signal of the second derivative of the Proposition

4 3 The recursive property of the second derivative signal We define ( exp( 0 i<j N Thus, we pay attention for the following term: I(J,B: ZN 3 2 m 1(J,B B 2 B J i,jδ( i, j (7 Given a positive integer s let A s be the set of matrix A (a i,j with index 1 i ( 2 and 1 j 3 where ai,j {0,1} if the index i is bigger or equal to ( ( 2 s 1 and less or equal than 2.Further, a i,j 0 otherwise. We consider that the pairs of particles are in a specific order O {(0,1,(0,2,...,(N 1,N} {o 1,...o ( }. The row p in A is associated to the pair of particles o p.let s be s( exp( J i,jδ( i, j. For each matrix A (i,j the first ( 2 s terms in O A s we associate the term I A I 1,A I 2,A I 3,A I 4,A I 5,A with I 1,A ( s i j if o r (i,j,a r, i j if o r (i,j,a r,3 1 s s i j if o r (i,j,a r,

5 I 2,A ( I 3,A ( I 4,A ( I 5,A 2 ( i j if o r (i,j,a r, i j if o r (i,j,a r,3 1 i j if o r (i,j,a r, i j if o r (i,j,a r,3 1 i j if o r (i,j,a r, i j if o r (i,j,a r,3 1 s s s s s s 0 1 i j if o r (i,j,a r,1 1 s. 0 3 i j if o r (i,j,a r,3 1 s i j if o r (i,j,a r, i j if o r (i,j,a r, i j if o r (i,j,a r, i j if o r (i,j,a r,2 1 s s s s 5

6 It means that we have many constraints of the type i j which are defined by the element A. As For each row of A we have a pair o p (i,j we consider its weight defined by n(p: a(p,1 a(p,2 a(p,3 and also we designate by J p: J i,j. Now, we can announce the following result which can be interpreted as I(J,B is a polynomial in the variables X p: (e Jp 1 with,..., ( 2. Proposition 3.1 Let J and B be non-negative real numbers and s be a positive integer that belongs to {1,..., ( 2 }. Then I(J,B I n(( AX 2 s1...x n(( 2 (8 ( 2 s1 ( 2 A A s A particular case in which we are interested is when s ( 2 we have I(J,B I AX n(1 2 (9 A A ( X n(( ( 2 we remark that in this case ( 2 1. Proof The proof is by induction on s. Let s be equal to one. We observe that N 1 N N 1 N N 1 N e J ( 2 N 1 N J 1e ( 2 (e J ( 2 1 N 1 N. (10 In the second step we have just used the fact that N 1 N N 1 N. We use the notation [i 1,...,i n] if i1... in. Then, If we replace expression (10 for each one of the elements in the equation (7 we obtain: I(J,B ( ( (e J ( 2 1 (e J ( 2 1 6

7 ( [0,1,2,3] ( (e J ( 2 1 (e J ( 2 1 [0,1,2,3] ( [0,1,2] (e J ( 2 1 [0,1,2] ( [0,3] (e J ( 2 1 [0,3] ( (e J ( 2 1 ( [0,1,3] (e J ( 2 1 [0,1,3] ( [0,2] (e J ( 2 1 [0,2] ( (e J ( 2 1 ( [0,2,3] (e J ( 2 1 [0,2,3] 7

8 ( [0,1] 2 ( [0,1] ( [0,2] (e J ( 2 1 [0,1] (e J ( 2 1,[0,1] (e J ( 2 1 [0,2] ( [0,3] (e J ( 2 1 [0,3]. Thus, the result follows. Now, we consider that we proved the formula for a positive integer s. That means, I(J,B 2 s1 2. (11 A A s I AX n(( ( 2 s1 Let p ( N 2 s 1 with op (i,j. Then, s s1e Jpδ( i, j...x n(( ( 2 (12 we have that condition on the k s s condition on the k s i j condition on the k s i j condition on the k s i j condition on the k s s1e Jp s1 s1(e Jp 1 s1. (13 8

9 In the last step, we used the fact that s1 condition on the k s i j condition on the k s condition on the k s i j s1 s1. If we use expression (13 in the defintion of the term I A and we replace the result in the formula (11 we prove the proposition. 4 The separation formula At this moment, we obtain the separation formula of the variable X i s. Let O 1 O 2 O 3 where O 2 {(1,2,(1,3,(2,3}and the set O 3 be equal to {(0,1,(0,2,(0,3}. The pair of particles of O 2 will take a particular importance, we denote them by p 1 (1,2,p 2 (1,3,p 3 (2,3. Proposition 4.1 (Separation formula I(J,B ( 2 o p / O 1 ( 2 (1r 1 X p 3 (1(12r 1 X p (2r 1 r 2 X 2 p r 2 X 3 p 2 if o p / O 2 a(p,1 a(p,2 a(p,3 0 I AX n(p 1 p 1 X n(p 2 p 2 X n(p 3 p 3. Proof We start by the expression (9. Given A we define  as the matrix with entries equal to the entries of A in all rows except in row p. At row p we have â(p,1 â(p,2 â(p,3 0. We consider the case that p / O 1. Let n(p be the weight of the row p of A. We observe the following relations, if n(p 0 then I A IÂ. In the case that n( then I A r 1 IÂ. For n(p 2 we have I A r 2 IÂ. Finally, when n(p 3 we get I A r 3 IÂ. We do the calculations for n(. let p be the pair (i,j then n( means that appears the condition i j in one term of I 1,A,I 2,A,I 3,A,I 4,A and I 5,A defined in (8. Furthermore, this is the only additional constraint if we compare the conditions implied by A and Â. These constraints define a partition of the 9

10 elements {0,1,...,N} where two elements l,ˆl belong to the same subset if l ˆl. When we sum up some constraints of the type l ˆl we obtain r S where S is the number of subsets of the partition defined by the constraints. In the case that we are considering, we have one additional constraint if we compare A with Â. Thus, the partition implied by the constraints of A has the number of subsets of the partition implied by  less one. Further, as (i,j / O 1 the constraint i j is a new constraint. It is not an existent condition as in I 1,A. Thus, I A r 1 IÂ. We observe that there exists eight elements belong to A ( that we associate the same Â. They differ one from each other 2 by the possible values of a(p,1,a(p,2 and a(p,3. We have one element with n(p 0, three elements with n(, three elements with n(p 2 and one element with n(p 3. ence, the formula I(J,B 2 n(p 0 2 n( 2 n(p 2 2 n(p 3 I AX n(1 1...Xp 0...X n(( 1 2 ( 2 I AX n(1 1...Xp 1...X n(( 2 ( 2 I AX n(1 1...X 2 p...x n(( 2 ( 2 I AX n(1 1...Xp 3...X n(( 2 ( 2 10

11 can be simplified I(J,B 2 n(p 0 3r 1 2 n(p 0 3r 2 I AX n( ˆX p...x n(( 2 ( 2 I AX n( ˆX p...x n(( 2 n(p 0 I AX n( ˆX p...x n(( 2 n(p 0 2 ( 2 I AX n( ˆX p...x n(( 2 ( 2 2 X ( p 3 2 X p X 2 p where ˆX meansthatthistermdoesnotappear. Withmoresimplifications, we obtain I(J,B 2 n(p 0 I AX n( ˆX p...x n(( 2 ( 2 3r 2 Xp 2 r 3 Xp 3 I AX n( ˆX p...x n(( ( 2 2 n(p 0 2 We can repeat the procedure for all p / O 3 which produces (13r 1 X p (1r 1 X p 3. I(J,B ( 2 o p / O 1 (1r 1 X p 3 2 if o p / O 3 a(p,1 a(p,2 a(p,3 0 ( 2 I A X n(p p. (14 Now, we pay attention to the terms that belong to O 1. Let p 4 be (0,1. For a matrix with entries a(p,1 a(p,2 a(p,3 0 for 2 all p / O 3 we associate the matrix  with the same entries except for row 11

12 p 4 we have â(p,1 â(p,2 â(p,3 0. We can show that if n(p 4 0 then we have I A IÂ. Also, we obtain 2 n(p 4 1 n(p 0 p O 3 ( 2 I AX p4 (12r 1 X p4 For n(p 4 2 we have p p 4 2 n(p 4 0 n(p 0 p O 3 X n(p p ( 2 I A p p 4 X n(p p. (15 2 n(p 4 2 n(p 0 p O 3 ( 2 I AXp 2 4 (2r 1 r 2 X 2 p 4 p p 4 2 n(p 4 0 n(p 0 p O 3 X n(p p ( 2 I A p p 4 X n(p p. (16 And if n(p 4 3 we get I A r 2 IÂ. Again, we have eight matrix A which are associated for the same Â. We consider the three matrix with n(p 4 1, i.e., the matrix A 1 with a(p 4,1 1 the matrix A 2 with a(p 4,2 1 and A 3 with a(p 4,3 1. We have that I 1,A1 r 1 I 1, Â,I2,A 1 r 1 I 2, Â,I3,A 1 r 1 I 3, Â,I4,A 1 r 1 I 4, Â and I 5,A1 I 5, Â. In the last term does not appear the factor r 1 because the condition 0 1 appears independently of the matrix A 1. We also obtain that I 1,A2 r 1 I 1, Â,I2,A 2 I 2, Â,I3,A 2 I 3, Â,I4,A 2 r 1 I 4, Â and I 5,A2 r 1 I 5, Â. There are two terms that do not appear r 1 it happens because again the condition 0 1 occurs independently of the matrix A 2. For A 3 we have I 1,A3 I 1, Â,I2,A 3 r 1 I 2, Â,I3,A 3 r 1 I 3, Â,I4,A 3 I 4, Â and I5,A 3 r 1 I 5, Â. Again the terms that do not appear r 1 are consequence of the constraint 0 1 happens independently of the matrix A 3. Besides, equations (15 is a consequence of these facts. Now we look at the three matrices with n(p 2 let A 4 be the matrix with a(p 4,1 a(p 4,2 1 A 5 be the matrix with a(p 4,1 a(p 4,3 1 and A 5 the one with a(p 4,2 a(p 4,3 1. We obtain that I 1,A4 r 2 I 1, Â,I2,A 4 r 1 I 2, Â,I3,A 4 r 1 I 3, Â,I4,A 4 r 2 I 4, Â and I 5,A4 r 1 I 5, Â. The terms r 1 appear when one of the conditions 12

13 0 1 already occurs independently of A 4 and the term r 2 appears when both conditions 0 1 are new. For the matrix A 5 we obtain that I 1,A5 r 1 I 1, Â,I2,A 5 r 2 I 2, Â,I3,A 5 r 2 I 3, Â,I4,A 5 r 1 I 4, Â and I 5,A5 r 1 I 5, Â with the same reasoning. And if we see the matrix A6 we get I 1,A6 r 1 I 1, Â,I2,A 6 r 1 I 2, Â,I3,A 6 r 1 I 3, Â,I4,A 6 r 1 I 4, Â and I 5,A6 r 2 I 5, Â. Thus, we prove equation (16. As a matter of facts we obtain from equation (14 that I(J,B ( 2 o p / O 1 (1r 1 X p 3 2 n(p 4 0 if o p / O 3 n(p 0 ( 2 I A p p 4 X n(p p 2 n(p 4 1 if o p / O 3 n(p 0 ( 2 I AX p4 p p 4 X n(p p 2 n(p 4 2 if o p / O 3 n(p 0 ( 2 I AXp 2 4 p p 4 X n(p p 2 n(p 4 3 if o p / O 3 n(p 0 ( 2 I AXp 3 4 p p 4 X n(p p 13

14 By the remarks above and equation (15 and (16 we conclude that I(J,B ( 2 o p / O 1 (1r 1 X p 3 (1(12r 1 X p4 (2r 1 r 2 X 2 p 4 r 2 X 3 p 4 2 n(p 4 0 if o p / O 3 n(p 0 ( 2 I A p p 4 X n(p p. (17 We can repeat this last procedure for the other two elements of O 3 which ends the proof. 5 Some coefficients and the main theorem Now, We will evaluate the constants I A for 2 with n(p 0 if o p / O 2. These matrices can have entries different from zero only in three rows, we will represent these matrices by matrices 3 3 where the first row is associated to the pair (1,2 the second one to the pair (1,3 and the third one to (2,3. We also define the coefficients α(x,y,z 2 n(p 1 x,n(p 2 y n(p 3 z, for the other p n(p 0 Using the fact that if 1 2 and 1 3 implies that 2 3 and the symmetries, we get α(3,3,3 α(3,0,3 α(0,3,3 α(3,3,0 I ( r n 1 r n 1 r n 2 r n 1 r n 2 r n 2 r n 1 r n 2 r n 2 r n 1 r n 2 r n 2 2r n 2 r n 2 r n 2 r 3n 6 (r 2 3r 2. We observe by the last remark, we have α(3,2,3 α(2,3,3 α(3,3,2 α(3,1,3 α(1,3,3 α(3,3,1 I ( I ( r 3n 6 (r 2 3r 2 I ( I A 14

15 and α(3,2,2 α(2,3,2 α(2,2,3 I ( I ( I ( I ( I ( I ( I ( I ( I ( r 3n 5 ( 2r 1r 3n 6 (r 2 3r 2r 3n 6 (r 2 3r 2 r 3n 6 (r 2 3r 2r 3n 4 (r 1r 3n 6 (r 2 3r 2 r 3n 6 (r 2 3r 2r 3n 6 (r 2 3r 2r 3n 5 (r 2 3r 2 r 3n 6 (2r 3 15r 12. We also obtain α(3,2,1 α(2,3,1 α(3,1,2 α(1,3,2 α(1,2,3 α(2,1,3 I ( I ( I ( I ( I ( I ( I ( I ( I ( r 3n 5 ( 2r 1r 3n 5 ( 2r 1r 3n 6 (r 2 3r 2r 3n 4 (r 1 r 3n 6 (r 2 3r 2r 3n 4 (r 1r 3n 6 (r 2 3r 2 r 3n 5 (r 2 3r 2r 3n 5 (r 2 3r 2 r 3n 6 (4r 3 9r 2 3r 6. For the element α(3,2,0 α(2,3,0 α(3,0,2 α(0,3,2 α(0,2,3 α(2,0,3 I ( I ( I ( r 3n 5 ( 2r 1r 3n 4 (r 1r 3n 5 (r 2 3r 2 r 3n 5 (2r 2 6r 3. Now, the element α(3,1,1 α(1,3,1 α(1,1,3 I ( I ( I ( I ( I ( I ( I ( I ( I ( r 3n 5 ( 2r 1r 3n 4 (r 1r 3n 5 ( 2r 1r 3n 4 ( 2r2 r 3n 5 (r 2 3r 2r 3n 4 (r 1r 3n 5 (r 2 3r 2r 3n 3 (r 1 r 3n 5 (r 3 r 2 10r 6 and α(3,1,0 α(0,3,1 α(0,1,3 α(3,0,1 α(1,0,3 α(1,3,0 I ( I ( I ( r 3n 4 ( 2r 2r 3n 3 (r 1 r 3n 4 (r 2 3r 2 15

16 also α(3,0,0 α(0,3,0 α(0,0,3 I ( One of the longest terms is and α(2,2,2 I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( r 3n 4 ( 3r 3r 3n 5 ( 2r 2r 3n 5 ( 2r 2r 3n 5 ( 2r 2 r 3n 4 (r 1r 3n 6 (r 2 3r 2r 3n 5 ( 2r2r 3n 6 (r 2 3r 2 r 3n 5 (r 2 3r 2r 3n 5 ( 2r 2r 3n 4 (r 1r 3n 6 (r 2 3r 2 r 3n 4 (r 1r 3n 5 (r 3 3r 2r 3n 4 (r 1r 3n 6 (r 2 3r 2 r 3n 4 (r 1r 3n 5 (r 2 3r 2r 3n 5 ( 2r2 r 3n 6 (r 2 3r 2r 3n 5 (r 2 3r 2r 3n 6 (r 2 3r 2 r 3n 4 (r 1r 3n 5 (r 2 3r 2r 3n 5 (r 2 3r 2 r 3n 5 (r 2 3r 2r 3n 4 (r 2 3r 2 r 3n 6 (2r 4 6r 3 28r 2 8r 12 α(2,2,1 α(2,1,2 α(1,2,2 I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( r 3n 4 ( 3r 3r 3n 4 ( 3r 3r 3n 5 ( 2r20 I ( I ( I ( I ( I ( r 3n 5 ( 2r 2r 3n 4 (r 1r 3n 5 ( 2r 2r 3n 4 ( 2r 2 r 3n 5 (r 2 3r 20r 3n 5 ( 2r 2r 3n 4 (r 1 r 3n 5 (r 3 3r 2r 3n 4 (r 1r 3n 5 (r 3 3r 2r 3n 4 (r 1 r 3n 5 (r 2 3r 2r 3n 3 (r 1r 3n 5 ( 2r 2r 3n 4 ( 2r 2 16

17 r 3n 5 (r 2 3r 2r 3n 4 (r 1r 3n 5 (r 2 3r 2r 3n 3 (r 1 r 3n 5 (r 2 3r 2r 3n 4 (r 2 3r 2r 3n 4 (r 2 3r 2 r 3n 5 (5r 3 7r 2 22r 24. Now, the element α(2,2,0 α(2,0,2 α(0,2,2 I ( and I ( I ( I ( I ( I ( I ( I ( I ( r 3n 4 ( 3r 30r 3n 4 ( 2r 20r 3n 5 (r 3 3r 2 r 3n 3 (r 1r 3n 4 ( 2r 2r 3n 3 (r 1r 3n 4 (r 2 3r 2 r 3n 5 (4r 3 12r 2 6r 2 α(2,1,1 α(1,1,2 α(1,2,1 I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( r 3n 3 ( r1r 3n 4 ( 3r 30r 3n 4 ( 3r 3r 3n 3 ( 3r 3 r 3n 4 ( 2r 20r 3n 4 ( 2r 2r 3n 3 (r 1r 3n 3 (r 1 0r 3n 5 (r 3 3r 20r 3n 4 ( 2r 2r 3n 3 (r 1 r 3n 5 (r 3 3r 2r 3n 3 (r 1r 3n 3 (r 2 10r 3n 4 ( 2r 2 r 3n 3 (r 1r 3n 4 ( 2r 2r 3n 3 ( 2r 2r 3n 4 (r 2 3r 2 r 3n 3 (r 1r 3n 4 (r 2 3r 2r 3n 2 (r 1 r 3n 5 (2r 4 3r 3 23r 2 14r 4. We also obtain α(2,1,0 α(0,1,2 α(0,2,1 α(2,0,1 α(1,0,2 α(1,2,0 I ( I ( I ( I ( I ( I ( I ( I ( I ( r 3n 3 ( r1r 3n 3 ( 3r 30 r 3n 3 (r 10r 3n 3 (r 2 10r 3n 3 ( 2r 2r 3n 2 (r 1 r 3n 3 (2r 2 6r 4. 17

18 ere, we get α(2,0,0 α(0,0,2 α(2,0,0 I ( r 3n 2 ( r1r 3n 2 (r 10 0 and we can also get I ( I ( α(1,1,1 I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( I ( 0r 3n 3 ( r 1r 3n 3 (r 1r 3n 3 ( r 1r 3n 3 ( 3r 3 0r 3n 3 (r 10r 3n 3 (r 2 1r 3n 3 ( r1 r 3n 3 ( 3r 30r 3n 3 ( 3r 3r 3n 2 ( 3r 3r 3n 3 ( 2r 2 0r 3n 3 ( 2r2r 3n 2 (r 1r 3n 3 (r 10 r 3n 3 (r 2 10r 3n 3 ( 2r 2r 3n 2 (r 1r 3n 3 (r 2 1 r 3n 2 (r 1r 3n 2 (r 2 1 r 3n 3 (r 3 3r 2 16r 12. For the element α(1,1,0 α(1,0,1 α(0,1,1 I ( I ( I ( I ( I ( I ( I ( I ( I ( 0r 3n 2 ( r1r 3n 2 (r 1r 3n 2 ( r 1r 3n 2 ( 3r 3 0r 3n 2 (r 10r 3n 2 (r 2 1 r 3n 2 (r 2 3r 2 and α(1,0,0 α(0,0,1 α(0,1,0 I ( I ( 0r 3n 2 ( r 1r 3n 1 ( r1r 3n 1 (r 1 0. Finally, we have α(0,0,0 I ( 0 At this moment we can prove the theorem 1.2 : I ( 18

19 Proof (Theorem GS inequality for the Potts model The study of the signal of the quantity 2 m i (J,B B j B k is related to the signal of I(J,B (see equation (7. By the separation formula the signal of I(J, B is defined by the signal of the polynomial 2 if o p / O 2 a(p,1 a(p,2 a(p,3 0 n(p 1,n(p 2,n(p 3 I AX n(p 1 p 1 X n(p 2 p 2 X n(p 3 p 3 α(n(p 1,n(p 2,n(p 3X n(p 1 p 1 X n(p 2 p 2 X n(p 3 p 3 (18 But we can easily verify that the coefficients α(n(p 1,n(p 2,n(p 3 are all of them non positive if r 2 and are all of them non-negative if r 3. References [1] WuF., The Potts model. Reviewof modern Physics. Volume 54, Number 1, [2] Chang S. and Shrock R., Some exact results on the Potts model partition function in a magnetic field. J Phys. A: Math. Theor. Volume 42,Number 38, [3] Botirov G. and Rozikov U. Potts model with competing interactions on the Cayley tree: The contour method. Teoret. Mat. Fiz.,Volume 153, Number 1, 2007 pp [4] Chang S. and Shrock R., Structural properties of Potts model partition functions and chromatic polynomials for lattice strips. Physica A: Statistical Mechanics and its Applications. Volume 296, Number 1-2,2001, pp [5] Robert B. Griffths,C.A. urst,s. Sherman, Concavity of Magnetization of an Ising Ferromagnetic in a Positive External Field. Journal of Mathematical Physics. Volume 11, Number 3,1970, pp [6] Ellis R and Monroe J., A simple proof of the GS and further inequalities. Commun. math. Phys.. Volume 41,1975, pp [7] Lebowitz J., GS and other inequalities. Commun. math. Phys.. Volume 35, 1974, pp [8] Ellis R., Concavity of magnetization for a class of even ferromagnets. Bulletim of the American Mathematical Society. Volume 81, Number 5,1975, pp [9] Ellis R., Monroe J. and Newman C., The GS and other Correlation Inequalities for a class of even ferromagnets. Commun. math. Phys.. Volume 46, 1976, pp