arXiv++ Combinatorics

We study the $t$-Schur measure on partitions, defined by $ \mathbb{P}(λ)=Z^{-1}S_λ(x;t)s_λ(y) $, where $S_λ(x;t)$ denotes the $t$-Schur symmetric functions and $s_λ(y)$ the ordinary Schur functions, and $Z$ is the normalising constant. Using vertex operator calculus, we realise $S_λ(x;t)$ in the charged free-fermion Fock space, yielding a $t$-deformation of the classical boson-fermion correspondence. These realisations give vertex-algebraic proofs of the $t$-Cauchy identities and $t$-Gessel identity. Building on this framework, we compute the correlation functions of the $t$-Schur measure and show that the associated point process is determinantal, with an explicit correlation kernel. The Poissonised $t$-Plancherel measure appears as a specialisation of our construction, so its correlation functions follow as a corollary. As an application, we derive the limiting distribution for the length of the longest ascent pair in a random permutation. Our results interpolate the Schur case at $t=0$, connect to the Schur-$Q$ theory at $t=-1$, and provide a probabilistic interpretation of a natural $t$-refinement of increasing subsequences via a generalised RSK correspondence.

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.

In the 1940s Littlewood formulated three fundamental correspondences for the immanants and Schur symmetric functions on the general linear group, which establish deep connections between representation theory of the symmetric group and the general linear group parallel to the Schur-Weyl duality. In this paper, we introduce the notion of quantum immanants in the quantum coordinate algebra using primitive idempotents of the Hecke algebra. By employing $R$-matrix techniques, we establish the quantum analog of Littlewood correspondences between quantum immanants and Schur functions for the quantum coordinate algebra. In the setting of the Schur-Weyl-Jimbo duality, we construct an exact correspondence between the Gelfand-Tsetlin bases of the irreducible representations of the quantum enveloping algebra $U_q(\mathfrak{gl}(n))$ and Young's orthonormal basis of an irreducible representation of the Hecke algebra $\mathcal H_m$. This isomorphism leads to our trace formula for the quantum immanants, which settled the generalization problem of $q$-analog of Kostant's formular for $λ$-immanants. As applications, we also derive general $q$-Littlewood-Merris-Watkins identities and $q$-Goulden-Jackson identities as special cases of the quantum Littlewood correspondence III.

This paper studies irreducible characters of the $q$-rook monoid algebra $R_n(q)$ using the vertex algebraic method. Based on the Frobenius formula for $R_n(q)$, a new iterative character formula is derived with the help of the vertex operator realization of the Schur symmetric function. The same idea also leads to a simple proof of the Murnaghan-Nakayama rule for $R_n(q)$. We also introduce the bitrace for the $q$-rook monoid and derive its combinatorial formula as a generalization of the bitrace formula for the Iwahori-Hecke algebra. The character table of $R_n(q)$ with $|μ|=5$ is listed in the appendix.

We obtain the Schur positivity of spider graphs of the forms $S(a,2,1)$ and $S(a,4,1)$, which are considered to have the simpliest structures for which the Schur positivity was unknown. The proof outline has four steps. First, we find noncommutative analogs for the chromatic symmetric functions of the spider graphs $S(a,b,1)$. Secondly, we expand the analogs under the $Λ$- and $R$-bases, whose commutative images are the elementary and skew Schur symmetric functions, respectively. Thirdly, we recognize the Schur coefficients via the Littlewood--Richardson rule in terms of norms of multisets of Yamanouchi words. At last we establish the Schur positivity combinatorially together with the aid of computer assistance.

We study the effect of linear transformations on quantum fields with applications to vertex operator presentations of symmetric functions. Properties of linearly transformed quantum fields and corresponding transformations of Hall-Littlewood polynomials are described, including preservation of commutation relations, stability, explicit combinatorial formulas and generating functions. We prove that specializations of linearly transformed Hall-Littlewood polynomials describe all polynomial tau functions of the KP and the BKP hierarchy. Examples of linear transformations are related to multiparameter symmetric functions, Grothendieck polynomials, deformations by cyclotomic polynomials, and some other variations of Schur symmetric functions that exist in the literature.

Over the past years, major attention has been drawn to the question of identifying Schur-positive sets, i.e. sets of permutations whose associated quasisymmetric function is symmetric and can be written as a non-negative sum of Schur symmetric functions. The set of arc permutations, i.e. the set of permutations $π$ in $S_n$ such that for any $1\leq j \leq n$, $\{π(1),π(2),\dots,π(j)\}$ is an interval in $\mathbb{Z}_n$ is one of the most noticeable examples. This paper introduces a new type B extension of Schur-positivity to signed permutations based on Chow's quasisymmetric functions and generating functions for domino tableaux. As an important characteristic, our development is compatible with the works of Solomon regarding the descent algebra of Coxeter groups. In particular, we design descent preserving bijections between signed arc permutations and sets of domino tableaux to show that they are indeed type B Schur-positive.

Let $T$ be a tree on $n$ vertices with $q$-Laplacian $L_T^q$ and Laplacian matrix $L_T$. Let $GTS_n$ be the generalized tree shift poset on the set of unlabelled trees on $n$ vertices. Inequalities are known between coefficients of the immanantal polynomial of $L_T$ (and $L_T^q$) as we go up the poset $GTS_n$. Using the Frobenius characteristic, this can be thought as a result involving the schur symmetric function $s_λ$. In this paper, we use an arbitrary symmetric function to define a {\it generalized matrix function} of an $n \times n$ matrix. When the symmetric function is the monomial and the forgotten symmetric function, we generalize such inequalities among coefficients of the generalized matrix polynomial of $L_T^q$ as we go up the $GTS_n$ poset.

