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.
For a graph G, we construct two algebras, whose dimensions are both equal to the number of spanning trees of G. One of these algebras is the quotient of the polynomial ring modulo certain monomial ideal, while the other is the quotient of the polynomial ring modulo certain powers of linear forms. We describe the set of monomials that forms a linear basis in each of these two algebras. The basis elements correspond to G-parking functions that naturally came up in the abelian sandpile model. These ideals are instances of the general class of monotone monomial ideals and their deformations. We sh…
Parking functions are a widely studied class of combinatorial objects, with connections to several branches of mathematics. On the algebraic side, parking functions can be identified with the standard monomials of $M_n$, a certain monomial ideal in the polynomial ring $S = {\mathbb K}[x_1, \dots, x_n]$ where a set of generators are indexed by the nonempty subsets of $[n] = \{1,2,\dots,n\}$. Motivated by constructions from the theory of chip-firing on graphs we study generalizations of parking functions determined by $M^{(k)}_n$, a subideal of $M_n$ obtained by allowing only generators correspo…
Given a graph $G$, the $G$-parking function ideal $M_G$ is an artinian monomial ideal in the polynomial ring $S$ with the property that a linear basis for $S/M_G$ is provided by the set of $G$-parking functions. It follows that the dimension of $S/M_G$ is given by the number of spanning trees of $G$, which by the Matrix Tree Theorem is equal to the determinant of the reduced Laplacian of $G$. The ideals $M_G$ and related algebras were introduced by Postnikov and Shapiro where they studied their Hilbert functions and homological properties. The author and Sanyal showed that a minimal resolution…
Consider the vector space $\mathbb{K}\mathcal{P}$ spanned by parking functions. By representing parking functions as labeled digraphs, Hivert, Novelli and Thibon constructed a cocommutative Hopf algebra PQSym$^{*}$ on $\mathbb{K}\mathcal{P}$. The product and coproduct of PQSym$^{*}$ are analogous to the product and coproduct of the Hopf algebra NCSym of symmetric functions in noncommuting variables defined in terms of the power sum basis. In this paper, we view a parking function as a word. We shall construct a Hopf algebra PFSym on $\mathbb{K}\mathcal{P}$ with a formal basis $\{M_a\}$ analogo…
To a vector configuration one can associate a polynomial ideal generated by powers of linear forms, known as a power ideal, which exhibits many combinatorial features of the matroid underlying the configuration. In this note we observe that certain power ideals associated to transversal matroids are, somewhat unexpectedly, monomial. Moreover, the (monomial) basis elements of the quotient ring defined by such a power ideal can be naturally identified with the lattice points of a remarkable convex polytope: a polymatroid, also known as generalized permutohedron. We dub the exponent vectors of th…
We construct three new combinatorial Hopf algebras based on the Loday-Ronco operations on planar binary trees. The first and second algebras are defined on planar trees and labeled planar trees extending the Loday-Ronco and Malvenuto-Reutenauer Hopf algebras respectively. We show that the latter is bidendriform which implies that is also free, cofree, and self-dual. The third algebra involves a new visualization of parking functions as decorated binary trees; it is also bidendriform, free, cofree, and self-dual, and therefore abstractly isomorphic to the algebra PQSym of Novelli and Thibon. We…
We introduce an object called a tree growing sequence (TGS) in an effort to generalize bijective correspondences between $G$-parking functions, spanning trees, and the set of monomials in the Tutte polynomial of a graph $G$. A tree growing sequence determines an algorithm which can be applied to a single function, or to the set $\mathcal{P}_{G,q}$ of $G$-parking functions. When the latter is chosen, the algorithm uses splitting operations - inspired by the recursive defintion of the Tutte polynomial - to iteratively break $\mathcal{P}_{G,q}$ into disjoint subsets. This results in bijective map…
Given a monomial ideal $I$ with minimal free resolution $\mathcal{F}$ supported in characteristic $p>0$ on a CW-complex $X$ with regular $2$-skeleton, we construct a CW-complex $Y$ that also supports~$\mathcal{F}$ and such that the face poset $P(Y)$ also supports $\mathcal{F}$ in the sense of Clark and Tchernev.
The Riemann-Roch theorem on a graph G is related to Alexander duality in combinatorial commutive algebra. We study the lattice ideal given by chip firing on G and the initial ideal whose standard monomials are the G-parking functions. When G is a saturated graph, these ideals are generic and the Scarf complex is a minimal free resolution. Otherwise, syzygies are obtained by degeneration. We also develop a self-contained Riemann-Roch theory for artinian monomial ideals.
We present a new proof of the monomial case of Wilmes' conjecture, which gives a formula for the coarsely-graded Betti numbers of the G-parking function ideal in terms of maximal parking functions of contractions of G. Our proof is via poset topology and relies on a theorem of Gasharov, Peeva, and Welker that connects the Betti numbers of a monomial ideal to the topology of its lcm-lattice.
The $G$-parking function ideal $M_G$ of a directed multigraph $G$ is a monomial ideal which encodes some of the combinatorial information of $G$. It is an initial ideal of the toppling ideal $I_G$, a lattice ideal intimately related to the chip-firing game on a graph. Both ideals were first studied by Cori, Rossin, and Salvy. A minimal free resolution for $M_G$ was given by Postnikov and Shaprio in the case when $G$ is saturated, i.\,e., whenever there is at least one edge $(u,v)$ for every ordered pair of distinct vertices $u$ and $v$. They also raised the problem of an explicit description o…
We prove a combinatorial formula for Macdonald cumulants which generalizes the celebrated formula of Haglund for Macdonald polynomials. We provide several applications of our formula. Firstly, it gives a new, constructive proof of a strong factorization property of Macdonald polynomials proven recently by the author of this paper. Moreover it proves that Macdonald cumulants are $q,t$--positive in the monomial and in the fundamental quasisymmetric bases. Furthermore, we use our formula to prove the recent higher-order Macdonald positivity conjecture for the coefficients of the Schur polynomials…
The modified Macdonald polynomials introduced by Garsia and Haiman (1996) have many remarkable combinatorial properties. One such class of properties involves applying the $\nabla$ operator of Bergeron and Garsia (1999) to basic symmetric functions. The first discovery of this type was the Shuffle Conjecture of Haglund, Haiman, Loehr, Remmel, and Ulyanov (2005), which relates the expression $\nabla e_n$ to parking functions. A refinement of this conjecture, called the Compositional Shuffle Conjecture, was introduced by Haglund, Morse, and Zabrocki (2012) and proved by Carlsson and Mellit (2015…
We study monomial ideals with linear presentation or partially linear resolution. We give combinatorial characterizations of linear presentation for square-free ideals of degree 3, and for primary ideals whose resolutions are linear except for the last step (the "almost linear" case). We also give sharp bounds on Castelnuovo-Mumford regularity and numbers of generators in some cases. It is a basic observation that linearity properties are inherited by the restriction of an ideal to a subset of variables, and we study when the converse holds. We construct fractal examples of almost linear prima…
We show that for proving the Stanley conjecture, it is sufficient to consider a very special class of monomial ideals. These ideals (or rather their lcm lattices) are in bijection with the simplicial spanning trees of skeletons of a simplex. We apply this result to verify the Stanley conjecture for quotients of monomial ideals with up to six generators. For seven generators we obtain a partial result.
Suppose that $m$ drivers each choose a preferred parking space in a linear car park with $n$ spots. In order, each driver goes to their chosen spot and parks there if possible, and otherwise takes the next available spot if it exists. If all drivers park successfully, the sequence of choices is called a parking function. Classical parking functions correspond to the case $m=n$; we study here combinatorial and probabilistic aspects of this generalized case. We construct a family of bijections between parking functions $\text{PF}(m, n)$ with $m$ cars and $n$ spots and spanning forests $\mathscr{…
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…
The Laplacian matrix of a graph G describes the combinatorial dynamics of the Abelian Sandpile Model and the more general Riemann-Roch theory of G. The lattice ideal associated to the lattice generated by the columns of the Laplacian provides an algebraic perspective on this recently (re)emerging field. This ideal I_G has a distinguished monomial initial ideal M_G, characterized by the property that the standard monomials are in bijection with the G-parking functions of the graph G. The ideal M_G was also introduced by Postnikov and Shapiro (2004) in the context of monotone monomial ideals. We…
