Combinatorial Species

Get Combinatorial Species essential facts below. View Videos or join the Combinatorial Species discussion. Add Combinatorial Species to your Like2do.com topic list for future reference or share this resource on social media.

## Definition of species

## Calculus of species

### Basic operations

### Further operations

## Variations

## Software

## See also

## Notes

## References

## External links

This article uses material from the Wikipedia page available here. It is released under the Creative Commons Attribution-Share-Alike License 3.0.

Combinatorial Species

This article includes a list of references, but its sources remain unclear because it has insufficient inline citations. (June 2018) (Learn how and when to remove this template message) |

This article needs attention from an expert in mathematics. (June 2018) |

In combinatorial mathematics, the theory of **combinatorial species** is an abstract, systematic method for analysing discrete structures in terms of generating functions. Examples of discrete structures are (finite) graphs, permutations, trees, and so on; each of these has an associated generating function which counts how many structures there are of a certain size. One goal of species theory is to be able to analyse complicated structures by describing them in terms of transformations and combinations of simpler structures. These operations correspond to equivalent manipulations of generating functions, so producing such functions for complicated structures is much easier than with other methods. The theory was introduced, carefully elaborated and applied by the Canadian group of people around André Joyal.

The power of the theory comes from its level of abstraction. The "description format" of a structure (such as adjacency list versus adjacency matrix for graphs) is irrelevant, because species are purely algebraic. Category theory provides a useful language for the concepts that arise here, but it is not necessary to understand categories before being able to work with species.

This section does not cite any sources. (June 2018) (Learn how and when to remove this template message) |

Any structure — an instance of a particular species — is associated with some set, and there are often many possible structures for the same set. For example, it is possible to construct several different graphs whose node labels are drawn from the same given set. At the same time, any set could be used to build the structures. The difference between one species and another is that they build a different set of structures out of the same base set.

This leads to the formal definition of a *combinatorial species*. Let be the category of finite sets and bijections (the collection of all finite sets, and invertible functions between them). A species is a functor

given a set *A*, it yields the set *F*[*A*] of *F*-structures on *A*. Functors also operate on morphisms, i.e., on bijections in this case. If ? is a bijection between sets *A* and *B*, then *F*[?] is a bijection between the sets of *F*-structures *F*[*A*] and *F*[*B*], called *transport of F-structures along ?*.

For example, the "species of permutations" maps each finite set *A* to the set of all permutations of *A*, and each bijection from *A* to another set *B* naturally induces a bijection from the set of all permutations of *A* to the set of all permutations of *B*. Similarly, the "species of partitions" can be defined by assigning to each finite set the set of all its partitions, and the "power set species" assigns to each finite set its power set.

There is a standard way of illustrating an instance of any structure, regardless of its nature. The diagram on the right shows a structure on a set of five elements: arcs connect the structure (red) to the elements (blue) from which it is built.

The choice of as the category on which species operate is important. Because a bijection can only exist between two sets when they have the same size, the number of elements in *F*[*A*] depends only on the size of *A*. (This follows from the formal definition of a functor.) Restriction to finite sets means that |*F*[*A*]| is always finite, so it is possible to do arithmetic with such quantities. In particular, the *exponential generating series* *F*(*x*) of a species *F* can be defined:

where is the size of *F*[*A*] for any set *A* having *n* elements.

Some examples:

- The species of sets (traditionally called
*E*, from the French "*ensemble*", meaning "set") is the functor which maps*A*to {*A*}. Then , so . - The species
*S*of permutations, described above, has . . - The species
*T*_{2}of pairs (2-tuples) is the functor taking a set*A*to*A*^{2}. Then and .

Arithmetic on generating functions corresponds to certain "natural" operations on species. The basic operations are addition, multiplication, composition, and differentiation; it is also necessary to define equality on species. Category theory already has a way of describing when two functors are equivalent: a natural isomorphism. In this context, it just means that for each *A* there is a bijection between *F*-structures on *A* and *G*-structures on *A*, which is "well-behaved" in its interaction with transport. Species with the same generating function might not be isomorphic, but isomorphic species do always have the same generating function.

This section does not cite any sources. (June 2018) (Learn how and when to remove this template message) |

