arXiv++ Combinatorics

Simsun permutations, André I permutations and André II permutations are three combinatorial models for Euler numbers. It's known that the descent statistic is equidistributed over the set of André I permutations and the set of simsun permutations. In this paper, we prove that the trivariate statistic (ides, des, maj), comprising the inverse descent, descent, and major index, are equidistributed over these three sets. This result is equivalent to showing that the inverse descent is equidistributed over these three sets that share the same tree shape. The proof of the equidistribution of the inverse descent over the set of André I permutations and the set of André II permutations with the same tree shape reduces to establishing new refinements of Stanley's shuffle theorem.

We prove that the excedance relation on permutations defined by N. Bergeron and L. Gagnon actually extends to a congruence of the lattice on alternating sign matrices. Motivated by this example, we study all lattice congruences of the lattice on alternating sign matrices whose quotient is isomorphic to the Stanley lattice on Dyck paths, which we call catalan congruences. We prove that the maxima of the congruence classes are always covexillary permutations (and all covexillary permutations appear this way), and that the minimal permutations in each class are always precisely the $321$-avoiding permutations. Finally, we show that any choice of representative permutations in each congruence class yield a basis of the Temperley-Lieb algebra with parameter $2$, vastly generalizing the bases arising from the excedance relation.

(Work in progress) Marcus and Tardos \cite{MarcusTardos2004} proved the Stanley--Wilf conjecture by reducing pattern avoidance to an extremal problem on $0$--$1$ matrices. We give a parallel proof for classical permutation patterns that stays entirely in the ``grow from the right'' world of enumerative combinatorics. A $v$-avoiding permutation is built by right insertion; at each step we keep a pruned family of locations of $(k{-}1)$-partial occurrences of $v$ (the \emph{frontier}), each carrying its forbidden rank interval. The insertion step then induces a nonnegative transfer operator on a doubly weighted $\ell^\infty$ space. A quadratic penalty in the length makes this operator bounded, and a Neumann-series argument on a natural separable predual yields analyticity of the growth series, hence finite exponential growth for $\Av(v)$. The formulation is completely internal -- we never pass to $0$--$1$ matrices -- and it cleanly separates the pattern-dependent combinatorics of the frontier from a purely operator-theoretic core. In particular, we obtain an abstract ``right-insertion/transfer-operator'' theorem: any system whose frontier grows at most linearly and whose transfer operator satisfies a uniform quadratic length bound has an analytic growth series.

Confirming a conjecture of Elphick and Edwards and strengthening a spectral theorem of Wilf, Nikiforov proved that for any $K_{r+1}$-free graph $G$, $λ(G)^2 \leq 2 (1 - 1/r) m$, where $λ(G)$ is the spectral radius of $G$, and $m$ is the number of edges of $G$. This result was later improved in \cite{LiuN26}, where it was shown that for any graph $G$, $λ(G)^2 \leq 2 \sum_{e \in E(G)} \frac{\mathrm{cl}(e) - 1}{\mathrm{cl}(e)}$, where $\mathrm{cl}(e)$ denotes the order of the largest clique containing the edge $e$. In this paper, we further extend this inequality to weighted graphs, proving that \[ λ(G)^2 \leq 2 \sum_{e \in E(G)} \frac{\mathrm{cl}(e) - 1}{\mathrm{cl}(e)} w(e)^2, \] and we characterize all extremal graphs attaining this bound. Our main theorem yields several new consequences, including two vertex-based and vertex-degree-based local versions of Turán's theorem, as well as weighted generalizations of the Edwards--Elphick theorem and the Cvetković theorem, and two localized versions of Wilf's theorems. One of these localized Wilf's theorem confirms a conjecture that originates from Probability and Operator Algebras and was proposed by R. Tripathi independently of us. Moreover, our main result unifies and implies numerous earlier ones from spectral graph theory and extremal graph theory, including Stanley's spectral inequality, Hong's inequality, a localized Turán-type theorem, and a recent extremal theorem by Adak and Chandran. Notably, while Nikiforov's earlier spectral inequality implied Stanley's bound, it did not imply Hong's inequality -- a gap that is now bridged by our result. As a key tool, we establish the inequality $\sum_{e \in E(G)} \frac{2}{\mathrm{cl}(e)} \geq n-1$, which complements an upper bound $\sum_{e \in E(G)} \frac{2}{\mathrm{cl}(e)-1} \leq n^2 - 2m$ due to Bradač, and Malec and Tompkins, independently.

