arXiv++ Combinatorics

Formulas are obtained that express the Schur S-functions indexed by Young diagrams of rectangular shape as linear combinations of "mixed" products of Schur's S- and Q-functions. The proof is achieved by using representations of the affine Lie algebra of type A_1^{(1)}. A realization of the basic representation that is of ``D_2^{(2)}''-type plays the central role.

Let X,Y be finite sets and T a set of functions from X -> Y which we will call "tableaux". We define a simplicial complex whose facets, all of the same dimension, correspond to these tableaux. Such "tableau complexes" have many nice properties, and are frequently homeomorphic to balls, which we prove using vertex decompositions. In our motivating example, the facets are labeled by semistandard Young tableaux, and the more general interior faces are labeled by Buch's set-valued semistandard tableaux. One vertex decomposition of this "Young tableau complex" parallels Lascoux's transition formula for vexillary double Grothendieck polynomials. Consequently, we obtain formulae (both old and new) for these polynomials. In particular, we present a common generalization of the formulae of Wachs and Buch, each of which implies the classical tableau formula for Schur polynomials.

We present an affirmative answer to Stanley's zrank problem, namely, the zrank and rank are equal for any skew partition. We show that certain classes of restricted Cauchy matrices are nonsingular and furthermore, the signs depend on the number of zero entries. Similar to notion of the jrank of a skew partition, we give a characterization of the rank in terms of the Giambelli type matrices of the corresponding skew Schur functions. We also show that the sign of the determinant of a factorial Cauchy matrix is uniquely determined by the number of its zero entries, which implies the nonsingularity of the inverse binomial coefficient matrix.

In this paper, we study Grothendieck polynomials from a combinatorial viewpoint. We introduce the factorial Grothendieck polynomials, analogues of the factorial Schur functions and present some of their properties, and use them to produce a generalisation of a Littlewood-Richardson rule for Grothendieck polynomials.

Let $LG_n$ denote the Lagrangian Grassmannian parametrizing maximal isotropic (Lagrangian) subspaces of a fixed symplectic vector space of dimension $2n.$ For each strict partition $λ=(λ_1,...,λ_k)$ with $λ_1\leq n$ there is a Schubert variety $X(λ).$ Let $T$ denote a maximal torus of the symplectic group acting on $LG_n.$ Consider the $T$-equivariant cohomology of $LG_n$ and the $T$-equivariant fundamental class $σ(λ)$ of $X(λ).$ The main result of the present paper is an explicit formula for the restriction of the class $σ(λ)$ to any torus fixed point. The formula is written in terms of factorial analogue of the Schur $Q$-function, introduced by Ivanov. As a corollary to the restriction formula, we obtain an equivariant version of the Giambelli-type formula for $LG_n.$ As another consequence of the main result, we obtained a presentation of the ring $H_T^*(LG_n).$

By using cutting strips and transformations on outside decompositions of a skew diagram, we show that the Giambelli type matrices of a skew Schur function are stably equivalent to each other over symmetric functions. As a consequence, the Jacobi-Trudi matrix and the dual Jacobi-Trudi matrix are stably equivalent over symmetric functions. This gives an affirmative answer to an open problem posed by Kuperberg.

We give a bijective proof of an identity relating primed shifted gl(n)-standard tableaux to the product of a gl(n) character in the form of a Schur function and a product of sums of x and y terms. This result generalises a number of well--known results due to Robbins and Rumsey, Chapman, Tokuyama, Okada and Macdonald. An analogous result is then obtained in the case of primed shifted sp(2n)-standard tableaux which are bijectively related to the product of a t-deformed sp(2n) character and another x and y product. All results are also interpreted in terms of alternating sign matrix identities, including a result regarding subsets of ASMs specified by conditions on certain restricted column sums.

We attempt to explain the ubiquity of tableaux and of Pieri and Cauchy formulae for combinatorially defined families of symmetric functions. We show that such formulae are to be expected from symmetric functions arising from representations of Heisenberg algebras. The resulting framework that we describe is a generalization of the classical Boson-Fermion correspondence, from which Schur functions arise. Our work can be used to understand Hall-Littlewood polynomials, Macdonald polynomials and Lascoux, Leclerc and Thibon's ribbon functions, together with other new families of symmetric functions.

We show that the Grothendieck bialgebra of the semi-tower of partition lattice algebras is isomorphic to the graded dual of the bialgebra of symmetric functions in noncommutative variables. In particular this isomorphism singles out a canonical new basis of the symmetric functions in noncommutative variables which would be an analogue of the Schur function basis for this bialgebra.

We find presentations by generators and relations for the equivariant quantum cohomology of the Grassmannian. For these presentations, we also find determinantal formulae for the equivariant quantum Schubert classes. To prove this, we use the theory of factorial Schur functions and a characterization of the equivariant quantum cohomology ring.

We give combinatorial proofs that certain families of differences of products of Schur functions are monomial-positive. We show in addition that such monomial-positivity is to be expected of a large class of generating functions with combinatorial definitions similar to Schur functions. These generating functions are defined on posets with labelled Hasse diagrams and include for example generating functions of Stanley's $(P,ω)$-partitions.

Given two polynomials f(x) and g(x), we extend the formula expressing the remainder in terms of the roots of these two polynomials to the case where f(x) is a Laurent polynomial. This allows us to give new expressions of a Schur function, which generalize the Giambelli identity.

