A001181 -id:A001181 - cp's OEIS frontend

A005366 Hoggatt sequence with parameter d=8.

1, 2, 11, 92, 1157, 19142, 403691, 10312304, 311348897, 10826298914, 426196716090, 18700516849302, 903666922873158, 47592378143008974, 2708388575679431454, 165309083872549538190, 10753269337589887334670, 741379205762167719365268

Offset: 0

N. J. A. Sloane

nonn

Let V be the vector representation of SL(8) (of dimension 8) and let E be the exterior algebra of V (of dimension 256). Then a(n) is the dimension of the subspace of invariant tensors in the n-th tensor power of E. - Bruce Westbury, Feb 03 2021
This is the number of 8-vicious walkers (aka vicious 8-watermelons) - see Essam and Guttmann (1995). This is the 8-walker analog of A001181. - N. J. A. Sloane, Mar 27 2021
In general, for d > 0, a(n) ~ BarnesG(d+1) * 2^(d*n + (2*d+1)*(d-1)/2) / (sqrt(d) * Pi^((d-1)/2) * n^((d^2 - 1)/2)). - Vaclav Kotesovec, Apr 01 2021

D. C. Fielder and C. O. Alford, An investigation of sequences derived from Hoggatt sums and Hoggatt triangles, in G. E. Bergum et al., editors, Applications of Fibonacci Numbers: Proc. Third Internat. Conf. on Fibonacci Numbers and Their Applications, Pisa, Jul 25-29, 1988. Kluwer, Dordrecht, Vol. 3, 1990, pp. 77-88.
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

Seiichi Manyama, Table of n, a(n) for n = 0..438
J. W. Essam and A. J. Guttmann, Vicious walkers and directed polymer networks in general dimensions, Physical Review E, 52(6), (1995) pp. 5849-5862. See (60) and (63).
D. C. Fielder, Letter to N. J. A. Sloane, Jun 1988
D. C. Fielder and C. O. Alford, An investigation of sequences derived from Hoggatt Sums and Hoggatt Triangles, Application of Fibonacci Numbers, 3 (1990) 77-88. Proceedings of 'The Third Annual Conference on Fibonacci Numbers and Their Applications,' Pisa, Italy, July 25-29, 1988. (Annotated scanned copy)
Vaclav Kotesovec, Calculation of the asymptotic formula for the sequence A005366

Row sums of A142468.

Cf. A000079, A000108, A001181, A005362, A005363, A005364, A005365, A116925.

A142468:= func< n,k | Binomial(n,k)*(&*[Binomial(n+2*j,k+j)/Binomial(n+2*j,j): j in [1..7]]) >;
A005366:= func< n | (&+[A142468(n,k): k in [0..n]]) >;
[A005366(n): n in [0..40]]; // G. C. Greubel, Nov 13 2022

A005366[n_]:=HypergeometricPFQ[{-7-n,-6-n,-5-n,-4-n,-3-n,-2-n,-1-n,-n},{2,3,4,5,6,7,8},1] (* Richard L. Ollerton, Sep 13 2006 *)

a(n) = my(d=8); 1 + sum(h=0, n-1, prod(k=0, h, binomial(n+d-1-k,d) / binomial(d + k, d))); \\ Michel Marcus, Feb 08 2021

def A005365(n): return simplify(hypergeometric([-7-n, -6-n, -5-n, -4-n, -3-n, -2-n, -1-n, -n],[2, 3, 4, 5, 6, 7, 8], 1))
[A005365(n) for n in range(51)] # G. C. Greubel, Nov 13 2022

a(n) = Hypergeometric8F7([-7-n, -6-n, -5-n, -4-n, -3-n, -2-n, -1-n, -n],[2, 3, 4, 5, 6, 7, 8], 1). - Richard L. Ollerton, Sep 13 2006
a(n) = S(8,n) where S(d,n) is defined in A005364. - Sean A. Irvine, May 29 2016
a(n) ~ 1913625 * 2^(8*n + 74) / (Pi^(7/2) * n^(63/2)). - Vaclav Kotesovec, Apr 01 2021

More terms from Sean A. Irvine, May 29 2016

A359363 Triangle read by rows. The coefficients of the Baxter polynomials p(0, x) = 1 and p(n, x) = x*hypergeom([-1 - n, -n, 1 - n], [2, 3], -x) for n >= 1.

Original entry on oeis.org

