Search

Ceballos and Pons introduced the $s$-weak order on $s$-decreasing trees, for any weak composition $s$. They proved that it has a lattice structure and further conjectured that it can be realized as the $1$-skeleton of a polyhedral subdivision of a polytope. We answer their conjecture in the case where $s$ is a strict composition by providing three geometric realizations of the $s$-permutahedron. The first one is the dual graph of a triangulation of a flow polytope of high dimension. The second one, obtained using the Cayley trick, is the dual graph of a fine mixed subdivision of a sum of hypercubes that has the conjectured dimension. The third one, obtained using tropical geometry, is the $1$-skeleton of a polyhedral complex for which we can provide explicit coordinates of the vertices and whose support is a permutahedron as conjectured., Comment: 39 pages, 14 figures

The polytopes $\mathcal{U}_{I,\bar{J}}$ were introduced by Ceballos, Padrol, and Sarmiento to provide a geometric approach to the study of $(I,\bar{J})$-Tamari lattices. They observed a connection between certain $\mathcal{U}_{I,\bar{J}}$ and acyclic root polytopes, and wondered if M\'esz\'aros' subdivision algebra can be used to subdivide all $\mathcal{U}_{I,\bar{J}}$. We answer this in the affirmative from two perspectives, one using flow polytopes and the other using root polytopes. We show that $\mathcal{U}_{I,\bar{J}}$ is integrally equivalent to a flow polytope that can be subdivided using the subdivision algebra. Alternatively, we find a suitable projection of $\mathcal{U}_{I,\bar{J}}$ to an acyclic root polytope which allows subdivisions of the root polytope to be lifted back to $\mathcal{U}_{I,\bar{J}}$. As a consequence, this implies that subdivisions of $\mathcal{U}_{I,\bar{J}}$ can be obtained with the algebraic interpretation of using reduced forms of monomials in the subdivision algebra. In addition, we show that the $(I,\bar{J})$-Tamari complex can be obtained as a triangulated flow polytope., Comment: 19 pages, 3 figures

The cone of nonnegative flows for a directed acyclic graph (DAG) is known to admit regular unimodular triangulations induced by framings of the DAG. These triangulations restrict to triangulations of the flow polytope for strength one flows, which are called DKK triangulations. For a special class of framings called ample framings, these triangulations of the flow cone project to a complete fan. We characterize the DAGs that admit ample framings, and we enumerate the number of ample framings for a fixed DAG. We establish a connection between maximal simplices in DKK triangulations and $\tau$-tilting posets for certain gentle algebras, which allows us to impose a poset structure on the dual graph of any DKK triangulation for an amply framed DAG. Using this connection, we are able to prove that for full DAGs, i.e., those DAGs with inner vertices having in-degree and out-degree equal to two, the flow polytopes are Gorenstein and have unimodal Ehrhart $h^\ast$-polynomials., Comment: Minor revisions. Added Proposition 6.15, which contains a characterization of DAGs with Gorenstein flow polytopes

We study polytopes defined by inequalities of the form $\sum_{i\in I} z_{i}\leq 1$ for $I\subseteq [d]$ and nonnegative $z_i$ where the inequalities can be reordered into a matrix inequality involving a column-convex $\{0,1\}$-matrix. These generalize polytopes studied by Stanley, and the consecutive coordinate polytopes of Ayyer, Josuat-Verg\`es, and Ramassamy. We prove an integral equivalence between these polytopes and flow polytopes of directed acyclic graphs $G$ with a Hamiltonian path, which we call spinal graphs. We show that the volume of these flow polytopes is the number of extensions of a set of partial cyclic orders defined by the graph $G$. As a special case we recover results on volumes of consecutive coordinate polytopes. We study the combinatorics of $k$-Euler numbers, which are generalizations of the classical Euler numbers, and which arise as volumes of flow polytopes of a special family of spinal graphs. We show that their refinements, Ramassamy's $k$-Entringer numbers, can be realized as values of a Kostant partition function, satisfy a family of generalized boustrophedon recurrences, and are log concave along root directions. Finally, via our main integral equivalence and the known formula for the $h^*$-polynomial of consecutive coordinate polytopes, we give a combinatorial formula for the $h^*$-polynomial of flow polytopes of non-nested spinal graphs. For spinal graphs in general, we present a conjecture on upper and lower bounds for their $h^*$-polynomial., Comment: 33 pages, 12 figures, 2 tables

This work regards the order polytopes arising from the class of generalized snake posets and their posets of meet-irreducible elements. Among generalized snake posets of the same rank, we characterize those whose order polytopes have minimal and maximal volume. We give a combinatorial characterization of the circuits in these order polytopes and then conclude that every triangulation is unimodular. For a generalized snake word, we count the number of flips for the canonical triangulation of these order polytopes. We determine that the flip graph of the order polytope of the poset whose lattice of filters comes from a ladder is the Cayley graph of a symmetric group. Lastly, we introduce an operation on triangulations called twists and prove that twists preserve regular triangulations., Comment: 39 pages, 26 figures, comments welcomed!

We present a unifying framework in which both the $\nu$-Tamari lattice, introduced by Pr\'eville-Ratelle and Viennot, and principal order ideals in Young's lattice indexed by lattice paths $\nu$, are realized as the dual graphs of two combinatorially striking triangulations of a family of flow polytopes which we call the $\nu$-caracol flow polytopes. The first triangulation gives a new geometric realization of the $\nu$-Tamari complex introduced by Ceballos, Padrol and Sarmiento. We use the second triangulation to show that the $h^*$-vector of the $\nu$-caracol flow polytope is given by the $\nu$-Narayana numbers, extending a result of M\'esz\'aros when $\nu$ is a staircase lattice path. Our work generalizes and unifies results on the dual structure of two subdivisions of a polytope studied by Pitman and Stanley., Comment: 22 pages, 11 figures (Full version of extended abstract in version v1.)

We study $\nu$-Schr\"oder paths, which are Schr\"oder paths which stay weakly above a given lattice path $\nu$. Some classical bijective and enumerative results are extended to the $\nu$-setting, including the relationship between small and large Schr\"oder paths. We introduce two posets of $\nu$-Schr\"oder objects, namely $\nu$-Schr\"oder paths and trees, and show that they are isomorphic to the face poset of the $\nu$-associahedron $A_\nu$ introduced by Ceballos, Padrol and Sarmiento. A consequence of our results is that the $i$-dimensional faces of $A_\nu$ are indexed by $\nu$-Schr\"oder paths with $i$ diagonal steps, and we obtain a closed-form expression for these Schr\"oder numbers in the special case when $\nu$ is a `rational' lattice path. Using our new description of the face poset of $A_\nu$, we apply discrete Morse theory to show that $A_\nu$ is contractible. This yields one of two proofs presented for the fact that the Euler characteristic of $A_\nu$ is one. A second proof of this is obtained via a formula for the $\nu$-Narayana polynomial in terms of $\nu$-Schr\"oder numbers., Comment: 20 pages, 11 figures

Given a family of lattice polytopes, two common questions in Ehrhart Theory are determining when a polytope has the integer decomposition property and determining when a polytope is reflexive. While these properties are of independent interest, the confluence of these properties is a source of active investigation due to conjectures regarding the unimodality of the $h^\ast$-polynomial. In this paper, we consider the Newton polytopes arising from two families of polynomials in algebraic combinatorics: Schur polynomials and inflated symmetric Grothendieck polynomials. In both cases, we prove that these polytopes have the integer decomposition property by using the fact that both families of polynomials have saturated Newton polytope. Furthermore, in both cases, we provide a complete characterization of when these polytopes are reflexive. We conclude with some explicit formulas and unimodality implications of the $h^\ast$-vector in the case of Schur polynomials., Comment: 37 pages, 3 tables, 4 figures; Comments Welcome; Version 2: updated references to acknowledge one result was previously known, corrected values in Table 1 and reference correct OEIS sequence; Version 3: Final Version. To appear in Electronic Journal of Combinatorics

In this paper, we investigate the strength of chromatic symmetric homology as a graph invariant. Chromatic symmetric homology is a lift of the chromatic symmetric function for graphs to a homological setting, and its Frobenius characteristic is a q,t generalization of the chromatic symmetric function. We exhibit three pairs of graphs where each pair has the same chromatic symmetric function but distinct homology. We also show that integral chromatic symmetric homology contains torsion, and based on computations, conjecture that Z_2-torsion in bigrading (1,0) detects nonplanarity in the graph., Comment: 35 pages, 6 figures

