主題
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.tw/MacdonaldsPlanePartitionConjecture.html

學科分類