A155457 -id:A155457 - cp's OEIS frontend

A153641 Nonzero coefficients of the Swiss-Knife polynomials for the computation of Euler, tangent, and Bernoulli numbers (triangle read by rows).

1, 1, 1, -1, 1, -3, 1, -6, 5, 1, -10, 25, 1, -15, 75, -61, 1, -21, 175, -427, 1, -28, 350, -1708, 1385, 1, -36, 630, -5124, 12465, 1, -45, 1050, -12810, 62325, -50521, 1, -55, 1650, -28182, 228525, -555731, 1, -66, 2475, -56364, 685575, -3334386, 2702765, 1

Offset: 0

Peter Luschny, Dec 29 2008

In the following the expression [n odd] is 1 if n is odd, 0 otherwise.
(+) W_n(0) = E_n are the Euler (or secant) numbers A122045.
(+) W_n(1) = T_n are the signed tangent numbers, see A009006.
(+) W_{n-1}(1) n / (4^n - 2^n) = B_n gives for n > 1 the Bernoulli number A027641/A027642.
(+) W_n(-1) 2^{-n}(n+1) = G_n the Genocchi number A036968.
(+) W_n(1/2) 2^{n} are the signed generalized Euler (Springer) number, see A001586.
(+) | W_n([n odd]) | the number of alternating permutations A000111.
(+) | W_n([n odd]) / n! | for 0<=n the Euler zeta number A099612/A099617 (see Wikipedia on Bernoulli number). - Peter Luschny, Dec 29 2008
The diagonals in the full triangle (with zero coefficients) of the polynomials have the general form E(k)*binomial(n+k,k) (k>=0 fixed, n=0,1,...) where E(n) are the Euler numbers in the enumeration A122045. For k=2 we find the triangular numbers A000217 and for k=4 A154286. - Peter Luschny, Jan 06 2009
From Peter Bala, Jun 10 2009: (Start)
The Swiss-Knife polynomials W_n(x) may be expressed in terms of the Bernoulli polynomials B(n,x) as
... W_n(x) = 4^(n+1)/(2*n+2)*[B(n+1,(x+3)/4) - B(n+1,(x+1)/4)].
The Swiss-Knife polynomials are, apart from a multiplying factor, examples of generalized Bernoulli polynomials.
Let X be the Dirichlet character modulus 4 defined by X(4*n+1) = 1, X(4*n+3) = -1 and X(2*n) = 0. The generalized Bernoulli polynomials B(X;n,x), n = 1,2,..., associated with the character X are defined by means of the generating function
... t*exp(x*t)*(exp(t)-exp(3*t))/(exp(4*t)-1) = sum {n = 1..inf} B(X;n,x)*t^n/n!.
The first few values are B(X;1,x) = -1/2, B(X;2,x) = -x, B(X,3,x) = -3/2*(x^2-1) and B(X;4,x) = -2*(x^3-3*x).
In general, W_n(x) = -2/(n+1)*B(X;n+1,x).
For the theory of generalized Bernoulli polynomials associated to a periodic arithmetical function see [Cohen, Section 9.4].
The generalized Bernoulli polynomials may be used to evaluate twisted sums of k-th powers. For the present case the result is
sum{n = 0..4*N-1} X(n)*n^k = 1^k - 3^k + 5^k - 7^k + ... - (4*N-1)^k
= [B(X;k+1,4*N) - B(X;k+1,0)]/(k+1) = [W_k(0) - W_k(4*N)]/2.
For the proof apply [Cohen, Corollary 9.4.17 with m = 4 and x = 0].
The generalized Bernoulli polynomials and the Swiss-Knife polynomials are also related to infinite sums of powers through their Fourier series - see the formula section below. For a table of the coefficients of generalized Bernoulli polynomials attached to a Dirichlet character modulus 8 see A151751.
(End)
The Swiss-Knife polynomials provide a general formula for alternating sums of powers similar to the formula which are provided by the Bernoulli polynomials for non-alternating sums of powers (see the Luschny link). Sequences covered by this formula include A001057, A062393, A062392, A011934, A144129, A077221, A137501, A046092. - Peter Luschny, Jul 12 2009
The greatest common divisor of the nonzero coefficients of the decapitated Swiss-Knife polynomials is exp(Lambda(n)), where Lambda(n) is the von Mangoldt function for odd primes, symbolically:
gcd(coeffs(SKP_{n}(x) - x^n)) = A155457(n) (n>1). - Peter Luschny, Dec 16 2009
Another version is at A119879. - Philippe Deléham, Oct 26 2013

			1
x
x^2  -1
x^3  -3x
x^4  -6x^2   +5
x^5 -10x^3  +25x
x^6 -15x^4  +75x^2  -61
x^7 -21x^5 +175x^3 -427x

H. Cohen, Number Theory - Volume II: Analytic and Modern Tools, Graduate Texts in Mathematics. Springer-Verlag. [From Peter Bala, Jun 10 2009]

G. C. Greubel, Table of n, a(n) for the first 76 rows, flattened
Ayse Yilmaz Ceylan and Yilmaz Simsek, Formulae for Generalization of Touchard Polynomials with Their Generating Functions, Symmetry (2025) Vol. 17, Issue 7, Art. No. 1126. See Eq. 28 and after.
Kwang-Wu Chen, Algorithms for Bernoulli numbers and Euler numbers, J. Integer Sequences, 4 (2001), #01.1.6.
Suyoung Choi and Hanchul Park, A new graph invariant arises in toric topology, arXiv preprint arXiv:1210.3776 [math.AT], 2012.
Leonhard Euler (1735), De summis serierum reciprocarum, Opera Omnia I.14, E 41, 73-86; On the sums of series of reciprocals, arXiv:math/0506415 [math.HO], 2005-2008.
A. Hodges and C. V. Sukumar, Bernoulli, Euler, permutations and quantum algebras, Proc. R. Soc. A Oct. 2007 vol 463 no. 463 2086 2401-2414. [Added by Tom Copeland, Aug 31 2015]
Peter Luschny, The Swiss-Knife polynomials.
Peter Luschny, Swiss-Knife polynomials and Euler numbers
Wikipedia, Bernoulli number
J. Worpitzky, Studien über die Bernoullischen und Eulerschen Zahlen, Journal für die reine und angewandte Mathematik, 94 (1883), 203-232.

Cf. A151751, A162590, A000111, A001586, A009006, A027641/A027642, A036968, A099612/A099617, A119879, A104033.
W_n(k), k=0,1,...
W_0:  1,  1,  1,  1,   1,   1, ........ A000012
W_1:  0,  1,  2,  3,   4,   5, ........ A001477
W_2: -1,  0,  3,  8,  15,  24, ........ A067998
W_3:  0, -2,  2, 18,  52, 110, ........ A121670
W_4:  5,  0, -3, 32, 165, 480, ........
W_n(k), n=0,1,...
k=0:  1,  0, -1,  0,   5,   0, -61, ... A122045
k=1:  1,  1,  0, -2,   0,  16,   0, ... A155585
k=2:  1,  2,  3,  2,  -3,   2,  63, ... A119880
k=3:  1,  3,  8, 18,  32,  48, 128, ... A119881
k=4:  1,  4, 15, 52, 165, 484, ........         [Peter Luschny, Jul 07 2009]

w := proc(n,x) local v,k,pow,chen; pow := (a,b) -> if a = 0 and b = 0 then 1 else a^b fi; chen := proc(m) if irem(m+1,4) = 0 then RETURN(0) fi; 1/((-1)^iquo(m+1,4) *2^iquo(m,2)) end; add(add((-1)^v*binomial(k,v)*pow(v+x+1,n)*chen(k),v=0..k), k=0..n) end:
# Coefficients with zeros:
seq(print(seq(coeff(i!*coeff(series(exp(x*t)*sech(t),t,16),t,i),x,i-n),n=0..i)), i=0..8);
# Recursion
W := proc(n,z) option remember; local k,p;
if n = 0 then 1 else p := irem(n+1,2);
z^n - p + add(`if`(irem(k,2)=1,0,
W(k,0)*binomial(n,k)*(power(z,n-k)-p)),k=2..n-1) fi end:
# Peter Luschny, edited and additions Jul 07 2009, May 13 2010, Oct 24 2011

max = 9; rows = (Reverse[ CoefficientList[ #, x]] & ) /@ CoefficientList[ Series[ Exp[x*t]*Sech[t], {t, 0, max}], t]*Range[0, max]!; par[coefs_] := (p = Partition[ coefs, 2][[All, 1]]; If[ EvenQ[ Length[ coefs]], p, Append[ p, Last[ coefs]]]); Flatten[ par /@ rows] (* Jean-François Alcover, Oct 03 2011, after g.f. *)
sk[n_, x_] := Sum[Binomial[n, k]*EulerE[k]*x^(n-k), {k, 0, n}]; Table[CoefficientList[sk[n, x], x] // Reverse // Select[#, # =!= 0 &] &, {n, 0, 13}] // Flatten (* Jean-François Alcover, May 21 2013 *)
Flatten@Table[Binomial[n, 2k] EulerE[2k], {n, 0, 12}, {k, 0, n/2}](* Oliver Seipel, Jan 14 2025 *)

def A046978(k):
    if k % 4 == 0:
        return 0
    return (-1)**(k // 4)
def A153641_poly(n, x):
    return expand(add(2**(-(k // 2))*A046978(k+1)*add((-1)**v*binomial(k,v)*(v+x+1)**n for v in (0..k)) for k in (0..n)))
for n in (0..7): print(A153641_poly(n, x))  # Peter Luschny, Oct 24 2011

W_n(x) = Sum_{k=0..n}{v=0..k} (-1)^v binomial(k,v)*c_k*(x+v+1)^n where c_k = frac((-1)^(floor(k/4))/2^(floor(k/2))) [4 not div k] (Iverson notation).
From Peter Bala, Jun 10 2009: (Start)
E.g.f.: 2*exp(x*t)*(exp(t)-exp(3*t))/(1-exp(4*t))= 1 + x*t + (x^2-1)*t^2/2! + (x^3-3*x)*t^3/3! + ....
W_n(x) = 1/(2*n+2)*Sum_{k=0..n+1} 1/(k+1)*Sum_{i=0..k} (-1)^i*binomial(k,i)*((x+4*i+3)^(n+1) - (x+4*i+1)^(n+1)).
Fourier series expansion for the generalized Bernoulli polynomials:
B(X;2*n,x) = (-1)^n*(2/Pi)^(2*n)*(2*n)! * {sin(Pi*x/2)/1^(2*n) - sin(3*Pi*x/2)/3^(2*n) + sin(5*Pi*x/2)/5^(2*n) - ...}, valid for 0 <= x <= 1 when n >= 1.
B(X;2*n+1,x) = (-1)^(n+1)*(2/Pi)^(2*n+1)*(2*n+1)! * {cos(Pi*x/2)/1^(2*n+1) - cos(3*Pi*x/2)/3^(2*n+1) + cos(5*Pi*x/2)/5^(2*n+1) - ...}, valid for 0 <= x <= 1 when n >= 1 and for 0 <= x < 1 when n = 0.
(End)
E.g.f.: exp(x*t) * sech(t). - Peter Luschny, Jul 07 2009
O.g.f. as a J-fraction: z/(1-x*z+z^2/(1-x*z+4*z^2/(1-x*z+9*z^2/(1-x*z+...)))) = z + x*z^2 + (x^2-1)*z^3 + (x^3-3*x)*z^4 + .... - Peter Bala, Mar 11 2012
Conjectural o.g.f.: Sum_{n >= 0} (1/2^((n-1)/2))*cos((n+1)*Pi/4)*( Sum_{k = 0..n} (-1)^k*binomial(n,k)/(1 - (k + x)*t) ) = 1 + x*t + (x^2 - 1)*t^2 + (x^3 - 3*x)*t^3 + ... (checked up to O(t^13)), which leads to W_n(x) = Sum_{k = 0..n} 1/2^((k - 1)/2)*cos((k + 1)*Pi/4)*( Sum_{j = 0..k} (-1)^j*binomial(k, j)*(j + x)^n ). - Peter Bala, Oct 03 2016

A081658 Triangle read by rows: T(n, k) = (-2)^kbinomial(n, k)Euler(k, 1/2).

Original entry on oeis.org

1, 1, 0, 1, 0, -1, 1, 0, -3, 0, 1, 0, -6, 0, 5, 1, 0, -10, 0, 25, 0, 1, 0, -15, 0, 75, 0, -61, 1, 0, -21, 0, 175, 0, -427, 0, 1, 0, -28, 0, 350, 0, -1708, 0, 1385, 1, 0, -36, 0, 630, 0, -5124, 0, 12465, 0, 1, 0, -45, 0, 1050, 0, -12810, 0, 62325, 0, -50521, 1, 0, -55, 0, 1650, 0, -28182, 0, 228525, 0, -555731, 0, 1, 0, -66, 0, 2475, 0

Offset: 0

Paul Barry, Mar 26 2003

These are the coefficients of the Swiss-Knife polynomials A153641. - Peter Luschny, Jul 21 2012
Nonzero diagonals of the triangle are of the form A000364(k)*binomial(n+2k,2k)*(-1)^k.
A363393 is the dual triangle ('dual' in the sense of Euler-tangent versus Euler-secant numbers). - Peter Luschny, Jun 05 2023

			The triangle begins
[0] 1;
[1] 1, 0;
[2] 1, 0,  -1;
[3] 1, 0,  -3, 0;
[4] 1, 0,  -6, 0,   5;
[5] 1, 0, -10, 0,  25, 0;
[6] 1, 0, -15, 0,  75, 0,  -61;
[7] 1, 0, -21, 0, 175, 0, -427, 0;
...
From _Peter Luschny_, Sep 17 2021: (Start)
The triangle shows the coefficients of the following polynomials:
[1] 1;
[2] 1 -    x^2;
[3] 1 -  3*x^2;
[4] 1 -  6*x^2 +   5*x^4;
[5] 1 - 10*x^2 +  25*x^4;
[6] 1 - 15*x^2 +  75*x^4 -  61*x^6;
[7] 1 - 21*x^2 + 175*x^4 - 427*x^6;
...
These polynomials are the permanents of the n X n matrices with all entries above the main antidiagonal set to 'x' and all entries below the main antidiagonal set to '-x'. The main antidiagonals consist only of ones. Substituting x <- 1 generates the Euler tangent numbers A155585. (Compare with A046739.)
(End)

Row reversed: A119879.

Cf. A000364, A046739, A155585, A363393.

ogf := n -> euler(n) / (1 - x)^(n + 1):
ser := n -> series(ogf(n), x, 16):
T := (n, k) -> coeff(ser(k), x, n - k):
for n from 0 to 9 do seq(T(n, k), k = 0..n) od;  # Peter Luschny, Jun 05 2023
T := (n, k) -> (-2)^k*binomial(n, k)*euler(k, 1/2):
seq(seq(T(n, k), k = 0..n), n = 0..9);  # Peter Luschny, Apr 03 2024

sk[n_, x_] := Sum[Binomial[n, k]*EulerE[k]*x^(n - k), {k, 0, n}];
Table[CoefficientList[sk[n, x], x] // Reverse, {n, 0, 12}] // Flatten (* Jean-François Alcover, Jun 04 2019 *)
Flatten@Table[Binomial[n, k] EulerE[k], {n, 0, 12}, {k, 0, n}] (* Oliver Seipel, Jan 14 2025 *)

from functools import cache
@cache
def T(n: int, k: int) -> int:
    if k == 0: return 1
    if k % 2 == 1:  return 0
    if k == n: return -sum(T(n, j) for j in range(0, n - 1, 2))
    return (T(n - 1, k) * n) // (n - k)
for n in range(10):
    print([T(n, k) for k in range(n + 1)])  # Peter Luschny, Jun 05 2023

R = PolynomialRing(ZZ, 'x')
@CachedFunction
def p(n, x) :
    if n == 0 : return 1
    return add(p(k, 0)*binomial(n, k)*(x^(n-k)-(n+1)%2) for k in range(n)[::2])
def A081658_row(n) : return [R(p(n,x)).reverse()[i] for i in (0..n)]
for n in (0..8) : print(A081658_row(n)) # Peter Luschny, Jul 20 2012

Coefficients of the polynomials in k in the binomial transform of the expansion of 2/(exp(kx)+exp(-kx)).
From Peter Luschny, Jul 20 2012: (Start)
p{n}(0) = Signed Euler secant numbers A122045.
p{n}(1) = Signed Euler tangent numbers A155585.
p{n}(2) has e.g.f. 2*exp(x)/(exp(-2*x)+1) A119880.
2^n*p{n}(1/2) = Signed Springer numbers A188458.
3^n*p{n}(1/3) has e.g.f. 2*exp(4*x)/(exp(6*x)+1)
4^n*p{n}(1/4) has e.g.f. 2*exp(5*x)/(exp(8*x)+1).
Row sum: A155585 (cf. A009006). Absolute row sum: A003701.
The GCD of the rows without the first column: A155457. (End)
From Peter Luschny, Jun 05 2023: (Start)
T(n, k) = [x^(n - k)] Euler(k) / (1 - x)^(k + 1).
For a recursion see the Python program.
Conjecture: If n is prime then n divides T(n, k) for 1 <= k <= n-1. (End)

Typo in data corrected by Peter Luschny, Jul 20 2012

Error in data corrected and new name by Peter Luschny, Apr 03 2024

cp's OEIS Frontend

A153641 Nonzero coefficients of the Swiss-Knife polynomials for the computation of Euler, tangent, and Bernoulli numbers (triangle read by rows).

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Maple

Mathematica

Sage

Formula

A081658 Triangle read by rows: T(n, k) = (-2)^kbinomial(n, k)Euler(k, 1/2).

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Maple

Mathematica

Python

Sage

Formula

Extensions

A381887 a(n) = 1 if n != p^m(p-1) for any prime p and any m >= 0, otherwise Product_{p in W} p, where W are the primes such that n = p^m(p-1) for some m >= 0.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

SageMath

Formula

cp's OEIS Frontend

A153641 Nonzero coefficients of the Swiss-Knife polynomials for the computation of Euler, tangent, and Bernoulli numbers (triangle read by rows).

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Maple

Mathematica

Sage

Formula

A081658 Triangle read by rows: T(n, k) = (-2)^k*binomial(n, k)*Euler(k, 1/2).

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Maple

Mathematica

Python

Sage

Formula

Extensions

A381887 a(n) = 1 if n != p^m*(p-1) for any prime p and any m >= 0, otherwise Product_{p in W} p, where W are the primes such that n = p^m*(p-1) for some m >= 0.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

SageMath

Formula

A081658 Triangle read by rows: T(n, k) = (-2)^kbinomial(n, k)Euler(k, 1/2).

A381887 a(n) = 1 if n != p^m(p-1) for any prime p and any m >= 0, otherwise Product_{p in W} p, where W are the primes such that n = p^m(p-1) for some m >= 0.