[论文解读] Colored five-vertex models and Demazure atoms

Ben Brubaker, Valentin Buciumas+2 more|arXiv (Cornell University)|Feb 5, 2019

Algebraic structures and combinatorial models参考文献 45被引用 4

一句话总结

本文建立了彩色五顶点冰模型与李代数的最高权表示的晶体基中德马胡尔原子之间的双射关系。通过使用彩色自旋和顶点权重，证明了彩色模型的划分函数可分解为由韦尔群元素索引的分量，每个分量通过施吕茨恩伯格对合对应于一个德马胡尔原子。关键结果是通过统计力学模型实现了德马胡尔原子的组合实现。

ABSTRACT

Type A Demazure atoms are pieces of Schur functions, or sets of tableaux whose weights sum to such functions. Inspired by colored vertex models of Borodin and Wheeler, we will construct solvable lattice models whose partition functions are Demazure atoms; the proof of this makes use of a Yang-Baxter equation for a colored five-vertex model. As a biproduct, we construct Demazure atoms on Kashiwara's $\mathcal{B}_\infty$ crystal and give new algorithms for computing Lascoux-Schützenberger keys.

研究动机与目标

• 建立彩色五顶点模型与晶体基中德马胡尔原子之间的组合对应关系。
• 通过韦尔群元素与陪集代表元对德马胡尔原子进行索引，深化对其理解。
• 通过带有彩色边的顶点模型，提供德马胡尔原子分解的统计力学实现。
• 证明在晶体映射下，彩色冰态的像通过施吕茨恩伯格对合精确对应于德马胡尔原子。

提出的方法

• 使用一种彩色五顶点模型，其中边携带自旋和颜色，权重由图 LABEL:coloredweights 定义。
• 基于相邻彩色自旋和顶点权重，应用确定性着色规则对 $-$ 自旋进行处理，确保顶点处颜色守恒。
• 证明每个彩色态属于唯一一个由 $w \in W$ 索引的分量 $\mathfrak{S}_{\mathbf{z},\lambda,w}$，其中 $W$ 为韦尔群。
• 建立从彩色冰态 $\mathfrak{s}$ 到晶体 $\mathcal{B}_\lambda$ 的映射 $\mathfrak{s} \mapsto \mathfrak{T}(\mathfrak{s})'$。
• 利用施吕茨恩伯格对合 $v \mapsto v'$ 和映射 $\omega$，将韦尔群元素 $w$ 与态的像联系起来。
• 证明 $\mathfrak{s} \in \mathfrak{S}_{\mathbf{z},\lambda,w}$ 当且仅当 $w_0 \omega(\mathfrak{T}(\mathfrak{s})') = w$，从而将模型与德马胡尔原子联系起来。

实验结果

研究问题

• RQ1 如何通过统计力学模型组合实现晶体基中的德马胡尔原子？
• RQ2 在德马胡尔原子的背景下，彩色冰态与韦尔群元素之间的确切对应关系是什么？
• RQ3 施吕茨恩伯格对合如何将彩色冰模型的态空间与德马胡尔原子分解联系起来？
• RQ4 彩色五顶点模型的划分函数能否被分解为由韦尔群元素索引的分量，每个分量对应一个德马胡尔原子？
• RQ5 杨-巴克斯方程在确保彩色顶点模型的一致性及其与可积性关系中起什么作用？

主要发现

• 彩色五顶点模型的划分函数可分解为 $Z(\mathfrak{S}_{\mathbf{z},\lambda}) = \sum_{w \in W} Z(\mathfrak{S}_{\mathbf{z},\lambda,w})$，表明其直接分解为由韦尔群索引的分量。
• 每个彩色冰态属于唯一的 $\mathfrak{S}_{\mathbf{z},\lambda,w}$，其着色由顶点规则和颜色守恒唯一确定。
• 映射 $\mathfrak{s} \mapsto \mathfrak{T}(\mathfrak{s})'$ 将 $\mathfrak{S}_{\mathbf{z},\lambda,w}$ 双射地映射到德马胡尔原子 $\mathcal{B}_\lambda^\circ(w)$，从而建立组合同构。
• 条件 $w_0 \omega(\mathfrak{T}(\mathfrak{s})') = w$ 刻画了态 $\mathfrak{s}$ 属于 $\mathfrak{S}_{\mathbf{z},\lambda,w}$ 的成员资格，提供了一种算法判别准则。
• 彩色模型满足杨-巴克斯方程，确保了不同顶点构型下划分函数的一致性与可积性。
• 证明依赖于有限情况分析（4096 种情形），通过 Sage 验证，确认了所有边界边颜色配置下杨-巴克斯方程的成立。