arXiv++ Combinatorics

Creation operators are given for the three distinguished bases of the type BCD universal character ring of Koike and Terada yielding an elegant way of treating computations for all three types in a unified manner. Deformed versions of these operators create symmetric function bases whose expansion in the universal character basis, has polynomial coefficients in $q$ with non-negative integer coefficients. We conjecture that these polynomials are one-dimensional sums associated with crystal bases of finite-dimensional modules over quantized affine algebras for all nonexceptional affine types. These polynomials satisfy a Macdonald-type duality.

We consider the coincident root loci consisting of the polynomials with at least two double roots andpresent a linear basis of the corresponding ideal in the algebra of symmetric polynomials in terms of the Jack polynomials with special value of parameter $α= -2.$ As a corollary we present an explicit formula for the Hilbert-Poincarè series of this ideal and the generator of the minimal degree as a special Jack polynomial. A generalization to the case of the symmetric polynomials vanishing on the double shifted diagonals and the Macdonald polynomials specialized at $t^2 q = 1$ is also presented. We also give similar results for the interpolation Jack polynomials.

We determine invariants like the Smith normal form and the determinant for certain integral matrices which arise from the character tables of the symmetric groups S_n and their double covers. In particular, we give a simple computation, based on the theory of Hall-Littlewood symmetric functions, of the determinant of the regular character table of S_n with respect to an integer r>1. This result had earlier been proved by Olsson in a longer and more indirect manner. As a consequence, we obtain a new proof of the Mathas' Conjecture on the determinant of the Cartan matrix of the Iwahori-Hecke algebra. When r is prime we determine the Smith normal form of the regular character table. Taking r large yields the Smith normal form of the full character table of S_n. Analogous results are then given for spin characters.

The $k$-Young lattice $Y^k$ is a partial order on partitions with no part larger than $k$. This weak subposet of the Young lattice originated from the study of the $k$-Schur functions(atoms) $s_λ^{(k)}$, symmetric functions that form a natural basis of the space spanned by homogeneous functions indexed by $k$-bounded partitions. The chains in the $k$-Young lattice are induced by a Pieri-type rule experimentally satisfied by the $k$-Schur functions. Here, using a natural bijection between $k$-bounded partitions and $k+1$-cores, we establish an algorithm for identifying chains in the $k$-Young lattice with certain tableaux on $k+1$ cores. This algorithm reveals that the $k$-Young lattice is isomorphic to the weak order on the quotient of the affine symmetric group $\tilde S_{k+1}$ by a maximal parabolic subgroup. From this, the conjectured $k$-Pieri rule implies that the $k$-Kostka matrix connecting the homogeneous basis $\{h_\la\}_{\la\in\CY^k}$ to $\{s_\la^{(k)}\}_{\la\in\CY^k}$ may now be obtained by counting appropriate classes of tableaux on $k+1$-cores. This suggests that the conjecturally positive $k$-Schur expansion coefficients for Macdonald polynomials (reducing to $q,t$-Kostka polynomials for large $k$) could be described by a $q,t$-statistic on these tableaux, or equivalently on reduced words for affine permutations.

We give the explicit analytic development of Macdonald polynomials in terms of "modified complete" and elementary symmetric functions. These expansions are obtained by inverting the Pieri formula. Specialization yields similar developments for monomial, Jack and Hall-Littlewood symmetric functions.

We give a unified explanation of the geometric and algebraic properties of two well-known maps, one from permutations to triangulations, and another from permutations to subsets. Furthermore we give a broad generalization of the maps. Specifically, for any lattice congruence of the weak order on a Coxeter group we construct a complete fan of convex cones with strong properties relative to the corresponding lattice quotient of the weak order. We show that if a family of lattice congruences on the symmetric groups satisfies certain compatibility conditions then the family defines a sub Hopf algebra of the Malvenuto-Reutenauer Hopf algebra of permutations. Such a sub Hopf algebra has a basis which is described by a type of pattern-avoidance. Applying these results, we build the Malvenuto-Reutenauer algebra as the limit of an infinite sequence of smaller algebras, where the second algebra in the sequence is the Hopf algebra of non-commutative symmetric functions. We also associate both a fan and a Hopf algebra to a set of permutations which appears to be equinumerous with the Baxter permutations.

