BEAUTIFUL CONJECTURES IN GRAPH THEORY Adrian Bondy What is a beautiful conjecture? The mathematician’s patterns, like the painter’s or the poet’s must be beautiful; the ideas, like the colors or the words must fit together in a harmonious way. Beauty is the first test: there is no permanent place in this world for ugly mathematics. G.H. Hardy Some criteria: . Simplicity: short, easily understandable statement relating basic concepts. . Element of Surprise: links together seemingly disparate concepts. . Generality: valid for a wide variety of objects. . Centrality: close ties with a number of existing theorems and/or conjectures. . Longevity: at least twenty years old. . Fecundity: attempts to prove the conjecture have led to new concepts or new proof techniques. Reconstruction Conjecture P.J. Kelly and S.M. Ulam 1942 Every simple graph on at least three vertices is reconstructible from its vertex-deleted subgraphs STANISLAW ULAM Simple Surprising General Central Old F ertile ∗∗ ∗ ∗ ∗ ∗ ∗ ∗ PSfrag replacements v1 v2 v3 v4v5 v6 G − v1 G − v2 G − v3 G − v4 G − v5 G − v6 G Edge Reconstruction Conjecture F. Harary 1964 Every simple graph on at least four edges is reconstructible from its edge-deleted subgraphs FRANK HARARY Simple Surprising General Central Old F ertile ∗ ∗ ∗ ∗ ∗ ∗ ∗∗ ∗ PSfrag replacements G G H H MAIN FACTS Reconstruction Conjecture False for digraphs. There exist infinite families of nonreconstructible tournaments. P.J. Stockmeyer 1977 Edge Reconstruction Conjecture True for graphs on n vertices and more than n log2 n edges. L. Lovász 1972, V. Müller 1977 Path Decompositions T. Gallai 1968 Every connected simple graph on n vertices can be decomposed into at most 1 2 (n + 1) paths TIBOR GALLAI Simple Surprising General Central Old F ertile ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗∗ ∗∗ Circuit Decompositions G. Hajós 1968 Every simple even graph on n vertices can be decomposed into at most 1 2 (n − 1) circuits György Hajós Simple Surprising General Central Old F ertile ∗ ∗ ∗ ∗ ∗ ∗∗ ∗∗ Hamilton Decompositions P.J. Kelly 1968 Every regular tournament can be decomposed into directed Hamilton circuits. Simple Surprising General Central Old F ertile ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗∗ ∗ MAIN FACTS Gallai’s Conjecture True for graphs in which all degrees are odd. L. Lovász 1968 Hajós’ Conjecture True for planar graphs and for graphs with maximum degree four. J. Tao 1984, Kelly’s Conjecture Claimed true for very large tournaments. R. Häggkvist (unpublished) Circuit Double Cover Conjecture P.D. Seymour 1979 Every graph without cut edges has a double covering by circuits. Paul Seymour Simple Surprising General Central Old F ertile ∗ ∗ ∗ ∗∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ Small Circuit Double Cover Conjecture JAB 1990 Every simple graph on n vertices without cut edges has a double covering by at most n − 1 circuits. JAB Simple Surprising General Central Old F ertile ∗ ∗ ∗ ∗∗ ∗ ∗ ∗ ∗∗ ∗ ∗ Cycle Double Cover Conjecture M. Preissmann 1981 Every graph without cut edges has a double covering by at most five even subgraphs Myriam Preissmann Simple Surprising General Central Old F ertile ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗∗ ∗ ∗ PSfrag replacements G H PETERSEN GRAPH Matching Double Cover Conjecture R.D. Fulkerson 1971 Every cubic graph without cut edges has a double covering by six perfect matchings REFORMULATION: Cycle Quadruple Cover Conjecture F. Jaeger 1985 Every graph without cut edges has a quadruple covering by six even subgraphs Simple Surprising General Central Old F ertile ∗ ∗ ∗ ∗ ∗∗ ∗ ∗∗ ∗ MAIN FACTS Circuit Double Cover Conjecture If false, a minimal counterexample must have girth at least ten. L. Goddyn 1988 Small Circuit Double Cover Conjecture True for graphs in which some vertex is adjacent to every other vertex. H. Li 1990 Cycle Double Cover Conjecture True for 4-edge-connected graphs. P.A. Kilpatrick 1975, F. Jaeger 1976 True for various classes of snarks. U. Celmins 1984 Cycle Quadruple Cover Conjecture Every graph without cut edges has a quadruple covering by seven even subgraphs. J.C. Bermond, B. Jackson and F. Jaeger 1983 Five-Flow Conjecture W.T. Tutte 1954 Every graph without cut edges has a 5-flow Bill Tutte Simple Surprising General Central Old F ertile ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ PSfrag replacements 11 1 1 11 2 2 2 2 3 33 4 PSfrag replacements 1 1 1 11 1 1 1 1 2 2 2 2 2 2 3 3 4 Three-Flow Conjecture W.T. Tutte 1954 Every 4-edge-connected graph has a 3-flow Bill Tutte Simple Surprising General Central Old F ertile ∗ ∗ ∗ ∗ ∗ ∗ ∗∗ ∗∗ ∗ ∗ ∗ WEAKER CONJECTURE: Weak Three-Flow Conjecture F. Jaeger, 1976 There exists an integer k such that every k-edge-connected graph has a 3-flow MAIN FACTS Five-Flow Conjecture Every graph without cut edges has a 6-flow. P.D. Seymour 1981 Three-Flow Conjecture Every 4-edge-connected graph has a 4-flow. F. Jaeger 1976 Directed Cages M. Behzad, G. Chartrand and C.E. Wall 1970 Every d-diregular digraph on n vertices has a directed circuit of length at most dn/de Extremal graph for d = dn/3e (directed triangle) Simple Surprising General Central Old F ertile ∗∗ ∗ ∗ ∗∗ ∗∗ Second Neighbourhoods P.D. Seymour 1990 Every digraph without 2-circuits has a vertex with at least as many second neighbours as first neighbours Paul Seymour Simple Surprising General Central Old F ertile ∗∗ ∗∗ ∗ ∗ ∗ ∗ ∗ PSfrag replacements v The Second Neighbourhood Conjecture implies the case d = ⌈n 3 ⌉ of the Directed Cages Conjecture: PSfrag replacements v dd ≥ d If no directed triangle n ≥ 3d + 1 > n MAIN FACTS Behzad-Chartrand-Wall Conjecture Every d-diregular digraph on n vertices has a directed circuit of length at most n/d + 2500. V. Chvátal and E. Szemerédi 1983 True for d ≤ 5. C. Hoàng and B.A. Reed 1987 Every cn-diregular digraph on n vertices with c ≥ .34615 has a directed triangle. M. de Graaf 2004 Second Neighbourhood Conjecture True for tournaments. J. Fisher 1996, F.Havet and S. Thomassé 2000 Chords of Longest Circuits C. Thomassen 1976 Every longest circuit in a 3-connected graph has a chord Carsten Thomassen Simple Surprising General Central Old F ertile ∗ ∗ ∗ ∗∗ ∗ ∗ Smith’s Conjecture S. Smith 1984 In a k-connected graph, where k ≥ 2, any two longest circuits have at least k vertices in common Scott Smith Simple Surprising General Central Old F ertile ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ Hamilton Circuits in Line Graphs C. Thomassen 1986 Every 4-connected line graph is hamiltonian Carsten Thomassen Simple Surprising General Central Old F ertile ∗ ∗ ∗ ∗ ∗ ∗ ∗ ∗ Hamilton Circuits in Claw-Free Graphs M. Matthews and D. Sumner 1984 Every 4-connected claw-free graph is hamiltonian Simple Surprising General Central Old P rolif ic ∗ ∗ ∗∗ ∗ MAIN FACTS Thomassen’s Chord Conjecture True for bipartite graphs. C. Thomassen 1997 Scott Smith’s Conjecture True for k ≤ 6. M. Grötschel 1984 Thomassen’s Line Graph Conjecture Line graphs of 4-edge-connected graphs are hamiltonian. C. Thomassen 1986 Every 7-connected line graph is hamiltonian. S.M. Zhan 1991 Hamilton Circuits in Regular Graphs J. Sheehan 1975 Every simple 4-regular graph with a Hamilton circuit has a second Hamilton circuit John Sheehan Simple Surprising General Central Old F ertile ∗ ∗ ∗ ∗∗ ∗ ∗ ∗∗ AN INTERESTING GRAPH Used by Fleischner to construct a 4-regular multigraph with exactly one Hamilton circuit. Finding a Second Hamilton Circuit M. Chrobak and S. Poljak 1988 Given a Hamilton circuit in a 3-regular graph, find (in polynomial time) a second Hamilton circuit Marek Chrobak and Svatopluk Poljak Simple Surprising General Central Old F ertile ∗ ∗ ∗ ∗ ∗ ∗ ∗ Hamilton Circuits in 4-Connected Graphs H. Fleischner 2004 Every 4-connected graph with a Hamilton circuit has a second Hamilton circuit Herbert Fleischner Simple Surprising General Central Old F ertile ∗ ∗ ∗ ∗∗ ∗ ∗ MAIN FACTS Sheehan’s Conjecture Every simple 300-regular graph with a Hamilton circuit has a second Hamilton circuit. C. Thomassen 1998 There exist simple uniquely hamiltonian graphs of minimum degree four. H. Fleischner 2004 Fleischner’s Conjecture True for planar graphs. W.T. Tutte 1956 What is a beautiful theorem? Mathematics, rightly viewed, possesses not only truth, but supreme beauty – a beauty cold and austere, like that of sculpture. Bertrand Russell Some criteria: . Simplicity: short, easily understandable statement relating basic concepts. . Element of Surprise: links together seemingly disparate concepts. . Generality: valid for a wide variety of objects. . Centrality: close ties with a number of existing theorems and/or conjectures. . Fecundity: has inspired interesting extensions and/or generalizations. . Correctness: a beautiful theorem should be true! What is a beautiful proof? . . . an elegant proof is a proof which would not normally come to mind, like an elegant chess problem: the first move should be paradoxical . . . Claude Berge Claude Berge Some criteria: . Elegance: combination of simplicity and surprise. . Ingenuity: inspired use of standard techniques. . Originality: introduction of new proof techniques. . Fecundity: inspires new proof techniques or new proofs of existing theorems. . Correctness: a beautiful proof should be correct! Most Beautiful Conjecture J.A.B. Dominic will continue to prove and conjecture for many years to come HAPPY BIRTHDAY, DOMINIC! http://www.genealogy.math.ndsu.nodak.edu