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-2 of 2 results.

A370419 A(n, k) = 2^n*Pochhammer(k/2, n). Square array read by ascending antidiagonals.

Original entry on oeis.org

1, 0, 1, 0, 1, 1, 0, 3, 2, 1, 0, 15, 8, 3, 1, 0, 105, 48, 15, 4, 1, 0, 945, 384, 105, 24, 5, 1, 0, 10395, 3840, 945, 192, 35, 6, 1, 0, 135135, 46080, 10395, 1920, 315, 48, 7, 1, 0, 2027025, 645120, 135135, 23040, 3465, 480, 63, 8, 1
Offset: 0

Views

Author

Peter Luschny, Mar 04 2024

Keywords

Examples

			The array starts:
[0] 1,   1,    1,     1,     1,     1,     1,      1,      1, ...
[1] 0,   1,    2,     3,     4,     5,     6,      7,      8, ...
[2] 0,   3,    8,    15,    24,    35,    48,     63,     80, ...
[3] 0,  15,   48,   105,   192,   315,   480,    693,    960, ...
[4] 0, 105,  384,   945,  1920,  3465,  5760,   9009,  13440, ...
[5] 0, 945, 3840, 10395, 23040, 45045, 80640, 135135, 215040, ...
.
Seen as the triangle T(n, k) = A(n - k, k):
[0] 1;
[1] 0,   1;
[2] 0,   1,   1;
[3] 0,   3,   2,   1;
[4] 0,  15,   8,   3,  1;
[5] 0, 105,  48,  15,  4, 1;
[6] 0, 945, 384, 105, 24, 5, 1;
.
From _Werner Schulte_, Mar 07 2024: (Start)
Illustrating the LU decomposition of A:
    / 1                \   / 1 1 1 1 1 ... \   / 1   1   1   1    1 ... \
    | 0   1            |   |   1 2 3 4 ... |   | 0   1   2   3    4 ... |
    | 0   3   2        | * |     1 3 6 ... | = | 0   3   8  15   24 ... |
    | 0  15  18   6    |   |       1 4 ... |   | 0  15  48 105  192 ... |
    | 0 105 174 108 24 |   |         1 ... |   | 0 105 384 945 1920 ... |
    | . . .            |   | . . .         |   | . . .                  |. (End)

Links

Crossrefs

Columns: A000007, A001147, A000165, A001147 (shifted), A002866, A051577, A051578, A051579, A051580.
Rows: A000012, A001477, A005563, A370912, A190577.
Cf. A035342, A265649, A370890, A370982 (row sums of the triangle), A370915, A371025, A371077.

Programs

  • Maple
    A := (n, k) -> 2^n*pochhammer(k/2, n):
for n from 0 to 5 do seq(A(n, k), k = 0..9) od;
T := (n, k) -> A(n - k, k): seq(seq(T(n, k), k = 0..n), n = 0..9);
# Using the exponential generating functions of the columns:
EGFcol := proc(k, len) local egf, ser, n; egf := (1 - 2*x)^(-k/2);
ser := series(egf, x, len+2): seq(n!*coeff(ser, x, n), n = 0..len) end:
seq(lprint(EGFcol(n, 9)), n = 0..8);
# Using the generating polynomials for the rows:
P := (n, x) -> local k; add(Stirling1(n, k)*(-2)^(n - k)*x^k, k=0..n):
seq(lprint([n], seq(P(n, k), k = 0..8)), n = 0..5);
# Implementing the comment of Werner Schulte about the LU decomposition of A:
with(LinearAlgebra):
L := Matrix(7, 7, (n, k) -> A371025(n - 1,  k - 1)):
U := Matrix(7, 7, (n, k) -> binomial(n - 1, k - 1)):
MatrixMatrixMultiply(L, Transpose(U));  #  Peter Luschny, Mar 08 2024
  • Mathematica
    A370419[n_, k_] := 2^n*Pochhammer[k/2, n];
