arXiv++ Combinatorics

The algebra of polysymmetric functions (PSym) is defined as the tensor product of copies of the algebra of symmetric functions (Sym) where the $i$th copy has variables scaled by $i$. One way to construct a basis of PSym is to start with a basis $\{f_λ\}$ of Sym and consider all pure tensors arising from this basis. Asvin G and Andrew O'Desky described four families of non-pure tensor bases, namely $H, E, E^+$ and $P$, which we call plethystic bases. In this paper, we study the expansions of the plethystic bases into the pure-tensor bases $\{h^\otimes_τ\}$ and $\{e^\otimes_τ\}$, and interpret the results via combinatorial objects called polywrapping block tabloids. The expansions of $H, E$ and $E^+$ in $h^\otimes$ and $e^\otimes$ are found via the $h$-expansion of the plethysm $h_n[p_r]$. We compute this $h$-expansion using a statistic on words and prove it through abacus methods.

The dual affine Robinson--Schensted correspondence and the affine matrix-ball construction give two related parametrizations of extended affine permutations. From the stable-window data of the dual correspondence, we introduce a dual weight \(β\) and prove that it is consistent with the original pair \((λ,N_0)\). We prove that \(β\) and the AMBC weight \(ρ\) have identical monodromy along affine Knuth paths. We further give an explicit relation between \(β\) and \(ρ\), showing that their difference depends only on the associated tabloids.

Kazhdan--Lusztig $W$-graphs encode the cell structure of Hecke algebras, while their bidirected connected components are called molecules. In finite type~$A$, the Robinson--Schensted correspondence describes cells and molecules, and Beissinger's row insertion constructs the common tableau associated with an involution. In affine type~$A$, the affine matrix-ball construction assigns an affine permutation a pair of tabloids together with a dominant weight, and Marberg introduced affine FPF $W$-graphs indexed by affine fixed-point-free involutions. We prove that, for an affine fixed-point-free involution, complete two-cycle truncations followed by finite row Beissinger insertion asymptotically recover both its common AMBC tabloid and its dominant weight. We also identify the bidirected edges of $Γ_n^{\m}$ with dual equivalence moves under AMBC, obtaining a classification of its molecule.

We introduce the dual affine Robinson-Schensted correspondence that gives a bijection between the extended affine symmetric group and tuples $(\bar{P},\bar{Q},λ,N)$, where $\bar{P}$ and $\bar{Q}$ are tabloids, $λ$ is a partition, and $N$ is an integer, subject to compatibility conditions. The construction generalizes Fomin's growth diagrams and Viennot's shadow lines for the classical Robinson-Schensted correspondence on the symmetric group, and is dual to the affine matrix ball construction as well as Shi's correspondence, in the sense that the $P$-tabloids are the same, and the $Q$-tabloids are related by affine evacuation. As a consequence, our construction also parametrizes Kazhdan-Lusztig cells in affine type $A$. We conjecture that the growth diagrams we construct admit a natural geometric realization in terms of relative positions of affine flags, similar to the interpretation given by Steinberg and van Leeuwen in the classical case.

A graph is Schur-positive if its chromatic symmetric function expands non-negatively in the Schur basis. We determine a full Schur-positivity classification for complete multipartite graphs by showing that a complete multipartite graph $K_λ$ is Schur-positive if and only if either $λ_i\in \{1,2\}$ for all $i$ or $λ=(3,2^β)$ for some $β\ge 1$. These results extend earlier classifications for complete bipartite and complete tripartite graphs to full generality. Our proofs combine structural arguments ruling out most cases, with a combinatorial analysis of Schur coefficients for the remaining family $K_{(3,2^β)}$ via special rim hook $G$-tabloids. Along the way, we establish a simpler formula for Schur coefficients of incomparability graphs, which we then apply to compute the coefficients of interest in terms of non-increasing sequences.

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$.

