arXiv++ Combinatorics

We conjecture an evaluation of three-partition cyclic Hodge integrals in terms of loop Schur functions. Our formula implies the orbifold Gromov-Witten/Donaldson-Thomas correspondence for toric Calabi-Yau threefolds with transverse type A singularities. We prove the formula in the case where one of the partitions is empty, and thus establish the orbifold Gromov- Witten/Donaldson-Thomas correspondence for local toric surfaces with transverse type A singularities.

Vertex operator realizations of symplectic and orthogonal Schur functions are studied and expanded. New proofs of determinant identities of irreducible characters for the symplectic and orthogonal groups are given. We also give a new proof of the duality between the universal orthogonal and symplectic Schur functions using vertex operators.

Subtraction-free computational complexity is the version of arithmetic circuit complexity that allows only three operations: addition, multiplication, and division. We use cluster transformations to design efficient subtraction-free algorithms for computing Schur functions and their skew, double, and supersymmetric analogues, thereby generalizing earlier results by P. Koev. We develop such algorithms for computing generating functions of spanning trees, both directed and undirected. A comparison to the lower bound due to M. Jerrum and M. Snir shows that in subtraction-free computations, "division can be exponentially powerful." Finally, we give a simple example where the gap between ordinary and subtraction-free complexity is exponential.

Reiner, Shaw and van Willigenburg showed that if two skew Schur functions s_A and s_B are equal, then the skew shapes A and B must have the same "row overlap partitions." Here we show that these row overlap equalities are also implied by a much weaker condition than skew Schur equality: that s_A and s_B have the same support when expanded in the fundamental quasisymmetric basis F. Surprisingly, there is significant evidence supporting a conjecture that the converse is also true. In fact, we work in terms of inequalities, showing that if the F-support of s_A contains that of s_B, then the row overlap partitions of A are dominated by those of B, and again conjecture that the converse also holds. Our evidence in favor of these conjectures includes their consistency with a complete determination of all F-support containment relations for F-multiplicity-free skew Schur functions. We conclude with a consideration of how some other quasisymmetric bases fit into our framework.

Let $G$ be the group $GL_r(C) \times (C^\times)^n$. We conjecture that the finely-graded Hilbert series of a $G$ orbit closure in the space of $r$-by-$n$ matrices is wholly determined by the associated matroid. In support of this, we prove that the coefficients of this Hilbert series corresponding to certain hook-shaped Schur functions in the $GL_r(C)$ variables are determined by the matroid, and that the orbit closure has a set-theoretic system of ideal generators whose combinatorics are also so determined. We also discuss relations between these Hilbert series for related matrices, including their stabilizing behaviour as $r$ increases.

In this paper, we derive a relation of new kind between certain character values of symmetric groups in terms of so-called maya diagrams. We also investigate a relation between our result and Bernstein's creation operators for Schur functions, and consider analogous relations for projective characters of symmetric groups through creation operators for Schur $Q$-functions. We also consider analogous relations for characters of Brauer algebras and walled Brauer algebras.

A poset on a certain class of partitions known as k-shapes was recently introduced to provide a combinatorial rule for the expansion of a (k-1)-Schur functions into k-Schur functions at t=1. The main ingredient in this construction was a bijection, which we call the weak bijection, that associates to a k-tableau a pair made out of a (k-1)-tableau and a path in the poset of k-shapes. We define here a concept of charge on k-tableaux (which conjecturally gives a combinatorial interpretation for the expansion coefficients of Hall-Littlewood polynomials into k-Schur functions), and show that it is compatible in the standard case with the weak bijection. In particular, we obtain that the usual charge of a standard tableau of size n is equal to the sum of the charges of its corresponding paths in the poset of k-shapes, for k=2,3...n.

A Lie theoretic interpretation is given for some formulas of Schur functions and Schur $Q$-functions. Two realizations of the basic representation of the Lie algebra $A^{(2)}_2$ are considered; one is on the fermionic Fock space and the other is on the bosonic polynomial space. Via the boson-fermion correspondence, simple relations of the vacuum expectation values of fermions turn out to be algebraic relations of Schur functions.

Generalizing the notion of a vexillary permutation, we introduce a filtration of S_infinity by the number of Schur function terms in the Stanley symmetric function, with the kth filtration level called the k-vexillary permutations. We show that for each k, the k-vexillary permutations are characterized by avoiding a finite set of patterns. A key step is the construction of a Specht series, in the sense of James and Peel, for the Specht module associated to the diagram of a permutation. As a corollary, we prove a conjecture of Liu on diagram varieties for certain classes of permutation diagrams. We apply similar techniques to characterize multiplicity-free Stanley symmetric functions, as well as permutations whose diagram is equivalent to a forest in the sense of Liu.

