Functional equations for the sos model with competing interactions on a Cayley tree

Functional equations for the SOS model with competing interactions on a Cayley tree


Raxmatullayev MuzaffarMuxammadjanovich, DSc, professor,
[e-mail]
Institute of Mathematics named after V.I. Romanovsky
of the Academy of Sciences of the Republic of Uzbekistan,Tashkent, Uzbekistan
Karshiboev Obid Sherkul ugli, PhD student,
[e-mail]
Chirchik state pedagogical university,Chirchik, Uzbekistan
Ergashev Azizbek Alisherovich, Master’s student,
Kokand state pedagogical institute named after Mukimiy, Kokand, Uzbekistan

In this work, we consider a SOS (solid-on-solid) model with nearest-neighbour and one-level second competing interactions on the Cayley tree of order two (see [1] and references therein for more details about SOS models on trees). We obtain a system of functional equations for this model, which each solution of the system corresponds to a limiting Gibbs measure.

The Cayley tree of order is an infinite tree, i.e., a cycles-free graph such that from each vertex of which issues exactly edges. We denote by the set of the vertices of tree and by the set of edges of tree. The distance on this tree, denoted by , is defined as the number of nearest-neighbour pairs of the minimal path between the vertices and (where path is a collection of nearest neighbour pairs, two consecutive pairs sharing at least a given vertex). For a fixed called the root, we set

and the set of direct successors of is denoted by

We observe that, for any vertex has direct successors and has The vertices and are called second neighbors which is denoted by if there exists a vertex such that and are nearest neighbors. We consider a semi-infinite Cayley of order i.e. a cycles-free graph with edges issuing from each except and with edges issuing from the vertex which is called the root. According to well-known theorems, this can be reconstituted as a Cayley tree [1,2,3]. The second neighbors is called one-level neighbors, if vertices and belong to for some , that is if they situated on the same level. We will consider only one-level second neigbours. In the SOS model, spin variables take their values on a discrete set which are associated with each vertex of the tree. The SOS model with competing two binary interactions is defined by the following Hamiltonian:

where the sum in the first term ranges all nearest neighbours, second sum ranges all one-level second neighbours, and
Let be a finite subset of . Denote by the restriction of to and let be a fixed boundary configuration. The total energy of under condition is defined as

Then partition function in volume boundary condition is defined as

where is the set of all configurations in volume and is the inverse of temperature.
We consider the configuration and the partitions functions in volume and for the sake of simplicity, we denote them as and , respectively. The partitions functions can be written as follows:
(1)

where
(2)

We will restrict ourselves to the case and
Denote

Let If and then from (1) and (2), we have

After denoting we have the system of recurrent equations:

If and then
(3)
We have the following result:
Theorem 1. There is a bijection between the solutions of the system of nonlinear equations (3) and translation-invariant Gibbs measures.


References.
1. Rozikov U. A. Gibbs measures on Cayley trees. // World scientific. – 2013.
2. Georgii H.-O. Gibbs measures and phase transitions // W. de Gruyter. –1988.
3. Ganikhodjaev N., Akin H., Temir S. Potts model with two competing binary interactions.// Turk J. Math. –2007. V 31. – pp. 229-238.