arXiv++ Combinatorics

The classical Jacobi polynomials on the interval $[-1,1]$ are eigenfunctions of a second order differential operator. It is well known that this operator generates a diffusion process on $[-1,1]$. Further, this fact admits an extension to $N$ dimensions (Demni (2010), Remling-Rösler (2011)) leading to a $3$-parameter family of diffusion processes $X_N$ on the space of $N$-particle configurations in $[-1,1]$. The generators of the processes $X_N$ are related to Heckman-Opdam's Jacobi polynomials attached to the root system $BC_N$. The first result of the paper shows that the processes $X_N$ have a $q$-analog, the $N$-dimensional $q$-Jacobi processes. These are Feller Markov processes related to the $N$-variate symmetric big $q$-Jacobi polynomials. The later polynomials were introduced and studied by Stokman (1997) and Stokman-Koornwinder (1997); they depend on two Macdonald parameters $(q,t)$ and $4$ extra continuous parameters. The $N$-dimensional $q$-Jacobi processes are still defined on a space of $N$-particle configurations, only now the particles live not on $[-1,1]$ but on certain one-dimensional $q$-grids. The second result (the main one) asserts that the $N$-dimensional $q$-Jacobi processes survive a limit transition as $N$ goes to infinity and two of the extra parameters vary together with $N$ in a certain way. In the limit, one obtains a family of Feller Markov processes which are infinite-dimensional in the sense that they live on configurations with infinitely many particles. The proof uses a lifting of the multivariate big $q$-Jacobi polynomials to the algebra of symmetric functions -- a construction that does not hold for the Heckman-Opdam's Jacobi polynomials. Note also that the large-$N$ limit transition is carried out without any space scaling, which would be impossible in the continuous case.

In arXiv:2301.02177, Crew, Pechenik, and Spirkl defined the Kromatic symmetric function $\overline{X}_G$ as a $K$-analogue of Stanley's chromatic symmetric function $X_G$, and one question they asked was how $\overline{X}_G$ expands in their $\overline{p}_λ$ basis, which they defined as a $K$-analogue of the classic power sum basis $p_λ.$ In arXiv:2408.01395, we gave a formula that partially answered this question but did not explain the combinatorial significance of the coefficients. Here, we give combinatorial descriptions for the $\overline{p}$-coefficients of $\overline{X}_G$ and $ω(\overline{X}_G)$, lifting the $p$-expansion of $X_G$ in terms of acyclic orientations that was given by Bernardi and Nadeau in arXiv:1904.01262. We also propose an alternative $K$-analogue $\overline{p}'$ of the $p$-basis that gives slightly cleaner expansion formulas. Our expansions are based on Lyndon heaps, introduced by Lalonde (1995), which are representatives for certain equivalence classes of acyclic orientations on clan graphs of $G$. Additionally, we show that knowing $\overline{X}_G$ is equivalent to knowing the multiset of independence polynomials of induced subgraphs of $G$, which gives shorter proofs of all our results from arXiv:2403.15929 that $\overline{X}_G$ can be used to determine the number of copies in $G$ of certain induced subgraphs. We also give power sum expansions for the Kromatic quasisymmetric function $\overline{X}_G(q)$ defined by Marberg in arXiv:2312.16474 in the case where $G$ is the incomparability graph of a unit interval order.

Let $\bigwedge_1$ and $\bigwedge_2$ be two symmetric function algebras in independent sets of variables. We define vector space bases of $\bigwedge_1 \otimes_\mathbb{Z} \bigwedge_2$ coming from certain quivers, with vertex sets indexed by pairs of partitions. We use these vector space bases to give a positive tableau formula for Littlewood--Richardson coefficients for the product of Schubert polynomials with certain Schur polynomials in two-step flag varieties, in the spirit of the Remmel-Whitney rule for the product of two Schur polynomials in Grassmannians. This in particular covers the cases considered by the Pieri rule.

