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.

Showing 1-3 of 3 results.

A081567 Second binomial transform of F(n+1).

Original entry on oeis.org

1, 3, 10, 35, 125, 450, 1625, 5875, 21250, 76875, 278125, 1006250, 3640625, 13171875, 47656250, 172421875, 623828125, 2257031250, 8166015625, 29544921875, 106894531250, 386748046875, 1399267578125, 5062597656250, 18316650390625, 66270263671875, 239768066406250
Offset: 0

Views

Author

Paul Barry, Mar 22 2003

Keywords

Comments

Binomial transform of F(2*n-1), index shifted by 1, where F is A000045. - corrected by Richard R. Forberg, Aug 12 2013
Case k=2 of family of recurrences a(n) = (2k+1)*a(n-1) - A028387(k-1)*a(n-2), a(0)=1, a(1)=k+1.
Number of (s(0), s(1), ..., s(2n+1)) such that 0 < s(i) < 10 and |s(i) - s(i-1)| = 1 for i = 1, 2, ..., 2*n+1, s(0) = 3, s(2*n+1) = 4.
a(n+1) gives the number of periodic multiplex juggling sequences of length n with base state <2>. - Steve Butler, Jan 21 2008
a(n) is also the number of idempotent order-preserving partial transformations (of an n-element chain) of waist n (waist(alpha) = max(Im(alpha))). - Abdullahi Umar, Sep 14 2008
Counts all paths of length (2*n+1), n>=0, starting at the initial node on the path graph P_9, see the Maple program. - Johannes W. Meijer, May 29 2010
Given the 3 X 3 matrix M = [1,1,1; 1,1,0; 1,1,3], a(n) = term (1,1) in M^(n+1). - Gary W. Adamson, Aug 06 2010
Number of nonisomorphic graded posets with 0 and 1 of rank n+2, with exactly 2 elements of each rank level between 0 and 1. Also the number of nonisomorphic graded posets with 0 of rank n+1, with exactly 2 elements of each rank level above 0. (This is by Stanley's definition of graded, that all maximal chains have the same length.) - David Nacin, Feb 26 2012
a(n) = 3^n a(n;1/3) = Sum_{k=0..n} C(n,k) * F(k-1) * (-1)^k * 3^(n-k), which also implies the Deleham formula given below and where a(n;d), n=0,1,...,d, denote the delta-Fibonacci numbers defined in comments to A000045 (see also the papers of Witula et al.). - Roman Witula, Jul 12 2012
The limiting ratio a(n)/a(n-1) is 1 + phi^2. - Bob Selcoe, Mar 17 2014
a(n) counts closed walks on K_2 containing 3 loops on the index vertex and 2 loops on the other. Equivalently the (1,1) entry of A^n where the adjacency matrix of digraph is A=(3,1; 1,2). - David Neil McGrath, Nov 18 2014

Examples

			a(4)=125: 35*(3 + (35 mod 10 - 10 mod 3)/(10-3)) = 35*(3 + 4/7) = 125. - _Bob Selcoe_, Mar 17 2014
		

References

  • R. P. Stanley, Enumerative Combinatorics, Vol. 1, Cambridge University Press, Cambridge, 1997, pages 96-100.

Crossrefs

a(n) = 5*A052936(n-1), n > 1.
Row sums of A114164.
Cf. A000045, A007051 (INVERTi transform), A007598, A028387, A030191, A039717, A049310, A081568 (binomial transform), A086351 (INVERT transform), A090041, A093129, A094441, A111776, A147748, A178381, A189315.

Programs

  • Magma
    I:=[1, 3]; [n le 2 select I[n] else 5*Self(n-1)-5*Self(n-2): n in [1..30]]; // Vincenzo Librandi, Feb 27 2012
    
  • Maple
    with(GraphTheory):G:=PathGraph(9): A:= AdjacencyMatrix(G): nmax:=23; n2:=nmax*2+2: for n from 0 to n2 do B(n):=A^n; a(n):=add(B(n)[1,k],k=1..9); od: seq(a(2*n+1),n=0..nmax); # Johannes W. Meijer, May 29 2010
  • Mathematica
    Table[MatrixPower[{{2,1},{1,3}},n][[2]][[2]],{n,0,44}] (* Vladimir Joseph Stephan Orlovsky, Feb 20 2010 *)
    LinearRecurrence[{5,-5},{1,3},30] (* Vincenzo Librandi, Feb 27 2012 *)
  • PARI
    Vec((1-2*x)/(1-5*x+5*x^2)+O(x^99)) \\ Charles R Greathouse IV, Mar 18 2014
  • Python
    def a(n, adict={0:1, 1:3}):
        if n in adict:
            return adict[n]
        adict[n]=5*a(n-1) - 5*a(n-2)
        return adict[n] # David Nacin, Mar 04 2012
    

Formula

a(n) = 5*a(n-1) - 5*a(n-2) for n >= 2, with a(0) = 1 and a(1) = 3.
a(n) = (1/2 - sqrt(5)/10) * (5/2 - sqrt(5)/2)^n + (sqrt(5)/10 + 1/2) * (sqrt(5)/2 + 5/2)^n.
G.f.: (1 - 2*x)/(1 - 5*x + 5*x^2).
a(n-1) = Sum_{k=1..n} binomial(n, k)*F(k)^2. - Benoit Cloitre, Oct 26 2003
a(n) = A090041(n)/2^n. - Paul Barry, Mar 23 2004
The sequence 0, 1, 3, 10, ... with a(n) = (5/2 - sqrt(5)/2)^n/5 + (5/2 + sqrt(5)/2)^n/5 - 2(0)^n/5 is the binomial transform of F(n)^2 (A007598). - Paul Barry, Apr 27 2004
From Paul Barry, Nov 15 2005: (Start)
a(n) = Sum_{k=0..n} Sum_{j=0..n} binomial(n, j)*binomial(j+k, 2k);
a(n) = Sum_{k=0..n} Sum_{j=0..n} binomial(n, k+j)*binomial(k, k-j)2^(n-k-j);
a(n) = Sum_{k=0..n} Sum_{j=0..n-k} binomial(n+k-j, n-k-j)*binomial(k, j)(-1)^j*2^(n-k-j). (End)
a(n) = A111776(n, n). - Abdullahi Umar, Sep 14 2008
a(n) = Sum_{k=0..n} A094441(n,k)*2^k. - Philippe Deléham, Dec 14 2009
a(n+1) = Sum_{k=-floor(n/5)..floor(n/5)} ((-1)^k*binomial(2*n, n+5*k)/2). -Mircea Merca, Jan 28 2012
a(n) = A030191(n) - 2*A030191(n-1). - R. J. Mathar, Jul 19 2012
G.f.: Q(0,u)/x - 1/x, where u=x/(1-2*x), Q(k,u) = 1 + u^2 + (k+2)*u - u*(k+1 + u)/Q(k+1); (continued fraction). - Sergei N. Gladkovskii, Oct 07 2013
For n>=3: a(n) = a(n-1)*(3+(a(n-1) mod a(n-2) - a(n-2) mod a(n-3))/(a(n-2) - a(n-3))). - Bob Selcoe, Mar 17 2014
a(n) = sqrt(5)^(n-1)*(3*S(n-1, sqrt(5)) - sqrt(5)*S(n-2, sqrt(5))) with Chebyshev's S-polynomials (see A049310), where S(-1, x) = 0 and S(-2, x) = -1. This is the (1,1) entry of A^n with the matrix A=(3,1;1,2). See the comment by David Neil McGrath, Nov 18 2014. - Wolfdieter Lang, Dec 04 2014
Conjecture: a(n) = 2*a(n-1) + A039717(n). - Benito van der Zander, Nov 20 2015
a(n) = A189315(n+1) / 10. - Tom Copeland, Dec 08 2015
a(n) = A093129(n) + A030191(n-1). - Gary W. Adamson, Apr 24 2023
E.g.f.: exp(5*x/2)*(5*cosh(sqrt(5)*x/2) + sqrt(5)*sinh(sqrt(5)*x/2))/5. - Stefano Spezia, Jun 03 2024

A085810 Number of three-choice paths along a corridor of height 5, starting from the lower side.

Original entry on oeis.org

1, 2, 5, 13, 35, 96, 266, 741, 2070, 5791, 16213, 45409, 127206, 356384, 998509, 2797678, 7838801, 21963661, 61540563, 172432468, 483144522, 1353740121, 3793094450, 10628012915, 29779028189, 83438979561, 233790820762, 655067316176, 1835457822857, 5142838522138, 14409913303805
Offset: 1

Views

Author

Philippe Deléham, Jul 25 2003

Keywords

Comments

From Svjetlan Feretic, Jun 01 2013: (Start)
A three-choice path is a path whose steps lie in the set {(1,1), (1,0), (1,-1)}.
The paths under consideration "live" in a corridor like 0<=y<=5. Thus, the ordinate of a vertex of a path can take six values (0,1,2,3,4,5), but the height of the corridor is five.
a(1)=1 is the number of paths with zero steps, a(2)=2 is the number of paths with one step, a(3)=5 is the number of paths with two steps, ...
Narrower corridors produce A000012, A000079, A000129, A001519, A057960. An infinitely wide corridor would produce A005773.
(End)
Diagonal sums of A114164. - Paul Barry, Nov 15 2005
C(n):= a(n)*(-1)^n appears in the following formula for the nonpositive powers of rho*sigma, where rho:=2*cos(Pi/7) and sigma:=sin(3*Pi/7)/sin(Pi/7) = rho^2-1 are the ratios of the smaller and larger diagonal length to the side length in a regular 7-gon (heptagon). See the Steinbach reference where the basis <1,rho,sigma> is used in an extension of the rational field. (rho*sigma)^(-n) = C(n) + B(n)*rho + A(n)*sigma,n>=0, with B(n)= A181880(n-2)*(-1)^n, and A(n)= A116423(n+1)*(-1)^(n+1). For the nonnegative powers see A120757(n), |A122600(n-1)| and A181879(n), respectively. See also a comment under A052547.
a(n) is also the number of bi-wall directed polygons with n cells. (The definition of bi-wall directed polygons is given in the article on A122737.)

Crossrefs

Programs

  • Magma
    I:=[1,2,5]; [n le 3 select I[n] else 4*Self(n-1)-3*Self(n-2)-Self(n-3): n in [1..35]]; // Vincenzo Librandi, Sep 18 2015
    
  • Mathematica
    LinearRecurrence[{4,-3,-1}, {1,2,5}, 50] (* Roman Witula, Aug 09 2012 *)
    CoefficientList[Series[(1 - 2 x)/(1 - 4 x + 3 x^2 + x^3), {x, 0, 40}], x] (* Vincenzo Librandi, Sep 18 2015 *)
  • PARI
    x='x+O('x^30); Vec((1-2*x)/(1-4*x+3*x^2+x^3)) \\ G. C. Greubel, Apr 19 2018

