[论文解读] The involutive nature of the Littlewood-Richardson commutativity bijection

Olga Azenhas, Ronald C. King+1 more|arXiv (Cornell University)|Mar 16, 2016

Algebraic structures and combinatorial models参考文献 18被引用 3

一句话总结

本文引入了两种组合映射——ρ(n)作用于Littlewood-Richardson表和σ(n)作用于LR蜂窝图，它们分别提供了从形状λ/μ、权重ν的表到形状λ/ν、权重μ的表，以及从形状λ/μ、权重ν的蜂窝图到形状λ/ν、权重μ的蜂窝图的显式、可逆且对合的双射，从而明确证明了对称性cλμν = cλνμ。这些映射分别通过迭代删除条目和路径移除构建，同时保持半标准性和蜂窝图条件，并生成一个共同的Gelfand-Tsetlin模式，该模式决定了对称的对应对象。

ABSTRACT

Littlewood-Richardson (LR) coefficients $c_{μν}^λ$ may be evaluated by means of several combinatorial models, including the original LR tableaux of skew shape $λ/μ$ and weight $ν$ and the LR hives with boundary edge labels $λ$, $μ$ and $ν$. Unfortunately, neither of these reveal in any obvious way the well-known symmetry property $c_{μν}^λ=c_{νμ}^λ$. Here we introduce two maps, $ρ^{(n)}$ on LR tableaux and $σ^{(n)}$ on LR hives, that each interchange contributions to $c_{μν}^λ$ and $c_{νμ}^λ$ for any partitions $λ$, $μ$, $ν$ of lengths no greater than $n$, and then prove not only that each of them is a bijection, thereby making manifest the required symmetry property, but also that both maps are involutions. The map $ρ^{(n)}$ involves the iterative action of deletion operators on a given LR tableau of skew shape $λ/μ$ and weight $ν$, that produce a sequence of successively smaller tableaux whose consecutive inner shapes define a certain Gelfand-Tsetlin pattern and determine a partner LR tableau of skew shape $λ/ν$ and weight $μ$. Similarly, the map $σ^{(n)}$ involves repeated path removals from a given LR hive with boundary edge labels $(λ,μ,ν)$ that give rise to a sequence of hives whose left-hand boundary edge labels define the same Gelfand-Tsetlin pattern as before, which is sufficient to determine a partner LR hive with boundary edge labels $(λ,ν,μ)$. The deletions in tableaux are organised so as to preserve the semistandard and lattice permutation properties of LR tableaux, while the path removals in hives are designed to preserve both the triangle condition on edge labels and the hive rhombus gradient positivity conditions. At all stages illustrative examples are provided.

研究动机与目标

• 提供LR系数对称性cλμν = cλνμ的直接组合证明。
• 在LR表和蜂窝图模型中，构造显式、可逆的映射ρ(n)和σ(n)，以实现该对称性。
• 证明这两个映射均为对合映射，即两次应用后可恢复原始对象。
• 建立一个自包含的、双射的且对合的机制，使对称性显而易见，而无需依赖抽象表示理论。

提出的方法

• 映射ρ(n)通过从下至上、从右至左逐行迭代删除LR表中的条目，使用一系列保持半标准性和格路排列性质的删除算子作用于LR表。
• 由此产生的内形序列形成一个类型为μ的Gelfand-Tsetlin模式，该模式定义了像表S ∈ LR(λ/ν, μ)。
• 映射σ(n)通过从蜂窝图底部逐个移除格路来作用于LR蜂窝图，每次移除后记录路径终点，形成新的蜂窝图，同时保持三角形与菱形梯度正性条件。
• 路径移除过程生成一系列左边界边标签，其构成的Gelfand-Tsetlin模式与表情形中相同，从而定义了对称蜂窝图K ∈ H(n)(λ, ν, μ)。
• 两个映射均被证明是自逆的（即对合），其逆构造从类型ν的GT模式出发，重建原始对象。
• 两个模型通过LR表与LR蜂窝图之间已知的双射f(n)相联系，尽管本文独立发展了每种映射，以突出其各自的结构洞见。

实验结果

研究问题

• RQ1 是否能通过LR表上显式、可逆且对合的组合映射来证明对称性cλμν = cλνμ？
• RQ2 在LR蜂窝图模型中，如何构造类似的保持对称性的双射？其结果是否与表模型一致？
• RQ3 在两种模型中，哪些结构性质（如Gelfand-Tsetlin模式）被保持并用于定义对称的对应对象？
• RQ4 表或蜂窝图上的映射是否真正为对合映射，即两次应用是否能返回原始对象？
• RQ5 条目删除与路径移除操作如何在整个变换过程中保持所需的组合条件（半标准性、蜂窝图不等式）？

主要发现

• 映射ρ(n)是从LR(λ/μ, ν)到LR(λ/ν, μ)的良定义双射，通过从右至左、从下至上逐行删除条目，显式构造出对称的对应表。
• 映射σ(n)是从H(n)(λ, μ, ν)到H(n)(λ, ν, μ)的双射，通过从蜂窝图底部移除路径构建，同时保持所有蜂窝图条件。
• 映射ρ(n)和σ(n)均为对合映射：两次应用后返回原始对象，即ρ(n)² = id 且 σ(n)² = id。
• 表中条目删除过程的内形序列与蜂窝图中路径移除过程的左边界边标签序列，均生成相同的类型为μ的Gelfand-Tsetlin模式，该模式唯一确定了对称的对应对象。
• 两种模型中对称对应对象的构造完全兼容LR表与LR蜂窝图之间已知的双射f(n)，并通过显式例子得到验证。
• 结果表明，本文构造的映射与Henriques-Kamnitzer的交换子（commutor）一致，通过与Schützenberger对合映射及八面体映射的详细比较得到验证。