We introduce two vertex operators to realize skew odd orthogonal characters $so_{λ/μ}(x^{\pm})$ and derive the Cauchy identity for the skew characters via Toeplitz-Hankel-type determinant similar to the Schur functions. The method also gives new proofs of the Jacobi--Trudi identity and Gelfand--Tsetlin patterns for $so_{λ/μ}(x^{\pm})$. Moreover, combining the vertex operators related to characters of types $C,D$ (\cite{Ba1996,JN2015}) and the new vertex operators related to $B$-type characters, we obtain three families of symmetric polynomials that interpolate among characters of $SO_{2n+1}(\mathbb{C})$, $SO_{2n}(\mathbb{C})$ and $Sp_{2n}(\mathbb{C})$, Their transition formulas are also explicitly given among symplectic and/or orthogonal characters and odd orthogonal characters.

A Boolean function in $n$ variables is rotation symmetric (RS) if it is invariant under powers of $ρ(x_1, \ldots, x_n) = (x_2, \ldots, x_n, x_1)$. An RS function is called monomial rotation symmetric (MRS) if it is generated by applying powers of $ρ$ to a single monomial. The author showed in $2017$ that for any RS function $f_n$ in $n$ variables, the sequence of Hamming weights $wt(f_n)$ for all values of $n$ satisfies a linear recurrence with associated recursion polynomial given by the minimal polynomial of a {\em rules matrix}. Examples showed that the usual formula for the weights $wt(f_n)$ in terms of powers of the roots of the minimal polynomial always has simple coefficients. The conjecture that this is always true is the Easy Coefficients Conjecture (ECC). The present paper proves the ECC if the rules matrix satisfies a certain condition. Major applications include an enormous decrease in the amount of computation that is needed to determine the values of $wt(f_n)$ for a quadratic RS function $f_n$ if either $n$ or the order of the recursion for the weights is large, and a simpler way to determine the Dickson form of $f_n.$ The ECC also enables rapid computation of generating functions which give the values of $wt(f_n)$ as coefficients in a power series.

Every symmetric polynomial $h(x)$ with center of symmetry $n/2$ can be expressed as a linear combination in the basis $x^i(1+x)^{n-2i}$. The $γ$-polynomial of $h(x)$, which we denote $γ_h(x)$, records the coefficients of this linear combination. Two decades ago, Brändén and Gal independently showed that if $γ_h(x)$ has nonpositive real roots only, then so does $h(x)$. More recently, Brändén, Ferroni, and Jochemko proved using Lorentzian polynomials that if $γ_h(x)$ is ultra log-concave, then so is $h(x)$, and they raised the question of whether a similar statement can be proved for the usual notion of log-concavity. The purpose of this article is to show that the answer to the question of Brändén, Ferroni, and Jochemko is affirmative. One of the crucial ingredients of the proof is an inequality involving binomial numbers that we establish via a path-counting argument.

Let $n,m$ be positive integers and $c \in \mathbb{Z}_n$, where $\mathbb{Z}_n$ is the ring of integers modulo $n$. We almost complete providing the answer to the following problem, partially solved by N. Alon. Does any infinite sequence over $\mathbb{Z}_n$ contain $m$ same-length consecutive blocks $B_1, \ldots, B_m$ s.t. $\sum B_j + c \prod B_j = 0$ for every $j=1,\ldots,m$ (where $\sum B$ and $\prod B$ denote, respectively, the sum and the product of the elements in block $B$)? In the case of $c=0$, this problem is equivalent to the Van der Waerden theorem. After investigating $B \mapsto \sum B + c\prod B$, we provide other examples of generalizing the Van der Waerden theorem.