Table[A370419[n-k, k], {n, 0, 10}, {k, 0, n}] (* Paolo Xausa, Mar 06 2024 *)
  • SageMath
    def A(n, k): return 2**n * rising_factorial(k/2, n)
for n in range(6): print([A(n, k) for k in range(9)])

Formula

The polynomials P(n, x) = Sum_{k=0..n} Stirling1(n, k)*(-2)^(n-k)*x^k are ordinary generating functions for row n, i.e., A(n, k) = P(n, k).
From Werner Schulte, Mar 07 2024: (Start)
A(n, k) = Product_{i=1..n} (2*i - 2 + k).
E.g.f. of column k: Sum_{n>=0} A(n, k) * t^n / (n!) = (1/sqrt(1 - 2*t))^k.
A(n, k) = A(n+1, k-2) / (k - 2) for k > 2.
A(n, k) = Sum_{i=0..k-1} i! * A265649(n, i) * binomial(k-1, i) for k > 0.
E.g.f. of row n > 0: Sum_{k>=1} A(n, k) * x^k / (k!) = (Sum_{k=1..n} A035342(n, k) * x^k) * exp(x).
Sum_{n>=0, k>=0} A(n, k) * x^k * t^n / (k! * n!) = exp(x/sqrt(1 - 2*t)).
Sum_{n>=0, k>=0} A(n, k) * x^k * t^n / (n!) = 1 / (1 - x/sqrt(1 - 2*t)).
The LU decomposition of this array is given by the upper triangular matrix U which is the transpose of A007318 and the lower triangular matrix L, where L is defined L(n, k) = A035342(n, k) * k! for 1 <= k <= n and L(n, 0) = 0^n. Note that L(n, k) + L(n, k+1) = A265649(n, k) * k! for 0 <= k <= n. (End)

A347204 a(n) = a(f(n)/2) + a(floor((n+f(n))/2)) for n > 0 with a(0) = 1 where f(n) = A129760(n).

Original entry on oeis.org

1, 2, 3, 5, 4, 7, 10, 15, 5, 9, 13, 20, 17, 27, 37, 52, 6, 11, 16, 25, 21, 34, 47, 67, 26, 43, 60, 87, 77, 114, 151, 203, 7, 13, 19, 30, 25, 41, 57, 82, 31, 52, 73, 107, 94, 141, 188, 255, 37, 63, 89, 132, 115, 175, 235, 322, 141, 218, 295, 409, 372, 523, 674
Offset: 0

Views

Author

Mikhail Kurkov, Aug 23 2021 [verification needed]

Keywords

Comments

Modulo 2 binomial transform of A243499(n).

Links

Crossrefs

Cf. A000110, A000120, A002720, A005493, A005494, A007814, A008277, A035009, A045379, A053645, A129760, A143494, A143495, A196834, A265649, A295989.
Similar recurrences: A124758, A243499, A284005, A329369, A341392.

Programs

  • MATLAB
    function a = A347204(max_n)
    a(1) = 1;
    a(2) = 2;
    for nloop = 3:max_n
        n = nloop-1;
        s = 0;
        for k = 0:floor(log2(n))-1
            s = s + a(1+A053645(n)-2^k*(mod(floor(n/(2^k)),2)));
        end
        a(nloop) = 2*a(A053645(n)+1) + s;
    end
end
function a_n = A053645(n)
    a_n = n - 2^floor(log2(n));
end % Thomas Scheuerle, Oct 25 2021
  • Mathematica
    f[n_] := BitAnd[n, n - 1]; a[0] = 1; a[n_] := a[n] = a[f[n]/2] + a[Floor[(n + f[n])/2]]; Array[a, 100, 0] (* Amiram Eldar, Nov 19 2021 *)
  • PARI
    f(n) = bitand(n, n-1); \\ A129760
a(n) = if (n<=1, n+1, if (n%2, a(n\2)+a(n-1), a(f(n/2)) + a(n/2+f(n/2)))); \\ Michel Marcus, Oct 25 2021
  • PARI
    \\ Also see links.
  • PARI
    A129760(n) = bitand(n, n-1);
