login
Number of block permutations on an n-set which are uniform, i.e., corresponding blocks have same size.
29

%I #69 May 22 2024 09:18:10

%S 1,1,3,16,131,1496,22482,426833,9934563,277006192,9085194458,

%T 345322038293,15024619744202,740552967629021,40984758230303149,

%U 2527342803112928081,172490568947825135203,12952575262915522547136,1064521056888312620947794,95305764621957309071404877

%N Number of block permutations on an n-set which are uniform, i.e., corresponding blocks have same size.

%C Number of games of simple patience with n cards. Take a shuffled deck of n cards labeled 1..n; as each card is dealt it is placed either on a higher-numbered card or starts a new pile to the right. Cards are not moved once they are placed. Suggested by reading Aldous and Diaconis. - _N. J. A. Sloane_, Dec 19 1999

%C Number of set partitions of [2n] such that within each block the numbers of odd and even elements are equal. a(2) = 3: 1234, 12|34, 14|23; a(3) = 16: 123456, 1234|56, 1236|45, 1245|36, 1256|34, 12|3456, 12|34|56, 12|36|45, 1346|25, 1456|23, 14|2356, 14|23|56, 16|2345, 16|23|45, 14|25|36, 16|25|34. - _Alois P. Heinz_, Jul 14 2016

%H Reinhard Zumkeller, <a href="/A023998/b023998.txt">Table of n, a(n) for n = 0..300</a>

%H M. Aguiar and R. C. Orellana, <a href="https://doi.org/10.1007/s10801-008-0120-9">The Hopf algebra of uniform block permutations</a>, J. Algebr. Comb. 28 (2008) 115-138

%H D. Aldous and P. Diaconis, <a href="https://doi.org/10.1090/S0273-0979-99-00796-X">Longest increasing subsequences: from patience sorting to the Baik-Deift-Johansson theorem</a>, Bull. Amer. Math. Soc. 36 (1999), 413-432.

%H H. Cheballah, S. Giraudo, and R. Maurice, <a href="http://arxiv.org/abs/1306.6605">Combinatorial Hopf algebra structure on packed square matrices</a>, arXiv preprint arXiv:1306.6605 [math.CO], 2013.

%H Fabian Faulstich, Bernd Sturmfels, and Svala Sverrisdóttir, <a href="https://arxiv.org/abs/2308.05258">Algebraic Varieties in Quantum Chemistry</a>, arXiv:2308.05258 [math.AG], 2023.

%H D. G. FitzGerald and Jonathan Leech, <a href="http://www.austms.org.au/Publ/Jamsa/V64P3/pdf/e07.pdf">Dual symmetric inverse monoids and representation theory</a>, J. Australian Mathematical Society (Series A), Vol. 64 (1998), pp. 345-367.

%H Raúl E. González-Torres, <a href="https://doi.org/10.1016/j.laa.2017.03.032">A geometric study of cores of idempotent stochastic matrices</a>, Linear Algebra Appl. 527, 87-127 (2017).

%H Rosa Orellana, Franco Saliola, Anne Schilling, and Mike Zabrocki, <a href="https://arxiv.org/abs/2405.09710">The lattice of submonoids of the uniform block permutations containing the symmetric group</a>, arXiv:2405.09710 [math.CO], 2024. See p. 3.

%H Sebastian Volz, <a href="https://www.uni-saarland.de/fileadmin/upload/lehrstuhl/weber-moritz/Abschlussarbeiten/volz-bachelors-thesis.pdf">Design and Implementation of Efficient Algorithms for Operations on Partitions of Sets</a>, Bachelor Thesis, Saarland Univ. (Germany, 2023). See p. 45.

%F a(n) = Sum_{k=0..n-1} C(n,k)*C(n-1,k)*a(k) for n>0 with a(0)=1. - _Paul D. Hanna_, Aug 15 2007

