arXiv++ Combinatorics

Let $G$ be an (oriented) graph on the vertex set $V = \{ 0, 1,\ldots,n\}$ with root $0$. Postnikov and Shapiro associated a monomial ideal $\mathcal{M}_G$ in the polynomial ring $ R = {\mathbb{K}}[x_1,\ldots,x_n]$ over a field $\mathbb{K}$. A subideal $\mathcal{M}_G^{(k)}$ of $\mathcal{M}_G$ generated by subsets of $\widetilde{V}=V\setminus \{0\}$ of size at most $k+1$ is called a $k$-skeleton ideal of the graph $G$. Many interesting homological and combinatorial properties of $1$-skeleton ideal $\mathcal{M}_G^{(1)}$ are obtained by Dochtermann for certain classes of simple graph $G$. A finite sequence $\mathcal{P}=(p_1,\ldots,p_n) \in \mathbb{N}^n$ is called a spherical $G$-parking function if the monomial $\mathbf{x}^{\mathcal{P}} = \prod_{i=1}^{n} x_i^{p_i} \in \mathcal{M}_G \setminus \mathcal{M}_G^{(n-2)}$. Let ${\rm sPF}(G)$ be the set of all spherical $G$-parking functions. In this paper, a combinatorial description for all multigraded Betti numbers of the $k$-skeleton ideal $\mathcal{M}_{K_{n+1}}^{(k)}$ of the complete graph $K_{n+1}$ on $V$ are given. Also, using DFS burning algorithms of Perkinson-Yang-Yu (for simple graph) and Gaydarov-Hopkins (for multigraph), we give a combinatorial interpretation of spherical $G$-parking functions for the graph $G = K_{n+1}- \{e\}$ obtained from the complete graph $K_{n+1}$ on deleting an edge $e$. In particular, we showed that $|{\rm sPF}(K_{n+1}- \{e_0\} )|= (n-1)^{n-1}$ for an edge $e_0$ through the root $0$, but $|{\rm sPF}(K_{n+1} - \{e_1\})| = (n-1)^{n-3}(n-2)^2$ for an edge $e_1$ not through the root.

Berget and Rhoades asked whether the permutation representation obtained by the action of $S_{n-1}$ on parking functions of length $n-1$ can be extended to a permutation action of $S_{n}$. We answer this question in the affirmative. We realize our module in two different ways. The first description involves binary Lyndon words and the second involves the action of the symmetric group on the lattice points of the trimmed standard permutahedron.

We construct a family of $S_n$ modules indexed by $c\in\{1,\dots,n\}$ with the property that upon restriction to $S_{n-1}$ they recover the classical parking function representation of Haiman. The construction of these modules relies on an $S_n$-action on a set that is closely related to the set of parking functions. We compute the characters of these modules and use the resulting description to classify them up to isomorphism. In particular, we show that the number of isomorphism classes is equal to the number of divisors $d$ of $n$ satisfying $ d\neq 2 \: (\!\!\!\!\mod 4)$. In the cases $c=n$ and $c=1$, we compute the number of orbits. Based on empirical evidence, we conjecture that when $c=1$, our representation is $h$-positive and is in fact the (ungraded) extension of the parking function representation constructed by Berget and Rhoades.

This paper contains a partial answer to the open problem 3.11 of \cite{[H2008]}. That is to find an explicit bijection on Schröder paths that inverts the statistics area and bounce. This paper started as an attempt to write the sum over $m$-Schröder paths with a fix number of diagonal steps into Schur functions in the variables $q$ and $t$. Some results have been generalized to parking functions, and some bijections were made with standard Young tableaux giving way to partial combinatorial formulas in the basis $s_μ(q,t)s_λ(X)$ for $\nabla(e_n)$ (respectively, $\nabla^m(e_n)$), when $μ$ and $λ$ are hooks (respectively, $μ$ is of length one). We also give an explicit algorithm that gives all the Schröder paths related to a Schur function $s_μ(q,t)$ when $μ$ is of length one. In a sense, it is a partial decomposition of Schröder paths into crystals.