An $n$-dimensional lattice polytope ${\mathcal Q}_σ$ can be associated to any composition $σ$ of a positive integer $n$, as a special case of constructions due to Pitman--Stanley and Chapoton. The entries of the $h$-vector of $σ$, introduced by Chapoton, enumerate the lattice points in ${\mathcal Q}_σ$ by the number of their nonzero coordinates. Chapoton conjectured that this vector is equal to the $h$-vector of a flag simplicial polytope. This paper proves this conjecture. Moreover, it shows that the gamma-vector associated to the $h$-vector of $σ$ is nonnegative by means of an explicit combinatorial interpretation and confirms certain other conjectures of Chapoton on the lattice point enumeration of composition polytopes. A combinatorial interpretation of their $h^\ast$-polynomials is deduced.

We prove that the lattices $\textbf m\times\textbf 2$ and $\textbf m\times\textbf 3$ are not Schur positive for $m\ge 8$. This confirms a conjecture of Li, Qiu, Yang, and Zhang, as an extension of counterexamples to a comment of Stanley on the universal Schur positivity of distributive lattices. Our main tools include Pieri's rules, and Wang and Wang's combinatorial formula for computing any Schur coefficient of the chromatic symmetric function of a graph in terms of special ribbon tabloids. We further show that the lattice $\textbf m\times\textbf 3$ is not strongly nice for $m\ge 44$.

Huh-Stevens and Ferroni-Schröter independently conjectured that Hilbert-Poincaré series of Chow rings of geometric lattices have only real zeros. Ferroni, Matherne and the second author extended this conjecture to Chow polynomials of Cohen-Macaulay poset. In this paper we address the above conjectures by providing new defining relations and properties of Chow functions of posets and matrices. These are used, in conjunction with new techniques on interlacing sequences of polynomials, to prove that Chow polynomials of totally nonnegative matrices have only real zeros, which, in turn, proves the above conjectures for a class of posets that contains projective and affine geometries, face lattices of cubical polytopes, partition lattices and Dowling lattices, perfect matroid designs, and lattices of flats of paving matroids. We also study Chow polynomials of Toeplitz matrices in greater detail, and show how these are related the combinatorics of binomial and Sheffer posets, as well as to a family of generalized Eulerian polynomials with coefficients in the ring of symmetric polynomials that have been studied by e.g. Stanley, Brenti, Stembridge and Shareshian-Wachs.

We give a bijection between the point-hyperplane antiflags of $V(n, 2)$ and the non-singular points of $V(2n, 2)$ with respect to a hyperbolic quadric. With the help of this bijection, we give a description of the strongly regular graph $NO^+(2n, 2)$ in $V(2n, 2)$. We also describe a graph in $V(2n, 2)$ that was recently defined by Stanley and Takeda in $V(n, 2)$.

We investigate an invariant, called the Serre depth, from the perspective of combinatorial commutative algebra. In this paper, we establish several properties of an analogue of the depth of Stanley-Reisner rings. In particular, we relate the Serre depth both to the minimal free resolution of a Stanley-Reisner ring and to that of its Alexander dual. Also, we establish an analogue of a known result that describes the depth of Stanley-Reisner rings in terms of skeletons. Moreover, we study the Serre depth for $(S_{2})$ and the depth on the symbolic powers of Stanley--Reisner ideals. It had been an open question whether the depth of the symbolic powers of Stanley-Reisner ideals satisfies a non-increasing property, but Nguyen and Trung provided a negative answer. We construct an example that the Serre depth for $(S_{2})$ and the depth do not satisfy this property and its second symbolic power is Cohen-Macaulay. Moreover, we prove that the sequence of the Serre depth for $(S_{2})$ on the symbolic powers is convergent and that its limit coincides with the minimum value. Finally, we study the Serre depth on edge and cover ideals. Whether the depth on symbolic powers of edge ideals satisfies a non-increasing property has remained an open question. We address a related problem and show that the Serre depth for $(S_{2})$ on edge ideals of any well-covered graph satisfies a non-increasing property. In addition, we prove that the Serre depth for $(S_{2})$ on the cover ideals of any graph also satisfies a non-increasing property. Moreover, we determine the Serre depth on edge ideals of very well-covered graphs.

