A075091 -id:A075091 - cp's OEIS frontend

A075092 Sum of generalized tribonacci numbers (A001644) and reflected generalized tribonacci numbers (A073145).

6, 0, 2, 12, 6, 20, 50, 56, 134, 264, 402, 836, 1542, 2652, 5154, 9392, 16902, 31824, 58082, 106172, 197126, 360932, 662994, 1223784, 2245766, 4130520, 7606770, 13976436, 25711622, 47310252, 86978370, 160002656, 294324230, 541249952

Offset: 0

Mario Catalani (mario.catalani(AT)unito.it), Aug 31 2002

Conjecture: a(n) >= 0.

For n > 2, a(n) is the number of cyclic sequences (q1, q2, ..., qn) consisting of zeros, ones and twos such that each triple contains 0 and 1 at least once, provided the positions of the zeros and ones are fixed on a circle. For example, a(5)=20 because only the sequences (00101), (01001), (01010), (01011), (01012), (01021), (01101), (01201), (02101), (20101) and those obtained from them by exchanging 0 and 1 contain 0 and 1 in each triple (including triples q4, q5, q1 and q5, q1, q2). For n = 1, 2 the statement is still true provided we allow the sequence to wrap around itself on a circle. E.g., a(2) = 2 since only sequences 01 and 10 can be wrapped so one obtains (010) and (101), respectively. - Wojciech Florek, Nov 25 2021

G. C. Greubel, Table of n, a(n) for n = 0..1000
Wojciech Florek, A class of generalized Tribonacci sequences applied to counting problems, Appl. Math. Comput., 338 (2018), 809-821.
W. O. J. Moser, Cyclic binary strings without long runs of like (alternating) bits, Fibonacci Quart. 31(1) (1993), 2-6.
Index entries for linear recurrences with constant coefficients, signature (0,1,4,1,0,-1).

Cf. A001644, A073145, A075091, A294627.

R:=PowerSeriesRing(Integers(), 40); Coefficients(R!( (6-4*x^2-12*x^3-2*x^4)/(1-x^2-4*x^3-x^4+x^6) ));  // G. C. Greubel, Apr 13 2019

CoefficientList[Series[(6-4*x^2-12*x^3-2*x^4)/(1-x^2-4*x^3-x^4+x^6), {x, 0, 40}], x]

my(x='x+O('x^40)); Vec((6-4*x^2-12*x^3-2*x^4)/(1-x^2-4*x^3-x^4+x^6)) \\ G. C. Greubel, Apr 13 2019

((6-4*x^2-12*x^3-2*x^4)/(1-x^2-4*x^3-x^4+x^6)).series(x, 40).coefficients(x, sparse=False) # G. C. Greubel, Apr 13 2019

a(n) = a(n-2) + 4*a(n-3) + a(n-4) - a(n-6), a(0)=6, a(1)=0, a(2)=2, a(3)=12, a(4)=6, a(5)=20.

G.f.: (6 - 4*x^2 - 12*x^3 - 2*x^4)/(1 - x^2 - 4*x^3 - x^4 + x^6).

A138123 Antidiagonal sums of a triangle of coefficients of recurrences of the Fibonacci sequence.

Original entry on oeis.org

1, 1, 3, 0, 3, 0, 7, 1, 11, 0, 17, 0, 29, 1, 47, 0, 75, 0, 123, 1, 199, 0, 321, 0, 521, 1, 843, 0, 1363, 0, 2207, 1, 3571, 0, 5777, 0, 9349, 1, 15127, 0, 24475, 0, 39603, 1, 64079, 0, 103681, 0, 167761, 1, 271443, 0, 439203, 0, 710647, 1, 1149851, 0, 1860497, 0

Offset: 1

Paul Curtz, May 04 2008

nonn

Consider the irregular sparse triangle T(p,p) = A000204(p), T(p,2p)= -A033999(p)=(-1)^(p+1), T(p,m) =0 else; 1<=m<=2p, p>=1. Then a(n)=sum_{m=1..[2(n+1)/3]} T(1+n-m,m).
The T are coefficients in recurrences f(n)=sum_{m=1..2p} T(p,m)*f(n-m).
The recurrence for p=1, f(n)=f(n-1)+f(n-2), is satisfied by the Fibonacci sequence A000045. The recurrence for p=2, f(n)=3f(n-2)-f(n-4), is satisfied by A005013, A005247, A075091, A075270, A108362 and A135992.
Conjecture: The Fibonacci sequence F obeys all the recurrences: A000045(n)=F(n)= L(p)*F(n-p)-(-1)^p*F(n-2p), any p>0, L=A000204.
[Proof: conjecture is equivalent to the existence of a g.f. of F with denominator 1-L(p)x^p+(-1)^p*x^(2p). Since 1-x-x^2 is known to be a denominator of such a g.f. of A000045, the conjecture is that 1-L(p)*x^p+(-1)^p*x^(2p) can be reduced to 1-x-x^2. One finds: {1-L(p)*x^p+(-1)^p*x^(2p)}/(1-x-x^2) = sum{n=0..p-1}F(n+1)x^n-sum{n=0..p-2} (-1)^(n+p)F(n+1)x^(2p-n-2) is a polynomial with integer coefficients, which is proved by multiplication with 1-x-x^2 and via F(n)+F(n+1)=F(n+2) and L(n)=F(n-1)+F(n+1). - R. J. Mathar, Jul 10 2008].
Conjecture: The Lucas sequence L also obeys all the recurrences: L(n)= L(p)*L(n-p)-(-1)^p*L(n-2p), any p>0, L=A000204.

			The triangle T(p,m) with Lucas numbers on the diagonal starts
  1, 1;
  0, 3, 0,-1;
  0, 0, 4, 0, 0, 1;
  0, 0, 0, 7, 0, 0, 0,-1;
  0, 0, 0, 0,11, 0, 0, 0, 0, 1;
The antidiagonal sums are a(1)=1. a(2)=0+1=1. a(3)=0+3=3. a(4)=0+0+0=0. a(5)=0+0+4-1=3.

Row sums: Sum_{m=1..2p} T(p,m) = A098600(p).
Conjectures from Chai Wah Wu, Apr 15 2024: (Start)
a(n) = a(n-2) - a(n-3) + a(n-4) + a(n-5) + a(n-7) for n > 7.
G.f.: x*(-x^5 - 2*x^2 - x - 1)/((x + 1)*(x^2 - x + 1)*(x^4 + x^2 - 1)). (End)

Edited and extended by R. J. Mathar, Jul 10 2008

cp's OEIS Frontend

A075092 Sum of generalized tribonacci numbers (A001644) and reflected generalized tribonacci numbers (A073145).

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

Magma

Mathematica

PARI

Sage

Formula