arXiv++ Combinatorics

A cycle system for a matroid $M$ is a collection of cycles (unions of circuits) whose intersection properties mimic the cut sets of a graph. Cycle systems were introduced by Corry, the first author, McClain, Perkinson, and Yi, who showed that the $h$-vector of any matroid that admits a cycle system is a pure $O$-sequence, confirming a conjecture of Stanley for this class. Those authors also conjectured that any matroid admitting a cycle system must be binary. Here we answer this conjecture in the affirmative, and prove the stronger result that any such matroid must in fact be regular (representable over any field). From this, we conclude that if $M$ is connected, every cycle system for $M$ is a basis for its circuit space of. We establish other properties of cycle systems along the way, which may be of independent interest.

We introduce the liquid bin model as a continuous-time deterministic dynamics, arising as the hydrodynamic limit of a discrete-time stochastic interacting particle system called the infinite bin model. For the liquid bin model, we prove the existence and uniqueness of a stationary evolution, to which the dynamics converges exponentially fast. The speed of the front of the system is explicitly computed as a continuous piecewise rational function of the parameters of the model, revealing an underlying wall-crossing phenomenon. We show that the regions on which the speed is rational are of non-empty interior and are naturally indexed by Dyck paths. We provide a complete description of the adjacency structure of these regions, which generalizes the Stanley lattice for Dyck paths. Finally we point out an intriguing connection to the topic of extensions of partial cyclic orders to total cyclic orders.

We show the existence of counterexamples to a four-decade-old conjecture attributed to Stanley concerning the unimodality of $h^*$-polynomials of IDP polytopes. As additional applications of our main constructions, we also disprove a conjecture by Brenti on the log-concavity of $h^*$-polynomials of Gorenstein IDP polytopes, and a conjecture by Ferroni and Higashitani concerning the log-concavity of the Ehrhart series of IDP polytopes. We also answer their question about the existence of very ample polytopes with non-log-concave interior Ehrhart series. Our class of examples arises by taking Cayley sums of rectangular prisms, and hence they possess regular unimodular flag triangulations by a result of Haase, Paffenholz, Piechnik and Santos. For the unimodality conjecture, we can even find smooth counterexamples.

Monge matrices arise throughout combinatorial optimization and algorithm design; the Monge polytope $\mathcal{M}_{pq}$ is the set of $p \times q$ Monge matrices lying inside the standard simplex on the set of matrix coordinates. We find a Stanley decomposition of the associated affine semigroup, and use it to obtain a volume formula for $\mathcal{M}_{pq}$ expressed as a sum over "Z-avoiding" Delannoy paths in a $p \times q$ grid. An efficient dynamic-programming implementation of this formula computes the volume in dimensions far beyond the reach of general-purpose exact-volume algorithms (e.g., the volume of $\mathcal{M}_{20,20}$, which has dimension 399, is computed in a fraction of a second). As a corollary of our Stanley decomposition, we also obtain a combinatorial closed form for the Ehrhart series of $\mathcal{M}_{pq}$.

Let $G$ be a finite group acting properly by lattice automorphisms on a complete simplicial fan $Σ$. An open question due to Stanley asked whether the (ungraded) representation carried by the cohomology $H^*(X_Σ)$ of the associated toric variety $X_Σ$ is isomorphic to a permutation representation of $G$. We prove that Stanley's question has an affirmative answer for all smooth projective toric varieties without the properness assumption on the action. The proof is inspired by toric mirror symmetry.

Characterizations of lower and upper bounds for dual characters of flagged Weyl modules have attracted considerable interest. In this paper, we establish explicit pattern avoidance characterizations for lower and upper bounds of Schur characters, namely, the dual characters of Weyl modules associated with arbitrary diagrams. This setting extends the corresponding extremal problems for dual characters of flagged Weyl modules and includes skew Schur polynomials and, through Rothe diagrams, Stanley symmetric functions. Specifically, for a permutation $w$, we show that the Stanley symmetric function $F_w$ attains the lower bound if and only if $w$ avoids $321,2143,2413,3142$, and $3412$, and attains the upper bound if and only if $w$ avoids $312$ and $321$.

