統計力学において6頂点モデル（英: Six-vertex model）または氷型モデル（英: Ice-type model）は、水素結合を持つ結晶格子の頂点モデルのファミリーである。 最初のモデルは、氷の残留エントロピーを説明するために 1935 年にライナス・ポーリングによって導入された [1]。 特定の強誘電体 [2] および反強誘電体 [3] 結晶にとって、異なるモデルも提案されている。
1967 年、エリオット・リーブは、「正方形の氷」として知られる 2 次元の氷モデルの厳密解を発見した。 3 次元における厳密解は、特別な「凍結」状態についてのみ知られている。
