arXiv++ Combinatorics

Symmetric function theory is a key ingredient in the Schubert calculus of Grassmannians. Quasisymmetric functions are analogues that are similarly central to algebraic combinatorics, but for which the associated geometry is poorly developed. Baker and Richter (2008) showed that $\textrm{QSym}$ manifests topologically as the cohomology ring of the loop suspension of infinite projective space or equivalently of its combinatorial homotopy model, the James reduced product $J\mathbb{C}\mathbb{P}^\infty$. In recent work, we used this viewpoint to develop topologically-motivated bases of $\textrm{QSym}$ and initiate a Schubert calculus for $J\mathbb{C}\mathbb{P}^\infty$ in both cohomology and $K$-theory. Here, we study the torus-equivariant cohomology of $J\mathbb{C}\mathbb{P}^\infty$. We identify a cellular basis and introduce double monomial quasisymmetric functions as combinatorial representatives, analogous to the factorial Schur functions and double Schubert polynomials of classical Schubert calculus. We also provide a combinatorial Littlewood--Richardson rule for the structure coefficients of this basis. Furthermore, we introduce an algebro-geometric analogue of the James reduced product construction. In particular, we prove that the James reduced product of a complex projective variety also carries the structure of a projective variety.

We consider the Schur-positivity of monomial immanants of Jacobi-Trudi matrices, in particular whether a non-negative coefficient of the trivial Schur function implies non-negative coefficients for other Schur functions in said immanants. We prove that this true for hook-shape Schur functions using combinatorial methods in a representation theory setting. Our main theorem proves that hook-shape immanant characters can be written as finite non-negative integer sums of Stanley-Stembridge characters, and provides an explicit combinatorial formula for these sums. This resolves a special case of a longstanding conjecture of Stanley and Stembridge that posits such a sum exists for all immanant characters. We also provide several simplifications for computing immanant characters, and several corollaries applying the main result to cases where the coefficient of the trivial Schur function in monomial immanants of Jacobi-Trudi matrices is known to be non-negative.

We explore some connections between vectors of integers and integer partitions seen as bi-infinite words. This methodology enables us to give a combinatorial interpretation of the Macdonald identities for affine root systems of the seven infinite families in terms of symplectic and special orthogonal Schur functions. From these results, we are able to derive $q$-Nekrasov--Okounkov formulas associated to each family. Nevertheless we only give results for types $\tilde{C}$ and $\tilde{C}^{\vee}$, and give a sketch of the proof for type $\tilde{C}$.

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.

This paper concerns the solutions of the full Kostant-Toda (f-KT) hierarchy in the Hessenberg form and their reductions to the $\ell$-banded Kostant-Toda ($\ell$-KT) hierarchy. We also study the f-KT hierarchy and the corresponding $\ell$-KT hierarchy on simple Lie algebras of type $A, B$ and $G$ based on root space reductions with proper Chevalley systems. Explicit formulas of the polynomial solutions for the $τ$-functions are also given in terms of the Schur functions and Schur's $Q$-functions.

There exist a number of well known multiplicative generating functions for series of Schur functions. Amongst these are some related to the dual Cauchy identity whose expansion coefficients are rather simple, and in some cases periodic in parameters specifying the Schur functions. More recently similar identities have been found involving expansions in terms of characters of the symplectic group. Here these results are extended and generalised to all classical Lie groups. This is done through the derivation of explicit recurrence relations for the expansion coefficients based on the action of the Weyl groups of both the symplectic and orthogonal groups. Copious results are tabulated in the form of explicit values of the expansion coefficients as functions of highest weight parameters. An alternative approach is then based on dual pairs of symplectic and/or orthogonal groups. A byproduct of this approach is that expansions in terms of spin orthogonal group characters can always be recovered from non-spin cases.

In this paper, we introduce and analyze a new switch operator for the six-vertex model. This operator, derived from the Yang-Baxter equation, allows us to express the partition function with arbitrary boundaries in terms of a base case with domain wall boundary conditions. As an application, we derive explicit formulas for the factorial Schur functions and their generalizations. Our results provide new insights into the relationship between boundary conditions and partition functions in the six-vertex model.

