arXiv++ Combinatorics

Macdonald's ninth variation of Schur functions is a broad generalization of the classical Schur function and its variants, defined via the Jacobi-Trudi determinant formula. In this paper, we establish various algebraic relations for $S^{(r)}_{λ/μ}(X)$, a class of the ninth variation introduced by Nakagawa, Noumi, Shirakawa, and Yamada, by combining the Jacobi-Trudi formula with determinant formulas such as the Desnanot-Jacobi adjoint matrix theorem and the Plücker relations, which generalize the corresponding relations for Schur functions. As an application, we investigate algebraic relations for "diagonally constant" Schur multiple zeta functions and examine their specific special values when the shape is rectangular.

We consider a derivation $\mathsf{D}$ on the ring $Λ$ of symmetric functions and investigate its combinatorial, algebraic and geometric properties. More precisely, we show that $\mathsf{D}$ restricts to a quasi-isometry, with respect to the Hall product, on the graded component of $Λ$ of each positive degree and provide a chain-rule formula with respect to the plethysm operation. Furthermore, we relate the geometry of the Schur functions supporting $\mathsf{D}(f)$, where $f\in Λ$ is an homogeneous symmetric function, to that of $f$.

We introduce the new concept of weighted $K$-$k$-Schur functions -- a novel family within the broader class of Katalan functions -- that unifies and extends both $K$-$k$-Schur functions and closed $k$-Schur Katalan functions. This new notion exhibits a fundamental alternating property under certain conditions on the indexed $k$-bounded partitions. As a central application, we resolve the $K$-$k$-Schur alternating conjecture -- posed by Blasiak, Morse, and Seelinger in 2022 -- for a wide class of $k$-bounded partitions, including all strictly decreasing $k$-bounded partitions. Our results shed new light on the combinatorial structure of $K$-theoretic symmetric functions.

We prove that every supersymmetric Schur polynomial has a saturated Newton polytope (SNP). Our approach begins with a tableau-theoretic description of the support, which we encode as a polyhedron with a totally unimodular constraint matrix. The integrality of this polyhedron follows from the Hoffman-Kruskal criterion, thereby establishing the SNP property.

Last passage percolation (LPP) in an $n\times n$ lower triangular domain has nice connections with various generalizations of Schur measures. LPP along an anti-diagonal, from $(1,n)$ to $(n,1)$, gives a distribution of a highest column of a random composition with respect to a Demazure measure (a non-symmetric analog of a Schur measure). LPP along a main diagonal, from $(1,1)$ to $(n,n)$, is distributed as a marginal of a Pfaffian Schur process. In the first case we show that the asymptotics for the constant specialization is governed by the GOE Tracy-Widom distribution, in the second case - by the GSE Tracy-Widom distribution. In the latter case we were also able to study the truncated lower triangular case, obtaining an interesting generalization of the GSE Tracy-Widom distribution.

What might a combinatorial interpretation of the Kronecker coefficients even look like? We introduce a class of combinatorial objects called bitableaux, which we believe are a natural candidate, and we formulate a purely combinatorial problem which if resolved would give a combinatorial interpretation of the Kronecker coefficients. We make some partial progress on this problem -- enough to extract a combinatorial expansion for a Kronecker product of Schur functions in the monomial basis. We also explain how in this framework finding a combinatorial interpretation for Kronecker coefficients can be thought of as looking for a generalization of the RSK and dual RSK insertion algorithms.

We discuss algebraic universality in the sense of P. Vogel for the simplest refined quantity, the Macdonald dimensions. The main known source of universal quantities is given by Chern-Simons theory. Refinement of Chern-Simons theory means introducing additional parameters. At the level of symmetric functions, the refinement is the transition from the Schur functions to the Macdonald polynomials. We consider the Macdonald polynomials associated with the simple Lie algebras, define Macdonald dimensions and dual Macdonald dimensions, and present a universal formula for them that unifies these quantities for algebras associated with simply laced root systems. We also consider mixed Macdonald dimensions that depend on two different root systems.

We study the asymptotic behavior of random domino tilings of the Aztec diamond of size $M$ in a random environment, where the environment is a one-periodic sequence of i.i.d. random weights attached to domino positions (i.e., to the edges of the underlying portion of the square grid). We consider two cases: either the variance of the weights decreases at a critical scale $1/M$, or the distribution of the weights is fixed. In the former case, the unrescaled fluctuations of the domino height function are governed by the sum of a Gaussian Free Field and an independent Brownian motion. In the latter case, we establish fluctuations on the much larger scale $\sqrt M$, given by the Brownian motion alone. To access asymptotic fluctuations in random environment, we employ the method of Schur generating functions. Moreover, we substantially extend the known Law of Large Numbers and Central Limit Theorems for particle systems via Schur generating functions in order to apply them to our setting. These results might be of independent interest.

