190 likes | 406 Views
Antimagic Labellings of Graphs. Torsten Mütze Joint work with Dan Hefetz and Justus Schwartz. Outline. Undirected Graphs Directed Graphs Selected Proof Ideas. 15. 24. 9. 15. 15. 12. 15. 14. 15. 13. 15. 18. 11. 15. 15. 15. 15. 7. 8. 6. 20. 21. 3. 5. 2. 4. 1. 6. 10.
E N D
Antimagic Labellingsof Graphs Torsten Mütze Joint work with Dan Hefetz and Justus Schwartz
Outline • Undirected Graphs • Directed Graphs • Selected Proof Ideas
15 24 9 15 15 12 15 14 15 13 15 18 11 15 15 15 15 7 8 6 20 21 3 5 2 4 1 6 10 Motivation and Definition Magic Square Antimagic Square Antimagic graph labelling [Hartsfield, Ringel, 1990]- Undirected graph G=(V,E), m:=|E|- Labelling of the edges with 1,2,…,m- All vertex sums distinct
1 1 1 3 5 7 4 1 1 2 3 4 1 3 5 8 9 4 4 1 2 3 5 u 2. Use remaining largest labels to achieve antimagic property 1. Use labels 1,2,…,m-(n-1) arbitrarily G-u v1 vn-1 v2 … 1. w(v1) ≤ w(v2) ≤ … ≤ w(vn-1) 2. w(v1) < w(v2) < … < w(vn-1) < w(u) Some Easy Observations [Hartsfield, Ringel, 1990] • P2 is not antimagic. • Pn, Cn (n≥3) are antimagic. • Graphs of maximum degree n-1 are antimagic for n≥3 (e.g. Kn, Sn, Wn).
Theorem[Alon, Kaplan, Lev, Roditty, Yuster, 2004]:Every graph with minimum degree W(log n) is antimagic. More Results • Theorem[Hefetz, 2005]: A graph on 3k vertices that admits a K3-factor is antimagic. • Conjecture[Hartsfield, Ringel, 1990]: Every connected graph but P2 is antimagic. • Theorem[Cranston, 2007]: Every regular bipartite graph with minimum degree 2 is antimagic. • Many other special cases are known
-1 -14 11 -4 8 ∀ ∃ What about Directed Graphs? Antimagic labelling of directed graphs- Directed graph D=(V,E), m:=|E|- Labelling of the edges with 1,2,…,m- All oriented vertex sums distinct 7 8 • Question 2: Given an undirected graph G,is there an antimagic orientation D(G)? 6 3 5 2 4 1 • Question 1: Given an undirected graph G,is every orientation D(G) antimagic?
There are directed graphs that are not antimagic. -1 1 2 -1 -1 2 1 2 -1 2 3 - w(a1) w(b1) w(a2) - w(b2) w(a3) - w(a4) w(b3) First Observations • P2 has an antimagic orientation. -1 1 1 • Lemma: If G is an undirected bipartite antimagic graph, then G has an antimagic orientation. • Conjecture: Every connected directed graph with at least 4 vertices is antimagic.
Our Results • Theorem 1: Every orientation of every undirectedgraph with minimum degree W(log n) is antimagic. ∀ • Theorem 2: Every orientation of every undirected graph in one of the following families is antimagic:stars Sn, wheels Wn, cliques Kn (n≥4). • Theorem 3: Let G be a (2d+1)-regular undirectedgraph. Then there exists an antimagic orientationof G. ∃ (extension to 2d-regular graphs is possible with slight extra conditions)
Proof Strategies • Explicit labellings- (Almost) magic labelling + distortion- Subset control • Algebraic techniques- Combinatorial Nullstellensatz • Probabilistic methods- Lovász Local Lemma
14 9 -2 -1 -1 12 1 4 13 3 0 M 11 7 6 G 2 -1 13 -1 -1 -1 -1 -1 8 15 -2 15 10 -2 -2 -2 -2 10 1 -1 -1 9 4 5 5 4 -3 -6 14 -2 13 -7 -2 -2 3 -12 Proof of Theorem 3 • Theorem 3: Let G be a (2d+1)-regular undirected graph. Then there exists an antimagic orientation of G. (extension to 2d-regular graphs is possible with slight extra conditions) • Proof idea: (Almost) magic labelling + distortion 1. Add perfect matching M to connect different components 2. Orient and label along some eulerian cycle (use duplicate labels for M-edges) 3. Remove matching edges and obtain an antimagic labelling
u 1 m=( ) n 2 G-u H w(v1) <… < w(vr) w(v1) ≤ … ≤ w(vr) vn-1 v1 … v2 … w(vr+1) ≤ … ≤ w(vn-1) vr+1 vr w(vr+1) <… < w(vn-1) r n-1-r Proof of Theorem 2 (cliques) • Theorem 2: Every orientation of Kn (n≥4) is antimagic. • Proof idea: Subset control + parity argument 1. Pick vertex u of maximum in-degree (r:=deg+(u), deg-(u)=n-1-r) 2. Reserve the r largest labels of the same parity and the n-1-r smallest labels of the opposite parity 3. Distribute remaining odd labels over even degree subgraph H of G-u 4. Distribute remaining even labels over remaining edges of G-u 5. Achieve antimagic property in each class and by parity among all vertices
A1, A2,…,As eventsPr[Ai] ≤ pAi independent of all but at most r other events p(r+1) < ⅓ With positive probability no event Ai holds A(u,v) := vertex sums of u and v are the same With positive probability no two vertex sums arethe same Antimagic labelling Naive: random permutation of the edge labels All events are dependent, r = ( )-1 ≈ n2 n 2 Proof by Probabilistic Methods (1) • Theorem[Alon, Kaplan, Lev, Roditty, Yuster, 2004]:Every graph with minimum degree W(log n) is antimagic. Proof can be adapted for every orientation of every undirected graph with minimum degree W(log n) (Theorem 1) • Proof idea: Lovász Local Lemma
m 1 {10,17} {3,5} u v u 2d possible choices {11,13} S(u) = {24,26,28,31,33,35} Pr[w(u)=k] = ⅛ ¼ ⅛ ⅛ ¼ ⅛ 2 random phases v u Proof by Probabilistic Methods (2) Assume G is d-regular (d=C log n) and has an even number of edges 1. Partition edges into pairs, such that no pair shares an endvertex 2. Randomly partition label set into pairs and assign to edge pairs 3. Fix a partition from 2, such that at all vertices every value from S(u) is obtained only by a small fraction among the 2d choices: Pr[w(u)=k] ≤ small 4. Flip coin for each edge pair which edge gets which label Pr[A(u,v)] = Pr[w(u)=k] ≤ small 5. Dependencies: r = (6d+2)n ≈ 6dn n2 6. LLL: p(r+1) = small (6dn+1) ⅓