arXiv++ Combinatorics

Motivated by questions of Mulmuley and Stanley we investigate quasi-polynomials arising in formulas for plethysm. We demonstrate, on the examples of $S^3(S^k)$ and $S^k(S^3)$, that these need not be counting functions of inhomogeneous polytopes of dimension equal to the degree of the quasi-polynomial. It follows that these functions are not, in general, counting functions of lattice points in any scaled convex bodies, even when restricted to single rays. Our results also apply to special rectangular Kronecker coefficients.

Let $D$ be a subset of a finite commutative ring $R$ with identity. Let $f(x)\in R[x]$ be a polynomial of positive degree $d$. For integer $0\leq k \leq |D|$, we study the number $N_f(D,k,b)$ of $k$-subsets $S\subseteq D$ such that \begin{align*} \sum_{x\in S} f(x)=b. \end{align*} In this paper, we establish several asymptotic formulas for $N_f(D,k, b)$, depending on the nature of the ring $R$ and $f$. For $R=\mathbb{Z}_n$, let $p=p(n)$ be the smallest prime divisor of $n$, $|D|=n-c \geq C_dn p^{-\frac 1d }+c$ and $f(x)=a_dx^d +\cdots +a_0\in \mathbb{Z}[x]$ with $(a_d, \dots, a_1, n)=1$. Then $$\left| N_f(D, k, b)-\frac{1}{n}{n-c \choose k}\right|\leq {δ(n)(n-c)+(1-δ(n))(C_dnp^{-\frac 1d}+c)+k-1\choose k},$$ partially answering an open question raised by Stanley \cite{St}, where $δ(n)=\sum_{i\mid n, μ(i)=-1}\frac 1 i$ and $C_d=e^{1.85d}$. Furthermore, if $n$ is a prime power, then $δ(n) =1/p$ and one can take $C_d=4.41$. For $R=\mathbb{F}_q$ of characteristic $p$, let $f(x)\in \mathbb{F}_q[x]$ be a polynomial of degree $d$ not divisible by $p$ and $D\subseteq \mathbb{F}_q$ with $|D|=q-c\geq (d-1)\sqrt{q}+c$. Then $$\left| N_f(D, k, b)-\frac{1}{q}{q-c \choose k}\right|\leq {\frac{q-c}{p}+\frac {p-1}{p}((d-1)q^{\frac 12}+c)+k-1 \choose k}.$$ If $f(x)=ax+b$, then this problem is precisely the well-known subset sum problem over a finite abelian group. Let $G$ be a finite abelian group and let $D\subseteq G$ with $|D|=|G|-c\geq c$. Then $$\left| N_x(D, k, b)-\frac{1}{|G|}{|G|-c \choose k}\right|\leq {c + (|G|-2c)δ(e(G))+k-1 \choose k},$$ where $e(G)$ is the exponent of $G$ and $δ(n)=\sum_{i\mid n, μ(i)=-1}\frac 1 i$. In particular, we give a new short proof for the explicit counting formula for the case $D=G$.

Richard Stanley introduced the order polytope $\mathcal{O}(P)$ and the chain polytope $\mathcal{C}(P)$ arising from a finite partially ordered set $P$, and showed that the Ehrhart polynomial of $\mathcal{O}(P)$ is equal to that of $\mathcal{C}(P)$. In addition, the unimodular equivalence problem of $\mathcal{O}(P)$ and $\mathcal{C}(P)$ was studied by the first author and Nan Li. In the present paper, three integral convex polytopes $Γ(\mathcal{O}(P), -\mathcal{O}(Q))$, $Γ(\mathcal{O}(P), -\mathcal{C}(Q))$ and $Γ(\mathcal{C}(P), -\mathcal{C}(Q))$, where $P$ and $Q$ are partially ordered sets with $| P | = | Q |$, will be studied. First, it will be shown that the Ehrhart polynomial of $Γ(\mathcal{O}(P), -\mathcal{C}(Q))$ coincides with that of $Γ(\mathcal{C}(P), -\mathcal{C}(Q))$. Furthermore, when $P$ and $Q$ possess a common linear extension, it will be proved that these three convex polytopes have the same Ehrhart polynomial. Second, the problem of characterizing partially ordered sets $P$ and $Q$ for which $Γ(\mathcal{O}(P), -\mathcal{O}(Q))$ or $Γ(\mathcal{O}(P), -\mathcal{C}(Q))$ or $Γ(\mathcal{C}(P), -\mathcal{C}(Q))$ is a smooth Fano polytope will be solved. Finally, when these three polytopes are smooth Fano polytopes, the unimodular equivalence problem of these three polytopes will be discussed.

We describe some open problems related to homology representations of subposets of the partition lattice, beginning with questions first raised in Stanley's work on group actions on posets.