memoA347204 = Map();
A347204(n) = if (n<=1, n+1, my(v); if(mapisdefined(memoA347204,n,&v), v, v = if(n%2, A347204(n\2)+A347204(n-1), A347204(A129760(n/2)) + A347204(n/2+A129760(n/2))); mapput(memoA347204,n,v); (v))); \\ (Memoized version of Michel Marcus's program given above) - Antti Karttunen, Nov 20 2021

Formula

a(n) = a(n - 2^f(n)) + (1 + f(n))*a((n - 2^f(n))/2) for n > 0 with a(0) = 1 where f(n) = A007814(n).
a(2n+1) = a(n) + a(2n) for n >= 0.
a(2n) = a(n - 2^f(n)) + a(2n - 2^f(n)) for n > 0 with a(0) = 1 where f(n) = A007814(n).
a(n) = 2*a(f(n)) + Sum_{k=0..floor(log_2(n))-1} a(f(n) - 2^k*T(n,k)) for n > 1 with a(0) = 1, a(1) = 2, and where f(n) = A053645(n), T(n,k) = floor(n/2^k) mod 2.
Sum_{k=0..2^n - 1} a(k) = A035009(n+1) for n >= 0.
a((4^n - 1)/3) = A002720(n) for n >= 0.
a(2^n - 1) = A000110(n+1),
a(2*(2^n - 1)) = A005493(n),
a(2^2*(2^n - 1)) = A005494(n),
a(2^3*(2^n - 1)) = A045379(n),
a(2^4*(2^n - 1)) = A196834(n),
a(2^m*(2^n-1)) = T(n,m+1) is the n-th (m+1)-Bell number for n >= 0, m >= 0 where T(n,m) = m*T(n-1,m) + Sum_{k=0..n-1} binomial(n-1,k)*T(k,m) with T(0,m) = 1.
a(n) = Sum_{j=0..2^A000120(n)-1} A243499(A295989(n,j)) for n >= 0. Also A243499(n) = Sum_{j=0..2^f(n)-1} (-1)^(f(n)-f(j)) a(A295989(n,j)) for n >= 0 where f(n) = A000120(n). In other words, a(n) = Sum_{j=0..n} (binomial(n,j) mod 2)*A243499(j) and A243499(n) = Sum_{j=0..n} (-1)^(f(n)-f(j))*(binomial(n,j) mod 2)*a(j) for n >= 0 where f(n) = A000120(n).
Generalization:
b(n, x) = (1/x)*b((n - 2^f(n))/2, x) + (-1)^n*b(floor((2n - 2^f(n))/2), x) for n > 0 with b(0, x) = 1 where f(n) = A007814(n).
Sum_{k=0..2^n - 1} b(k, x) = (1/x)^n for n >= 0.
b((4^n - 1)/3, x) = (1/x)^n*n!*L_{n}(x) for n >= 0 where L_{n}(x) is the n-th Laguerre polynomial.
b((8^n - 1)/7, x) = (1/x)^n*Sum_{k=0..n} (-x)^k*A265649(n, k) for n >= 0.
b(2^n - 1, x) = (1/x)^n*Sum_{k=0..n} (-x)^k*A008277(n+1, k+1),
b(2*(2^n - 1), x) = (1/x)^n*Sum_{k=0..n} (-x)^k*A143494(n+2, k+2),
b(2^2*(2^n - 1), x) = (1/x)^n*Sum_{k=0..n} (-x)^k*A143495(n+3, k+3),
b(2^m*(2^n - 1), x) = (1/x)^n*Sum_{k=0..n} (-x)^k*T(n+m+1, k+m+1, m+1) for n >= 0, m >= 0 where T(n,k,m) is m-Stirling numbers of the second kind.
Showing 1-2 of 2 results.

Started in 1964 by Neil J. A. Sloane | Maintained by The OEIS Foundation Inc.

Content is available under The OEIS End-User License Agreement.