A112468 -id:A112468 - cp's OEIS frontend

A173432 NW-SE diagonal sums of Riordan array A112468.

1, 1, 2, 1, 1, 0, 1, 1, 2, 1, 1, 0, 1, 1, 2, 1, 1, 0, 1, 1, 2, 1, 1, 0, 1, 1, 2, 1, 1, 0, 1, 1, 2, 1, 1, 0, 1, 1, 2, 1, 1, 0, 1, 1, 2, 1, 1, 0, 1, 1, 2, 1, 1, 0, 1, 1, 2, 1, 1, 0, 1, 1, 2, 1, 1, 0, 1, 1, 2, 1, 1, 0, 1, 1, 2, 1, 1, 0, 1, 1, 2, 1, 1, 0

Offset: 1

Mark Dols, Feb 18 2010

Matches Fibonacci-sequence, such that F(n) + a(n) and F(n) - a(n) = always even.

Periodic sequence with period: [1,1,2,1,1,0]. - Philippe Deléham, Oct 11 2011

Index entries for linear recurrences with constant coefficients, signature (1,0,-1,1).

Cf. A000045, A024495, A112468, A131531.

[2*Ceiling(n/6)-2*Floor(n/6)+Floor(n/3)-Ceiling(n/3) : n in [1..100]]; // Wesley Ivan Hurt, Sep 27 2014

A173432:=n->2*ceil(n/6)-2*floor(n/6)+floor(n/3)-ceil(n/3): seq(A173432(n), n=1..100); # Wesley Ivan Hurt, Sep 27 2014

Table[2 Ceiling[n/6] - 2 Floor[n/6] + Floor[n/3] - Ceiling[n/3], {n, 50}] (* Wesley Ivan Hurt, Sep 27 2014 *)

Vec(-x*(x^2+1) / ((x-1)*(x+1)*(x^2-x+1)) + O(x^100)) \\ Colin Barker, Sep 26 2014

a(n) = 1 + A131531(n) with inverse binomial transform: 1, 0, 1, -3, 6, -11, 21, .., a signed variant of A024495. - R. J. Mathar, Mar 04 2010
a(2n+1) = a(2n)-a(2n-1)+2, a(2n) = a(2n-1)-a(2n-2) with a(1) = a(2)=1. - Philippe Deléham, Oct 11 2011
a(n) = a(n-1)-a(n-3)+a(n-4). - Colin Barker, Sep 26 2014
G.f.: -x*(x^2+1) / ((x-1)*(x+1)*(x^2-x+1)). - Colin Barker, Sep 26 2014
a(n) = 2*ceiling(n/6)-2*floor(n/6)+floor(n/3)-ceiling(n/3). - Wesley Ivan Hurt, Sep 27 2014
a(n) = A001045(n) - A111927(n). - Paul Curtz, Dec 16 2020

Corrected and extended by Philippe Deléham, Oct 11 2011

A173398 (A007318 + A112468)/2.

Original entry on oeis.org

1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 4, 2, 1, 1, 1, 7, 4, 3, 1, 1, 1, 11, 7, 9, 3, 1, 1, 1, 16, 11, 22, 9, 4, 1, 1, 1, 22, 16, 46, 22, 16, 4, 1, 1, 1, 29, 22, 86, 46, 50, 16, 5, 1, 1, 1, 37, 29, 148, 86, 130, 50, 25, 5, 1

Offset: 1

Mark Dols, Feb 17 2010, Feb 21 2010

If first row is omitted,same as A131054.

			Array starts:
1,1,1,1
1,1,2,2
1,1,4,4
1,1,7,7

Cf. A007318, A112468, A131054

A173402 (A007318 - A112468)/2.

Original entry on oeis.org

0, 0, 0, 0, 1, 0, 0, 2, 1, 0, 0, 3, 2, 2, 0, 0, 4, 3, 6, 2, 0, 0, 5, 4, 13, 6, 3, 0, 0, 6, 5, 24, 13, 12, 3, 0, 0, 7, 6, 40, 24, 34, 12, 4, 0, 0, 8, 7, 62, 40, 80, 34, 20, 4, 0, 0, 9, 8, 91, 62, 166, 80, 70, 20, 5, 0, 0, 10, 9, 128, 91, 314, 166, 200, 70, 30, 5, 0

Offset: 1

Mark Dols, Feb 17 2010

Same as A131053, but with additional row/column of zeros.

			Array starts:
0,0,0,0
0,1,1,2
0,2,2,6
0,3,3,13

Cf. A007318, A112468, A131054, A131053.

A279008 Triangle read by rows: 2-analog of triangle A112468.

Original entry on oeis.org

1, 1, 1, 2, 0, 1, 2, 2, -1, 1, 4, 0, 3, -2, 1, 4, 4, -3, 5, -3, 1, 8, 0, 7, -8, 8, -4, 1, 8, 8, -7, 15, -16, 12, -5, 1, 16, 0, 15, -22, 31, -28, 17, -6, 1, 16, 16, -15, 37, -53, 59, -45, 23, -7, 1, 32, 0, 31, -52, 90, -112, 104, -68, 30, -8, 1

Offset: 0

N. J. A. Sloane, Dec 07 2016

			Triangle begins:
