arXiv++ Combinatorics

We introduce two new bases of QSym, the flipped extended Schur functions and the backward extended Schur functions, as well as their duals in NSym, the flipped shin functions and the backward shin functions. These bases are the images of the extended Schur basis and shin basis under the involutions $ρ$ and $ω$ on the quasisymmetric and noncommutative symmetric functions, which generalize the classical involution $ω$ on the symmetric functions. In addition, we prove a Jacobi-Trudi rule for certain shin functions using creation operators. We define skew extended Schur functions and skew-II extended Schur functions based on left and right actions of NSym and QSym respectively. We then use the involutions $ρ$ and $ω$ to translate these and other known results to our flipped and backward bases.

We prove a new determinantal formula for the characters of irreducible representations of orthosymplectic Lie superalgebras analogous to the formula developed by Moens and Jeugt (J. Algebraic Combin., 2003) for general linear Lie superalgebras. Our proof uses the Jacobi--Trudi type formulas for orthosymplectic characters. As a consequence, we show that the odd symplectic characters introduced by Proctor (Invent. Math., 1988) are the same as the orthosymplectic characters with some specialized indeterminates. We also give a generalization of an odd symplectic character identity due to Brent, Krattenthaler and Warnaar (J. Combin. Theory Ser. A, 2016).

We describe two crystal structures on set-valued decomposition tableaux. These provide the first examples of interesting "$K$-theoretic" crystals on shifted tableaux. Our first crystal is modeled on a similar construction of Monical, Pechenik, and Scrimshaw for semistandard (unshifted) set-valued tableaux. Our second crystal is adapted from the "square root" operators introduced by Yu on the same set. Neither of our shifted crystals is normal, but we conjecture that our second construction is connected with a unique highest weight element. These results lead to partial progress on a conjectural formula of Cho--Ikeda for $K$-theoretic Schur $P$-functions. We also study a new category of "square root crystals" that includes our second construction and Yu's set-valued tableau crystals as examples. We observe that Buch's formula for the coefficients expanding products of symmetric Grothendieck functions has a simple description in terms of the tensor product for this category.

We consider polynomials of the form $\operatorname{s}_λ(y_1^{[\varkappa_1]},\ldots,y_n^{[\varkappa_n]})$, where $λ$ is an integer partition, $\operatorname{s}_λ$ is the Schur polynomial associated to $λ$, and $y_j^{[\varkappa_j]}$ denotes $y_j$ repeated $\varkappa_j$ times. We represent $\operatorname{s}_λ(y_1^{[\varkappa_1]},\ldots,y_n^{[\varkappa_n]})$ as a quotient whose the denominator is the determinant of the confluent Vandermonde matrix, and the numerator is the determinant of some generalized confluent Vandermonde matrix. We give three algebraic proofs of this formula.

Our previous work introduced a category of extended queer crystals, whose connected normal objects have unique highest weight elements and characters that are Schur $Q$-polynomials. The initial models for such crystals were based on semistandard shifted tableaux. Here, we introduce a simpler construction using certain "primed" decomposition tableaux, which slightly generalize the decomposition tableaux used in work of Grantcharov et al. This leads to a new, shorter proof of the highest weight properties of the normal subcategory of extended queer crystals. Along the way, we analyze a primed extension of Grantcharov et al.'s insertion scheme for decomposition tableaux.

As a spin analog of the plethystic Murnaghan-Nakayama rule for Schur functions, the plethystic Murnaghan-Nakayama rule for Schur $Q$-functions is established with the help of the vertex operator realization. This generalizes both the Murnaghan-Nakayama rule and the Pieri rule for Schur $Q$-functions. A plethystic Murnaghan-Nakayama rule for Hall-Littlewood functions is also investigated.

The plethystic Murnaghan-Nakayama rule describes how to decompose the product of a Schur function and a plethysm of the form $p_r\circ h_m$ as a sum of Schur functions. We provide a short, entirely combinatorial proof of this rule using the labelled abaci introduced in Nicholas A. Loehr. Abacus proofs of Schur function identities. In: SIAM J. Discrete Math. 24.4 (2010), pp. 1356-1370.

We study the Kronecker product of two Schur functions $s_λ\ast s_μ$, defined as the image of the characteristic map of the product of two $S_n$ irreducible characters. We prove special cases of a conjecture of Monical--Tokcan--Yong that its monomial expansion has a saturated Newton polytope. Our proofs employ the Horn inequalities for positivity of Littlewood-Richardson coefficients and imply necessary conditions for the positivity of Kronecker coefficients.