Combinatorial transition matrices arise frequently in the theory of symmetric functions and their generalizations. The entries of such matrices often count signed, weighted combinatorial structures such as semistandard tableaux, rim-hook tableaux, or brick tabloids. Bijective proofs that two such matrices are inverses of each other may be difficult to find. This paper presents a general framework for proving such inversion results in the case where the combinatorial objects are built up recursively by successively adding some incremental structure such as a single horizontal strip or rim-hook. In this setting, we show that a sequence of matrix inversion results $A_nB_n=I$ can be reduced to a certain ``local'' identity involving the incremental structures. Here, $A_n$ and $B_n$ are matrices that might be non-square, and the columns of $A_n$ and the rows of $B_n$ indexed by compositions of $n$. We illustrate the general theory with four classical applications involving the Kostka matrices, the character tables of the symmetric group, incidence matrices for composition posets, and matrices counting brick tabloids. We obtain a new, canonical bijective proof of an inversion result for rectangular Kostka matrices, which complements the proof for the square case due to Eğecioğlu and Remmel. We also give a new bijective proof of the orthogonality result for the irreducible $S_n$-characters that is shorter than the original version due to White.

Let $χ^λ_μ$ be the value of the irreducible character $χ^λ$ of the Hecke algebra of the symmetric group on the conjugacy class of type $μ$. The usual Murnaghan-Nakayama rule provides an iterative algorithm based on reduction of the lower partition $μ$. In this paper, we establish a dual Murnaghan-Nakayama rule for Hecke algebras of type $A$ using vertex operators by applying reduction to the upper partition $λ$. We formulate an explicit recursion of the dual Murnaghan-Nakayama rule by employing the combinatorial model of ``brick tabloids", which refines a previous result by two of us (J. Algebra 598 (2022), 24--47).

We build on the methods introduced by Friedmann, Hanlon, Stanley, and Wachs, and further developed by Brauner and Friedmann, to construct additional classes of presentations of Specht modules. We obtain these presentations by defining a linear operator which is a symmetrized sum of dual Garnir relations on the space of column tabloids. Our presentations apply to the vast majority of shapes of Specht modules.

A graph is Schur-positive if its chromatic symmetric function expands nonnegatively in the Schur basis. All claw-free graphs are conjectured to be Schur-positive. We introduce a combinatorial object corresponding to a graph G, called a special rim hook G-tabloid, which is a variation on the special rim hook tabloid. These objects can be employed to compute any Schur coefficient of the chromatic symmetric function of a graph. We construct sign-reversing maps on these special rim hook G-tabloids to obtain a recurrence relation for the Schur coefficients of a family of claw-free graphs called generalized nets, then we prove the entire family is Schur-positive. We subsequently determine an analogous recurrence relation for another, similar family of claw-free graphs. Thus, we demonstrate a new method for proving Schur-positivity of chromatic symmetric functions, which has the potential to be applied to make further progress toward the aforementioned conjecture.

Asvin G and Andrew O'Desky recently introduced the graded algebra P$Λ$ of polysymmetric functions as a generalization of the algebra $Λ$ of symmetric functions. This article develops combinatorial formulas for some multiplication rules and transition matrix entries for P$Λ$ that are analogous to well-known classical formulas for $Λ$. In more detail, we consider pure tensor bases $\{s^{\otimes}_τ\}$, $\{p^{\otimes}_τ\}$, and $\{m^{\otimes}_τ\}$ for P$Λ$ that arise as tensor products of the classical Schur basis, power-sum basis, and monomial basis for $Λ$. We find expansions in these bases of the non-pure bases $\{P_δ\}$, $\{H_δ\}$, $\{E^+_δ\}$, and $\{E_δ\}$ studied by Asvin G and O'Desky. The answers involve tableau-like structures generalizing semistandard tableaux, rim-hook tableaux, and the brick tabloids of Eğecioğlu and Remmel. These objects arise by iteration of new Pieri-type rules that give expansions of products such as $s^{\otimes}_σH_δ$, $p^{\otimes}_σE_δ$, etc.

