A122832 -id:A122832 - cp's OEIS frontend

A000898 a(n) = 2(a(n-1) + (n-1)a(n-2)) for n >= 2 with a(0) = 1.

1, 2, 6, 20, 76, 312, 1384, 6512, 32400, 168992, 921184, 5222208, 30710464, 186753920, 1171979904, 7573069568, 50305536256, 342949298688, 2396286830080, 17138748412928, 125336396368896, 936222729254912, 7136574106003456, 55466948299223040, 439216305474605056, 3540846129311916032

Offset: 0

N. J. A. Sloane

Number of solutions to the rook problem on a 2n X 2n board having a certain symmetry group (see Robinson for details).
Also the value of the n-th derivative of exp(x^2) evaluated at 1. - N. Calkin, Apr 22 2010
For n >= 1, a(n) is also the sum of the degrees of the irreducible representations of the group of n X n signed permutation matrices (described in sequence A066051). The similar sum for the "ordinary" symmetric group S_n is in sequence A000085. - Sharon Sela (sharonsela(AT)hotmail.com), Jan 12 2002
It appears that this is also the number of permutations of 1, 2, ..., n+1 such that each term (after the first) is within 2 of some preceding term. Verified for n+1 <= 6. E.g., a(4) = 20 because of the 24 permutations of 1, 2, 3, 4, the only ones not permitted are 1, 4, 2, 3; 1, 4, 3, 2; 4, 1, 2, 3; and 4, 1, 3, 2. - Gerry Myerson, Aug 06 2003
Hankel transform is A108400. - Paul Barry, Feb 11 2008
From Emeric Deutsch, Jun 19 2010: (Start)
Number of symmetric involutions of [2n]. Example: a(2)=6 because we have 1234, 2143, 1324, 3412, 4231, and 4321. See the Egge reference, pp. 419-420.
Number of symmetric involutions of [2n+1]. Example: a(2)=6 because we have 12345, 14325, 21354, 45312, 52341, and 54321. See the Egge reference, pp. 419-420.
(End)
Binomial convolution of sequence A000085: a(n) = Sum_{k=0..n} binomial(n,k)*A000085(k)*A000085(n-k). - Emanuele Munarini, Mar 02 2016
The sequence can be obtained from the infinite product of 2 X 2 matrices [(1,N); (1,1)] by extracting the upper left terms, where N = (1, 3, 5, ...), the odd integers. - Gary W. Adamson, Jul 28 2016
Apparently a(n) is the number of standard domino tableaux of size 2n, where a domino tableau is a generalized Young tableau in which all rows and columns are weakly increasing and all regions are dominos. - Gus Wiseman, Feb 25 2018

			G.f. = 1 + 2*x + 6*x^2 + 20*x^3 + 76*x^4 + 312*x^5 + 1384*x^6 + 6512*x^7 + ...
The a(3) = 20 domino tableaux:
1 1 2 2 3 3
.
1 2 2 3 3
1
.
1 2 3 3   1 1 3 3   1 1 2 2
1 2       2 2       3 3
.
1 1 3 3   1 1 2 2
2         3
2         3
.
1 2 3   1 2 2   1 1 3
1 2 3   1 3 3   2 2 3
.
1 3 3   1 2 2
1       1
2       3
2       3
.
1 2   1 1   1 1
1 2   2 3   2 2
3 3   2 3   3 3
.
1 3   1 2   1 1
1 3   1 2   2 2
2     3     3
2     3     3
.
1 1
2
2
3
3
.
1
1
2
2
3
3 - _Gus Wiseman_, Feb 25 2018

D. E. Knuth, The Art of Computer Programming. Addison-Wesley, Reading, MA, Vol. 3, Sect 5.1.4 Exer. 31.
L. C. Larson, The number of essentially different nonattacking rook arrangements, J. Recreat. Math., 7 (No. 3, 1974), circa pages 180-181.
R. W. Robinson, Counting arrangements of bishops, pp. 198-214 of Combinatorial Mathematics IV (Adelaide 1975), Lect. Notes Math., 560 (1976).
N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