1,
1,1,
2,0,1,
2,2,-1,1,
4,0,3,-2,1,
4,4,-3,5,-3,1,
8,0,7,-8,8,-4,1,
8,8,-7,15,-16,12,-5,1,
16,0,15,-22,31,-28,17,-6,1,
16,16,-15,37,-53,59,-45,23,-7,1,
32,0,31,-52,90,-112,104,-68,30,-8,1,
...

Kyu-Hwan Lee, Se-jin Oh, Catalan triangle numbers and binomial coefficients, arXiv:1601.06685 [math.CO], 2016.

Cf. A112468.

A033484 a(n) = 3*2^n - 2.

Original entry on oeis.org

1, 4, 10, 22, 46, 94, 190, 382, 766, 1534, 3070, 6142, 12286, 24574, 49150, 98302, 196606, 393214, 786430, 1572862, 3145726, 6291454, 12582910, 25165822, 50331646, 100663294, 201326590, 402653182, 805306366, 1610612734, 3221225470

Offset: 0

N. J. A. Sloane

Number of nodes in rooted tree of height n in which every node (including the root) has valency 3.
Pascal diamond numbers: reflect Pascal's n-th triangle vertically and sum all elements. E.g., a(3)=1+(1+1)+(1+2+1)+(1+1)+1. - Paul Barry, Jun 23 2003
Number of 2 X n binary matrices avoiding simultaneously the right-angled numbered polyomino patterns (ranpp) (00;1), (10;0) and (11;0). An occurrence of a ranpp (xy;z) in a matrix A=(a(i,j)) is a triple (a(i1,j1), a(i1,j2), a(i2,j1)) where i1 < i2 and j1 < j2 and these elements are in the same relative order as those in the triple (x,y,z). - Sergey Kitaev, Nov 11 2004
Binomial and inverse binomial transform are in A001047 (shifted) and A122553. - R. J. Mathar, Sep 02 2008
a(n) = (Sum_{k=0..n-1} a(n)) + (2*n + 1); e.g., a(3) = 22 = (1 + 4 + 10) + 7. - Gary W. Adamson, Jan 21 2009
Let P(A) be the power set of an n-element set A and R be a relation on P(A) such that for all x, y of P(A), xRy if either 0) x is a proper subset of y or y is a proper subset of x and x and y are disjoint, or 1) x equals y. Then a(n) = |R|. - Ross La Haye, Mar 19 2009
Equals the Jacobsthal sequence A001045 convolved with (1, 3, 4, 4, 4, 4, 4, ...). - Gary W. Adamson, May 24 2009
Equals the eigensequence of a triangle with the odd integers as the left border and the rest 1's. - Gary W. Adamson, Jul 24 2010
An elephant sequence, see A175655. For the central square four A[5] vectors, with decimal values 58, 154, 178 and 184, lead to this sequence. For the corner squares these vectors lead to the companion sequence A097813. - Johannes W. Meijer, Aug 15 2010
a(n+2) is the integer with bit string "10" * "1"^n * "10".
a(n) = A027383(2n). - Jason Kimberley, Nov 03 2011
a(n) = A153893(n)-1 = A083416(2n+1). - Philippe Deléham, Apr 14 2013
a(n) = A082560(n+1,A000079(n)) = A232642(n+1,A128588(n+1)). - Reinhard Zumkeller, May 14 2015
a(n) is the sum of the entries in the n-th and (n+1)-st rows of Pascal's triangle minus 2. - Stuart E Anderson, Aug 27 2017
Also the number of independent vertex sets and vertex covers in the complete tripartite graph K_{n,n,n}. - Eric W. Weisstein, Sep 21 2017
Apparently, a(n) is the least k such that the binary expansion of A000045(k) ends with exactly n+1 ones. - Rémy Sigrist, Sep 25 2021
a(n) is the number of root ancestral configurations for a pair consisting of a matching gene tree and species tree with the modified lodgepole shape and n+1 cherry nodes. - Noah A Rosenberg, Jan 16 2025

			Binary: 1, 100, 1010, 10110, 101110, 1011110, 10111110, 101111110, 1011111110, 10111111110, 101111111110, 1011111111110, 10111111111110,
G.f. = 1 + 4*x + 10*x^2 + 22*x^3 + 46*x^4 + 94*x^5 + 190*x^6 + 382*x^7 + ...

J. Riordan, Series-parallel realization of the sum modulo 2 of n switching variables, in Claude Elwood Shannon: Collected Papers, edited by N. J. A. Sloane and A. D. Wyner, IEEE Press, NY, 1993, pp. 877-878.

