[論文レビュー] Polynomiality of some hook-content summations for doubled distinct and self-conjugate partitions

Guo-Niu Han, Huan Xiong|arXiv (Cornell University)|Jan 17, 2016

Advanced Combinatorial Mathematics参考文献 22被引用数 9

ひとこと要約

本稿は、二重に異なる整数分割および自己共役整数分割の上でのフック長および内容の和の多項式性を確立し、フック長と内容の対称関数を含む重み付き和がサイズパラメータ $ n $ における多項式であることを証明する。明示的な次数の上限が与えられる。結果は、ネクラソフ＝オクウンコフ型の公式を一般化し、差分作用素と $ t $-コア構造を用いてスターリングの多項式枠組みをこれらの特殊な分割クラスへ拡張する。

ABSTRACT

In 2009, the first author proved the Nekrasov-Okounkov formula on hook lengths for integer partitions by using an identity of Macdonald in the framework of type $\widetilde A$ affine root systems, and conjectured that some summations over the set of all partitions of size $n$ are always polynomials in $n$. This conjecture was generalized and proved by Stanley. Recently, Pétréolle derived two Nekrasov-Okounkov type formulas for $\widetilde C$ and $\widetilde C\,\check{}$ which involve doubled distinct and self-conjugate partitions. Inspired by all those previous works, we establish the polynomiality of some hook-content summations for doubled distinct and self-conjugate partitions.

研究の動機と目的

• フック長と内容の対称関数のスターリングの多項式枠組みを、二重に異なる分割および自己共役分割という特殊なクラスへ拡張すること。
• 古典的なネクラソフ＝オクウンコフの設定と同様に、$ (2t)^n n! $ および $ H_t(\theta) $ で正規化されたこれらの分割クラス上の重み付き和が $ n $ に関して多項式のままであるかどうかを調査すること。
• 対称関数 $ F_1 $ と $ F_2 $ を用いて、得られる多項式の次数の明示的な上限を導出すること。
• これらの分割タイプの文脈において、$ \tilde{C} $ および $ \tilde{C}\check{} $ ルート系に対するペトロレのネクラソフ＝オクウンコフ型公式を回復および一般化すること。

提案手法

• 分割の形状に関連する生成関数 $ G_\theta $ に作用する差分作用素 $ D $ を用い、対称関数の平均を分析する。
• $ t $-コア分解を用いて、フック長を $ t $ で割った余りに基づいて、二重に異なる分割および自己共役分割の集合を類別する。
• シフトされたヤン・テーブルックスの構造と内容フック長の恒等式を用い、対称関数の和を有理関数および差分作用素の形で表現する。
• 作用素計算を用いて再帰的関係および微分に類似した恒等式を導出し、特定の次数を超える高次項の消滅を証明する。
• $ D^k(G_\theta \times \text{対称関数}) $ の明示的評価を用いて、多項式の次数の上限を特定する。
• 例えば $ \text{sum of } h^2 - c^2 = |\theta|^2 $ といった既知の恒等式を用いて、フック長と内容の和を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 二重に異なる分割の上での、フック長と内容の対称関数の重み付き和が、$ (2t)^n n! H_t(\theta)^{-1} $ で正規化された場合、$ n $ に関して多項式であるか？
• RQ2 同様に、自己共役分割に対しても多項式性が成り立つか？特に $ t $ が偶数の場合に注目する。
• RQ3 得られる多項式の次数を $ F_1 $ と $ F_2 $ の次数に基づいて明示的に上限づけられるか？
• RQ4 $ F_1 $ と $ F_2 $ が定数または一次関数である特殊な場合に、多項式の閉形式が得られるか？
• RQ5 差分作用素を用いた一様な作用素的メカニズムが、これらの分割クラス全体で多項式性を説明できるか？

主な発見

• 二重に異なる分割 $ \lambda \in \mathcal{DD} $ で、$ |\lambda|=2nt $、$ \#\mathcal{H}_t(\lambda)=2n $ を満たすものについて、$ (2t)^n n! \sum_{\lambda \in \mathcal{DD}, |\lambda|=2nt, \#\mathcal{H}_t(\lambda)=2n} \frac{F_1(h^2) F_2(c)}{H_t(\lambda)} $ は、$ t $ が奇数のとき、すべての対称関数 $ F_1 $ と $ F_2 $ に対して $ n $ に関する多項式である。
• 同様に、自己共役分割の上での対応する和は、$ t $ が偶数のとき、同じ正規化のもとで $ n $ に関する多項式である。
• $ F_1 = F_2 = 1 $ の場合、和は $ \frac{1}{(2t)^n n!} $ に簡略化され、ペトロレのネクラソフ＝オクウンコフの公式が回復される。
• $ F_1 $ がフック長の二乗の和で $ F_2 = 1 $ の場合、$ t $ が奇数のとき、多項式は $ 6t^2 n^2 + \frac{1}{3}(t^2 - 6t + 2)t n $ に等しい。
• 多項式の次数は、$ \sum_u (k_u + 1) + \sum_v \frac{k'_v + 2}{2} $ で上限づけられる。ここで $ k_u $ と $ k'_v $ は対称関数内の指数である。
• 三階の差分作用素 $ D^3 $ が対称関数 $ \sum c^2 $ に作用すると消えるため、多項式は $ n $ に関して二次式であることが示され、明示的評価と整合的である。