arXiv++ Combinatorics

Haglund's conjecture states that $\dfrac{\langle J_λ(q,q^k),s_μ\rangle}{(1-q)^{|λ|}} \in \mathbb{Z}_{\geq 0}[q]$ for all partitions $λ,μ$ and all non-negative integers $k$, where $J_λ$ is the integral form Macdonald symmetric function and $s_μ$ is the Schur function. This paper proves Haglund's conjecture in the cases when the pair $(λ,μ)$ satisfies $K_{λ,μ}=1$ or $K_{μ',λ'}=1$ where $K$ denotes the Kostka number. We also obtain some general results about the transition matrix between Macdonald symmetric functions and Schur functions.

We study in detail the Hopf algebra of noncommutative symmetric functions in superspace sNSym, introduced by Fishel, Lapointe and Pinto. We introduce a family of primitive elements of sNSym and extend the noncommutative elementary and power sum functions to superspace. Then, we give formulas relating these families of functions. Also, we introduce noncommutative Ribbon Schur functions in superspace and provide a explicit formula for their product. We show that the dual basis of these function is given by a family of the so--called fundamental quasisymmetric functions in superspace. This allows us to obtain a explicit formula for the coproduct of fundamental quasisymmetric functions in superspace. Additionally, by projecting the noncommutative Ribbon Schur functions in superspace, we define a new basis for the algebra of symmetric functions in superspace. On the other hand, we also show that sNSym can be realised as a Hopf algebra of trees.

The ring of symmetric functions occupies a central place in algebraic combinatorics, with a particularly notable role in Schubert calculus, where the standard cell decompositions of Grassmannians yield the celebrated family of Schur functions and the cohomology ring is governed by Littlewood-Richardson rules. The past 50 years have seen an analogous development of quasisymmetric function theory, with applications to enumerative combinatorics, Hopf algebras, graph theory, representation theory, and other areas. Despite such successes, this theory has lacked a quasisymmetric analogue of Schubert calculus. In particular, there has been much interest, since work of Lam and Pylyavskyy (2007), in developing "$K$-theoretic" analogues of quasisymmetric function theory, for which a major obstacle has been the lack of topological interpretations. Here, building on work of Baker and Richter (2008), we apply the philosophy of Schubert calculus to the loop space $Ω(Σ(\mathbb{C}\mathbb{P}^\infty))$ through the homotopy model given by James reduced product $J(\mathbb{C}\mathbb{P}^\infty)$. We describe a canonical Schubert cell decomposition of $J(\mathbb{C}\mathbb{P}^\infty)$, yielding a canonical basis of its cohomology, which we explicitly identify with monomial quasisymmetric functions. Our constructions apply equally to James reduced products of generalized flag varieties $G/P$, and we show how Littlewood-Richardson rules for any $G/P$ lift to $H^*(J(G/P))$. If $J(\mathbb{C}\mathbb{P}^\infty)$ carried the structure of a normal projective algebraic variety, the structure sheaves of the cell closures would yield a "cellular $K$-theory" Schubert basis. We show this is impossible. Nonetheless, we introduce and study a more subtle $K$-theory Schubert basis. We characterize this $K$-theory ring and develop quasisymmetric representatives with an explicit combinatorial description.

Recently, Blasiak-Morse-Seelinger introduced symmetric functions called Katalan functions, and proved that the $K$-theoretic $k$-Schur functions due to Lam-Schilling-Shimozono form a subfamily of the Katalan functions. They conjectured that another subfamily of Katalan functions called the closed $k$-Schur Katalan functions are identified with the Schubert structure sheaves in the $K$-homology of the affine Grassmannian. The main result is a proof of the conjecture. We also study a $K$-theoretic Peterson isomorphism that Ikeda, Iwao, and Maeno constructed, in a non-geometric manner, based on the unipotent solution of the relativistic Toda lattice of Ruijsenaars. We prove that the map sends a Schubert class of the quantum $K$-theory ring of the flag variety to a closed $K$-$k$-Schur Katalan function up to an explicit factor related to a translation element with respect to an anti-dominant coroot. In fact, we prove the above map coincides with a map whose existence was conjectured by Lam, Li, Mihalcea, Shimozono, and proved by Kato, and more recently by Chow and Leung.

In this paper we construct a GL-equivariant complex of Schur modules over a ring of positive characteristic that can be used to deduce classical alternating sum identities for Schur polynomials. This complex globalizes to a complex of vector bundles and can also be used to give an explicit construction of an exact sequence predicted by work of Grayson involving Adams operations identities on the algebraic K-theory of a given scheme $X$. The more general complex gives an explicit construction that reproves the aforementioned Adams operations identities in full generality.

