Conjugacy growth series of some infinitely generated groups

It is observed that the conjugacy growth series of the infinite fini-tary symmetric group with respect to the generating set of transpositions is the generating series of the partition function. Other conjugacy growth series are computed, for other generating sets, for restricted permutational wreath products of finite groups by the finitary symmetric group, and for alternating groups. Similar methods are used to compute usual growth polynomials and conjugacy growth polynomials for finite symmetric groups and alternating groups, with respect to various generating sets of transpositions. Computations suggest a class of finite graphs, that we call partition-complete, which generalizes the class of semi-hamiltonian graphs, and which is of independent interest. The coefficients of a series related to the finitary alternating group satisfy congruence relations analogous to Ramanujan congruences for the partition function. They follow from partly conjectural "generalized Ramanujan congruences", as we call them, for which we give numerical evidence in Appendix C

Generalized permutation patterns - a short survey

An occurrence of a classical pattern p in a permutation π is a subsequence of π whose letters are in the same relative order (of size) as those in p. In an occurrence of a generalized pattern, some letters of that subsequence may be required to be adjacent in the permutation. Subsets of permutations characterized by the avoidance—or the prescribed number of occurrences— of generalized patterns exhibit connections to an enormous variety of other combinatorial structures, some of them apparently deep. We give a short overview of the state of the art for generalized patterns

The submonoid and rational subset membership problems for graph groups

We show that the membership problem in a finitely generated submonoid of a graph group (also called a right-angled Artin group or a free partially commutative group) is decidable if and only if the independence graph (commutation graph) is a transitive forest. As a consequence we obtain the first example of a finitely presented group with a decidable generalized word problem that does not have a decidable membership problem for finitely generated submonoids. We also show that the rational subset membership problem is decidable for a graph group if and only if the independence graph is a transitive forest, answering a question of Kambites, Silva, and the second author. Finally we prove that for certain amalgamated free products and HNN-extensions the rational subset and submonoid membership problems are recursively equivalent. In particular, this applies to finitely generated groups with two or more ends that are either torsion-free or residually finite

Actions on permutations and unimodality of descent polynomials

We study a group action on permutations due to Foata and Strehl and use it to prove that the descent generating polynomial of certain sets of permutations has a nonnegative expansion in the basis $\{t^i(1+t)^{n-1-2i}\}_{i=0}^m$, $m=\lfloor (n-1)/2 \rfloor$. This property implies symmetry and unimodality. We prove that the action is invariant under stack-sorting which strengthens recent unimodality results of B\'ona. We prove that the generalized permutation patterns $(13-2)$ and $(2-31)$ are invariant under the action and use this to prove unimodality properties for a $q$-analog of the Eulerian numbers recently studied by Corteel, Postnikov, Steingr\'{\i}msson and Williams. We also extend the action to linear extensions of sign-graded posets to give a new proof of the unimodality of the $(P,\omega)$-Eulerian polynomials of sign-graded posets and a combinatorial interpretations (in terms of Stembridge's peak polynomials) of the corresponding coefficients when expanded in the above basis. Finally, we prove that the statistic defined as the number of vertices of even height in the unordered decreasing tree of a permutation has the same distribution as the number of descents on any set of permutations invariant under the action. When restricted to the set of stack-sortable permutations we recover a result of Kreweras.Comment: 19 pages, revised version to appear in Europ. J. Combi