**Addition** of species is defined by the disjoint union of sets, and corresponds to a choice between structures. For species *F* and *G*, define (*F* + *G*)[*A*] to be the disjoint union (also written "+") of *F*[*A*] and *G*[*A*]. It follows that (*F* + *G*)(*x*) = *F*(*x*) + *G*(*x*). As a demonstration, take *E*^{+} to be the species of non-empty sets, whose generating function is *E*^{+}(*x*) = *e*^{x} - 1, and **1** the species of the empty set, whose generating function is **1**(*x*) = 1. It follows that *E* = **1** + *E*^{+}: in words, "a set is either empty or non-empty". Equations like this can be read as referring to a single structure, as well as to the entire collection of structures.

The original definition of the species inspired three directions of investigation.

- On the categorical side, ones needs a larger frame to content both the product and coproduct. The price is the loose of the cycle index.

- Another approach brings in the Burnside rings or rigs. The Burnside summation of representations is a formal notation used in the elaboration of marks tables theory.

- Finally, the usual definition does not take into account the functoriality and the fact that a species, even seen as a rule, is unique. For a rule F there isn't the second rule F to produce a disjoint sum F+F. In this approach the definition of summing is actually a definition by example. The advantage is the natural insertion of the cycle index as the power tool.

**Multiplying** species is slightly more complicated. It is possible to just take the Cartesian product of sets as the definition, but the combinatorial interpretation of this is not quite right. (See below for the use of this kind of product.) Rather than putting together two unrelated structures on the same set, the multiplication operator uses the idea of splitting the set into two components, constructing an *F*-structure on one and a *G*-structure on the other.

This is a disjoint union over all possible binary partitions of *A*. It is straightforward to show that multiplication is associative and commutative (up to isomorphism), and distributive over addition. As for the generating series, (*F* · *G*)(*x*) = *F*(*x*)*G*(*x*).

The diagram below shows one possible (*F* · *G*)-structure on a set with five elements. The *F*-structure (red) picks up three elements of the base set, and the *G*-structure (light blue) takes the rest. Other structures will have *F* and *G* splitting the set in a different way. The set (*F* · *G*)[*A*], where *A* is the base set, is the disjoint union of all such structures.

The addition and multiplication of species are the most comprehensive expression of the sum and product rules of counting.

**Composition**, also called substitution, is more complicated again. The basic idea is to replace components of *F* with *G*-structures, forming (*F*?*G*). As with multiplication, this is done by splitting the input set *A*; the disjoint subsets are given to *G* to make *G*-structures, and the set of subsets is given to *F*, to make the *F*-structure linking the *G*-structures. It is required for *G* to map the empty set to itself, in order for composition to work. The formal definition is:

Here, *P* is the species of partitions, so *P*[*A*] is the set of all partitions of *A*. This definition says that an element of (*F*?*G*)[*A*] is made up of an *F*-structure on some partition of *A*, and a *G*-structure on each component of the partition. The generating series is .

One such structure is shown below. Three *G*-structures (light blue) divide up the five-element base set between them; then, an *F*-structure (red) is built to connect the *G*-structures.

These last two operations may be illustrated by the example of trees. First, define *X* to be the species "singleton" whose generating series is *X*(*x*) = *x*. Then the species *Ar* of rooted trees (from the French "*arborescence*") is defined recursively by *Ar* = *X* · *E*(*Ar*). This equation says that a tree consists of a single root and a set of (sub-)trees. The recursion does *not* need an explicit base case: it only generates trees in the context of being applied to some finite set. One way to think about this is that the *Ar* functor is being applied repeatedly to a "supply" of elements from the set — each time, one element is taken by *X*, and the others distributed by *E* among the *Ar* subtrees, until there are no more elements to give to *E*. This shows that algebraic descriptions of species are quite different from type specifications in programming languages like Haskell.

Likewise, the species *P* can be characterised as *P* = *E*(*E*^{+}): "a partition is a pairwise disjoint set of nonempty sets (using up all the elements of the input set)". The exponential generating series for *P* is , which is the series for the Bell numbers.

**Differentiation** of species intuitively corresponds to building "structures with a hole", as shown in the illustration below.

Formally,

where is some distinguished new element not present in .

To differentiate the associated exponential series, the sequence of coefficients needs to be shifted one place to the "left" (losing the first term). This suggests a definition for species: *F' *[*A*] = *F*[*A* + {*}], where {*} is a singleton set and "+" is disjoint union. The more advanced parts of the theory of species use differentiation extensively, to construct and solve differential equations on species and series. The idea of adding (or removing) a single part of a structure is a powerful one: it can be used to establish relationships between seemingly unconnected species.

For example, consider a structure of the species *L* of linear orders—lists of elements of the ground set. Removing an element of a list splits it into two parts (possibly empty); in symbols, this is *L'* = *L*·*L*. The exponential generating function of *L* is *L*(*x*) = 1/(1 - *x*), and indeed:

The species *C* of cyclic permutations takes a set *A* to the set of all cycles on *A*. Removing a single element from a cycle reduces it to a list: *C'* = *L*. We can integrate the generating function of *L* to produce that for *C*.

A nice example of integration of a species is the completion of a line (coordonatizated by a field) with the infinite point and obtaining a projective line.

This section does not cite any sources. (June 2018) (Learn how and when to remove this template message) |

There are a variety of other manipulations which may be performed on species. These are necessary to express more complicated structures, such as directed graphs or bigraphs.

**Pointing** selects a single element in a structure. Given a species *F*, the corresponding pointed species *F*^{o} is defined by *F*^{o}[*A*] = *A* × *F*[*A*]. Thus each *F*^{o}-structure is an *F*-structure with one element distinguished. Pointing is related to differentiation by the relation *F*^{o} = *X*·*F' *, so *F*^{o}(*x*) = *x* *F' *(*x*). The species of pointed sets, *E*^{o}, is particularly important as a building block for many of the more complex constructions.

The **Cartesian product** of two species is a species which can build two structures on the same set at the same time. It is different from the ordinary multiplication operator in that all elements of the base set are shared between the two structures. An (*F* × *G*)-structure can be seen as a superposition of an *F*-structure and a *G*-structure. Bigraphs could be described as the superposition of a graph and a set of trees: each node of the bigraph is part of a graph, and at the same time part of some tree that describes how nodes are nested. The generating function (*F* × *G*)(*x*) is the Hadamard or coefficient-wise product of *F*(*x*) and *G*(*x*).

The species *E*^{o} × *E*^{o} can be seen as making two independent selections from the base set. The two points might coincide, unlike in *X*·*X*·*E*, where they are forced to be different.

As functors, species *F* and *G* may be combined by **functorial composition**: (the box symbol is used, because the circle is already in use for substitution). This constructs an *F*-structure on the set of all *G*-structures on the set *A*. For example, if *F* is the functor taking a set to its power set, a structure of the composed species is some subset of the *G*-structures on *A*. If we now take *G* to be *E*^{o} × *E*^{o} from above, we obtain the species of directed graphs, with self-loops permitted. (A directed graph is a set of edges, and edges are pairs of nodes: so a graph is a subset of the set of pairs of elements of the node set *A*.) Other families of graphs, as well as many other structures, can be defined in this way.

- A species
*in k sorts*is a functor . Here, the structures produced can have elements drawn from distinct sources. - A functor to , the category of
*R*-weighted sets for*R*a ring of power series, is a*weighted species*.

Operations with species are supported by SageMath^{[1]} and, using a special package, also by Haskell.^{[2]}^{[3]}

**^**Sage documentation on combinatorial species.**^**Haskell package species.**^**Brent A., Yorgey (2010). "Species and functors and types, oh my!". ACM: 147-158. doi:10.1145/1863523.1863542. ISBN 978-1-4503-0252-4.

- André Joyal,
*Une théorie combinatoire des séries formelles*, Advances in Mathematics 42:1-82 (1981). - Labelle, Jacques.
*Quelques espèces sur les ensembles de petite cardinalité.*, Ann. Sc. Math. Québec 9.1 (1985): 31-58. - J. Labelle and Y.N. Yeh,
*The Relation Between Burnside Rings and Combinatorial Species*, Journal of Combinatorial Theory Series A 50, (1989) 269-284 - Yves Chiricota,
*Classification des espèces moléculaires de degré 6 et 7*, Ann. Sci. Math. Québec 17 (1993), no. 1, 1 l-37. - François Bergeron, Gilbert Labelle, Pierre Leroux,
*Théorie des espèces et combinatoire des structures arborescentes*, LaCIM, Montréal (1994). English version:*Combinatorial Species and Tree-like Structures*, Cambridge University Press (1998). - Kerber, Adalbert (1999), Applied finite group actions, Algorithms and Combinatorics, 19 (2nd ed.), Berlin, New York: Springer-Verlag, ISBN 978-3-540-65941-9, MR 1716962, OCLC 247593131
- Federico G. Lastaria, An invitation to Combinatorial Species. (2002)

This article uses material from the Wikipedia page available here. It is released under the Creative Commons Attribution-Share-Alike License 3.0.

Top US Cities

United States

Like2do.com was developed using defaultLogic.com's knowledge management platform. It allows users to manage learning and research. Visit defaultLogic's other partner sites below: