arXiv++ Combinatorics

It is known that for the Young diagram of any partition of an integer $n$, the sum of squares of the hook lengths of its cells is exactly $n^2$ more than that of the contents of its cells. That is, for any partition $λ$ of an integer $n$, \begin{equation*} \sum_{u \in λ} h(u)^2 = n^2 + \sum_{u \in λ} c(u)^2. \end{equation*} We provide a bijective proof of this fact, thus solving a problem posed by Stanley. Along the way, we obtain a formula for the number of rectangles in the Young diagram of a partition. We also mention a result for sums of other powers of hook lengths and contents.

A magic labeling of a graph is a labeling of the edges by nonnegative integers such that the label sum over the edges incident to every vertex is the same. This common label sum is known as the index. We count magic labelings by maximum edge label, rather than index, using an Ehrhart-theoretic approach. In contrast to Stanley's 1973 work showing that the function counting magic labelings with bounded index is a quasipolynomial with quasiperiod $2$, we show by construction that the minimum quasiperiod of the quasipolynomial counting magic labelings with bounded maximum label can be arbitrarily large, even for planar bipartite graphs. Unfortunately, this rules out a certain Ehrhart-theoretic approach to proving Hartsfield and Ringel's Antimagic Graph Conjecture. However, we show that this quasipolynomial is in fact a polynomial for any bipartite graph with matching preclusion number at most $1$, which includes any bipartite graph with a leaf.

We continue our study, initiated in our prior work with Richard Stanley, of the representation of the symmetric group on the multilinear component of an $n$-ary generalization of the free Lie algebra known as the free Filippov $n$-algebra with $k$ brackets. Our ultimate aim is to determine the multiplicities of the irreducible representations in this representation. This had been done for the ordinary Lie representation ($n=2$ case) by Kraskiewicz and Weyman. The $k=2$ case was handled in our prior work, where the representation was shown to be isomorphic to $S^{2^{n-1}1}$. In this paper, for general $n$ and $k$, we obtain decomposition results that enable us to determine the multiplicities in the $k=3$ and $k=4$ cases. In particular we prove that in the $k=3$ case, the representation is isomorphic to $S^{3^{n-1}1} \oplus S^{3^{n-2}21^2}$. Our main result shows that the multiplicities stabilize in a certain sense when $n$ exceeds $k$. As an important tool in proving this, we present two types of generalizations of the notion of Specht module that involve trees.

Building on the work of Grinberg and Stanley, we begin a systematic study of permutations with a prescribed $X$-descent set. In particular, for a set $X \subseteq \mathbb{N}^2$, and $I \subseteq [n-1]$, we study the permutations $π\in \mathfrak{S}_n$ whose $X$-descent set is precisely $I$, meaning $(π_i,π_{i+1}) \in X$ precisely when $i \in I$. The central focus is enumerating these permutations for a fixed $X,I$ and $n$: this count is denoted by $d_X(I;n)$. We derive a recursion which under expected conditions simplifies to a binomial-type recurrence determined entirely by the values $d_X(\emptyset;n)$. This extends the work of Díaz-Lopez et al.\ on descent polynomials. The resulting reduction shows that the general statistic $d_X(I;n)$ is typically governed by the ``descent-free'' quantities $d_X(\emptyset;n)$, motivating a closer analysis of these numbers. We observe that $d_X(\emptyset;n)$ enumerates Hamiltonian paths in a directed graph canonically associated to $X$. We then record several families of sets $X$ for which $d_X(\emptyset;n)$ is explicit or effectively computable. This includes families with periodicity for which transfer matrix methods apply, and families with succession-type relations where inclusion-exclusion applies. We then investigate the typical behavior of $d_X(\emptyset;n)$ from a probabilistic perspective.

Stanley asked whether a tree is determined up to isomorphism by its chromatic symmetric function. We approach Stanley's problem by studying the relationship between the chromatic symmetric function and other invariants. First, we prove Crew's conjecture that the chromatic symmetric function of a tree determines its generalized degree sequence, which enumerates vertex subsets by cardinality and the numbers of internal and external edges. Second, we prove that the restriction of the generalized degree sequence to subtrees contains exactly the same information as the subtree polynomial, which enumerates subtrees by cardinality and number of leaves. Third, we construct arbitrarily large families of trees sharing the same subtree polynomial, proving and generalizing a conjecture of Eisenstat and Gordon.

In a series of recent talks Richard Stanley introduced a symmetric function associated to digraphs called the Redei-Berge symmetric function. This symmetric function enumerates descent sets of permutations corresponding to digraphs. We show that such constructed symmetric function arises from a suitable structure of combinatorial Hopf algebra on digraphs. The induced Redei-Berge polynomial satisfies the deletion-contraction property which makes it similar to the chromatic polynomial. The Berge's classical result on the number of Hamiltonian paths in digraphs is a consequence of the reciprocity formula for the Redei-Berge polynomial.

The local $h$-polynomial was introduced by Stanley as a fundamental enumerative invariant of a triangulation $Δ$ of a simplex. This polynomial is known to have nonnegative and symmetric coefficients and is conjectured to be $γ$-positive when $Δ$ is flag. This paper shows that the local $h$-polynomial has the stronger property of being real-rooted when $Δ$ is the barycentric subdivision of an arbitrary geometric triangulation $Γ$ of the simplex. An analogous result for edgewise subdivisions is proven. The proofs are based on a new combinatorial formula for the local $h$-polynomial of $Δ$, which is valid when $Δ$ is any uniform triangulation of $Γ$. A combinatorial interpretation of the local $h$-polynomial of the second barycentric subdivision of the simplex is deduced.

The polynomial of the major index ${\rm maj}_W (σ)$ over the subset $T$ of the Coxeter group $W$ is called the Mahonian polynomial over $T$, where ${\rm maj}_W (σ)$ is a Mahonian statistic of an element $σ\in T$, whereas the polynomial of the major index ${\rm maj}_W (σ)$ with the sign $(-1)^{\ell_W(σ)}$ over the subset $T$ is referred to as the signed Mahonian polynomial over $T$, where ${\ell_W(σ)}$ is the length of $σ\in T$. Gessel, Wachs, and Chow established the formulas for the Mahonian polynomials over the sets of derangements in the symmetric group $S_n$ and the hyperoctahedral group $B_n$. By extending Wachs' approach and employing a refinement of Stanley's shuffle theorem established in our recent paper, we derive the formula for the Mahonian polynomials over the set of derangements in the even-signed permutation group $D_n$. This completes a picture which is now known for all the classical Weyl groups. Gessel-Simion, Adin-Gessel-Roichman, and Biagioli previously established formulas for the signed Mahonian polynomials over the classical Weyl groups. Building upon their formulas, we derive the formulas for the signed Mahonian polynomials over the set of derangements in classical Weyl groups. As applications of the formulas for the (signed) Mahonian polynomials over the sets of derangements in the classical Weyl groups, we obtain enumerative formulas of the number of derangements in classical Weyl groups with even lengths.

We state combinatorial formulas for hyperoctahedral group ($\mathfrak B_n$) character evaluations of the form $χ( {{\widetilde C}_w}^{\negthickspace\negthickspace BC}\negthickspace(1))$, where ${{\widetilde C}_w}^{\negthickspace\negthickspace BC}\negthickspace(1) \in \Bbb Z[\mathfrak B_n]$ is a type-BC Kazhdan-Lusztig basis element, with $w \in \mathfrak B_n$ corresponding to simultaneously smooth type-B and C Schubert varieties. We also extend the definition of symmetric group codominance to elements of $\mathfrak B_n$ and show that for each element $w \in \mathfrak B_n$ above, there exists a BC-codominant element $v \in \mathfrak B_n$ satisfying $χ( {{\widetilde C}_w}^{\negthickspace\negthickspace BC}\negthickspace(1)) = χ( {{\widetilde C}_v}^{\negthickspace\negthickspace BC}\negthickspace(1))$ for all $\mathfrak B_n$-characters $χ$. Combinatorial structures and maps appearing in these formulas are type-BC extensions of planar networks, unit interval orders, indifference graphs, poset tableaux, and colorings. Using the ring of type-BC symmetric functions, we introduce natural generating functions $Y( {{\widetilde C}_w}^{\negthickspace\negthickspace BC}\negthickspace(1))$ for the above evaluations. These provide a new type-BC analog of Stanley's chromatic symmetric functions [Adv. Math. 111 (1995) pp. 166-194].

