Papyrus 65

In statistical mechanics, the ice-type models or six-vertex models are a family of vertex models for crystal lattices with hydrogen bonds. The first such model was introduced by Linus Pauling in 1935 to account for the residual entropy of water ice. Variants have been proposed as models of certain ferroelectric and antiferroelectric crystals.

In 1967, Elliott H. Lieb found the exact solution to a two-dimensional ice model known as "square ice". The exact solution in three dimensions is only known for a special "frozen" state.

Description

An ice-type model is a lattice model defined on a lattice of coordination number 4 - that is, each vertex of the lattice is connected by an edge to four "nearest neighbours". A state of the model consists of an arrow on each edge of the lattice, such that the number of arrows pointing inwards at each vertex is 2. This restriction on the arrow configurations is known as the ice rule.

For two-dimensional models, the lattice is taken to be the square lattice. For more realistic models, one can use a three-dimensional lattice appropriate to the material being considered; for example, the hexagonal ice lattice is used to analyse ice.

At any vertex, there are six configurations of the arrows which satisfy the ice rule (justifying the name "six-vertex model"). The valid configurations for the (two-dimensional) square lattice are the following:

The energy of a state is understood to be a function of the configurations at each vertex. For square lattices, one assumes that the total energy $E$ is given by

$E=n_{1}\epsilon _{1}+n_{2}\epsilon _{2}+\ldots +n_{6}\epsilon _{6}$

for some constants $\epsilon _{1},\ldots ,\epsilon _{6}$, where $n_{i}$ here denotes the number of vertices with the $i$th configuration from the above figure. The value $\epsilon _{i}$ is the energy associated with vertex configuration number $i$.

One aims to calculate the partition function $Z$ of an ice-type model, which is given by the formula

$Z=\sum \exp(-E/k_{B}T),$

where the sum is taken over all states of the model, $E$ is the energy of the state, $k_{B}$ is Boltzmann's constant, and $T$ is the system's temperature.

Typically, one is interested in the thermodynamic limit in which the number $N$ of vertices approaches infinity. In that case, one instead evaluates the free energy per vertex $f$ in the limit as $N\to \infty$, where $f$ is given by

$f=-k_{B}TN^{-1}\log Z.$

Equivalently, one evaluates the partition function per vertex $W$ in the thermodynamic limit, where

$W=Z^{1/N}$

The values $f$ and $W$ are related by

$f=-k_{B}T\log W.$

Physical justification

Several real crystals with hydrogen bonds satisfy the ice model, including ice and potassium dihydrogen phosphate Template:ChemTemplate:Chem (KDP). Indeed, such crystals motivated the study of ice-type models.

In ice, each oxygen atom is connected by a bond to four other oxygens, and each bond contains one hydrogen atom between the terminal oxygens. The hydrogen occupies one of two symmetrically located positions, neither of which is in the middle of the bond. Pauling argued that the allowed configuration of hydrogen atoms is such that there are always exactly two hydrogens close to each oxygen, thus making the local environment imitate that of a water molecule, Template:ChemTemplate:Chem. Thus, if we take the oxygen atoms as the lattice vertices and the hydrogen bonds as the lattice edges, and if we draw an arrow on a bond which points to the side of the bond on which the hydrogen atom sits, then ice satisfies the ice model.

Similar reasoning applies to show that KDP also satisfies the ice model.

Specific choices of vertex energies

On the square lattice, the energies $\epsilon _{1},\ldots ,\epsilon _{6}$ associated with vertex configurations 1-6 determine the relative probabilities of states, and thus can influence the macroscopic behaviour of the system. The following are common choices for these vertex energies.

The ice model

When modelling ice, one takes $\epsilon _{1}=\epsilon _{2}=\ldots =\epsilon _{6}=0$, as all permissible vertex configurations are understood to be equally likely. In this case, the partition function $Z$ equals the total number of valid states. This model is known as the ice model (as opposed to an ice-type model).

The KDP model of a ferroelectric

Slater argued that KDP could be represented by an ice-type model with energies

