arXiv++ Combinatorics

The $q$-Whittaker function $W_λ(\mathbf{x};q)$ associated to a partition $λ$ is a $q$-analogue of the Schur function $s_λ(\mathbf{x})$, and is defined as the $t=0$ specialization of the Macdonald polynomial $P_λ(\mathbf{x};q,t)$. We show combinatorially how to expand $W_λ(\mathbf{x};q)$ in terms of partial flags compatible with a nilpotent endomorphism over the finite field of size $1/q$. This yields an expression analogous to a well-known formula for the Hall-Littlewood functions. We show that considering pairs of partial flags and taking Jordan forms leads to a probabilistic bijection between nonnegative-integer matrices and pairs of semistandard tableaux of the same shape, proving the Cauchy identity for $q$-Whittaker functions. We call our probabilistic bijection the $q$-Burge correspondence, and prove that in the limit as $q\to 0$, we recover a description of the classical Burge correspondence (also known as column RSK) due to Rosso (2012). A key step in the proof is the enumeration of an arbitrary double coset of $\text{GL}_n$ modulo two parabolic subgroups, which we find to be of independent interest. As an application, we use the $q$-Burge correspondence to count isomorphism classes of certain modules over the preprojective algebra of a type $A$ quiver (i.e. a path), refined according to their socle filtrations. This develops a connection between the combinatorics of symmetric functions and the representation theory of preprojective algebras.

Vertically symmetric alternating sign matrices (VSASMs) of order $2n+1$ are known to be equinumerous with lozenge tilings of a hexagon with side lengths $2n+2$, $2n$, $2n+2$, $2n$, $2n+2$, $2n$ and a central triangular hole of size $2$ that exhibit a cyclical as well as a vertical symmetry, but finding an explicit bijection proving this belongs to the most difficult problems in bijective combinatorics. Towards constructing such a bijection, we generalize the result by introducing certain natural extensions for both objects along with $n+3$ parameters and show that the multivariate generating functions with respect to these parameters coincide. This is a significant step from a constant number of equidistributed statistics to a linear number of statistics in $n$. The equinumeracy of VSASMs and the lozenge tilings is then an easy consequence of this result, which is obtained by specializing the generating functions to signed enumerations for both types of objects and then applying certain sign-reversing involutions. Another main result concerns the expansion of the multivariate generating function into symplectic characters as a sum over totally symmetric self-complementary plane partitions, which is in perfect analogy to the situation for ordinary ASMs where the Schur expansion can be written as a sum over totally symmetric plane partitions. This is exciting as it is reminiscent of the well-known Cauchy identity, and the Cauchy identity does have a bijective proof using the Robinson-Schensted-Knuth correspondence, and thus the result raises the question of whether there is a variation of the Robinson-Schensted-Knuth correspondence that does eventually lead to a bijective proof.

We introduce an intermediate family of Laurent polynomials between Schur's $Q$-functions and S. Okada's symplectic $Q$-functions. It can also be regarded as a $Q$-function analogue of Proctor's intermediate symplectic characters, and is named the family of intermediate symplectic $Q$-functions. We also derive a tableau-sum formula and a Józefiak-Pragacz-type Pfaffian formula of the Laurent polynomials.

Robinson-Schensted-Knuth (RSK) correspondence is a bijective correspondence between two-rowed arrays of non-negative integers and pairs of same-shape semistandard tableaux. This correspondence satisfies the symmetry property, that is, exchanging the rows of a two-rowed array is equivalent to exchanging the positions of the corresponding pair of semistandard tableaux. In this article, we introduce a super analogue of the RSK correspondence for super tableaux over a signed alphabet using a super version of Schensted's insertion algorithms. We give a geometrical interpretation of the super-RSK correspondence by a matrix-ball construction, showing the symmetry property in complete generality. We deduce a combinatorial version of the super Littlewood-Richardson rule on super Schur functions over a finite signed alphabet. Finally, we introduce the notion of super Littlewood-Richardson skew tableaux and we give another combinatorial interpretation of the super Littlewood-Richardson rule.

