Ice-Type Model¶

Model a four-coordinated lattice with arrow variables constrained to two-in/two-out at every vertex, then weight the six allowed local configurations to derive global statistical behavior.

Version: v3 · 2026-09-19 · History
Domain-specific #: 2037
Domain group: Natural Sciences
Origin domain: Physics
Subdomain: Statistical Mechanics → Physics
Aliases: Six-vertex model, Ice model

Core Idea¶

An ice-type or six-vertex model assigns an arrow to every edge of a four-coordinated lattice and permits only vertices with two arrows entering and two leaving. Exactly six local arrow configurations satisfy this ice rule. Assigning an energy or Boltzmann weight to each allowed vertex makes the weight of a global configuration the product of its local weights, subject to edge consistency and boundary conditions.

The model originated in hydrogen-bond ordering in ice and also describes ferroelectric systems, lattice flows, and combinatorial objects. Its importance lies in the interaction of local conservation with global compatibility: independently legal vertices cannot be chosen arbitrarily because a shared edge carries one arrow.

How would you explain it like I'm…

Two-In, Two-Out Arrows

Picture a grid of streets where four roads meet at every corner. Each road gets a one-way arrow. The rule is that at every corner, two arrows must point in and two must point out. Because neighboring corners share a road, you can't choose each corner by itself; they all have to fit together.

The Ice Rule Arrow Puzzle

The ice-type model puts an arrow on every line of a grid where four lines meet at each point. The "ice rule" says every meeting point must have exactly two arrows coming in and two going out. There are exactly six ways to do that, which is why it's also called the six-vertex model. Each line is shared by two points, so you can't choose each point's pattern on its own. The patterns have to fit together. The idea first came from how hydrogen atoms are arranged in ice.

Six-Vertex Ice Rule Model

The ice-type model, also called the six-vertex model, puts an arrow on every edge of a lattice where each vertex has four edges. The ice rule requires two arrows in and two arrows out at every vertex, which allows exactly six local configurations. Each allowed vertex type gets an energy, or Boltzmann weight, and a whole configuration's weight is the product of its vertex weights. Since each edge is shared by two vertices, the local choices are coupled, and the boundary conditions matter. Adding up the weights of all valid global configurations gives the partition function, which determines phase behavior. It began as a model of how hydrogen bonds are arranged in ice, and it also describes ferroelectrics and lattice flows.

The ice-type, or six-vertex, model is a lattice model in statistical mechanics defined on a four-coordinated lattice. Each edge carries an orientation, and each vertex must satisfy the ice rule: two incoming and two outgoing arrows. This is a local conservation law that admits exactly six vertex configurations. Assigning a Boltzmann weight to each vertex type makes the weight of a global configuration the product of its local weights, subject to edge consistency and boundary conditions. The partition function sums these weights over all globally admissible configurations. Its richness comes from the tension between local legality and global compatibility, because a shared edge carries a single arrow. The model originated in hydrogen-bond ordering in water ice, and it also applies to ferroelectrics, lattice flows, and combinatorial objects. Phase behavior depends on the weights, lattice, temperature, and boundaries.

Scope of Application¶

Ice-type models are literal statistical-mechanical and combinatorial models on four-coordinated lattices satisfying local arrow conservation.

Water-ice entropy. Modeling proton configurations under local bonding rules.
Ferroelectric crystals. Representing ordered and disordered polarization phases.
Integrable systems. Solving selected two-dimensional weight regimes by transfer matrices and Bethe ansatz.
Combinatorics. Counting Eulerian orientations and alternating-sign-matrix-related configurations under special boundaries.
Lattice flows. Interpreting arrows as divergence-free discrete currents.
Phase-transition theory. Studying how local weights select ferroelectric, antiferroelectric, and disordered regimes.

Clarity¶

Specify lattice, finite region, edge orientation convention, six local states, weight symmetries, temperature parameterization, and boundary conditions. Distinguish physical proton interpretation from the abstract arrow model. State whether a result concerns state counting, exact partition function, correlation, or thermodynamic phase, and whether it assumes the integrable weight relation.

Manages Complexity¶

The model reduces a many-body material to binary edge variables and one local conservation rule while retaining nontrivial collective order. Transfer matrices and exact-solvability tools then become available. The reduction hides lattice defects, long-range forces, atomic motion, and boundary sensitivity; results transfer to physical ice only within the model's justified regime.

Abstract Reasoning¶

Choose a four-coordinated lattice and boundary.
Assign an arrow variable to each edge.
Restrict every vertex to two-in/two-out configurations.
Assign local energies or Boltzmann weights.
Enforce shared-edge consistency across the lattice.
Enumerate or algebraically sum admissible global states.
Take the thermodynamic limit under a declared boundary regime.
Relate phases or correlations back to the physical or combinatorial interpretation.

Knowledge Transfer¶

The strict parent is Constraint: one local rule eliminates most configurations and shapes the global ensemble. Local Sequence Legality is related but its native substrate is ordered short windows, whereas ice rules act on graph vertices. The six-vertex model remains statistical-mechanical and graph-based.

Constraint is the strict parent because the two-in/two-out rule eliminates most local arrow assignments and couples admissibility across shared edges. The transferable pattern is local conservation constraint + compatible gluing → structured global ensemble.

Relationships to Other Abstractions¶

Current abstraction Ice-Type Model Domain-specific

Parents (1) — outgoing typed relations

Ice-Type Model is a kind of Constraint Prime

Constraint is the strict parent because the ice rule restricts local possibilities and thereby organizes every global outcome.

Hierarchy path (1) — routes to 1 parentless root

Ice-Type Model → is a kind of Constraint

Neighborhood in Abstraction Space¶

Ice-Type Model sits in a sparse region of the domain-specific corpus (87^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (2769 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-10-25