Consider a set $A$ with no $p$-term arithmetic progressions for $p$ prime. The $p$-Stanley sequence of a set $A$ is generated by greedily adding successive integers that do not create a $p$-term arithmetic progression. For $p>3$ prime, we give two distinct constructions for $p$-Stanley sequences which have a regular structure and satisfy certain conditions in order to be modular $p$-Stanley sequences, a set of particularly nice sequences defined by Moy and Rolnick which always have a regular structure. Odlyzko and Stanley conjectured that the 3-Stanley sequence generated by $\{0,n\}$ only has a regular structure if $n=3^k$ or $n=2\cdot 3^k$. For $p>3$ we find a substantially larger class of integers $n$ such that the $p$-Stanley sequence generated from $\{0,n\}$ is a modular $p$-Stanley sequence and numerical evidence given by Moy and Rolnick suggests that these are the only $n$ for which the $p$-Stanley sequence generated by $\{0,n\}$ is a modular $p$-Stanley sequence. Our second class is a generalization of a construction of Rolnick for $p=3$ and is thematically similar to the analogous construction by Rolnick.

In this note we introduce the poset of $m$-multichains of a given poset $\mathcal{P}$. Its elements are the multichains of $\mathcal{P}$ consisting of $m$ elements, and its partial order is the componentwise partial order of $\mathcal{P}$. We show that this construction preserves a number of poset-theoretic and poset-topological properties of $\mathcal{P}$. Moreover, we describe the structure of the poset of $m$-multichains of a finite distributive lattice, and provide a link to R.~Stanley's theory of $\mathcal{P}$-partitions.

We give a historical survey of the theory P-partitions, starting with MacMahon's work, describing Richard Stanley's contributions and his related work, and continuing with more recent developments.

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.

We construct the affine version of the Fomin-Kirillov algebra, called the affine FK algebra, to investigate the combinatorics of affine Schubert calculus for type $A$. We introduce Murnaghan-Nakayama elements and Dunkl elements in the affine FK algebra. We show that they are commutative as Bruhat operators, and the commutative algebra generated by these operators is isomorphic to the cohomology of the affine flag variety. We show that the cohomology of the affine flag variety is product of the cohomology of an affine Grassmannian and a flag variety, which are generated by MN elements and Dunkl elements respectively. The Schubert classes in cohomology of the affine Grassmannian (resp. the flag variety) can be identified with affine Schur functions (resp. Schubert polynomials) in a quotient of the polynomial ring. Affine Schubert polynomials, polynomial representatives of the Schubert class in the cohomology of the affine flag variety, can be defined in the product of two quotient rings using the Bernstein-Gelfand-Gelfand operators interpreted as divided difference operators acting on the affine Fomin-Kirillov algebra. As for other applications, we obtain Murnaghan-Nakayama rules both for the affine Schubert polynomials and affine Stanley symmetric functions. We also define $k$-strong-ribbon tableaux from Murnaghan-Nakayama elements to provide a new formula of $k$-Schur functions. This formula gives the character table of the representation of the symmetric group whose Frobenius characteristic image is the $k$-Schur function.

We present exponential generating function analogues to two classical identities involving the ordinary generating function of the complete homogeneous symmetric functions. After a suitable specialization the new identities reduce to identities involving the first and second order Eulerian polynomials. The study of these identities led us to consider a family of symmetric functions associated with a class of permutations introduced by Gessel and Stanley, known in the literature as Stirling permutations. In particular, we define certain type statistics on Stirling permutations that refine the statistics of descents, ascents and plateaux and we show that their refined versions are equidistributed, generalizing a result of Bóna. The definition of this family of symmetric functions extends to the generality of $r$-Stirling permutations. We discuss some occurrences of these symmetric functions in the cases of $r=1$ and $r=2$.

We introduce the notion of combinatorial positivity of translation-invariant valuations on convex polytopes that extends the nonnegativity of Ehrhart h*-vectors. We give a surprisingly simple characterization of combinatorially positive valuations that implies Stanley's nonnegativity and monotonicity of h*-vectors and generalizes work of Beck et al. (2010) from solid-angle polynomials to all translation-invariant simple valuations. For general polytopes, this yields a new characterization of the volume as the unique combinatorially positive valuation up to scaling. For lattice polytopes our results extend work of Betke--Kneser (1985) and give a discrete Hadwiger theorem: There is essentially a unique combinatorially-positive basis for the space of lattice-invariant valuations. As byproducts of our investigations, we prove a multivariate Ehrhart-Macdonald reciprocity and we show universality of weight valuations studied in Beck et al. (2010).

