Abstract
Combinatorial power series are formal power series of the form \(\sum c_{n,H}X^n/H \) where, for each n, H runs through subgroups of the symmetric group \(S_n\) and the coefficients \(c_{n,H}\) are complex numbers (or ordinary power series involving some “weight variables”). Such series conveniently encode species of combinatorial (possibly weighted) structures according to their stabilizers (up to conjugacy). We give general lines for expressing these kinds of series – as well as the main operations \((+,\cdot ,\times ,\circ ,d/dX)\) between them – by making use of the GroupTheory package and give suggestions for possible extensions of that package and some other specific procedures such as collect, expand, series, etc. An analysis of multivariable combinatorial power series is also presented.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsNotes
- 1.
Two subgroups G of \(S_n\) and H of \(S_m\), with \(n \ne m\), are always considered to be be different, even if they consist of the "same" permutations.
- 2.
Technically, such classes are species in the sense of Joyal [2]. A species is an endofunctor F of the category of finite sets with bijections as morphisms. For each finite set U, each \(s \in F[U]\) is called an F-structure on U and for each bijection \(\beta : U \rightarrow V\), the bijection \(F[\beta ]:F[U]\rightarrow F[V]\) is said to “relabel” (or “transport”) each F-structure s on U to an isomorphic F-structure \(t=F[\beta ](s)\) on V..
- 3.
This kind of series was introduced by Yeh [5] to deal with species.
References
Bergeron, F., Labelle, G., Leroux, P.: Combinatorial Species and Tree-like Structures. Ency. of Mathematics and Its Applications, vol. 67. Cambridge University Press, Cambridge (1998)
Joyal, A.: Une théorie combinatoire des séries formelles. Adv. Math. 42, 1–82 (1981)
Labelle, G.: New combinatorial computational methods arising from pseudo singletons. In: Discrete Mathematics and Theoretical Computer Science, pp. 247–258 (2008)
Labelle, G.: Binomial species and combinatorial exponentiation. J. Électronique du Séminaire Lotharingien de Combinatoire 78, B78a (2018)
Yeh, Y.-N.: The calculus of virtual species and K-species. In: Labelle, G., Leroux, P. (eds.) Combinatoire énumérative. LNM, vol. 1234, pp. 351–369. Springer, Heidelberg (1986). https://doi.org/10.1007/BFb0072525. ISBN 978-3-540-47402-9
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Labelle, G. (2020). Classifying Discrete Structures by Their Stabilizers. In: Gerhard, J., Kotsireas, I. (eds) Maple in Mathematics Education and Research. MC 2019. Communications in Computer and Information Science, vol 1125. Springer, Cham. https://doi.org/10.1007/978-3-030-41258-6_30
Download citation
DOI: https://doi.org/10.1007/978-3-030-41258-6_30
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-41257-9
Online ISBN: 978-3-030-41258-6
eBook Packages: Computer ScienceComputer Science (R0)