It is well known that the Young lattice is the Bratelli diagram of the symmetric groups, expressing how irreducible representations restrict from $\mathfrak{S}_{N}$ to $\mathfrak{S}_{N-1}$. In 1975, Stanley discovered a similar lattice called the Young-Fibonacci lattice which was identified as the Bratelli diagram of a family of algebras $\{\mathbf{O}_N(X,Y)\}_{N \geq 0}$ by Okada in 1994. In this paper, we first realize the Okada algebra $\mathbf{O}_N(X,Y)$ and the associated monoid $\mathbf{O}_N$ using a labelled version of non-crossing arc-diagrams appearing in the description of the Temperley-Lieb algebra and Jones monoid. We establish, for general parameters $(X,Y)$, that the dimension of the Okada algebra $\mathbf{O}_N(X,Y)$ is $N!$, noting that Okada proved this result only in the semisimple case. We interpret a natural bijection between permutations and labelled arc-diagrams as an incarnation of Fomin's version of the Robinson-Schensted correspondence associated to the Young-Fibonacci lattice. The arc-diagram formalism allow us to probe the structure of the Okada monoid and algebra. In particular we prove that the Okada monoid is a regular, aperiodic $*$-monoid and we describe its Green relations and order. These results allow us to construct a cellular basis of the Okada algebra and to show that $\{\mathbf{O}_N(X,Y)\}_{N \geq 0}$ forms a coherent tower of cellular algebras in the sense of Goodman and Graber. We present some conjectures expressing the Gram determinant of the invariant bilinear form attached to each cell module in terms of Okada's clone Schur functions. We conclude the paper by presenting two follow-up, ongoing projects along with a series of questions pushing further the analogy between the symmetric groups and the Okada algebras.

For a $C_4$-free graph $G$ on $n$ vertices --- one with no induced cycle on four vertices --- we study the two-sided extremal problem for the triangle density $τ$: How large and how small can $τ$ be for given edge density $\varepsilon$ and clique-number density $κ= ω(G)/n$? We give lower and upper bounds for $τ$ in terms of $κ$ and $\varepsilon$. The two bounds sandwich $τ$, and their compatibility forces a lower bound for $κ$ in terms of $\varepsilon$. When the clique complex of $G$ is $2$-Leray over a field $\Bbbk$, the resulting bound on the clique-number density lies between the previous best $C_4$-free bound and the sharp chordal bound. It improves on the former {\it for every} $\varepsilon \in (0,1)$. The lower bound is elementary. The upper bound is homological, obtained by passing to the Stanley--Reisner ring of the clique complex. When the complex is $2$-Leray, its Betti table has at most two linear strands. The two first entries in the first strand encode edge and triangle densities, and the strong structural form of a Boij--Söderberg decomposition constrains what these entries can be, yielding the upper bound. For $2$-Leray graphs with no holes in the range $[4,g]$ we give a conjecturally sharp bound. We further ask questions concerning the triangle bound for any $C_4$-free graph.

Stanley's tree-isomorphism conjecture asks whether the chromatic symmetric function distinguishes nonisomorphic trees. We give a reconstruction criterion that permits repeated leaf-component orders. For a proper tree, collapse each leaf component to its center and record its order as a vertex weight. We prove that the chromatic symmetric function reconstructs the tree whenever every nonleaf vertex of this weighted core has a weight that occurs nowhere else in the core. Repetitions among core leaves are unrestricted. The proof uses only the leading star-basis partition and the coefficients immediately above it. As a consequence, the conjecture holds for an infinite class of diameter-six trees not covered by the condition that all leaf-component orders are distinct. We also give a canonical integer-partition model for arbitrary diameter-six trees and an exact cut-partition implementation intended for further work. The unrestricted diameter-six case remains open.

Deligeorgaki, Han and Solus introduced colored multiset Eulerian polynomials, derived a generating function identity which generalizes MacMahon's identity, proved their self-interlacing under suitable parameter conditions, and identified these polynomials as the h^*-polynomials of direct products of dilated lattice simplices. In this paper, we introduce an ascent analogue of the colored multiset Eulerian polynomial, derive an explicit generating function identity for this polynomial, show that it is equal to the h^*-polynomial of a family of half-open lattice polytopes, and verify that this ascent polynomial also satisfies self-interlacing under the same parameter conditions. By establishing recurrence relations, we prove that both polynomials are real-rooted for all positive integer parameters. The obtained identities are further applied to interpret combinatorially the h^*-polynomials of Pitman--Stanley polytopes, composition polytopes and a family of reflexive lattice polytopes defined from preorders.