Parking functions, classically defined in terms of cars with preferred parking spots on a directed path attempting to park there, arise in many combinatorial situations and have seen various generalizations. In particular, parking functions have been defined for general digraphs, which yields many more enumeration problems. For example, in a directed tree whose edges are orientated away from the root, it is unknown in general how the number of parking functions on it changes once the orientation is reversed, even in the case when the tree is a star. We show that this orientation reversal results in more parking functions on the directed star in most cases, after which we extend these methods to show that this also results in more parking functions on the general directed tree if, in some sense, the number of vertices greatly exceeds the number of cars.

Warning. The reading of this paper will send you down many winding roads toward new and exciting research topics enumerating generalized parking functions. Buckle up!

The moduli space $\overline{M}_{0,n}$ may be embedded into the product of projective spaces $\mathbb{P}^1\times \mathbb{P}^2\times \cdots \times \mathbb{P}^{n-3}$, using a combination of the Kapranov map $|ψ_n|:\overline{M}_{0,n}\to \mathbb{P}^{n-3}$ and the forgetful maps $π_i:\overline{M}_{0,i}\to \overline{M}_{0,i-1}$. We give an explicit combinatorial formula for the multidegree of this embedding in terms of certain parking functions of height $n-3$. We use this combinatorial interpretation to show that the total degree of the embedding (thought of as the projectivization of its cone in $\mathbb{A}^2\times \mathbb{A}^3\cdots \times \mathbb{A}^{n-2}$) is equal to $(2(n-3)-1)!!=(2n-7)(2n-9) \cdots(5)(3)(1)$. As a consequence, we also obtain a new combinatorial interpretation for the odd double factorial.

Given a strictly increasing sequence $\mathbf{t}$ with entries from $[n]:=\{1,\ldots,n\}$, a parking completion is a sequence $\mathbf{c}$ with $|\mathbf{t}|+|\mathbf{c}|=n$ and $|\{t\in \mathbf{t}\mid t\le i\}|+|\{c\in \mathbf{c}\mid c\le i\}|\ge i$ for all $i$ in $[n]$. We can think of $\mathbf{t}$ as a list of spots already taken in a street with $n$ parking spots and $\mathbf{c}$ as a list of parking preferences where the $i$-th car attempts to park in the $c_i$-th spot and if not available then proceeds up the street to find the next available spot, if any. A parking completion corresponds to a set of preferences $\mathbf{c}$ where all cars park. We relate parking completions to enumerating restricted lattice paths and give formulas for both the ordered and unordered variations of the problem by use of a pair of operations termed \textbf{Join} and \textbf{Split}. Our results give a new volume formula for most Pitman-Stanley polytopes, and enumerate the signature parking functions of Ceballos and González D'León.

A parking function $(c_1,\ldots,c_n)$ can be viewed as having $n$ cars trying to park on a one-way street with $n$ parking spots, where car $i$ tries to park in spot $c_i$, and otherwise he parks in the leftmost available spot after $c_i$. Another way to view this is that each car has a set $C_i$ of "acceptable" parking spots, namely $C_i=[c_i,n]$, and that each car tries to park in the leftmost available spot that they find acceptable. Motivated by this, we define a subset parking function $(C_1,\ldots,C_n)$, with each $C_i$ a subset of $\{1,\ldots,n\}$, by having the $i$th car try to park in the leftmost available element of $C_i$. We further generalize this idea by restricting our sets to be of size $k$, intervals, and intervals of length $k$. In each of these cases we provide formulas for the number of such parking functions.

Classical parking functions are defined as the parking preferences for $n$ cars driving (from west to east) down a one-way street containing parking spaces labeled from $1$ to $n$ (from west to east). Cars drive down the street toward their preferred spot and park there if the spot is available. Otherwise, the car continues driving down the street and takes the first available parking space, if such a space exists. If all cars can park using this parking rule, we call the $n$-tuple containing the cars' parking preferences a parking function. In this paper, we introduce a generalization of the parking rule allowing cars whose preferred space is taken to first proceed up to $k$ spaces west of their preferred spot to park before proceeding east if all of those $k$ spaces are occupied. We call parking preferences which allow all cars to park under this new parking rule $k$-Naples parking functions of length $n$. This generalization gives a natural interpolation between classical parking functions, the case when $k=0$, and all $n$-tuples of positive integers $1$ to $n$, the case when $k\geq n-1$. Our main result provides a recursive formula for counting $k$-Naples parking functions of length $n$. We also give a characterization for the $k=1$ case by introducing a new function that maps $1$-Naples parking functions to classical parking functions, i.e. $0$-Naples parking functions. Lastly, we present a bijection between $k$-Naples parking functions of length $n$ whose entries are in weakly decreasing order and a family of signature Dyck paths.