1, 0, 1, 0, 1, 1, 0, 1, 4, 1, 0, 1, 10, 10, 1, 0, 1, 20, 50, 20, 1, 0, 1, 35, 175, 175, 35, 1, 0, 1, 56, 490, 980, 490, 56, 1, 0, 1, 84, 1176, 4116, 4116, 1176, 84, 1, 0, 1, 120, 2520, 14112, 24696, 14112, 2520, 120, 1, 0, 1, 165, 4950, 41580, 116424, 116424, 41580, 4950, 165, 1

Offset: 0

Peter Luschny, Dec 28 2022

This triangle is a member of a family of Pascal-like triangles. Let T(n, k, m) = sf(m)*F(n - 1) / (F(k - 1)*F(n - k)) if k > 0 and otherwise k^n, where F(n) = Product_{j=0..m} (n + j)! and sf(m) are the superfactorials A000178. The case m = 2 gives this triangle, some other cases are given in the crossreferences. See also A342889 for a related representation of generalized binomial coefficients.

			Triangle T(n, k) starts:
[0] 1
[1] 0, 1
[2] 0, 1,   1
[3] 0, 1,   4,    1
[4] 0, 1,  10,   10,     1
[5] 0, 1,  20,   50,    20,     1
[6] 0, 1,  35,  175,   175,    35,     1
[7] 0, 1,  56,  490,   980,   490,    56,    1
[8] 0, 1,  84, 1176,  4116,  4116,  1176,   84,   1
[9] 0, 1, 120, 2520, 14112, 24696, 14112, 2520, 120, 1
.
Let p = (p1, p2,..., pn) denote a permutation of {1, 2,..., n}. The pair (p(i), p(i+1)) is a 'rise' if p(i) < p(i+1). Additionally a conventional rise is counted at the beginning of p.
T(n, k) is the number of Baxter permutations of {1,2,...,n} with k rises. For example for n = 4, [T(n, k) for k = 0..n] = [0, 1, 10, 10, 1]. The permutations, with preceding number of rises, are:
.
1 [4, 3, 2, 1],  3 [2, 3, 4, 1],  2 [3, 4, 2, 1],  3 [2, 3, 1, 4],
2 [3, 2, 4, 1],  3 [2, 1, 3, 4],  2 [3, 2, 1, 4],  3 [1, 3, 4, 2],
2 [2, 4, 3, 1],  3 [1, 3, 2, 4],  2 [4, 2, 3, 1],  3 [3, 4, 1, 2],
2 [2, 1, 4, 3],  3 [3, 1, 2, 4],  2 [4, 2, 1, 3],  3 [1, 2, 4, 3],
2 [1, 4, 3, 2],  3 [1, 4, 2, 3],  2 [4, 1, 3, 2],  3 [4, 1, 2, 3],
2 [4, 3, 1, 2],  4 [1, 2, 3, 4].

Special cases of the general formula: A097805 (m = 0), (0,1)-Pascal triangle; A090181 (m = 1), triangle of Narayana; this triangle (m = 2); A056940 (m = 3), with 1,0,0...; A056941 (m = 4), with 1,0,0...; A142465 (m = 5), with 1,0,0....
Variant: A056939. Diagonals: A000292, A006542, A047819.
Cf. A000178, A001181, A046996, A217800, A342889.

p := (n, x) -> ifelse(n = 0, 1, x*hypergeom([-1-n, -n, 1-n], [2, 3], -x)):
seq(seq(coeff(simplify(p(n, x)), x, k), k = 0..n), n = 0..10);
# Alternative:
T := proc(n, k) local F; F := n -> n!*(n+1)!*(n+2)!;
ifelse(k = 0, k^n, 2*F(n-1)/(F(k-1)*F(n-k))) end:
for n from 0 to 9 do seq(T(n, k), k = 0..n) od;

C=binomial;
T(n, k) = if(n==0 && k==0, 1, ( C(n+1,k-1) * C(n+1,k) * C(n+1,k+1) ) / ( C(n+1,1) * C(n+1,2) ) );
for(n=0,10,for(k=0,n,print1(T(n,k),", "));print());
\\ Joerg Arndt, Jan 04 2024