$\epsilon _{1}=\epsilon _{2}=0,\epsilon _{3}=\epsilon _{4}=\epsilon _{5}=\epsilon _{6}>0$

For this model (called the KDP model), the most likely state (the least-energy state) has all horizontal arrows pointing in the same direction, and likewise for all vertical arrows. Such a state is a ferroelectric state, in which all hydrogen atoms have a preference for one fixed side of their bonds.

Rys $F$ model of an antiferroelectric

The Rys $F$ model is obtained by setting

$\epsilon _{1}=\epsilon _{2}=\epsilon _{3}=\epsilon _{4}>0,\epsilon _{5}=\epsilon _{6}=0.$

The least-energy state for this model is dominated by vertex configurations 5 and 6. For such a state, adjacent horizontal bonds necessarily have arrows in opposite directions and similarly for vertical bonds, so this state is an antiferroelectric state.

The zero field assumption

If there is no ambient electric field, then the total energy of a state should remain unchanged under a charge reversal, i.e. under flipping all arrows. Thus one may assume without loss of generality that

$\epsilon _{1}=\epsilon _{2},\quad \epsilon _{3}=\epsilon _{4},\quad \epsilon _{5}=\epsilon _{6}$

This assumption is known as the zero field assumption, and holds for the ice model, the KDP model, and the Rys F model.

History

The ice rule was introduced by Linus Pauling in 1935 to account for the residual entropy of ice that had been measured by William F. Giauque and J. W. Stout. The residual entropy, $S$, of ice is given by the formula

$S=k_{B}\log Z=k_{B}\,N\,\log W$

where $k_{B}$ is Boltzmann's constant, $N$ is the number of oxygen atoms in the piece of ice, which is always taken to be large (the thermodynamic limit) and $Z=W^{N}$ is the number of configurations of the hydrogen atoms according to Pauling's ice rule. Without the ice rule we would have $W=4$ since the number of hydrogen atoms is $2N$ and each hydrogen has two possible locations. Pauling estimated that the ice rule reduces this to $W=1.5$, a number that would agree extremely well with the Giauque-Stout measurement of $S$. It can be said that Pauling's calculation of $S$ for ice is one of the simplest, yet most accurate applications of statistical mechanics to real substances ever made. The question that remained was whether, given the model, Pauling's calculation of $W$, which was very approximate, would be sustained by a rigorous calculation. This became a significant problem in combinatorics.

Both the three-dimensional and two-dimensional models were computed numerically by John F. Nagle in 1966 who found that $W=1.50685\pm 0.00015$ in three-dimensions and $W=1.540\pm 0.001$ in two-dimensions. Both are amazingly close to Pauling's rough calculation, 1.5.

In 1967, Lieb found the exact solution of three two-dimensional ice-type models: the ice model, the Rys $F$ model, and the KDP model. The solution for the ice model gave the exact value of $W$ in two-dimensions as

$W_{2D}=\left({\frac {4}{3}}\right)^{3/2}=1.5396007....$

which is known as Lieb's square ice constant.

Later in 1967, Bill Sutherland generalised Lieb's solution of the three specific ice-type models to a general exact solution for square-lattice ice-type models satisfying the zero field assumption.

Still later in 1967, C. P. Yang generalised Sutherland's solution to an exact solution for square-lattice ice-type models in a horizontal electric field.

In 1969, John Nagle derived the exact solution for a three-dimensional version of the KDP model, for a specific range of temperatures. For such temperatures, the model is "frozen" in the sense that (in the thermodynamic limit) the energy per vertex and entropy per vertex are both zero. This is the only known exact solution for a three-dimensional ice-type model.

Relation to eight-vertex model

The eight-vertex model, which has also been exactly solved, is a generalisation of the (square-lattice) six-vertex model: to recover the six-vertex model from the eight-vertex model, set the energies for vertex configurations 7 and 8 to infinity. Six-vertex models have been solved in some cases for which the eight-vertex model has not; for example, Nagle's solution for the three-dimensional KDP model and Yang's solution of the six-vertex model in a horizontal field.

Boundary conditions

