The other day, Anders Claesson wrote a very nice blog post explaining a more combinatorial way to understand multiplicative inverses of virtual species (as opposed to the rather algebraic way I explained it in my previous post). In the middle of his post he makes an offhanded assumption which I stubbornly refused to take at face value; after thinking about it for a while and discussing it with Anders, I’m very glad I did, because there’s definitely more going on here than meets the eye and it’s given me a lot of interesting things to think about.
Recall that denotes the species of sets, defined by , that is, the only -structure on a given label set is the set of labels itself. Recall also that the exponential generating function of a species is given by
where counts the number of labelled -structures of size . In the case of , we have for all , so
(This is why is such a good name for the species of sets—though in a fantastic coincidence, it seems to originally come from the French word for set, ensemble, rather than from the fact that (though on the other hand calling it a “coincidence” is probably too strong, since Joyal must surely have picked the notation with the generating function already in mind!).)
Now, from my previous post we know that
Let’s first consider (without the ). This means that we have, for some , a -ary product of structures—in other words, a list of nonempty sets. This is the species of ballots, also known as ordered set partitions, and can also be written . As an example, here is a ballot on the set of labels :
The order of the parts matters, so this is a different ballot:
But the order of labels within each part doesn’t matter (since each part is a set). As another example, here is the complete collection of ballot structures on the labels :
We can see that there are 13 in total: six where the labels are each in their own separate part (corresponding to the six possible permutations of the labels); six where two labels share a part and the other label is a singleton part (corresponding to the three ways to choose the solitary label, times the two ways to order the parts); and one final ballot where all three labels are grouped in the same part. (As an exercise, can you verify that there are 75 different ballot structures on a set of four labels?)
Returning to , we can see that it consists of signed ballots, where the sign of a ballot is the parity of its number of parts, that is, a ballot with parts has sign . The second half of Anders’ post gives a nice combinatorial proof that , via a sign-reversing involution: if we consider -structures, i.e. pairs of sets and signed ballots, there is a natural1 way to pair them up, matching positive and negative structures so everything cancels (except in the case of the empty label set, which is why we get instead of ).
However, Anders is trying to do more than that. Note first that since multiplication of EGFs corresponds to multiplication of species, the EGF for is of course . But this ought to also be the EGF for the virtual species , and the rest of his post hinges on identifying and . As Anders and I discovered, however, this is precisely the point where it is worth being more careful.
First of all, what is ? Intuitively, an structure consists of a set of negative atoms; since each set can be thought of as an (unordered) product of atoms, the whole set acquires a sign given by the parity of the number of atoms. In other words, intuitively it seems that should be the species of signed sets, where an even-sized set is considered positive and an odd-sized set negative. That is,
where denotes the species of sets of size exactly . As a sanity check, this makes sense as an EGF equation too, since the EGF of is just and indeed
But hold on a minute, what does really mean, formally? It is the composition of the species with the virtual species , and it turns out that it is not at all a priori obvious how to define composition for virtual species! We can find the definition on p. 127 of Bergeron et al. A special case (which is enough for our present purposes) is
where and are two sorts of atoms, and denotes Cartesian product of species. In our case,
since is the identity for Cartesian product (overlaying an additional structure on a set of labels does not add any structure, since there is only one possible -structure).
All of this is to say, is actually defined as ! So at first glance it may seem we actually have nothing to prove: and are the same by definition, end of story. …but in fact, all we have done is shift the burden of proof elsewhere: now it is our intuitive idea of representing signed sets that requires proof!
To sum up, we know that is the species of signed ballots, with sign given by parity of the number of parts; and intuitively, we also believe that should correspond to parity-signed sets, . So, is there a nice combinatorial proof showing the correspondence between signed sets and signed ballots?
One can use the law of excluded middle to show that the answer must be “yes”: suppose the answer were “no”; but then I would not be writing this blog post, which is a contradiction since I am writing this blog post. But is there a constructive proof? Fear not! This blog post has gotten long enough, so I will stop here for now and let interested readers puzzle over it; in my next post I will explain what I came up with, along with some musings on linear orders and naturality.
I am indeed using the word natural in a technical, categorical sense here! This will play an important role in my second post…↩