T. D. Noe, Table of n, a(n) for n=0..200
Y. Alp and E. G. Kocer, Exponential Almost-Riordan Arrays, Results Math 79, 173 (2024). See page 10.
Arvind Ayyer, Hiranya Kishore Dey, and Digjoy Paul, How large is the character degree sum compared to the character table sum for a finite group?, arXiv:2406.06036 [math.RT], 2024. See p. 10.
C. Banderier, M. Bousquet-Mélou, A. Denise, P. Flajolet, D. Gardy and D. Gouyou-Beauchamps, Generating functions for generating trees, Discrete Mathematics 246(1-3), March 2002, pp. 29-55.
Paul Barry, The Gamma-Vectors of Pascal-like Triangles Defined by Riordan Arrays, arXiv:1804.05027 [math.CO], 2018.
R. A. Brualdi, Shi-Mie Ma, Enumeration of involutions by descents and symmetric matrices, Eur. J. Combin. 43 (2015) 220-228
P. J. Cameron, Sequences realized by oligomorphic permutation groups, J. Integ. Seqs. Vol. 3 (2000), #00.1.5.
C.-O. Chow, Counting involutory, unimodal, and alternating signed permutations, Discr. Math. 306 (2006), 2222-2228.
R. Donaghey, Binomial self-inverse sequences and tangent coefficients, J. Combin. Theory, Series A, 21 (1976), 155-163.
Eric S. Egge, Restricted symmetric permutations, Ann. Combin., 11 (2007), 405-434.
Adam M. Goyt and Lara K. Pudwell, Avoiding colored partitions of two elements in the pattern sense, arXiv preprint arXiv:1203.3786 [math.CO], 2012. - From _N. J. A. Sloane_, Sep 17 2012
T. Halverson and M. Reeks, Gelfand Models for Diagram Algebras, arXiv:1302.6150 [math.RT], 2013-2014.
Guo-Niu Han, Enumeration of Standard Puzzles, 2011. [Cached copy]
Guo-Niu Han, Enumeration of Standard Puzzles, arXiv:2006.14070 [math.CO], 2020.
L. C. Larson, The number of essentially different nonattacking rook arrangements, J. Recreat. Math., 7 (No. 3, 1974), circa pages 180-181. [Annotated scan of pages 180 and 181 only]
Yen-chi R. Lin, Asymptotic Formula for Symmetric Involutions, arXiv:1310.0988 [math.CO], 2013.
E. Lucas, Théorie des Nombres, Gauthier-Villars, Paris, 1891, Vol. 1, p. 221.
E. Lucas, Théorie des nombres (annotated scans of a few selected pages)
J. Riordan, Letter to N. J. A. Sloane, Feb 03 1975 (with notes by njas)
D. P. Roberts and A. Venkatesh, Hurwitz monodromy and full number fields, 2014.
Index entries for sequences related to Hermite polynomials

Column k=2 of A294042 and A376826.
Row sums of A122832 and A185296.
Cf. A000085, A000712, A004003, A066051, A099390, A100861, A135401, A138178, A153452, A297388, A299699, A299926, A300056, A300060.

a000898 n = a000898_list !! n
a000898_list = 1 : 2 : (map (* 2) $
   zipWith (+) (tail a000898_list) (zipWith (*) [1..] a000898_list))
-- Reinhard Zumkeller, Oct 10 2011

# For Maple program see A000903.
seq(simplify((-I)^n*HermiteH(n, I)), n=0..25); # Peter Luschny, Oct 23 2015

a[n_] := Sum[ 2^k*StirlingS1[n, k]*BellB[k], {k, 0, n}]; Table[a[n], {n, 0, 21}] (* Jean-François Alcover, Nov 17 2011, after Vladeta Jovovic *)
RecurrenceTable[{a[0]==1,a[1]==2,a[n]==2(a[n-1]+(n-1)a[n-2])},a,{n,30}] (* Harvey P. Dale, Aug 04 2012 *)
Table[Abs[HermiteH[n, I]], {n, 0, 20}] (* Vladimir Reshetnikov, Oct 22 2015 *)
a[ n_] := Sum[ 2^(n - 2 k) n! / (k! (n - 2 k)!), {k, 0, n/2}]; (* Michael Somos, Oct 23 2015 *)

makelist((%i)^n*hermite(n,-%i),n,0,12); /* Emanuele Munarini, Mar 02 2016 */

{a(n) = if( n<0, 0, n! * polcoeff( exp(2*x + x^2 + x * O(x^n)), n))}; /* Michael Somos, Feb 08 2004 */

{a(n) = if( n<2, max(0, n+1), 2*a(n-1) + (2*n - 2) * a(n-2))}; /* Michael Somos, Feb 08 2004 */

my(x='x+O('x^66)); Vec(serlaplace(exp(2*x+x^2))) \\ Joerg Arndt, Oct 04 2013

{a(n) = sum(k=0, n\2, 2^(n - 2*k) * n! / (k! * (n - 2*k)!))}; /* Michael Somos, Oct 23 2015 */

a(n) = Sum_{m=0..n} |A060821(n,m)| = H(n,-i)*i^n, with the Hermite polynomials H(n,x); i.e., these are row sums of the unsigned triangle A060821.
E.g.f.: exp(x*(x + 2)).
a(n) = 2 * A000902(n) for n >= 1.
a(n) = Sum_{k=0..n} binomial(n,2k)*binomial(2k,k)*k!*2^(n-2k). - N. Calkin, Apr 22 2010
Binomial transform of A047974. - Paul Barry, May 09 2003
a(n) = Sum_{k=0..n} Stirling1(n, k)*2^k*Bell(k). - Vladeta Jovovic, Oct 01 2003
From Paul Barry, Aug 29 2005: (Start)
a(n) = Sum_{k=0..floor(n/2)} A001498(n-k, k) * 2^(n-k).
a(n) = Sum_{k=0..n} A001498((n+k)/2, (n-k)/2) * 2^((n+k)/2) * (1+(-1)^(n-k))/2. (End)
For asymptotics, see the Robinson paper. [This is disputed by Yen-chi R. Lin. See below, Sep 30 2013.]
a(n) = Sum_{k=0..floor(n/2)} 2^(n-2*k) * C(n,2*k) * (2*k)!/k!. - Paul Barry, Feb 11 2008
G.f.: 1/(1 - 2*x - 2*x^2/(1 - 2*x - 4*x^2/(1 - 2*x - 6*x^2/(1 - 2*x - 8*x^2/(1 - ... (continued fraction). - Paul Barry, Feb 25 2010
E.g.f.: exp(x^2 + 2*x) = Q(0); Q(k) = 1 + (x^2 + 2*x)/(2*k + 1 - (x^2 + 2*x)*(2*k + 1)/((x^2 + 2*x) + (2*k + 2)/Q(k+1))); (continued fraction). - Sergei N. Gladkovskii, Nov 24 2011
G.f.: 1/Q(0), where Q(k) = 1 + 2*x*k - x - x/(1 - 2*x*(k + 1)/Q(k+1) ); (continued fraction). - Sergei N. Gladkovskii, Mar 07 2013
a(n) = (2*n/e)^(n/2) * exp(sqrt(2*n)) / sqrt(2*e) * (1 + sqrt(2/n)/3 + O(n^(-1))). - Yen-chi R. Lin, Sep 30 2013
0 = a(n)*(2*a(n+1) + 2*a(n+2) - a(n+3)) + a(n+1)*(-2*a(n+1) + a(n+2)) for all n >= 0. - Michael Somos, Oct 23 2015
a(n) = Sum_{k=0..floor(n/2)} 2^(n-k)*B(n, k), where B are the Bessel numbers A100861. - Peter Luschny, Jun 04 2021

More terms from Larry Reeves (larryr(AT)acm.org), Feb 21 2001
Initial condition a(0)=1 added to definition by Jon E. Schoenfield, Oct 01 2013
More terms from Joerg Arndt, Oct 04 2013

A111062 Triangle T(n, k) = binomial(n, k) * A000085(n-k), 0 <= k <= n.

Original entry on oeis.org

1, 1, 1, 2, 2, 1, 4, 6, 3, 1, 10, 16, 12, 4, 1, 26, 50, 40, 20, 5, 1, 76, 156, 150, 80, 30, 6, 1, 232, 532, 546, 350, 140, 42, 7, 1, 764, 1856, 2128, 1456, 700, 224, 56, 8, 1, 2620, 6876, 8352, 6384, 3276, 1260, 336, 72, 9, 1, 9496, 26200, 34380, 27840, 15960, 6552, 2100, 480, 90, 10, 1

Offset: 0

Philippe Deléham, Oct 07 2005

Triangle related to A000085.
Riordan array [exp(x(2+x)/2),x]. - Paul Barry, Nov 05 2008
Array is exp(S+S^2/2) where S is A132440 the infinitesimal generator for Pascal's triangle. T(n,k) gives the number of ways to choose a subset of {1,2,...,n} of size k and then partitioning the remaining n-k elements into sets each of size 1 or 2. Cf. A122832. - Peter Bala, May 14 2012
T(n,k) is equal to the number of R-classes (equivalently, L-classes) in the D-class consisting of all rank k elements of the partial Brauer monoid of degree n. - James East, Aug 17 2015

			Rows begin:
     1;
     1,    1;
     2,    2,    1;
     4,    6,    3,    1;
    10,   16,   12,    4,    1;
    26,   50,   40,   20,    5,    1;
    76,  156,  150,   80,   30,    6,   1;
   232,  532,  546,  350,  140,   42,   7,  1;
   764, 1856, 2128, 1456,  700,  224,  56,  8, 1;
  2620, 6876, 8352, 6384, 3276, 1260, 336, 72, 9, 1;
From _Paul Barry_, Apr 23 2009: (Start)
Production matrix is:
  1, 1,
  1, 1, 1,
  0, 2, 1, 1,
  0, 0, 3, 1, 1,
  0, 0, 0, 4, 1, 1,
  0, 0, 0, 0, 5, 1, 1,
  0, 0, 0, 0, 0, 6, 1, 1,
  0, 0, 0, 0, 0, 0, 7, 1, 1,
  0, 0, 0, 0, 0, 0, 0, 8, 1, 1 (End)
From _Peter Bala_, Feb 12 2017: (Start)
The infinitesimal generator has integer entries and begins
  0
  1  0
  1  2  0
  0  3  3  0
  0  0  6  4  0
  0  0  0 10  5  0
  0  0  0  0 15  6  0
  ...
and is the generalized exponential Riordan array [x + x^2/2!,x].(End)

Muniru A Asiru, Table of n, a(n) for n = 0..1325
Igor Dolinka, James East, Athanasios Evangelou, Des FitzGerald, Nicholas Ham, James Hyde, and Nicholas Loughlin, Enumeration of idempotents in diagram semigroups and algebras, arXiv:1408.2021 [math.GR], 2014.
Igor Dolinka, James East, Athanasios Evangelou, Des FitzGerald, Nicholas Ham, James Hyde, and Nicholas Loughlin, Enumeration of idempotents in diagram semigroups and algebras, J. Combin. Theory Ser. A 131 (2015), 119-152.
Tom Halverson and Theodore N. Jacobson, Set-partition tableaux and representations of diagram algebras, arXiv:1808.08118 [math.RT], 2018.

Cf. A000085, A005425 (row sums), A007318, A013989, A122832, A132440.

Cf. A099174, A133314, A159834 (inverse matrix).

Flat(List([0..10],n->List([0..n],k->(Factorial(n)/Factorial(k))*Sum([0..n-k],j->Binomial(j,n-k-j)/(Factorial(j)*2^(n-k-j)))))); # Muniru A Asiru, Jun 29 2018

a[n_] := Sum[(2 k - 1)!! Binomial[n, 2 k], {k, 0, n/2}]; Table[Binomial[n, k] a[n - k], {n, 0, 10}, {k, 0, n}] // Flatten (* Michael De Vlieger, Aug 20 2015, after Michael Somos at A000085 *)

def A111062_triangle(dim):
    M = matrix(ZZ,dim,dim)
    for n in (0..dim-1): M[n,n] = 1
    for n in (1..dim-1):
        for k in (0..n-1):
            M[n,k] = M[n-1,k-1]+M[n-1,k]+(k+1)*M[n-1,k+1]
    return M
A111062_triangle(9) # Peter Luschny, Sep 19 2012

Sum_{k>=0} T(m, k)*T(n, k)*k! = T(m+n, 0) = A000085(m+n).
Sum_{k=0..n} T(n, k) = A005425(n).
Apparently satisfies T(n,m) = T(n-1,m-1) + T(n-1,m) + (m+1) * T(n-1,m+1). - Franklin T. Adams-Watters, Dec 22 2005 [corrected by Werner Schulte, Feb 12 2025]
T(n,k) = (n!/k!)*Sum_{j=0..n-k} C(j,n-k-j)/(j!*2^(n-k-j)). - Paul Barry, Nov 05 2008
G.f.: 1/(1-xy-x-x^2/(1-xy-x-2x^2/(1-xy-x-3x^2/(1-xy-x-4x^2/(1-... (continued fraction). - Paul Barry, Apr 23 2009
T(n,k) = C(n,k)*Sum_{j=0..n-k} C(n-k,j)*(n-k-j-1)!! where m!!=0 if m is even. - James East, Aug 17 2015
From Tom Copeland, Jun 26 2018: (Start)
E.g.f.: exp[t*p.(x)] = exp[t + t^2/2] e^(x*t).
These polynomials (p.(x))^n = p_n(x) are an Appell sequence with the lowering and raising operators L = D and R = x + 1 + D, with D = d/dx, such that L p_n(x) = n * p_(n-1)(x) and R p_n(x) = p_(n+1)(x), so the formalism of A133314 applies here, giving recursion relations.
The transpose of the production matrix gives a matrix representation of the raising operator R.
exp(D + D^2/2) x^n= e^(D^2/2) (1+x)^n = h_n(1+x) = p_n(x) = (a. + x)^n, with (a.)^n = a_n = A000085(n) and h_n(x) the modified Hermite polynomials of A099174.
A159834 with the e.g.f. exp[-(t + t^2/2)] e^(x*t) gives the matrix inverse for this entry with the umbral inverse polynomials q_n(x), an Appell sequence with the raising operator  x - 1 - D, such that umbrally composed q_n(p.(x)) = x^n = p_n(q.(x)). (End)

Corrected by Franklin T. Adams-Watters, Dec 22 2005

10th row added by James East, Aug 17 2015

cp's OEIS Frontend

A291632 Column 1 of A122832.

Views

Author

Keywords

Crossrefs

Programs

Mathematica

Formula

A000898 a(n) = 2*(a(n-1) + (n-1)*a(n-2)) for n >= 2 with a(0) = 1.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Haskell

Maple

Mathematica

Maxima

PARI

PARI

PARI

PARI

Formula

Extensions

A111062 Triangle T(n, k) = binomial(n, k) * A000085(n-k), 0 <= k <= n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

GAP

Mathematica

Sage

Formula

Extensions

A122833 Exponential Riordan array (e^(-x(1+x)),x).

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

Formula

A000898 a(n) = 2(a(n-1) + (n-1)a(n-2)) for n >= 2 with a(0) = 1.