In this paper, we study the regions of asymmetric extensions of the Catalan and Shi arrangements. We first determine the characteristic polynomials of a general class of Catalan and Shi arrangements using the finite field method, thereby obtaining explicit formulas for the number of regions. We then introduce two new classes of combinatorial objects: $\mathbf{c}$-labelled Dyck paths and $\mathbf{c}$-building functions, which generalize classical Dyck paths and parking functions, respectively. We prove that the regions of the asymmetric Catalan arrangement are in natural bijection with $\mathbf{c}$-labelled Dyck paths, while those of the asymmetric Shi arrangement are in natural bijection with $\mathbf{c}$-building functions. This resolves a problem proposed by Theo Douvropoulos during the 2022 Oberwolfach Workshop on Enumerative Combinatorics. In particular, our results extend Stanley's celebrated correspondence between $m$-parking functions and the regions of the $m$-Shi arrangement by introducing new combinatorial models and developing entirely different proof techniques.

When a variety $V_\varphi$ equals the image of a polynomial map $\varphi$ whose coordinate functions are combinatorial generating polynomials (i.e.~polynomials enumerating combinatorial objects), the geometry of $V_\varphi$ reflects identities satisfied by the generating polynomials. The resulting interplay between combinatorics and algebraic geometry can be used to answer questions about $V_\varphi$. A recent technique proposes to do so using a partially ordered set (poset) $P_\varphi$ defined via the coefficient vectors of the polynomials defining $\varphi$. This paper characterizes the poset $P_\varphi$ when the generating polynomials defining $\varphi$ enumerate subgraphs of a directed tree known as treks. The characterization is used to compute the linear span of $V_\varphi$, prove it is toric and deduce a basis for its vanishing ideal. It is also shown that this poset of trek polynomials for a directed tree is a so-called $π$-system if and only if the tree satisfies a property characterized via Stanley's P-partitions. As an additional consequence, it is shown that the varieties for two distinct directed trees intersect in a strictly lower-dimensional variety. This solves an instance of the structural identifiability problem in the graphical models program from statistics.

The claw-free Schur-positivity conjecture, recorded by Stanley (1998) and credited there to Gasharov, asserts that the chromatic symmetric function of every claw-free graph is Schur-positive. We give a counterexample on 12 vertices: the line graph $G$ of the graph obtained from a 4-cycle by attaching triangles at two opposite vertices and pendant edges at the other two satisfies $[s_{(3,3,3,3)}]X_G = -64$. The coefficient follows from a short computation by hand and is also reproduced by three exact implementations. An exhaustive computation over all 216,777 connected claw-free graphs on at most 11 vertices shows that every one is Schur-positive, so 12 vertices is the minimum order of any counterexample. A complete census of the 1,728,404 connected claw-free graphs on 12 vertices finds exactly two non-Schur-positive isomorphism classes; the other has graph6 code K?`CR@`bAbRB and coefficient $[s_{(3,3,3,3)}] = -40$.

We investigate a remarkable probability distribution on the symmetric group, due to Steck from the early 1970's, arising from a natural process that intertwines continuous and discrete selections for the values and positions, respectively, of a permutation. Steck used a matrix determinant to express his distribution, whereas we contribute new combinatorial formulas for it in terms of "bottom-to-top maxima" (that are simply the left-to-right maxima of the inverse) permutation statistics. These formulas specialize, in the case of the identity permutation, to a result of Pitman--Stanley from the late 1990's. We then use the Steck distribution to define a game of best choice (secretary problem variation) that incorporates a filtering process for the pool of candidates over time. We solve the model for the case where there is a single filtering step. It turns out that the probability of winning the game under optimal play is similar to the classical model ($1/e$, asymptotically), but that the interviewer must employ a different (non-positional) strategy in order to attain it. The optimal strategy depends on the relationship between interview position and the next bottom-to-top maximum value after the filtering step. Among other results, we prove that the optimal strategy always transitions from rejection to acceptance between positions $(1/e)$ and $(1/e) + (1 - 1/e)y$ as a proportion of the total candidates considered, where $y$ is the proportion of unfiltered candidates.

The Stanley--Gasharov conjecture asserts that the chromatic symmetric function of every claw-free graph is Schur-positive. Prajapati, and independently Matherne and Morales, found counterexamples, and the latter asked for an infinite family of counterexamples. Combining Prajapati's complete census through order~$12$ with an exact census of the $144{,}492$ previously untreated connected claw-free graphs on~$n$ vertices and~$m$ edges with $13\le n\le 21$ and $n-1\le m\le 20$, we show that their counterexample graph~$G_2$ with $12$ vertices and $21$ edges is the unique minimum counterexample under the edge-first, vertex-second order. We also construct an infinite family of connected line graphs whose chromatic symmetric functions are not Schur-positive. This yields an infinite family of counterexamples to the Stanley--Gasharov conjecture.