Formula

a(n) = 4*a(n-1) - 3*a(n-2) - a(n-3).
From Paul Barry, Nov 15 2005: (Start)
G.f.: (1-2*x)/(1-4*x+3*x^2+x^3).
a(n) = Sum_{k=0..floor(n/2)} (Sum_{j=0..n-k} C(n-k, j)*C(j+k, 2k));
a(n) = Sum_{k=0..floor(n/2)} (Sum_{j=0..n-k} C(n-k, k+j)*C(k, k-j)*2^(n-2k-j));
a(n) = Sum_{k=0..floor(n/2)} (Sum_{j=0..n-2*k} C(n-j, n-2*k-j)*C(k, j)(-1)^j*2^(n-2*k-j)). (End)
a(n-1) = -B(n;-1) = (1/7)*((c(4)-c(1))*(1-c(1))^n + (c(1)-c(2))*(1-c(2))^n + (c(2)-c(4))*(1-c(4))^n), where a(-1):=0, c(j):=2*cos(2*Pi*j/7). Moreover, B(n;d), n in N, d in C, denotes the respective quasi-Fibonacci number defined in comments to A121449 or in Witula-Slota-Warzynski's paper (see also A077998, A006054, A052975, A094789, A121442). - Roman Witula, Aug 09 2012