We generalize several classical results about Schur functions to the family of cylindric Schur functions. First, we give a combinatorial proof of a Murnaghan--Nakayama formula for expanding cylindric Schur functions in the power-sum basis. We also explore some cases where this formula is cancellation-free. The second result is polynomiality of Kostka coefficients associated with stretched row-flagged skew Schur functions. This implies polynomiality of stretched cylindric Kostka coefficients. This generalizes a result by E. Rassart from 2004. Finally, we also show the saturation property for the row-flagged skew Kostka coefficients which also implies the saturation property for cylindric Schur functions.

Over a field of characteristic two, we develop a theory of standard monomials for polynomial rings modulo a Frobenius power of the maximal ideal generated by all variables. As a result, we obtain a filtration by modular GL_n-representations whose characters are given by particular truncated Schur polynomials, thus proving a conjecture by Gao--Raicu--VandeBogert in the characteristic two case.

The plethysm coefficient $p(ν, μ, λ)$ is the multiplicity of the Schur function $s_λ$ in the plethysm product $s_ν\circ s_μ$. In this paper we use Schur--Weyl duality between wreath products of symmetric groups and the ramified partition algebra to interpret an arbitrary plethysm coefficient as the multiplicity of an appropriate composition factor in the restriction of a module for the ramified partition algebra to the partition algebra. This result implies new stability phenomenon for plethysm coefficients when the first parts of $ν$, $μ$ and $λ$ are all large. In particular, it gives the first positive formula in the case when $ν$ and $λ$ are arbitrary and $μ$ has one part. Corollaries include new explicit positive formulae and combinatorial interpretations for the plethysm coefficients $p((n-b,b), (m), (mn-r,r))$, and $p((n-b,1^b), (m), (mn-r,r))$ when $m$ and $n$ are large.

We continue the study of real polynomials acting entrywise on matrices of fixed dimension to preserve positive semidefiniteness, together with the related analysis of order properties of Schur polynomials. Previous work has shown that, given a real polynomial with positive coefficients that is perturbed by adding a higher-degree monomial, there exists a negative lower bound for the coefficient of the perturbation which characterizes when the perturbed polynomial remains positivity preserving. We show here that, if the perturbation coefficient is strictly greater than this bound then the transformed matrix becomes positive definite given a simple genericity condition that can be readily verified. We identity a slightly stronger genericity condition that ensures positive definiteness occurs at the boundary. The analysis is complemented by computing the rank of the transformed matrix in terms of the location of the original matrix in a Schubert cell-type stratification that we have introduced and explored previously. The proofs require enhancing to strictness a Schur monotonicity result of Khare and Tao, to show that the ratio of Schur polynomials is strictly increasing along each coordinate on the positive orthant and non-decreasing on its closure whenever the defining tuples satisfy a coordinate-wise domination condition.

We introduce and study a natural multispecies variant of the inhomogeneous PushTASEP with site-dependent rates on the finite ring. We show that the stationary distribution of this process is proportional to the ASEP polynomials at $q = 1$ and $t = 0$. This is done by constructing a multiline process which projects to the multispecies PushTASEP, and identifying its stationary distribution using time-reversal arguments. We also study symmetry properties of the process under interchange of the rates associated to the sites. These results hold not just for events depending on the configuration at a single time in equilibrium, but also for systems out of equilibrium and for events depending on the path of the process over time. Lastly, we give explicit formulas for nearest-neighbour two-point correlations in terms of Schur functions.

In this paper, we present a vertex operator approach to construct and compute all complex irreducible characters of the general linear group $\GL_n(\mathbb F_q)$. Green's theory of $\GL_n(\mathbb F_q)$ is recovered and enhanced under the realization of the Grothendieck ring of representations $R_G=\bigoplus_{n\geq 0}R(\GL_n(\mathbb F_q))$ as two isomorphic Fock spaces associated to two infinite-dimensional $F$-equivariant Heisenberg Lie algebras $\widehat{\mathfrak{h}}_{\hat{\overline{\mathbb F}}_q}$ and $\widehat{\mathfrak{h}}_{\overline{\mathbb F}_q}$, where $F$ is the Frobenius automorphism of the algebraically closed field $\overline{\mathbb F}_q$. Under this picture, the irreducible characters are realized by the Bernstein vertex operators for Schur functions, the characteristic functions of the conjugacy classes are realized by the vertex operators for the Hall-Littlewood functions, and the character table is completely given by matrix coefficients of vertex operators of these two types. One of the features of the current approach is a simpler identification of the Fock space $R_G$ as the Hall algebra of symmetric functions via vertex operator calculus, and another is that we are able to compute in general the character table, where Green's degree formula is demonstrated as an example.