The rank of a skew partition $λ/μ$, denoted $rank(λ/μ)$, is the smallest number $r$ such that $λ/μ$ is a disjoint union of $r$ border strips. Let $s_{λ/μ}(1^t)$ denote the skew Schur function $s_{λ/μ}$ evaluated at $x_1=...=x_t=1, x_i=0$ for $i>t$. The zrank of $λ/μ$, denoted $zrank(λ/μ)$, is the exponent of the largest power of $t$ dividing $s_{λ/μ}(1^t)$. Stanley conjectured that $rank(λ/μ)=zrank(λ/μ)$. We show the equivalence between the validity of the zrank conjecture and the nonsingularity of restricted Cauchy matrices. In support of Stanley's conjecture we give affirmative answers for some special cases.

Plane partitions naturally appear in many problems of statistical physics and quantum field theory, for instance, in the theory of faceted crystals and of topological strings on Calabi-Yau threefolds. In this paper a connection is made between the exactly solvable model with the boson dynamical variables and a problem of enumeration of boxed plane partitions - three dimensional Young diagrams placed into a box of a finite size. The correlation functions of the boson model may be considered as the generating functionals of the Young diagrams with the fixed heights of its certain columns. The evaluation of the correlation functions is based on the Yang-Baxter algebra. The analytical answers are obtained in terms of determinants and they can also be expressed through the Schur functions.

We present combinatorial operators for the expansion of the Kronecker product of irreducible representations of the symmetric group. These combinatorial operators are defined in the ring of symmetric functions and act on the Schur functions basis. This leads to a combinatorial description of the Kronecker powers of the irreducible representations indexed with the partition (n-1,1) which specializes the concept of oscillating tableaux in Young's lattice previously defined by S. Sundaram. We call our specialization {\it Kronecker tableaux}. Their combinatorial analysis leads to enumerative results for the multiplicity of any irreducible representation in the Kronecker powers of the form ${\c^{(n-1,1)}}^{\otimes k}$.

We prove Okounkov's conjecture, a conjecture of Fomin-Fulton-Li-Poon, and a special case of Lascoux-Leclerc-Thibon's conjecture on Schur positivity and give several more general statements using a recent result of Rhoades and Skandera. An alternative proof of this result is provided. We also give an intriguing log-concavity property of Schur functions.

We study a family of polynomials whose values express degrees of Schubert varieties in the generalized complex flag manifold G/B. The polynomials are given by weighted sums over saturated chains in the Bruhat order. We derive several explicit formulas for these polynomials, and investigate their relations with Schubert polynomials, harmonic polynomials, Demazure characters, and generalized Littlewood-Richardson coefficients. In the second half of the paper, we concern with the case of to the classical flag manifold of Lie type A and discuss related combinatorial objects: flagged Schur polynomials, 312-avoiding permutations, generalized Gelfand-Tsetlin polytopes, the inverse Schubert-Kostka matrix, parking functions, and binary trees.

We prove that structure constants related to Hecke algebras at roots of unity are special cases of k-Littlewood-Richardson coefficients associated to a product of k-Schur functions. As a consequence, both the 3-point Gromov-Witten invariants appearing in the quantum cohomology of the Grassmannian, and the fusion coefficients for the WZW conformal field theories associated to \hat{su}(\ell) are shown to be k-Littlewood Richardson coefficients. From this, Mark Shimozono conjectured that the k-Schur functions form the Schubert basis for the homology of the loop Grassmannian, whereas k-Schur coproducts correspond to the integral cohomology of the loop Grassmannian. We introduce dual k-Schur functions defined on weights of k-tableaux that, given Shimozono's conjecture, form the Schubert basis for the cohomology of the loop Grassmannian. We derive several properties of these functions that extend those of skew Schur functions.

We define a new family of symmetric functions which are affine analogues of Stanley symmetric functions. We establish basic properties of these functions including symmetry, dominance and conjugation. We conjecture certain positivity properties in terms of a subfamily of symmetric functions called affine Schur functions. As applications, we show how affine Stanley symmetric functions generalise the (dual of the) $k$-Schur functions of Lapointe, Lascoux and Morse as well as the cylindric Schur functions of Postnikov. Conjecturally, affine Stanley symmetric functions should be related to the cohomology of the affine flag variety.

The system of one-dimensional symmetric simple random walks, in which none of walkers have met others in a given time period, is called the vicious walker model. It was introduced by Michael Fisher and applications of the model to various wetting and melting phenomena were described in his Boltzmann medal lecture. In the present report, we explain interesting connections among representation theory, probability theory, and random matrix theory using this simple diffusion particle system. Each vicious walk of $N$ walkers is represented by an $N$-tuple of nonintersecting lattice paths on the spatio-temporal plane. There is established a simple bijection between nonintersecting lattice paths and semistandard Young tableaux. Based on this bijection and some knowledge of symmetric polynomials called the Schur functions, we can give a determinantal expression to the partition function of vicious walks, which is regarded as a special case of the Karlin-McGregor formula in the probability theory (or the Lindström-Gessel-Viennot formula in the enumerative combinatorics). Due to a basic property of Schur function, we can take the diffusion scaling limit of the vicious walks and define a noncolliding system of Brownian particles. This diffusion process solves the stochastic differential equations with the drift terms acting as the repulsive two-body forces proportional to the inverse of distances between particles, and thus it is identified with Dyson's Brownian motion model. In other words, the obtained noncolliding system of Brownian particles is equivalent in distribution with the eigenvalue process of a Hermitian matrix-valued process.