FPSAC 2013 Extended Abstract. We introduce a new basis of the non-commutative symmetric functions whose elements have Schur functions as their commutative images. Dually, we build a basis of the quasi-symmetric functions which expand positively in the fundamental quasi-symmetric functions and decompose Schur functions according to a signed combinatorial formula.

We give a Littlewood-Richardson type rule for expanding the product of a row-strict quasisymmetric Schur function and a symmetric Schur function in terms of row-strict quasisymmetric Schur functions. We then discuss a family of polynomials called Demazure atoms. We review the known characterizations of these polynomials and then present two new characterizations. Finally, we consider a family of polynomials called permuted basement nonsymmetric Macdonald polynomials which are obtained by permuting the basement of the combinatorial formula of Haglund, Haiman, and Loehr for nonsymmetric Macdonald polynomials. We show that these permuted basement nonsymmetric Macdonald polynomials are the simultaneous eigenfunctions of a family of commuting operators in the double affine Hecke algebra.

In 2007 Sami Assaf introduced dual equivalence graphs as a method for demonstrating that a quasisymmetric function is Schur positive. The method involves the creation of a graph whose vertices are weighted by Ira Gessel's fundamental quasisymmetric functions so that the sum of the weights of a connected component is a single Schur function. In this paper, we improve on Assaf's axiomatization of such graphs, giving locally testable criteria that are more easily verified by computers. We further advance the theory of dual equivalence graphs by describing a broader class of graphs that correspond to an explicit Schur expansion in terms of Yamanouchi words. Along the way, we demonstrate several symmetries in the structure of dual equivalence graphs. We then apply these techniques to give explicit Schur expansions for a family of Lascoux-Leclerc-Thibon polynomials. This family properly contains the previously known case of polynomials indexed by two skew shapes, as was described in a 1995 paper by Christophe Carré and Bernard Leclerc. As an immediate corollary, we gain an explicit Schur expansion for a family of modified Macdonald polynomials in terms of Yamanouchi words. This family includes all polynomials indexed by shapes with at most three cells in the first row and at most two cells in the second row, providing an extension to the combinatorial description of the two column case described in 2005 by James Haglund, Mark Haiman, and Nick Loehr.

This book is an exposition of the current state of research of affine Schubert calculus and $k$-Schur functions. This text is based on a series of lectures given at a workshop titled "Affine Schubert Calculus" that took place in July 2010 at the Fields Institute in Toronto, Ontario. The story of this research is told in three parts: 1. Primer on $k$-Schur Functions 2. Stanley symmetric functions and Peterson algebras 3. Affine Schubert calculus

The Schur function indexed by a partition lambda with at most n parts is the sum of the weight monomials for the Young tableaux of shape lambda. Let pi be an n-permutation. We give two descriptions of the tableaux that contribute their monomials to the key polynomial indexed by pi and lambda. (These polynomials are the characters of the Demazure modules for GL(n).) The "atom" indexed by pi is the sum of weight monomials of the tableaux whose right keys are the "key" tableau for pi. Schur functions and key polynomials can be decomposed into sums of atoms. We also describe the tableaux that contribute to an atom, the tableaux that have a left key equal to a given key, and the tableaux that have a left key bounded below by a given key.

Macdonald superpolynomials provide a remarkably rich generalization of the usual Macdonald polynomials. The starting point of this work is the observation of a previously unnoticed stability property of the Macdonald superpolynomials when the fermionic sector m is sufficiently large: their decomposition in the monomial basis is then independent of m. These stable superpolynomials are readily mapped into bisymmetric polynomials, an operation that spoils the ring structure but drastically simplifies the associated vector space. Our main result is a factorization of the (stable) bisymmetric Macdonald polynomials, called double Macdonald polynomials and indexed by pairs of partitions, into a product of Macdonald polynomials (albeit subject to non-trivial plethystic transformations). As an off-shoot, we note that, after multiplication by a t-Vandermonde determinant, this provides explicit formulas for a large class of Macdonald polynomials with prescribed symmetry. The factorization of the double Macdonald polynomials leads immediately to the generalization of basically every elementary properties of the Macdonald polynomials to the double case (norm, kernel, duality, positivity, etc). When lifted back to superspace, this validates various previously formulated conjectures in the stable regime. The q,t-Kostka coefficients associated to the double Macdonald polynomials are shown to be q,t-analogs of the dimensions of the irreducible representations of the hyperoctahedral group B_n. Moreover, a Nabla operator on the double Macdonald polynomials is defined and its action on a certain bisymmetric Schur function can be interpreted as the Frobenius series of a bigraded module of dimension (2n+1)^n, a formula again characteristic of the Coxeter group of type B_n. Finally, as a side result, we obtain a simple identity involving products of four Littlewood-Richardson coefficients.

