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.
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.
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) — more general patterns this builds on
-
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 → Constraint
Neighborhood in Abstraction Space¶
Ice-Type Model sits in a sparse region of the domain-specific corpus (89th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Graph Density, Distance & Planarity (11 abstractions)
Nearest neighbors
- Dynamical mean-field theory — 0.80
- Cubic Graph — 0.80
- Aztec Diamond — 0.80
- Higher spin alternating sign matrix — 0.78
- Ahlswede–Daykin inequality — 0.78
Computed from structural-signature embeddings · 2026-09-08