The central object of study is a formal power series that we call the content series, a symmetric function involving an arbitrary underlying formal power series $f$ in the contents of the cells in a partition. In previous work we have shown that the content series satisfies the KP equations. The main result of this paper is a new partial differential equation for which the content series is the unique solution, subject to a simple initial condition. This equation is expressed in terms of families of operators that we call $\mathcal{U}$ and $\mathcal{D}$ operators, whose action on the Schur symmetric function $s_λ$ can be simply expressed in terms of powers of the contents of the cells in $λ$. Among our results, we construct the ${\mathcal{U}}$ and ${\mathcal{D}}$ operators explicitly as partial differential operators in the underlying power sum symmetric functions. We also give a combinatorial interpretation for the content series in terms of the Jucys-Murphy elements in the group algebra of the symmetric group. This leads to an interpretation for the content series as a generating series for branched covers of the sphere by a Riemann surface of arbitrary genus $g$. As particular cases, by suitable choice of the underlying series $f$, the content series specializes to the generating series for three known classes of branched covers: Hurwitz numbers, monotone Hurwitz numbers, and $m$-hypermap numbers. We apply our pde to give new proofs of the explicit formulas for these three classes of number in genus $0$. In the case of the $m$-hypermap numbers of Bousquet-Mélou and Schaeffer, this is the first algebraic proof of this result.

We give an interpretation of the boson-fermion correspondence as a direct consequence of Jacobi-Trudi identity. This viewpoint enables us to construct from a generalized version of the Jacobi-Trudi identity the action of Clifford algebra on polynomial algebras that arrives as analogues of the algebra of symmetric functions. A generalized Giambelli identity is also proved to follow from that identity. As applications, we obtain explicit formulas for vertex operators corresponding to characters of the classical Lie algebras, shifted Schur functions, and generalized Schur symmetric functions associated to linear recurrence relations.

Asymptotic representation theory of general linear groups GL(n,q) over a finite field leads to studying probability measures ρon the group U of all infinite uni-uppertriangular matrices over F_q, with the condition that ρis invariant under conjugations by arbitrary infinite matrices. Such probability measures form an infinite-dimensional simplex, and the description of its extreme points (in other words, ergodic measures ρ) was conjectured by Kerov in connection with nonnegative specializations of Hall-Littlewood symmetric functions. Vershik and Kerov also conjectured the following Law of Large Numbers. Consider an n by n diagonal submatrix of the infinite random matrix drawn from an ergodic measure coming from the Kerov's conjectural classification. The sizes of Jordan blocks of the submatrix can be interpreted as a (random) partition of n, or, equivalently, as a (random) Young diagram λ(n) with n boxes. Then, as n goes to infinity, the rows and columns of λ(n) have almost sure limiting frequencies corresponding to parameters of this ergodic measure. Our main result is the proof of this Law of Large Numbers. We achieve it by analyzing a new randomized Robinson-Schensted-Knuth (RSK) insertion algorithm which samples random Young diagrams λ(n) coming from ergodic measures. The probability weights of these Young diagrams are expressed in terms of Hall-Littlewood symmetric functions. Our insertion algorithm is a modified and extended version of a recent construction by Borodin and the second author (arXiv:1305.5501). On the other hand, our randomized RSK insertion generalizes a version of the RSK insertion introduced by Vershik and Kerov (1986) in connection with asymptotic representation theory of symmetric groups (which is governed by nonnegative specializations of Schur symmetric functions).

We prove that the dimension of the Specht module of a forest $G$ is the same as the normalized volume of the matching polytope of $G$. We also associate to $G$ a symmetric function $s_G$ (analogous to the Schur symmetric function $s_λ$ for a partition $λ$) and investigate its combinatorial and representation-theoretic properties in relation to the Specht module and Schur module of $G$. We then use this to define notions of standard and semistandard tableaux for forests.

A series of bilinear identities on the Schur symmetric functions is obtained with the use of Pluecker relations.

We give a basis for the space V spanned by the lowest degree part \hat{s}_λof the expansion of the Schur symmetric functions s_λin terms of power sums, where we define the degree of the power sum p_i to be 1. In particular, the dimension of the subspace V_n spanned by those \hat{s}_λfor which λis a partition of n is equal to the number of partitions of n whose parts differ by at least 2. We also show that a symmetric function closely related to \hat{s}_λhas the same coefficients when expanded in terms of power sums or augmented monomial symmetric functions. Proofs are based on the theory of minimal border strip decompositions of Young diagrams.

Consider the algebra Q<<x_1,x_2,...>> of formal power series in countably many noncommuting variables over the rationals. The subalgebra Pi(x_1,x_2,...) of symmetric functions in noncommuting variables consists of all elements invariant under permutation of the variables and of bounded degree. We develop a theory of such functions analogous to the ordinary theory of symmetric functions. In particular, we define analogs of the monomial, power sum, elementary, complete homogeneous, and Schur symmetric functions as will as investigating their properties.

For any homomorphism V on the space of symmetric functions, we introduce an operation which creates a q-analog of V. By giving several examples we demonstrate that this quantization occurs naturally within the theory of symmetric functions. In particular, we show that the Hall-Littlewood symmetric functions are formed by taking this q-analog of the Schur symmetric functions and the Macdonald symmetric functions appear by taking the q-analog of the Hall-Littlewood symmetric functions in the parameter t. This relation is then used to derive recurrences on the Macdonald q,t-Kostka coefficients.