A Problem From The 2005 Putnam Competition
A link to the Putnam competition website appears in the section External links. The problem asks for a proof that
where the sum is over all permutations of, is the sign of, i.e. if is even and if is odd, and is the number of fixed points of .
Now the sign of is given by
where the product is over all cycles c of, as explained e.g. on the page on even and odd permutations.
Hence we consider the combinatorial class
where marks one minus the length of a contributing cycle, and marks fixed points. Translating to generating functions, we obtain
or
Now we have
and hence the desired quantity is given by
Doing the computation, we obtain
or
Extracting coefficients, we find that the coefficient of is zero. The constant is one, which does not agree with the formula (should be zero). For positive, however, we obtain
or
which is the desired result.
As an interesting aside, we observe that may be used to evaluate the following determinant of an matrix:
where . Recall the formula for the determinant:
Now the value of the product on the right for a permutation is, where f is the number of fixed points of . Hence
which yields
and finally
Read more about this topic: Random Permutation Statistics
Famous quotes containing the words problem, putnam and/or competition:
“I tell you, sir, the only safeguard of order and discipline in the modern world is a standardized worker with interchangeable parts. That would solve the entire problem of management.”
—Jean Giraudoux (18821944)
“Cut the pie any way you like, meanings just aint in the head!”
—Hilary Putnam (b. 1926)
“Knowledge in the form of an informational commodity indispensable to productive power is already, and will continue to be, a majorperhaps the majorstake in the worldwide competition for power. It is conceivable that the nation-states will one day fight for control of information, just as they battled in the past for control over territory, and afterwards for control over access to and exploitation of raw materials and cheap labor.”
—Jean François Lyotard (b. 1924)