We use crystals of tableaux and descent compositions to understand the decomposition of Schur functions $s_λ$ into Gessel's fundamental quasisymmetric functions $F_α$. The connected crystal of tableaux $B(λ)$, associated to $s_λ$, is shown to be partitionned into a disjoint union of connected induced subgraphs $B(T_α)$ corresponding to the $F_α$'s. We show that these subgraphs, which we call quasicrystals, are isomorphic (as graphs) to specific crystals of tableaux. This allows us to give a formula for the number of tableaux of shape $λ$ and maximal entry $n$. We also use this setting to give a constructive proof of a combinatorial formula for Kostka numbers $K^λ_μ$. We study the position of the quasicrystals within the crystal $B(λ)$, and show that they appear in dually positionned pairs, with the crystal anti-automorphism between them being given by a generalization of Schützenberger's evacuation. We introduce the notion of skeleton of the crystal $B(λ)$ given by replacing each subgraph $B(T_α)$ by the associated standard tableau of shape $λ$. We conjecture that its graph includes the dual equivalence graph for $λ$, introduced by Assaf, and that its subgraphs of tableaux with fixed number of descents have particular structures. Finally, we describe applications to plethysm, among which we give an algorithm to express any symmetric sum of fundamental quasisymmetric functions into the Schur basis, whose construction gives insight into the relationship between the two basis.

We elaborate on the recent suggestion to consider averaging of Cauchy identities for the Schur functions over power sum variables. This procedure has apparent parallels with the Borel transform, only it changes the number of combinatorial factors like $d_R$ in the sums over Young diagrams instead of just factorials in ordinary sums over numbers. It provides a universal view on a number of previously known, but seemingly random identities.

We are building a theory of simple Hurwitz numbers for the reflection groups B and D parallel to the classical theory for the symmetric group. We also study analogs of the cut-and-join operators. An algebraic description of Hurwitz numbers and an explicit formula for them in terms of Schur polynomials are provided. We also relate Hurwitz numbers for B and D to ribbon decomposition of surfaces with boundary -- a similar result for the symmetric group was proved earlier by Yu.Burman and the author. Finally, the generating function of B-Hurwitz numbers is shown to give rise to two independent tau-function of the KP hierarchy.

The identities which are in the literature often called ``bounded Littlewood identities" are determinantal formulas for the sum of Schur functions indexed by partitions with bounded height. They have interesting combinatorial consequences such as connections between standard Young tableaux of bounded height, lattice walks in a Weyl chamber, and noncrossing matchings. In this paper we prove affine analogs of the bounded Littlewood identities. These are determinantal formulas for sums of cylindric Schur functions. We also study combinatorial aspects of these identities. As a consequence we obtain an unexpected connection between cylindric standard Young tableaux and \( r \)-noncrossing and \( s \)-nonnesting matchings.

