arXiv++ Combinatorics

Bisymmetric Macdonald polynomials can be obtained through a process of antisymmetrization and $t$-symmetrization of non-symmetric Macdonald polynomials. Using the double affine Hecke algebra, we show that the evaluation of the bisymmetric Macdonald polynomials satisfies a symmetry property generalizing that satisfied by the usual Macdonald polynomials. We then obtain Pieri rules for the bisymmetric Macdonald polynomials where the sums are over certain vertical strips.

A Pfaffian-type Murnaghan-Nakayama rule is derived for the Hecke-Clifford algebra $\mathcal{H}^c_n$ based on the Frobenius formula and vertex operators, and this leads to a combinatorial version via the tableaux realization of Schur's $Q$-functions. As a consequence, a general formula for the irreducible characters $ζ^{\la}_μ(q)$ using partition-valued functions is derived. Meanwhile, an iterative formula on the indexing partition $\la$ via the Pieri rule is also deduced. As applications, some compact formulae of the irreducible characters are given for special partitions and a symmetric property of the irreducible character is found. We also introduce the spin bitrace as the analogue of the bitrace for the Hecke algebra and derive its general combinatorial formula. Tables of irreducible characters are listed for $n\leq7.$

In this paper we give Pieri rules for skew dual immaculate functions and their recently discovered row-strict counterparts. We establish our rules using a right-action analogue of the skew Littlewood-Richardson rule for Hopf algebras of Lam-Lauve-Sottile. We also obtain Pieri rules for row-strict (dual) immaculate functions.

The $K$-$k$-Schur functions and $k$-Schur functions appeared in the study of $K$-theoretic and affine Schubert Calculus as polynomial representatives of Schubert classes. In this paper, we introduce a new family of symmetric functions $\mathcal{F}_λ^{(k)}$, that generalizes the constructions via the Pieri rule of $K$-$k$-Schur functions and $ k$-Schur functions. Then we obtain the Murnaghan-Nakayama rule for the generalized functions. The rule is described explicitly in the cases of $K$-$k$-Schur functions and $k$-Schur functions, with concrete descriptions and algorithms for coefficients. Our work recovers the result of Bandlow, Schilling, and Zabrocki for $k$-Schur functions, and explains it as a degeneration of the rule for $K$-$k$-Schur functions. In particular, many other special cases and connections promise to be detailed in the future.

We provide a direct proof of Seidel representation in the quantum K-theory QK(Gr(k, n)) by studying projected Gromov-Witten varieties concretely. As applications, we give an alternative proof of the K-theoretic quantum Pieri rule by Buch and Mihalcea, reduce certain quantum Schubert structure constants of higher degree to classical Littlewood-Richardson coefficients for K(Gr(k, n)), and provide a quantum Littlewood-Richardson rule for QK(Gr(3, n)).

Let $R$ be a commutative ring and $n\geq1$ and $p\geq0$ two integers. Let $h_{k,\ i}$ be an element of $R$ for all $k\in\mathbb Z$ and $i\in [n]$. For any $α\in\mathbb Z^n$, we define \[ t_α:=\det\begin{pmatrix} h_{α_1+1,\ 1} & h_{α_1+2,\ 1} & \cdots & h_{α_1+n,\ 1}\\ h_{α_2+1,\ 2} & h_{α_2+2,\ 2} & \cdots & h_{α_2+n,\ 2}\\ \vdots & \vdots & \ddots & \vdots\\ h_{α_n+1,\ n} & h_{α_n+2,\ n} & \cdots & h_{α_n+n,\ n} \end{pmatrix} \in R \] (where $α_i$ denotes the $i$-th entry of $α$). Then, we have the identity \[ \sum_{\substack{β\in\{0,1,2,\ldots\}^n ;\\ \left|β\right|=p}}t_{α+β} =\det \begin{pmatrix} h_{α_1+1,\ 1} & h_{α_1+2,\ 1} & \cdots & h_{α_1+(n-1),\ 1} & h_{α_1+(n+p),\ 1}\\ h_{α_2+1,\ 2} & h_{α_2+2,\ 2} & \cdots & h_{α_2+(n-1),\ 2} & h_{α_2+(n+p),\ 2}\\ \vdots & \vdots & \ddots & \vdots & \vdots\\ h_{α_n+1,\ n} & h_{α_n+2,\ n} & \cdots & h_{α_n+(n-1),\ n} & h_{α_n+(n+p),\ n} \end{pmatrix} \] (where $α+β$ denotes the entrywise sum of the tuples $α$ and $β$). Furthermore, if $p\leq n$, then \[ \sum_{\substack{β\in\left\{ 0,1\right\} ^n ;\\\left| β\right| =p}}t_{α+β}=\det \begin{pmatrix} h_{α_1+ξ_1 ,\ 1} & h_{α_1+ξ_2 ,\ 1} & \cdots & h_{α_1+ξ_n ,\ 1}\\ h_{α_2+ξ_1 ,\ 2} & h_{α_2+ξ_2 ,\ 2} & \cdots & h_{α_2+ξ_n ,\ 2}\\ \vdots & \vdots & \ddots & \vdots\\ h_{α_n+ξ_1 ,\ n} & h_{α_n+ξ_2 ,\ n} & \cdots & h_{α_n+ξ_n ,\ n} \end{pmatrix} , \] where $ξ=(1,2,\ldots,n-p,n-p+2,n-p+3,\ldots,n+1)$. We prove these two identities (in a slightly more general setting, where $R$ is not assumed commutative) and use them to derive some variants of the Pieri rule found in the literature.

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 show that the $\imath$Hall algebra of the Jordan quiver is a polynomial ring in infinitely many generators and obtain transition relations among several generating sets. We establish a ring isomorphism from this $\imath$Hall algebra to the ring of symmetric functions in two parameters $t, θ$, which maps the $\imath$Hall basis to a class of (modified) inhomogeneous Hall-Littlewood ($\imath$HL) functions. The (modified) $\imath$HL functions admit a formulation via raising and lowering operators. We formulate and prove Pieri rules for (modified) $\imath$HL functions. The modified $\imath$HL functions specialize at $θ=0$ to the modified HL functions; they specialize at $θ=1$ to the deformed universal characters of type C, which further specialize at $(t=0, θ=1)$ to the universal characters of type C.

The groups mentioned in the title are certain matrix groups of infinite size over a finite field $\mathbb F_q$. They are built from finite classical groups and at the same time they are similar to reductive $p$-adic Lie groups. In the present paper, we initiate the study of invariant measures for the coadjoint action of these infinite-dimensional groups. We examine first the group $\mathbb{GLB}$, a topological completion of the inductive limit group $\varinjlim GL(n, \mathbb F_q)$. As was shown by Gorin, Kerov, and Vershik [arXiv:1209.4945], the traceable factor representations of $\mathbb{GLB}$ admit a complete classification, achieved in terms of harmonic functions on the Young graph $\mathbb Y$. We show that there exists a parallel theory for ergodic coadjoint-invariant measures, which is linked with a deformed version of harmonic functions on $\mathbb Y$. Here the deformation means that the edges of $\mathbb Y$ are endowed with certain formal multiplicities coming from the simplest version of Pieri rule (multiplication by the first power sum $p_1$) for the Hall-Littlewood (HL) symmetric functions with parameter $t:=q^{-1}$. This fact serves as a prelude to our main results, which concern topological completions of two inductive limit groups built from finite unitary groups. We show that in this case, coadjoint-invariant measures are linked to some new branching graphs. The latter are still related to the HL functions, but the novelty is that now the formal edge multiplicities come from the multiplication by $p_2$ (not $p_1$) and the HL parameter $t$ turns out to be negative (as in Ennola's duality).

The quantum cohomology ring of the Grassmannian is determined by the quantum Pieri rule for multiplying by Schubert classes indexed by row or column-shaped partitions. We provide a direct equivariant generalization of Postnikov's quantum Pieri rule for the Grassmannian in terms of cylindric shapes, complementing related work of Gorbounov and Korff in quantum integrable systems. The equivariant terms in our Graham-positive rule simply encode the positions of all possible addable boxes within one cylindric skew diagram. As such, unlike the earlier equivariant quantum Pieri rule of Huang and Li and known equivariant quantum Littlewood-Richardson rules, our formula does not require any calculations in a different Grassmannian or two-step flag variety.

Consider the ring $\mathcal{S}$ of symmetric polynomials in $k$ variables over an arbitrary base ring $\mathbf{k}$. Fix $k$ scalars $a_{1},a_{2},\ldots,a_{k}\in\mathbf{k}$. Let $I$ be the ideal of $\mathcal{S}$ generated by $h_{n-k+1}-a_{1},h_{n-k+2}-a_{2},\ldots,h_{n}-a_{k}$, where $h_{i}$ is the $i$-th complete homogeneous symmetric polynomial. The quotient ring $\mathcal{S}/I$ generalizes both the usual and the quantum cohomology of the Grassmannian. We show that $\mathcal{S}/I$ has a $\mathbf{k}$-module basis consisting of (residue classes of) Schur polynomials fitting into an $\left( n-k\right) \times k$-rectangle; and that its multiplicative structure constants satisfy the same $S_3$-symmetry as those of the Grassmannian cohomology. We prove a Pieri rule and a "rim hook algorithm", and conjecture a positivity property generalizing that of Gromov-Witten invariants. We construct two further bases of $\mathcal{S}/I$ as well. We also study the quotient of the whole polynomial ring (not just the symmetric polynomials) by the ideal generated by the same $k$ polynomials as $I$.

We propose a new formulation of Hall polynomials in terms of honeycombs, which were previously introduced in the context of the Littlewood--Richardson rule. We prove a Pieri rule and associativity for our honeycomb formula, thus showing equality with Hall polynomials. Our proofs are linear algebraic in nature, extending nontrivially the corresponding bijective results for ordinary Littlewood--Richardson coefficients [A. Knutson, T. Tao, C. Woodward, 2004].

The Pieri rule is a nonnegative, multiplicity-free formula for the Schur function expansion of the product of an arbitrary Schur function with a single row Schur function. Key polynomials are characters of Demazure modules for the general linear group that generalize the Schur function basis of symmetric functions to a basis of the full polynomial ring. We prove a nonsymmetric generalization of the Pieri rule by giving a cancellation-free, multiplicity-free formula for the key polynomial expansion of the product of an arbitrary key polynomial with a single part key polynomial. Our proof is combinatorial, generalizing the Robinson--Schensted--Knuth insertion algorithm on tableaux to an insertion algorithm on Kohnert diagrams.

By establishing relations between operators on compositions, we show that the posets of compositions arising from the right and left Pieri rules for noncommutative Schur functions can each be endowed with both the structure of dual graded graphs and dual filtered graphs when paired with the poset of compositions arising from the Pieri rules for quasisymmetric Schur functions and its deformation.

We give an explicit combinatorial formula for some irreducible components of $GL_k\times \mathbb{S}_n$-modules of multivariate diagonal harmonics. To this end we introduce a new path combinatorial object $T_{n,s}$ allowing us to give the formula directly in terms of Schur functions. This paper also contains formulas written in terms of Schur functions in the $q$ and $t$ variables for special cases of $\nabla(e_n)$, $\nabla^r(e_n)$ and $Δ'_{e_k}(e_n)$. We also give an interpretation in term of path to the adjoint dual Pieri rule applied on these $GL_k\times \mathbb{S}_n$-characters.

We prove that twisted versions of Schubert polynomials defined by $\widetilde{\mathfrak S}_{w_0} = x_1^{n-1}x_2^{n-2} \cdots x_{n-1}$ and $\widetilde{\mathfrak S}_{ws_i} = (s_i+\partial_i)\widetilde{\mathfrak S}_w$ are monomial positive and give a combinatorial formula for their coefficients. In doing so, we reprove and extend a previous result about positivity of skew divided difference operators and show how it implies the Pieri rule for Schubert polynomials. We also give positive formulas for double versions of the $\widetilde{\mathfrak S}_w$ as well as their localizations.

The equivariant Kazhdan-Lusztig polynomial of a matroid was introduced by Gedeon, Proudfoot, and Young. Gedeon conjectured an explicit formula for the equivariant Kazhdan-Lusztig polynomials of thagomizer matroids with an action of symmetric groups. In this paper, we discover a new formula for these polynomials which is related to the equivariant Kazhdan-Lusztig polynomials of uniform matroids. Based on our new formula, we confirm Gedeon's conjecture by the Pieri rule.

We review some algebraic and combinatorial structures that underlie models in the KPZ universality class.Emphasis is placed on the Robinson-Schensted-Knuth correspondence and its geometric lifting due to A.N.Kirillov. We present how these combinatorial constructions are used to analyse the structure of solvable models in the KPZ class and lead to computation of their statistics via connecting to representation theoretic objects such as Schur, Macdonald and Whittaker functions, Young tableaux and Gelfand-Tsetlin patterns. We also present how fundamental representation theoretic concepts, such as the Cauchy identity, the Pieri rule and the branching rule, can be used, alongside RSK correspondences, and can be combined with probabilistic ideas, in order to construct integrable stochastic dynamics on two dimensional arrays of Gelfand-Tsetlin type, in ways that couple different one dimensional stochastic processes. For example, interacting particle systems, on the one hand, and processes related to eigenvalues of random matrices, on the other, thus illuminating the emergence of random matrix distributions in interacting stochastic processes. The goal of the notes is to expose some of the overarching principles, which have driven a significant number of developments in the field.

We use geometry to give a short proof of an equivariant Pieri rule in the classical flag manifold. This rule is due to Robinson, who gave an algebraic proof.

The classical Pieri formula gives a combinatorial rule for decomposing the product of a Schur function and a complete homogeneous symmetric polynomial as a linear combination of Schur functions with integer coefficients. We give a Pieri rule for describing the product of an orthosymplectic character and an orthosymplectic character arising from a one-row partition. We establish that the orthosymplectic Pieri rule coincides with Sundaram's Pieri rule for symplectic characters and that orthosymplectic characters and symplectic characters obey the same product rule.