arXiv++ Combinatorics

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.

In this paper, using the theory of category, we generalize known properties of symmetric polynomials and functions and characterize the multi-indicial symmetric functions. Examples have been given on Schur functions.

We describe the stabilizers of points in the Bruhat-Tits building of the group SL with tropical geometry. There are several compactifications of this building associated to algebraic representations of SL. We show that the fans used to compactify apartments in this theory are given by tropical Schur polynomials.

In this paper we introduce doubly symmetric functions, arising from the equivalence of particular linear combinations of Schur functions and hook Schur functions. We study algebraic and combinatorial aspects of doubly symmetric functions, in particular as they form a subalgebra of the algebra of symmetric functions. This subalgebra is generated by the odd power sum symmetric functions. One consequence is that a Schur function itself is doubly symmetric if and only if it is the Schur function of a staircase shape.

Let $\{h_1,h_2,...\}$ be a set of algebraically independent variables. We ask which vectors are extreme in the cone generated by $h_ih_j-h_{i+1}h_{j-1}$ ($i\geq j>0$) and $h_i$ ($i>0$). We call this cone the cone of log concavity. More generally, we ask which vectors are extreme in the cone generated by Schur functions of partitions with $k$ or fewer parts. We give a conjecture for which vectors are extreme in the cone of log concavity. We prove the characterization in one direction and give partial results in the other direction.

We consider an operator of Bernstein for symmetric functions, and give an explicit formula for its action on an arbitrary Schur function. This formula is given in a remarkably simple form when written in terms of some notation based on the code of a partition. As an application, we give a new and very simple proof of a classical result for the KP hierarchy, which involves the Plucker relations for Schur function coefficients in a tau function for the hierarchy. This proof is especially compact because of a restatement that we give for the Plucker relations that is symmetrical in terms of partition code notation.

We present a partial generalization to Schubert calculus on flag varieties of the classical Littlewood-Richardson rule, in its version based on Schuetzenberger's jeu de taquin. More precisely, we describe certain structure constants expressing the product of a Schubert and a Schur polynomial. We use a generalization of Fomin's growth diagrams (for chains in Young's lattice of partitions) to chains of permutations in the so-called k-Bruhat order. Our work is based on the recent thesis of Beligan, in which he generalizes the classical plactic structure on words to chains in certain intervals in k-Bruhat order. Potential applications of our work include the generalization of the S_3-symmetric Littlewood-Richardson rule due to Thomas and Yong, which is based on Fomin's growth diagrams.

The hive model is a combinatorial device that may be used to determine Littlewood-Richardson coefficients and study their properties. It represents an alternative to the use of the Littlewood-Richardson rule. Here properties of hives are used to determine all possible multiplicity-free Schur function products and skew Schur function expansions. This confirms the results of Stembridge, Gutschwager, and Thomas and Yong, and sheds light on the combinatorial origin of the conditions for being multiplicity-free, as well as illustrating some of the key features and power of the hive model.

We prove that a Schur function of rectangular shape $(M^n)$ whose variables are specialized to $x_1,x_1^{-1},...,x_n,x_n^{-1}$ factorizes into a product of two odd orthogonal characters of rectangular shape, one of which is evaluated at $-x_1,...,-x_n$, if $M$ is even, while it factorizes into a product of a symplectic character and an even orthogonal character, both of rectangular shape, if $M$ is odd. It is furthermore shown that the first factorization implies a factorization theorem for rhombus tilings of a hexagon, which has an equivalent formulation in terms of plane partitions. A similar factorization theorem is proven for the sum of two Schur functions of respective rectangular shapes $(M^n)$ and $(M^{n-1})$.