G. C. Greubel, Table of n, a(n) for n = 0..1000
Paul Barry, The Triple Riordan Group, arXiv:2412.05461 [math.CO], 2024. See pp. 3, 10.
Dennis E. Davenport, Shakuan K. Frankson, Louis W. Shapiro, and Leon C. Woodson, An Invitation to the Riordan Group, Enum. Comb. Appl. (2024) Vol. 4, No. 3, Art. #S2S1. See p. 22.
Erik D. Demaine et al., Picture-Hanging Puzzles, arXiv:1203.3602 [cs.DS], 2012, 2014. See p. 8, actually length(Sn) is 2^n+2^(n-1)-2, that is, a(n-1).
Sergey Kitaev, On multi-avoidance of right angled numbered polyomino patterns, Integers: Electronic Journal of Combinatorial Number Theory 4 (2004), A21, 20pp.
Ross La Haye, Binary Relations on the Power Set of an n-Element Set, Journal of Integer Sequences, Vol. 12 (2009), Article 09.2.6.
Egor Lappo and Noah A. Rosenberg, A lattice structure for ancestral configurations arising from the relationship between gene trees and species trees, Adv. Appl. Math. 343 (2024), 65-81.
Eric Weisstein's World of Mathematics, Complete Tripartite Graph
Eric Weisstein's World of Mathematics, Independent Vertex Set
Eric Weisstein's World of Mathematics, Vertex Cover
Index entries for linear recurrences with constant coefficients, signature (3,-2).

Cf. A000045, A007283, A036563, A131110, A051597, A132776, A001045.
Cf. A000918.
Cf. A112468, A112739.
Cf. A082560, A000079, A232642, A128588.

List([0..35], n-> 3*2^n -2); # G. C. Greubel, Nov 18 2019

a033484 = (subtract 2) . (* 3) . (2 ^)
a033484_list = iterate ((subtract 2) . (* 2) . (+ 2)) 1
-- Reinhard Zumkeller, Apr 23 2013

[3*2^n-2: n in [1..36]]; // Vincenzo Librandi, Nov 22 2010

with(combinat):a:=n->stirling2(n,2)+stirling2(n+1,2): seq(a(n), n=1..35); # Zerinvary Lajos, Oct 07 2007
a[0]:=0:a[1]:=1:for n from 2 to 50 do a[n]:=(a[n-1]+1)*2 od: seq(a[n], n=1..35); # Zerinvary Lajos, Feb 22 2008

Table[3 2^n - 2, {n, 0, 35}] (* Vladimir Joseph Stephan Orlovsky, Dec 16 2008 *)
(* Start from Eric W. Weisstein, Sep 21 2017 *)
3*2^Range[0, 35] - 2
LinearRecurrence[{3, -2}, {1, 4}, 36]
CoefficientList[Series[(1+x)/(1-3x+2x^2), {x, 0, 35}], x] (* End *)

a(n) = 3<Charles R Greathouse IV, Nov 02 2011

[3*2^n -2 for n in (0..35)] # G. C. Greubel, Nov 18 2019

