arXiv++ Combinatorics

Subtraction is a powerful technique for creating new bijections from old. Let's reinvent it! While we're at it, let's reinvent division as well.

The category of matchings between finite sets extends to the category of cobordisms of signed sets. A chain of cobordisms that starts and ends with unsigned sets A and B yields a matching from A to B. This is a convenient way to package the involution principle of Garsia and Milne, which reveals itself to have little to do with involutions.

Around about 1917, Issai Schur rediscovered the Rogers-Ramanujan identities, and proved a system of polynomial identities that imply them. Schur wrote that Georg Frobenius (his former advisor) had shown him a simple, direct proof of these polynomial identities. Schur did not see fit to reveal Frobenius's proof, preferring his own rather complicated proof. But it is easy enough to guess what this `simple, direct' proof must have been. As Frobenius died in 1917, we may call this `Frobenius's last proof'.

Let C be a non-empty finite set, and Gamma a subgroup of the symmetric group S(C). Given a bijection f:A cross C to B cross C, the problem of Gamma-equivariant division is to find a quotient bijection h:A to B respecting whatever symmetries f may have under the action of S(A) cross S(B) cross Gamma. Say that Gamma is fully cancelling if this is possible for any f, and finitely cancelling if it is possible providing A,B are finite. Feldman and Propp showed that a permutation group is finitely cancelling just if it has a globally fixed point. We show here that a permutation group is fully cancelling just if it is trivial. This sheds light on the fact that all known division algorithms that eschew the Axiom of Choice depend on fixing an ordering for the elements of C.

Write A<=B if there is an injection from A to B, and A==B if there is a bijection. We give a simple proof that for finite n, nA<=nB implies A<=B. From the Cantor-Bernstein theorem it then follows that nA==nB implies A==B. These results have a long and tangled history, of which this paper is meant to be the culmination.

There is a natural bijection between permutations obtainable using a stack (those avoiding the pattern 312) and permutations obtainable using a queue (those avoiding 321). This bijection is equivalent to one described by Simion and Schmidt in 1985. We argue that this bijection might well have been found back in 1968 by readers of volume 1 of Knuth's *The Art of Computer Programming*, if Knuth had not assigned difficulty ratings to his exercises.

The rising algebra is a subalgebra of the group algebra of the symmetric group S_n, gotten by lumping together permutations having the same number of rising sequences. This well-known algebra arises naturally when studying riffle shuffles. Here we introduce a number of other subalgebras that arise naturally when studying `ruffles', which are like riffles except that after cutting the deck you turn over the bunch of cards that were on the bottom. This orphaned draft offers no context or motivation, and uses idiosyncratic notation and terminology that `seemed like a good idea at the time'. We're making it available because it has been cited in this form.

I describe a 27-vertex graph that is vertex-transitive and edge-transitive but not 1-transitive. Thus while all vertices and edges of this graph are similar, there are no edge-reversing automorphisms.

We show how to generate an expression for the number of k-line Latin rectangles for any k. The computational complexity of the resulting expression, as measured by the number of additions and multiplications required to evaluate it, is on the order of n^(2^(k-1)). These expressions generalize Ryser's formula for derangements.

We prove without appeal to the Axiom of Choice that for any sets A and B, if there is a one-to-one correspondence between 3 cross A and 3 cross B then there is a one-to-one correspondence between A and B. The first such proof, due to Lindenbaum, was announced by Lindenbaum and Tarski in 1926, and subsequently `lost'; Tarski published an alternative proof in 1949. We argue that the proof presented here follows Lindenbaum's original.