arXiv++ Combinatorics

Yeliussizov has classified the positive specializations of symmetric Grothendieck functions, defined in several different ways, providing a K-theoretic lift of the classical Edrei-Thoma theorem. This note studies the analogous classification problem for Ikeda and Naruse's K-theoretic Schur P- and Q-functions, which are the shifted versions of symmetric Grothendieck functions. Our results extend a shifted variant of the Edrei-Thoma theorem due to Nazarov. We also discuss an application to the problem of determining the extreme harmonic functions on a filtered version of the shifted Young lattice.

Kirillov and Naruse have constructed double Grothendieck polynomials to represent the equivariant K-theory classes of Schubert varieties in the complete flag manifolds of types B, C, and D. We derive a recursive formula for these polynomials, extending certain K-theoretic transition equations known in type A to all classical types. As an application, we obtain an identity that expands the K-Stanley symmetric functions in types B, C, and D into positive linear combinations of K-theoretic Schur P- and Q-functions. We also resolve several positivity conjectures related to the skew generalizations of the latter functions.

We describe the action of the infinite-dimensional Lie algebra $W_{1+\infty}$ and its B-type analogue on Schur and Schur Q-functions, respectively, using formal distributions framework. We observe an interesting self-duality property possessed by these compact formulas.

We prove a lemma, which we call the Order Ideal Lemma, that can be used to demonstrate a wide array of log-concavity and log-convexity results in a combinatorial manner using order ideals in distributive lattices. We use the Order Ideal Lemma to prove log-concavity and log-convexity of various sequences involving lattice paths (Catalan, Motzkin and large Schröder numbers), intervals in Young's lattice, order polynomials, specializations of Schur and Schur Q-functions, Lucas sequences, descent and peak polynomials of permutations, pattern avoidance, set partitions, and noncrossing partitions. We end with a section with conjectures and outlining future directions.

An algebraic iterative formula for the spin Kostka-Foulkes polynomial $K^-_{ξμ}(t)$ is given using vertex operator realizations of Hall-Littlewood symmetric functions and Schur's Q-functions. Based on the operational formula, more favorable properties are obtained parallel to the Kostka polynomial. In particular, we obtain some formulae for the number of (unshifted) marked tableaux. As an application, we confirmed a conjecture of Aokage on the expansion of the Schur $P$-function in terms of Schur functions. Tables of $K^-_{ξμ}(t)$ for $|ξ|\leq6$ are listed.

Motivated by Sato and Mori's work on the Korteweg-de Vries (KdV) equation and the modified KdV equation, Mizukawa, Nakajima, and Yamada made a conjecture on 2-reduced Schur functions and Schur's Q-functions. The conjecture claims that certain sums of products of a Littlewood-Richardson coefficient and two 2-reduced Schur functions are equal to Schur's Q-functions up to a scalar multiple. In this paper we give a proof of the conjecture in cases which have not been proved yet. We introduce a new expression of Schur's Q-functions and use it to prove the conjecture. Combinatorics of the inverse Kostka matrix is also used. We also provide consideration of the conjecture in general case.

In this paper, we investigate a series of W-type differential operators, which appear naturally in the symmetry algebras of KP and BKP hierarchies. In particular, they include all operators in the W-constraints for tau functions of higher KdV hierarchies which satisfy the string equation. We will give simple uniform formulas for actions of these operators on all ordinary Schur functions and Schur's Q-functions. As applications of such formulas, we will give new simple proofs for Alexandrov's conjecture and Mironov-Morozov's formula, which express the Brézin-Gross-Witten and Kontsevich-Witten tau-functions as linear combinations of Q-functions with simple coefficients respectively.

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 derive several identities involving Ikeda and Naruse's $K$-theoretic Schur $P$- and $Q$-functions. Our main result is a formula conjectured by Lewis and the second author which expands each $K$-theoretic Schur $Q$-function in terms of $K$-theoretic Schur $P$-functions. This formula extends to some more general identities relating the skew and dual versions of both power series. We also prove a shifted version of Yeliussizov's skew Cauchy identity for symmetric Grothendieck polynomials. Finally, we discuss some conjectural formulas for the dual $K$-theoretic Schur $P$- and $Q$-functions of Nakagawa and Naruse. We show that one such formula would imply a basis property expected of the $K$-theoretic Schur $Q$-functions.

