arXiv++ Combinatorics

Let $W$ be an irreducible finite complex reflection group acting on a complex vector space $V$. For a positive integer $k$, we consider a class function $\varphi_k$ given by $\varphi_k(w) = k^{\dim V^w}$ for $w \in W$, where $V^w$ is the fixed-point subspace of $w$. If $W$ is the symmetric group of $n$ letters and $k=n+1$, then $\varphi_{n+1}$ is the permutation character on (classical) parking functions. In this paper, we give a complete answer to the question when $\varphi_k$ (resp. its $q$-analogue) is the character of a representation (resp. the graded character of a graded representation) of $W$. As a key to the proof in the symmetric group case, we find the greatest common divisors of specialized Schur functions. And we propose a unimodality conjecture of the coefficients of certain quotients of principally specialized Schur functions.

This paper proves a combinatorial rule expressing the product $s_τ(s_{λ/μ} \circ p_r)$ of a Schur function and the plethysm of a skew Schur function with a power sum symmetric function as an integral linear combination of Schur functions. This generalizes the SXP rule for the plethysm $s_λ\circ p_r$. Each step in the proof uses either an explicit bijection or a sign-reversing involution. The proof is inspired by an earlier proof of the SXP rule due to Remmel and Shimozono, A simple proof of the Littlewood--Richardson rule and applications, Discrete Mathematics 193 (1998) 257--266. The connections with two later combinatorial rules for special cases of this plethysm are discussed. Two open problems are raised. The paper is intended to be readable by non-experts.

We consider families of quasisymmetric functions with the property that if a symmetric function $f$ is a positive sum of functions in one of these families, then f is necessarily a positive sum of Schur functions. Furthermore, in each of the families studied, we give a combinatorial description of the Schur coefficients of $f$. We organize six such families into a poset, where functions in higher families in the poset are always positive integer sums of functions in each of the lower families. This poset includes the Schur functions, the quasisymmetric Schur functions, the fundamental quasisymmetric generating functions of shifted dual equivalence classes, as well as three new families of functions --- one of which is conjectured to be a basis of the vector space of quasisymmetric functions. Each of the six families is realized as the fundamental quasisymmetric generating functions over the classes of some refinement of dual Knuth equivalence. Thus, we also produce a poset of refinements of dual Knuth equivalence. In doing so, we define quasi-dual equivalence to provide classes that generate quasisymmetric Schur functions.

Let $\mathrm{JT}_λ$ be the Jacobi-Trudi matrix corresponding to the partition $λ$, so $\det\mathrm{JT}_λ$ is the Schur function $s_λ$ in the variables $x_1,x_2,\dots$. Set $x_1=\cdots=x_n=1$ and all other $x_i=0$. Then the entries of $\mathrm{JT}_λ$ become polynomials in $n$ of the form ${n+j-1\choose j}$. We determine the Smith normal form over the ring $\mathbb{Q}[n]$ of this specialization of $\mathrm{JT}_λ$. The proof carries over to the specialization $x_i=q^{i-1}$ for $1\leq i\leq n$ and $x_i=0$ for $i>n$, where we set $q^n=y$ and work over the ring $\mathbb{Q}(q)[y]$.

Involution words are variations of reduced words for involutions in Coxeter groups, first studied under the name of "admissible sequences" by Richardson and Springer. They are maximal chains in Richardson and Springer's weak order on involutions. This article is the first in a series of papers on involution words, and focuses on their enumerative properties. We define involution analogues of several objects associated to permutations, including Rothe diagrams, the essential set, Schubert polynomials, and Stanley symmetric functions. These definitions have geometric interpretations for certain intervals in the weak order on involutions. In particular, our definition of "involution Schubert polynomials" can be viewed as a Billey-Jockusch-Stanley type formula for cohomology class representatives of $\mathrm{O}_n$- and $\mathrm{Sp}_{2n}$-orbit closures in the flag variety, defined inductively in recent work of Wyser and Yong. As a special case of a more general theorem, we show that the involution Stanley symmetric function for the longest element of a finite symmetric group is a product of staircase-shaped Schur functions. This implies that the number of involution words for the longest element of a finite symmetric group is equal to the dimension of a certain irreducible representation of a Weyl group of type $B$.

We examine and present new combinatorics for the Schur polynomials from the viewpoint of quantum integrability. We introduce and analyze an integrable six-vertex model which can be viewed as a certain degeneration model from a t-deformed boson model. By a detailed analysis of the wavefunction from the quantum inverse scattering method, we present a novel combinatorial formula which expresses the Schur polynomials by using an additional parameter, which is in the same sense but different from the Tokuyama formula. We also give an algebraic analytic proof for the Cauchy identity and make applications of the domain wall boundary partition functions to the enumeration of alternating sign matrices.

The Murnaghan-Nakayama rule expresses the product of a Schur function with a Newton power sum in the basis of Schur functions. We establish a version of the Murnaghan-Nakayama rule for Schubert polynomials and a version for the quantum cohomology ring of the Grassmannian. These rules compute all intersections of Schubert cycles with tautological classes coming from the Chern character.

Let $G$ be the product $GL_r(C) \times (C^\times)^n$. We show that the $G$-equivariant Chow class of a $G$ orbit closure in the space of $r$-by-$n$ matrices is determined by a matroid. To do this, we split the natural surjective map from the $G$ equvariant Chow ring of the space of matrices to the torus equivariant Chow ring of the Grassmannian. The splitting takes the class of a Schubert variety to the corresponding factorial Schur polynomial, and also has the property that the class of a subvariety of the Grassmannian is mapped to the class of the closure of those matrices whose row span is in the variety.

We construct the affine version of the Fomin-Kirillov algebra, called the affine FK algebra, to investigate the combinatorics of affine Schubert calculus for type $A$. We introduce Murnaghan-Nakayama elements and Dunkl elements in the affine FK algebra. We show that they are commutative as Bruhat operators, and the commutative algebra generated by these operators is isomorphic to the cohomology of the affine flag variety. We show that the cohomology of the affine flag variety is product of the cohomology of an affine Grassmannian and a flag variety, which are generated by MN elements and Dunkl elements respectively. The Schubert classes in cohomology of the affine Grassmannian (resp. the flag variety) can be identified with affine Schur functions (resp. Schubert polynomials) in a quotient of the polynomial ring. Affine Schubert polynomials, polynomial representatives of the Schubert class in the cohomology of the affine flag variety, can be defined in the product of two quotient rings using the Bernstein-Gelfand-Gelfand operators interpreted as divided difference operators acting on the affine Fomin-Kirillov algebra. As for other applications, we obtain Murnaghan-Nakayama rules both for the affine Schubert polynomials and affine Stanley symmetric functions. We also define $k$-strong-ribbon tableaux from Murnaghan-Nakayama elements to provide a new formula of $k$-Schur functions. This formula gives the character table of the representation of the symmetric group whose Frobenius characteristic image is the $k$-Schur function.

We will look at the Catalan numbers from the {\it Rigged Configurations} point of view originated \cite{Kir} from an combinatorial analysis of the Bethe Ansatz Equations associated with the higher spin anisotropic Heisenberg models . Our strategy is to take a combinatorial interpretation of Catalan numbers $C_n$ as the number of standard Young tableaux of rectangular shape $(n^2)$, or equivalently, as the Kostka number $K_{(n^2),1^{2n}}$, as the starting point of research. We observe that the rectangular (or multidimensional) Catalan numbers $ C(m,n)$ introduced and studied by P. MacMahon \cite{Mc}, \cite{Su1}, see also \cite{Su2}, can be identified with the Kostka number $K_{(n^m),1^{mn}}$, and therefore can be treated by Rigged Configurations technique. Based on this technique we study the stretched Kostka numbers and polynomials, and give a proof of `` a strong rationality `` of the stretched Kostka polynomials. This result implies a polynomiality property of the stretched Kostka and stretched Littlewood--Richardson coefficients \cite{KT}, \cite{Ras}, \cite{Ki1}. Another application of the Rigged Configuration technique presented, is a new family of counterexamples to Okounkov's log-concavity conjecture \cite{Ok}. Finally, we apply Rigged Configurations technique to give a combinatorial prove of the unimodality of the principal specialization of the internal product of Schur functions. In fact we prove a combinatorial formula for generalized $q$-Gaussian polynomials which is a far generalization of the so-called $KOH$-identity \cite{O}, as well as it manifests the unimodality property of the $q$-Gaussian polynomials.