We introduce a monoid structure on the set of binary search trees, by a process very similar to the construction of the plactic monoid, the Robinson-Schensted insertion being replaced by the binary search tree insertion. This leads to a new construction of the algebra of Planar Binary Trees of Loday-Ronco, defining it in the same way as Non-Commutative Symmetric Functions and Free Symmetric Functions. We briefly explain how the main known properties of the Loday-Ronco algebra can be described and proved with this combinatorial point of view, and then discuss it from a representation theoretical point of view, which in turns leads to new combinatorial properties of binary trees.

We give an elementary proof of the development of Macdonald polynomials in terms of "modified complete" and elementary symmetric functions.

The calculation of crystal structure from X-ray diffraction data requires that the phases of the ``structure factors'' (Fourier coefficients) determined by scattering be deduced from the absolute values of those structure factors. Motivated by a question of Herbert Hauptman, we consider the problem of determining phases by direct algebraic means in the case of crystal structures with $n$ equal atoms in the unit cell, with $n$ small. We rephrase the problem as a question about multiplicative invariants for a particular finite group action. We show that the absolute values form a generating set for the field of invariants of this action, and consider the problem of making this theorem constructive and practical; the most promising approach for deriving explicit formulas uses SAGBI bases.

A characterization of the space of symmetric Laurent polynomials of type $(BC)_n$ which vanish on a certain set of submanifolds is given by using the Koornwinder-Macdonald polynomials. A similar characterization was given previously for symmetric polynomials of type $A_n$ by using the Macdonald polynomials. We use a new method which exploits the duality relation. The method simplifies a part of the proof in the $A_n$ case.

If the moments of a probability measure on $\R$ are interpreted as a specialization of complete homogeneous symmetric functions, its free cumulants are, up to sign, the corresponding specializations of a sequence of Schur positive symmetric functions $(f_n)$. We prove that $(f_n)$ is the Frobenius characteristic of the natural permutation representation of $\SG_n$ on the set of prime parking functions. This observation leads us to the construction of a Hopf algebra of parking functions, which we study in some detail.

Motivated by Stanley's results in \cite{St02}, we generalize the rank of a partition $λ$ to the rank of a shifted partition $S(λ)$. We show that the number of bars required in a minimal bar tableau of $S(λ)$ is max$(o, e + (\ell(λ) \mathrm{mod} 2))$, where $o$ and $e$ are the number of odd and even rows of $λ$. As a consequence we show that the irreducible projective characters of $S_n$ vanish on certain conjugacy classes. Another corollary is a lower bound on the degree of the terms in the expansion of Schur's $Q_λ$ symmetric functions in terms of the power sum symmetric functions.

We give a basis for the space V spanned by the lowest degree part \hat{s}_λof the expansion of the Schur symmetric functions s_λin terms of power sums, where we define the degree of the power sum p_i to be 1. In particular, the dimension of the subspace V_n spanned by those \hat{s}_λfor which λis a partition of n is equal to the number of partitions of n whose parts differ by at least 2. We also show that a symmetric function closely related to \hat{s}_λhas the same coefficients when expanded in terms of power sums or augmented monomial symmetric functions. Proofs are based on the theory of minimal border strip decompositions of Young diagrams.

We provide a characterization of the radii minimal projections of polytopes onto $j$-dimensional subspaces in Euclidean space $\E^n$. Applied on simplices this characterization allows to reduce the computation of an outer radius to a computation in the circumscribing case or to the computation of an outer radius of a lower-dimensional simplex. In the second part of the paper, we use this characterization to determine the sequence of outer $(n-1)$-radii of regular simplices (which are the radii of smallest enclosing cylinders). This settles a question which arose from the incidence that a paper by Weißbach (1983) on this determination was erroneous. In the proof, we first reduce the problem to a constrained optimization problem of symmetric polynomials and then to an optimization problem in a fixed number of variables with additional integer constraints.

Let R_n be the ring of coinvariants for the diagonal action of the symmetric group S_n. It is known that the character of R_n as a doubly-graded S_n module can be expressed using the Frobenius characteristic map as \nabla e_n, where e_n is the n-th elementary symmetric function, and \nabla is an operator from the theory of Macdonald polynomials. We conjecture a combinatorial formula for \nabla e_n and prove that it has many desirable properties which support our conjecture. In particular, we prove that our formula is a symmetric function (which is not obvious) and that it is Schur positive. These results make use of the theory of ribbon tableau generating functions of Lascoux, Leclerc and Thibon. We also show that a variety of earlier conjectures and theorems on \nabla e_n are special cases of our conjecture. Finally, we extend our conjectures on \nabla e_n and several of the results supporting them to higher powers \nabla^m e_n.

