arXiv++ Combinatorics

Gorsky and Negut introduced operators $Q_{m,n}$ on symmetric functions and conjectured that, in the case where $m$ and $n$ are relatively prime, the expression ${Q}_{m,n}(1)$ is given by the Hikita polynomial ${H}_{m,n}[X;q,t]$. Later, Bergeron-Garsia-Leven-Xin extended and refined the conjectures of ${Q}_{m,n}(1)$ for arbitrary $m$ and $n$ which we call the Extended Rational Shuffle Conjecture. In the special case ${Q}_{n+1,n}(1)$, the Rational Shuffle Conjecture becomes the Shuffle Conjecture of Haglund-Haiman-Loehr-Remmel-Ulyanov, which was proved in 2015 by Carlsson and Mellit as the Shuffle Theorem. The Extended Rational Shuffle Conjecture was later proved by Mellit as the Extended Rational Shuffle Theorem. The main goal of this paper is to study the combinatorics of the coefficients that arise in the Schur function expansion of ${Q}_{m,n}(1)$ in certain special cases. Leven gave a combinatorial proof of the Schur function expansion of ${Q}_{2,2n+1}(1)$ and ${Q}_{2n+1,2}(1)$. In this paper, we explore several symmetries in the combinatorics of the coefficients that arise in the Schur function expansion of ${Q}_{m,n}(1)$. Especially, we study the hook-shaped Schur function coefficients, and the Schur function expansion of ${Q}_{m,n}(1)$ in the case where $m$ or $n$ equals $3$.

Our results revolve around a new operation on partitions, which we call overlap. We prove two overlap identities for so-called Littlewood-Schur functions. Littlewood-Schur functions are a generalization of Schur functions, whose study was introduced by Littlewood. More concretely, the Littlewood-Schur function $LS_λ(X; Y)$ indexed by the partition $λ$ is a polynomial in the variables $X \cup Y$ that is symmetric in both $X$ and $Y$ separately. The first overlap identity represents $LS _λ(X; Y)$ as a sum over subsets of $X$, while the second overlap identity essentially represents $LS_λ(X; Y)$ as a sum over pairs of partitions whose overlap equals $λ$. Both identities are derived by applying Laplace expansion to a determinantal formula for Littlewood-Schur functions due to Moens and Van der Jeugt. In addition, we give two visual characterizations for the set of all pairs of partitions whose overlap is equal to a partition $λ$.

We prove that multiparameter Schur $Q$-functions, which include as specializations factorial Schur $Q$-functions and classical Schur $Q$-functions, provide solutions of the BKP hierarchy

We introduce new families of cylindric symmetric functions as subcoalgebras in the ring of symmetric functions $Λ$ (viewed as a Hopf algebra) which have non-negative structure constants. Combinatorially these cylindric symmetric functions are defined as weighted sums over cylindric reverse plane partitions or - alternatively - in terms of sets of affine permutations. We relate their combinatorial definition to an algebraic construction in terms of the principal Heisenberg subalgebra of the affine Lie algebra $\mathfrak{\widehat{sl}}_n$ and a specialised cyclotomic Hecke algebra. Using Schur-Weyl duality we show that the new cylindric symmetric functions arise as matrix elements of Lie algebra elements in the subspace of symmetric tensors of a particular level-0 module which can be identified with the small quantum cohomology ring of the $k$-fold product of projective space. The analogous construction in the subspace of alternating tensors gives the known set of cylindric Schur functions which are related to the small quantum cohomology ring of Grassmannians. We prove that cylindric Schur functions form a subcoalgebra in $Λ$ whose structure constants are the 3-point genus 0 Gromov-Witten invariants. We show that the new families of cylindric functions obtained from the subspace of symmetric tensors also share the structure constants of a symmetric Frobenius algebra, which we define in terms of tensor multiplicities of the generalised symmetric group $G(n,1,k)$.

We show that, for a certain class of partitions and an even number of variables of which half are reciprocals of the other half, Schur polynomials can be factorized into products of odd and even orthogonal characters. We also obtain related factorizations involving sums of two Schur polynomials, and certain odd-sized sets of variables. Our results generalize the factorization identities proved by Ciucu and Krattenthaler (Advances in combinatorial mathematics, 39-59, 2009) for partitions of rectangular shape. We observe that if, in some of the results, the partitions are taken to have rectangular or double-staircase shapes and all of the variables are set to 1, then factorization identities for numbers of certain plane partitions, alternating sign matrices and related combinatorial objects are obtained.

We prove that graded $k$-Schur functions are $G$-equivariant Euler characteristics of vector bundles on the flag variety, settling a conjecture of Chen-Haiman. We expose a new miraculous shift invariance property of the graded $k$-Schur functions and resolve the Schur positivity and $k$-branching conjectures in the strongest possible terms by providing direct combinatorial formulas using strong marked tableaux.

