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.

A079484 a(n) = (2n-1)!! * (2n+1)!!, where the double factorial is A006882.

Original entry on oeis.org

1, 3, 45, 1575, 99225, 9823275, 1404728325, 273922023375, 69850115960625, 22561587455281875, 9002073394657468125, 4348001449619557104375, 2500100833531245335015625, 1687568062633590601135546875, 1321365793042101440689133203125
Offset: 0

Views

Author

Benoit Cloitre, Jan 17 2003

Keywords

Comments

a(n) is the determinant of M(2n+1) where M(k) is the k X k matrix with m(i,j)=j if i+j=k m(i,j)=i otherwise. - Adapted to offset 0, Rainer Rosenthal, Jun 19 2024
In the following two comments on the calculation of the terms using permanents, offset 1 is assumed. In the corresponding PARI code, this is implemented with offset 0. - Hugo Pfoertner, Jun 23 2024
(-1)^n*a(n)/2^(2n-1) is the permanent of the (m X m) matrix {1/(x_i-y_j), 1<=i<=m, 1<=j<=m}, where x_1,x_2,...,x_m are the zeros of x^m-1 and y_1,y_2,...,y_m the zeros of y^m+1 and m=2n-1.
In 1881, R. F. Scott posed a conjecture that the absolute value of permanent of square matrix with elements a(i,j)= (x_i - y_j)^(-1), where x_1,...,x_n are roots of x^n=1, while y_1,...,y_n are roots of y^n=-1, equals a((n-1)/2)/2^n, if n>=1 is odd, and 0, if n>=2 is even. After a century (in 1979), the conjecture was proved by H. Minc. - Vladimir Shevelev, Dec 01 2013
a(n) is the number of permutations in S_{2n+1} in which all cycles have odd length. - José H. Nieto S., Jan 09 2012
Number of 3-bundled increasing bilabeled trees with 2n labels. - Markus Kuba, Nov 18 2014
a(n) is the number of rooted, binary, leaf-labeled topologies with 2n+2 leaves that have n+1 cherry nodes. - Noah A Rosenberg, Feb 12 2019

Examples

			G.f. = 1 + 3*x + 45*x^2 + 1575*x^3 + 99225*x^4 + 9823275*x^5 + ...
M(5) =
  [1, 2, 3, 1, 5]
  [1, 2, 2, 4, 5]
  [1, 3, 3, 4, 5]
  [4, 2, 3, 4, 5]
  [1, 2, 3, 4, 5].
Integral_{x=0..oo} x^3*BesselK(1, sqrt(x)) = 1575*Pi. - _Olivier Gérard_, May 20 2009
		

References

  • Miklós Bóna, A walk through combinatorics, World Scientific, 2006.

Crossrefs

Bisection of A000246, A053195, |A013069|, |A046126|. Cf. A000909.
Cf. A001044, A010791, |A129464|, A114779, are also values of similar moments.
Equals the row sums of A162005.
Cf. A316728.
Diagonal elements of A306364 in even-numbered rows.

Programs

  • Magma
    I:=[1, 3]; [n le 2 select I[n] else (4*n^2-8*n+3)*Self(n-1): n in [1..20]]; // Vincenzo Librandi, Nov 18 2014
    
  • Maple
    a:= n-> (d-> d(2*n-1)*d(2*n+1))(doublefactorial):
    seq(a(n), n=0..15);  # Alois P. Heinz, Jan 30 2013
    # second Maple program:
    A079484 := n-> LinearAlgebra[Determinant](Matrix(2*n+1, (i, j)-> `if`(i+j=2*n+1, j, i))): seq(A079484(n), n=0..14); # Rainer Rosenthal, Jun 18 2024
  • Mathematica
    a[n_] := (2n - 1)!!*(2n + 1)!!; Table[a[n], {n, 0, 13}] (* Jean-François Alcover, Jan 30 2013 *)
  • PARI
    /* Formula using the zeta function and a log integral:*/
    L(n)= intnum(t=0, 1, log(1-1/t)^n);
    Zetai(n)= -I*I^n*(2*Pi)^(n-1)/(n-1)*L(1-n);
    a(m)={my(n=m+1);round(real(-I*2^(2*n-1)*Zetai(1/2-n)*L(-1/2+n)/(Zetai(-1/2+n)*L(1/2-n))))};
    /* Gerry Martens, Mar 07 2011, adapted to offset 0 by Hugo Pfoertner, Jun 19 2024 */
    
  • PARI
    {a(n) = if( n<0, -1 / self()(-1-n), (2*n + 1)! * (2*n)! / (n! * 2^n)^2 )}; /* Michael Somos, May 04 2017 */
    
  • PARI
    {a(n) = if( n<0, -1 / self()(-1-n), my(m = 2*n + 1); m! * polcoeff( x / sqrt( 1 - x^2 + x * O(x^m) ), m))}; /* Michael Somos, May 04 2017 */
    
  • PARI
    \\ using the Pochhammer symbol
    a(n) = {my(P(x,k)=gamma(x+k)/gamma(x)); 4^n*round(P(1/2,n)*P(3/2,n))} \\ Hugo Pfoertner, Jun 20 2024
    
  • PARI
    \\ Scott's (1881) method
    a(n) = {my(m=2*n+1, X = polroots(x^m-1), Y = polroots(x^m+1), M = matrix(m, m, i, j, 1/(X[i]-Y[j]))); (-1)^n * round(2^m * real(matpermanent(M)))}; \\ Hugo Pfoertner, Jun 23 2024

Formula

D-finite with recurrence a(n) = (4*n^2 - 1) * a(n-1) for all n in Z.
a(n) = A001147(n)*A001147(n+1).
E.g.f.: 1/(1-x^2)^(3/2) (with interpolated zeros). - Paul Barry, May 26 2003
a(n) = (2n+1)! * C(2n, n) / 2^(2n). - Ralf Stephan, Mar 22 2004.
Alternatingly signed values have e.g.f. sqrt(1+x^2).
a(n) is the value of the n-th moment of (1/Pi)*BesselK(1, sqrt(x)) on the positive part of the real line. - Olivier Gérard, May 20 2009
a(n) = -2^(2*n-1)*exp(i*n*Pi)*gamma(1/2+n)/gamma(3/2-n). - Gerry Martens, Mar 07 2011
E.g.f. (odd powers) tan(arcsin(x)) = Sum_{n>=0} (2n-1)!!*(2n+1)!!*x^(2*n+1)/(2*n+1)!. - Vladimir Kruchinin, Apr 22 2011
G.f.: 1 + x*(G(0) - 1)/(x-1) where G(k) = 1 - ((2*k+2)^2-1)/(1-x/(x - 1/G(k+1))); ( continued fraction ). - Sergei N. Gladkovskii, Jan 15 2013
a(n) = (2^(2*n+3)*Gamma(n+3/2)*Gamma(n+5/2))/Pi. - Jean-François Alcover, Jul 20 2015
Limit_{n->oo} 4^n*(n!)^2/a(n) = Pi/2. - Daniel Suteu, Feb 05 2017
From Michael Somos, May 04 2017: (Start)
a(n) = (2*n + 1) * A001818(n).
E.g.f.: Sum_{n>=0} a(n) * x^(2*n+1) / (2*n+1)! = x / sqrt(1 - x^2) = tan(arcsin(x)).
Given e.g.f. A(x) = y, then x * y' = y + y^3.
a(n) = -1 / a(-1-n) for all n in Z.
0 = +a(n)*(+288*a(n+2) -60*a(n+3) +a(n+4)) +a(n+1)*(-36*a(n+2) -4*a(n+3)) +a(n+2)*(+3*a(n+2)) for all n in Z. (End)
a(n) = Sum_{k=0..2n} (k+1) * A316728(n,k). - Alois P. Heinz, Jul 12 2018
From Amiram Eldar, Mar 18 2022: (Start)
Sum_{n>=0} 1/a(n) = 1 + L_1(1)*Pi/2, where L is the modified Struve function.
Sum_{n>=0} (-1)^n/a(n) = 1 - H_1(1)*Pi/2, where H is the Struve function. (End)

Extensions

Simpler description from Daniel Flath (deflath(AT)yahoo.com), Mar 05 2004

A053197 Number of level partitions of n.

Original entry on oeis.org

1, 1, 2, 2, 4, 3, 6, 5, 10, 8, 13, 12, 21, 18, 27, 27, 42, 38, 54, 54, 77, 76, 101, 104, 143, 142, 183, 192, 249, 256, 323, 340, 432, 448, 550, 585, 722, 760, 918, 982, 1190, 1260, 1502, 1610, 1917, 2048, 2408, 2590, 3053, 3264, 3800, 4097, 4765, 5120, 5910, 6378
Offset: 0

Views

Author

Vladeta Jovovic, Mar 02 2000

Keywords

Comments

A partition is level if the powers of 2 dividing its parts are all equal.

Crossrefs

Programs

  • Maple
    b:= proc(n, i, p) option remember; `if`(n=0, 1,
         `if`(i<1, 0, add(b(n-i*j, i-p, p), j=0..n/i)))
        end:
    a:= n-> (m-> `if`(n=0, 1, add(b(n, (h-> h-1+irem(h, 2)
        )(iquo(n, 2^j))*2^j, 2^(1+j)), j=0..m)))(ilog2(n)):
    seq(a(n), n=0..60);  # Alois P. Heinz, Jun 11 2015
  • Mathematica
    a[n_] := Sum[ PartitionsQ[n/2^k], {k, 0, IntegerExponent[n, 2]}]; Table[ a[n], {n, 1, 55}] (* Jean-François Alcover, Dec 12 2011, after Vladeta Jovovic *)

Formula

a(n) = Sum_{k=0..A007814(n)} A000009(n/2^k). a(2*n+1) = A000009(2*n+1) = A078408(n). - Vladeta Jovovic, Sep 29 2004

Extensions

a(0)=1 prepended by Alois P. Heinz, Jun 11 2015
Showing 1-2 of 2 results.