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.

A254630 Ascending antidiagonal numerators of the table of repeated differences of A164558(n)/A027642(n).

Original entry on oeis.org

1, 1, 3, 1, 2, 13, 0, 1, 5, 3, -1, -1, 2, 29, 119, 0, -1, -1, 1, 31, 5, 1, 1, -1, -8, -1, 43, 253, 0, 1, 1, 4, -4, -1, 41, 7, -1, -1, -1, 4, 8, 4, -1, 29, 239, 0, -1, -1, -8, -4, 4, 8, 1, 31, 9, 5, 5, 7, -4, -116, -32, -116, -4, 7, 71, 665, 0
Offset: 0

Views

Author

Paul Curtz, Feb 03 2015

Keywords

Comments

The difference table of Bernoulli(n,2) or B(n,2) = A164558(n)/A027642(n) is defined by placing the fractions in the upper row and calculating further rows as the differences of their preceding row:
1, 3/2, 13/6, 3, 119/30, ...
1/2, 2/3, 5/6, 29/30, ...
1/6, 1/6, 2/15, ...
0, -1/30, ...
-1/30, ...
etc.
The first column is A164555(n)/A027642(n).
In particular, the sums of the antidiagonals
1 = 1
1/2 + 3/2 = 2
1/6 + 2/3 + 13/6 = 3
0 + 1/6 + 5/6 + 3 = 4
etc. are the positive natural numbers. (This is rewritten for Bernoulli(n,3) in A157809).
We also have for Bernoulli(.,2)
B(0,2) = 1
B(0,2) + 2*B(1,2) = 4
B(0,2) + 3*B(1,2) + 3*B(2,2) = 12
B(0,2) + 4*B(1,2) + 6*B(2,2) + 4*B(3,2) = 32
etc. with right hand sides provided by A001787.
More generally sum_{s=0..t-1} binomial(t,s)*Bernoulli(s,q) gives A027471(t) for q=3, A002697 for q=4 etc, by reading A104002 downwards the q-th column.

Crossrefs

Cf. A027641, A027642, A074909, A085737, A085738, A104002, A157809, A157920, A157930, A157945, A157946, A157965, A164555, A164558, A190339, A158302, A181131 (numerators and denominators of the main diagonal).

Programs

  • Mathematica
    nmax = 11; A164558 = Table[BernoulliB[n,2], {n, 0, nmax}]; D164558 = Table[ Differences[A164558, n], {n, 0, nmax}]; Table[ D164558[[n-k+1, k+1]] // Numerator, {n, 0, nmax}, {k, 0, n}] // Flatten (* Jean-François Alcover, Feb 04 2015 *)

A320531 T(n,k) = n*k^(n - 1), k > 0, with T(n,0) = A063524(n), square array read by antidiagonals upwards.

Original entry on oeis.org

0, 1, 0, 0, 1, 0, 0, 2, 1, 0, 0, 3, 4, 1, 0, 0, 4, 12, 6, 1, 0, 0, 5, 32, 27, 8, 1, 0, 0, 6, 80, 108, 48, 10, 1, 0, 0, 7, 192, 405, 256, 75, 12, 1, 0, 0, 8, 448, 1458, 1280, 500, 108, 14, 1, 0, 0, 9, 1024, 5103, 6144, 3125, 864, 147, 16, 1, 0, 0, 10, 2304
Offset: 0

Views

Author

Keywords

Comments

T(n,k) is the number of length n*k binary words of n consecutive blocks of length k, respectively, one of the blocks having exactly k letters 1, and the other having exactly one letter 0. First column follows from the next definition.
In Kauffman's language, T(n,k) is the total number of Jordan trails that are obtained by placing state markers at the crossings of the Pretzel universe P(k, k, ..., k) having n tangles, of k half-twists respectively. In other words, T(n,k) is the number of ways of splitting the crossings of the Pretzel knot shadow P(k, k, ..., k) such that the final diagram is a single Jordan curve. The aforementionned binary words encode these operations by assigning each tangle a length k binary words with the adequate choice for splitting the crossings.
Columns are linear recurrence sequences with signature (2*k, -k^2).

Examples

			Square array begins:
    0, 0,   0,    0,     0,      0,      0,      0, ...
    1, 1,   1,    1,     1,      1,      1,      1, ...
    0, 2,   4,    6,     8,     10,     12,     14, ... A005843
    0, 3,  12,   27,    48,     75,    108,    147, ... A033428
    0, 4,  32,  108,   256,    500,    864,   1372, ... A033430
    0, 5,  80,  405,  1280,   3125,   6480,  12005, ... A269792
    0, 6, 192, 1458,  6144,  18750,  46656, 100842, ...
    0, 7, 448, 5103, 28672, 109375, 326592, 823543, ...
    ...
T(3,2) = 3*2^(3 - 1) = 12. The corresponding binary words are 110101, 110110, 111001, 111010, 011101, 011110, 101101, 101110, 010111, 011011, 100111, 101011.
		

References

  • Louis H. Kauffman, Formal Knot Theory, Princeton University Press, 1983.

Crossrefs

Antidiagonal sums: A101495.
Column 1 is column 2 of A300453.
Column 2 is column 1 of A300184.

Programs

  • Mathematica
    T[n_, k_] = If [k > 0, n*k^(n - 1), If[k == 0 && n == 1, 1, 0]];
    Table[Table[T[n - k, k], {k, 0, n}], {n, 0, 12}]//Flatten
  • Maxima
    T(n, k) := if k > 0 then n*k^(n - 1) else if k = 0 and n = 1 then 1 else 0$
    tabl(nn) := for n:0 thru nn do print(makelist(T(n, k), k, 0, nn))$

Formula

T(n,k) = (2*k)*T(n-1,k) - (k^2)*T(n-2,k).
G.f. for columns: x/(1 - k*x)^2.
E.g.f. for columns: x*exp(k*x).
T(n,1) = A001477(n).
T(n,2) = A001787(n).
T(n,3) = A027471(n+1).
T(n,4) = A002697(n).
T(n,5) = A053464(n).
T(n,6) = A053469(n), n > 0.
T(n,7) = A027473(n), n > 0.
T(n,8) = A053539(n).
T(n,9) = A053540(n), n > 0.
T(n,10) = A053541(n), n > 0.
T(n,11) = A081127(n).
T(n,12) = A081128(n).
Showing 1-2 of 2 results.