In this paper we classify when (row-strict) dual immaculate functions and (row-strict) extended Schur functions, as well as their skew generalizations, are symmetric. We also classify when their natural variants, termed advanced functions, are symmetric. In every case our classification recovers classical skew Schur functions.

The Rogers-Ramanujan identities are investigated using the Cauchy identity for Schur functions.

One hundred years ago, Hilbert gave a list of important open problems in mathematics. His 15th problem asked for the development of a rigorous calculus explaining Schubert's enumerative results for intersecting varieties defined by rank conditions on vector spaces. Today by way of many contributions in algebraic topology, geometry, and combinatorics, we consider this solved. Yet, deep questions remain about the subtleties of actually carrying out the process. In this chapter, we hope to summarize the rigorous development of what has become known as Schubert calculus, with an eye toward computation. We discuss Grassmannians and flag varieties and their cohomology rings, following Monk's constructive algebraic approach. We derive formulas for Schur and Schubert polynomials, which represent cohomology classes of Schubert varieties. We hint at the vast literature in this area and point to the other references in the Handbook for more information. Finally, we identify open problems that remain a challenge even with modern tools at our fingertips in hopes of inspiring further contributions in this fascinating field. This is intended as the first chapter of a book entitled "Handbook of Combinatorial Algebraic Geometry: Subvarieties of the Flag Variety", a compendium of topics in the area. The book is being edited by Erik Insko, Martha Precup, and Ed Richmond. In addition to this introductory chapter, others will cover more advanced topics such as Kazhdan-Lusztig varieties, generalized smooth Schubert varieties, Richardson varieties and positroid varieties, spherical and torus orbit closures, spanning line configurations, different types of Hessenberg varieties, and generalizations to Kac-Moody flag varieties, each written by experts in those areas. We hope you enjoy this chapter enough to seek out the others, and that you send us any comments or corrections you find as you read this article!

We present a proof of a recent conjecture due to M. Kazarian, E. Krasilnikov, S. Lando, and M. Shapiro, which describes the average value of the universal $\mathfrak{gl}$-weight system on permutations. The proof uses a quantum analogue of the $\mathfrak{gl}$-weight system on Hecke algebras of type $A$, which leads to a one-parameter deformation of the average value of the universal ${\mathfrak{gl}}$-weight system. We show that the average value of the quantum weight system is a linear combination of one-part Schur functions, with coefficients being $q$-analogues of Bernoulli polynomials.

We show that Schur classes of ample vector bundles on smooth projective varieties satisfy Hodge-Riemann relations on $H^{p,q}$ under the assumption that $H^{p-2,q-2}$ vanishes. More generally, we study Hodge-Riemann polynomials, which are partially symmetric polynomials that produce cohomology classes satisfying the Hodge-Riemann property when evaluated at Chern roots of ample vector bundles. In the case of line bundles and in bidegree $(1,1)$, these are precisely the nonzero dually Lorentzian polynomials. We prove various properties of Hodge-Riemann polynomials, confirming predictions and answering questions of Ross and Toma. As an application, we show that the derivative sequence of any product of Schur polynomials is Schur log-concave, confirming conjectures of Ross and Wu.

A classical result in combinatorial number theory states that the largest subset of $[n]$ avoiding a solution to the equation $x+y=z$ is of size $\lceil n/2 \rceil$. For all integers $k>m$, we prove multicolored extensions of this result where we maximize the sum and product of the sizes of sets $A_1,A_2,\dots,A_k \subseteq [n]$ avoiding a rainbow solution to the Schur equation $x_1+x_2+\dots+x_m=x_{m+1}$. Moreover, we determine all the extremal families.

The well-known descent-to-peak map $Θ_{\mathrm{QSym}}$ for the Hopf algebra of quasisymmetric functions, $\mathrm{QSym}$, and the peak algebra $Π$ were originally defined by Stembridge in 1997. We introduce their noncommutative analogues, the labelled descent-to-peak map $Θ_{\mathrm{NCQSym}}$ for the Hopf algebra of quasisymmetric functions in noncommuting variables, $\mathrm{NCQSym}$, and the peak algebra in noncommuting variables $\mathrm{NC}Π$. Then, we define the Hopf algebra of Schur $Q$-functions in noncommuting variables. We show that our generalizations possess many properties analogous to their classical counterparts. Furthermore, we show that the coefficients in the expansion of certain elements of $\mathrm{NC}Π$ in the monomial basis of $\mathrm{NCQSym}$ satisfy the generalized Dehn-Sommerville equation of Bayer and Billera. In the end, we give representation-theoretic interpretations of the descent-to-peak map for the Hopf algebras of symmetric functions and noncommutative symmetric functions.