Parking functions of length $n$ are well known to be in correspondence with both labelled trees on $n+1$ vertices and factorizations of the full cycle $σ_n=(0\,1\,\cdots\,n)$ into $n$ transpositions. In fact, these correspondences can be refined: Kreweras equated the area enumerator of parking functions with the inversion enumerator of labelled trees, while an elegant bijection of Stanley maps the area of parking functions to a natural statistic on factorizations of $σ_n$. We extend these relationships in two principal ways. First, we introduce a bivariate refinement of the inversion enumerator of trees and show that it matches a similarly refined enumerator for factorizations. Secondly, we characterize all full cycles $σ$ such that Stanley's function remains a bijection when the canonical cycle $σ_n$ is replaced by $σ$. We also exhibit a connection between our refined inversion enumerator and Haglund's bounce statistic on parking functions.

For any finite poset P we introduce a homogeneous space as a quotient of the general linear group with the incidence group of P. When P is a chain this quotient is a flag variety; for the trivial poset our construction gives a variety recently introduced in [20]. Moreover we provide decompositions for any set in a projective space, induced by the action of the incidence group of a suitable poset. In the classical cases of Grassmannians and flag varieties we recover, depending on the choice of the poset, the partition into Schubert cells and the matroid strata. Our general framework produces, for the homogeneous spaces corresponding to the trivial posets, a stratification by parking functions.

Classical Gončarov polynomials arose in numerical analysis as a basis for the solutions of the Gončarov interpolation problem. These polynomials provide a natural algebraic tool in the enumerative theory of parking functions. By replacing the differentiation operator with a delta operator and using the theory of finite operator calculus, Lorentz, Tringali and Yan introduced the sequence of generalized Gončarov polynomials associated to a pair $(Δ, Z)$ of a delta operator $Δ$ and an interpolation grid $Z$. Generalized Gončarov polynomials share many nice algebraic properties and have a connection with the theories of binomial enumeration and order statistics. In this paper we give a complete combinatorial interpretation for any sequence of generalized Gončarov polynomials. First, we show that they can be realized as weight enumerators in partition lattices. Then, we give a more concrete realization in exponential families and show that these polynomials enumerate various enriched structures of vector parking functions.

Classical parking functions can be defined in terms of drivers with preferred parking spaces searching a linear parking lot for an open parking spot. We may consider this linear parking lot as a collection of $n$ vertices (parking spots) arranged in a directed path. We generalize this notion to allow for more complicated "parking lots" and define parking functions on arbitrary directed graphs. We then consider a relationship proved by Lackner and Panholzer between parking functions on trees and "mapping digraphs" and we show that a similar relationship holds when edge orientations are reversed.

We associate two modules, the $G$-parking critical module and the toppling critical module, to an undirected connected graph $G$. The $G$-parking critical module and the toppling critical module are canonical modules (with suitable twists) of quotient rings of the well-studied $G$-parking function ideal and the toppling ideal, respectively. For each critical module, we establish a Tutte-like short exact sequence relating the modules associated to $G$, an edge contraction $G/e$ and an edge deletion $G \setminus e$ ($e$ is a non-bridge). We obtain purely combinatorial consequences of Tutte short exact sequences. For instance, we reprove a theorem of Merino that the critical polynomial of a graph is an evaluation of its Tutte polynomial, and relate the vanishing of certain combinatorial invariants (the number of acyclic orientations on connected partition graphs satisfying a unique sink property) of $G/e$ to the equality of the corresponding invariants of $G$ and $G \setminus e$.

