Symmetry Breaking in Graphs

Transcription

1 Symmetry Breaking in Graphs Motion Conjectures Wilfried Imrich Montanuniversität Leoben, Austria Joint Mathematics Meetings, Baltimore, Maryland My Favorite Graph Theory Conjectures, III January 17, 2014

2 ΠΑΝΤΑ ΡΕΙ Everything Flows Maybe the First Recorded Motion Conjecture Attributed to Heraklit 1

3 Conjectures about Motion and Symmetry Breaking The conjectures concern Symmetries of Countable or Uncountable Infinite Graphs and Groups and how automorphisms or endomorphisms are broken by deterministic or random colorings. 2

4 An Example for Symmetry Breaking in a Finite Graph Consider the given 3-coloring of the vertices of the 3-cube Q 3 : Only the identity automorphism of Q 3 preserves the colors. We say Q 3 is 3-distinguishable. 3

5 Definition Let A be a group acting on a set X. Then - a coloring C of the elements of X is distinguishing if A C = 1. - If C uses d colors, then C is d-distinguishing. - The smallest such d is the distinguishing number D(A, X) of (A, X). (Albertson and Collins, 1996) - The distinguishing number D(G) of a graph G is D(Aut(G), V (G)). D(K n ) = n. The distinguishing number of asymmetric graphs is 1. Conjecture Almost all graphs with non-trivial automorphism group are 2-distinguishable. 4

6 More Examples and Motion C 6 and P ℵ0 are 2-distinguishable, their motion is 4, resp. ℵ 0. 5

7 D(G) and the Motion of a Graph The motion m(α) of α A, where A acts on a set X, is the number of elements it moves. The motion of a graph G is m(g) = min α Aut(G)\{id} m(α). m(k n ) = 2, m(c 6 ) = 4, m(p ℵ0 ) = ℵ 0. Russell and Sundaram 1998: Lemma (Motion Lemma) If d m(g) 2 Aut(G), then the graph G is d-distinguishable. 6

8 1. The Infinite Motion Conjecture (Tucker 2011) Let G be an infinite, locally finite, connected graph with infinite motion. Then D(G) = 2. The conjecture holds, for example, for graphs with countable automorphism group and infinite homogeneous trees; the proofs are easy. The strongest result is: Theorem of growth (Lehner) The Infinite Motion Conjecture is true for graphs O ( 2 (1 ϵ) n 2 ) The proof extends methods of Cuno, Imrich and Lehner. It partitions automorphisms into classes with different motion. Johannes Cuno and Florian Lehner are PhD students at the Doctoral Program Discrete Mathematics at the TU & KFU Graz and MU Leoben. 7

9 2. The Probabilistic Infinite Motion Conjecture (Lehner) Let G be an infinite, locally finite, connected graph with infinite motion. Then a random coloring of G is almost surely distinguishing. It holds in all those cases, where the IMC has been shown to hold. Notice that random colorings of D(T ℵ0 ) are almost surely not distinguishing, but D(T ℵ0 ) = 2. Lehner and Moeller have examples of connected, infinite graphs of countable degree and infinite motion with infinite distinguishing number. 8

10 The Permutation Topology Every permutation group A acting on a countable set X carries a natural topology, the permutation topology. It is defined by choosing as open sets the cosets of the pointwise stabilizers of the finite subsets of X. Notice that Aut(G) is closed in Sym(V (G)) if G is a connected, locally finite infinite graph. Also, the orbits of every stabilizer Aut(G) v, where v V (G), are finite. Such groups are called subdegree finite. A permutation group A on a set is closed if and only if A is the full automorphism group of some structure on that set, say a graph. 9

11 3. The Infinite Motion Conjecture for Permutation Groups (Imrich, Smith, Tucker, Watkins) If A is a closed, subdegree-finite permutation group with infinite motion on a countably infinite set X, then D(A, X) = 2. For countable A one needs neither closure nor subdegree-finiteness. Notice that topological methods are essential for the proof that the Probabilistic IMC holds for graphs of intermediate growth. Lehner begins his proof by showing that every subdegree-finite, closed permutation group A on a set X is totally disconnected, locally compact, and Polish. homeomorphic to a complete metric space with a countable dense subset. 10

12 Theorem The distinguishing number of the homogeneous tree T d of degree d > 2 is 2. Proof for d = 4: The result D(T 3 ) = 2 is already due to Babai Essentially the same proof also holds for d = ℵ 0. 11

13 Recall, to prove the conjectures we have to show that D(A, X) = 2. This is equivalent to showing that a 2-coloring C with A c = id. Theorem (Tucker) Let A Sym(X), where X is countable. If m(a) = ℵ 0, then A has a dense 2-distinguishable subgroup B. Hence a 2-coloring C such that A C is completely disconnected. Theorem (Lehner) Let G be a locally finite infinite graph with infinite motion and let C be a random coloring of G. Then (Aut G) C is almost surely a nowhere dense, closed subgroup with Haar measure 0. Theorem (Lehner) Let G be a locally finite infinite graph with infinite motion. Then there exists a coloring C of G such that (Aut G) C has measure 0 in Aut G and is nowhere dense and compact. 12