Lascoux, Leclerc and Thibon have introduced symmetric functions which are spin and weight generating functions for ribbon tableaux. This article is aimed at studying these `ribbon functions' in analogy with Schur functions. In particular we will describe ribbon Pieri and Murnagham-Nakayama formulae, a ribbon Cauchy identity and an algebra involution which `conjugates' the ribbon functions. We will study these functions in the context of the action of the Heisenberg algebra on the Fock space representation of the quantum affine algebra U_q(sl_n)^, discovered by Kashiwara, Miwa and Stern. We will also connect our formulae with the ribbon insertion of Shimozono and White, giving combinatorial proofs for the domino n=2 case.

Many combinatorial generating functions can be expressed as combinations of symmetric functions, or extracted as sub-series and specializations from such combinations. Gessel has outlined a large class of symmetric functions for which the resulting generating functions are D-finite. We extend Gessel's work by providing algorithms that compute differential equations these generating functions satisfy in the case they are given as a scalar product of symmetric functions in Gessel's class. Examples of applications to k-regular graphs and Young tableaux with repeated entries are given. Asymptotic estimates are a natural application of our method, which we illustrate on the same model of Young tableaux. We also derive a seemingly new formula for the Kronecker product of the sum of Schur functions with itself.

A combinatorial Hopf algebra is a graded connected Hopf algebra over a field $F$ equipped with a character (multiplicative linear functional) $ζ:H\to F$. We show that the terminal object in the category of combinatorial Hopf algebras is the algebra $QSym$ of quasi-symmetric functions; this explains the ubiquity of quasi-symmetric functions as generating functions in combinatorics. We illustrate this with several examples. We prove that every character decomposes uniquely as a product of an even character and an odd character. Correspondingly, every combinatorial Hopf algebra $(H,ζ)$ possesses two canonical Hopf subalgebras on which the character $ζ$ is even (respectively, odd). The odd subalgebra is defined by certain canonical relations which we call the generalized Dehn-Sommerville relations. We show that, for $H=QSym$, the generalized Dehn-Sommerville relations are the Bayer-Billera relations and the odd subalgebra is the peak Hopf algebra of Stembridge. We prove that $QSym$ is the product (in the categorical sense) of its even and odd Hopf subalgebras. We also calculate the odd subalgebras of various related combinatorial Hopf algebras: the Malvenuto-Reutenauer Hopf algebra of permutations, the Loday-Ronco Hopf algebra of planar binary trees, the Hopf algebras of symmetric functions and of non-commutative symmetric functions.

Double Hurwitz numbers count branched covers of the projective line with fixed branch points, with simple branching required over all but two points 0 and infinity, and the branching over 0 and infinity specified by partitions of the degree (with m and n parts respectively). Single Hurwitz numbers have a rich structure, explored by authors in many fields. The ELSV formula relates single Hurwitz numbers to intersection theory on the moduli space of curves, and has led to many consequences. We determine the structure of double Hurwitz numbers using geometry, algebra, and representation theory. Our motivation is geometric: we give strong evidence that double Hurwitz numbers are top intersections on a universal Picard variety. In particular, we prove a piecewise-polynomiality result analogous to that implied by the ELSV formula. In the case m=1 and n is arbitrary, we conjecture an ELSV-type formula, and show it to be true in genus 0 and 1. The corresponding Witten-type correlation function has a better structure than that for single Hurwitz numbers, and it satisfies many geometric properties, such as the string and dilaton equations, and a genus expansion ansatz analogous to that of Itzykson and Zuber. We give a symmetric function description of the double Hurwitz generating series, which leads to explicit formulae for double Hurwitz numbers with given m and n. In the case where m is fixed but not necessarily 1, we prove a topological recursion on the corresponding generating series, which leads to closed-form expressions for double Hurwitz numbers and an analogue of the Goulden-Jackson polynomiality conjecture (an early conjectural variant of the ELSV formula).

These are (not updated) notes from the lectures I gave at the NATO ASI ``Symmetric Functions 2001'' at the Isaac Newton Institute in Cambridge (June 25 -- July 6, 2001). Their goal is an informal introduction to asymptotic combinatorics related to partitions.