[論文レビュー] Multiplicity-free Skew Schur functions with full interval support

Olga Azenhas, Alessandro Conflitti+1 more|arXiv (Cornell University)|Sep 21, 2010

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

ひとこと要約

この論文は、支配順序における完全な区間のsuppoを有する多重度ゼロのスケュール・シュール関数を分類し、最小から最大の支配的分割にわたるすべてのリトルウッド・リチャードソン係数が正確に1であるようなすべてのスケュー形状を同定する。分類は対称性およびブロック操作に関して行われ、7つの異なる構成が判明し、アルゴリズム的手法によるLR充填を用いた詳細な解析を通じて、シュール関数の積の多重度ゼロ性への拡張がなされる。

ABSTRACT

It is known that the Schur expansion of a skew Schur function runs over the interval of partitions, equipped with dominance order, defined by the least and the most dominant Littlewood-Richardson filling of the skew shape. We characterise skew Schur functions (and therefore the product of two Schur functions) which are multiplicity-free and the resulting Schur expansion runs over the whole interval of partitions, i.e. skew Schur functions having Littlewood-Richardson coefficients always equal to $1$ over the full interval.

研究の動機と目的

• 支配ラティスにおける完全な区間のsuppoを有する多重度ゼロのスケュー・シュール関数を特徴付けること。
• スケュー・シュール関数のシュール展開が最小から最大の支配的分割の間の全区間をカバーし、すべての係数が1に等しい正確な条件を特定すること。
• 最小から最大の支配的分割の間の全区間をカバーし、すべての係数が1であるようなシュール関数の積が多重度ゼロである条件を分類すること。
• トーマス＝ヨンおよびステムブリッジの先行研究に基づき、完全な区間suppoを有する多重度ゼロのスケュー・シュール関数の分類を拡張すること。

提案手法

• 文献[1]のアルゴリズム的手順（アルゴリズム1）を用い、最小から最大の支配的分割に至るまで、すべてのリトルウッド・リチャードソン充填を体系的に生成し、suppo解析における完全性を保証する。
• 支配順序を用いて、${\bf w}$ を列長さ分割、${\bf n}$ をスケュー形状の行長さ分割の共役とする区間 $[{\bf w}, {\bf n}]$ を定義する。
• テーブルーフィルティング技法を用いて、区間内の各分割に対して有効なLRテーブルーフィルティングの存在を検証し、suppoへの属性を証明する。
• フック型成分 $\mu = (r_1, 1^{r_2})$, $\nu = (s_1, 1^{s_2})$ を分析し、その積 $s_\mu s_\nu$ がすべての係数が1に等しく、完全な区間suppoを有する条件を特定する。
• フックの腕と脚の相対的な長さに基づくケース解析を実施し、腕の長さの差が1以下で脚の長さが2である場合と、これらの条件を満たさない場合に区別する。
• 反例構成を用い、任意のLRテーブルーフィルティングの内容として実現できない分割 $\rho$ を $[{\bf w}, {\bf n}]$ 内で特定することで、suppoへの非属性を証明する。

実験結果

リサーチクエスチョン

• RQ1 どのスケュー・シュール関数が多重度ゼロであり、支配順序の全区間のsuppoを有するか、すなわち全区間ですべてのリトルウッド・リチャードソン係数が1に等しいか？
• RQ2 2つのシュール関数の積が、最小から最大の支配的分割の間の全区間をカバーし、すべての係数が1に等しい条件は何か？
• RQ3 フック型成分の腕と脚の相対的なサイズは、その積の完全な区間suppoにどのように影響するか？
• RQ4 最小および最大の支配的分割が正しいにもかかわらず、完全な区間suppoを妨げるスケュー形状のどの構成が存在するか？

主な発見

• 本論文は、対称性およびブロック操作に関して、完全な区間suppoを有する多重度ゼロのスケュー・シュール関数の完全な分類を提供し、スケュー形状の7つの異なる構成を明確に特定する。
• フック型成分 $\mu = (r_1, 1^{r_2})$, $\nu = (s_1, 1^{s_2})$ に対して、積 $s_\mu s_\nu$ が完全な区間suppoを有し、すべての係数が1に等しいのは、$r_2 = s_2 = 1$ かつ $r_1 = s_1 \geq 2$ または $r_1 \geq 2$ かつ $s_1 = r_1 + 1$（あるいはその逆）のとき、かつそのときに限り成り立つ。
• フックの腕の長さの差が2以上である場合、または脚の長さが3以上である場合、最小および最大の分割が正しくてもsuppoは全区間をカバーしなくなり、失敗する。
• 特に、行長さが2、3、4である中間の分割に対しては、構成的手法による充填手続きにより、区間 $[{f w}, {f n}]$ 内のすべての分割に対してLRテーブルーフィルティングの存在が確立される。
• 分類は背理法により証明される：条件が満たされない場合に、任意のLRテーブルーフィルティングの内容として実現できない分割 $\rho$ を区間内で明示的に構成することで、suppoへの非属性を示す。