主题
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))] 的基。


另请参阅

麦克唐纳多项式

使用 Wolfram|Alpha 探索

参考文献

Garsia, A. M. "关于麦克唐纳多项式和 n! 猜想的手稿和出版物。" http://schur.ucsd.edu/~garsia/Garsia, A. M. "n! 定理的简短解释。" http://garsia.math.yorku.ca/MPWP/nfactconj/nfactconj.html

在 Wolfram|Alpha 中被引用

n! 定理

请引用为

Weisstein, Eric W. "n! 定理。" 来自 MathWorld—— Wolfram Web 资源。 https://mathworld.net.cn/n!Theorem.html

学科分类