|
|
| Line 1: |
Line 1: |
| In [[statistical mechanics]], the '''ice-type models''' or '''six-vertex models''' are a family of [[vertex model]]s 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.<ref name="pauling">L. Pauling, Jour. American Chem. Soc. '''57''', p.2680 (1935),</ref> Variants have been proposed as models of certain [[ferroelectric]]<ref name="slater">J. C. Slater, Jour. Chemi. Phys. '''9''', p.16 (1941)</ref> and [[antiferroelectric]]<ref name="rys">F. Rys, Helv. Phys. Acta. '''36''', p.537 (1963)</ref> crystals.
| | It involves expertise and knowledge of various tools and technologies used for creating websites. Also, you may want to opt for a more professioanl theme if you are planning on showing your site off to a high volume of potential customers each day. SEO Ultimate - I think this plugin deserves more recognition than it's gotten up till now. Keep reading for some great Word - Press ideas you can start using today. You can customize the appearance with PSD to Word - Press conversion ''. <br><br>purcase and download - WPZOOM Tribune wordpress Theme, find and use the WPZOOM Discount Code. WPTouch is among the more well known Word - Press smartphone plugins which is currently in use by thousands of users. This plugin allows a blogger get more Facebook fans on the related fan page. E-commerce websites are meant to be buzzed with fresh contents, graphical enhancements, and functionalities. By using Word - Press, you can develop very rich, user-friendly and full-functional website. <br><br>ve labored so hard to publish and put up on their website. When you have any questions regarding exactly where in addition to the best way to work with [http://snipitfor.me/backup_plugin_3858228 wordpress backup], you are able to contact us with the web-page. The following piece of content is meant to make your choice easier and reassure you that the decision to go ahead with this conversion is requited with rich benefits:. Are you considering getting your website redesigned. Our skilled expertise, skillfulness and excellence have been well known all across the world. Article Source: Stevens works in Internet and Network Marketing. <br><br>Digg Digg Social Sharing - This plugin that is accountable for the floating social icon located at the left aspect corner of just about every submit. This plugin allows a webmaster to create complex layouts without having to waste so much time with short codes. Thus it is difficult to outrank any one of these because of their different usages. If you are looking for Hire Wordpress Developer then just get in touch with him. If your blog employs the permalink function, This gives your SEO efforts a boost, and your visitors will know firsthand what's in the post when seeing the URL. <br><br>Under Settings —> Reading, determine if posts or a static page will be your home page, and if your home page is a static page, what page will contain blog posts. By using Word - Press MLM websites or blogs, an online presence for you and your MLM company can be created swiftly and simply. It can be concluded that white label SEO comprise of a third party who resells a contract involving IT expert or consultant, SEO professional and end user. Word - Press is the most popular personal publishing platform which was launched in 2003. However, if you're just starting out your blog site or business site, you can still search for an ideal theme for it without breaking your bank account. |
| | |
| In 1967, [[Elliott H. Lieb]] found the [[exactly solvable model|exact solution]] to a two-dimensional ice model known as "square ice".<ref name="lieba">E. H. Lieb, Physical Review '''162''', 162-172 (1967)</ref> The exact solution in three dimensions is only known for a special "frozen" state.<ref name="nagle1969">J. F. Nagle, Communications in Mathematical Physics, '''13''', 62-7 (1969)</ref>
| |
| | |
| ==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 [[Ice Ih|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:
| |
| | |
| :[[File:Sixvertex2.png|500px]]
| |
| | |
| 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 <math>E</math> is given by
| |
| | |
| :<math> E = n_1\epsilon_1 + n_2\epsilon_2 + \ldots + n_6\epsilon_6 </math>
| |
| | |
| for some constants <math>\epsilon_1,\ldots,\epsilon_6</math>, where <math>n_i</math> here denotes the number of vertices with the <math>i</math>th configuration from the above figure. The value <math>\epsilon_i</math> is the energy associated with vertex configuration number <math>i</math>.
| |
| | |
| One aims to calculate the [[partition function (statistical mechanics)|partition function]] <math>Z</math> of an ice-type model, which is given by the formula
| |
| | |
| :<math> Z = \sum \exp(-E/k_BT), </math>
| |
| | |
| where the sum is taken over all states of the model, <math>E</math> is the energy of the state, <math>k_B</math> is [[Boltzmann's constant]], and <math>T</math> is the system's temperature.
| |
| | |
| Typically, one is interested in the [[thermodynamic limit]] in which the number <math>N</math> of vertices approaches infinity. In that case, one instead evaluates the '''free energy per vertex''' <math>f</math> in the limit as <math>N\to \infty</math>, where <math>f</math> is given by
| |
| | |
| :<math> f = -k_BT N^{-1}\log Z.</math>
| |
| | |
| Equivalently, one evaluates the '''partition function per vertex''' <math>W</math> in the thermodynamic limit, where
| |
| | |
| :<math>W=Z^{1/N}</math>
| |
| | |
| The values <math>f</math> and <math>W</math> are related by
| |
| | |
| :<math>f= -k_BT \log W.</math>
| |
| | |
| ==Physical justification==
| |
| Several real crystals with hydrogen bonds satisfy the ice model, including ice<ref name="pauling" /> and potassium dihydrogen phosphate {{chem|KH|2}}{{chem|PO|4}}<ref name="slater" /> (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<ref name="pauling" /> 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, {{chem|H|2}}{{chem|O}}. 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 <math>\epsilon_1,\ldots,\epsilon_6</math> 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 <math>\epsilon_1=\epsilon_2=\ldots=\epsilon_6=0</math>, as all permissible vertex configurations are understood to be equally likely. In this case, the partition function <math>Z</math> 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<ref name="slater" /> argued that KDP could be represented by an ice-type model with energies
| |
| | |
| :<math> \epsilon_1=\epsilon_2=0, \epsilon_3=\epsilon_4=\epsilon_5=\epsilon_6>0</math>
| |
| | |
| 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 <math>F</math> model of an antiferroelectric===
| |
| The '''Rys <math>F</math> model'''<ref name="rys" /> is obtained by setting
| |
| | |
| :<math> \epsilon_1=\epsilon_2=\epsilon_3=\epsilon_4>0, \epsilon_5=\epsilon_6=0.</math>
| |
| | |
| 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
| |
| | |
| :<math> \epsilon_1=\epsilon_2, \quad \epsilon_3=\epsilon_4, \quad \epsilon_5=\epsilon_6</math>
| |
| | |
| 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.<ref>W. F. Giauque and J. W. Stout, Jour. American Chem. Soc., '''58''' (7), pp. 1144–1150 (1936)</ref> The residual entropy, <math> S </math>, of ice is given by the formula
| |
| | |
| :<math> S= k_B\log Z = k_B\, N \, \log W </math>
| |
| | |
| where <math> k_B </math> is [[Boltzmann's constant]], <math> N</math> is the number of oxygen atoms in the piece of ice, which is always taken to be large (the [[thermodynamic limit]]) and <math> Z=W^N </math> is the number of configurations of the hydrogen atoms according to Pauling's ice rule. Without the ice rule we would have <math> W =4 </math> since the number of hydrogen atoms is <math> 2N </math> and each hydrogen has two possible locations. Pauling estimated that the ice rule reduces this to <math> W =1.5 </math>, a number that would agree extremely well with the Giauque-Stout measurement of <math> S </math>. It can be said that Pauling's calculation of <math> S </math> 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 <math> W </math>, 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<ref>J. F. Nagle, Jour. Mathematical Physics '''7''', p.1484 (1966).</ref> who found that <math> W = 1.50685 \pm 0.00015</math> in three-dimensions and <math> W= 1.540 \pm0.001 </math> 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,<ref name="lieba" /> the Rys <math>F</math> model,<ref name="liebb">E. H. Lieb, Physical Review Letters '''18''', 692-694 (1967)</ref> and the KDP model.<ref name="liebc">E.H. Lieb, Physical Review Letters '''19''', 108-10 (1967)</ref> The solution for the ice model gave the exact value of <math> W </math> in two-dimensions as
| |
| | |
| :<math> W_{2D} = \left(\frac{4}{3}\right)^{3/2} = 1.5396007.... </math> | |
| | |
| 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.<ref>B. Sutherland, Physical Review Letters '''19''', 103-4 (1967)</ref>
| |
| | |
| Still later in 1967, C. P. Yang<ref name="yang1967">C. P. Yang, Physical Review Letters '''19''', 586-8 (1967)</ref> 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.<ref name="nagle1969" /> 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<ref name="nagle1969" /> and Yang's solution of the six-vertex model in a horizontal field.<ref name="yang1967" />
| |
| | |
| ==Boundary conditions==
| |
| This ice model provide an important 'counterexample' in statistical mechanics:
| |
| the bulk free energy in the [[thermodynamic limit]] depends on boundary conditions.<ref>V. Korepin, P. Zinn-Justin, Thermodynamic limit of the Six-Vertex Model with Domain Wall Boundary Conditions, Jour. Phys. A 33 No. 40 (2000), 7053, see also [http://arxiv.org/pdf/cond-mat/0004250]</ref> 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
| |
| <math>W</math> does not come out in such a simple closed form.
| |
| | |
| Domain wall gives the smallest <math>W</math> . Clearly, the largest <math>W</math>
| |
| is given by ''free'' boundary conditions (no constraint at all on the configurations on the boundary), but the same <math>W</math> occurs, in the thermodynamic limit, for periodic boundary conditions,<ref>H. J. Brascamp and H. Kunz, Jour. Mathematical Physics '''14''', p.1927 (1973); {{doi|10.1063/1.1666271}}</ref> as used originally to derive <math>W_{2D}</math>.
| |
| | |
| ==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==
| |
| {{Reflist}}
| |
| | |
| ==Further reading==
| |
| * {{Citation| last1=Lieb|first1=E.H.|last2=Wu|first2=F.Y.|chapter=Two Dimensional Ferroelectric Models|title=[[Phase Transitions and Critical Phenomena]]|editor1= C. Domb|editor2=M. S. Green|volume=1|publisher=Academic Press|location=New York|pages=331–490|year=1972}}
| |
| *{{Citation | authorlink=Rodney J. Baxter | last1=Baxter | first1=Rodney J. | title=Exactly solved models in statistical mechanics | url=http://physics.anu.edu.au/theophys/_files/Exactly.pdf| publisher=Academic Press Inc. [Harcourt Brace Jovanovich Publishers] | location=London | isbn=978-0-12-083180-7 | id={{MathSciNet | id = 690578}} | year=1982}}
| |
| | |
| [[Category:Exactly solvable models]]
| |
| [[Category:Statistical mechanics]]
| |
| [[Category:Lattice models]]
| |
It involves expertise and knowledge of various tools and technologies used for creating websites. Also, you may want to opt for a more professioanl theme if you are planning on showing your site off to a high volume of potential customers each day. SEO Ultimate - I think this plugin deserves more recognition than it's gotten up till now. Keep reading for some great Word - Press ideas you can start using today. You can customize the appearance with PSD to Word - Press conversion .
purcase and download - WPZOOM Tribune wordpress Theme, find and use the WPZOOM Discount Code. WPTouch is among the more well known Word - Press smartphone plugins which is currently in use by thousands of users. This plugin allows a blogger get more Facebook fans on the related fan page. E-commerce websites are meant to be buzzed with fresh contents, graphical enhancements, and functionalities. By using Word - Press, you can develop very rich, user-friendly and full-functional website.
ve labored so hard to publish and put up on their website. When you have any questions regarding exactly where in addition to the best way to work with wordpress backup, you are able to contact us with the web-page. The following piece of content is meant to make your choice easier and reassure you that the decision to go ahead with this conversion is requited with rich benefits:. Are you considering getting your website redesigned. Our skilled expertise, skillfulness and excellence have been well known all across the world. Article Source: Stevens works in Internet and Network Marketing.
Digg Digg Social Sharing - This plugin that is accountable for the floating social icon located at the left aspect corner of just about every submit. This plugin allows a webmaster to create complex layouts without having to waste so much time with short codes. Thus it is difficult to outrank any one of these because of their different usages. If you are looking for Hire Wordpress Developer then just get in touch with him. If your blog employs the permalink function, This gives your SEO efforts a boost, and your visitors will know firsthand what's in the post when seeing the URL.
Under Settings —> Reading, determine if posts or a static page will be your home page, and if your home page is a static page, what page will contain blog posts. By using Word - Press MLM websites or blogs, an online presence for you and your MLM company can be created swiftly and simply. It can be concluded that white label SEO comprise of a third party who resells a contract involving IT expert or consultant, SEO professional and end user. Word - Press is the most popular personal publishing platform which was launched in 2003. However, if you're just starting out your blog site or business site, you can still search for an ideal theme for it without breaking your bank account.