Maths Olympiad Prep

Library / /1376 of 1394

, 2016

Combinatorics Difficulty 6.3 National Olympiad Prove it United States

Problem:
Let V={1,,8}V=\{1, \ldots, 8\}. How many permutations σ:VV\sigma: V \rightarrow V are automorphisms of some tree?

(A graph consists of a some set of vertices and some edges between pairs of distinct vertices. It is connected if every two vertices in it are connected by some path of one or more edges. A tree GG on VV is a connected graph with vertex set VV and exactly V1|V|-1 edges, and an automorphism of GG is a permutation σ:VV\sigma: V \rightarrow V such that vertices i,jVi, j \in V are connected by an edge if and only if σ(i)\sigma(i) and σ(j)\sigma(j) are.)

Proposed by: Mitchell Lee

Solution

Solution:
We decompose into cycle types of σ\sigma. Note that within each cycle, all vertices have the same degree; also note that the tree has total degree 1414 across its vertices (by all its seven edges).

For any permutation that has a 11 in its cycle type (i.e., it has a fixed point), let 1a81 \leq a \leq 8 be a fixed point. Consider the tree that consists of the seven edges from aa to the seven other vertices—this permutation (with aa as a fixed point) is an automorphism of this tree.

For any permutation that has cycle type 2+62+6, let aa and bb be the two elements in the 22-cycle. If the 66-cycle consists of c,d,e,f,g,hc, d, e, f, g, h in that order, consider the tree with edges between aa and b,c,e,gb, c, e, g and between bb and d,f,hd, f, h. It's easy to see σ\sigma is an automorphism of this tree.

For any permutation that has cycle type 2+2+42+2+4, let aa and bb be the two elements of the first two-cycle. Let the other two-cycle consist of cc and dd, and the four-cycle be e,f,g,he, f, g, h in that order. Then consider the tree with edges between aa and bb, aa and cc, bb and dd, aa and ee, bb and ff, aa and gg, bb and hh. It's easy to see σ\sigma is an automorphism of this tree.

For any permutation that has cycle type 2+3+32+3+3, let aa and bb be the vertices in the 22-cycle. One of aa and bb must be connected to a vertex distinct from a,ba, b (follows from connectedness), so there must be an edge between a vertex in the 22-cycle and a vertex in a 33-cycle. Repeatedly applying σ\sigma to this edge leads to a cycle of length 44 in the tree, which is impossible (a tree has no cycles). Therefore, these permutations cannot be automorphisms of any tree.

For any permutation that has cycle type 3+53+5, similarly, there must be an edge between a vertex in the 33-cycle and a vertex in the 55-cycle. Repeatedly applying σ\sigma to this edge once again leads to a cycle in the tree, which is not possible. So these permutations cannot be automorphisms of any tree.

The only remaining possible cycle types of σ\sigma are 4+44+4 and 88. In the first case, if we let xx and yy be the degrees of the vertices in each of the cycles, then 4x+4y=144x+4y=14, which is impossible for integer x,yx, y. In the second case, if we let xx be the degree of the vertices in the 88-cycle, then 8x=148x=14, which is not possible either.

So we are looking for the number of permutations whose cycle type is not 2+2+32+2+3, 88, 4+44+4, 3+53+5. The number of permutations with cycle type 2+2+32+2+3 is (82)12(63)(2!)2=1120\binom{8}{2} \frac{1}{2} \binom{6}{3}(2!)^{2}=1120, with cycle type 88 is 7!=50407!=5040, with cycle type 4+44+4 is 12(84)(3!)2=1260\frac{1}{2}\binom{8}{4}(3!)^{2}=1260, with cycle type 3+53+5 is (83)(2!)(4!)=2688\binom{8}{3}(2!)(4!)=2688. Therefore, by complementary counting, the number of permutations that ARE automorphisms of some tree is 8!1120126026885040=302128!-1120-1260-2688-5040=30212.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.