arXiv++ Combinatorics

We prove two extensions of Hansson and Hultman's word property for certain analogues of reduced words associated to twisted involutions in Coxeter groups. Our first extension concerns the superset of such words in which terms with a natural commutativity property may be optionally primed. Our other extension involves variants of these words in which a defining minimal length condition is relaxed. In type A the sets considered are closely related to generating functions for Schur Q-functions and K-theoretic Schur P-functions.

We introduce and study a one parameter deformation of the polynuclear growth (PNG) in $(1+1)$-dimensions, which we call the $t$-PNG model. It is defined by requiring that, when two expanding islands merge, with probability $t$ they sprout another island on top of the merging location. At $t=0$, this becomes the standard (non-deformed) PNG model that, in the droplet geometry, can be reformulated through longest increasing subsequences of uniformly random permutations or through an algorithm known as patience sorting. In terms of the latter, the $t$-PNG model allows errors to occur in the sorting algorithm with probability $t$. We prove that the $t$-PNG model exhibits one-point Tracy-Widom GUE asymptotics at large times for any fixed $t\in [0,1)$, and one-point convergence to the narrow wedge solution of the Kardar-Parisi-Zhang (KPZ) equation as $t$ tends to $1$. We further construct distributions for an external source that are likely to induce Baik-Ben Arous-Peche type phase transitions. The proofs are based on solvable stochastic vertex models and their connection to the determinantal point processes arising from Schur measures on partitions.

Plethysm is a fundamental operation in symmetric function theory, derived directly from its connection with representation theory. However, it does not admit a simple combinatorial interpretation, and finding coefficients of Schur function plethysms is a major open question. In this paper, we introduce a graph-theoretic interpretation for any plethysm based on the chromatic symmetric function. We use this interpretation to give simple proofs of new and previously known plethystic identities, as well as chromatic symmetric function identities.

While equality of skew Schur functions is well understood, the problem of determining when two skew Schur $Q$ functions are equal is still largely open. It has been studied in the case of ribbon shapes in 2008 by Barekat and van Willigenburg, and this paper approaches the problem for near-ribbon shapes, formed by adding one box to a ribbon skew shape. We particularly consider frayed ribbons, that is, the near-ribbons whose shifted skew shape is not an ordinary skew shape. We conjecture, with evidence, that all Schur $Q$ functions of frayed ribbon shape are distinct up to antipodal reflection. We prove this conjecture for several infinite families of frayed ribbons, using a new approach via the "lattice walks" version of the shifted Littlewood-Richardson rule discovered in 2018 by Gillespie, Levinson, and Purbhoo.

In this paper are introduced two classes of elements in the enveloping algebra $\mathbf{U}(gl(n))$: the \emph{double Young-Capelli bitableaux} $[\ \fbox{$S \ | \ T$}\ ]$ and the \emph{central} \emph{Schur elements} $\mathbf{S}_λ(n)$, that act in a remarkable way on the highest weight vectors of irreducible Schur modules. Any element $\mathbf{S}_λ(n)$ is the sum of all double Young-Capelli bitableaux $[\ \fbox{$S \ | \ S$}\ ]$, $S$ row (strictly) increasing Young tableaux of shape $\widetildeλ$. The Schur elements $\mathbf{S}_λ(n)$ are proved to be the preimages - with respect to the Harish-Chandra isomorphism - of the \emph{shifted Schur polynomials} $s_{λ|n}^* \in Λ^*(n)$. Hence, the Schur elements are the same as the Okounkov \textit{quantum immanants}, recently described by the present authors as linear combinations of \emph{Capelli immanants}. This new presentation of Schur elements/quantum immanants doesn't involve the irreducible characters of symmetric groups. The Capelli elements $\mathbf{H}_k(n)$ are column Schur elements and the Nazarov-Umeda elements $\mathbf{I}_k(n)$ are row Schur elements. The duality in $\boldsymbolζ(n)$ follows from a combinatorial description of the eigenvalues of the $\mathbf{H}_k(n)$ on irreducible modules that is {\it{dual}} (in the sense of shapes/partitions) to the combinatorial description of the eigenvalues of the $\mathbf{I}_k(n)$. The passage $n \rightarrow \infty$ for the algebras $\boldsymbolζ(n)$ is obtained both as direct and inverse limit in the category of filtered algebras, via the \emph{Olshanski decomposition/projection}.