Let $r \geq 0$, and let $λ$ and $μ$ be partitions such that $λ_1 \leq r + 1$. We present a combinatorial interpretation of the plethysm coefficient $\langle s_λ, s_μ[s_r] \rangle$. As a consequence, we solve the restriction problem for partitions with at most three columns. That is, for all partitions $λ$ with $λ_1 \leq 3$, we find a combinatorial interpretation for the multiplicities of the irreducible $\mathfrak{S}_n$-submodules of the Schur module $\mathbb{S}^λ\mathbb{C}^n$, considered as an $\mathfrak{S}_n$-module.

We construct a new class of operators that act on symmetric functions with two deformation parameters $q$ and $t$. Our combinatorial construction associates each operator with a specific lattice path, whose steps alternate between moving up and down. We demonstrate that positive linear combinations of these operators are the images of Negut elements via a representation of the shuffle algebra acting on the space of symmetric functions. Additionally, we provide a monomial, elementary, and Schur symmetric function expansion for the symmetric function obtained through repeated applications of the path operators on $1$. We apply path operators to investigate a $(q,t)$-deformation of the classical hypergeometric tau functions, which generalizes several important series already present in enumerative geometry, gauge theory, and integrability. We prove that this function is uniquely characterized by a family of partial differential equations derived from a positive linear combination of path operators. We also use our operators to offer a new, independent proof of the key result in establishing the extended delta conjecture of Haglund, Remmel, and Wilson.

We give a new formula for the Littlewood--Richardson coefficients in terms of peelable tableaux compatible with shuffle tableaux, in the same fashion as Remmel--Whitney rule. This gives an efficient way to compute generalized Littlewood--Richardson coefficients for Temperley--Lieb immanants of Jacobi--Trudi matrices. We will also show that our rule behaves well with Bender--Knuth involutions, recovering the symmetry of Littlewood--Richardson coefficients. As an application, we use our rule to prove a special case of a Schur log-concavity conjecture by Lam--Postnikov--Pylyavskyy.

For a skew shape $λ/μ$, we define the hybrid Grothendieck polynomial $${G}_{λ/μ}(\textbf{x};\textbf{t};\textbf{w}) =\sum_{T\in \mathrm{SVRPP}(λ/μ)} \textbf{x}^{\mathrm{ircont}(T)}\textbf{t}^{\mathrm{ceq} (T)}\textbf{w}^{\mathrm{ex}(T)}$$ as a weight generating function over set-valued reverse plane partitions of shape $λ/μ$. It specializes to \begin{itemize} \item[(1)] the refined stable Grothendieck polynomial introduced by Chan--Pflueger by setting all $t_i=0$; \item[(2)] the refined dual stable Grothendieck polynomial introduced by Galashin--Grinberg--Liu by setting all $w_i=0$. \end{itemize} We show that ${G}_{λ/μ}(\textbf{x};\textbf{t};\textbf{w})$ is symmetric in the $\textbf{x}$ variables. By building a crystal structure on set-valued reverse plane partitions, we obtain the expansion of ${G}_{λ/μ}(\textbf{x};\textbf{t};\textbf{w})$ in the basis of Schur functions, extending previous work by Monical--Pechenik--Scrimshaw and Galashin. Based on the Schur expansion, we deduce that hybrid Grothendieck polynomials of straight shapes have saturated Newton polytopes. Finally, using Fomin--Greene's theory on noncommutative Schur functions, we give a combinatorial formula for the image of ${G}_{λ/μ}(\textbf{x};\textbf{t};\textbf{w})$ (in the case $t_i=α$ and $w_i=β$) under the omega involution on symmetric functions. The formula unifies the structures of weak set-valued tableaux and valued-set tableaux introduced by Lam--Pylyavskyy. Several problems and conjectures are motivated and discussed.

We study symmetric function analogues of the higher order Bell numbers. Their construction involves iterated plethystic exponential towers mimicking the single variable exponential generating functions for the higher order Bell numbers. We derive explicit recurrence relations for the expansion coefficients of the Bell functions into the monomial and power sum bases of the ring of symmetric functions. Using the machinery of combinatorial species, the Bell functions are proven to be the Frobenius characteristics of the permutation representations of symmetric groups on hyper-partitions of certain orders and sizes. In the order 1 case, we are able to give more details about the expansion coefficients of the Bell functions in terms of vector partitions and divisor sums as well as give a recurrence relation analogous to the well known recursion for the Bell numbers. Lastly, we use Littlewood's reciprocity theorem and the Hardy-Littlewood Tauberian theorem to prove that the Schur expansion coefficients of the order 1 Bell functions are certain asymptotic averages of restriction coefficients.