cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A331347 Number of permutations w in S_n that form Boolean intervals [s, w] in the Bruhat order for every simple reflection s in the support of w.

This page as a plain text file.
%I A331347 #33 Sep 08 2022 08:46:25
%S A331347 1,2,6,15,37,93,238,616,1604,4189,10955,28667,75036,196430,514242,
%T A331347 1346283,3524593,9227481,24157834,63246004,165580160,433494457,
%U A331347 1134903191,2971215095,7778742072,20365011098,53316291198,139583862471,365435296189,956722026069
%N A331347 Number of permutations w in S_n that form Boolean intervals [s, w] in the Bruhat order for every simple reflection s in the support of w.
%H A331347 Colin Barker, <a href="/A331347/b331347.txt">Table of n, a(n) for n = 1..1000</a>
%H A331347 B. E. Tenner, <a href="https://arxiv.org/abs/2001.05011">Interval structures in the Bruhat and weak orders</a>, arXiv:2001.05011 [math.CO], 2020.
%H A331347 <a href="/index/Rec#order_04">Index entries for linear recurrences with constant coefficients</a>, signature (5,-8,5,-1).
%F A331347 a(n) = Fibonacci(2n-1) + n - 2 = A001519(n) + n - 2.
%F A331347 From _Colin Barker_, Jan 14 2020: (Start)
%F A331347 G.f.: x*(1 - 3*x + 4*x^2 - 4*x^3 + x^4) / ((1 - x)^2*(1 - 3*x + x^2)).
%F A331347 a(n) = 5*a(n-1) - 8*a(n-2) + 5*a(n-3) - a(n-4) for n>5.
%F A331347 (End)
%F A331347 E.g.f.: 1 + exp((1/2)*(3-sqrt(5))*x)*(3 + sqrt(5) + 2*exp(sqrt(5)*x))/(5 + sqrt(5)) + exp(x)*(x - 2). - _Stefano Spezia_, Jan 15 2020
%e A331347 a(4) = 15 because the permutations with this property in S_4 are all permutations of length < 4.
%t A331347 Join[{1},Table[Fibonacci[2n-1]+n-2,{n,2,30}]] (* or *) LinearRecurrence[ {5,-8,5,-1},{1,2,6,15,37},30] (* _Harvey P. Dale_, Feb 21 2020 *)
%o A331347 (PARI) Vec(x*(1 - 3*x + 4*x^2 - 4*x^3 + x^4) / ((1 - x)^2*(1 - 3*x + x^2)) + O(x^30)) \\ _Colin Barker_, Jan 14 2020
%o A331347 (Magma) R<x>:=PowerSeriesRing(Integers(), 30); Coefficients(R!( x*(1-3*x+4*x^2-4*x^3+x^4)/((1-x)^2*(1-3*x+x^2)))); // _Marius A. Burtea_, Jan 15 2020
%Y A331347 Cf. A001519.
%K A331347 easy,nonn
%O A331347 1,2
%A A331347 _Bridget Tenner_, Jan 14 2020