We make progress on a question of Skandera by showing that a product of Kazhdan-Lusztig basis elements indexed by maximal elements of parabolic subgroups admits a Kazhdan-Lusztig basis element as a quotient arising from operations in the Schur algebroid if and only if the sequence of parabolic subgroups satisfy both a rigidity condition and a combinatorial criterion. For Weyl groups, the rigidity condition specializes to a necessary condition for smallness of Gelfand-MacPherson resolutions. For Schubert varieties indexed by 4231-avoiding permutations, we derive a stronger necessary condition that, up to an appropriate equivalence, is satisfied by at most one Gelfand-MacPherson resolution, and exactly one if and only if 45312 is also avoided. Moreover, we apply the combinatorial criterion to prove the (essentially unique) resolution is small when 34512 and 45123 are likewise avoided. We develop the combinatorial criterion as part of a generalization of Deodhar's combinatorial setting for questions in Kazhdan-Lusztig theory, which in the case of Weyl groups we show captures the Byałynicki-Birula decompositions of Gelfand-MacPherson resolutions. In particular, we obtain new combinatorial interpretations of Kazhdan-Lusztig polynomials, new algorithms for computing them, and in the case of Weyl groups, an equivalence of the existence of small Gelfand-MacPherson resolutions with that of certain factorizations and generating-function interpretations of the Poincaré polynomial of intersection cohomology of the Schubert variety.

We define, for each subset $S$ of the set $\mathcal{P}$ of primes, an $S_n$-module $Lie_n^S$ with interesting properties. $Lie_n^\emptyset$ is the well-known representation $Lie_n$ of $S_n$ afforded by the free Lie algebra, while $Lie_n^\mathcal{P}$ is the module $C\!onj_n$ of the conjugacy action of $S_n$ on $n$-cycles. For arbitrary $S$ the module $Lie_n^{S}$ interpolates between the representations $Lie_n$ and $C\!onj_n.$ We consider the symmetric and exterior powers of $Lie_n^S.$ These are the analogues of the higher Lie modules of Thrall. We show that the Frobenius characteristic of these higher $Lie_n^S$ modules can be elegantly expressed as a multiplicity-free sum of power sums. In particular this establishes the Schur positivity of new classes of sums of power sums. More generally, for each nonempty subset $T$ of positive integers we define a sequence of symmetric functions $f_n^T$ of homogeneous degree $n.$ We show that the series $\sum_{λ, λ_i\in T} p_λ$ can be expressed as symmetrised powers of the functions $f_n^T$, analogous to the higher Lie modules first defined by Thrall. This in turn allows us to unify previous results on the Schur positivity of multiplicity-free sums of power sums, as well as investigate new ones. We also uncover some curious plethystic relationships between $f_n^T$, the conjugacy action and the Lie representation.

In this simple paper, we exhibit a Schur partition giving rise to a triangle-free linear colouring of $K_{1697}$ in 7 colours. Thus we show that the Schur number $S(7) \ge 1696$ and the multicolour Ramsey number $R_{7}(3) \ge 1698$. We also demonstrate a specific partition of the closed integer interval $[1, 376]$ which, through repeated use of a specific construction, allows us to conclude that $S(k+5) \ge 376.S(k)+160$ for any positive integer $k$. The existence of this partition, with its specific properties, implies that $\lim_{\substack{r \rightarrow \infty}} R{_r}(3)^{1/r} > 3.273$.

The fusion ring for $\widehat{\mathfrak{su}}(n)_m$ Wess-Zumino-Witten conformal field theories is known to be isomorphic to a factor ring of the ring of symmetric polynomials presented by Schur polynomials. We introduce a deformation of this factor ring associated with eigenpolynomials for the elliptic Ruijsenaars difference operators. The corresponding Littlewood-Richardson coefficients are governed by a Pieri rule stemming from the eigenvalue equation. The orthogonality of the eigenbasis gives rise to an analog of the Verlinde formula. In the trigonometric limit, our construction recovers the refined $\widehat{\mathfrak{su}}(n)_m$ Wess-Zumino-Witten fusion ring associated with the Macdonald polynomials.