We consider the expansion of the square of a complete homogeneous function $h_λ$, or of an elementary symmetric function $e_λ$, in the basis of Schur functions. This square also decomposes into two plethysms, $s_2[h_λ]$ and $s_{11}[h_λ]$ (resp. $s_2[h_λ]$ and $s_{11}[h_λ]$), which are called its symmetric and anti-symmetric parts, respectively. We define a sign statistic on the set of tableaux that index the Schur functions appearing in the square of those symmetric functions. This sign statistic allows to determine to which plethysm each Schur function contributes. We use mainly combinatorial tools on tableaux (product on tableau and RSK) and basic manipulations on plethysm and symmetric functions.

For the Schur polynomials bounded and unbounded generalizations of the Cauchy identities are found.

We introduce a general method for constructing modules for $0$-Hecke algebras and supermodules for $0$-Hecke-Clifford algebras from diagrams of boxes in the plane, and give formulas for the images of these modules in the algebras of quasisymmetric functions and peak functions under the relevant characteristic map. As initial applications, we resolve a question of Jing and Li (2015), introduce a new basis of the peak algebra analogous to the quasisymmetric Schur functions, uncover a new connection between Schur $Q$-functions and quasisymmetric Schur functions, give a representation-theoretic interpretation of families of tableaux used in constructing certain functions in the peak algebra, and establish a common framework for known $0$-Hecke module interpretations of bases of quasisymmetric functions.

We introduce the edge Schur functions $E^λ$ that are defined as a generating series over edge labeled tableaux. We formulate $E^λ$ as the partition function for a solvable lattice model, which we use to show they are symmetric polynomials and derive a Cauchy-type identity with factorial Schur polynomials. Finally, we give a crystal structure on edge labeled tableau to give a positive Schur polynomial expansion of $E^λ$ and show it intertwines with an uncrowding algorithm.

We use earlier defined notion of $n$- determinant to investigate sub-determinants of an extended Vandermonde matrix. Firstly, we demonstrate our method on a number of particular cases. Then we prove that all these results may be stated in terms of Schur's polynomials. In our main result, we prove that Schur polynomials are equal to minors of a fixed matrix, which entries are formed of elementary symmetric polynomials. Such a formula is known as the second Jaccobi-Trudi identity.

We introduce a new basis of quasisymmetric functions, the row-strict dual immaculate functions. We construct a cyclic, indecomposable 0-Hecke algebra module for these functions. Our row-strict immaculate functions are related to the dual immaculate functions of Berg-Bergeron-Saliola-Serrano-Zabrocki (2014-15) by the involution $ψ$ on the ring of quasisymmetric functions. We give an explicit description of the effect of $ψ$ on the associated 0-Hecke modules, via the poset induced by the 0-Hecke action on standard immaculate tableaux. This remarkable poset reveals other 0-Hecke submodules and quotient modules, often cyclic and indecomposable, notably for a row-strict analogue of the extended Schur functions studied in Assaf-Searles (2019). Like the dual immaculate function, the row-strict dual immaculate function is the generating function of a suitable set of tableaux, corresponding to a specific descent set. We give a complete combinatorial and representation-theoretic picture by constructing 0-Hecke modules for the remaining variations on descent sets, and showing that \emph{all} the possible variations for generating functions of tableaux occur as characteristics of the 0-Hecke modules determined by these descent sets.

This work highlights the existence of partial symmetries in large families of iterated plethystic coefficients. The plethystic coefficients involved come from the expansion in the Schur basis of iterated plethysms of Schur functions indexed by one-row partitions. The partial symmetries are described in terms of an involution on partitions, the flip involution, that generalizes the ubiquitous $ω$ involution. Schur-positive symmetric functions possessing this partial symmetry are termed flip-symmetric. The operation of taking plethysm with $s_λ$ preserves flip-symmetry, provided that $λ$ is a partition of two. Explicit formulas for the iterated plethysms $s_2\circ s_b\circ s_a$ and $s_c\circ s_2\circ s_a$, with $a,$ $b,$ and $c$ $\ge$ $2$ allow us to show that these two families of iterated plethysms are flip-symmetric. The article concludes with some observations, remarks, and open questions on the unimodality and asymptotic normality of certain flip-symmetric sequences of iterated plethystic coefficients.

We study the representation theory of the uniform block permutation algebra in the context of the representation theory of factorizable inverse monoids. The uniform block permutation algebra is a subalgebra of the partition algebra and is also known as the party algebra. We compute its characters and provide a Frobenius characteristic map to symmetric functions. This reveals connections of the characters of the uniform block permutation algebra and plethysms of Schur functions.