We study cyclic sieving phenomena (CSP) on combinatorial objects from an abstract point of view by considering a rational polyhedral cone determined by the linear equations that define such phenomena. Each lattice point in the cone corresponds to a non-negative integer matrix which jointly records the statistic and cyclic order distribution associated with the set of objects realizing the CSP. In particular we consider a universal subcone onto which every CSP matrix linearly projects such that the projection realizes a CSP with the same cyclic orbit structure, but via a universal statistic that has even distribution on the orbits. Reiner et.al. showed that every cyclic action give rise to a unique polynomial (mod $q^n-1$) complementing the action to a CSP. We give a necessary and sufficient criterion for the converse to hold. This characterization allows one to determine if a combinatorial set with a statistic give rise (in principle) to a CSP without having a combinatorial realization of the cyclic action. We apply the criterion to conjecture a new CSP involving stretched Schur polynomials and prove our conjecture for certain rectangular tableaux. Finally we study some geometric properties of the CSP cone. We explicitly determine its half-space description and in the prime order case we determine its extreme rays.

We discuss connection between the XXZ Heisenberg spin chain in the limiting case of zero anisotropy and some aspects of enumerative combinatorics. The representation of the Bethe wave functions via the Schur functions allows to apply the theory of symmetric functions to calculation of the correlation functions. We provide a combinatorial derivation of the dynamical correlation functions of the projection operator in terms of nests of self-avoiding lattice paths.

Egge, Loehr, and Warrington proved a formula for the Schur function expansion of a symmetric function in terms of its expansion in fundamental quasi-symmetric functions. Their formula involves the coefficients of a modified inverse Kostka matrix. Recently Garsia and Remmel gave a simpler reformulation of Egge, Loehr, and Warrington's result, with a new proof. We give here a simple proof of Garsia and Remmel's version, using a sign-reversing involution.

We define operators on semistandard shifted tableaux and use Stembridge's local characterization for regular graphs to prove they define a crystal structure. This gives a new proof that Schur $P$-polynomials are Schur positive. We define queer crystal operators (also called odd Kashiwara operators) to construct a connected queer crystal on semistandard shifted tableaux of a given shape. Using the tensor rule for queer crystals, this provides a new proof that products of Schur $P$-polynomials are Schur $P$-positive. Finally, to facilitate applications of queer crystals in the context of Schur $P$-positivity, we give local axioms for queer regular graphs, generalizing Stembridge's axioms, that partially characterize queer crystals.

Egge, Loehr and Warrington gave in \cite{ELW} a combinatorial formula that permits to convert the expansion of a symmetric function, homogeneous of degree $n$, in terms of Gessel's fundamental quasisymmetric functions into an expansion in terms of Schur functions. Surprisingly the Egge, Loehr and Warrington result may be shown to be simply equivalent to replacing the Gessel fundamental by a Schur function indexed by the same composition. In this paper we give a direct proof of the validity of this replacement. This interpretation of the result in \cite{ELW} has already been successfully applied to Schur positivity problems.

We define crystal operators on semistandard shifted tableaux, giving a new proof that Schur $P$-functions are Schur positive. We define a queer crystal operator to construct a connected queer crystal on semistandard shifted tableaux of a given shape, providing a new proof that products of Schur $P$-functions are Schur $P$-positive. We also give a rectification map from shifted tableaux to Young tableaux that commutes with the crystal operators and provides a dual algorithm to shifted insertion.

The thesis focuses on processes on symplectic Gelfand-Tsetlin patterns. In chapter 4, a process with dynamics inspired by the Berele correspondence [Ber86] is presented. It is proved that the shape of the pattern is a Doob $h$-transform of independent random walks with $h$ given by the symplectic Schur function. This is followed by an extension to a $q$-weighted version. This randomised version has itself a branching structure and is related to a $q$-deformation of the $so_{2n+1}$-Whittaker functions. In chapter 5, we present a fully randomised process. This process $q$-deforms a process proposed in [WW09]. In chapter 7 we prove the convergence of the $q$-deformation of the $so_{2n+1}$-Whittaker functions to the classical $so_{2n+1}$-Whittaker functions when $q \to 1$. Finally, in chapter 8 we turn our interest to the continuous setting and construct a process on patterns which contains a positive temperature analogue of the Dyson's Brownian motion of type $B/C$. The processes obtained are $h$-transforms of Brownian motions killed at a continuous rate that depends on their distance from the boundary of the Weyl chamber of type $B/C$, with $h$ related with the $so_{2n+1}$-Whittaker functions.

We give a Pieri-type formula for the sum of $K$-$k$-Schur functions $\sum_{μ\leλ} g^{(k)}_μ$ over a principal order ideal of the poset of $k$-bounded partitions under the strong Bruhat order, which sum we denote by $\widetilde{g}^{(k)}_λ$. As an application of this, we also give a $k$-rectangle factorization formula $\widetilde{g}^{(k)}_{R_t\cupλ}=\widetilde{g}^{(k)}_{R_t} \widetilde{g}^{(k)}_λ$ where $R_t=(t^{k+1-t})$, analogous to that of $k$-Schur functions $s^{(k)}_{R_t\cupλ}=s^{(k)}_{R_t}s^{(k)}_λ$.

