[論文レビュー] Odd partitions in Young's lattice

Arvind Ayyer, Amritanshu Prasad+1 more|arXiv (Cornell University)|Jan 8, 2016

Advanced Combinatorial Mathematics参考文献 4被引用数 14

ひとこと要約

本稿は、標準ヤング表の個数が奇数であるような分割によって誘導されるヤングのラティスの部分グラフが、自己相似性と再帰的構造を示す二分木であることを証明している。この二分木はマクドナルド木と呼ばれる。主な結果として、奇数の分割はその 2^k-コアと 2^k-クオータient によって完全に特徴づけられ、このような分割はコアとクオータient 構造によって一意に決定され、誘導される部分グラフは正確に二つの無限のレイトスを持つ二分木であることが示されている。

ABSTRACT

We show that the subgraph induced in Young's graph by the set of partitions with an odd number of standard Young tableaux is a binary tree. This tree exhibits self-similarities at all scales, and has a simple recursive description.

研究の動機と目的

• ヤングのラティス内における標準ヤング表の個数が奇数である分割の構造を特徴づけること。
• 特に対称群の表現論におけるこれらの奇数の分割の組合せ的および代数的性質を理解すること。
• ヤングのラティスにおける奇数の分割の誘導部分グラフが、木のような認識可能な組合せ的対象を形成するかどうかを特定すること。
• この部分グラフの再帰的記述を提供し、自己相似性を確立すること。

提案手法

• 奇数の分割の構造を分析するために、特に 2^k-コアと 2^k-クオータient を用いたコアとクオータient 理論の使用。
• フック長の公式とフレーム＝ロビンソン＝トゥルールの定理を用いて、標準ヤング表の個数を計算すること。
• 補題1の証明：ある分割 λ が奇数であるための必要十分条件は、それが一意な 2^k-フックをもち、かつその 2^k-コアが奇数であることである。
• 主補題（補題2）の使用：リムフックとコアの遷移に基づいて、ヤングのラティス内での奇数の分割間の辺の局所的構造を記述すること。
• 2^k-コアと 2^k-クオータient 分解を用いたマクドナルド木の再帰的構成により、各奇数の分割が木内の一意な経路から生じることを示すこと。
• ヤング＝フィボナッチラティスを含む他の微分順序集合への一般化により、同様の奇数鎖部分グラフが木を形成することを示すこと。

実験結果

リサーチクエスチョン

• RQ1 標準ヤング表の個数が奇数である分割の集合が、ヤングのラティスに明確な部分グラフを誘導するか？
• RQ2 この部分グラフのグローバル構造は何か—具体的には、それが木であるか、もしそうならどのような種類の木か？
• RQ3 コアとクオータient 分解を用いて、奇数の分割をどのように再帰的に構成できるか？
• RQ4 奇数の分割の 2^k-コアと 2^k-クオータient と、その標準表の個数の奇数性との関係は何か？
• RQ5 この構造はヤングのラティスを超えて他の微分順序集合へ一般化可能か？

主な発見

• ヤングのラティスに由来する奇数の分割の部分グラフは、自己相似性を示す二分木であり、マクドナルド木と呼ばれる。
• マクドナルド木には正確に二つの無限のレイトスがあり、それぞれが極限において分割 (1) と (1,1) に対応する。
• 各奇数の分割 λ は、2^k ≤ |λ| < 2^{k+1} を満たす k に対して一意な 2^k-フックをもち、その 2^k-コアも奇数である。
• サイズ n−2^k の各奇数の分割 μ に対して、サイズ n のコア_{2^k}(λ) = μ を満たす奇数の分割 λ は正確に 2^k 個存在する。
• n の奇数の分割の個数は 2^{α(n)} に等しく、ここで α(n) は n の二進数表現の各桁 a_i について i·a_i の和である。
• この構造はヤング＝フィボナッチラティスへ一般化可能である：飽和鎖の個数が奇数である要素の部分グラフは、偶数のランクを持つノードが1本の分岐、奇数のランクを持つノードが2本の分岐を持つ二分木である。