For $k\ge 1$, the homogeneous symmetric functions $G(k,m)$ of degree $m$ defined by $\sum_{m\ge 0} G(k,m) z^m=\prod_{i\ge 1} \big(1+x_iz+x^2_iz^2+\cdots+x^{k-1}_iz^{k-1}\big)$ are called \emph{Petrie symmetric functions}. As derived by Grinberg and Fu--Mei independently, the expansion of $G(k,m)$ in the basis of Schur functions $s_λ$ turns out to be signed multiplicity free, i.e., the coefficients are $-1$, $0$ and $1$. In this paper we give a combinatorial interpretation of the coefficient of $s_λ$ in terms of the $k$-core of $λ$ and a sequence of rim hooks of size $k$ removed from $λ$. We further study the product of $G(k,m)$ with a power sum symmetric function $p_n$. For all $n\ge 1$, we give necessary and sufficient conditions on the parameters $k$ and $m$ in order for the expansion of $G(k,m)\cdot p_n$ in the basis of Schur functions to be signed multiplicity free. This settles affirmatively a conjecture of Alexandersson as the special case $n=2$.

Let $\mathcal{S}$ be the set of all positive-definite, symmetrizable integer matrices with non-zero upper and lower diagonal and $\mathcal{T}$ to be the set of all positive-definite real symmetric matrices with nonzero upper diagonal such that all non-zero entries are square-roots of some positive integers and the matrices satisfy a certain cycle condition. In this paper, for any $n \times n$ matrix $A \in \mathcal{S} \cup \mathcal{T}$ and any $k \in \mathbb{N}$ we find a general lower bound for $Tr_{2^k}(A)$, i.e, the sum of $2^k$-th power of eigenvalues of $A$, which depends on $n$ as well as some other variables. In particular, we obtain the best possible lower bound for $Tr_2(A) $ that is $6n - 5$. As a strong outcome of this result we show that the smallest limit point of $\overline{Tr_2(A)} = \frac{Tr_2(A)}{n}$ is $6$. This is a solution of an analogue of ``Schur - Siegel - Smyth trace problem" for characteristic polynomials of matrices in $\mathcal{S} \cup \mathcal{T}$. We also obtain a lower bound of smallest limit point of $\overline{Tr_{2^k}(A)}$ for any positive integer $k > 1$ and for the same set of matrices. Furthermore, we exhibit that the famous results of Smyth on density of absolute trace measure and absolute trace-2 measure of totally positive integers are also true for the set of symmetric integer connected positive definite matrices.

In 2012 Raghavan, Samuel, and Subrahmanyam showed that the Kazhdan--Lusztig basis for the Iwahori--Hecke algebra in type A provides a ``canonical'' basis for the centraliser algebra of the Schur algebra acting on tensor space. In 2022 the second author found a similar result for the centraliser of the partition algebra acting on the same tensor space. Each basis is indexed by permutations. We exploit these bases to show that the linear decomposition of an arbitrary invariant (in either centraliser algebra) depends integrally on its entries, and describe combinatorial rules that pick out minimal sets of such entries.

Gessel gave a determinantal expression for certain sums of Schur functions which visually looks like the classical Jacobi-Trudi formula. We explain the commonality of these formulas using a construction of Zelevinsky involving BGG complexes and use this explanation to generalize this formula in a few different directions.

The goal of this monograph is to study the indicator function for a set of permutations mapping one finite sequence of positive integers to another from a representation theoretic, combinatorial and probabilistic perspective. The degree of a function of permutations is the size of the largest pair of sequences required when expressing it as a linear combination of these indicators. This notion of degree, implicit in work of Diaconis, is critical for many applications of representation theory to extremal combinatorics, machine learning, probability and statistics. We use the term local to indicate bounded degree and initiate the study of low degree class functions, which encode probabilistic data for permutation statistics on each cycle type simultaneously. We begin with a self contained treatment of for functions of permutations, developing its theory using language familiar to enumerative and algebraic combinatorialists. This leads naturally to a novel basis for symmetric functions we call the path power sum symmetric functions. The most technically challenging part of our work is the path Murnaghan-Nakayama formula, which expands path power sums into Schur functions. By combining the the path Murnaghan-Nakayam formula with the classical theory of character polynomials, one obtains a structural characterization for moments for permutation statistics conditioning on cycle type. We then analyze asymptotic properties of these moments. In doing so, we introduce the novel family of regular permutation statistics, which include almost all reasonable weighted pattern counting statistics. We show a large family of regular statistics satisfy a law of large numbers on a given cycle type depending only on the proportion of fixed points and a have variances depending only on fixed points and two cycles.

