Equations in finite semigroups: explicit enumeration and asymptotics of solution numbers

We study the number of solutions of the general semigroup equation in one variable, Xα = Xβ, as well as of the system of equations X2 = X, Y2 = Y, XY = YX in H ≀ Tn, the wreath product of an arbitrary finite group H with the full transformation semigroup Tn on n letters. For these solution numbers, we provide explicit exact formulae, as well as asymptotic estimates. Our results concerning the first mentioned problem generalize earlier results by Harris and Schoenfeld (J. Combin. Theory Ser. A 3 (1967) 122) on the number of idempotents in Tn, and a result of Dress and the second author (Adv. in Math. 129 (1997) 188). Among the asymptotic tools employed are Hayman's method for the estimation of coefficients of analytic functions and the Poisson summation formula.

[1]  A. Erdélyi,et al.  Higher Transcendental Functions , 1954 .

[2]  E. Bender.  An asymptotic expansion for the coefficients of some formal power series , 1975 .

[3]  I. Goulden,et al.  Combinatorial Enumeration , 2004 .

[4]  E. M. Wright.  A Relationship Between two Sequences , 1967 .

[5]  E. C. Titchmarsh.  Introduction to the Theory of Fourier Integrals , 1938 .

[6]  T. Müller,et al.  Representations in Finite Wreath Products Enumerative Theory and Applications , 2000 .

[7]  W. Hayman.  A Generalisation of Stirling's Formula. , 1956 .

[8]  T. M..  Five Lectures on Generalized Permutation Representations , 2022 .

[9]  Thomas Müller,et al.  Finite group actions and asymptotic expansion ofeP(z) , 1997, Comb..

[10]  A. Offord.  Introduction to the Theory of Fourier Integrals , 1938, Nature.

[11]  Andreas W. M. Dress,et al.  Decomposable Functors and the Exponential Principle , 1997 .

[12]  Thomas Müller.  Enumerating Representations in Finite Wreath Products , 2000 .

[13]  A. Odlyzko.  Asymptotic enumeration methods , 1996 .

[14]  N. D. Bruijn.  Asymptotic methods in analysis , 1958 .

[15]  L. Schoenfeld,et al.  The number of idempotent elements in symmetric semigroups , 1967 .

[16]  Gilbert Labelle,et al.  Combinatorial species and tree-like structures , 1997, Encyclopedia of mathematics and its applications.

[17]  E. M. Wright.  Asymptotic Relations Between Enumerative Functions in Graph Theory , 1970 .

[18]  R. Graham,et al.  Handbook of Combinatorics , 1995 .

[19]  B. Harris,et al.  Asymptotic expansions for the coefficients of analytic functions , 1968 .

[20]  T. Müller.  Subgroup growth of free products , 1996 .

[21]  E. Capelas de Oliveira.  On generating functions , 1992 .

[22]  Bruno Salvy,et al.  Examples of automatic asymptotic expansions , 1991, SIGS.

[23]  Combinatorial Aspects of Finitely Generated Virtually Free Groups , 1991 .