This ice model provide an important 'counterexample' in statistical mechanics: the bulk free energy in the thermodynamic limit depends on boundary conditions. The model was analytically solved for periodic boundary conditions, anti-periodic, ferromagnetic and domain wall boundary conditions. Six vertex model with domain wall boundary conditions on a square lattice has specific significance for algebraic combinatorics, it helps to enumerate Alternating sign matrix. In this case the partition function can be represented as a determinant of a matrix (dimension of the matrix is equal to the size of the lattice), but in the other cases the enumeration of $W$ does not come out in such a simple closed form.

Domain wall gives the smallest $W$ . Clearly, the largest $W$ is given by free boundary conditions (no constraint at all on the configurations on the boundary), but the same $W$ occurs, in the thermodynamic limit, for periodic boundary conditions, as used originally to derive $W_{2D}$.

3-colorings of a lattice

The number of states of an ice type model on the internal edges of a finite simply connected union of squares of a lattice is equal to one third of the number of ways to 3-color the squares, with no two adjacent squares having the same color. This correspondence between states is due to Andrew Lenard and is given as follows. If a square has color i = 0, 1, or 2, then the arrow on the edge to an adjacent square goes left or right (according to an observer in the square) depending on whether the color in the adjacent square is i+1 or i−1 mod 3. There are 3 possible ways to color a fixed initial square, and once this initial color is chosen this gives a 1:1 correspondence between colorings and arrangements of arrows satisfying the ice-type condition.

See also

• Eight-vertex model

Notes

43 year old Petroleum Engineer Harry from Deep River, usually spends time with hobbies and interests like renting movies, property developers in singapore new condominium and vehicle racing. Constantly enjoys going to destinations like Camino Real de Tierra Adentro.

Further reading

• Many property agents need to declare for the PIC grant in Singapore. However, not all of them know find out how to do the correct process for getting this PIC scheme from the IRAS. There are a number of steps that you need to do before your software can be approved.
  
  Naturally, you will have to pay a safety deposit and that is usually one month rent for annually of the settlement. That is the place your good religion deposit will likely be taken into account and will kind part or all of your security deposit. Anticipate to have a proportionate amount deducted out of your deposit if something is discovered to be damaged if you move out. It's best to you'll want to test the inventory drawn up by the owner, which can detail all objects in the property and their condition. If you happen to fail to notice any harm not already mentioned within the inventory before transferring in, you danger having to pay for it yourself.
  
  In case you are in search of an actual estate or Singapore property agent on-line, you simply should belief your intuition. It's because you do not know which agent is nice and which agent will not be. Carry out research on several brokers by looking out the internet. As soon as if you end up positive that a selected agent is dependable and reliable, you can choose to utilize his partnerise in finding you a home in Singapore. Most of the time, a property agent is taken into account to be good if he or she locations the contact data on his website. This may mean that the agent does not mind you calling them and asking them any questions relating to new properties in singapore in Singapore. After chatting with them you too can see them in their office after taking an appointment.
  
  Have handed an trade examination i.e Widespread Examination for House Brokers (CEHA) or Actual Property Agency (REA) examination, or equal; Exclusive brokers are extra keen to share listing information thus making certain the widest doable coverage inside the real estate community via Multiple Listings and Networking. Accepting a severe provide is simpler since your agent is totally conscious of all advertising activity related with your property. This reduces your having to check with a number of agents for some other offers. Price control is easily achieved. Paint work in good restore-discuss with your Property Marketing consultant if main works are still to be done. Softening in residential property prices proceed, led by 2.8 per cent decline within the index for Remainder of Central Region
  
  Once you place down the one per cent choice price to carry down a non-public property, it's important to accept its situation as it is whenever you move in – faulty air-con, choked rest room and all. Get round this by asking your agent to incorporate a ultimate inspection clause within the possibility-to-buy letter. HDB flat patrons routinely take pleasure in this security net. "There's a ultimate inspection of the property two days before the completion of all HDB transactions. If the air-con is defective, you can request the seller to repair it," says Kelvin.
  
  15.6.1 As the agent is an intermediary, generally, as soon as the principal and third party are introduced right into a contractual relationship, the agent drops out of the image, subject to any problems with remuneration or indemnification that he could have against the principal, and extra exceptionally, against the third occasion. Generally, agents are entitled to be indemnified for all liabilities reasonably incurred within the execution of the brokers´ authority.
  
  To achieve the very best outcomes, you must be always updated on market situations, including past transaction information and reliable projections. You could review and examine comparable homes that are currently available in the market, especially these which have been sold or not bought up to now six months. You'll be able to see a pattern of such report by clicking here It's essential to defend yourself in opposition to unscrupulous patrons. They are often very skilled in using highly unethical and manipulative techniques to try and lure you into a lure. That you must also protect your self, your loved ones, and personal belongings as you'll be serving many strangers in your home. Sign a listing itemizing of all of the objects provided by the proprietor, together with their situation. HSR Prime Recruiter 2010