We study the space, $R_m$, of $m$-symmetric functions consisting of polynomials that are symmetric in the variables $x_{m+1},x_{m+2},x_{m+3},\dots$ but have no special symmetry in the variables $x_1,\dots,x_m$. We obtain $m$-symmetric Macdonald polynomials by $t$-symmetrizing non-symmetric Macdonald polynomials, and show that they form a basis of $R_m$. We define $m$-symmetric Schur functions through a somewhat complicated process involving their dual basis, tableaux combinatorics, and the Hecke algebra generators, and then prove some of their most elementary properties. We conjecture that the $m$-symmetric Macdonald polynomials (suitably normalized and plethystically modified) expand positively in terms of $m$-symmetric Schur functions. We obtain relations on the $(q,t)$-Koska coefficients $K_{ΩΛ}(q,t)$ in the $m$-symmetric world, and show in particular that the usual $(q,t)$-Koska coefficients are special cases of the $K_{ΩΛ}(q,t)$'s. Finally, we show that when $m$ is large, the positivity conjecture, modulo a certain subspace, becomes a positivity conjecture on the expansion of non-symmetric Macdonald polynomials in terms of non-symmetric Hall-Littlewood polynomials.

We present a preliminary study of Schur norms $\|M\|_{S}=\max\{ \|M\circ C\|: \|C\|=1\}$, where M is a matrix whose entries are $\pm1$, and $\circ$ denotes the entrywise (i.e., Schur or Hadamard) product of the matrices. We show that, if such a matrix M is n-by-n, then its Schur norm is bounded by $\sqrt{n}$, and equality holds if and only if it is a Hadamard matrix. We develop a numerically efficient method of computing Schur norms, and as an application of our results we present several almost Hadamard matrices that are better than were previously known.

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.

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.

We use Drinfeld style generators and relations to define an algebra $\mathfrak{U}_n$ which is a ``$q=0$'' version of the affine quantum group of $\mathfrak{gl}_n.$ We then use the convolution product on the equivariant $K$-theory of varieties of pairs of partial flags in a $d$-dimensional vector space $V$ to define affine $0$-Schur algebras ${\mathbb S}_0^{\operatorname{aff}}(n,d)$ and to prove that for every $d$ there exists a surjective homomorphism from $\mathfrak{U}_n$ to ${\mathbb S}_0^{\operatorname{aff}}(n,d).$

A set $A$ of integers is said to be Schur if any two-colouring of $A$ results in monochromatic $x,y$ and $z$ with $x+y=z$. We study the following problem: how many random integers from $[n]$ need to be added to some $A\subseteq [n]$ to ensure with high probability that the resulting set is Schur? Hu showed in 1980 that when $|A|> \lceil\tfrac{4n}{5}\rceil$, no random integers are needed, as $A$ is already guaranteed to be Schur. Recently, Aigner-Horev and Person showed that for any dense set of integers $A\subseteq [n]$, adding $ω(n^{1/3})$ random integers suffices, noting that this is optimal for sets $A$ with $|A|\leq \lceil\tfrac{n}{2}\rceil$. We close the gap between these two results by showing that if $A\subseteq [n]$ with $|A|=\lceil\tfrac{n}{2}\rceil+t<\lceil\tfrac{4n}{5}\rceil$, then adding $ω(\min\{n^{1/3},nt^{-1}\})$ random integers will with high probability result in a set that is Schur. Our result is optimal for all $t$, and we further provide a stability result showing that one needs far fewer random integers when $A$ is not close in structure to the extremal examples. We also initiate the study of perturbing sparse sets of integers $A$ by using algorithmic arguments and the theory of hypergraph containers to provide nontrivial upper and lower bounds.

We take inspiration from the Okounkov-Vershik approach to the representation theory of the symmetric groups to develop a new way of understanding how the Schur-Weyl duality can be used to perform the Quantum Schur Transform. The Quantum Schur Transform is a unitary change of basis transformation between the computational basis of $(\mathbb{C}^d)^{\otimes n}$ and the Schur-Weyl basis of $(\mathbb{C}^d)^{\otimes n}$. We describe a new multigraph, which we call the Schur-Weyl-Young graph, that represents both standard Weyl tableaux and standard Young tableaux in the same diagram. We suggest a major improvement on Louck's formula for calculating the transition amplitudes between two standard Weyl tableaux appearing in adjacent levels of the Schur-Weyl-Young graph for the case $d=2$, merely by looking at the entries in the two tableaux. The key theoretical component that underpins our results is the discovery of a branching rule for the Schur-Weyl states, which we call the Schur-Weyl branching rule. This branching rule allows us to perform the change of basis transformation described above in a straightforward manner for any $n$ and $d$.

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.