Crystal graphs are powerful combinatorial tools for working with the plactic monoid and symmetric functions. Quasi-crystal graphs are an analogous concept for the hypoplactic monoid and quasi-symmetric functions. This paper makes a combinatorial study of these objects. We explain a previously-observed isomorphism of components of the quasi-crystal graph, and provide an explicit description using a new combinatorial structure called a quasi-array. Then two conjectures of Maas-Gariépy on the interaction of fundamental quasi-symmetric functions and Schur functions and on the arrangement of quasi-crystal components within crystal components are answered, the former positively, the latter negatively.

The quasisymmetric generating function of the set of permutations whose inverses have a fixed descent set is known to be symmetric and Schur-positive. The corresponding representation of the symmetric group is called the descent representation. In this paper, we provide an extension of this result to colored permutation groups, where Gessel's fundamental quasisymmetric functions are replaced by Poirier's colored quasisymmetric functions. For this purpose, we introduce a colored analogue of zigzag shapes and prove that the representations associated with these shapes coincide with colored descent representations studied by Adin, Brenti and Roichman in the case of two colors and Bagno and Biagioli in the general case. Additionally, we provide a colored analogue of MaMahon's alternating formula which expresses ribbon Schur functions in the basis of complete homogeneous symmetric functions.

Motivated by the Saxl conjecture and the tensor square conjecture, which states that the tensor squares of certain irreducible representations of the symmetric group contain all irreducible representations, we study the tensor squares of irreducible representations associated with square Young diagrams. We give a formula for computing Kronecker coefficients, which are indexed by two square partitions and a three-row partition, specifically one with a short second row and the smallest part equal to 1. We also prove the positivity of square Kronecker coefficients for particular families of partitions, including three-row partitions and near-hooks.

Duchamp--Hivert--Thibon introduced the construction of a right $H_n(0)$-module, denoted as $M_P$, for any partial order $P$ on the set $[n]$. This module is defined by specifying a suitable action of $H_n(0)$ on the set of linear extensions of $P$. In this paper, we refer to this module as the poset module associated with $P$. Firstly, we show that $\bigoplus_{n \ge 0} G_0(\mathscr{P}(n))$ has a Hopf algebra structure that is isomorphic to the Hopf algebra of quasisymmetric functions, where $\mathscr{P}(n)$ is the full subcategory of $\textbf{mod-}H_n(0)$ whose objects are direct sums of finitely many isomorphic copies of poset modules and $G_0(\mathscr{P}(n))$ is the Grothendieck group of $\mathscr{P}(n)$. We also demonstrate how (anti-)automorphism twists interact with these modules, the induction product and restrictions. Secondly, we investigate the (type 1) quasisymmetric power sum expansion of some quasi-analogues $Y_α$ of Schur functions, where $α$ is a composition. We show that they can be expressed as the sum of the $P$-partition generating functions of specific posets, which allows us to utilize the result established by Liu--Weselcouch. Additionally, we provide a new algorithm for obtaining these posets. Using these findings, for the dual immaculate function and the extended Schur function, we express the coefficients appearing in the quasisymmetric power sum expansions in terms of border strip tableaux.

We give an explicit raising operator formula for the modified Macdonald polynomials $\tilde{H}_{μ}(X;q,t)$, which follows from our recent formula for $\nabla$ on an LLT polynomial and the Haglund-Haiman-Loehr formula expressing modified Macdonald polynomials as sums of LLT polynomials. Our method just as easily yields a formula for a family of symmetric functions $\tilde{H}^{1,n}(X;q,t)$ that we call $1,n$-Macdonald polynomials, which reduce to a scalar multiple of $\tilde{H}_μ(X;q,t)$ when $n=1$. We conjecture that the coefficients of $1,n$-Macdonald polynomials in terms of Schur functions belong to $\mathbb{N}[q,t]$, generalizing Macdonald positivity.

In this paper, we study large time large deviations for the height function $\mathfrak{h}(x,t)$ of the $q$-deformed polynuclear growth introduced in ABW22 [arXiv:2108.06018]. We show that the upper-tail deviations have speed $t$ and derive an explicit formula for the rate function $Φ_+(μ)$. On the other hand, we show that the lower-tail deviations have speed $t^2$ and express the corresponding rate function $Φ_-(μ)$ in terms of a variational problem. Our analysis relies on distributional identities between the height function $\mathfrak{h}$ and two important measures on the set of integer partitions: the Poissonized Plancherel measure and the cylindric Plancherel measure. Following a scheme developed in DT21 [arXiv:1910.09271], we analyze a Fredholm determinant representation for the $q$-Laplace transform of $\mathfrak{h}(x,t)$, from which we extract exact Lyapunov exponents and through inversion the upper-tail rate function $Φ_+$. The proof of the lower-tail large deviation principle is more subtle and requires several novel ideas which combine classical asymptotic results for the Plancherel measure and log-concavity properties of Schur polynomials. Techniques we develop to characterize the lower-tail are rather flexible and have the potential to generalize to other solvable growth models.