cp's OEIS Frontend

A278301 Number of permutations of length n in the class of juxtapositions of 321-avoiders with 21-avoiders.

%I A278301 #26 Feb 08 2019 05:37:23
%S A278301 1,1,2,6,23,98,434,1949,8803,39888,181201,825201,3767757,17249560,
%T A278301 79191480,364585230,1683208515,7792546040,36174065285,168367375735,
%U A278301 785637327745,3674914227120,17230132657815,80965662243526,381275131584373,1799105397745998
%N A278301 Number of permutations of length n in the class of juxtapositions of 321-avoiders with 21-avoiders.
%C A278301 a(n) is also the number of permutations of length n in the class of juxtapositions of 231-avoiders with 21-avoiders.
%H A278301 G. C. Greubel, <a href="/A278301/b278301.txt">Table of n, a(n) for n = 0..1000</a>
%H A278301 Robert Brignall, Jakub Sliacan, <a href="https://arxiv.org/abs/1611.05370">Juxtaposing Catalan permutation classes with monotone ones</a>, arXiv:1611.05370 [math.CO], 2016.
%H A278301 Robert Brignall, Jakub Sliacan, <a href="https://arxiv.org/abs/1902.02705">Combinatorial specifications for juxtapositions of permutation classes</a>, arXiv:1902.02705 [math.CO], 2019.
%F A278301 G.f.: (1 - (1-4*x)^(1/2) + x*(-4 + (1-4*x)^(1/2) +  ((-1+5*x)^(1/2)) / ((-1+x)^(1/2)))) / (-2*x^2).
%F A278301 a(n) ~ 5^(n+3/2) / (8*sqrt(Pi)*n^(3/2)). - _Vaclav Kotesovec_, Nov 17 2016
%e A278301 There are 23 permutations of length 4 which can be expressed as a juxtaposition of a 321-avoider and a 21-avoider. Only 4321 is not expressable this way.
%t A278301 e = ee /. Solve[ee == 1 + x/(1 - x) ee, ee][[1]];
%t A278301 c = cc /. Solve[cc == 1 + x cc^2, cc][[1]];
%t A278301 cb = ccb /. Solve[ccb == 1 + x/(1 - x) ccb^2, ccb][[2]];
%t A278301 b = bb /. Solve[bb == x^2/(1 - x) + x c bb e, bb][[1]];
%t A278301 m = mm /.
%t A278301    Solve[mm ==
%t A278301       x c mm cb + b e x/(1 - x) (cb - 1) + x^2/(1 - x) (cb - 1),
%t A278301      mm][[1]];
%t A278301 f = c + c m cb/(1 - x);
%t A278301 CoefficientList[Series[f, {x, 0, 25}], x]
%t A278301 Rest[CoefficientList[Series[(1 - (1 - 4 x)^(1/2) + x (-4 + (1 - 4 x)^(1/2) + ((-1 + 5 x)^(1/2)) / ((-1 + x)^(1/2))))/ (-2 x^2), {x, 0, 33}], x]] (* _Vincenzo Librandi_, Nov 18 2016 *)
%Y A278301 The other two juxtapositions of Catalan and monotone classes are enumerated by A033321, A165538.
%K A278301 nonn
%O A278301 0,3
%A A278301 _Jakub Sliacan_, Nov 17 2016