The two subjects in the title are related via the specialization of symmetric polynomials at roots of unity. Let $f(z_1,\ldots,z_n)\in\mathbb{Z}[z_1,\ldots,z_n]$ be a symmetric polynomial with integer coefficients and let $ω$ be a primitive $d$th root of unity. If $d|n$ or $d|(n-1)$ then we have $f(1,\ldots,ω^{n-1})\in\mathbb{Z}$. If $d|n$ then of course we have $f(ω,\ldots,ω^n)=f(1,\ldots,ω^{n-1})\in\mathbb{Z}$, but when $d|(n+1)$ we also have $f(ω,\ldots,ω^n)\in\mathbb{Z}$. We investigate these three families of integers in the case $f=h_k^{(b)}$, where $h_k^{(b)}$ is the coefficient of $t^k$ in the generating function $\prod_{i=1}^n (1+z_it+\cdots+(z_it)^{b-1})$. These polynomials were previously considered by several authors. They interpolate between the elementary symmetric polynomials ($b$=2) and the complete homogeneous symmetric polynomials ($b\to\infty$). When $\gcd(b,d)=1$ with $d|n$ or $d|(n-1)$ we find that the integers $h_k^{(b)}=(1,ω,\ldots,ω^{n-1})$ are related to cyclic sieving of multisets with multiplicities bounded above by $b$, generalizing the well know cyclic sieving results for sets ($b=2$) and multisets ($b\to \infty$). When $\gcd(b,d)=1$ and $d|(n+1)$ we find that the integers $h_k^{(b)}(ω,ω^2,\ldots,ω^n)$ are related to the Frobenius coin problem with two coins. The case $\gcd(b,d)\neq 1$ is more complicated. At the end of the paper we combine these results with the expansion of $h_k^{(b)}$ in various bases of the ring of symmetric polynomials.

The inhomogeneous spin $q$-Whittaker polynomials are a family of symmetric polynomials which generalize the Macdonald polynomials at $t=0$. In this paper we prove that they are orthogonal with respect to a variant of the Sklyanin measure on the $n$ dimensional torus and as a result they form a basis of the space of symmetric polynomials in $n$ variables. Instrumental to the proof are inhomogeneous eigenrelations, which partially generalize those of Macdonald polynomials. We also consider several special cases of the inhomogeneous spin $q$-Whittaker polynomials, which include variants of symmetric Grothendieck polynomials or spin Whittaker functions.

The Verschiebung operators $\varphi_t $ are a family of endomorphisms on the ring of symmetric functions, one for each integer $t\geq2$. Their action on the Schur basis has its origins in work of Littlewood and Richardson, and is intimately related with the decomposition of a partition into its $t$-core and $t$-quotient. Namely, they showed that the action on $s_λ$ is zero if the $t$-core of the indexing partition is nonempty, and otherwise it factors as a product of Schur functions indexed by the $t$-quotient. Much more recently, Lecouvey and, independently, Ayyer and Kumari have provided similar formulae for the characters of the symplectic and orthogonal groups, where again the combinatorics of cores and quotients plays a fundamental role. We embed all of these character factorisations in an infinite family involving an integer $z$ and parameter $q$ using a very general symmetric function defined by Hamel and King. The proof hinges on a new characterisation of the $t$-cores and $t$-quotients of $z$-asymmetric partitions which generalise the well-known classifications for self-conjugate and doubled distinct partitions. We also explain the connection between these results, plethysms of symmetric functions and characters of the symmetric group.

Normal crystals (also known as Stembridge crystals) are commonly used to establish the Schur positivity of symmetric functions, as their characters are sums of Schur polynomials. In this paper, we develop a combinatorial framework for a novel family of objects called normal square root crystals, which are closely related to symmetric Grothendieck functions, the $K$-theoretic analogue of Schur functions. Among other applications, this tool leads to a new proof of Buch's combinatorial rule for the multiplication of symmetric Grothendieck functions. The definition of a normal square root crystal, originally formulated by the first two authors, largely mirrors that of normal crystals. Our main result is to show that the character of such a crystal is always a sum of symmetric Grothendieck polynomials. The proof relies on an unexpected connection between the raising operators for our crystals and the Hecke insertion algorithm developed by Buch, Kresch, Shimozono, Tamvakis, and Yong.