Let $k$ and $m$ be positive integers and $λ/μ$ a skew partition. We compute the principal specialization of the skew Schur polynomials $s_{λ/μ}(x_1, \ldots, x_{k})$ modulo $q^m-1$ under suitable conditions. We interpret the results thus obtained from the viewpoint of the cyclic sieving phenomenon on semistandard Young skew tableaux of shape $λ/μ$. As an application, we deal with evaluations of the principal specialization of the skew Schur polynomials at roots of unity.

The purpose of this note is to introduce a new family of quasi-symmetric functions called LLT cumulants and discuss its properties. We define LLT cumulants using the algebraic framework for conditional cumulants and we prove that the Macdonald cumulant has an explicit positive expansion in terms of LLT cumulants of ribbon shapes, generalizing the classical decomposition of Macdonald polynomials. We also find a natural combinatorial interpretation of the LLT cumulant of a given directed graph as a weighted generating function of colorings of its subgraphs. We use this graph theoretical framework to prove various positivity results. This includes monomial positivity, positivity in fundamental quasisymmetric functions and related positivity of the coefficients of Schur polynomials indexed by hook shapes. We also prove $e$-positivity for vertical-shape LLT cumulants, after the shift of variable $q \to q+1$, which refines a recent result of Alexandersson and Sulzgruber. All these results give evidence towards Schur-positivity of LLT cumulants, which we conjecture here. We prove that this conjecture implies Schur-positivity of Macdonald cumulants, and we give more evidence by proving the conjecture for LLT cumulants of melting lollipops that refines a recent result of Huh, Nam and Yoo.

We introduce a super version of the Littlewood--Richardson rule for super Schur functions over signed alphabets. We give in particular combinatorial interpretations of the super Littlewood--Richardson coefficients using the properties of super Young tableaux, which have found rich applications in representation theory, algebraic combinatorics, and mathematical physics.

In a companion paper, we introduced raising operator series called Catalanimals. Among them are Schur Catalanimals, which represent Schur functions inside copies $Λ(X^{m,n})\subset \mathcal{E} $ of the algebra of symmetric functions embedded in the elliptic Hall algebra $\mathcal{E} $ of Burban and Schiffmann. Here we obtain a combinatorial formula for symmetric functions given by a class of Catalanimals that includes the Schur Catalanimals. Our formula is expressed as a weighted sum of LLT polynomials, with terms indexed by configurations of nested lattice paths called nests, having endpoints and bounding constraints controlled by data called a den. Applied to Schur Catalanimals for the alphabets $X^{m,1}$ with $n=1$, our `nests in a den' formula proves the combinatorial formula conjectured by Loehr and Warrington for $\nabla^m s_{μ}$ as a weighted sum of LLT polynomials indexed by systems of nested Dyck paths. When $n$ is arbitrary, our formula establishes an $(m,n)$ version of the Loehr-Warrington conjecture. In the case where each nest consists of a single lattice path, the nests in a den formula reduces to our previous shuffle theorem for paths under any line. Both this and the $(m,n)$ Loehr-Warrington formula generalize the $(km,kn)$ shuffle theorem proven by Carlsson and Mellit (for $n=1$) and Mellit. Our formula here unifies these two generalizations.

We discuss connection between the XX0 Heisenberg spin chain 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 the calculation of the correlation functions. We provide a combinatorial derivation of the dynamical auto-correlation functions and visualise them in terms of nests of self-avoiding lattice paths. Asymptotics of the auto-correlation functions are obtained in the double scaling limit provided that the evolution parameter is large.

Work of Grantcharov et al. develops a theory of abstract crystals for the queer Lie superalgebra $\mathfrak{q}_n$. Such $\mathfrak{q}_n$-crystals form a monoidal category in which the connected normal objects have unique highest weight elements and characters that are Schur $P$-polynomials. This article studies a modified form of this category, whose connected normal objects again have unique highest weight elements but now possess characters that are Schur $Q$-polynomials. The crystals in this category have some interesting features not present for ordinary $\mathfrak{q}_n$-crystals. For example, there is an extra crystal operator, a different tensor product, and an action of the hyperoctahedral group exchanging highest and lowest weight elements. There are natural examples of $\mathfrak{q}_n$-crystal structures on certain families of shifted tableaux and factorized reduced words. We describe extended forms of these structures that give similar examples in our new category.

We give bijective proofs of orthosymplectic analogues of the Cauchy identity and dual Cauchy identity for orthosymplectic Schur functions. To do so, we present two insertion algorithms; these are orthosymplectic versions of Berele's symplectic insertion algorithms, which were used by Sundaram to give bijective proofs of Cauchy identities for symplectic Schur functions.