G.f.: (1+x)/(1-3*x+2*x^2).
a(n) = 2*(a(n-1) + 1) for n>0, with a(0)=1.
a(n) = A007283(n) - 2.
G.f. is equivalent to (1-2*x-3*x^2)/((1-x)*(1-2*x)*(1-3*x)). - Paul Barry, Apr 28 2004
From Reinhard Zumkeller, Oct 09 2004: (Start)
A099257(a(n)) = A099258(a(n)) = a(n).
a(n) = 2*A055010(n) = (A068156(n) - 1)/2. (End)
Row sums of triangle A130452. - Gary W. Adamson, May 26 2007
Row sums of triangle A131110. - Gary W. Adamson, Jun 15 2007
Binomial transform of (1, 3, 3, 3, ...). - Gary W. Adamson, Oct 17 2007
Row sums of triangle A051597 (a triangle generated from Pascal's rule given right and left borders = 1, 2, 3, ...). - Gary W. Adamson, Nov 04 2007
Equals A132776 * [1/1, 1/2, 1/3, ...]. - Gary W. Adamson, Nov 16 2007
a(n) = Sum_{k=0..n} A112468(n,k)*3^k. - Philippe Deléham, Feb 23 2014
a(n) = -(2^n) * A036563(1-n) for all n in Z. - Michael Somos, Jul 04 2017
E.g.f.: 3*exp(2*x) - 2*exp(x). - G. C. Greubel, Nov 18 2019

A048473 a(0)=1, a(n) = 3a(n-1) + 2; a(n) = 23^n - 1.

Original entry on oeis.org

1, 5, 17, 53, 161, 485, 1457, 4373, 13121, 39365, 118097, 354293, 1062881, 3188645, 9565937, 28697813, 86093441, 258280325, 774840977, 2324522933, 6973568801, 20920706405, 62762119217, 188286357653, 564859072961, 1694577218885, 5083731656657, 15251194969973, 45753584909921

Offset: 0

Clark Kimberling

The number of triangles (of all sizes, including holes) in Sierpiński's triangle after n inscriptions. - Lee Reeves, May 10 2004
The sequence is not only related to Sierpiński's triangle, but also to "Floret's cube" and the quaternion factor space Q X Q / {(1,1), (-1,-1)}. It can be written as a_n = ves((A+1)x)^n) as described at the Math Forum Discussions link. - Creighton Dement, Jul 28 2004
Relation to C(n) = Collatz function iteration using only odd steps: If we look for record subsequences where C(n) > n, this subsequence starts at 2^n - 1 and stops at the local maximum of 2*3^n - 1. Examples: [3,5], [7,11,17], [15,23,35,53], ..., [127,191,287,431,647,971,1457]. - Lambert Klasen, Mar 11 2005
Group the natural numbers so that the (2n-1)-th group sum is a multiple of the (2n)-th group containing one term. (1,2),(3),(4,5,6,7,8,9,10,11),(12),(13,14,15,16,17,18,19,...,38),(39),(40,41,...,118,119),(120), (121,122,123,...) ... a(n) = {the sum of the terms of (2n-1)-th group}/{the term of (2n)th group}. The first term of the odd numbered group is given by A003462. The only term of even numbered group is given by A029858. - Amarnath Murthy, Aug 01 2005
a(n)+1 = A008776(n); it appears that this gives the number of terms in the (n+1)-th "gap" of numbers missing in A171884. - M. F. Hasler, May 09 2013
Sum of n-th row of triangle of powers of 3: 1; 1 3 1; 1 3 9 3 1; 1 3 9 27 9 3 1; ... - Philippe Deléham, Feb 23 2014
For n >= 3, also the number of dominating sets in the n-helm graph. - Eric W. Weisstein, May 28 2017
The number of elements of length <= n in the free group on two generators. - Anton Mellit, Aug 10 2017
In general, a first order inhomogeneous recurrence of the form s(0) = a, s(n) = m*s(n-1) + k, n>0, will have a closed form of a*m^n + ((m^n-1)/(m-1))*k. - Gary Detlefs, Jun 07 2024

			a(0) = 1;
a(1) = 1 + 3 + 1 = 5;
a(2) = 1 + 3 + 9 + 3 + 1 = 17;
a(3) = 1 + 3 + 9 + 27 + 9 + 3 + 1 = 53; etc. - _Philippe Deléham_, Feb 23 2014

Theoni Pappas, Math Stuff, Wide World Publ/Tetra, San Carlos CA, page 15, 2002.

Vincenzo Librandi, Table of n, a(n) for n = 0..1000
Creighton Dement, A paper on floretions and quaternions, some questions, The Math Forum.
Eric Weisstein's World of Mathematics, Dominating Set.
Eric Weisstein's World of Mathematics, Helm Graph.
Index entries for linear recurrences with constant coefficients, signature (4,-3).

a(n)=T(2,n), array T given by A048471.
Cf. A003462, A029858. A column of A119725.
Cf. A008776, A010684, A046055, A112468, A112739, A134347, A171884.

[2*3^n - 1: n in [0..30]]; // Vincenzo Librandi, Sep 23 2011

g:= ((1+x)/(1-3*x)/(1-x)): gser:=series(g, x=0, 43): seq(coeff(gser, x, n), n=0..30); # Zerinvary Lajos, Jan 11 2009; typo fixed by Marko Mihaily, Mar 07 2009

NestList[3 # + 2 &, 1, 30] (* Harvey P. Dale, Mar 06 2012 *)
LinearRecurrence[{4, -3}, {1, 5}, 30] (* Harvey P. Dale, Mar 06 2012 *)
Table[2 3^n - 1, {n, 20}] (* Eric W. Weisstein, May 28 2017 *)
2 3^Range[20] - 1 (* Eric W. Weisstein, May 28 2017 *)

first(m)=vector(m,n,n--;2*3^n - 1) \\ Anders Hellström, Dec 11 2015

n-th difference of a(n), a(n-1), ..., a(0) is 2^(n+1) for n=1, 2, 3, ...
a(0)=1, a(n) = a(n-1) + 3^n + 3^(n-1). - Lee Reeves, May 10 2004
a(n) = (3^n + 3^(n+1) - 2)/2. - Creighton Dement, Jul 31 2004
(1, 5, 17, 53, 161, ...) = Ternary (1, 12, 122, 1222, 12222, ...). - Gary W. Adamson, May 02 2005
Row sums of triangle A134347. Also, binomial transform of A046055: (1, 4, 8, 16, 32, 64, ...); and double binomial transform of A010684: (1, 3, 1, 3, 1, 3, ...). - Gary W. Adamson, Oct 21 2007
G.f.: (1+x)/((1-3*x)*(1-x)). - Zerinvary Lajos, Jan 11 2009; corrected by R. J. Mathar, Jan 21 2009
a(0)=1, a(1)=5, a(n) = 4*a(n-1) - 3*a(n-2). - Harvey P. Dale, Mar 06 2012
a(n) = Sum_{k=0..n} A112468(n,k)*4^k. - Philippe Deléham, Feb 23 2014
E.g.f.: exp(x)*(2*exp(2*x) - 1). - Elmo R. Oliveira, Mar 08 2025

Better description from Amarnath Murthy, May 27 2001

A112555 Triangle T, read by rows, such that the m-th matrix power satisfies T^m = I + m*(T - I) and consequently the matrix logarithm satisfies log(T) = T - I, where I is the identity matrix.

Original entry on oeis.org

1, 1, 1, -1, 0, 1, 1, 1, 1, 1, -1, -2, -2, 0, 1, 1, 3, 4, 2, 1, 1, -1, -4, -7, -6, -3, 0, 1, 1, 5, 11, 13, 9, 3, 1, 1, -1, -6, -16, -24, -22, -12, -4, 0, 1, 1, 7, 22, 40, 46, 34, 16, 4, 1, 1, -1, -8, -29, -62, -86, -80, -50, -20, -5, 0, 1, 1, 9, 37, 91, 148, 166, 130, 70, 25, 5, 1, 1, -1, -10, -46, -128, -239, -314, -296, -200, -95, -30, -6, 0

Offset: 0

Paul D. Hanna, Sep 21 2005

Signed version of A108561. Row sums equal A084247. The n-th unsigned row sum = A001045(n) + 1 (Jacobsthal numbers). Central terms of even-indexed rows are a signed version of A072547. Sums of squared terms in rows yields A112556, which equals the first differences of the unsigned central terms.
Equals row reversal of triangle A112468 up to sign, where A112468 is the Riordan array (1/(1-x),x/(1+x)). - Paul D. Hanna, Jan 20 2006
The elements here match A108561 in absolute value, but the signs are crucial to the properties that the matrix A112555 exhibits; the main property being T^m = I + m*(T - I). This property is not satisfied by A108561. - Paul D. Hanna, Nov 10 2009
Eigensequence of the triangle = A140165. - Gary W. Adamson, Jan 30 2009
Triangle T(n,k), read by rows, given by [1,-2,0,0,0,0,0,0,0,...] DELTA [1,0,-1,0,0,0,0,0,0,...] where DELTA is the operator defined in A084938. - Philippe Deléham, Sep 17 2009

			Triangle T begins:
   1;
   1,   1;
  -1,   0,   1;
   1,   1,   1,   1;
  -1,  -2,  -2,   0,   1;
   1,   3,   4,   2,   1,   1;
  -1,  -4,  -7,  -6,  -3,   0,   1;
   1,   5,  11,  13,   9,   3,   1,   1;
  -1,  -6, -16, -24, -22, -12,  -4,   0,   1;
   1,   7,  22,  40,  46,  34,  16,   4,   1,   1;
  -1,  -8, -29, -62, -86, -80, -50, -20,  -5,   0,   1;
  ...
Matrix log, log(T) = T - I, begins:
   0;
   1,  0;
  -1,  0,  0;
   1,  1,  1,  0;
  -1, -2, -2,  0,  0;
   1,  3,  4,  2,  1,  0;
  -1, -4, -7, -6, -3,  0,  0;
  ...
Matrix inverse, T^-1 = 2*I - T, begins:
   1;
  -1,  1;
   1,  0,  1;
  -1, -1, -1,  1;
   1,  2,  2,  0,  1;
  -1, -3, -4, -2, -1,  1;
  ...
where adjacent sums in row n of T^-1 gives row n+1 of T.

Paul D. Hanna, Table of n, a(n) for n = 0..1080

Cf. A112468 (reversed rows), A108561, A084247, A001045, A072547, A112556, A279006, A140165.
From Philippe Deléham, Oct 07 2009: (Start)
Sum_{k=0..n} T(n, k)*x^(n-k) = A165760(n), A165759(n), A165758(n), A165755(n), A165752(n), A165746(n), A165751(n), A165747(n), A000007(n), A000012(n), A084247(n), A165553(n), A165622(n), A165625(n), A165638(n), A165639(n), A165748(n), A165749(n), A165750(n) for x= -9,-8,-7,-6,-5,-4,-3,-2,-1,0,1,2,3,4,5,6,7,8,9 respectively.
Sum_{k=0..n} T(n, k)*x^k = A166157(n), A166153(n), A166152(n), A166149(n), A166036(n), A166035(n), A091004(n+1), A077925(n), A000007(n), A165326(n), A084247(n), A165405(n), A165458(n), A165470(n), A165491(n), A165505(n), A165506(n), A165510(n), A165511(n) for x = -9,-8,-7,-6,-5,-4,-3,-2,-1,0,1,2,3,4,5,6,7,8,9 respectively.  (End)

Clear[t]; t[0, 0] = 1; t[n_, 0] = (-1)^(Mod[n, 2]+1); t[n_, n_] = 1; t[n_, k_] /; k == n-1 := t[n, k] = Mod[n, 2]; t[n_, k_] /; 0 < k < n-1 := t[n, k] = -t[n-1, k] - t[n-1, k-1]; Table[t[n, k], {n, 0, 13}, {k, 0, n}] // Flatten (* Jean-François Alcover, Mar 06 2013 *)

{T(n,k)=local(x=X+X*O(X^n),y=Y+Y*O(Y^k)); polcoeff( polcoeff( (1+2*x+x*y)/((1-x*y)*(1+x+x*y)),n,X),k,Y)}
for(n=0,12, for(k=0,n, print1(T(n,k),", "));print(""))

{T(n,k)=local(m=1,x=X+X*O(X^n),y=Y+Y*O(Y^k)); polcoeff(polcoeff(1/(1-x*y) + m*x/((1-x*y)*(1+x+x*y)),n,X),k,Y)}
for(n=0,12, for(k=0,n, print1(T(n,k),", "));print(""))

def A112555_row(n):
    @cached_function
    def prec(n, k):
        if k==n: return 1
        if k==0: return 0
        return -prec(n-1,k-1)-sum(prec(n,k+i-1) for i in (2..n-k+1))
    return [(-1)^(n-k+1)*prec(n+1, k) for k in (1..n+1)]
for n in (0..12): print(A112555_row(n)) # Peter Luschny, Mar 16 2016

G.f.: 1/(1-x*y) + x/((1-x*y)*(1+x+x*y)).
The m-th matrix power T^m has the g.f.: 1/(1-x*y) + m*x/((1-x*y)*(1+x+x*y)).
Recurrence: T(n, k) = [T^-1](n-1, k) + [T^-1](n-1, k-1), where T^-1 is the matrix inverse of T.
From Peter Bala, Jun 23 2025: (Start)
T^z = exp(z*log(T)) = I + z*(T - I) for arbitrary complex z, where I is the identity array.
exp(T) = e*T. More generally, exp(z * T^u) = exp(z)*T^(u*z) = exp(z)*I + u*z*exp(z)*(T - I).
sin(z * T^u) =  sin(z)*I + u*z*cos(z)*(T - I).
cos(z * T^u) =  cos(z)*I - u*z*sin(z)*(T - I).
tan(z * T^u) =  tan(z)*I + u*z*sec(z)^2*(T - I).
Chebyshev_T(n, T^u) = I + (n^2)*u*(T - I) and
Legendre_P(n, T^u) = I + (n*(n+1)/2)*u*(T - I).
More generally, for n >= 1,
Chebyshev_T(n, z*T^u) = Chebyshev_T(n, z)*I + n*u*z*Chebyshev_U(n-1, z)*(T - I) and
Legendre_P(n, z*T^u) = Legendre_P(n, z)*I + u*Q(n, z)*(T - I), where Q(1, z) = z and Q(n, z) = n*Legendre_P(n, z) + Q(n-1, z)/z for n > 1.
All the above properties may also hold for the triangle A279006. (End)

A020989 a(n) = (5*4^n - 2)/3.

Original entry on oeis.org

1, 6, 26, 106, 426, 1706, 6826, 27306, 109226, 436906, 1747626, 6990506, 27962026, 111848106, 447392426, 1789569706, 7158278826, 28633115306, 114532461226, 458129844906, 1832519379626, 7330077518506, 29320310074026, 117281240296106, 469124961184426

Offset: 0

N. J. A. Sloane

Let Zb[n](x) = polynomial in x whose coefficients are the corresponding digits of index n in base b. Then Z2[(5*4^k-2)/3](1/tau) = 1. - Marc LeBrun, Mar 01 2001
a(n)=number of derangements of [2n+2] with runs consisting of consecutive integers. E.g., a(1)=6 because the derangements of {1,2,3,4} with runs consisting of consecutive integers are 4|123, 34|12, 4|3|12, 4|3|2|1, 234|1 and 34|2|1 (the bars delimit the runs). - Emeric Deutsch, May 26 2003
Sum of n-th row of triangle of powers of 4: 1; 1 4 1; 1 4 16 4 1; 1 4 16 64 16 4 1; ... - Philippe Deléham, Feb 22 2014

			a(0) = 1;
a(1) = 1 + 4 + 1 = 6;
a(2) = 1 + 4 + 16 + 4 + 1 = 26;
a(3) = 1 + 4 + 16 + 64 + 16 + 4 + 1 = 106; etc. - _Philippe Deléham_, Feb 22 2014

Clifford A. Pickover, A Passion for Mathematics, John Wiley & Sons, Inc., 2005, at pp. 104 and 311 (for "Mr. Zanti's ants").

Vincenzo Librandi, Table of n, a(n) for n = 0..1000
John Brillhart and Patrick Morton, Über Summen von Rudin-Shapiroschen Koeffizienten, Illinois Journal of Mathematics, volume 22, issue 1, 1978, pages 126-148. See Satz 9(a) page 132 and Satz 21 page 144 m_k = a(k).
John Brillhart and Patrick Morton, A case study in mathematical research: the Golay-Rudin-Shapiro sequence, Amer. Math. Monthly, 103 (1996) 854-869, see page 858 m_k = a(k).
Kevin Ryde, Iterations of the Alternate Paperfolding Curve, see index "m_k".
Index entries for linear recurrences with constant coefficients, signature (5,-4).

Cf. A002450, A020988, A112468.

A column of A119726.

[(5*4^n-2)/3: n in [0..25]]; // Vincenzo Librandi, Jul 24 2011

NestList[4#+2&,1,25] (* Harvey P. Dale, Jul 23 2011 *)

a(n)=(5*4^n-2)/3 \\ Charles R Greathouse IV, Jul 02 2013

a(0) = 1, a(n) = 4*a(n-1) + 2; a(n) = a(n-1)+ 5*{4^(n-1)}; - Amarnath Murthy, May 27 2001
G.f.: (1+x)/((1-4*x)*(1-x)). - Zerinvary Lajos, Jan 11 2009; adapted to offset by Philippe Deléham, Feb 22 2014
a(n) = 5*a(n-1) - 4*a(n-2), a(0) = 1, a(1) = 6. - Philippe Deléham, Feb 22 2014
a(n) = Sum_{k=0..n} A112468(n,k)*5^k. - Philippe Deléham, Feb 22 2014
a(n) = (A020988(n) + A020988(n+1))/2. - Yosu Yurramendi, Jan 23 2017
a(n) = A002450(n) + A002450(n+1). - Yosu Yurramendi, Jan 24 2017
a(n) = 10*A020988(n-1) + 6. - Yosu Yurramendi, Feb 19 2017
E.g.f.: exp(x)*(5*exp(3*x) - 2)/3. - Stefano Spezia, Apr 10 2022

A057651 a(n) = (3*5^n - 1)/2.

Original entry on oeis.org

1, 7, 37, 187, 937, 4687, 23437, 117187, 585937, 2929687, 14648437, 73242187, 366210937, 1831054687, 9155273437, 45776367187, 228881835937, 1144409179687, 5722045898437, 28610229492187, 143051147460937, 715255737304687, 3576278686523437, 17881393432617187, 89406967163085937

Offset: 0

N. J. A. Sloane, Oct 13 2000

Sum of n-th row of triangle of powers of 5: 1; 1 5 1; 1 5 25 5 1 ; 1 5 25 125 25 5 1; ... - Philippe Deléham, Feb 23 2014

			a(0) = 1;
a(1) = 1 + 5 + 1 = 7;
a(2) = 1 + 5 + 25 + 5 + 1 = 37;
a(3) = 1 + 5 + 25 + 125 + 25 + 5 + 1 = 187; etc. - _Philippe Deléham_, Feb 23 2014
G.f. = 1 + 7*x + 37*x^2 + 187*x^3 + 937*x^4 + 4687*x^5 + 23437*x^6 + ...

Vincenzo Librandi, Table of n, a(n) for n = 0..1000
Index entries for linear recurrences with constant coefficients, signature (6,-5).

Cf. A024049, A081655, A097162, A198762.

Cf. A020989, A061801, A112468, A112739.

[(3*5^n-1)/2: n in [0..30]]; // Vincenzo Librandi, Oct 30 2011

G.f=(1+x)/(1-5*x)/(1-x): gser:=series(g, x=0, 43): seq(coeff(gser, x, n), n=0..30); # Zerinvary Lajos, Jan 11 2009

Table[(3*5^n-1)/2,{n,0,30}] (* Vladimir Joseph Stephan Orlovsky, Jan 29 2012 *)

a(n)=3*5^n\2 \\ Charles R Greathouse IV, Dec 22 2011

G.f.: (1+x)/(1 - 6*x + 5*x^2).
a(0)=1, a(n) = 5*a(n-1) + 2; a(n) = a(n-1) + 6*(5^(n-1)). - Amarnath Murthy, May 27 2001
a(n) = 6*a(n-1) - 5*a(n-2), n > 1. - Vincenzo Librandi, Oct 30 2011
a(n) = Sum_{k=0..n} A112468(n,k)*6^k. - Philippe Deléham, Feb 23 2014
From Elmo R. Oliveira, Mar 29 2025: (Start)
E.g.f.: exp(x)*(3*exp(4*x) - 1)/2.
a(n) = A097162(2*n) = A198762(n)/2. (End)

A112467 Riordan array ((1-2x)/(1-x), x/(1-x)).

Original entry on oeis.org

1, -1, 1, -1, 0, 1, -1, -1, 1, 1, -1, -2, 0, 2, 1, -1, -3, -2, 2, 3, 1, -1, -4, -5, 0, 5, 4, 1, -1, -5, -9, -5, 5, 9, 5, 1, -1, -6, -14, -14, 0, 14, 14, 6, 1, -1, -7, -20, -28, -14, 14, 28, 20, 7, 1, -1, -8, -27, -48, -42, 0, 42, 48, 27, 8, 1, -1, -9, -35, -75, -90, -42, 42, 90, 75, 35, 9, 1, -1, -10, -44, -110, -165, -132, 0, 132, 165, 110

Offset: 0

Paul Barry, Sep 06 2005

Row sums are A000007. Diagonal sums are -F(n-2). Inverse is A112468. T(2n,n)=0.
(-1,1)-Pascal triangle. - Philippe Deléham, Aug 07 2006
Apart from initial term, same as A008482. - Philippe Deléham, Nov 07 2006
Each column equals the cumulative sum of the previous column. - Mats Granvik, Mar 15 2010
Reading along antidiagonals generates in essence rows of A192174. - Paul Curtz, Oct 02 2011
Triangle T(n,k), read by rows, given by (-1,2,0,0,0,0,0,0,0,...) DELTA (1,0,0,0,0,0,0,0,0,...) where DELTA is the operator defined in A084938. - Philippe Deléham, Nov 01 2011

			Triangle starts:
    1;
   -1,  1;
   -1,  0,   1;
   -1, -1,   1,   1;
   -1, -2,   0,   2,   1;
   -1, -3,  -2,   2,   3,   1;
   -1, -4,  -5,   0,   5,   4,  1;
   -1, -5,  -9,  -5,   5,   9,  5,  1;
   -1, -6, -14, -14,   0,  14, 14,  6,  1;
   -1, -7, -20, -28, -14,  14, 28, 20,  7,  1;
   -1, -8, -27, -48, -42,   0, 42, 48, 27,  8, 1;
   -1, -9, -35, -75, -90, -42, 42, 90, 75, 35, 9, 1;
  ...
From _Paul Barry_, Apr 08 2011: (Start)
Production matrix begins:
   1,  1,
  -2, -1,  1,
   2,  0, -1,  1,
  -2,  0,  0, -1,  1,
   2,  0,  0,  0, -1,  1,
  -2,  0,  0,  0,  0, -1,  1,
   2,  0,  0,  0,  0,  0, -1,  1
  ... (End)

G. C. Greubel, Rows n = 0..100 of triangle, flattened
Elena Barcucci, Antonio Bernini, Stefano Bilotta, and Renzo Pinzani, Restricting Dyck Paths and 312-avoiding Permutations, arXiv:2307.02837 [math.CO], 2023. Mentions this sequence.
Paul Barry, A Note on Riordan Arrays with Catalan Halves, arXiv:1912.01124 [math.CO], 2019.
Emeric Deutsch, L. Ferrari and S. Rinaldi, Production Matrices, Advances in Mathematics, 34 (2005) pp. 101-122.
D. Foata and G.-N. Han, The doubloon polynomial triangle, Ram. J. 23 (2010), 107-126.
Jack Ramsay, On Arithmetical Triangles, The Pulse of Long Island, June 1965. [Mentions application to design of antenna arrays. Annotated scan.]

Same first 3 rows as in A054525.

Cf. A008482, A037012, A080232, A112466, A112467, A174293, A174294, A174295, A174296, A174297.

[n eq 0 select 1 else (2*k-n)*Binomial(n,k)/n: k in [0..n], n in [0..10]]; // G. C. Greubel, Dec 04 2019

seq(seq( `if`(n=0, 1, (2*k-n)*binomial(n,k)/n), k=0..n), n=0..10); # G. C. Greubel, Dec 04 2019

T[n_, k_]= If[n==0, 1, ((2*k-n)/n)*Binomial[n, k]]; Table[T[n, k], {n, 0, 10}, {k, 0, n}]//Flatten (* Roger L. Bagula, Feb 16 2009; modified by G. C. Greubel, Dec 04 2019 *)

T(n, k) = if(n==0, 1, (2*k-n)*binomial(n,k)/n ); \\ G. C. Greubel, Dec 04 2019

def T(n, k):
    if (n==0): return 1
    else: return (2*k-n)*binomial(n,k)/n
[[T(n, k) for k in (0..n)] for n in (0..10)] # G. C. Greubel, Dec 04 2019

Number triangle T(n, k) = binomial(n, n-k) - 2*binomial(n-1, n-k-1).
Sum_{k=0..n} T(n, k)*x^k = (x-1)*(x+1)^(n-1). - Philippe Deléham, Oct 03 2005
T(n,k) = ((2*k-n)/n)*binomial(n, k), with T(0,0)=1. - Roger L. Bagula, Feb 16 2009; modified by G. C. Greubel, Dec 04 2019
T(n,k) = T(n-1,k-1) + T(n-1,k) with T(0,0)=1, T(1,0)=-1, T(n,k)=0 for k>n or for n<0. - Philippe Deléham, Nov 01 2011
G.f.: (1-2x)/(1-(1+y)*x). - Philippe Deléham, Dec 15 2011
Sum_{k=0..n} T(n,k)*x^k = A000007(n), A133494(n), A081294(n), A005053(n), A067411(n), A199661(n), A083233(n) for x = 1, 2, 3, 4, 5, 6, 7, respectively. - Philippe Deléham, Dec 15 2011
exp(x) * e.g.f. for row n = e.g.f. for diagonal n. For example, for n = 3 we have exp(x)*(-1 - x + x^2/2! + x^3/3!) = -1 - 2*x - 2*x^2/2! + 5*x^4/4! + 14*x^5/5! + .... The same property holds more generally for Riordan arrays of the form ( f(x), x/(1 - x) ). - Peter Bala, Dec 21 2014
Sum_{k=0..n} T(n,k) = 0^n = A000007(n). - G. C. Greubel, Dec 04 2019

cp's OEIS Frontend

A173432 NW-SE diagonal sums of Riordan array A112468.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Magma

Maple

Mathematica

PARI

Formula

Extensions

A173398 (A007318 + A112468)/2.

Views

Author

Keywords

Comments

Examples

Crossrefs

A173402 (A007318 - A112468)/2.

Views

Author

Keywords

Comments

Examples

Crossrefs

A279008 Triangle read by rows: 2-analog of triangle A112468.

Views

Author

Keywords

Examples

Links

Crossrefs

A033484 a(n) = 3*2^n - 2.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

GAP

Haskell

Magma

Maple

Mathematica

PARI

Sage

Formula

A048473 a(0)=1, a(n) = 3*a(n-1) + 2; a(n) = 2*3^n - 1.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Magma

Maple

Mathematica

PARI

Formula

Extensions

A112555 Triangle T, read by rows, such that the m-th matrix power satisfies T^m = I + m*(T - I) and consequently the matrix logarithm satisfies log(T) = T - I, where I is the identity matrix.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

A048473 a(0)=1, a(n) = 3a(n-1) + 2; a(n) = 23^n - 1.