arXiv++ Combinatorics

The Murnaghan-Nakayama rule expresses the product of a Schur function with a Newton power sum in the basis of Schur functions. We establish a version of the Murnaghan-Nakayama rule for Schubert polynomials and a version for the quantum cohomology ring of the Grassmannian. These rules compute all intersections of Schubert cycles with tautological classes coming from the Chern character.

We construct the affine version of the Fomin-Kirillov algebra, called the affine FK algebra, to investigate the combinatorics of affine Schubert calculus for type $A$. We introduce Murnaghan-Nakayama elements and Dunkl elements in the affine FK algebra. We show that they are commutative as Bruhat operators, and the commutative algebra generated by these operators is isomorphic to the cohomology of the affine flag variety. We show that the cohomology of the affine flag variety is product of the cohomology of an affine Grassmannian and a flag variety, which are generated by MN elements and Dunkl elements respectively. The Schubert classes in cohomology of the affine Grassmannian (resp. the flag variety) can be identified with affine Schur functions (resp. Schubert polynomials) in a quotient of the polynomial ring. Affine Schubert polynomials, polynomial representatives of the Schubert class in the cohomology of the affine flag variety, can be defined in the product of two quotient rings using the Bernstein-Gelfand-Gelfand operators interpreted as divided difference operators acting on the affine Fomin-Kirillov algebra. As for other applications, we obtain Murnaghan-Nakayama rules both for the affine Schubert polynomials and affine Stanley symmetric functions. We also define $k$-strong-ribbon tableaux from Murnaghan-Nakayama elements to provide a new formula of $k$-Schur functions. This formula gives the character table of the representation of the symmetric group whose Frobenius characteristic image is the $k$-Schur function.

For a regular $2n$-gon there are $(2n-1)!!$ ways to match and glue the $2n$ sides. The Harer-Zagier bivariate generating function enumerates the gluings by $n$ and the genus $g$ of the attendant surface and leads to a recurrence equation for the counts of gluings with parameters $n$ and $g$. This formula was originally obtained by using the multidimensional Gaussian integrals. Soon after Jackson and later Zagier found alternative proofs that used the symmetric group characters. In this note we give a different, characters-based, proof. Its core is computing and marginally inverting Fourier transform of the underlying probability measure on $S_{2n}$. Aside from Murnaghan-Nakayama rule for one-hook diagrams, the counting techniques we use are of elementary, combinatorial nature.

Recently, residue and quotient tables were defined by Fishel and the author, and were used to describe strong covers in the lattice of $k$-bounded partitions. In this paper, we show or conjecture that residue and quotient tables can be used to describe many other results in the theory of $k$-bounded partitions and $k$-Schur functions, including $k$-conjugates, weak horizontal and vertical strips, and the Murnaghan-Nakayama rule. Evidence is presented for the claim that one of the most important open questions in the theory of $k$-Schur functions, a general rule that would describe their product, can be also concisely stated in terms of residue tables.

We prove a Murnaghan-Nakayama rule for the noncommutative Schur functions introduced by Bessenrodt, Luoto and van Willigenburg. In other words, we give an explicit combinatorial formula for expanding the product of a noncommutative power sum symmetric function and a noncommutative Schur function in terms of noncommutative Schur functions. In direct analogy to the classical Murnaghan-Nakayama rule, the summands are computed using a noncommutative analogue of border strips, and have coefficients equal to 1 or -1 determined by the height of these border strips. The rule is proved by interpreting the noncommutative Pieri rules for noncommutative Schur functions in terms of box-adding operators on compositions.

We continue our development of a new basis for the algebra of non-commutative symmetric functions. This basis is analogous to the Schur basis for the algebra of symmetric functions, and it shares many of its wonderful properties. For instance, in this article we describe non-commutative versions of the Littlewood-Richardson rule and the Murnaghan-Nakayama rule. A surprising relation develops among non-commutative Littlewood-Richardson coefficients, which has implications to the commutative case. Finally, we interpret these new coefficients geometrically as the number of integer points inside a certain polytope.

We give a combinatorial proof of a natural generalization of the Murnaghan-Nakayama rule to loop Schur functions. We also define shifted loop Schur functions and prove that they satisfy a similar relation.

The representation theory of the symmetric groups S_n is intimately related to combinatorics: combinatorial objects such as Young tableaux and combinatorial algorithms such as Murnaghan-Nakayama rule. In the limit as n tends to infinity, the structure of these combinatorial objects and algorithms becomes complicated and it is hard to extract from them some meaningful answers to asymptotic questions. In order to overcome these difficulties, a kind of dual combinatorics of the representation theory of the symmetric groups was initiated in 1990s. We will concentrate on one of its highlights: Kerov polynomials which express characters in terms of, so called, free cumulants.

The $(p,q,n)$-dipole problem is a map enumeration problem, arising in perturbative Yang-Mills theory, in which the parameters $p$ and $q$, at each vertex, specify the number of edges separating of two distinguished edges. Combinatorially, it is notable for being a permutation factorization problem which does not lie in the centre of $\mathbb{C}[\mathfrak{S}_n]$, rendering the problem inaccessible through the character theoretic methods often employed to study such problems. This paper gives a solution to this problem on all orientable surfaces when $q=n-1$, which is a combinatorially significant special case: it is a \emph{near-central} problem. We give an encoding of the $(p,n-1,n)$-dipole problem as a product of standard basis elements in the centralizer $Z_1(n)$ of the group algebra $\mathbb{C}[\mathfrak{S}_n]$ with respect to the subgroup $\mathfrak{S}_{n-1}$. The generalized characters arising in the solution to the $(p,n-1,n)$-dipole problem are zonal spherical functions of the Gel'fand pair $(\mathfrak{S}_n\times \mathfrak{S}_{n-1}, \mathrm{diag}(\mathfrak{S}_{n-1}))$ and are evaluated explicitly. This solution is used to prove that, for a given surface, the numbers of $(p,n-1,n)$-dipoles and $(n+1-p,n-1,n)$-dipoles are equal, a fact for which we have no combinatorial explanation. These techniques also give a solution to a near-central analogue of the problem of decomposing a full cycle into two factors of specified cycle type.

In this paper, we extend recent results of Assaf and McNamara on skew Pieri rule and skew Murnaghan-Nakayama rule to a more general identity, which gives an elegant expansion of the product of a skew Schur function with a quantum power sum function in terms of skew Schur functions. We give two proofs, one completely bijective in the spirit of Assaf-McNamara's original proof, and one via Lam-Lauve-Sotille's skew Littlewood-Richardson rule. We end with some conjectures for skew rules for Hall-Littlewood polynomials.

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.

To a word $w$, we associate the rational function $Ψ_w = \prod (x_{w_i} - x_{w_{i+1}})^{-1}$. The main object, introduced by C. Greene to generalize identities linked to Murnaghan-Nakayama rule, is a sum of its images by certain permutations of the variables. The sets of permutations that we consider are the linear extensions of oriented graphs. We explain how to compute this rational function, using the combinatorics of the graph $G$. We also establish a link between an algebraic property of the rational function (the factorization of the numerator) and a combinatorial property of the graph (the existence of a disconnecting chain).

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.