Extensions

Name corrected and clarified, and offset 1 from Svjetlan Feretic, Jun 01 2013

A123876 Riordan array (1/(1+2*x), x*(1+x)/(1+2*x)^2).

Original entry on oeis.org

1, -2, 1, 4, -5, 1, -8, 18, -8, 1, 16, -56, 41, -11, 1, -32, 160, -170, 73, -14, 1, 64, -432, 620, -377, 114, -17, 1, -128, 1120, -2072, 1666, -704, 164, -20, 1, 256, -2816, 6496, -6608, 3649, -1178, 223, -23, 1, -512, 6912, -19392, 24192, -16722, 7001, -1826, 291, -26, 1
Offset: 0

Views

Author

Paul Barry, Oct 16 2006

Keywords

Comments

Inverse of A116395.
Row sums are A123877.
Diagonal sums are (-1)^n*A085810(n).
Unsigned version is A114164.

Examples

			Triangle begins
    1;
   -2,   1;
    4,  -5,    1;
   -8,  18,   -8,   1;
   16, -56,   41, -11,   1;
  -32, 160, -170,  73, -14, 1;
		

Crossrefs

Programs

  • GAP
    Flat(List([0..12], n-> List([0..n], k-> (-1)^(n-k)*Sum([0..n], j-> 2^(n-j)*Binomial(k,j-k)*Binomial(n,j) ))));
  • Magma
    [(-1)^(n-k)*(&+[2^(n-j)*Binomial(k,j-k)*Binomial(n,j): j in [0..n]]): k in [0..n], n in [0..12]]; // G. C. Greubel, Aug 08 2019
    
  • Mathematica
    Table[(-1)^(n-k)*Sum[2^(n-j)*Binomial[k,j-k]*Binomial[n,j], {j,0,n}], {n,0,12}, {k,0,n}]//Flatten (* G. C. Greubel, Aug 08 2019 *)
  • PARI
    T(n,k) = b=binomial; (-1)^(n-k)*sum(j=0,n, 2^(n-j)*b(k,j-k)* b(n,j)); \\ G. C. Greubel, Aug 08 2019
    
  • Sage
    b=binomial;
    [[(-1)^(n-k)*sum(2^(n-j)*b(k,j-k)*b(n,j) for j in (0..n)) for k in (0..n)] for n in (0..12)] # G. C. Greubel, Aug 08 2019
    

Formula

Number triangle T(n,k) = (-1)^(n-k)*Sum_{j=0..n} C(k,j-k)*C(n,j)*2^(n-j).
T(n,k) = T(n-1,k-1) - 4*T(n-1,k) + T(n-2,k-1) - 4*T(n-2,k), T(0,0) = T(1,1) = 1, T(1,0) = -2, T(n,k) = 0 if k<0 or if k>n. - Philippe Deléham, Jan 18 2014

Extensions

More terms added by G. C. Greubel, Aug 08 2019
Showing 1-3 of 3 results.