For a fixed integer $k$, we consider the set of noncrossing partitions, where both the block sizes and the difference between adjacent elements in a block is $1\bmod k$. We show that these $k$-indivisible noncrossing partitions can be recovered in the setting of subgroups of the symmetric group generated by $(k+1)$-cycles, and that the poset of $k$-indivisible noncrossing partitions under refinement order has many beautiful enumerative and structural properties. We encounter $k$-parking functions and some special Cambrian lattices on the way, and show that a special class of lattice paths constitutes a nonnesting analogue.

As a classical object, the Tamari lattice has many generalizations, including $ν$-Tamari lattices and parabolic Tamari lattices. In this article, we unify these generalizations in a bijective fashion. We first prove that parabolic Tamari lattices are isomorphic to $ν$-Tamari lattices for bounce paths $ν$. We then introduce a new combinatorial object called `left-aligned colorable tree', and show that it provides a bijective bridge between various parabolic Catalan objects and certain nested pairs of Dyck paths. As a consequence, we prove the Steep-Bounce Conjecture using a generalization of the famous zeta map in $q,t$-Catalan combinatorics. A generalization of the zeta map on parking functions, which arises in the theory of diagonal harmonics, is also obtained as a labeled version of our bijection.

We define an action of words in $[m]^n$ on $\mathbb{R}^m$ to give a new characterization of rational parking functions -- they are exactly those words whose action has a fixed point. We use this viewpoint to give a simple definition of Gorsky, Mazin, and Vazirani's zeta map on rational parking functions when m and n are coprime, and prove that this zeta map is invertible. A specialization recovers Loehr and Warrington's sweep map on rational Dyck paths.

The original Pak-Stanley labeling was defined by Pak and Stanley as a bijective map from the set of regions of an extended Shi arrangement to the set of parking functions. This map was later generalized to other arrangements associated with graphs and directed multigraphs. In these more general cases the map is no longer bijective. However, it was shown Hopkins and Perkinson and then the first author that it is surjective to the set of the $G$-parking functions, where $G$ is the multigraph associated with the arrangement. This leads to a natural question: when is the generalized Pak-Stanley map bijective? In this paper we answer this question in the special case of central hyperplane arrangements, i.e. the case when all the hyperplanes of the arrangement pass through a common point.

The machinery of zonotopal algebra is linked with two particular polytopes: the Stanley-Pitman polytope and the regular simplex $\mathfrak{Sim}_n(t_1,...,t_n)$ with parameters $t_1,...,t_n\in \mathbb{R}_+^n$, defined by the inequalities $\sum_{i=1}^n r_i\leq \sum_{i=1}^n t_i, \mbox{ } r_i\in \mathbb{R}_+^n,$ where the $(r_i)_{i\in [n]}$ are variables. Specifically, we will discuss the central Dahmen-Micchelli space of the broken wheel graph $BW_n$ and its dual, the $\mathcal{P}$-central space. We will observe that the $\mathcal{P}$-central space of $BW_n$ is monomial, with a basis given by the $BW_n$-parking functions. We will show that the volume polynomial of the the Stanley-Pitman polytope lies in the central Dahmen-Micchelli space of $BW_n$ and is precisely the polynomial in a particular basis of the central Dahmen-Micchelli space which corresponds to the monomial $t_1t_2\cdots t_n$ in the dual monomial basis of the $\mathcal{P}$-central space. We will then define the generalized broken wheel graph $GBW_n(T)$ for a given rooted tree $T$ on $n$ vertices. For every such tree, we can construct $2^{n-1}$ directed graphs, which we will refer to as \textit{generalized broken wheel graphs}. Each generalized broken wheel graph constructed from $T$ will give us a polytope, its volume polynomial, and a \textit{reference monomial}. The $2^{n-1}$ polytopes together give a polyhedral subdivision of $\mathfrak{Sim}_n(t_1,...,t_n)$, their volume polynomials together give a basis for the subspace of homogeneous polynomials of degree $n$ of the corresponding central Dahmen-Micchelli space, and their reference monomials together give a basis for its dual.