14 4. The Motion Conjecture for Uncountable Graphs (Cuno, Imrich, Lehner) Let G be a connected graph of uncountable cardinality with infinite motion m(g) and suppose that 2 m(g) Aut(G). Then D(G) = 2. It is an immediate generalization of the Motion Lemma: 2 m(g)/2 Aut(G) implies D(G) = 2. Theorem Let G be a connected graph with uncountable motion. Then Aut(G) m(g) implies D(G) = 2. Corollary Let G be a connected graph with uncountable motion. If the general continuum hypothesis holds, and if Aut(G) < 2 m(g), then D(G) = 2. 13

15 The Motion Conjecture for Uncountable Graphs holds in the following cases D(Q n ) = 2, where Q n is the hypercube of dimension n. induction. Transfinite D(K n K n ) = 2. Transfinite induction. It does not hold for connected countable graphs that are not locally finite. For such graphs we have: D(R) = 2, where R is the countable random graph. Tricky proof. D(K ℵ0 K ℵ0 ) = 2, where denotes the Cartesian product. Easy. D(T ℵ0 ) = 2, we already discussed this case. 14

16 The following result are outside the scope of the Motion Conjecture for Uncountable Graphs D(K n K 2 n) = 2. Transfinite induction. This graph has motion n and Aut(K n K 2 n) = 2 2n > 2 n. This result is not implied by the Motion Conjecture for Uncountable Graphs. D(K n K m ) > n if m > 2 n. Here too m(k n K m ) = n, but Aut(K n K m ) = 2 m > 2 n. This result is in accordance with the Motion Conjecture for Uncountable Graphs. 15

17 Endomorphisms Definition Let G be a graph. A coloring C of V (G) with d colors is endomorphism d-distinguishing, if End(G) c = 1. D e (Q 3 ) = 3 Clearly D(G) D e (G). If End(G) = Aut(G), then D e (G) = D(G). Imrich, Kalinowski, Lehner and Pilsniak, Endomorphism Breaking in Graphs, E-JC, accepted for publication. 16

18 Notice that D e (G) can be equal to D(G) even when Aut(G) End(G). For example, D e (C 2k ) = 2 for k 3. v 5 v 2k 1 v 4 v 2k v 3 v 1 v 2 If Aut(G) is trivial, but 2 End(G), then D(G) < D e (G). Examples are asymmetric, nontrivial finite trees T. The endomorphism distinguishing number of finite paths is two. 17

19 The endomorphism motion of a graph G is m e (G) = min m(ϕ) ϕ End(G)\{id} For example, m e (C 4 ) = 1, m e (C 5 ) = 4, m e (C 100 ) = 49, m e (K 100 ) = 2. Lemma (Endomorphism Motion Lemma) If d m e(g) 2 End(G), then G is endomorphism d-distinguishable. 18

20 5. The Infinite Endomorphism Motion Conjecture Let G be a connected, locally finite infinite graph with infinite endomorphism motion. Then D e (G) = 2. A tree has infinite endomorphism motion if and only if it has no pendant vertices. Theorem The endomorphism distinguishing number of countable trees T without pendant vertices is 2. This includes rays (one-sided infinite paths) and two-sided infinite paths. Notice that these graphs have uncountable endomorphism monoids. 19

21 Theorem Let G be a graph with infinite m e (G) and countable End(G). Then D e (G) = 2. It is not hard to see that finitely generated groups have countable endomorphisms monoids and infinite endomorphism motion. Theorem If Γ is a finitely generated group. Then there is a twocoloring of Γ, such that the identity endomorphism of Γ is the only endomorphism that preserves this coloring. In other words, D e (Γ) = D e (End(Γ), Γ) = 2. This generalizes a result of Tucker for automorphisms of finitely generated groups. 20

22 6. The Endomorphism Motion Conjecture for Uncountable Graphs Let G be a connected, infinite graph with endomorphism motion m e (G). If 2 m e(g) End(G), then D e (G) = 2. Theorem Let G be a connected graph with uncountable endomorphism motion. Then Aut(G) m e (G) implies D e (G) = 2. Corollary Let G be a connected graph with uncountable endomorphism motion. If the general continuum hypothesis holds, and if End(G) < 2 me(g), then D e (G) = 2. 21

23 Thanks Special thanks to Sandi Klavžar, who introduced me to the subject, and to Thomas Tucker, who urged me to have a look at his Infinite Motion Conjecture. I am grateful to Johannes Cuno and Florian Lehner for their enthusiasm and mathematical contributions, to Simon Mark Smith, Tom Tucker and Mark Watkins for the interaction across the Atlantic, to Vladimir Trofimov for joint work on infinite graphs, and to Rafa l Kalinowski and Monika Pilsniak for cooperation on the endomorphim distinguishing number. 22