Stanley considered Dyck paths where each maximal run of down-steps to the $x$-axis has odd length; they are also enumerated by (shifted) Catalan numbers. Prefixes of these combinatorial objects are enumerated using the kernel method. A more challenging version of skew Dyck paths combined with Stanley's restriction is also considered.

Rado's theorem about permutahedra and dominance order on partitions reveals that each Schur polynomial is M-convex, or equivalently, it has a saturated Newton polytope and this polytope is a generalized permutahedron as well. In this paper we show that the support of each dual $k$-Schur polynomial indexed by a $k$-bounded partition coincides with that of the Schur polynomial indexed by the same partition, and hence the two polynomials share the same saturated Newton polytope. The main result is based on our recursive algorithm to generate a semistandard $k$-tableau for a given shape and $k$-weight. As consequences, we obtain the M-convexity of dual $k$-Schur polynomials, affine Stanley symmetric polynomials and cylindric skew Schur polynomials.

We initiate an in-depth study of pattern avoidance on modified ascent sequences. Our main technique consists in using Stanley's standardization to obtain a transport theorem between primitive modified ascent sequences and permutations avoiding a bivincular pattern of length three. We enumerate some patterns via bijections with other combinatorial structures such as Fishburn permutations, lattice paths and set partitions. We settle the last remaining case of a conjecture by Duncan and Steingrímsson by proving that modified ascent sequences avoiding 2321 are counted by the Bell numbers.

A LAnKe (also known as a Filippov algebra or a Lie algebra of the $n$-th kind) is a vector space equipped with a skew-symmetric $n$-linear form that satisfies the generalized Jacobi identity. Friedmann, Hanlon, Stanley and Wachs have shown that the symmetric group acts on the multilinear part of the free LAnKe on $2n-1$ generators as an irreducible representation. They announced that the multilinear component on $3n-2$ generators decomposes as a direct sum of two irreducible symmetric group representations and a proof was given recently in a subsequent paper by Friedmann, Hanlon and Wachs. In the present paper we provide a proof of the later statement. The two proofs are substantially different.

In the seminal work of Stanley, several conjectures were made on the structure of Littlewood-Richardson coefficients for the multiplication of Jack symmetric functions. Motivated by recent results of Alexandersson and the present author, we postulate that a `windowing' property holds for all such Jack L-R coefficients. Furthermore, we propose an extension of the `Factorization' property for Schur L-R due to King-Tollu-Toumazet to the Jack case. These properties provide a vast set of relations between the Jack L-R coefficients and allow for their direct computation in a certain large class of cases.

Let $H$ be a complex reductive group, with finite-dimensional representations $W$ and $U$. The module of covariants for $W$ of type $U$ is the space of all $H$-equivariant polynomial maps $\varphi: W \longrightarrow U$. In this paper, we take $H$ to be one of the classical groups $\operatorname{GL}(V)$, $\operatorname{O}(V)$, or $\operatorname{Sp}(V)$, where $W$ is a direct sum of copies of $V$ and $V^*$, and $U$ is an arbitrary rational representation (with $U$ restricted to exterior powers of $V$ in the $H= \operatorname{O}(V)$ case). Our main result gives uniform Stanley decompositions of these modules of covariants, with Stanley spaces parametrized by combinatorial objects we call jellyfish. As a corollary, we write down the Hilbert series as a finite sum of rational functions, each with a combinatorial interpretation in terms of lattice paths. Notably, these results do not rely on the module being Cohen-Macaulay. We further apply our methods to invariant rings for $\operatorname{SL}(V)$ and $\operatorname{SO}(V)$. Our proofs (for $H = \operatorname{GL}(V)$ and $\operatorname{Sp}(V)$) rely on previous work by Jackson on standard monomial theory for dual reductive pairs, since classical modules of covariants can be viewed via Howe duality as Harish-Chandra modules of unitary highest weight representations of a certain real reductive group. As a first step toward extending this program to arbitrary unitary highest weight representations (including those of the exceptional groups), we establish analogous results uniformly for the Wallach representations of type ADE.

