主題
Search

n! 定理


對於 n 的任意分拆 mu,定義一個關於 2n 個變數 x_1x_2、 ... 和 y_1y_2、 ... 的多項式,如下所示:

 Delta_mu=det|x_i^(p_j)y_i^(q_j)|,
(1)

其中 (p_j,q_j) 是分拆的單元格在座標平面中的座標,當分拆放置在座標平面中時,基單元格位於 (0,0),並且所有其他座標在 xy 中是非負的。用 L[partial_xpartial_yDelta_mu] 表示這個多項式的所有關於變數的導數的線性跨度,其中 partial 表示偏導數。這個向量空間在作用於 x_iy_i 的同時置換下是封閉的。然後 n! 定理指出:

 dimL[partial_xpartial_yDelta_mu]=n!.
(2)

該定理由 M. Haiman 於 1999 年 12 月證明。

例如,考慮分拆 mu=(2,1)。那麼

Delta_((2,1))=det|1 1 1; x_1 x_2 x_3; y_1 y_2 y_3|
(3)
=x_2y_3-x_3y_2-x_1y_3+y_1x_3+x_1y_2-x_2y_1.
(4)

那麼這五個導數

partial_(x_1)Delta_((2,1))=y_2-y_3
(5)
partial_(x_2)Delta_((2,1))=y_3-y_1
(6)
partial_(y_1)Delta_((2,1))=x_3-x_2
(7)
partial_(y_2)Delta_((2,1))=x_1-x_3
(8)
partial_(x_2)partial_(y_2)Delta_((2,1))=1,
(9)

Delta_((2,1)) 一起,總共 3!=6 個元素,構成 L[partial_xpartial_yDelta_((2,1))] 的基。


另請參閱

麥克唐納多項式

使用 探索

參考文獻

Garsia, A. M. "關於麥克唐納多項式和 n! 猜想的手稿和出版物。" http://schur.ucsd.edu/~garsia/Garsia, A. M. "n! 定理的簡短解釋。" http://garsia.math.yorku.ca/MPWP/nfactconj/nfactconj.html

在 中被引用

n! 定理

請引用為

Weisstein, Eric W. "n! 定理。" 來自 —— 資源。 https://mathworld.tw/n!Theorem.html

學科分類