The open projected Richardson varieties form a stratification for the partial flag variety $G/P$. We compare the Segre--MacPherson classes of open projected Richardson varieties with those of the corresponding affine Schubert cells by pushing or pulling these classes to the affine Grassmannian. In the case of the Grassmannian $G/P=\operatorname{Gr}_k(\mathbb{C}^n)$, the open projected Richardson varieties are known as open positroid varieties. We obtain symmetric functions that represent the Segre--MacPherson classes of these open positroid varieties, constructed explicitly in terms of pipe dreams for affine permutations.

For an integer partition $ λ$ of $n$ and an $n \times n$ matrix $A$, consider the expansion of the immanant $\text{Imm}^λ(A)$ as a sum indexed by permutations $σ$ of order $n$, with coefficients given by the irreducible characters $χ^λ(\text{ctype}(σ))$ of the symmetric group $S_{n}$, for the cycle type $\text{ctype}(σ) \vdash n$ of $σ$. Skandera et al. have introduced combinatorial interpretations of a generalization of immanants given by replacing the coefficient $χ^λ(\text{ctype}(σ))$ with preimages with respect to the Frobenius morphism of elements among the distinguished bases of the algebra $\textsf{Sym}$ of symmetric functions. Since $ \textsf{Sym}$ is contained in the algebra $\textsf{QSym}$ of quasisymmetric functions, this leads us to further generalize immanants with the use of quasisymmetric functions. Since bases of $ \textsf{QSym}$ are indexed by integer compositions, we make use of cycle compositions in place of cycle types to define the family of quasi-immanants introduced in this paper. This is achieved through the use of the quasisymmetric power sum bases due to Ballantine et al., and we prove a combinatorial formula for the coefficients arising in an analogue, given by a special case of quasi-immanants associated with quasisymmetric Schur functions, of second immanants.

Lefschetz properties and inverse systems have played key roles in understanding the $h$-vector of simplicial spheres. In 1996, Lee established connections between these two algebraic tools and rigidity theory, an area often used in the study of motions of geometric complexes. One of the key ideas, is to translate geometric information about a complex, coming from vertex coordinates, to the algebraic notion of a linear system of parameters. In this paper, we explore similar connections in the nonlinear case, by using recent results of Herzog and Moradi (2021) where they prove that a subset of the elementary symmetric polynomials is always a system of parameters for the Stanley-Reisner ideal of a complex. We investigate connections to the study of Lefschetz properties of monomial ideals. Using this perspective, we recover and extend the well known result of Migliore, Miró-Roig and Nagel on the failure of the WLP of monomial almost complete intersections, by showing that, with one simple exception, every homology sphere has a monomial artinian reduction failing the weak Lefschetz property. Finally, we state probabilistic consequences of our results under a model introduced by Linial and Meshulam. We prove that there exists an open interval for the probability parameter where failure of Lefschetz properties of monomial ideals should be expected.

As introduced by Gutman and Harary, the independence polynomial of a graph serves as the generating polynomial of its independent sets. In 1987, Alavi, Malde, Schwenk and Erdős conjectured that the independence polynomials of all trees are unimodal. In this paper we come up with a new way for proving log-concavity of independence polynomials of graphs by means of their chromatic symmetric functions, which is inspired by a result of Stanley connecting properties of polynomials to positivity of symmetric functions. This method turns out to be more suitable for treating trees with irregular structures, and as a simple application we show that all spiders have log-concave independence polynomials, which provides more evidence for the above conjecture. Moreover, we present two symmetric function analogues of a basic recurrence formula for independence polynomials, and show that all pineapple graphs also have log-concave independence polynomials.

We introduce a variety $Y_{n,k}$, which we call the \textit{affine $Δ$-Springer fiber}, generalizing the affine Springer fiber studied by Hikita, whose Borel-Moore homology has an $S_n$ action and a bigrading that corresponds to the Delta Conjecture symmetric function $\mathrm{rev}_q\,ωΔ'_{e_{k-1}}e_n$ under the Frobenius character map. We similarly provide a geometric interpretation for the Rational Shuffle Theorem in the integer slope case $(km,k)$. The variety $Y_{n,k}$ has a map to the affine Grassmannian whose fibers are the $Δ$-Springer fibers introduced by Levinson, Woo, and the third author. Part of our proof of our geometric realization relies on our previous work on a Schur skewing operator formula relating the Rational Shuffle Theorem to the Delta Conjecture.