We study representations of finite groups on Stanley--Reisner rings of simplicial complexes and on lattice points in lattice polytopes. The framework of translative group actions allows us to use the theory of proper colorings of simplicial complexes without requiring an explicit coloring to be given. We prove that the equivariant Hilbert series of a Cohen--Macaulay simplicial complex under a translative group action admits a rational expression whose numerator is a positive integer combination of irreducible characters. This implies an analogous rational expression for the equivariant Ehrhart series of a lattice polytope with a unimodular triangulation that is invariant under a translative group action. As an application, we study the equivariant Ehrhart series of alcoved polytopes in the sense of Lam and Postnikov and derive explicit results in the case of order polytopes and of Lipschitz poset polytopes.

Combining Carver's variant of the Farkas' lemma with the Flow Decomposition Theorem we show that the regions of any deformation of a graphical arrangement may be bijectively labeled with a set of weighted digraphs containing directed cycles of negative weight only. Bounded regions correspond to strongly connected digraphs. The study of the resulting labelings allows us to add the omitted details in Stanley's proof on the injectivity of the Pak-Stanley labeling of the regions of the extended Shi arrangement, to generalize the ceiling diagrams in the deleted Shi and Ish arrangements studied by Armstrong and Rhoades and to introduce a new labeling of the regions in the Fuss-Catalan arrangement. We also point out that Athanasiadis-Linusson labelings may be used to directly count regions in a class of arrangements properly containing the extended Shi arrangement and the Fuss-Catalan arrangement.

New presentations of Specht modules of symmetric groups over fields of characteristic zero have been obtained by Brauner, Friedmann, Hanlon, Stanley and Wachs. These involve generators that are column tabloids and relations that are Garnir relations with maximal number of exchanges between consecutive columns or symmetrization of Garnir relations with minimal number of exchanges between consecutive columns. In this paper, we examine Garnir relations and their symmetrization with any number of exchanges. In both cases, we provide sufficient arithmetic conditions so that the corresponding quotient is a Specht module. In particular, in the first case this yields new presentations of Specht modules if the parts of the conjugate partition that correspond to maximal number of exchanges greater than 1 are distinct. These results generalize the presentations mentioned above and offer an answer to a question of Friedmann, Hanlon and Wachs. Our approach is via representations of the general linear group.

For two subsets S and T of a given lattice L, we define a relative distributive (modular) property over L, that underlies a large family including the usual class of distributive (modular) lattices. Our proposed class will be called ST-distributive (ST-modular) lattices. In this paper, we explore elemental properties of ST-distributivity (ST-modularity) and find examples of maximal S and T to form ST-distributive lattices for some non-distributive finite lattices of small order. We also characterize the maximal pairs of subsets (S,T), subject to certain constraints, that induce ST-distributivity in the lattice family M_n,n for all natural numbers n greater than or equal to 3. Afterwards, we present an application of ST-modular to convex sets and polytopes. This application has been the first example found and the main guiding light for our new definitions. The aforementioned definitions are closely related to distributive elements of Birkhoff-Gratzer and Stanley's SS-lattices.

This paper gives a tableau formula for expanding the product of a Lascoux polynomial and a stable Grothendieck polynomial into Lascoux polynomials. Lascoux and stable Grothendieck polynomials are inhomogeneous analogues of key polynomials and Stanley symmetric functions, respectively. Our formula refines the K-theoretic Littlewood-Richardson rule of Buch and extends the key expansion of key times Schur established by Haglund, Luoto, Mason, and van Willigenburg. Our proof is combinatorial, relying heavily on a novel row insertion algorithm of Huang, Shimozono and Yu.