We consider the generating polynomial of the number of rooted trees on the set $\{1,2,\dots,n\}$ counted by the number of descending edges (a parent with a greater label than a child). This polynomial is an extension of the descent generating polynomial of the set of permutations of a totally ordered $n$-set, known as the Eulerian polynomial. We show how this extension shares some of the properties of the classical one. B. Drake proved that this polynomial factors completely over the integers. From his product formula it can be concluded that this polynomial has positive coefficients in the $γ$-basis and we show that a formula for these coefficients can also be derived. We discuss various combinatorial interpretations of these positive coefficients in terms of leaf-labeled binary trees and in terms of the Stirling permutations introduced by Gessel and Stanley. These interpretations are derived from previous results of the author and Wachs related to the poset of weighted partitions and the free multibracketed Lie algebra.

We consider a Hopf algebra of simplicial complexes and provide a cancellation-free formula for its antipode. We then obtain a family of combinatorial Hopf algebras by defining a family of characters on this Hopf algebra. The characters of these combinatorial Hopf algebras give rise to symmetric functions that encode information about colorings of simplicial complexes and their $f$-vectors. We also use characters to give a generalization of Stanley's $(-1)$-color theorem. A $q$-analog version of this family of characters is also studied.

In recent years we have worked on a project involving poset topology, various analogues of Eulerian polynomials, and a refinement of Richard Stanley's chromatic symmetric function. Here we discuss how Stanley's ideas and results have influenced and inspired our own work.

We consider the poset of vector partitions of $[n]$ into $s$ components, denoted $Π_{n,s}$, which was first defined by Stanley in 1978. In 1986, Sagan showed that this poset is CL-shellable, and hence has the homotopy type of a wedge of spheres of dimension $(n-2)$. We extend on this result to show that $Π_{n,s}$ is edge-lexicographic shellable. We then use this edge-labeling to find a recursive expression for the number of spheres, and show that when $s=1$ the number of spheres is equal to the number of complete non-ambiguous trees, first defined in 2014 by Aval, Boussicault, Bouvel and Silimbani.

In a 1995 paper Richard Stanley defined $X_G$, the symmetric chromatic polynomial of a Graph $G=(V,E)$. He then conjectured that $X_G$ distinguishes trees; a conjecture which still remains open. $X_G$ can be represented as a certain collection of integer partitions of $|V|$ induced by each $S\subseteq E$, which is very approachable with the aid of a computer. Our research involved writing a computer program for efficient verification of this conjecture for trees up to 23 vertices. In this process, we also gather trees with matching collections of integer partitions of a fixed number of parts. For each $k=2, 3, 4, 5$, we provide the smallest pair of trees whose partitions of $k$ parts agree. In 2013, Orellana and Scott give a proof of a weaker version of Stanely's conjecture for trees with one centroid. We prove a similar result for arbitrary trees, and provide examples to show that this result, combined with that of Orellana and Scott, is optimal.

We weave together a tale of two rings, SYM and QSYM, following one gold thread spun by Richard Stanley. The lesson we learn from this tale is that "Combinatorial objects like to be counted by quasisymmetric functions."

A long-standing conjecture of Stanley states that every Cohen-Macaulay simplicial complex is partitionable. We disprove the conjecture by constructing an explicit counterexample. Due to a result of Herzog, Jahan and Yassemi, our construction also disproves the conjecture that the Stanley depth of a monomial ideal is always at least its depth.

We study the geometric change of Chow cohomology classes in projective toric varieties under the Weil-McMullen dual of the intersection product with a Lefschetz element. Based on this, we introduce toric chordality, a generalization of graph chordality to higher skeleta of simplicial complexes with a coordinatization over characteristic 0, leading us to a far-reaching generalization of Kalai's work on applications of rigidity of frameworks to polytope theory. In contrast to "homological" chordality, the notion that is usually studied as a higher-dimensional analogue of graph chordality, we will show that toric chordality has several advantageous properties and applications. -- Most strikingly, we will see that toric chordality allows us to introduce a higher version of Dirac's propagation principle. -- Aside from the propagation theorem, we also study the interplay with the geometric properties of the simplicial chain complex of the underlying simplicial complex, culminating in a quantified version of the Stanley--Murai--Nevo generalized lower bound theorem. -- Finally, we apply our technique to give a simple proof of the generalized lower bound theorem in polytope theory and -- prove the balanced generalized lower bound conjecture of Klee and Novik.

A conjecture by R. Stanley on a class of alternating permutations, which is proved by R. Chapman and L. Williams states that alternating permutations with the maximal number of fixed points is equidistributed with derangements. We extend this (type $A$) result to type $B$: We prove that various classes of alternating signed permutations with the maximal number of fixed points is equidistributed with certain types of derangements (of type $B$), respectively.