主题
Search

麦克唐纳平面划分猜想


麦克唐纳平面划分猜想提出了一个公式,用于计算给定整数的循环对称平面划分 (CSPP) 的数量,这些划分的 Ferrers 图 适合放入 n×n×n 立方体中。麦克唐纳给出了幂级数的乘积表示,其系数 q^nn 的此类划分的数量。

D(pi) 为第一个 卦限 中所有整数点 (i,j,k) 的集合,使得平面划分 平面划分 pi=(a_(ij)) 被定义且 1<=k<=a_(ij)。那么,如果 pi 在映射 (i,j,k)->(j,k,i) 下是不变的,则称 D(pi) 是循环对称的。设 M(m,n)n 的循环对称划分的数量,使得 i,j,a_(ij) 都不超过 m。设 B_m 为包含所有整数点 (i,j,k) 的立方体,使得 1<=i,j,k<=m,则 M(m,n)n 的循环对称平面划分的数量,使得 D(pi) subset= B_m。现在,设 C_mB_m 中所有轨道的集合。最后,对于 B_m 中的每个点 p=(i,j,k),令其高度

 ht(p)=i+j+k-2
(1)

对于 C_m 中的每个 xi,令 |xi|xi 中点的数量(1 或 3),并写成

 ht(xi)=sum_(p in xi)ht(p).
(2)

然后麦克唐纳猜想

S_m=sum_(n>=0)M(m,n)q^n
(3)
=product_(xi in C_m)(1-q^(|xi|+ht(xi)))/(1-q^(ht(xi)))
(4)
=product_(i=1)^(m)[(1-q^(3i-1))/(1-q^(3i-2))product_(j=i)^(m)(1-q^(3(m+i+j-1)))/(1-q^(3(2i+j-1)))],
(5)

(Mills et al. 1982, Macdonald 1995),其中后一种形式归功于 Andrews (1979)。

前几个多项式是

S_0=1
(6)
S_1=1+q
(7)
S_2=1+q+q^4+q^7+q^8
(8)
S_3=1+q+q^4+2q^7+q^8+q^(10)+q^(11)+2q^(13)+2q^(14)+q^(16)+q^(17)+q^(19)+2q^(20)+q^(23)+q^(26)+q^(27),
(9)

它们收敛到系数为 1, 1, 0, 0, 1, 0, 0, 2, 1, 0, 2, 1, 0, 4, 3, 0, 5, 4, 0, 8, 8, ... 的多项式 (OEIS A096419)。

Andrews (1979) 证明了 q=1 的情况,给出了适合放入 n×n×n 立方体中的 CSPP 的总数。一般情况由 Mills 等人 (1982) 证明。


另请参阅

循环对称平面划分, 戴森猜想, 平面划分, 根系, Zeilberger-Bressoud 定理

使用 探索

参考文献

Andrews, G. E. "Plane Partitions (III): The Weak Macdonald Conjecture." Invent. Math. 53, 193-225, 1979.Andrews, G. E. "Macdonald's Conjecture and Descending Plane Partitions." In Combinatorics, Representation Theory and Statistical Methods in Groups (Ed. T. V. Narayana, R. M. Mathsen, and J. G. Williams). New York: Dekker, pp. 91-106, 1980.Bressoud, D. Proofs and Confirmations: The Story of the Alternating Sign Matrix Conjecture. Cambridge, England: Cambridge University Press, 1999.Bressoud, D. and Propp, J. "How the Alternating Sign Matrix Conjecture was Solved." Not. Amer. Math. Soc. 46, 637-646.Macdonald, I. G. "Some conjectures for Root Systems." SIAM J. Math. Anal. 13, 988-1007, 1982.Macdonald, I. G. Symmetric Functions and Hall Polynomials, 2nd ed. Oxford, England: Oxford University Press, 1995.Mills, W. H.; Robbins, D. P.; and Rumsey, H. Jr. "Proof of the Macdonald Conjecture." Invent. Math. 66, 73-87, 1982.Morris, W. G. Constant Term Identities for Finite and Affine Root Systems: Conjectures and Theorems. Ph.D. thesis. Madison, WI: University of Wisconsin, 1982.Sloane, N. J. A. Sequence A096419 in "The On-Line Encyclopedia of Integer Sequences."

在 中被引用

麦克唐纳平面划分猜想

请引用为

Weisstein, Eric W. “麦克唐纳平面划分猜想。” 来自 Web 资源. https://mathworld.net.cn/MacdonaldsPlanePartitionConjecture.html

学科分类