A classical theorem proved in 1942 by I.J. Schoenberg describes all real-valued functions that preserve positivity when applied entrywise to positive semidefinite matrices of arbitrary size; such functions are necessarily analytic with non-negative Taylor coefficients. Despite the great deal of interest generated by this theorem, a characterization of functions preserving positivity for matrices of fixed dimension is not known. In this paper, we provide a complete description of polynomials of degree $N$ that preserve positivity when applied entrywise to matrices of dimension $N$. This is the key step for us then to obtain negative lower bounds on the coefficients of analytic functions so that these functions preserve positivity in a prescribed dimension. The proof of the main technical inequality is representation theoretic, and employs the theory of Schur polynomials. Interpreted in the context of linear pencils of matrices, our main results provide a closed-form expression for the lowest critical value, revealing at the same time an unexpected spectral discontinuity phenomenon. Tight linear matrix inequalities for Hadamard powers of matrices and a sharp asymptotic bound for the matrix-cube problem involving Hadamard powers are obtained as applications. Positivity preservers are also naturally interpreted as solutions of a variational inequality involving generalized Rayleigh quotients. This optimization approach leads to a novel description of the simultaneous kernels of Hadamard powers, and a family of stratifications of the cone of positive semidefinite matrices.

Lam and Pylyavskyy introduced loop symmetric functions as a generalization of symmetric functions. They defined loop Schur functions as generating functions over semistandard tableaux with respect to a `colored weight,' and they proved a Jacobi--Trudi-style determinantal formula for these generating functions. We prove that loop Schur functions can be expressed as a ratio of `loop alternants,' extending the analogy with Schur functions. As an application, we give a new proof of the loop version of the Murnaghan--Nakayama rule.

Schubert polynomials were discovered by A. Lascoux and M. Schützenberger in the study of cohomology rings of flag manifolds in 1980's. These polynomials generalize Schur polynomials, and form a linear basis of multivariate polynomials. In 2003, Lenart and Sottile introduced skew Schubert polynomials, which generalize skew Schur polynomials, and expand in the Schubert basis with the generalized Littlewood-Richardson coefficients. In this paper we initiate the study of these two families of polynomials from the perspective of computational complexity theory. We first observe that skew Schubert polynomials, and therefore Schubert polynomials, are in $\CountP$ (when evaluating on non-negative integral inputs) and $\VNP$. Our main result is a deterministic algorithm that computes the expansion of a polynomial $f$ of degree $d$ in $\Z[x_1, \dots, x_n]$ in the basis of Schubert polynomials, assuming an oracle computing Schubert polynomials. This algorithm runs in time polynomial in $n$, $d$, and the bit size of the expansion. This generalizes, and derandomizes, the sparse interpolation algorithm of symmetric polynomials in the Schur basis by Barvinok and Fomin (Advances in Applied Mathematics, 18(3):271--285). In fact, our interpolation algorithm is general enough to accommodate any linear basis satisfying certain natural properties. Applications of the above results include a new algorithm that computes the generalized Littlewood-Richardson coefficients.

