This is blog post #3 in a series on signed sets and ballots (the previous posts are here and here).
Naturality, isomorphism, and equipotence
When are two species isomorphic? Since species are, by definition, functors , the obvious answer is “when they are isomorphic as functors”, that is, when there is a natural isomorphism between them.
Let’s unpack definitions a bit. Recall that is the groupoid (i.e. category with all morphisms invertible) of finite sets and bijections, and is the category of finite sets and total functions.
Given two functors , a natural isomorphism is some family of bijections such that for any bijection , the following square commutes:
Think of as a relabelling—that is, a 11 correspondence between labels in and labels in . By functoriality of and , we can lift to relabel whole structures, via and . The whole square then says that the family of correspondences “commute with relabelling”—that is, intuitively, can’t “look at” the labels at all, because it has to “do the same thing” even when we change the labels out from under it. It operates based solely on the structure present in the – or structures—which by functoriality must be independent of the labels—and not based on the identity or structure of the set of labels itself.
All this generalizes readily to virtual species: recall that virtual species consist of pairs of species , where we define to be equivalent to if and only if is (naturally) isomorphic to . That is, isomorphism of virtual species already has natural isomorphism of regular species baked into it by definition.
Now, recall the signed involution from my previous post. Since it depends on a chosen linear order, it is not a natural isomorphism: an arbitrary relabelling certainly need not preserve the ordering on the labels, so the involution is not preserved under relabelling.
This brings up the natural (haha) question: is it possible to give a natural isomorphism between signed sets and signed ballots? If so, we would certainly prefer it to this involution that makes use of a linear order. But sadly, the answer, it turns out, is no. Let range from to . We are looking for a natural isomorphism
in the case that is odd, or
when is even.
Notice that in any case, whether positive or negative, the structure will be fixed by any relabelling which is a permutation (because permuting the elements of a set does not change the set). Hence, any natural isomorphism must send it to some structure which is also fixed by all permutations. But the only such ballot structure is the one consisting of a single part containing all the elements. This ballot has an odd number of parts, so there cannot be a natural isomorphism in the case that is even—we would have to match the structure with some evensized ballot which is fixed by all permutations of the labels, but there are none. Hence there is no natural isomorphism, which by definition would have to work for all .
But what about for odd ? Can we have a natural isomorphism between the structures restricted to the case when is odd? In fact, no: we can make a more general argument that applies for any . Consider the different ballots consisting of separate singleton parts. Each of these is fixed by no permutations other than the identity. So, under a natural isomorphism they would all have to map to ballots of the opposite parity which are also fixed by no permutations other than the identity: but by the Pigeonhole Principle, any ballot with fewer than parts must have at least one part containing more than one element, and will therefore be fixed under any permutation that only touches the elements in that part.
In this situation—when there is a 11 correspondence between species, but not a natural one—we say the species are equipotent but not isomorphic. The species have the same number of structures of each size, and hence exactly the same generating function, but they are not (naturally) isomorphic: it is possible to tell them apart by looking at how structures behave under relabelling. Another classic example of this phenomenon is the species of lists and the species of permutations: each has exactly labelled structures of size , but they are not naturally isomorphic. Lists have no symmetry at all, that is, they are fixed by no permutations other than the identity, but permutations, in general, do have some symmetry. For example, any permutation is fixed when the labels are permuted by itself: the permutation is the same as the permutation . The classic combinatorial proof that there are the same number of lists and permutations also uses an extra linear order on the labels.
Subset parity
A classic lemma in combinatorics states that any nonempty finite set has the same number of even and odd subsets. In fact, I recently wrote a proof of this on my other blog. Since it’s written for a more general audience, it’s spelled out there in quite a lot of detail; but if you understand the idea of signed involutions, the classic combinatorial proof is quite simple to state: given a set , pick some , and define a signed involution on subsets of (signed according to the parity of their size) by “toggling” the presence of . That is, given , if then take it out, and if then add it in. This is clearly an involution and sends even subsets to odd and vice versa.
However, this involution is not natural—it depends on the choice of .^{1} Is it possible to prove it via a natural correspondence? In fact, that’s one of the things Anders Claesson’s original post—the one that got me started down this whole rabbit hole—was trying to do. Unfortunately, hidden in the middle of his proof was an assumed correspondence between signed sets and signed ballots, and as we’ve seen, this correspondence actually cannot be proved naturally. (I should reiterate that in no way do I mean to disparage his post—it’s still a great post with a lot of cool insights, not to mention a nice framework for thinking about multiplicative inverses of species. It just doesn’t quite accomplish one of the things he thought it was accomplishing!)
Now, at this point, all we know is that the particular argument used in that post is not, in fact, natural. But that doesn’t necessarily mean a natural correspondence between even and odd subsets is impossible. However, it turns out that it is (mostly) impossible: we can give a more direct argument that, in fact, there is no natural proof—that is, the species of odd subsets and the species of even subsets are equipotent but not naturally isomorphic.
The proof is quite simple, and along similar lines as the proof for signed sets and ballots. Note that the empty subset is fixed by all permutations, as is the maximal subset—and these are clearly the only such subsets. So any natural correspondence must match these subsets with each other—but when is even they have the same parity.
What about if we restrict to the case when is odd? Unlike the case of signed sets and ballots, it turns out that we actually can give a natural proof in this case! The involution to use is the one that simply sends any to its complement . This is clearly an involution, and since is odd, it reverses the parity as required. It also does not depend at all on the elements of or any assumed structure on them, that is, it commutes perfectly well with relabelling.
This corresponds nicely with an observation we can make about Pascal’s triangle: it is easy to see that the alternating sum of any odd row is , for example, , since the entries are all duplicated, with one positive and one negative version of each. However, for even rows it is not quite so obvious: why is ? To show this cancels to give 0 we must “split up” some of the numbers so that one part of them cancels with one number and another part cancels with another; that is, we cannot necessarily treat all the subsets of a given size uniformly. But subsets of a given size are completely indistinguishable up to relabelling—hence the necessity of some extra structure to allow us to make the necessary distinctions.

Interestingly, it does not depend on a linear order—just on a chosen element. I wonder if anyone has ever thought about “classifying” different equipotences by the “strength” of the extra structure needed to prove them.↩
The links to the previous posts don’t seem to point where you want (they point to the current post’s URL, with ‘/1999’ and ‘/1999/1999’ appended).
Thanks, good catch. I think it should be fixed now.