Here is a simple but cute computation that makes a good exercise in elementary representation theory with a probabilistic flavor — as usual, it’s probably well-known, but I wasn’t aware of it until doing the exercise myself.
We consider random permutations in the symmetric group , and write for the number of cycles in the disjoint cycle representation of . It is a well-known fact (which may be due to Feller) that, viewed as a random variable on (with uniform probability measure), there is a decomposition in law
where is a Bernoulli random variable taking value with probability and with probability , and moreover the ‘s are independent.
This decomposition is (in the sources I know) usually proved using the “Chinese Restaurant Process” to describe random permutations ( guests numbered from to enter a restaurant with circular tables; they successively sit either at the next available space of one of the tables already occupied, or pick a new one, with the same probability; after all guests are seated, reading the cycles on the occupied tables gives a uniformly distributed element of .) If one is only interested in , then the decomposition above is equivalent to the formula
for the probability generating function of . (This formula comes up in mod-poisson convergence of and in analogies with the Erdös-Kac Theorem, see this blog post).
Here is an algebraic proof of this generating function identity. First, is a polynomial, so it is enough to prove the formula when is a non-negative integer. We can do this as follows: let be a vector space of dimension over . Then define and view it as a representation space of where the symmetric group permutes the factors in the tensor product. Using the “obvious” basis of , it is elementary that the character of this representation is the function on (the matrix representing the action of is a permutation matrix). Hence, by character theory, is the dimension of the -invariant subspace of . Since the representation is semisimple, this is the dimension of the coinvariant space, which is the -th symmetric power of This in turn is well-known (number of monomials of degree in variables), and we get
At the time, I knew one proof, based on computations with Magma: the curves above “are” elliptic curves, and Magma found an isogeny between the curves with parameters and , which implies that they have the same number of points by elementary properties of elliptic curves over finite fields.
By now, however, I am aware of three other proofs:
The most elementary, which motivates this post, was just recently put on arXiv by T. Budzinski and G. Lucchini Arteche; it is based on the methods of Chevalley’s proof of Warning’s theorem: it computes modulo , proving the desired identity modulo , and then concludes using upper bounds for the number of solutions, and for its parity, to show that this is sufficient to have the equality as integers. Interestingly, this proof was found with the help of high-school students participating in the Tournoi Français des Jeunes Mathématiciennes et Mathématiciens. This is a French mathematical contest for high-school students, created by D. Zmiaikou in 2009, which is devised to look much more like a “real” research experience than the Olympiads: groups of students work together with mentors on quite “open-ended” questions, where sometimes the answer is not clear (see for instance the 2016 problems here).
A proof using modular functions was found by D. Zywina, who sent it to me shortly after the first post (I have to look for it in my archives…)
Maybe the most elegant argument comes by applying a more general result of Deligne and Flicker on local systems of rank on the projective line minus four points with unipotent tame ramification at the four missing points (the first cohomology of the curves provide such a local system, the missing points being ). Deligne and Flicker prove (Section 7 of their paper, esp. Prop. 7.6), using a very cute game with products of matrices and invariant theory, that if is such a local system and is any automorphism of the projective line that permutes the four points, then is isomorphic to .
Not too bad a track record for such a simple-looking question… Whether there is a bijective proof remains open, however!
The Swiss Science Foundation (SNF in German, FNS in French) publishes a regular magazine that surveys current topics concerning science and research in Switzerland. It often highlights subjects that are unexpected and interesting in all areas of science, from the humanities to forestry, the deterioration of prussian blue in paintings and so on, and does so in its three parallel editions, in English, French and German.
The last issue has a special focus on Open Science in its various forms. For some reason, although there is no discussion of Polymath per se, the editors decided to have a picture of a mathematician working on Polymath as an illustration, and they asked me if they could make such a picture with me, and in fact two of them (the photographer is Valérie Chételat) appear in the magazine. Readers may find it amusing to identify which particular comment of the Polymath 8 blog I am feigning to be studying in those pictures…
Besides (and of greater import than) this, I recommend looking at the illustration pages 6 and 7,
which is a remarkably precise computer representation of the 44000 trees in a forest near Baden, each identified and color-coded according to its species… (This is done by the team of M. Schaepman at the University of Zürich).
Here is yet another definition in mathematics where it seems that conventions vary (almost like the orientation of titles on the spines of books): is a Jordan block an upper-triangular or lower-triangular matrix? In other words, which of the matrices
is a Jordan block of size 2 with respect to the eigenvalue ?
I have the vague impression that most elementary textbooks in Germany (I taught linear algebra last year…) use , but for instance Bourbaki (Algèbre, chapitre VII, page 34, définition 3, in the French edition) uses , and so does Lang’s “Algebra”. Is it then a cultural dichotomy (again, like spines of books)?
I have to admit that I tend towards myself, because I find it much easier to remember a good model for a Jordan block: over the field , take the vector space , and consider the linear map defined by . Then the matrix of with respect to the basis is the Jordan block in its lower-triangular incarnation. The point here (for me) is that passing from to is nicely “inductive”: the formula for the linear map is “independent” of , and the bases for different are also nicely meshed. (In other words, if one finds the Jordan normal form using the classification of modules over principal ideal domains, one is likely to prefer the lower-triangular version that “comes out” more naturally…)