I said
Here are my memories. Unfortunately, the TeX sources appear to to have been abandoned at Xerox PARC. Shortly after the announcement of the factorization of 2^2^2^3+1,
12 July,1982, in fact.
I sent a(n unrelated) letter to the the usual gang of maniacs (Dick Askey, George Andrews, George Gasper (I think), Rich&Hilarie, etc.) that began: "Dear Thai food lovers and Rich,"
No, that was a different letter. And despite this misdirection, George managed to dig up his copy and Smearox it.
answering Hilarie's challenge to find a bijection between the *complements* of the odd partitions and distinct partitions. I.e., pair the not-all-differents with the not-all-odds. A very young Peter Weyhrauch and I came up with one,
Treat the repeated and nonrepeated parts separately. Add together repeated parts in pairs until no repeats remain. Then, iteratively bisect the even initially unique parts until only odds remain. Reverse: Treat the odd and even parts separately. Iteratively bisect the even parts until only odds remain. Iteratively add together pairs that were intially odd. This process also serves to biject distinct partitions with odd ones.
and then a PARC coworker, Ted Kaehler, came up with a different one!
Some evens to some duplicates: If any part is repeated, do nothing(!), else iteratively bisect the evens 'til none remains. Some duplicates to some evens: If any part is even, do nothing(!), else iteratively pair duplicates until none remain.
I then found a generalization of the theorem to residue classes mod k, of which #(some evens) = #(some duplicates) was the case k=2.
I.e., # partitions with k-tuples = # with multiples of k.
This led to a nonobvious generating function identity.
Actually, it's fairly elementary, but funny-looking: 1-(1-q)(1-q^2) ... = sum (1-q)(1-q^2)...(1-q^(n-1)) q^n n>0 = sum q^n (1-q^(n+1))(1-q^(n+2))... n>0 The nonobvious identities came from generalizing a Ramanujan identity from George's Theory of Partitions book, which implies: The partitions of n with largest part odd and < twice the smallest part = " " " " " smallest part unique and >= half the largest. I'll type it up if there's any interest.
It would be nice to locate a hardcopy of that letter.
Thanks, George!
--rwg