We establish the conjecture of Reiner and Yong for an explicit combinatorial formula for the expansion of a Grothendieck polynomial into the basis of Lascoux polynomials. This expansion is a subtle refinement of its symmetric function version due to Buch, Kresch, Shimozono, Tamvakis, and Yong, which gives the expansion of stable Grothendieck polynomials indexed by permutations into Grassmannian stable Grothendieck polynomials. Our expansion is the K-theoretic analogue of that of a Schubert polynomial into Demazure characters, whose symmetric analogue is the expansion of a Stanley symmetric function into Schur functions. Our expansions extend to flagged Grothendieck polynomials.

Consider a lattice of n sites arranged around a ring, with the $n$ sites occupied by particles of weights $\{1,2,\dots,n\}$; the possible arrangements of particles in sites thus corresponds to the $n!$ permutations in $S_n$. The inhomogeneous totally asymmetric simple exclusion process (or TASEP) is a Markov chain on the set of permutations, in which two adjacent particles of weights $i<j$ swap places at rate $x_i - y_{n+1-j}$ if the particle of weight $j$ is to the right of the particle of weight $i$. (Otherwise nothing happens.) In the case that $y_i=0$ for all $i$, the stationary distribution was conjecturally linked to Schubert polynomials by Lam-Williams, and explicit formulas for steady state probabilities were subsequently given in terms of multiline queues by Ayyer-Linusson and Arita-Mallick. In the case of general $y_i$, Cantini showed that $n$ of the $n!$ states have probabilities proportional to products of double Schubert polynomials. In this paper we introduce the class of evil-avoiding permutations, which are the permutations avoiding the patterns $2413, 4132, 4213$ and $3214$. We show that there are $\frac{(2+\sqrt{2})^{n-1}+(2-\sqrt{2})^{n-1}}{2}$ evil-avoiding permutations in $S_n$, and for each evil-avoiding permutation $w$, we give an explicit formula for the steady state probability $ψ_w$ as a product of double Schubert polynomials. We also show that the Schubert polynomials that arise in these formulas are flagged Schur functions, and give a bijection in this case between multiline queues and semistandard Young tableaux.

There is the same number of $n \times n$ alternating sign matrices (ASMs) as there is of descending plane partitions (DPPs) with parts no greater than $n$, but finding an explicit bijection is an open problem for about $40$ years now. So far, quadruples of statistics on ASMs and on DPPs that have the same joint distribution have been identified. We introduce extensions of ASMs and of DPPs along with $n+3$ statistics on each extension, and show that the two families of statistics have the same joint distribution. The ASM-DPP equinumerosity is obtained as an easy consequence by considering the $(-1)$-enumerations of these extended objects with respect to one pair of the $n+3$ pairs of statistics. One may speculate that the fact that these extensions might be necessary to have this significance increase in the number of statistics, as well as the involvement of signs when specializing to ASMs and DPPs may hint at the obstacles in finding an explicit bijection between ASMs and DPPs. One important tool for our proof is a multivariate generalization of the operator formula for the number of monotone triangles with prescribed bottom row that generalizes Schur functions.

The Cauchy identities play an important role in the theory of symmetric functions. It is known that Cauchy sums for the $q$-Whittaker and the skew Schur polynomials produce the same factorized expressions modulo a $q$-Pochhammer symbol. We consider the sums with restrictions on the length of the first rows for labels of both polynomials and prove an identity which relates them. The proof is based on techniques from integrable probability: we rewrite the identity in terms of two probability measures: the $q$-Whittaker measure and the periodic Schur measure. The relation follows by comparing their Fredholm determinant formulas.

Iterating the skew RSK correspondence discovered by Sagan and Stanley in the late '80s, we define a deterministic dynamics on the space of pairs of skew Young tableaux $(P,Q)$. We find that this skew RSK dynamics displays conservation laws which, in the picture of Viennot's shadow line construction, identify generalizations of Greene invariants. The introduction of a novel realization of $0$-th Kashiwara operators reveals that the skew RSK dynamics possesses symmetries induced by an affine bicrystal structure, which, combined with connectedness properties of Demazure crystals, leads to its linearization. Studying asymptotic evolution of the dynamics started from a pair of skew tableaux $(P,Q)$, we discover a new bijection $Υ: (P,Q) \mapsto (V,W; κ, ν)$. Here $(V,W)$ is a pair of vertically strict tableaux, i.e., column strict filling of Young diagrams with no condition on rows, with shape prescribed by the Greene invariant, $κ$ is an array of non-negative weights and $ν$ is a partition. An application of this construction is the first bijective proof of Cauchy and Littlewood identities involving $q$-Whittaker polynomials. New identities relating sums of $q$-Whittaker and Schur polynomials are also presented.