• Many property agents need to declare for the PIC grant in Singapore. However, not all of them know find out how to do the correct process for getting this PIC scheme from the IRAS. There are a number of steps that you need to do before your software can be approved.
  
  Naturally, you will have to pay a safety deposit and that is usually one month rent for annually of the settlement. That is the place your good religion deposit will likely be taken into account and will kind part or all of your security deposit. Anticipate to have a proportionate amount deducted out of your deposit if something is discovered to be damaged if you move out. It's best to you'll want to test the inventory drawn up by the owner, which can detail all objects in the property and their condition. If you happen to fail to notice any harm not already mentioned within the inventory before transferring in, you danger having to pay for it yourself.
  
  In case you are in search of an actual estate or Singapore property agent on-line, you simply should belief your intuition. It's because you do not know which agent is nice and which agent will not be. Carry out research on several brokers by looking out the internet. As soon as if you end up positive that a selected agent is dependable and reliable, you can choose to utilize his partnerise in finding you a home in Singapore. Most of the time, a property agent is taken into account to be good if he or she locations the contact data on his website. This may mean that the agent does not mind you calling them and asking them any questions relating to new properties in singapore in Singapore. After chatting with them you too can see them in their office after taking an appointment.
  
  Have handed an trade examination i.e Widespread Examination for House Brokers (CEHA) or Actual Property Agency (REA) examination, or equal; Exclusive brokers are extra keen to share listing information thus making certain the widest doable coverage inside the real estate community via Multiple Listings and Networking. Accepting a severe provide is simpler since your agent is totally conscious of all advertising activity related with your property. This reduces your having to check with a number of agents for some other offers. Price control is easily achieved. Paint work in good restore-discuss with your Property Marketing consultant if main works are still to be done. Softening in residential property prices proceed, led by 2.8 per cent decline within the index for Remainder of Central Region
  
  Once you place down the one per cent choice price to carry down a non-public property, it's important to accept its situation as it is whenever you move in – faulty air-con, choked rest room and all. Get round this by asking your agent to incorporate a ultimate inspection clause within the possibility-to-buy letter. HDB flat patrons routinely take pleasure in this security net. "There's a ultimate inspection of the property two days before the completion of all HDB transactions. If the air-con is defective, you can request the seller to repair it," says Kelvin.
  
  15.6.1 As the agent is an intermediary, generally, as soon as the principal and third party are introduced right into a contractual relationship, the agent drops out of the image, subject to any problems with remuneration or indemnification that he could have against the principal, and extra exceptionally, against the third occasion. Generally, agents are entitled to be indemnified for all liabilities reasonably incurred within the execution of the brokers´ authority.
  
  To achieve the very best outcomes, you must be always updated on market situations, including past transaction information and reliable projections. You could review and examine comparable homes that are currently available in the market, especially these which have been sold or not bought up to now six months. You'll be able to see a pattern of such report by clicking here It's essential to defend yourself in opposition to unscrupulous patrons. They are often very skilled in using highly unethical and manipulative techniques to try and lure you into a lure. That you must also protect your self, your loved ones, and personal belongings as you'll be serving many strangers in your home. Sign a listing itemizing of all of the objects provided by the proprietor, together with their situation. HSR Prime Recruiter 2010