In this paper, we explore (slightly generalized) $f$-Eulerian polynomials introduced by Stanley and frequently appearing in combinatorics. Notable special cases include the classical Eulerian polynomials, the generating polynomials of order polynomials for certain labeled posets, and the $d$-Narayana polynomials. We establish simple sufficient conditions for the reality (and sign) of their zeros and present implications for total positivity of sequences generated by values of polynomials at integers. We further relate these polynomials to generalized Euler's transformations for the generalized hypergeometric functions with integral parameter differences. Exploiting this and other hypergeometric connections, we provide purely hypergeometric proofs for various known and some new properties of $d$-Narayana polynomials. Another family encompassed by our definition of the generalized $f$-Eulerian polynomials is that of Jacobi-Piñeiro type II multiple orthogonal polynomials. Their zero location can thus be analyzed, for both canonical and non-canonical parameter values, without invoking orthogonality. Finally, we present several connection formulas relating $d$-Narayana polynomials to particular Jacobi-Piñeiro polynomials.

The h-vector of a matroid M is an important invariant related to the independence complex of M and can also be recovered from an evaluation of its Tutte polynomial. A well-known conjecture of Stanley posits that the h-vector of a matroid is a pure O-sequence, meaning that it can be obtained by counting faces of a pure multicomplex. Merino has established Stanley's conjecture for the case of cographic matroids via chip-firing on graphs and the concept of a G-parking function. Inspired by these constructions, we introduce the notion of a cycle system for a matroid M -- a family of cycles (unions of circuits) of M with overlap properties that mimic cut-sets in a graph. A choice of cycle system on M defines a collection of integer sequences that we call coparking functions. We show that for any cycle system on M, the set of coparking functions is in bijection with the set of bases of M. We show that maximal coparking functions all have the same degree, and that cycle systems behave well under deletion and contraction. This leads to a proof of Stanley's conjecture for the case of matroids that admit cycle systems, which include, for instance, graphic matroids of cones as well as K33-free graphs.

Tatsuyuki Hikita recently proved the Stanley--Stembridge conjecture using probabilistic methods, showing that the chromatic symmetric functions of unit interval graphs are $e$-positive. Finding a combinatorial interpretation for these $e$-coefficients remains a major open problem. Towards this goal, we introduce sets of strong and powerful $P$-tableaux and conjecture that these sets undercount and overcount the $e$-coefficients of the chromatic symmetric function $X_{inc(P)}(\mathbf{x}, q)$. We then use this framework to obtain combinatorial interpretations for various cases of $e$-expansion coefficients of chromatic symmetric functions of unit interval graphs. Additionally, we show that strong $P$-tableaux and the Shareshian--Wachs inversion statistic appear naturally in the proof of Hikita's result.

Let $Δ^λ$ be the Weyl functor for the partition $λ$ and let $E$ be the natural $2$-dimensional representation of $\mathrm{SL}_2(\mathbb{F})$, where $\mathbb{F}$ is an arbitrary field. We give an explicit isomorphism showing that any $\mathrm{SL}_2(\mathbb{F})$-plethysm $Δ^{(M,1^N)}\mathrm{Sym}^d E$ factors as a tensor product of two simpler $\mathrm{SL}_2(\mathbb{F})$-plethysms, each defined using only symmetric powers. This result categorifies Stanley's Hook Content Formula for hook-shaped partitions and proves a conjecture of Martínez--Wildon (2024). In a similar spirit we categorify the classical binomial identity $\binom{a}{b}\binom{b}{c}=\binom{a}{c}\binom{a-c}{b-c}$, obtaining a new family of $\mathrm{SL}_2(\mathbb{F})$-isomorphisms between tensor products of plethysms. Our methods are characteristic independent and provide a framework that is broadly applicable to the study of isomorphisms between plethystic representations of $\mathrm{SL}_2(\mathbb{F})$.

In 1995, Stanley introduced the chromatic symmetric function of a graph, which specializes to its chromatic polynomial, and which has been the focus of intense research. In 2017, Shareshian, Wachs, and Ellzey defined a refinement of this function for a directed graph, that appears to be in $QSym$, the algebra of quasisymmetric functions, which is of great interest in algebraic combinatorics. Our goal is to extend this work to signed graphs, taking into account the perspective of the hyperplane arrangement associated with a signed graph, developed by Zaslavsky. We introduce the signed chromatic quasisymmetric invariant, and obtain structural properties. As a consequence, we define and study $SQSym$, the algebra of signed quasisymmetric functions.