Lam, Lee and Shimozono recently introduced backstable double Grothendieck polynomials to represent $K$-theory classes of the infinite flag variety. They used them to define double $β$-Stanley symmetric functions, which expand into double stable Grothendieck functions with polynomial coefficients called double $β$-Edelman--Greene coefficients. Anderson proved these coefficients are $β$-Graham positive. For vexillary permutations, this is equivalent to a statement for skew flagged double $β$-Grothendieck functions. Working in this setting, we give a tableau formula for vexillary double $β$-Edelman--Greene coefficients that is manifestly $β$-Graham positive. Our formula demonstrates a finer notion of positivity than was previously known.

Starting from the Izergin-Korepin 19-vertex model in the quadrant, we introduce two families of rational multivariate functions $F_S$ and $G_S$; these are in direct analogy with functions introduced by Borodin in the context of the higher-spin 6-vertex model in the quadrant. We prove that $F_S(x_1,\dots,x_N;z)$ and $G_S(y_1,\dots,y_M;z)$ are symmetric functions in their alphabets $(x_1,\dots,x_N)$ and $(y_1,\dots,y_M)$, and pair together to yield a Cauchy identity. Both properties are consequences of the Yang-Baxter equation of the model. We show that, in an appropriate limit of the spectral parameters $z$, $F_S$ tends to a stable symmetric function denoted $H_S$. This leads to a simplified version of the Cauchy identity with a fully factorized kernel, and suggests self-duality of the functions $H_S$. We obtain a symmetrization formula for the function $F_S(x_1,\dots,x_N;z)$, which exhibits its symmetry in $(x_1,\dots,x_N)$. In contrast to the 6-vertex model, where $F^{6{\rm V}}_S(x_1,\dots,x_N;z)$ is cast as a sum over the symmetric group $\mathfrak{S}_N$, the symmetrization formula in the 19-vertex model is over a larger set of objects that we define; we call these objects 2-permutations. As a byproduct of the proof of our symmetrization formula, we obtain explicit formulas for the monodromy matrix elements of the 19-vertex model in a basis that renders them totally spatially symmetric.

Given an identity relating families of Schur and power sum symmetric functions, this may be thought of as encoding representation-theoretic properties according to how the $p$-to-$s$ transition matrices provide the irreducible character tables for symmetric groups. The case of the Murnaghan-Nakayama rule for cycles provides that $p_{n} = \sum_{i = 0}^{n-1} (-1)^i s_{(n-i, 1^{i})}$, and, since the power sum generator $p_{n}$ reduces to $ζ(2n)$ for the Riemann zeta function $ζ$ and for specialized values of the indeterminates involved in the inverse limit construction of the algebra of symmetric functions, this motivates both combinatorial and number-theoretic applications related to the given case of the Murnaghan-Nakayama rule. In this direction, since every Schur-hook admits an expansion in terms of twofold products of elementary and complete homogeneous generators, we exploit this property for the same specialization that allows us to express $p_{n}$ with the Bernoulli number $B_{2n}$, using remarkable results due to Hoffman on multiple harmonic series. This motivates our bijective approach, through the use of sign-reversing involutions, toward the determination of identities that relate Schur-hooks and power sum symmetric functions and that we apply to obtain a new recurrence for Bernoulli numbers.

We introduce a superspace analogue of combinatorial Hopf algebras (Aguiar-Bergeron-Sottile, 2006), and show that the Hopf superalgebra of quasi-symmetric (resp. symmetric) functions in superspace (Fishel-Lapointe-Pinto, 2019) is a terminal object in the category of all (resp. cocommutative) combinatorial Hopf superalgebras. We also introduce a superspace analogue of chromatic symmetric functions of graphs (Stanley, 1995) using the chromatic Hopf superalgebra of two-colored graphs.