In the Hopf algebra of symmetric functions, Sym, the basis of Schur functions is distinguished since every Schur function is isomorphic to an irreducible character of a symmetric group under the Frobenius characteristic map. In this note we show that in the Hopf algebra of noncommutative symmetric functions, Nsym, of which Sym is a quotient, the recently discovered basis of noncommutative Schur functions exhibits that every noncommutative Schur function is isomorphic to a noncommutative irreducible character of a symmetric group when working in noncommutative character theory. We simultaneously show that a second basis of Nsym consisting of Young noncommutative Schur functions also satisfies that every element is isomorphic to a noncommutative irreducible character of a symmetric group.

We show that the geometric lifting of the RSK correspondence introduced by A.N. Kirillov (2001) is volume preserving with respect to a natural product measure on its domain, and that the integrand in Givental's integral formula for GL(n,R)-Whittaker functions arises naturally in this context. Apart from providing further evidence that Whittaker functions are the natural analogue of Schur polynomials in this setting, our results also provide a new `combinatorial' framework for the study of random polymers. When the input matrix consists of random inverse gamma distributed weights, the probability distribution of a polymer partition function constructed from these weights can be written down explicitly in terms of Whittaker functions. Next we restrict the geometric RSK mapping to symmetric matrices and show that the volume preserving property continues to hold. We determine the probability law of the polymer partition function with inverse gamma weights that are constrained to be symmetric about the main diagonal, with an additional factor on the main diagonal. The third combinatorial mapping studied is a variant of the geometric RSK mapping for triangular arrays, which is again showed to be volume preserving. This leads to a formula for the probability distribution of a polymer model whose paths are constrained to stay below the diagonal. We also show that the analogues of the Cauchy-Littlewood identity in the setting of this paper are equivalent to a collection of Whittaker integral identities conjectured by Bump (1989) and Bump and Friedberg (1990) and proved by Stade (2001, 2002). Our approach leads to new `combinatorial' proofs and generalizations of these identities, with some restrictions on the parameters.

The determinantal form of the partition function of the 6-vertex model with domain wall boundary conditions was given by Izergin. It is known that for a special value of the crossing parameter the partition function reduces to a Schur polynomial. Caradoc, Foda and Kitanine computed the partition function of the higher spin generalization of the 6-vertex model. In the present work it is shown that for a special value of the crossing parameter, referred to as the combinatorial point, the partition function reduces to a Macdonald polynomial.

To every labeled poset (P,ω), one can associate a quasisymmetric generating function for its (P,ω)-partitions. We ask: when do two labeled posets have the same generating function? Since the special case corresponding to skew Schur function equality is still open, a complete classification of equality among (P,ω) generating functions is likely too much to expect. Instead, we determine necessary conditions and separate sufficient conditions for two labeled posets to have equal generating functions. We conclude with a classification of all equalities for labeled posets with small numbers of linear extensions.

We study multiplication of any Schubert polynomial $\mathfrak{S}_w$ by a Schur polynomial $s_λ$ (the Schubert polynomial of a Grassmannian permutation) and the expansion of this product in the ring of Schubert polynomials. We derive explicit nonnegative combinatorial expressions for the expansion coefficients for certain special partitions $λ$, including hooks and the 2x2 box. We also prove combinatorially the existence of such nonnegative expansion when the Young diagram of $λ$ is a hook plus a box at the (2,2) corner. We achieve this by evaluating Schubert polynomials at the Dunkl elements of the Fomin-Kirillov algebra and proving special cases of the nonnegativity conjecture of Fomin and Kirillov. This approach works in the more general setup of the (small) quantum cohomology ring of the complex flag manifold and the corresponding (3-point) Gromov-Witten invariants. We provide an algebro-combinatorial proof of the nonnegativity of the Gromov-Witten invariants in these cases, and present combinatorial expressions for these coefficients.