%F G.f.: Sum_{n>=0} a(n)*x^n/n!^2 = exp( Sum_{n>=1} x^n/n!^2 ). [_Paul D. Hanna_, Jan 04 2011; merged from duplicate entry A179119]

%F Row sums of A061691.

%F Generating function: Let J(z) = Sum_{n>=0} z^n/n!^2. Then exp(x*(J(z)-1) = Sum_{n>=0} a(n)*z^n/n!^2 = 1 + z + 3*z^2/2!^2 + 36*z^3/3!^2 + .... - _Peter Bala_, Jul 11 2011

%e For n=3 there are 25 block permutations, of which 9 of the form ({1} maps to {1,2}; {2,3} maps to {3}), are not uniform. Hence a(3) = 25 - 9 = 16.

%e Alternatively, for n=3 the 6 permutations of 3 cards produce 16 games, as follows: 123 -> {1,2,3}; 132 -> {1,32}, {1,3,2}; 213 -> {21,3}, {2,1,3}; 231 -> {21,3}, {2,31}, {2,3,1}; 312 -> {31,2}, {32,1}, {3,1,2}; 321 -> {321}, {32,1}, {31,2}, {3,21}, {3,2,1}.

%e G.f.: A(x) = 1 + x + 3*x^2/2!^2 + 16*x^3/3!^2 + 131*x^4/4!^2 + 1496*x^5/5!^2 + ...

%e log(A(x)) = x + x^2/2!^2 + x^3/3!^2 + x^4/4!^2 + x^5/5!^2 + ...

%p b:= proc(n) option remember; `if`(n=0, 1,

%p add(b(n-i)*binomial(n-1, i-1)/i!, i=1..n))

%p end:

%p a:= n-> b(n)*n!:

%p seq(a(n), n=0..25); # _Alois P. Heinz_, May 11 2016

%t a[0] = 1; a[n_] := a[n] = Sum[Binomial[n, k] Binomial[n-1, k] a[k], {k, 0, n-1}];

%t Array[a, 25, 0] (* _Jean-François Alcover_, Jul 28 2016 *)

%t nmax = 20; CoefficientList[Series[E^(-1 + BesselI[0, 2*Sqrt[x]]), {x, 0, nmax}], x]*Range[0, nmax]!^2 (* _Vaclav Kotesovec_, Jun 09 2019 *)

%o (PARI) a(n)=if(n==0,1,sum(k=0,n-1,binomial(n,k)*binomial(n-1,k)*a(k))) \\ _Paul D. Hanna_, Aug 15 2007

%o (PARI) {a(n)=n!^2*polcoeff(exp(sum(m=1, n, x^m/m!^2)+x*O(x^n)), n)} /* _Paul D. Hanna_ */

%o (PARI) N=66; x='x+O('x^N); /* that many terms */

%o Vec(serlaplace(serlaplace(exp(sum(n=1, N, x^n/n!^2))))) /* show terms */

%o /* _Joerg Arndt_, Jul 12 2011 */

%o (PARI)

%o v=vector(N); v[1]=1;

%o for (n=1,N-1, v[n+1]=sum(k=0,n-1, binomial(n,k)*binomial(n-1,k)*v[k+1]) );

%o v /* show terms */

%o /* _Joerg Arndt_, Jul 12 2011 */

%o (Haskell)

%o a023998 n = a023998_list !! n

%o a023998_list = 1 : f 2 [1] a132813_tabl where

%o f x ys (zs:zss) = y : f (x + 1) (ys ++ [y]) zss where

%o y = sum $ zipWith (*) ys zs

%o -- _Reinhard Zumkeller_, Apr 04 2014

%Y Cf. A023997, A002720, A061691.

%Y Cf. A132813.

%Y Column k=2 of A275043.

%Y Main diagonal of A321296 and of A322670.

%K nonn,nice

%O 0,3

%A Des FitzGerald (D.FitzGerald(AT)utas.edu.au)

%E More terms from _Vladeta Jovovic_, Sep 03 2002