arXiv++ Combinatorics

In recent years, there has been considerable interest in showing that certain conditions on skew shapes A and B are sufficient for the difference s_A - s_B of their skew Schur functions to be Schur-positive. We determine necessary conditions for the difference to be Schur-positive. Our conditions are motivated by those of Reiner, Shaw and van Willigenburg that are necessary for s_A = s_B, and we deduce a strengthening of their result as a special case.

We conjecture a combinatorial formula for the monomial expansion of the image of any Schur function under the Bergeron-Garsia nabla operator. The formula involves nested labeled Dyck paths weighted by area and a suitable "diagonal inversion" statistic. Our model includes as special cases many previous conjectures connecting the nabla operator to quantum lattice paths. The combinatorics of the inverse Kostka matrix leads to an elementary proof of our proposed formula when q=1. We also outline a possible approach for proving all the extant nabla conjectures that reduces everything to the construction of sign-reversing involutions on explicit collections of signed, weighted objects.

The aim of this note is to introduce a compound basis for the space of symmetric functions. Our basis consists of products of Schur functions and $Q$-functions. The basis elements are indexed by the partitions. It is well known that the Schur functions form an orthonormal basis for our space. A natural question arises. How are these two bases connected? In this note we present some numerical results of the transition matrix for these bases. In particular we will see that the determinant of the transition matrix is a power of 2. This is not a surprising fact. However the explicit formula involves an interesting combinatorial feature. Our compound basis comes from the twisted homogeneous realization of the basic representation of the affine Lie algebras. This note is not written in a standard style of mathematical articles. It is more like a draft of a talk. In particular proofs are not given here. Details and proofs will be published elsewhere.

This work is concerned with some properties of the Young-Fibonacci insertion algorithm and its relation with Fomin's growth diagrams. It also investigates a relation between the combinatorics of Young-Fibonacci tableaux and the study of Okada's algebra associated to the Young-Fibonacci lattice. The original algorithm was introduced by Roby and we redefine it in such a way that both the insertion and recording tableaux of any permutation are \emph{conveniently} interpreted as chains in the Young-Fibonacci lattice. A property of Killpatrick's evacuation is given a simpler proof, but this evacuation is no longer needed in making Roby's and Fomin's constructions coincide. We provide the set of Young-Fibonacci tableaux of size $n$ with a structure of graded poset, induced by the weak order on permutations of the symmetric group, and realized by transitive closure of elementary transformations on tableaux. We show that this poset gives a combinatorial interpretation of the coefficients in the transition matrix from the analogue of complete symmetric functions to analogue of the Schur functions in Okada's algebra. We end with a quite similar observation for four posets on Young-tableaux studied by Taskin.

We introduce a family of rings of symmetric functions depending on an infinite sequence of parameters. A distinguished basis of such a ring is comprised by analogues of the Schur functions. The corresponding structure coefficients are polynomials in the parameters which we call the Littlewood-Richardson polynomials. We give a combinatorial rule for their calculation by modifying an earlier result of B. Sagan and the author. The new rule provides a formula for these polynomials which is manifestly positive in the sense of W. Graham. We apply this formula for the calculation of the product of equivariant Schubert classes on Grassmannians which implies a stability property of the structure coefficients. The first manifestly positive formula for such an expansion was given by A. Knutson and T. Tao by using combinatorics of puzzles while the stability property was not apparent from that formula. We also use the Littlewood-Richardson polynomials to describe the multiplication rule in the algebra of the Casimir elements for the general linear Lie algebra in the basis of the quantum immanants constructed by A. Okounkov and G. Olshanski.

The plethysms of the Weyl characters associated to a classical Lie group by the symmetric functions stabilize in large rank. In the case of a power sum plethysm, we prove that the coefficients of the decomposition of this stabilized form on the basis of Weyl characters are branching coefficients which can be determined by a simple algorithm. This generalizes in particular some classical results by Littlewood on the power sum plethysms of Schur functions. We also establish explicit formulas for the outer multiplicities appearing in the decomposition of the tensor square of any irreducible finite dimensional module into its symmetric and antisymmetric parts. These multiplicities can notably be expressed in terms of the Littlewood-Richardson coefficients.

In this paper, we present a simple combinatorial proof of a Weyl type formula for hook Schur polynomials, which has been obtained by using a Kostant type cohomology formula for $\frak{gl}_{m|n}$. In general, we can obtain in a combinatorial way a Weyl type formula for various highest weight representations of a Lie superalgebra, which together with a general linear algebra forms a Howe dual pair.

R. Stanley has found a nice combinatorial formula for characters of irreducible representations of the symmetric group of rectangular shape. Then, he has given a conjectural generalisation for any shape. Here, we will prove this formula using shifted Schur functions and Jucys-Murphy elements.

We show that certain differences of products of $P$-partition generating functions are positive in the basis of fundamental quasi-symmetric functions L_α. This result interpolates between recent Schur positivity and monomial positivity results of the same flavor. We study the case of chains in detail, introducing certain ``cell transfer'' operations on compositions and an interesting related ``L-positivity'' poset. We introduce and study quasi-symmetric functions called ``wave Schur functions'' and use them to establish, in the case of chains, that the difference of products we study is itself equal to a single generating function K_{P,θ} for a labeled poset (P,θ). In the course of our investigations we establish some factorization properties of the ring of quasisymmetric functions.