from functools import cache
from math import factorial
@cache
def A359363Row(n: int) -> list[int]:
    @cache
    def F(n: int): return factorial(n) ** 3 * ((n+1) * (n+1) * (n+2))
    if n == 0: return [1]
    return [0] + [(2*F(n-1))//(F(k-1) * F(n-k)) for k in range(1, n+1)]
for n in range(0, 10): print(A359363Row(n))
# Peter Luschny, Jan 04 2024

def A359363(n):
    if n == 0: return SR(1)
    h = x*hypergeometric([-1 - n, -n, 1 - n], [2, 3], -x)
    return h.series(x, n + 1).polynomial(SR)
for n in range(10): print(A359363(n).list())
def PolyA359363(n, t): return Integer(A359363(n)(x=t).n())
# Peter Luschny, Jan 04 2024

T(n, k) = [x^k] p(n, x).
T(n, k) = 2*F(n-1)/(F(k-1)*F(n-k)) for k > 0 where F(n) = n!*(n+1)!*(n+2)!.
p(n, 1) = A001181(n), i.e. the Baxter numbers are the values of the Baxter polynomials at x = 1.
(-1)^(n + 1)*p(2*n + 1, -1) = A217800(n) .

A000489 Card matching: Coefficients B[n,3] of t^3 in the reduced hit polynomial A[n,n,n](t).

Original entry on oeis.org

1, 16, 435, 7136, 99350, 1234032, 14219212, 155251840, 1628202762, 16550991200, 164111079110, 1594594348800, 15235525651840, 143518352447680, 1335670583147400, 12301278983461376, 112264111607438906, 1016361486936571680, 9136254276320346046

Offset: 1

N. J. A. Sloane

nonn

The definition uses notations of Riordan (1958), except for use of n instead of p. - M. F. Hasler, Sep 22 2015

J. Riordan, An Introduction to Combinatorial Analysis, Wiley, 1958, p. 193.
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).

Cf. A000279, A000535.
Cf. A059056 - A059071.
Cf. A001181.

[1, 16] cat [&+[3*Binomial(n, 3)*Binomial(n, k+3)*Binomial(n, k)*Binomial(n-3, k) + 6*n*Binomial(n, 2)*Binomial(n, k+1)*Binomial(n-1, k+2)*Binomial(n-2, k): k in [0..n-3]] + &+[n^3*Binomial(n-1, k)^3: k in [0..n-1]]: n in [3..20]]; // Vincenzo Librandi, Sep 22 2015

a[n_] := 3*Binomial[n, 3]*Sum[Binomial[n, k + 3]*Binomial[n, k]*Binomial[n - 3, k], {k, 0, n - 3}] + 6 n*Binomial[n, 2]*Sum[Binomial[n, k + 1]*Binomial[n - 1, k + 2]*Binomial[n - 2, k], {k, 0, n - 3}] + n^3*Sum[Binomial[n - 1, k]^3, {k, 0, n - 1}]; Table[a[n], {n, 20}] (* T. D. Noe, Jun 20 2012 *)

A000489(n)={3*binomial(n, 3)*sum(k=0,n-3,binomial(n, k+3)*binomial(n, k)*binomial(n-3, k))+6*n*binomial(n, 2)*sum(k=0,n-3,binomial(n, k+1)*binomial(n-1, k+2)*binomial(n-2, k))+n^3*sum(k=0,n-1,binomial(n-1, k)^3)} \\ M. F. Hasler, Sep 20 2015

a(n) = 3*binomial(n, 3)*sum(binomial(n, k+3)*binomial(n, k)*binomial(n-3, k), k=0..n-3) + 6n*binomial(n, 2)*sum(binomial(n, k+1)*binomial(n-1, k+2)*binomial(n-2, k), k=0..n-3) + n^3*sum(binomial(n-1, k)^3, k=0..n-1).
Recurrence: (n+3)*(243*n^7 - 1701*n^6 + 4239*n^5 - 4671*n^4 + 6042*n^3 - 17352*n^2 + 25032*n - 12016)*(n-1)^2*a(n) = n*(1701*n^9 - 6804*n^8 + 270*n^7 + 19116*n^6 + 35085*n^5 - 203640*n^4 + 324384*n^3 - 246736*n^2 + 75440*n - 5440)*a(n-1) + 8*n*(243*n^7 - 864*n^5 - 486*n^4 + 4233*n^3 - 5274*n^2 + 2460*n - 184)*(n-1)^2*a(n-2). - Vaclav Kotesovec, Aug 07 2013
a(n) ~ 3*sqrt(3)*n^2*8^(n-1)/Pi. - Vaclav Kotesovec, Aug 07 2013
a(n) = n^2*((27*n^3+54*n^2-57*n+8)*(n+2)*A001181(n)-(189*n^3+189*n^2-30*n+16)*(n-1)*A001181(n-1))/96. - Mark van Hoeij, Nov 14 2023