The Kromatic symmetric function (KSF) $\overline{X}_G$ of a graph $G$ is a $K$-analogue introduced by Crew, Pechenik, and Spirkl in arXiv:2301.02177 of Stanley's chromatic symmetric function (CSF) $X_G$. The KSF is known to distinguish some pairs of graphs with the same CSF. The first author showed in arXiv:2403.15929 and arXiv:2502.21285 that the number of copies in $G$ of certain induced subgraphs can be determined given $\overline{X}_G$, and conjectured that $\overline{X}_G$ distinguishes all graphs. We disprove that conjecture by finding four pairs of 8-vertex graphs with equal KSF, as well as giving several ways to use existing graph pairs with equal KSF to construct larger graph pairs that also have equal KSF. On the other hand, we show that many of the graph pairs from the constructions of Orellana and Scott in arXiv:1308.6005 and of Aliste-Prieto, Crew, Spirkl, and Zamora in arXiv:2007.11042 of graphs with the same CSF are distinguished by the KSF, thus also giving some new examples of cases where the KSF is a stronger invariant than the CSF.

In this paper we present new results on the enumeration of parking functions and labeled forests. We introduce new statistics on parking functions, which are then extended to labeled forests via bijective correspondences. We determine the joint distribution of two statistics on parking functions and their counterparts on labeled forests. Our results on labeled forests also serve to explain the mysterious equidistribution between two seemingly unrelated statistics in parking functions recently identified by Stanley and Yin and give an explicit bijection between the two statistics. Extensions of our techniques are discussed, including joint distribution on further refinement of these new statistics.

We study Stanley's chromatic symmetric function (CSF) for trees when expressed in the star basis. We use the deletion-near-contraction (DNC) algorithm to compute coefficients that occur in the CSF in the star basis. In particular, one of our main results determines the smallest partition in lexicographic order that occurs as an indexing partition in the CSF, and we also give a formula for its coefficient. In addition to describing properties of trees encoded in the coefficients of the star basis, we give an algorithm for reconstructing trees of diameter less than six.

We introduce inversions tableaux, a new combinatorial model for Schubert polynomials and Stanley symmetric functions that directly specializes to semi-standard Young tableaux in the Grassmannian case. They are a modification of the balanced staircase tableaux of Edelman and Greene. We explicitly describe inversions tableaux that correspond to the lexicographically minimal and maximal monomials in each Schubert polynomial and characterize the unique inversions tableau for dominant permutations. We also characterize the action of generalized chute moves on inversions tableaux, and establish related background that will be used to prove Rubey's chute moves conjecture in upcoming work.

Plane partition diamonds were introduced by Andrews, Paule, and Riese (2001) as part of their study of MacMahon's $Ω$-operator in search for integer partition identities. More recently, Dockery, Jameson, Sellers, and Wilson (2024) extended this concept to $d$-fold partition diamonds and found their generating function in a recursive form. We approach $d$-fold partition diamonds via Stanley's (1972) theory of $P$-partitions and give a closed formula for a bivariate generalization of the Dockery--Jameson--Sellers--Wilson generating function; its main ingredient is the Euler--Mahonian polynomial encoding descent statistics of permutations.

In this paper, we propose a uniform approach to tackle problems about squarefree monomial ideals whose powers have good properties. We employ this approach to achieve a twofold goal: (i) recover and extend several well--known results in the literature, especially regarding Stanley--Reisner ideals of matroids, and (ii) provide short, elementary proofs for these results. Among them, we provide simple proofs of two celebrated results of Minh and Trung, Varbaro, and Terai and Trung elegantly characterizing the Cohen-Macaulay property, or even Serre's condition $(S_2)$, of symbolic and ordinary powers of squarefree monomial ideals in terms of their combinatorial (matroidal) structure. Our work relies on the interplay of several combinatorial and algebraic concepts, including dualities, polarizations, Serre's conditions, matroids, Hochster-Huneke graphs, vertex decomposability, and careful choices of monomial orders.