The noncommutative symmetric functions $\textbf{NSym}$ were first defined abstractly by Gelfand et al. in 1995 as the free associative algebra generated by noncommuting indeterminants $\{\boldsymbol{e}_n\}_{n\in \mathbb{N}}$ that were taken as a noncommutative analogue of the elementary symmetric functions. The resulting space was thus a variation on the traditional symmetric functions $Λ$. Giving noncommutative analogues of generating function relations for other bases of $Λ$ allowed Gelfand et al. to define additional bases of $\textbf{NSym}$ and then determine change-of-basis formulas using quasideterminants. In this paper, we aim for a self-contained exposition that expresses these bases concretely as functions in infinitely many noncommuting variables and avoids quasideterminants. Additionally, we look at the noncommutative analogues of two different interpretations of change-of-basis in $Λ$: both as a product of a minimal number of matrices, mimicking Macdonald's exposition of $Λ$ in Symmetric Functions and Hall Polynomials, and as statistics on brick tabloids, as in work by Eğecioğlu and Remmel, 1990.

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.

We obtain a new presentation for Specht modules whose conjugate shapes have strictly decreasing parts by introducing a linear operator on the space generated by column tabloids. The generators of the presentation are column tabloids and the relations form a proper subset of the Garnir relations of Fulton. The results in this paper extend earlier results of the authors and Stanley on Specht modules of staircase shape.

We introduce a new basis for the polynomial ring which lifts the complete homogeneous symmetric polynomials while retaining representation theoretic significance. Using a specialized RSK algorithm we give an explicit nonnegative expansion into key polynomials and, generalizing the special rim hook tabloids of Eğecioğlu and Remmel, give an explicit signed expansion for key polynomials into this new basis.

We investigate the $e$-positivity and Schur positivity of the chromatic symmetric functions of some spider graphs with three legs. We obtain the positivity classification of all broom graphs and that of most double broom graphs. The methods involve extracting particular $e$-coefficients of the chromatic symmetric function of these graphs with the aid of Orellana and Scott's triple-deletion property, and using the combinatorial formula of Schur coefficients by examining certain special rim hook tabloids. We also propose some conjectures on the $e$-positivity and Schur positivity of trees.

We give a crystal-theoretic proof that nonsymmetric Macdonald polynomials specialized to $t=0$ are affine Demazure characters. We explicitly construct an affine Demazure crystal on semistandard key tabloids such that removing the affine edges recovers the finite Demazure crystals constructed earlier by the authors. We also realize the filtration on highest weight modules by Demazure modules by defining explicit embedding operators which, at the level of characters, parallels the recursion operators of Knop and Sahi for specialized nonsymmetric Macdonald polynomials. Thus we prove combinatorially in type A that every affine Demazure module admits a finite Demazure flag.

We provide a formula for every Schur coefficient in the chromatic symmetric function of a graph in terms of special rim hook tabloids. This formula is useful in confirming the non-Schur positivity of the chromatic symmetric function of a graph, especially when Stanley's stable partition method does not work. As applications, we determine Schur positive fan graphs and Schur positive complete tripartite graphs. We show that any squid graph obtained by adding $n$ leaves to a common vertex on an $m$-vertex cycle is not Schur positive if $m\ne 2n-1$, and conjecture that neither are the squid graphs with $m=2n-1$.

We establish the existence of an involution on tabloids that is analogous to Schutzenberger's evacuation map on standard Young tableaux. We find that the number of its fixed points is given by evaluating a certain Green's polynomial at $q = -1$, and satisfies a "domino-like" recurrence relation.

Fulton and Kraskiewicz gave a presentation of Specht modules as a quotient of the space of column tabloids by dual Garnir relations. We simplify this presentation by showing that it can be generated by a single relation for each pair of columns of a tableau with ordered columns, thereby significantly reducing the number of generators given in the original construction. Our presentation applies to all Specht modules, and is of a similar nature to a recent result by Friedmann-Hanlon-Stanley-Wachs that applies to staircase partitions. We show that our presentation implies the Friedmann-Hanlon-Stanley-Wachs presentation.