arXiv++ Combinatorics

We consider the homogeneous components U_r of the map on R = k[x,y,z]/(x^A, y^B, z^C) that multiplies by x + y + z. We prove a relationship between the Smith normal forms of submatrices of an arbitrary Toeplitz matrix using Schur polynomials, and use this to give a relationship between Smith normal form entries of U_r. We also give a bijective proof of an identity proven by J. Li and F. Zanello equating the determinant of the middle homogeneous component U_r when (A, B, C) = (a + b, a + c, b + c) to the number of plane partitions in an a by b by c box. Finally, we prove that, for certain vector subspaces of R, similar identities hold relating determinants to symmetry classes of plane partitions, in particular classes 3, 6, and 8.

We give a combinatorial expansion of a Schubert homology class in the affine Grassmannian Gr_{SL_k} into Schubert homology classes in Gr_{SL_{k+1}}. This is achieved by studying the combinatorics of a new class of partitions called k-shapes, which interpolates between k-cores and k+1-cores. We define a symmetric function for each k-shape, and show that they expand positively in terms of dual k-Schur functions. We obtain an explicit combinatorial description of the expansion of an ungraded k-Schur function into k+1-Schur functions. As a corollary, we give a formula for the Schur expansion of an ungraded k-Schur function.

Recently a new basis for the Hopf algebra of quasisymmetric functions $QSym$, called quasisymmetric Schur functions, has been introduced by Haglund, Luoto, Mason, van Willigenburg. In this paper we extend the definition of quasisymmetric Schur functions to introduce skew quasisymmetric Schur functions. These functions include both classical skew Schur functions and quasisymmetric Schur functions as examples, and give rise to a new poset $\mathcal{L}_C$ that is analogous to Young's lattice. We also introduce a new basis for the Hopf algebra of noncommutative symmetric functions $NSym$. This basis of $NSym$ is dual to the basis of quasisymmetric Schur functions and its elements are the pre-image of the Schur functions under the forgetful map $χ: NSym \rightarrow Sym$. We prove that the multiplicative structure constants of the noncommutative Schur functions, equivalently the coefficients of the skew quasisymmetric Schur functions when expanded in the quasisymmetric Schur basis, are nonnegative integers, satisfying a Littlewood-Richardson rule analogue that reduces to the classical Littlewood-Richardson rule under $χ$. As an application we show that the morphism of algebras from the algebra of Poirier-Reutenauer to $Sym$ factors through $NSym$. We also extend the definition of Schur functions in noncommuting variables of Rosas-Sagan in the algebra $NCSym$ to define quasisymmetric Schur functions in the algebra $NCQSym$. We prove these latter functions refine the former and their properties, and project onto quasisymmetric Schur functions under the forgetful map. Lastly, we show that by suitably labeling $\mathcal{L}_C$, skew quasisymmetric Schur functions arise in the theory of Pieri operators on posets.

We present an unexpected connection between two map enumeration problems. The first one consists in counting planar maps with a boundary of prescribed length. The second one consists in counting planar maps with two points at a prescribed distance. We show that, in the general class of maps with controlled face degrees, the solution for both problems is actually encoded into the same quantity, respectively via its power series expansion and its continued fraction expansion. We then use known techniques for tackling the first problem in order to solve the second. This novel viewpoint provides a constructive approach for computing the so-called distance-dependent two-point function of general planar maps. We prove and extend some previously predicted exact formulas, which we identify in terms of particular Schur functions.

We prove the Murgnaghan--Nakayama rule for $k$-Schur functions of Lapointe and Morse, that is, we give an explicit formula for the expansion of the product of a power sum symmetric function and a $k$-Schur function in terms of $k$-Schur functions. This is proved using the noncommutative $k$-Schur functions in terms of the nilCoxeter algebra introduced by Lam and the affine analogue of noncommutative symmetric functions of Fomin and Greene.

One of the earliest examples of analytic representations for $π$ is given by an infinite product provided by Wallis in 1655. The modern literature often presents this evaluation based on the integral formula $$ \frac{2}π \int_0^\infty \frac{dx}{(x^2+1)^{n+1}} = \frac{1}{2^{2n}} \binom{2n}{n}. $$ In trying to understand the behavior of this integral when the integrand is replaced by the inverse of a product of distinct quadratic factors, the authors encounter relations to some formulas of Ramanujan, expressions involving Schur functions, and Matsubara sums that have appeared in the context of Feynman diagrams.

We define a fat staircase to be a Ferrers diagram corresponding to a partition of the form $(n^{α_n}, {n-1}^{α_{n-1}},..., 1^{α_1})$, where $α= (α_1,...,α_n)$ is a composition, or the $180^\circ$ rotation of such a diagram. We look at collections of skew diagrams consisting of a fixed fat staircase augmented with all hooks of a given size. Among these diagrams we determine precisely which pairs give a Schur-positive difference. We extend this classification to collections of fat staircases augmented with hook-complements.

We give an explicit subtraction-free formula for the energy function in tensor products of Kirillov-Reshetikhin crystals for symmetric powers of the standard representation of U_q'(\hat sl_n). The energy function is shown to be the tropicalization of a stretched staircase shape loop Schur function. The latter were introduced by the authors in the study of total positivity in loop groups.

