cp's OEIS Frontend

A006366 Number of cyclically symmetric plane partitions in the n-cube; also number of 2n X 2n half-turn symmetric alternating sign matrices divided by number of n X n alternating sign matrices.

%I A006366 M1529 #40 Jan 05 2025 19:51:33
%S A006366 1,2,5,20,132,1452,26741,826540,42939620,3752922788,552176360205,
%T A006366 136830327773400,57125602787130000,40191587143536420000,
%U A006366 47663133295107416936400,95288872904963020131203520,321195665986577042490185260608
%N A006366 Number of cyclically symmetric plane partitions in the n-cube; also number of 2n X 2n half-turn symmetric alternating sign matrices divided by number of n X n alternating sign matrices.
%C A006366 In the 1995 Encyclopedia of Integer Sequences this sequence appears twice, as both M1529 and M1530.
%D A006366 D. M. Bressoud, Proofs and Confirmations, Camb. Univ. Press, 1999; Eq. (6.7) on page 198, except the formula given is incorrect. It should be as shown here.
%D A006366 N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
%D A006366 R. P. Stanley, A baker's dozen of conjectures concerning plane partitions, pp. 285-293 of "Combinatoire Enumerative (Montreal 1985)", Lect. Notes Math. 1234, 1986.
%H A006366 Vincenzo Librandi, <a href="/A006366/b006366.txt">Table of n, a(n) for n = 0..90</a>
%H A006366 G. E. Andrews,<a href="http://gdz.sub.uni-goettingen.de/dms/load/img/?PID=GDZPPN002095335">Plane partitions (III): the Weak Macdonald Conjecture</a>, Invent. Math., 53 (1979), 193-225.
%H A006366 P. Di Francesco, P. Zinn-Justin and J.-B. Zuber, <a href="https://arxiv.org/abs/math-ph/0410002">Determinant Formulae for some Tiling Problems and Application to Fully Packed Loops</a>, arXiv:math-ph/0410002, 2004.
%H A006366 Anatol N. Kirillov, <a href="https://doi.org/10.3842/SIGMA.2016.034">Notes on Schubert, Grothendieck and key polynomials</a>, SIGMA, Symmetry Integrability Geom. Methods Appl.  12, Paper 034, 56 p. (2016).
%H A006366 G. Kuperberg, <a href="https://arxiv.org/abs/math/0008184">Symmetry classes of alternating-sign matrices under one roof</a>, arXiv:math/0008184 [math.CO], 2000-2001.
%H A006366 W. F. Lunnon, <a href="https://web.archive.org/web/2024*/https://www.fq.math.ca/Scanned/15-3/lunnon.pdf">The Pascal matrix</a>, Fib. Quart. vol. 15 (1977) pp. 201-204.
%H A006366 R. P. Stanley, <a href="/A005130/a005130.pdf">A baker's dozen of conjectures concerning plane partitions</a>, pp. 285-293 of "Combinatoire Enumerative (Montreal 1985)", Lect. Notes Math. 1234, 1986. Preprint. [Annotated scanned copy]
%H A006366 P. J. Taylor, <a href="http://cheddarmonk.org/papers/distinct-dimer-hex-tilings.pdf">Counting distinct dimer hex tilings</a>, Preprint, 2015.
%F A006366 a(n) = Product_{i=1..n} (((3*i-1)/(3*i-2))*Product_{j=i..n} (n+i+j-1)/(2*i+j-1)).
%F A006366 a(n) ~ exp(1/36) * GAMMA(1/3)^(4/3) * n^(7/36) * 3^(3*n^2/2 + 11/36) / (A^(1/3) * Pi^(2/3) * 2^(2*n^2 + 7/12)), where A = A074962 = 1.2824271291... is the Glaisher-Kinkelin constant. - _Vaclav Kotesovec_, Mar 01 2015
%p A006366 A006366 := proc(n) local i, j; mul((3*i - 1)*mul((n + i + j - 1)/(2*i + j - 1), j = i .. n)/(3*i - 2), i = 1 .. n) end;
%t A006366 Table[Product[(3i-1)/(3i-2) Product[(n+i+j-1)/(2i+j-1),{j,i,n}],{i,n}],{n,0,20}] (* _Harvey P. Dale_, Apr 17 2013 *)
%o A006366 (PARI) a(n)=prod(i=0,n-1,(3*i+2)*(3*i)!/(n+i)!)
%Y A006366 Cf. A005130, also A003827, A005156, A005158, A005160-A005164, A048601, A050204.
%K A006366 nonn,nice,easy
%O A006366 0,2
%A A006366 _N. J. A. Sloane_