This is an overview of recent results on the use of 2D Toda $τ$-functions as generating functions for multiparametric families of weighted Hurwitz numbers. The Bose-Fermi equivalence composed with the characteristic map provides an isomorphism between the zero charge sector of the Fermionic Fock space and the direct sum of the centers of the group algebra of the symmetric groups $S_n$. Specializing the fermionic formula to the case of diagonal group elements gives $τ$-functions of hypergeometric type, for which the expansion over products of Schur functions is diagonal, with coefficients of {\em content product} type. The corresponding abelian group action on the centre of the $S_n$ group algebra is determined by forming symmetric functions multiplicatively from a weight generating function $G(z)$ and evaluating on the Jucys-Murphy elements of the group algebra. The resulting central elements act diagonally on the basis of orthogonal idempotents and the eigenvalues $r^{G(z)}_λ$ are the {\em content product} coefficients appearing in the double Schur function expansion. Both the geometrical meaning of weighted Hurwitz numbers, as weighted sums over $n$-sheeted branched coverings, and the combinatorial one, as weighted enumeration of paths in the Cayley graph of $S_n$ generated by transpositions follow from expansion of the Cauchy-Littlewood generating functions over dual pairs of bases of the algebra of symmetric functions. The coefficients in the resulting $τ$-function expansion over products of power sum symmetric functions are the weighted Hurwitz numbers. Replacement of the Cauchy-Littlewood generating function by that for Macdonald polynomials provides $(q,t)$-deformations that yield generating functions for quantum weighted Hurwitz numbers.

Parametric families in the centre ${\bf Z}({\bf C}[S_n])$ of the group algebra of the symmetric group are obtained by identifying the indeterminates in the generating function for Macdonald polynomials as commuting Jucys-Murphy elements. Their eigenvalues provide coefficients in the double Schur function expansion of 2D Toda $τ$-functions of hypergeometric type. Expressing these in the basis of products of power sum symmetric functions, the coefficients may be interpreted geometrically as parametric families of quantum Hurwitz numbers, enumerating weighted branched coverings of the Riemann sphere. Combinatorially, they give quantum weighted sums over paths in the Cayley graph of $S_n$ generated by transpositions. Dual pairs of bases for the algebra of symmetric functions with respect to the scalar product in which the Macdonald polynomials are orthogonal provide both the geometrical and combinatorial significance of these quantum weighted enumerative invariants.

We prove a conjecture of Cuttler et al.~[2011] [A. Cuttler, C. Greene, and M. Skandera; \emph{Inequalities for symmetric means}. European J. Combinatorics, 32(2011), 745--761] on the monotonicity of \emph{normalized Schur functions} under the usual (dominance) partial-order on partitions. We believe that our proof technique may be helpful in obtaining similar inequalities for other symmetric functions.

A recent paper of Bump, McNamara and Nakasuji introduced a factorial version of Tokuyama's identity, expressing the partition function of a six vertex model as the product of a t-deformed Vandermonde and a Schur function. Here we provide an extension of their result by exploiting the language of primed shifted tableaux, with its proof based on the use of non-intersecting lattice paths.

For a given skew shape, we build a crystal graph on the set of all reverse plane partitions that have this shape. As a consequence, we get a simple extension of the Littlewood-Richardson rule for the expansion of the corresponding dual stable Grothendieck polynomial in terms of Schur polynomials.

Recently, Kim and Oh expressed the Selberg integral in terms of the number of Young books which are a generalization of standard Young tableaux of shifted staircase shape. In this paper the generating function for Young books according to major index statistic is considered. It is shown that this generating function can be written as a Jackson integral which gives a new $q$-Selberg integral. It is also shown that the new $q$-Selberg integral has an expression in terms of Schur functions.

We use recent work of Jonah Blasiak (2012) to prove a stability result for the coefficients in the Kronecker product of two Schur functions: one indexed by a hook partition and one indexed by a rectangle partition. We also give bounds for the size of the partition starting with which the Kronecker coefficients are stable. Moreover, we show that once the bound is reached, no new Schur functions appear in the decomposition of Kronecker product, thus allowing one to recover the decomposition from the smallest case in which the stability holds.