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.

User: Matthieu Josuat-Vergès

Matthieu Josuat-Vergès's wiki page.

Matthieu Josuat-Vergès has authored 1 sequences.

A333829 Triangle read by rows: T(n,k) is the number of parking functions of length n with k strict descents. T(n,k) for n >= 1 and 0 <= k <= n-1.

Original entry on oeis.org

1, 2, 1, 5, 10, 1, 14, 73, 37, 1, 42, 476, 651, 126, 1, 132, 2952, 8530, 4770, 422, 1, 429, 17886, 95943, 114612, 31851, 1422, 1, 1430, 107305, 987261, 2162033, 1317133, 202953, 4853, 1, 4862, 642070, 9613054, 35196634, 39471355, 13792438, 1262800, 16786, 1
Offset: 1

Author

Keywords

Comments

In a parking function w(1), ..., w(n), a strict descent is an index i such that w(i) > w(i+1).
Define an n-dimensional polytope as the convex hull of length n+1 nondecreasing parking functions. Then, the Ehrhart h*-polynomial of this polytope is Sum_{k=0..n-1} T(n,k) * z^(n-1-k).

Examples

			The triangle T(n,k) begins:
n/k  0    1    2    3    4    5
1    1
2    2    1
3    5   10    1
4   14   73   37    1
5   42  476  651  126    1
6  132 2952 8530 4770  422    1
...
The 10 parking functions of length 3 with 1 strict descent are: [[1, 2, 1], [2, 1, 1], [1, 3, 1], [3, 1, 1], [2, 1, 2], [2, 2, 1], [1, 3, 2], [2, 1, 3], [2, 3, 1], [3, 1, 2]].
		

Crossrefs

Row sums give A000272(n+1).
Column k=0 gives A000108.
Similar to A108267.

Programs

  • SageMath
    var('z,t')
    assume(0
    				
  • SageMath
    # using[latte_int from LattE]
    # Install with "sage -i latte_int".
    # Another method is to compute the Ehrhart h^*-polynomial of a polytope.
    var('z,t')
    def Tpol(n):
        p = Polyhedron( NonDecreasingParkingFunctions(n+1) ).ehrhart_polynomial()
        return expand(factor( (1-z)**(n+1) * sum( p * z**t , t , 0 , oo ) ))
    def T(n,k):
        return Tpol(n).list()[n-1-k]