More terms from Vladeta Jovovic, Apr 26 2000
More terms from Emeric Deutsch, Feb 19 2004
Definition made more precise by M. F. Hasler, Sep 22 2015

A214020 Number A(n,k) of n X k chess tableaux; square array A(n,k), n>=0, k>=0, read by antidiagonals.

Original entry on oeis.org

1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 0, 2, 0, 1, 1, 1, 1, 2, 6, 6, 2, 1, 1, 1, 1, 0, 22, 0, 22, 0, 1, 1, 1, 1, 5, 92, 324, 324, 92, 5, 1, 1, 1, 1, 0, 422, 0, 8716, 0, 422, 0, 1, 1, 1, 1, 14, 2074, 47570, 343234, 343234, 47570, 2074, 14, 1, 1

Offset: 0

Alois P. Heinz, Jul 01 2012

A standard Young tableau (SYT) with cell(i,j)+i+j == 1 mod 2 for all cells is called a chess tableau. The definition appears first in the article by Jonas Sjöstrand.

			A(4,3) = A(3,4) = 6:
  [1 4  7]  [1 4  5]  [1 2  3]  [1 4  7]  [ 1  4  7]  [ 1  2  3]
  [2 5 10]  [2 7 10]  [4 7 10]  [2 5 10]  [ 2  5  8]  [ 4  5  6]
  [3 8 11]  [3 8 11]  [5 8 11]  [3 6 11]  [ 3  6  9]  [ 7  8  9]
  [6 9 12]  [6 9 12]  [6 9 12]  [8 9 12]  [10 11 12]  [10 11 12].
Square array A(n,k) begins:
  1,  1,  1,   1,     1,        1,          1,             1, ...
  1,  1,  1,   1,     1,        1,          1,             1, ...
  1,  1,  0,   1,     0,        2,          0,             5, ...
  1,  1,  1,   2,     6,       22,         92,           422, ...
  1,  1,  0,   6,     0,      324,          0,         47570, ...
  1,  1,  2,  22,   324,     8716,     343234,      17423496, ...
  1,  1,  0,  92,     0,   343234,          0,    8364334408, ...
  1,  1,  5, 422, 47570, 17423496, 8364334408, 6873642982160, ...

Alois P. Heinz, Antidiagonals n = 0..24, flattened
T. Y. Chow, H. Eriksson and C. K. Fan, Chess tableaux, Elect. J. Combin., 11 (2) (2005), #A3.
Jonas Sjöstrand, On the sign-imbalance of partition shapes, arXiv:math/0309231v3 [math.CO], 2005.
Wikipedia, Young tableau

Cf. A000108 (bisection of row 2), A001181 (row 3), A108774, A214021, A214088.

b:= proc() option remember; local s; s:= add(i, i=args); `if`(s=0, 1,
      add(`if`(irem(s+i-args[i], 2)=1 and args[i]>`if`(i=nargs, 0,
      args[i+1]), b(subsop(i=args[i]-1, [args])[]), 0), i=1..nargs))
    end:
A:= (n, k)-> `if`(n

b[args_List] := b[args] = Module[{s = Total[args], nargs = Length[args]}, If[s == 0, 1, Sum[If[Mod[s + i - args[[i]], 2] == 1 && args[[i]] > If[i == nargs, 0, args[[i + 1]]], b[ReplacePart[args, i -> args[[i]] - 1]], 0], {i, 1, nargs}]]]; A[n_, k_] := If[n < k, A[k, n], If[k < 2, 1, b[Array[n &, k]]]]; Table[Table[A[n, d - n], {n, 0, d}], {d, 0, 12}] // Flatten (* Jean-François Alcover, Jan 21 2015, after Alois P. Heinz *)

A342289 Number of 3-row-restricted Baxter slicings of size n.

Original entry on oeis.org

0, 1, 2, 6, 22, 91, 405, 1893, 9163, 45531, 230902

Offset: 0

N. J. A. Sloane, Mar 26 2021

Mathilde Bouvel, Veronica Guerrini, Andrew Rechnitzer, and Simone Rinaldi, Semi-Baxter and strong-Baxter: two relatives of the Baxter sequence, arXiv:1702.04529 [math.CO], 2017. See p. 26.

Cf. A001181, A342290, A342291, A342292, A342293.

A342290 Number of 4-row-restricted Baxter slicings of size n.

Original entry on oeis.org

0, 1, 2, 6, 22, 92, 421, 2051, 10449, 55023, 297139

Offset: 0

N. J. A. Sloane, Mar 26 2021

Mathilde Bouvel, Veronica Guerrini, Andrew Rechnitzer, and Simone Rinaldi, Semi-Baxter and strong-Baxter: two relatives of the Baxter sequence, arXiv:1702.04529 [math.CO], 2017. See p. 27.

Cf. A001181, A342289, A342291, A342292, A342293.

A342291 Number of 5-row-restricted Baxter slicings of size n.

Original entry on oeis.org

0, 1, 2, 6, 22, 92, 422, 2073, 10724, 57716, 320312

Offset: 0

N. J. A. Sloane, Mar 26 2021

Mathilde Bouvel, Veronica Guerrini, Andrew Rechnitzer, and Simone Rinaldi, Semi-Baxter and strong-Baxter: two relatives of the Baxter sequence, arXiv:1702.04529 [math.CO], 2017. See p. 27.

Cf. A001181, A342289, A342290, A342292, A342293.

A342292 Number of 2-skinny Baxter slicings of size n.

Original entry on oeis.org

0, 1, 2, 6, 22, 92, 419, 2022, 10168, 52718, 279820

Offset: 0

N. J. A. Sloane, Mar 26 2021

Mathilde Bouvel, Veronica Guerrini, Andrew Rechnitzer, and Simone Rinaldi, Semi-Baxter and strong-Baxter: two relatives of the Baxter sequence, arXiv:1702.04529 [math.CO], 2017. See p. 27.

Cf. A001181, A342289, A342290, A342291, A342293.

A342293 Number of 3-skinny Baxter slicings of size n.

Original entry on oeis.org

0, 1, 2, 6, 22, 92, 422, 2070, 10668, 57061, 314061

Offset: 0

N. J. A. Sloane, Mar 26 2021

Mathilde Bouvel, Veronica Guerrini, Andrew Rechnitzer, and Simone Rinaldi, Semi-Baxter and strong-Baxter: two relatives of the Baxter sequence, arXiv:1702.04529 [math.CO], 2017. See p. 27.

Cf. A001181, A342289, A342290, A342291, A342292.

A001183 Number of nontrivial Baxter permutations of length 2n-1.

Original entry on oeis.org

0, 2, 2, 18, 66, 374, 1694, 9822, 51698

Offset: 1

N. J. A. Sloane

W. M. Boyce, Generation of a class of permutations associated with commuting functions, Math. Algorithms, 2 (1967), 19-26.
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).

W. M. Boyce, Generation of a class of permutations associated with commuting functions, 1967; annotated and corrected scanned copy.
W. M. Boyce, Correction to page 25 (Part 1)
W. M. Boyce, Correction to Page 25 (Part 2)
W. M. Boyce, Baxter Permutations and Functional Composition, Houston Journal of Mathematics, Volume 7, No. 2, 1981

Cf. A001181, A001185, A046996.

cp's OEIS Frontend

A005366 Hoggatt sequence with parameter d=8.

Views

Author

Keywords

Comments

References

Links

Crossrefs

Programs

Magma

Mathematica

PARI

SageMath

Formula

Extensions

A359363 Triangle read by rows. The coefficients of the Baxter polynomials p(0, x) = 1 and p(n, x) = x*hypergeom([-1 - n, -n, 1 - n], [2, 3], -x) for n >= 1.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Maple

PARI

Python

SageMath

Formula

A000489 Card matching: Coefficients B[n,3] of t^3 in the reduced hit polynomial A[n,n,n](t).

Views

Author

Keywords

Comments

References

Links

Crossrefs

Programs

Magma

Mathematica

PARI

Formula

Extensions

A214020 Number A(n,k) of n X k chess tableaux; square array A(n,k), n>=0, k>=0, read by antidiagonals.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

A342289 Number of 3-row-restricted Baxter slicings of size n.

Views

Author

Keywords

Links

Crossrefs

A342290 Number of 4-row-restricted Baxter slicings of size n.

Views

Author

Keywords

Links

Crossrefs

A342291 Number of 5-row-restricted Baxter slicings of size n.

Views

Author

Keywords

Links

Crossrefs

A342292 Number of 2-skinny Baxter slicings of size n.

Views

Author

Keywords

Links

Crossrefs

A342293 Number of 3-skinny Baxter slicings of size n.

Views