Maths Olympiad Prep

Track / Stage 6 / 180 of 400 #1660 of 2444

Problem 1660

National Olympiad, first round
Combinatorics Difficulty 6.3 Prove it HMMT February · United States · 2016

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

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official 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.

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