In Problem 4 of his 1988 paper on differential posets, Stanley asked whether the weighted $k$-multichain series of an arbitrary differential poset is always a rational multiple of the $k$th power of its rank series. We answer this question in the negative. Already for $k=2$, we construct a locally finite $1$-differential poset $P$ for which $M_{P,2}(q)/F_P(q)^2$ is not rational over any field of characteristic zero. The construction uses Wagner's crown reflection. At each sufficiently high rank there are two valid one-rank extensions with the same required Gram matrix and with new rank sizes differing by one. We show that the first quotient coefficient affected by that rank distinguishes the two choices. Choosing successively between them and diagonalizing against the rational power series produces the required poset. The same coefficient argument also yields continuum many distinct quotient series, of which continuum many are nonrational.

In Problem~6 of his 1988 paper on differential posets, Stanley asked for the least possible cardinality of a fixed rank of an $r$-differential poset and suggested that the minimum should be attained by $Y^r$, the $r$-fold Cartesian power of Young's lattice. We disprove the resulting universal coefficientwise lower bound. For every $r\geq 3$, we construct an infinite $r$-differential poset $P^{(r)}$ satisfying \[ \card{P^{(r)}_4} =\card{(Y^r)_4}-\left\lfloor\frac r3\right\rfloor. \] For $r=3$, the construction replaces thirteen rank-four lower-cover blocks of $Y^3$ by twelve blocks with the same point and pair incidence multiplicities, producing the initial rank sequence $1,3,9,22,50$ instead of $1,3,9,22,51$. A reflection extension then yields an infinite differential poset. The construction does not address the cases $r=1$ and $r=2$.

Chromatic symmetric functions are well-studied symmetric functions in algebraic combinatorics that generalize chromatic polynomials of graphs. In 1995, Stanley introduced these symmetric functions and conjectured that they are Schur positive for claw-free graphs. We give examples of a line graphs, which are thus claw-free, whose chromatic symmetric function have a negative coefficient in its Schur expansion. We also give a counterexample to the 2018 conjecture of Monical that Schur positive chromatic symmetric functions have saturated Newton polytope when expanded in any finite number of variables. Both of these examples were found using ChatGPT-5.6 Sol Pro.

The character of a connected $\mathfrak{sl}_n$-crystal is a Schur polynomial; the crystal can be further decomposed into quasicrystals, whose characters are the Gessel quasisymmetric functions. Crystal skeletons are obtained by contracting quasicrystals within crystal graphs. They generalize dual equivalence graphs, and can be used to prove the Schur expansion of a symmetric function when the quasisymmetric expansion is known. In this paper, we show that the crystal skeleton can be tiled further into components which we call quasicrystal skeletons, whose characters are Young quasisymmetric Schur functions. We characterize which edges in the crystal skeleton move between quasicrystal skeleton components. Contracting the quasicrystal skeleton components yields Bruhat order. We illustrate how these tools can be applied to symmetric functions by analyzing the Stanley symmetric functions.

For positive integers $n$ and $M$, Sundaram defined $ F_{n,M}=\sum_{\substack{d\mid n\\d\le M}} Lie_{n/d}[p_d] $ and conjectured that every coefficient in its Schur expansion is a nonnegative integer. We prove the conjecture. The power-sum expansion isolates the contribution of the identity class, and the proof divides Young diagrams at the intrinsic majority threshold. If the first row or first column contains more than half of the boxes, the Bernstein creation formula separates each rectangular-cycle character value into a hook constant and a remainder supported only on short cycles. The restrictions of the trivial and sign characters to the cyclic subgroup evaluate the constants exactly, whereas a uniform binomial contraction controls every distance from the boundary at once. If neither a row nor a column has a majority, Swanson's opposite-hook estimate gives a Catalan-scale lower bound for the dimension. The Fomin--Lulov rectangular-character estimate, together with uniform bounds for the truncated Möbius weights, then shows that the identity class dominates. Sundaram's plethystic identity consequently implies that $\prod_{r=1}^M(1-p_r)^{-1}$ is Schur-positive for every fixed $M$. We also record a degree-$12$ counterexample to a separate congruence-class product conjecture attributed to Richard Stanley.