A system of linear equations $L$ over $\mathbb{F}_q$ is common if the number of monochromatic solutions to $L$ in any two-colouring of $\mathbb{F}_q^n$ is asymptotically at least the expected number of monochromatic solutions in a random two-colouring of $\mathbb{F}_q^n$. Motivated by existing results for specific systems (such as Schur triples and arithmetic progressions), as well as extensive research on common and Sidorenko graphs, the systematic study of common systems of linear equations was recently initiated by Saad and Wolf. Building upon earlier work of Cameron, Cilleruelo and Serra, as well as Saad and Wolf, common linear equations have recently been fully characterised by Fox, Pham and Zhao, who asked about common \emph{systems} of equations. In this paper we move towards a classification of common systems of two or more linear equations. In particular we prove that any system containing an arithmetic progression of length four is uncommon, confirming a conjecture of Saad and Wolf. This follows from a more general result which allows us to deduce the uncommonness of a general system from certain properties of one- or two-equation subsystems.

The purpose of this paper is to provide a unified method for dealing with various 0-Hecke modules constructed using tableaux so far. To do this, we assign a $0$-Hecke module to each left weak Bruhat interval, called a weak Bruhat interval module. We prove that every indecomposable summand of the $0$-Hecke modules categorifying dual immaculate quasisymmetric functions, extended Schur functions, quasisymmetric Schur functions, and Young row-strict quasisymmetric Schur functions is a weak Bruhat interval module. We further study embedding into the regular representation, induction product, restriction, and (anti-)involution twists of weak Bruhat interval modules.

Mason and Remmel introduced a basis for quasisymmetric functions known as the row-strict quasisymmetric Schur functions. This basis is generated combinatorially by fillings of composition diagrams that are analogous to the row-strict tableaux that generate Schur functions. We introduce a modification known as Young row-strict quasisymmetric Schur functions, which are generated by row-strict Young composition fillings. After discussing basic combinatorial properties of these functions, we define a skew Young row-strict quasisymmetric Schur function using the Hopf algebra of quasisymmetric functions and then prove this is equivalent to a combinatorial description. We also provide a decomposition of the skew Young row-strict quasisymmetric Schur functions into a sum of Gessel's fundamental quasisymmetric functions and prove a multiplication rule for the product of a Young row-strict quasisymmetric Schur function and a Schur function.

We study the Pieri type formulas for the Schur multiple zeta functions along with those for the Schur polynomials. To formulate these formulas, we introduce a new insertion rule for adding boxes in the Young tableaux and obtain the results for the hook type Schur multiple zeta functions. For the proof, we show {certain} extended Jacobi-Trudi formulas for the Schur multiple zeta functions.

In 2004 Rosas and Sagan asked whether there was a way to define a basis in the algebra of symmetric functions in noncommuting variables, NCSym, having properties analogous to the classical Schur functions. This was because they had constructed a partial such set that was not a basis. We answer their question by defining Schur functions in noncommuting variables using a noncommutative analogue of the Jacobi-Trudi determinant. Our Schur functions in NCSym map to classical Schur functions under commutation, and a subset of them indexed by set partitions forms a basis for NCSym. Amongst other properties, Schur functions in NCSym also satisfy a noncommutative analogue of the product rule for classical Schur functions in terms of skew Schur functions. We also show how Schur functions in NCSym are related to Specht modules, and naturally refine the Rosas-Sagan Schur functions. Moreover, by generalizing Rosas-Sagan Schur functions to skew Schur functions in the natural way, we prove noncommutative analogues of the Littlewood-Richardson rule and coproduct rule for them. Finally, we relate our functions to noncommutative symmetric functions by proving a subset of our functions are natural extensions of noncommutative ribbon Schur functions, and immaculate functions indexed by integer partitions.

Schur polynomials are special cases of Schubert polynomials, which in turn are special cases of dual characters of flagged Weyl modules. The principal specialization of Schur and Schubert polynomials has a long history, with Macdonald famously expressing the principal specialization of any Schubert polynomial in terms of reduced words. We study the principal specialization of dual characters of flagged Weyl~modules. Our result yields an alternative proof of a conjecture of Stanley about the principal specialization of Schubert polynomials, originally proved by Weigandt.