arXiv++ Combinatorics

Normalized irreducible characters of the symmetric group S(n) can be understood as zonal spherical functions of the Gelfand pair $(S(n)\times S(n),\Diag S(n))$. They form an orthogonal basis in the space of the functions on the group S(n) invariant with respect to conjugations by S(n). In this paper we consider a different Gelfand pair connected with the symmetric group, that is an ``unbalanced'' Gelfand pair $(S(n)\times S(n-1),\Diag S(n-1))$. Zonal spherical functions of this Gelfand pair form an orthogonal basis in a larger space of functions on S(n), namely in the space of functions invariant with respect to conjugations by $S(n-1)$. We refer to these zonal spherical functions as normalized \textit{generalized} characters of S(n). The main discovery of the present paper is that these generalized characters can be computed on the same level as the irreducible characters of the symmetric group. The paper gives a Murnaghan-Nakayama type rule, a Frobenius type formula, and an analogue of the determinantal formula for the generalized characters of S(n).

We discuss several well known results about Schur functions that can be proved using cancellations in alternating summations; notably we shall discuss the Pieri and Murnaghan-Nakayama rules, the Jacobi-Trudi identity and its dual (Von N{ä}gelsbach-Kostka) identity, their proofs using the correspondence with lattice paths of Gessel and Viennot, and finally the Littlewood-Richardson rule. Our our goal is to show that the mentioned statements are closely related, and can be proved using variations of the same basic technique. We also want to emphasise the central part that is played by matrices over $\{0,1\}$ and over $\N$; we show that the Littlewood-Richardson rule as generalised by Zelevinsky has elegant formulations using either type of matrix, and that in both cases it can be obtained by two successive reductions from a large signed enumeration of such matrices, where the sign depends only on the row and column sums of the matrix.

The Murnaghan-Nakayama rule is the classical formula for computing the character table of S_n. Y. Roichman has recently discovered a rule for the Kazhdan-Lusztig characters of q-Hecke algebras of type A, which can also be used for the character table of S_n. For each of the two rules, we give an algorithm for computing entries in the character table of S_n. We then analyze the computational complexity of the two algorithms, and in the case of characters indexed by partitions in the (k,l)-hook, compare their complexities to each other. It turns out that the algorithm based on the Murnaghan-Nakayama rule requires far less operations than the other algorithm. We note the algorithms' complexities' relation to two enumeration problems of Young diagrams and Young tableaux.