Recently, a combinatorial interpretation of Baldoni and Vergne's generalized Lidskii formula for the volume of a flow polytope was developed by Benedetti et al.. This converts the problem of computing Kostant partition functions into a problem of enumerating a set of objects called unified diagrams. We devise an enhanced version of this combinatorial model to compute the volumes of flow polytopes defined on a family of graphs called the k-caracol graphs, resulting in the first application of the model to non-planar graphs. At k=1 and k=n-1, we recover results for the classical caracol graph and the Pitman--Stanley graph. Furthermore, we introduce the notion of in-degree gravity diagrams for flow polytopes, which are equinumerous with (out-degree) gravity diagrams considered by Benedetti et al.. We show that for the k-caracol flow polytopes, these two kinds of gravity diagrams satisfy a natural combinatorial correspondence, which raises an intriguing question on the relationship in the geometry of two related polytopes., Comment: 33 pages, 13 figures

We introduce new families of combinatorial objects whose enumeration computes volumes of flow polytopes. These objects provide an interpretation, based on parking functions, of Baldoni and Vergne's generalization of a volume formula originally due to Lidskii. We recover known flow polytope volume formulas and prove new volume formulas for flow polytopes that were seemingly unapproachable. A highlight of our model is an elegant formula for the flow polytope of a graph we call the caracol graph. As by-products of our work, we uncover a new triangle of numbers that interpolates between Catalan numbers and the number of parking functions, we prove the log-concavity of rows of this triangle along with other sequences derived from volume computations, and we introduce a new Ehrhart-like polynomial for flow polytope volume and conjecture product formulas for the polytopes we consider., Comment: 34 pages, 15 figures. v2: updated after referee reports; includes a proof of Proposition 8.7. Accepted into Transactions of the AMS

We provide a crystal structure on the set of ordered multiset partitions, which recently arose in the pursuit of the Delta Conjecture. This conjecture was stated by Haglund, Remmel and Wilson as a generalization of the Shuffle Conjecture. Various statistics on ordered multiset partitions arise in the combinatorial analysis of the Delta Conjecture, one of them being the minimaj statistic, which is a variant of the major index statistic on words. Our crystal has the property that the minimaj statistic is constant on connected components of the crystal. In particular, this yields another proof of the Schur positivity of the graded Frobenius series of the generalization $R_{n,k}$ due to Haglund, Rhoades and Shimozono of the coinvariant algebra $R_n$. The crystal structure also enables us to demonstrate the equidistributivity of the minimaj statistic with the major index statistic on ordered multiset partitions., Comment: 17 pages; v2 contains minor changes suggested by referee, references updated

The set of n by n upper-triangular nilpotent matrices with entries in a finite field F_q has Jordan canonical forms indexed by partitions lambda of n. We present a combinatorial formula for computing the number F_\lambda(q) of matrices of Jordan type lambda as a weighted sum over standard Young tableaux. We also study a connection between these matrices and non-attacking rook placements, which leads to a refinement of the formula for F_\lambda(q)., Comment: 25 pages, 6 figures

The Stanley chromatic symmetric function $X_G$ of a graph $G$ is a symmetric function generalization of the chromatic polynomial, and has interesting combinatorial properties. We apply the ideas of Khovanov homology to construct a homology of graded $S_n$-modules, whose graded Frobenius series $Frob_G(q,t)$ reduces to the chromatic symmetric function at $q=t=1$. This homology can be thought of as a categorification of the chromatic symmetric function, and provides a homological analogue of several familiar properties of $X_G$. In particular, the decomposition formula for $X_G$ discovered recently by Orellana and Scott, and Guay-Paquet is lifted to a long exact sequence in homology., Comment: 26 pages

Macdonald polynomials are orthogonal polynomials associated to root systems, and in the type A case, the symmetric kind is a common generalization of Schur functions, Macdonald spherical functions, and Jack polynomials. We use the combinatorics of alcove walks to calculate products of monomials and intertwining operators of the double affine Hecke algebra. From this, we obtain a product formula for Macdonald polynomials of general type., Comment: 43 pages

In this paper we use the combinatorics of alcove walks to give a uniform combinatorial formula for Macdonald polynomials for all Lie types. These formulas are generalizations of the formulas of Haglund-Haiman-Loehr for Macdonald polynoimals of type GL(n). At q=0 these formulas specialize to the formula of Schwer for the Macdonald spherical function in terms of positively folded alcove walks and at q=t=0 these formulas specialize to the formula for the Weyl character in terms of the Littelmann path model (in the positively folded gallery form of Gaussent-Littelmann).