We introduce a new family of Schur functions $s_{λ/μ;a,b}(x/y)$ that depend on two sets of variables and two sequences of parameters. These free fermionic Schur functions have a hidden symmetry between the two sets of parameters that allows us to generalize and unify factorial, supersymmetric, and dual Schur functions from literature. We then prove that these functions satisfy the supersymmetric Cauchy identity $$ \sum_λs_{λ;a,b}(x/y)\widehat{s}_{λ;a,b}(z/w) = \prod_{i,j}\frac{1+y_iz_j}{1-x_iz_j}\frac{1+x_iw_j}{1-y_iw_j}, $$ where $\widehat{s}_{λ;a,b}(z/w) = s_{λ';b',a'}(w/z)$ are the dual functions. Our approach is based on the integrable six vertex model with free fermionic Boltzmann weights. We show that these weights satisfy the \textit{refined Yang-Baxter equation}, which allows us to prove well-known properties of Schur functions: supersymmetry, combinatorial descriptions, the Jacobi-Trudi identity, the Nägelsbach-Kostka formula, the Giambelli formula, the Ribbon formula, the Weyl determinant formula, the Berele-Regev factorization, dual Cauchy identity, the flagged determinant formula, and many others. We emphasize that many of these results are novel even in special cases.

Schur functions are a basis of the symmetric function ring that represent Schubert cohomology classes for Grassmannians. Replacing the cohomology ring with $K$-theory yields a rich combinatorial theory of inhomogeneous deformations, where Schur functions are replaced by their $K$-analogues, the basis of symmetric Grothendieck functions. We introduce and initiate a theory of the Kromatic symmetric function $\overline{X}_G$, a $K$-theoretic analogue of the chromatic symmetric function $X_G$ of a graph $G$. The Kromatic symmetric function is a generating series for graph colorings in which vertices may receive any nonempty set of distinct colors such that neighboring color sets are disjoint. Our main result lifts a theorem of Gasharov (1996) to this setting, showing that when $G$ is a claw-free incomparability graph, $\overline{X}_G$ is a positive sum of symmetric Grothendieck functions. This result suggests a topological interpretation of Gasharov's theorem. We then show that the Kromatic symmetric functions of path graphs are not positive in any of several $K$-analogues of the $e$-basis of symmetric functions, demonstrating that the Stanley-Stembridge conjecture (1993) does not have such a lift to $K$-theory and so is unlikely to be amenable to a topological perspective. We also define a vertex-weighted extension of $\overline{X}_G$ and show that it admits a deletion--contraction relation. Finally, we give a $K$-analogue for $\overline{X}_G$ of the classic monomial-basis expansion of $X_G$.

We prove a combinatorial reciprocity theorem for the enumeration of non-intersecting paths in a linearly growing sequence of acyclic planar networks. We explain two applications of this theorem: reciprocity for fans of bounded Dyck paths, and reciprocity for Schur function evaluations with repeated values.

Motivated by the Lam--Pylyavskyy inequalities for Schur functions, we give a far reaching multivariate generalization of Fishburn's correlation inequality for the number of linear extensions of posets. We then give a multivariate generalization of the Daykin--Daykin--Paterson inequality proving log-concavity of the order polynomial of a poset. We also prove a multivariate $P$-partition version of the cross-product inequality by Brightwell--Felsner--Trotter. The proofs are based on a multivariate generalization of the Ahlswede--Daykin inequality.

Based on the vertex operator realization of the Schur functions, a determinant-type plethystic Murnaghan--Nakayama rule is obtained and utilized to derive a general formula of the expansion coefficients of $s_ν$ in the plethysm product $(p_{n}\circ h_{k})s_μ$. Meanwhile, the equivalence between our algebraic rule and the combinatorial one is also established. As an application, we provide a simple way to compute the generalized Waring formula.

A classical result of Littlewood gives a factorisation for the Schur function at a set of variables "twisted" by a primitive $t$-th root of unity, characterised by the core and quotient of the indexing partition. While somewhat neglected, it has proved to be an important tool in the character theory of the symmetric group, the cyclic sieving phenomenon, plethysms of symmetric functions and more. Recently, similar factorisations for the characters of the groups $\mathrm{O}(2n,\mathbb{C})$, $\mathrm{Sp}(2n,\mathbb{C})$ and $\mathrm{SO}(2n+1,\mathbb{C})$ were obtained by Ayyer and Kumari. We lift these results to the level of universal characters, which has the benefit of making the proofs simpler and the structure of the factorisations more transparent. Our approach also allows for universal character extensions of some factorisations of a different nature originally discovered by Ciucu and Krattenthaler, and generalised by Ayyer and Behrend.

3D (3 dimensional) Young diagrams are a generalization of 2D Young diagrams. In this paper, We consider 3D Bosons and 3-Jack polynomials. We associate three parameters $h_1,h_2,h_3$ to $y,x,z$-axis respectively. 3-Jack polynomials are polynomials of $P_{n,j}, n\geq j$ with coefficients in $\mathbb C(h_1,h_2,h_3)$, which are the generalization of Schur functions and Jack polynomials to 3D case. Similar to Schur functions, 3-Jack polynomials can also be determined by the vertex operators and the Pieri formulas.

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.

Fix an integer $t \geq 2$ and a primitive $t^{\text{th}}$ root of unity $ω$. We consider the specialized skew hook Schur polynomial $\text{hs}_{λ/μ}(X,ωX,\dots,ω^{t-1}X/Y,ωY,\dots,ω^{t-1}Y)$, where $ω^k X=(ω^k x_1, \dots, ω^k x_n)$, $ω^k Y=(ω^k y_1, \dots, ω^k y_m)$ for $0 \leq k \leq t-1$. We characterize the skew shapes $λ/μ$ for which the polynomial vanishes and prove that the nonzero polynomial factorizes into smaller skew hook Schur polynomials. Then we give a combinatorial interpretation of $\text{hs}_{λ/μ}(1,ω^d,\dots,ω^{d(tn-1)}/1,ω^d,\dots,ω^{d(tm-1)})$, for all divisors $d$ of $t$, in terms of ribbon supertableaux. Lastly, we use the combinatorial interpretation to prove the cyclic sieving phenomenon on the set of semistandard supertableaux of shape $λ/μ$ for odd $t$. Using a similar proof strategy, we give a complete generalization of a result of Lee--Oh (arXiv: 2112.12394, 2021) for the cyclic sieving phenomenon on the set of skew SSYT conjectured by Alexandersson--Pfannerer--Rubey--Uhlin (Forum Math. Sigma, 2021).