We introduce certain generalisations of the characters of the classical Lie groups, extending the recently defined factorial characters of Foley and King. In this extension, the factorial powers are replaced with an arbitrary sequence of polynomials, as in Sergeev-Veselov's generalised Schur functions and Okada's generalised Schur P- and Q-functions. We also offer a similar generalisation for the rational Schur functions. We derive Littlewood-type identities for our generalisations. These identities allow us to give new (unflagged) Jacobi-Trudi identities for the Foley-King factorial characters and for rational versions of the factorial Schur functions. We also propose an extension of the original Macdonald's ninth variation of Schur functions to the case of symplectic and orthogonal characters, which helps us prove Nägelsbach-Kostka identities.

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.

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.

Symplectic $Q$-functions are a symplectic analogue of Schur $Q$-functions and defined as the $t=-1$ specialization of Hall--Littlewood functions associated with the root system of type $C$. In this paper we prove that symplectic $Q$-functions share many of the properties of Schur $Q$-functions, such as a tableau description and a Pieri-type rule. And we present some positivity conjectures, including the positivity conjecture of structure constants for symplectic $P$-functions. We conclude by giving a tableau description of factorial symplectic $Q$-functions.

Recently Okada defined algebraically ninth variation skew Q-functions, in parallel to Macdonald's ninth variation skew Schur functions. Here we introduce a skew shifted tableaux definition of these ninth variation skew Q-functions, and prove by means of a non-intersecting lattice path model a Pfaffian outside decomposition result in the form of a ninth variation version of Hamel's Pfaffian outside decomposition identity. As corollaries to this we derive Pfaffian identities generalizing those of Josefiak-Pragacz, Nimmo, and most recently Okada. As a preamble to this we present a parallel development based on (unshifted) semistandard tableaux that leads to a ninth variation version of the outside decomposition determinantal identity of Hamel and Goulden. In this case the corollaries we offer include determinantal identities generalizing the Schur and skew Schur function identities of Jacobi-Trudi, Giambelli, Lascoux-Pragacz, Stembridge, and Okada.

We establish Pfaffian analogues of the Cauchy--Binet formula and the Ishikawa--Wakayama minor-summation formula. Each of these Pfaffian analogues expresses a sum of products of subpfaffians of two skew-symmetric matrices in terms of a single Pfaffian. By using these Pfaffian formulas we give new transparent proofs to several identities for Schur Q23 pa-functions.

A definition is offered of the factorial characters of the general linear group, the symplectic group and the orthogonal group in an odd dimensional space. It is shown that these characters satisfy certain flagged Jacobi-Trudi identities. These identities are then used to give combinatorial expressions for the factorial characters: first in terms of a lattice path model and then in terms of the well known tableaux associated with the classical groups. Factorial Q-functions are then defined in terms of three sets of primed shifted tableaux, and shown to satisfy Tokuyama type identities in each case.

Hazewinkel proved the Ditters conjecture that the algebra of quasisymmetric functions over the integers is free commutative by constructing a nice polynomial basis. In this paper we prove a structure theorem for the algebra of peak quasisymmetric functions (PQSym) over the integers. It provides a polynomial basis of PQSym over the rational field, different from Hsiao's basis, and implies the freeness of PQSym over its subring of symmetric functions spanned by Schur's Q-functions.

The representation theory of 0-Hecke-Clifford algebras as a degenerate case is not semisimple and also with rich combinatorial meaning. Bergeron et al. have proved that the Grothendieck ring of the category of finitely generated supermodules of 0-Hecke-Clifford algebras is isomorphic to the algebra of peak quasisymmetric functions defined by Stembridge. In this paper we further study the category of finitely generated projective supermodules and clarify the correspondence between it and the peak algebra of symmetric groups. In particular, two kinds of restriction rules for induced projective supermodules are obtained. After that, we consider the corresponding Heisenberg double and its Fock representation to prove that the ring of peak quasisymmetric functions is free over the subring of symmetric functions spanned by Schur's Q-functions.

We construct a lift of Schur's Q-functions to the peak algebra of the symmetric group, called the noncommutative Schur Q-functions, and extract from them a new natural basis with several nice properties such as the positive right-Pieri rule, combinatorial expansion, etc. Dually, we get a basis of the Stembridge algebra of peak functions refining Schur's P-functions in a simple way.

We give a formula for pushing forward the classes of Hall-Littlewood polynomials in Grassmann bundles, generalizing Gysin formulas for Schur S- and Q-functions.