English

On some discrete statistics of parking functions

Combinatorics 2024-05-28 v2

Abstract

Recall that α=(a1,a2,,an)[n]n\alpha=(a_1,a_2,\ldots,a_n)\in[n]^n is a parking function if its nondecreasing rearrangement β=(b1,b2,,bn)\beta=(b_1,b_2,\ldots,b_n) satisfies biib_i\leq i for all 1in1\leq i\leq n. In this article, we study parking functions based on their ascents (indices at which ai<ai+1a_i<a_{i+1}), descents (indices at which ai>ai+1a_i>a_{i+1}), and ties (indices at which ai=ai+1a_i=a_{i+1}). By utilizing multiset Eulerian polynomials, we give a generating function for the number of parking functions of length nn with ii descents. We present a recursive formula for the number of parking functions of length nn with descents at a specified subset of [n1][n-1]. We establish that the number of parking functions of length nn with descents at I[n1]I\subset[n-1] and descents at J={ni:iI}J=\{n-i:i\in I\} are equinumerous. As a special case, we show that the number of parking functions of length nn with descents at the first kk indices is given by f(n,nk1)=1n(nk)(2nknk1)f(n, n-k-1)=\frac{1}{n}\binom{n}{k}\binom{2n-k}{n-k-1}. We prove this by bijecting to the set of standard Young tableaux of shape ((nk)2,1k)((n-k)^2,1^k), which are enumerated by f(n,nk1)f(n,n-k-1). We also study peaks of parking functions, which are indices at which ai1<ai>ai+1a_{i-1}<a_i>a_{i+1}. We show that the set of parking functions with no peaks and no ties is enumerated by the Catalan numbers. We conclude our study by characterizing when a parking function is uniquely determined by their statistic encoding; a word indicating what indices in the parking function are ascents, descents, and ties. We provide open problems throughout.

Keywords

Cite

@article{arxiv.2312.16786,
  title  = {On some discrete statistics of parking functions},
  author = {Ari Cruz and Pamela E. Harris and Kimberly J. Harry and Jan Kretschmann and Matt McClinton and Alex Moon and John O. Museus and Eric Redmon},
  journal= {arXiv preprint arXiv:2312.16786},
  year   = {2024}
}

Comments

17 pages, 2 figures, 5 tables, version 2 provides a new proof of Theorem 3.8