Notes from a course at the ATM Workshop on Schubert Varieties, held at The Institute of Mathematical Sciences, Chennai, in November 2017. Various expansions of Schur functions, the Lindström-Gessel-Viennot lemma, semistandard Young tableaux, Schensted's insertion algorithm, the plactic monoid, the RSK correspondence, and the Littlewood-Richardson rule are discussed.

The Bernstein vertex operators, which can be used to build recursively the Schur functions, are extended to superspace. Four families of super vertex operators are defined, corresponding to the four natural families of Schur functions in superspace. Combinatorial proofs that the super Bernstein vertex operators indeed build the Schur functions in superspace recursively are provided. We briefly mention a possible realization, in terms of symmetric functions in superspace, of the super-KP hierarchy, where the tau-function naturally expands in one of the super-Schur bases.

Littlewood-Richardson rule gives the decomposition formula for the multiplication of two Schur functions, while the decomposition formula for the multiplication of two Hall-Littlewood functions or two universal characters is also given by the combinatorial method. In this paper, using the vertex operator realizations of these symmetric functions, we construct the algebraic forms of these decomposition formulas.

We present an explicit formula for the transition matrix $\mathcal{C}$ from the type $C_n$ degeneration of the Koornwinder polynomials $P_{(1^r)}(x\,|\,a,-a,c,-c\,|\,q,t)$ with one column diagrams, to the type $C_n$ monomial symmetric polynomials $m_{(1^{r})}(x)$. The entries of the matrix $\mathcal{C}$ enjoy a set of three term recursion relations, which can be regarded as a $(a,c,t)$-deformation of the one for the Catalan triangle or ballot numbers. Some transition matrices are studied associated with the type $(C_n,C_n)$ Macdonald polynomials $P^{(C_n,C_n)}_{(1^r)}(x\,|\,b;q,t)= P_{(1^r)}\big(x\,|\,b^{1/2},-b^{1/2},q^{1/2}b^{1/2},-q^{1/2}b^{1/2}\,|\,q,t\big)$. It is also shown that the $q$-ballot numbers appear as the Kostka polynomials, namely in the transition matrix from the Schur polynomials $P^{(C_n,C_n)}_{(1^r)}(x\,|\,q;q,q)$ to the Hall-Littlewood polynomials $P^{(C_n,C_n)}_{(1^r)}(x\,|\,t;0,t)$.

For any Schur function $s_ν$, the associated {\em delta operator} $Δ'_{s_ν}$ is a linear operator on the ring of symmetric functions which has the modified Macdonald polynomials as an eigenbasis. When $ν= (1^{n-1})$ is a column of length $n-1$, the symmetric function $Δ'_{e_{n-1}} e_n$ appears in the Shuffle Theorem of Carlsson-Mellit. More generally, when $ν= (1^{k-1})$ is any column the polynomial $Δ'_{e_{k-1}} e_n$ is the symmetric function side of the Delta Conjecture of Haglund-Remmel-Wilson. We give an expansion of $ωΔ'_{s_ν} e_n$ at $t = 0$ in the dual Hall-Littlewood basis for any partition $ν$. The Delta Conjecture at $t = 0$ was recently proven by Garsia-Haglund-Remmel-Yoo; our methods give a new proof of this result. We give an algebraic interpretation of $ωΔ'_{s_ν} e_n$ at $t = 0$ in terms of a $\mathrm{Hom}$-space.

In \cite{HRW15}, Haglund, Remmel, Wilson state a conjecture which predicts a purely combinatorial way of obtaining the symmetric function $Δ_{e_k}e_n$. It is called the Delta Conjecture. It was recently proved in \cite{GHRY} that the Delta Conjecture is true when either $q=0$ or $t=0$. In this paper we complete a work initiated by Remmel whose initial aim was to explore the symmetric function $Δ_{s_ν} e_n$ by the same methods developed in \cite{GHRY}. Our first need here is a method for constructing a symmetric function that may be viewed as a "combinatorial side" for the symmetric function $Δ_{s_ν} e_n$ for $t=0$. Based on what was discovered in \cite{GHRY} we conjectured such a construction mechanism. We prove here that in the case that $ν=(m-k,1^k)$ with $1\le m< n$ the equality of the two sides can be established by the same methods used in \cite{GHRY}. While this work was in progress, we learned that Rhodes and Shimozono had previously constructed also such a "combinatorial side". Very recently, Jim Haglund was able to prove that their conjecture follows from the results in \cite{GHRY}. We show here that an appropriate modification of the Haglund arguments proves that the polynomial $Δ_{s_ν}e_n$ as well as the Rhoades-Shimozono "combinatorial side" have a plethystic evaluation with hook Schur function expansion.