Consider the set of vectors over a field having non-zero coefficients only in a fixed sparse set and multiplication defined by convolution, or the set of integers having non-zero digits (in some base $b$) in a fixed sparse set. We show the existence of an optimal (resp. almost-optimal in the latter case) `magic' multiplier constant that provides a perfect hash function which transfers the information from the given sparse coefficients into consecutive digits. Studying the convolution case we also obtain a result of non-degeneracy for Schur functions as polynomials in the elementary symmetric functions in positive characteristic.

We consider the skew diagram $Δ_n$, which is the $180^\circ$ rotation of the staircase diagram $δ_n = (n,n-1,n-2,...,2,1)$. We create a staircase with bad foundation by augmenting $Δ_n$ with another skew diagram, which we call the \textit{foundation}. We consider pairs of staircases with bad foundation whose foundations are transposes of one another. Among these pairs, we show that the difference of the corresponding skew Schur functions is Schur-positive in the case when one of the foundations consists of either a one or two row diagram, or a hook diagram.

We define a fat staircase to be a Ferrers diagram corresponding to a partition of the form $(n^{α_n}, {n-1}^{α_{n-1}},..., 1^{α_1})$, where $α= (α_1,...,α_n)$ is a composition, or the $180^\circ$ rotation of such a diagram. If a diagram's skew Schur function is a linear combination of Schur functions of fat staircases, we call the diagram a sum of fat staircases. We prove a Schur-positivity result that is obtained each time we augment a sum of fat staircases with a skew diagram. We also determine conditions on which diagrams can be sums of fat staircases, including necessary and sufficient conditions in the special case when the diagram is a fat staircase skew a single row or column.

The XXZ Heisenberg chain is considered for two specific limits of the anisotropy parameter: $\Dl\to 0$ and $\Dl\to -\infty$. The corresponding wave functions are expressed by means of the symmetric Schur functions. Certain expectation values and thermal correlation functions of the ferromagnetic string operators are calculated over the base of N-particle Bethe states. The thermal correlator of the ferromagnetic string is expressed through the generating function of the lattice paths of random walks of vicious walkers. A relationship between the expectation values obtained and the generating functions of strict plane partitions in a box is discussed. Asymptotic estimate of the thermal correlator of the ferromagnetic string is obtained in the limit of zero temperature. It is shown that its amplitude is related to the number of plane partitions.

We show that within the six-vertex model there is a parametrized Yang-Baxter equation with nonabelian parameter group GL(2)xGL(1) at the center of the disordered regime. As an application we rederive deformations of the Weyl character formule of Tokuyama and of Hamel and King.

For a particular set of Boltzmann weights and a particular boundary condition for the six vertex model in statistical mechanics, we compute explicitly the partition function and show it to be equal to a factorial Schur function, giving a new proof of a theorem of Lascoux.

Gurevich, Pyatov and Saponov recently stated an expansion for the product of two Schur functions and gave a proof based on the Pluecker relations. Here we show that this identity is in fact a special case of a quite general Schur function identity, which was stated and proved in a paper by Fulmek and Kleber, where it was used to prove bijectively Dodgsons condensation formula and the Pluecker relations, but was not paid further attention: So we take the opportunity to make obvious the range of applicability of this identity by giving concrete examples, accompanied by many graphical illustrations.

We use Hopf algebras to prove a version of the Littlewood-Richardson rule for skew Schur functions, which implies a conjecture of Assaf and McNamara. We also establish skew Littlewood-Richardson rules for Schur P- and Q-functions and noncommutative ribbon Schur functions, as well as skew Pieri rules for k-Schur functions, dual k-Schur functions, and for the homology of the affine Grassmannian of the symplectic group.

In the prequel to this paper, we showed how results of Mason involving a new combinatorial formula for polynomials that are now known as Demazure atoms (characters of quotients of Demazure modules, called standard bases by Lascoux and Schutzenberger) could be used to define a new basis for the ring of quasisymmetric functions we call Quasisymmetric Schur functions (QS functions for short). In this paper we develop the combinatorics of these polynomials futher, by showing that the product of a Schur function and a Demazure atom has a positive expansion in terms of Demazure atoms. As a by-product, using the fact that both a QS function and a Demazure character have explicit expressions as a positive sum of atoms, we obtain the expansion of a product of a Schur function with a QS function (Demazure character) as a positive sum of QS functions (Demazure characters). Our formula for the coefficients in the expansion of a product of a Demazure character and a Schur function into Demazure characters is similar to known results and includes in particular the famous Littlewood-Richardson rule for the expansion of a product of Schur functions in terms of the Schur basis.

The Pieri rule expresses the product of a Schur function and a single row Schur function in terms of Schur functions. We extend the classical Pieri rule by expressing the product of a skew Schur function and a single row Schur function in terms of skew Schur functions. Like the classical rule, our rule involves simple additions of boxes to the original skew shape. Our proof is purely combinatorial and extends the combinatorial proof of the classical case.

In the late 1930's Murnaghan discovered the existence of a stabilization phenomenon for the Kronecker product of Schur functions. For n sufficiently large, the values of the Kronecker coefficients appearing in the product of two Schur functions of degree n do not depend on the first part of the indexing partitions, but only on the values of their remaining parts. We compute the exact value of n for which all the coefficients of a Kronecker product of Schur functions stabilize. We also compute two new bounds for the stabilization of a sequence of coefficients and show that they improve existing bounds of M. Brion and E. Vallejo.

The ring of symmetric functions $Λ$, with natural basis given by the Schur functions, arise in many different areas of mathematics. For example, as the cohomology ring of the grassmanian, and as the representation ring of the symmetric group. One may define a coproduct on $Λ$ by the plethystic addition on alphabets. In this way the ring of symmetric functions becomes a Hopf algebra. The Littlewood--Richardson numbers may be viewed as the structure constants for the co-product in the Schur basis. In the first part of this thesis we show that by using a generalization of the classical umbral calculus of Gian-Carlo Rota, one may deform the basis of Schur functions to find many other bases for which the Littlewood--Richardson numbers as coproduct structure constants. The Macdonald polynomials are a somewhat mysterious qt-deformation of the Schur functions. The second part of this thesis contains a proof a generating function identity for the Macdonald polynomials which was originally conjectured by Kawanaka.