We present a single operation for constructing skew diagrams whose corresponding skew Schur functions are equal. This combinatorial operation naturally generalises and unifies all results of this type to date. Moreover, our operation suggests a closely related condition that we conjecture is necessary and sufficient for skew diagrams to yield equal skew Schur functions.

Young's lattice, the lattice of all Young diagrams, has the Robinson-Schensted-Knuth correspondence, the correspondence between certain matrices and pairs of semi-standard Young tableaux with the same shape. Fomin introduced generalized Schur operators to generalize the Robinson-Schensted-Knuth correspondence. In this sense, generalized Schur operators are generalizations of semi-standard Young tableaux. We define a generalization of Schur polynomials as expansion coefficients of generalized Schur operators. We show that the commutating relation of generalized Schur operators implies Pieri's formula to generalized Schur polynomials.

We study multivariable Christoffel-Darboux kernels, which may be viewed as reproducing kernels for antisymmetric orthogonal polynomials, and also as correlation functions for products of characteristic polynomials of random Hermitian matrices. Using their interpretation as reproducing kernels, we obtain simple proofs of Pfaffian and determinant formulas, as well as Schur polynomial expansions, for such kernels. In subsequent work, these results are applied in combinatorics (enumeration of marked shifted tableaux) and number theory (representation of integers as sums of squares).

When one expands a Schur function in terms of the irreducible characters of the symplectic (or orthogonal) group, the coefficient of the trivial character is 0 unless the indexing partition has an appropriate form. A number of q-analogues of this fact were conjectured in math.QA/0112035; the present paper proves most of those conjectures, as well as some new identities suggested by the proof technique. The proof involves showing that a nonsymmetric version of the relevant integral is annihilated by a suitable ideal of the affine Hecke algebra, and that any such annihilated functional satisfies the desired vanishing property. This does not, however, give rise to vanishing identities for the standard nonsymmetric Macdonald and Koornwinder polynomials; we discuss the required modification to these polynomials to support such results.

A result of Foata and Schutzenberger states that two statistics on permutations, the number of inversions and the inverse major index, have the same distribution on a descent class. We give a multivariate generalization of this property: the sorted vectors of the Lehmer code, of the inverse majcode, and of a new code (the inverse saillance code), have the same distribution on a descent class, and their common multivariate generating function is a flagged ribbon Schur function.

We study the cohomology with trivial coefficients of Lie algebras L_k of the polynomial vector fields on the line with zero $k$-jet, (k>=1), and the cohomology of the similar subalgebras {L}_k of the polynomial loops algebra $\widetilde{sl}_2$. In both cases we construct the special bases (filtering bases) in the external complexes of these algebras. A spectral sequence based on this construction allows to completely find the cohomology of L_k and {L}_k. We also apply the filtering bases to find the spectral resolution of the Laplace operators for algebras L_1 and L_0, and obtain explicit formulas for the representing cycles of homologies for algebras L_k and {L}_k by means of the Schur polynomials.

The tensor powers of the vector representation associated to an infinite rank quantum group decompose into irreducible components with multiplicities independant of the infinite root system considered. Although the irreducible modules obtained in this way are not of highest weight, they admit a crystal basis and a canonical basis. This permits in particular to obtain for each familly of classical Lie algebras a Robinson-Schensted correspondence on biwords defined on infinite alphabets. We then depict a structure of bi-crystal on these bi-words. This RS-correspondence yields also a plactic algebra and plactic Schur functions distinct for each infinite root system. Surprisingly, the algebras spanned by these plactic Schur functions are all isomorphic to the algebra of symmetric functions.

Linear recursions of degree $k$ are determined by evaluating the sequence of Generalized Fibonacci Polynomials, $\{F_{k,n}(t_1,...,t_k)\}$ (isobaric reflects of the complete symmetric polynomials) at the integer vectors $(t_1,...,t_k)$. If $F_{k,n}(t_1,...,t_k) = f_n$, then $$f_n - \sum_{j=1}^k t_j f_{n-j} = 0,$$ and $\{f_n\}$ is a linear recursion of degree $k$. On the one hand, the periodic properties of such sequences modulo a prime $p$ are discussed, and are shown to be related to the prime structure of certain algebraic number fields; for example, the arithmetic properties of the period are shown to characterize ramification of primes in an extension field. On the other hand, the structure of the semilocal rings associated with the number field is shown to be completely determined by Schur-hook polynomials. Keywords: Symmetric polynomials, Schur polynomials, linear recursions, number fields.

We exhibit a weight-preserving bijection between semi-standard Young tableaux and semi-skyline augmented fillings to provide a combinatorial proof that the Schur functions decompose into nonsymmetric functions indexed by compositions. The insertion procedure involved in the proof leads to an analogue of the Robinson-Schensted-Knuth Algorithm for semi-skyline augmented fillings. This procedure commutes with the RSK algorithm, and therefore retains many of its properties.

Confirming a conjecture of Mark Shimozono, we identify polynomial representatives for the Schubert classes of the affine Grassmannian as the k-Schur functions in homology and affine Schur functions in cohomology. Our results rely on Kostant and Kumar's nilHecke ring, work of Peterson on the homology of based loops on a compact group, and earlier work of ours on non-commutative k-Schur functions.

We derive a Jacobi-Trudi type formula for Jack functions of rectangular shapes. In this formula, we make use of a hyperdeterminant, which is Cayley's simple generalization of the determinant. In addition, after developing the general theory of hyperdeterminants, we give summation formulae for Schur functions involving hyperdeterminants, and evaluate Toeplitz-type hyperdeterminants by using Jack function theory.