Topics in Topological Graph Theory
The use of topological ideas to explore various aspects of graph theory, and vice versa, is a fruitful area of research. There are links with other areas of mathematics, such as design theory and geometry, and increasingly with such areas as computer networks where symmetry is an important feature. Other books cover portions of the material here, but there are no other books with such a wide scope. This book contains fifteen expository chapters written by acknowledged international experts in the field. Their well-written contributions have been carefully edited to enhance readability and to standardize the chapter structure, terminology and notation throughout the book. To help the reader, there is an extensive introductory chapter that covers the basic background material in graph theory and the topology of surfaces. Each chapter concludes with an extensive list of references. lowell w. beineke is Schrey Professor of Mathematics at Indiana University–Purdue University Fort Wayne, where he has been since receiving his Ph.D. from the University of Michigan under the guidance of Frank Harary. His graph theory interests are broad, and include topological graph theory, line graphs, tournaments, decompositions and vulnerability. With Robin Wilson he edited Selected Topics in Graph Theory (3 volumes), Applications of Graph Theory, Graph Connections and Topics in Algebraic Graph Theory. Until recently he was editor of the College Mathematics Journal. robin j. wilson is Professor of Pure Mathematics at The Open University, UK, and Emeritus Professor of Geometry at Gresham College, London. After graduating from Oxford, he received his Ph.D. in number theory from the University of Pennsylvania. He has written and edited many books on graph theory and the history of mathematics, including Introduction to Graph Theory and Four Colours Suffice, and his research interests include graph colourings and the history of combinatorics. He has won a Lester Ford Award and a George Polya´ Award from the MAA for his expository writing. jonathan l. gross, Professor of Computer Science at Columbia University, served as an academic consultant for this volume. His mathematical work in topology and graph theory have earned him an Alfred P. Sloan Fellowship, an IBM Postdoctoral Fellowship, and numerous research grants. With Thomas Tucker, he wrote Topological Graph Theory and several fundamental pioneering papers on voltage graphs and on enumerative methods. He has written and edited eight books on graph theory and combinatorics, seven books on computer programming topics, and one book on cultural sociometry. thomas w. tucker, Charles Hetherington Professor of Mathematics at Colgate University, also served as an academic consultant for this volume. He has been at Colgate University since 1973, after a Ph.D. in 3-manifolds from Dartmouth in 1971 and a post-doctoral position at Princeton. He is co-author (with Jonathan Gross) of Topological Graph Theory. His early publications were on non-compact 3-manifolds, then topological graph theory, but his recent work is mostly algebraic, especially distinguishability and the group-theoretic structure of symmetric maps.
ENCYCLOPEDIA OF MATHEMATICS AND ITS APPLICATIONS All the titles listed below can be obtained from good booksellers or from Cambridge University Press. For a complete series listing visit http://www.cambridge.org/uk/series/sSeries.asp?code=EOM
68 R. Goodman and N. R. Wallach Representations and Invariants of the Classical Groups 69 T. Beth, D. Jungnickel, and H. Lenz Design Theory I, 2nd edn 70 A. Pietsch and J. Wenzel Orthonormal Systems for Banach Space Geometry 71 G. E. Andrews, R. Askey and R. Roy Special Functions 72 R. Ticciati Quantum Field Theory for Mathematicians 73 M. Stern Semimodular Lattices 74 I. Lasiecka and R. Triggiani Control Theory for Partial Differential Equations I 75 I. Lasiecka and R. Triggiani Control Theory for Partial Differential Equations II 76 A. A. Ivanov Geometry of Sporadic Groups I 77 A. Schinzel Polynomials with Special Regard to Reducibility 78 T. Beth, D. Jungnickel and H. Lenz Design Theory II, 2nd edn 79 T. W. Palmer Banach Algebras and the General Theory of *-Albegras II 80 O. Stormark Lie’s Structural Approach to PDE Systems 81 C. F. Dunkl and Y. Xu Orthogonal Polynomials of Several Variables 82 J. P. Mayberry The Foundations of Mathematics in the Theory of Sets 83 C. Foias, O. Manley, R. Rosa and R. Temam Navier–Stokes Equations and Turbulence 84 B. Polster and G. Steinke Geometries on Surfaces 85 R. B. Paris and D. Kaminski Asymptotics and Mellin–Barnes Integrals 86 R. McEliece The Theory of Information and Coding, 2nd edn 87 B. A. Magurn An Algebraic Introduction to K-Theory 88 T. Mora Solving Polynomial Equation Systems I 89 K. Bichteler Stochastic Integration with Jumps 90 M. Lothaire Algebraic Combinatorics on Words 91 A. A. Ivanov and S. V. Shpectorov Geometry of Sporadic Groups II 92 P. McMullen and E. Schulte Abstract Regular Polytopes 93 G. Gierz et al. Continuous Lattices and Domains 94 S. R. Finch Mathematical Constants 95 Y. Jabri The Mountain Pass Theorem 96 G. Gasper and M. Rahman Basic Hypergeometric Series, 2nd edn 97 M. C. Pedicchio and W. Tholen (eds.) Categorical Foundations 98 M. E. H. Ismail Classical and Quantum Orthogonal Polynomials in One Variable 99 T. Mora Solving Polynomial Equation Systems II 100 E. Olivieri and M. Eulalia´ Vares Large Deviations and Metastability 101 A. Kushner, V. Lychagin and V. Rubtsov Contact Geometry and Nonlinear Differential Equations 102 L. W. Beineke and R. J. Wilson (eds.) with P. J. Cameron Topics in Algebraic Graph Theory 103 O. Staffans Well-Posed Linear Systems 104 J. M. Lewis, S. Lakshmivarahan and S. K. Dhall Dynamic Data Assimilation 105 M. Lothaire Applied Combinatorics on Words 106 A. Markoe Analytic Tomography 107 P. A. Martin Multiple Scattering 108 R. A. Brualdi Combinatorial Matrix Classes 110 M.-J. Lai and L. L. Schumaker Spline Functions on Triangulations 111 R. T. Curtis Symmetric Generation of Groups 112 H. Salzmann, T. Grundhofer,¨ H. Hahl¨ and R. Lowen¨ The Classical Fields 113 S. Peszat and J. Zabczyk Stochastic Partial Differential Equations with Levy´ Noise 114 J. Beck Combinatorial Games 116 D. Z. Arov and H. Dym J-Contractive Matrix Valued Functions and Related Topics 117 R. Glowinski, J.-L. Lions and J. He Exact and Approximate Controllability for Distributed Parameter Systems 118 A. A. Borovkov and K. A. Borovkov Asymptotic Analysis of Random Walks 119 M. Deza and M. Dutour Sikiric´ Geometry of Chemical Graphs 120 T. Nishiura Absolute Measurable Spaces 121 M. Prest Purity, Spectra and Localisation 122 S. Khrushchev Orthogonal Polynomials and Continued Fractions: From Euler’s Point of View 123 H. Nagamochi and T. Ibaraki Algorithmic Aspects of Graph Connectivity 124 F. W. King Hilbert Transforms I 125 F. W. King Hilbert Transforms II 126 O. Calin and D.-C. Chang Sub-Riemannian Geometry 127 M. Grabisch, J.-L. Marichal, R. Mesiar and E. Pap Aggregation Functions Leonhard Euler (1707–1783), the founder of topological graph theory. Topics in Topological Graph Theory
Edited by
LOWELL W. BEINEKE Indiana University–Purdue University Fort Wayne
ROBIN J. WILSON The Open University
Academic Consultants
JONATHAN L. GROSS Columbia University
THOMAS W. TUCKER Colgate University cambridge university press Cambridge, New York, Melbourne, Madrid, Cape Town, Singapore, Sao˜ Paulo, Delhi
Cambridge University Press The Edinburgh Building, Cambridge CB2 8RU, UK
Published in the United States of America by Cambridge University Press, New York
www.cambridge.org Information on this title: www.cambridge.org/9780521802307
c Cambridge University Press 2009
This publication is in copyright. Subject to statutory exception and to the provisions of relevant collective licensing agreements, no reproduction of any part may take place without the written permission of Cambridge University Press.
First published 2009
Printed in the United Kingdom at the University Press, Cambridge
A catalogue record for this publication is available from the British Library
ISBN 978-0-521-80230-7 hardback
Cambridge University Press has no responsibility for the persistence or accuracy of URLs for external or third-party internet websites referred to in this publication, and does not guarantee that any content on such websites is, or will remain, accurate or appropriate. This book is dedicated to the memory of Gerhard Ringel (1919–2008), one of the pioneers of modern topological graph theory.
Contents
Foreword by Jonathan L. Gross and Thomas W. Tucker page xv Preface xvii
Introduction1 LOWELL W. BEINEKE and ROBIN J. WILSON 1. Graph theory 1 2. Graphs in the plane 10 3. Surfaces 12 4. Graphs on surfaces 14
1 Embedding graphs on surfaces 18 JONATHAN L. GROSS and THOMAS W. TUCKER 1. Introduction 18 2. Graphs and surfaces 19 3. Embeddings 20 4. Rotation systems 23 5. Covering spaces and voltage graphs 26 6. Enumeration 29 7. Algorithms 30 8. Graph minors 31
2 Maximum genus 34 JIANER CHEN and YUANQIU HUANG 1. Introduction 34 2. Characterizations and complexity 36 3. Kuratowski-type theorems 38 4. Upper-embeddability 39 5. Lower bounds 40
ix x Contents
3 Distribution of embeddings 45 JONATHAN L. GROSS 1. Introduction 45 2. Enumerating embeddings by surface type 48 3. Total embedding distributions 51 4. Congruence classes 53 5. The unimodality problem 55 6. Average genus 56 7. Stratification of embeddings 59
4 Algorithms and obstructions for embeddings 62 BOJAN MOHAR 1. Introduction 62 2. Planarity 64 3. Outerplanarity and face covers 66 4. Disc embeddings and the 2-path problem 68 5. Graph minors and obstructions 69 6. Algorithms for embeddability in general surfaces 73 7. Computing the genus 75
5 Graph minors: generalizing Kuratowski’s theorem 81 R. BRUCE RICHTER 1. Introduction 81 2. Graph decompositions 84 3. Linked decompositions 88 4. Graphs with bounded tree-width 94 5. Finding large grids 99 6. Embedding large grids 107
6 Colouring graphs on surfaces 111 JOAN P. HUTCHINSON 1. Introduction 111 2. High-end colouring 113 3. A transition from high-end to low-end colouring 116 4. Colouring graphs with few colours 119 5. Girth and chromatic number 124 6. List-colouring graphs 125 7. More colouring extensions 127 8. An open problem 129 Contents xi
7 Crossing numbers 133 R. BRUCE RICHTER and G. SALAZAR 1. Introduction 133 2. What is the crossing number? 135 3. General bounds 137 4. Applications to geometry 139 5. Crossing-critical graphs 139 6. Other families of graphs 143 7. Algorithmic questions 144 8. Drawings in other surfaces 146 9. Conclusion 147
8 Representing graphs and maps 151 TOMAZˇ PISANSKI and ARJANA ZITNIKˇ 1. Introduction 151 2. Representations of graphs 152 3. Energy and optimal representations 155 4. Representations of maps 163 5. Representations of maps in the plane 170 6. Representations of incidence geometries and related topics 174
9 Enumerating coverings 181 JIN HO KWAK and JAEUN LEE 1. Introduction 181 2. Graph coverings 183 3. Regular coverings 185 4. Surface branched coverings 190 5. Regular surface branched coverings 193 6. Distribution of surface branched coverings 195 7. Further remarks 196
10 Symmetric maps 199 JOZEF SIRˇ A´ Nˇ and THOMAS W. TUCKER 1. Introduction 199 2. Representing maps algebraically 200 3. Regular maps 205 4. Cayley maps 210 5. Regular Cayley maps 212 6. Edge-transitive maps 218 7. Maps and mathematics 221 xii Contents
11 The genus of a group 225 THOMAS W. TUCKER 1. Introduction 225 2. Symmetric embeddings and groups acting on surfaces 226 3. Quotient embeddings and voltage graphs 228 4. Inequalities 232 5. Groups of low genus 235 6. Genera of families of groups 239
12 Embeddings and geometries 245 ARTHUR T. WHITE 1. Introduction 245 2. Surface models 248 3. Projective geometries 250 4. Affine geometries 253 5. 3-configurations 256 6. Partial geometries 260 7. Regular embeddings for PG(2,n) 264 8. Problems 265
13 Embeddings and designs 268 M. J. GRANNELL and T. S. GRIGGS 1. Introduction 268 2. Steiner triple systems and triangulations 270 3. Recursive constructions 273 4. Small systems 278 5. Cyclic embeddings 280 6. Concluding remarks 284
14 Infinite graphs and planar maps 289 MARK E. WATKINS 1. Introduction 289 2. Ends 290 3. Automorphisms 293 4. Connectivities 295 5. Growth 300 6. Infinite planar graphs and maps 303 Contents xiii
15 Open problems 313 DAN ARCHDEACON 1. Introduction 313 2. Drawings and crossings 314 3. Genus and obstructions 317 4. Cycles and factors 320 5. Colourings and flows 322 6. Local planarity 324 7. Thickness, book embeddings and covering graphs 325 8. Geometrical topics 328 9. Algorithms 330 10. Infinite graphs 332
Notes on contributors 337 Index 341
Foreword
The origins of topological graph theory lie in the 19th century, largely with the four colour problem and its extension to higher-order surfaces – the Heawood map problem. With the explosive growth of topology in the early 20th century, mathematicians like Veblen, Rado and Papakyriakopoulos provided foundational results for understanding surfaces combinatorially and algebraically. Kuratowski, MacLane and Whitney in the 1930s approached the four colour problem as a question about the structure of graphs that can be drawn without edge-crossings in the plane. Kuratowski’s theorem characterizing planarity by two obstructions is the most famous, and its generalization to the higher-order surfaces became an influential unsolved problem. The second half of the 20th century saw the solutions of all three problems: the Heawood map problem by Ringel, Youngs et al. by 1968, the four colour problem by Appel and Haken in 1976, and finally the generalized Kuratowski problem by Robertson and Seymour in the mid-1990s. Each is a landmark of 20th-century mathematics. The Ringel–Youngs work led to an alliance between combinatorics and the algebraic topology of branched coverings. TheAppel–Haken work was the first time that a mathematical theorem relied on exhaustive computer calculations. And the Robertson–Seymour work led to their solution of Wagner’s conjecture, which provides a breathtaking structure for the collection of all finite graphs, a collection that would seem to have no structure at all. Each of these problems centres on the question of which graphs can be embedded in which surfaces, with two complementary perspectives – fixing the graph or fixing the surface.Although the question sounds highly focused, the study of graphs on surfaces turns out to be incredibly broad, rich in connections with other branches of mathematics and computer science: algorithms, computer-drawing, group theory, Riemann surfaces, enumerative combinatorics, block designs, finite geometries, Euclidean and non-Euclidean geometry, knot theory, the absolute Galois group, C*-algebras, and even string theory.
xv xvi Foreword
This volume attempts to survey the principal results within over-arching themes for the myriad aspects of topological graph theory. The authors of the chapters are recognized authorities in their fields. This book is written for the non-specialist and can be used as the basis for a graduate-level course. Nonetheless, the individual chapters cover their fields in great depth and detail, so that even specialists will find the book valuable, both as a reference and as a source of new insights and problems.
JONATHAN L. GROSS THOMAS W. TUCKER Preface
The field of graph theory has undergone tremendous growth during the past century. As recently as fifty years ago, the graph theory community had few members and most were in Europe and North America; today there are hundreds of graph theorists and they span the globe. By the mid-1970s, the field had reached the point where we perceived the need for a collection of surveys of the areas of graph theory: the result was our three-volume series Selected Topics in Graph Theory, comprising articles written by distinguished experts in a common style. During the past quarter-century, the transformation of the subject has continued, with individual areas (such as topological graph theory) expanding to the point of having important sub-branches themselves. This inspired us to conceive of a new series of books, each a collection of articles within a particular area written by experts within that area. The first of these books was our companion volume on algebraic graph theory, published in 2004. This is the second of these books. One innovative feature of these volumes is the engagement of academic consultants (here, Jonathan Gross and Thomas Tucker) to advise us on topics to be included and authors to be invited. We believe that this has been successful, the result being chapters covering the full range of areas within topological graph theory written by authors from around the world. Another important feature is that we have imposed uniform terminology and notation throughout, as far as possible, in the belief that this will aid readers in going from one chapter to another. For a similar reason we have not attempted to remove a small amount of overlap between the various chapters. We hope that these features will make the book easier to use in an advanced course or seminar. We heartily thank the authors for cooperating on this, even though it sometimes required their abandoning some of their favourite conventions – for example, many mathematicians use χ to denote the Euler characteristic, whereas for graph theorists χ usually denotes the chromatic number: the graph theorists won on this one. We also asked our contributors to undergo
xvii xviii Preface the ordeal of having their early versions subjected to detailed critical reading. We believe that the final product is thereby significantly better than it might otherwise have been, simply a collection of individually authored chapters. We want to express our sincere appreciation to all of our contributors for their cooperation. We extend special thanks to Jonathan Gross and Thomas Tucker for their willingness to share their expertise as academic consultants – their advice has been invaluable. We are also grateful to Cambridge University Press for publishing this work; in particular, we thank Roger Astley and Clare Dennison for their advice, support and cooperation. Finally, we extend our appreciation to several universities for the different ways in which they have assisted with this endeavour: the first editor is grateful to Indiana University–Purdue University in Fort Wayne, while the second editor has had the cooperation of the Open University and Keble College, Oxford.
LOWELL W. BEINEKE ROBIN J. WILSON Introduction
LOWELL W. BEINEKE and ROBIN J. WILSON
1. Graph theory 2. Graphs in the plane 3. Surfaces 4. Graphs on surfaces References
1. Graph theory
This section presents the basic definitions, terminology and notation of graph theory, along with some fundamental results. Further information can be found in the many standard books on the subject – for example, Chartrand and Lesniak [1], Gross and Yellen [2], West [3] or (for a simpler treatment) Wilson [4].
Graphs A graph G is a pair of sets (V, E), where V is a finite non-empty set of elements called vertices, and E is a finite set of elements called edges, each of which has two associated vertices (which may be the same). The sets V and E are the vertex-set and edge-set of G, and are sometimes denoted by V (G) and E(G). The order of G is the number of vertices, usually denoted by n, and the number of edges is denoted by m. An edge whose vertices coincide is called a loop, and if two vertices are joined by more than one edge, these are called multiple edges. A graph with no loops or multiple edges is a simple graph. In many areas of graph theory there is little need for graphs that are not simple, in which case an edge e can be considered as a pair of vertices, e ={v, w},orvw for simplicity. However, in topological graph theory, it is often useful, and sometimes necessary, to allow loops and multiple
1 2 Lowell W. Beineke and Robin J. Wilson
Fig. 1. edges. A graph of order 4 and its underlying simple graph are shown in Fig. 1. The complement G of a simple graph G has the same vertices as G, but two vertices are adjacent in G if and only if they are not adjacent in G.
Adjacency and degrees The vertices of an edge are incident with the edge, and the edge is said to join these vertices. Two vertices that are joined by an edge are neighbours and are said to be adjacent. The set N(v) of neighbours of a vertex v is its neighbourhood.Two edges are adjacent if they have a vertex in common. The degree deg v of a vertex v is the number of times that it occurs as an endpoint of an edge (with a loop counted twice); in a simple graph, the degree of a vertex is just the number of its neighbours. A vertex of degree 0 is an isolated vertex and one of degree 1 is an end vertex. A graph is regular if all of its vertices have the same degree, and is k-regular if that degree is k; a 3-regular graph is sometimes called cubic. The maximum degree in a graph G may be denoted by or (G), and the minimum degree by δ or δ(G).
Isomorphisms and automorphisms An isomorphism between two graphs G and H consists of a pair of bijections, one between their vertex-sets and the other between their edge-sets, that preserve incidence and non-incidence. (For simple graphs, this amounts to having a bijection between their vertex-sets that preserves adjacency and non-adjacency.) The graphs G and H are isomorphic, denoted by G ≈ H or G =∼ H , if there exists an isomorphism between them. An automorphism of a graph G is an isomorphism of G with itself. The set of all automorphisms of a graph G forms a group, called the automorphism group of G and denoted by Aut(G). A graph G is vertex-transitive if, for any vertices v and w, there is an automorphism taking v to w.Itisedge-transitive if, for any edges e and f , there is an automorphism taking the vertices of e to those of f . It is arc-transitive if, given two ordered pairs of adjacent vertices (v, w) and Introduction 3
(v, w), there is an automorphism taking v to v and w to w. This is stronger than edge-transitivity, since it implies that for each edge there is an automorphism that interchanges its vertices.
Walks, paths and cycles
A walk in a graph is a sequence of vertices and edges v0, e1, v1, ... , ek, vk,in which each edge ei joins the vertices vi−1 and vi. This walk goes from v0 to vk or connects v0 and vk, and is called a v0-vk walk. For simple graphs, it is frequently shortened to v0v1···vk, since the edges can be inferred from this. Its length is k, the number of occurrences of edges, and if v0 = vk, the walk is closed. Some important types of walk are the following: • a path is a walk in which no vertex is repeated; • a cycle is a non-trivial closed walk in which no vertex is repeated, except the first and last; • a trail is a walk in which no edge is repeated; • a circuit is a non-trivial closed trail.
Connectedness and distance A graph is connected if there is a path connecting each pair of vertices, and disconnected otherwise. A (connected) component of a graph is a maximal connected subgraph. In a connected graph, the distance d(v,w)from v to w is the length of a shortest v-w path. It is easy to see that distance satisfies the properties of a metric. The diameter of a connected graph G is the maximum distance between two vertices of G.IfG has a cycle, the girth of G is the length of a shortest cycle. A connected graph is Eulerian if it has a closed trail containing all the edges of G; such a trail is an Eulerian trail. The following are equivalent for a connected graph G: • G is Eulerian; • the degree of each vertex of G is even; • the edge-set of G can be partitioned into cycles. A graph is Hamiltonian if it has a spanning cycle, and is traceable if it has a spanning path. No ‘good’ characterizations of these properties are known.
Bipartite graphs and trees If the set of vertices of a graph G can be partitioned into two non-empty subsets so that no edge joins two vertices in the same subset, then G is bipartite. The two 4 Lowell W. Beineke and Robin J. Wilson subsets are called partite sets and, if they have orders r and s, G is sometimes called an r × s bipartite graph. (For convenience, the graph with one vertex and no edges is also called bipartite.) Bipartite graphs are characterized by having no cycles of odd length. Among the bipartite graphs are trees, those connected graphs with no cycles. Trees have been characterized in many ways, some of which we give here. For a graph of order n, the following statements are equivalent:
• G is connected and has no cycles; • G is connected and has n − 1 edges; • G has no cycles and has n − 1 edges; • G has exactly one path between any two vertices.
A graph without cycles is called a forest; thus, each component of a forest is a tree. The set of trees can also be defined inductively: a single vertex is a tree; and for n ≥ 1, the trees with n + 1 vertices are those graphs obtainable from some tree with n vertices by adding a new vertex adjacent to precisely one of its vertices. This definition has a natural extension to higher dimensions. The k-dimensional trees,ork-trees for short, are defined as follows. The complete graph on k vertices is a k-tree, and for n ≥ k, the k-trees with n+1 vertices are those graphs obtainable from some k-tree with n vertices by adding a new vertex adjacent to k mutually adjacent vertices in the k-tree. Fig. 2 shows a tree and a 2-tree. An important concept in the study of graph minors (introduced later) is the tree-width of a graph G, the minimum dimension of any k-tree that contains G as a subgraph.
Fig. 2.
Special graphs We now introduce some individual types of simple graph:
• the complete graph Kn has n vertices, each adjacent to all the others; • the path graph Pn consists of the vertices and edges of a path of length n − 1; • the cycle graph Cn consists of the vertices and edges of a cycle of length n; Introduction 5
• the complete bipartite graph Kr,s is the simple r × s bipartite graph in which each vertex is adjacent to every vertex in the other partite set;
• in the complete k-partite graph Kr ,r ,...,r the vertices are in k sets with orders 1 2 k r1, r2, ..., rk, and each vertex is adjacent to every vertex in another set; if the k sets all have order r, the graph is denoted by Kk(r).
Examples of these graphs are given in Fig. 3.
P5: C5: K5:
K3(2): K3,3:
Fig. 3.
We also introduce some special graphs that are not simple:
• the bouquet Bm has one vertex and m incident loops; • the dipole Dm consists of two vertices with m edges joining them; • the cobblestone path is the 4-regular graph obtained from the path Pn by doubling each edge and adding a loop at each end.
Fig. 4 gives examples of these graphs.
B J 4: D4: 3:
Fig. 4.
A necklace is any graph obtained from a cycle by doubling each edge in an independent subset of its edges and adding a loop at each vertex that is not on 6 Lowell W. Beineke and Robin J. Wilson
Fig. 5. one of those edges. It is of type (r, s) if it has r doubled edges and s loops (so the original cycle has length 2r + s). The necklace in Fig. 5 is of type (3, 4).
Operations
Let G and H be graphs with disjoint vertex-sets V (G) ={v1,v2,...,vn} and V(H)={w1,w2,...,wr }: • the union G ∪ H has vertex-set V (G) ∪ V(H)and edge-set E(G) ∪ E(H). The union of k graphs isomorphic to G is denoted by kG; • the join G + H is obtained from G ∪ H by adding an edge from each vertex in G to each vertex in H; • the Cartesian product G H (or G × H) has vertex-set V (G) × V(H), and (vi, wj ) is adjacent to (vh, wk) if either vi is adjacent to vh in G and wj = wk, or vi = vh and wj is adjacent to wk in H: in less formal terms, G H can be obtained by taking n copies of H and joining corresponding vertices in different copies whenever there is an edge in G; • the lexicographic product (or composition) G[H] also has vertex-set V (G) × V(H), but with (vi,wj ) adjacent to (vh,wk) if either vi is adjacent to vh in G or vi = vh and wj is adjacent to wk in H.
Examples of these binary operations are given in Fig. 6.
Subgraphs and minors If G and H are graphs with V(H) ⊆ V (G) and E(H) ⊆ E(G), then H is a subgraph of G; if, moreover, V(H)= V (G), then H is a spanning subgraph. The Introduction 7
G:
H:
G ∪ H: G + H:
G × H: G[H]:
Fig. 6. subgraph S induced by a non-empty set of S of vertices of G is the subgraph H whose vertex-set is S and whose edge-set consists of those edges of G that join two vertices in S. A subgraph H of G is an induced subgraph if H = V(H).In Fig. 7, H1 is a spanning subgraph of G, and H2 is an induced subgraph.
G: H1: H2:
Graph Spanning subgraph Induced subgraph
Fig. 7.
Given a graph G, the deletion of a vertex v results in the subgraph obtained by removing v and all of its incident edges; it is denoted by G − v and is the subgraph induced by V −{v}. More generally, if S is any set of vertices in G, then G − S is the graph obtained from G by deleting all the vertices in S and their incident 8 Lowell W. Beineke and Robin J. Wilson edges – that is, G − S = V − S. Similarly, the deletion of an edge e results in the subgraph G − e and, for any set X of edges, G − X is the graph obtained from G by deleting all the edges in X. There are two other operations that are especially important for topological graph theory. If an edge e joins vertices v and w, the subdivision of e replaces e by a new vertex u and two new edges vu and uw. Two graphs are homeomorphic if there is some graph from which each can be obtained by a sequence of subdivisions. The contraction of e replaces the vertices v and w of e by a new vertex u, with an edge ux for each edge vx or wx in G. The operations of subdivision and contraction are illustrated in Fig. 8.
v
e
w Subdivision Contraction
v u
u
w
Fig. 8.
If a graph H can be obtained from G by sequence of edge-contractions and the removal of isolated vertices, then G is contractible to H .Aminor of G is any graph that can be obtained from G by a sequence of edge-deletions and edge-contractions, along with deletions of isolated vertices.
Connectedness and connectivity A vertex v of G is a cut-vertex if G − v has more components than G. A non- trivial connected graph with no cut-vertices is 2-connected or non-separable. The following statements are equivalent for a graph G with at least three vertices: • G is non-separable; • every pair of vertices lie on a cycle; • for any three vertices u, v and w, there is a u-w path containing v; • for any three vertices u, v and w, there is a u-w path not containing v. Introduction 9
More generally, G is k-connected if there is no set S of fewer than k vertices for which G−S is a connected non-trivial graph. Menger gave a useful characterization of such graphs:
Menger’s theorem (vertex version) A graph G is k-connected if and only if, for each pair of vertices v and w, there is a set of k internally disjoint v-w paths.
The connectivity κ(G) of a graph G is the maximum value of k for which G is k-connected. There are similar concepts and results for edges. A cut-edge (or bridge)isan edge whose deletion produces one more component than before. (Note: for some authors, ‘bridge’has a different meaning.) A non-trivial graph is k-edge-connected if the result of removing fewer than k edges is always connected, and the edge- connectivity λ(G) is the maximum value of k for which G is k-edge-connected. We note that Menger’s theorem also has an edge version:
Menger’s Theorem (edge version) A graph G is k-edge-connected if and only if, for each pair of vertices v and w, there is a set of k edge-disjoint v-w paths.
Graph colourings Agraph is k-colourable if, from a set of k colours, it is possible to assign a colour to each vertex in such a way that adjacent vertices always have different colours. The chromatic number χ(G) is the least value of k for which G is k-colourable, and if χ(G) = k, then G is k-chromatic. It is easy to see that a graph is 2-colourable if and only if it is bipartite, but there is no ‘good’ way to determine which graphs are k-colourable, for any k ≥ 3. Brooks’s theorem provides one of the best-known bounds on the chromatic number of a graph.
Brooks’s theorem If G is a simple graph with maximum degree and is neither an odd cycle nor a complete graph, then χ(G) ≤ .
There are similar concepts for colouring edges. A graph is k-edge-colourable if, from a set of k colours, it is possible to assign a colour to each edge in such a way that adjacent edges always have different colours. The chromatic index χ (G) is the least value of k for which G is k-edge-colourable. Vizing [11] proved that the range of values of χ(G) is quite limited:
Vizing’s theorem If G is a simple graph with maximum degree , then χ(G) = or + 1. 10 Lowell W. Beineke and Robin J. Wilson
Directed graphs Digraphs are directed analogues of graphs, and thus have many similarities, as well as some important differences. A digraph (or directed graph) D is a pair of sets (V, E), where V is a finite non- empty set of elements called vertices, and E is a set of ordered pairs of distinct elements of V called arcs or directed edges. Note that the elements of E are ordered, which gives each of them a direction. An example of a digraph is shown in Fig. 9.
v 2 v3
D:
v1 v4
Fig. 9.
Because of the similarities between graphs and digraphs, we mention only the main differences here and do not redefine those concepts that carry over easily. An arc (v, w) in a simple digraph may be written as vw, and is said to go from v to w,ortogo out of v and into w. In the context of digraphs, walks, paths, cycles, trails and circuits are understood to be directed, unless otherwise indicated. A digraph D is strongly connected if there is a path from each vertex to each of the others. A strong component is a maximal strongly connected subgraph. Connectivity and edge-connectivity are defined in terms of strong connectedness.
2. Graphs in the plane
In this section we briefly survey properties of graphs that can be drawn in the plane without any edges crossing. To make this more precise, we define an embedding of a graph G in the plane to be a one-to-one mapping of the vertices of G into the plane and a mapping of the edges of G to disjoint simple open arcs, so that the image of each edge joins the images of its two vertices and none of the images of the edges contains the image of a vertex. Here there is little to be gained by allowing loops or multiple edges, so in this section we assume that all graphs are simple. A graph that can be embedded in the plane is called a planar graph, and its image is called a plane graph. An example is given in Fig. 10. A region of an embedded graph G is a maximal connected set of points in the relative complement of G in the plane; note that one region is unbounded. The topological closure of a region (that is, the region together with the vertices and Introduction 11
r2
r4 r1
r3
Fig. 10. edges of G on its boundary) is a face. If a face has a connected boundary, that boundary is a closed walk, and the length of that walk is the size of the face. Steinitz showed that 3-connected planar graphs form a particularly nice class of graphs:
Steinitz’s theorem A graph is the skeleton of a polyhedron if and only if it is 3-connected and planar.
The fundamental theorem on planar graphs is an extension of Euler’s well- known formula for polyhedra:
Euler’s formula If an embedding of a connected graph in the plane has n vertices, m edges and r regions, then n − m + r = 2.
One consequence of Euler’s formula is that a planar graph G with n (≥ 3) vertices has at most 3(n − 2) edges, and at most 2(n − 2) if G is bipartite. It is easy to deduce from these observations that the graphs K5 and K3,3 are non-planar. Kuratowski proved that these are in fact the only barriers to planarity:
Kuratowski’s theorem A graph is planar if and only if it does not contain a subgraph homeomorphic to K5 or K3,3.
There are other criteria for planarity, but we mention only one here; it is due to Wagner and simply has the word ‘contractible’ in place of ‘homeomorphic’:
Wagner’s theorem A graph is planar if and only if it does not contain a subgraph contractible to K5 or K3,3.
There are several measures of non-planarity, two of which are as follows: • the crossing number of a graph G is (informally, but intuitively clear) the minimum number of crossings of pairs of edges in any drawing of G in the plane; • the thickness of G is the minimum number of graphs in a set of planar graphs whose union is G. 12 Lowell W. Beineke and Robin J. Wilson
3. Surfaces
Much of the interest in topological graph theory involves graphs on surfaces other than the plane. In this section we say what is meant by a surface; the topic of embeddability on these surfaces is introduced in the next section. A surface is a topological space with the following two properties:
• it is a 2-manifold – that is, each point has a neighbourhood homeomorphic to an open disc; • it is compact – that is, it is closed and bounded.
Note that this definition is quite restrictive – the plane does not qualify as a surface in this sense since it is not compact, and the Möbius strip does not qualify since it has a boundary and thus is not compact. A surface is orientable if a positive sense of rotation (say, clockwise) can be made around all points consistently, and is non-orientable otherwise. The simplest orientable surfaces are the sphere and the torus (Fig. 11), while the simplest non- orientable surfaces are the projective plane and the Klein bottle (Fig. 12).
Fig. 11.
Fig. 12.
There are two ways to increase the complexity of a surface: by adding either a handle or a crosscap. To add a handle to a surface S, remove two disjoint open discs from S and identify their boundaries with the ends of a truncated cylinder in a consistent manner (see Fig. 13). To add a crosscap to S, remove one open disc and identify its boundary with that of a Möbius strip (see Fig. 14); this is equivalent to identifying opposite points on the boundary of the disc. It is a fact that no matter how h handles are added to the sphere, the result is effectively the same: an orientable surface that we denote by Sh. Similarly, no matter how k crosscaps (k > 0) are added to the sphere, the result is effectively the Introduction 13
Fig. 13.
Fig. 14. same: a non-orientable surface that we denote by Nk. Furthermore, every surface is homeomorphic either to Sh for some h ≥ 0, or to Nk for some k ≥ 1. When the number of handles or crosscaps on a surface is small, it can be useful to represent it as a polygon. For an orientable surface Sh, take a 4h-gon and identify its sides according to the pattern
α β α−1 β−1 ... α β α−1 β−1 1, 1, 1 , 1 , , h, h, h , h .
Fig. 15 shows the torus and the double torus represented in this way.
b a 2 1
b a 1 a 2
b b a b 1 2
a b a 2 1
Torus Double-torus
Fig. 15. 14 Lowell W. Beineke and Robin J. Wilson
For the non-orientable surface Nk, take a 2k-gon and identify its sides according to the pattern α1, α1, α2, α2, ... , αk, αk. Fig. 16 shows the projective plane and the Klein bottle represented in this way.
a
a a 2 1
a a 2 1
a
Projective plane Klein bottle
Fig. 16.
4. Graphs on surfaces
Many of the concepts we introduced in Section 2 carry over in a natural way to graphs on surfaces in general. Specifically, a graph on a surface S is the analogue of a plane graph, and a graph G is embeddable on S if it is isomorphic to a graph on that surface; we refer to this as an embedding of G. An embedding is cellular if every region is homeomorphic to an open disc. Figs. 17 and 18 show cellular embeddings of the complete graphs K6 and K7 on the projective plane and the torus. Regions and faces are defined as for the plane. A cellular embedding in which each face has three sides is a triangulation, and one in which each face has four sides is a quadrangulation. (In this section all graphs are assumed to be simple.) The embeddings in Figs. 17 and 18 are both triangulations. Every surface has a version of Euler’s polyhedron formula:
Euler’s formula If a simple graph G has a cellular embedding in a surface S with n vertices, m edges and r regions, then − h S = S , n − m + r = 2 2 if h 2 − k if S = Nk.
The number associated with S in this theorem is called its Euler characteristic, denoted by ε(S). Introduction 15
b c
a d
e e
d a
c b
Fig. 17.
abcda
e e
f f
g g
abcda
Fig. 18.
The genus of a graph The genus γ (G) of a graph G is the minimum genus of a surface in which the graph can be embedded – that is, the minimum number of handles that need to be added to the sphere for G to be embeddable. It follows from Euler’s formula γ (G) 1 m − 1 n + that has the general lower bound of 6 2 1; this can be improved to 1 m − 1 n + G 4 2 1if is bipartite. In part because of the connection with colouring maps on surfaces, much of the focus of early work was on the genus of complete graphs. The solution to this difficult problem was finally completed by Ringel and Youngs (see [7]) in 1968:
Ringel–Youngs theorem For n ≥ 3, the genus of the complete graph Kn is
γ(K ) = 1 (n − )(n − ) . n 12 3 4
An important consequence of this result is that it yields the chromatic number of every orientable surface other than the plane. 16 Lowell W. Beineke and Robin J. Wilson
The crosscap number of a graph The non-orientable analogue of the genus of a graph is the non-orientable genus (or crosscap number) γ (G), the minimum number of crosscaps that need to be added to the sphere for G to be embeddable. In 1954, Ringel determined the non-orientable genus of the complete graph: Ringel’s theorem For n ≥ 3, the non-orientable genus of the complete graph Kn is γ(K ) = 1 (n − )(n − ) , n 6 3 4 except that γ(K7) = 3.
There are some interesting comparisons to be made between the parameters γ (G) and γ (G). Since any surface with a crosscap is non-orientable, it follows that, for any graph G, γ (G) ≤ 2γ (G) + 1. There is no bound in the other direction, however, as there are graphs of arbitrarily large orientable genus that can be embedded in the projective plane. Other differences appear in cellular embeddings of graphs. If γ (G) = h, then every embedding of G on Sh is cellular, but the corresponding statement for the non-orientable genus does not hold. In particular, although γ(K7) = 3, not every embedding of K7 in N3 is cellular. Furthermore, while the orientable genus is additive over the blocks of a graph the non-orientable genus is not – the graph consisting of two copies of K7 is a counter-example.
The chromatic number of a surface Much of the interest in embedding complete graphs is related to colourings of maps and graphs. The chromatic number χ(S)of a surface S is the maximum chromatic number among all S-embeddable graphs. As Heawood noted, a lower bound for χ(S)can be deduced from Euler’s formula. For all surfaces other than the sphere, the sharpness of this bound follows from the genus and the non-orientable genus of complete graphs (and a little more for the Klein bottle).
Map colour theorem Except for the Klein bottle N2, which has chromatic number 6, the chromatic number of a surface S of Euler characteristic ε is √ χ(S) = 1 + − ε . 2 7 49 24
Kuratowski-type theorems
Every surface has a family of graphs that plays the role of K5 and K3,3 in Kuratowski’s theorem. A minor-minimal forbidden family M(S) of a surface S is a set of graphs with these three properties: Introduction 17
• no graph in M(S) is embeddable in S; • every graph that is not embeddable in S has a graph in M(S) as a minor; • no graph in M(S) is a minor of another graph in M(S). There is a corresponding (and larger) family if, instead of minors, homeo- morphic subgraphs are considered. The projective plane is the only surface other than the sphere for which these families are known: the minor-minimal family contains 35 graphs and the homeomorphically irreducible family contains 103. One of the foremost results in topological graph theory is that these families are always finite. For non-orientable surfaces this was established by Archdeacon and Huneke in 1980. The orientable case was not settled until 1984, when Robertson and Seymour proved their spectacular result on graph minors.
Robertson–Seymour theorem Every infinite collection of graphs contains at least one graph that is a minor of another.
Corollary The set of minor-minimal forbidden graphs of every surface is finite.
References
1. G. Chartrand and L. Lesniak, Graphs and Digraphs (4th edn), Chapman & Hall/CRC, 2004. 2. J. L. Gross and J. Yellen, Graph Theory and its Applications (2nd edn), Chapman & Hall/CRC, 2005. 3. D. B. West, Introduction to Graph Theory (3rd edn), Prentice-Hall, 2007. 4. R. J. Wilson, Introduction to Graph Theory (4th edn), Pearson, 1996. 1 Embedding graphs on surfaces
JONATHAN L. GROSS and THOMAS W. TUCKER
1. Introduction 2. Graphs and surfaces 3. Embeddings 4. Rotation systems 5. Covering spaces and voltage graphs 6. Enumeration 7. Algorithms 8. Graph minors References
In this first chapter, we review the basic ideas of topological graph theory. We describe the principal early theme of constructing embeddings, and we then survey the launching of the dominant programmatic themes of the present era, which are presented in greater detail individually in subsequent chapters.
1. Introduction
By the late 19th century, the work of Heawood [16] and Heffter [17] had expanded the study of graph drawings beyond the confines of the plane to surfaces of higher order. Over the next hundred years or so, the solution of several long-standing problems attracted many researchers and the present-day programmatic themes were set into place. Of course, some of the methods used in the solutions led to new problems. Topological graph theory is now one of the largest branches of graph theory. This chapter gives a brief overview of some of the principal concepts, terminology and notation of topological graph theory. As general resources, we recommend [13], Chapter 7 of [14], [22] and [44].
18 1 Embedding graphs on surfaces 19
2. Graphs and surfaces
We start by recalling some definitions from the Introduction.Agraph G is formally defined to be a combinatorial incidence structure with a vertex-set V and an edge- set E, where each edge e is incident with at most two vertices; we may write VG and EG, respectively, when there is more than one graph under consideration. A graph may have multiple adjacencies and loops and is usually taken to be finite unless the immediate context implies otherwise. In some contexts, the letters n and m are reserved for the number |V | of vertices and the number |E| of edges. The underlying topological space of a graph, also commonly called ‘the graph’, is the 1-dimensional cell-complex with a 0-cell for each vertex v and a 1-cell for each edge e. In that sense, each edge has two edge-ends and two endpoints (which may coincide if the edge is a loop). In some contexts, edges are assigned a direction from one endpoint to the other, usually indicated in a drawing by an arrow on an edge. The degree, also called the valence, of a vertex v is the number of edge-ends incident to v, that is the number of incident edges with loops weighted twice. A graph is called regular if all vertices have the same degree. A surface S is a connected topological space such that every point has an open neighborhood homeomorphic to the interior of the unit disc (this definition does not allow a surface to have boundary). A surface is closed if is compact, and is orientable if it contains no subset homeomorphic to the Möbius band (the space obtained by identifying a pair of opposite sides of a rectangle as shown in Fig. 1). Just as the plane has two orientations, clockwise and anticlockwise, an orientable surface has two possible orientations; if one is specified, we say that the surface is oriented.
Fig. 1. Constructing a Möbius band
Every surface has a triangulation [27] into homeomorphic copies of a triangle, which intersect only along entire edges or at vertices. This so-called piecewise- linear structure of a surface as a 2-complex is unique up to piecewise-linear homeomorphism [24], which means that surfaces can be treated as combinatorial objects, as well as topological ones. The Introduction to this volume describes both the orientable surfaces Sh and the non-orientable surfaces Nk. 20 Jonathan L. Gross and Thomas W. Tucker
3. Embeddings
An embedding of a graph G on a surface S is a continuous function f : G → S taking G homeomorphically to its image f (G). Intuitively, an embedding is a drawing of a graph on a surface in which no edges cross. The components of the complement of the image of an embedded graph are called regions. An embedding is cellular if every region is homeomorphic to an open disc. In nearly every aspect of topological graph theory, the only embeddings considered are cellular. Consequently, the word ‘cellular’ is usually omitted by most authors, as it will be in this book. Since an embedding of a non-connected graph cannot be cellular, it is often implicit from the context that an embedded graph is connected. For a cellular embedding, the topological closure of a region is called a face. The set of faces is denoted by F , with subscripts as needed if more than one embedding is under consideration. The closed walk in the underlying graph G corresponding to the boundary of a region is called a boundary walk or face boundary walk of the corresponding face, and is unique up to the choice of the initial vertex and the choice of orientation of the region. The length of this boundary walk is called the size of the face. An embedding is strongly cellular or circular if every face is homeomorphic to a closed disc – that is, if every boundary walk is a cycle. If G is not 2-connected, then it has no strongly cellular embedding. The converse result, that every 2-connected graph has a strongly cellular embedding, is known as the circular embedding conjecture and is open at this time. It implies the closely related cycle double cover conjecture (of [33] and [34]) that every 2-edge-connected graph has a collection of cycles that includes every edge exactly twice. Chapter 15 provides further information about these conjectures as part of a large collection of open problems. The orientable genus range of a graph G is the set of integers h (which are easily proved to be consecutive) such that the graph G is cellularly embeddable in the surface Sh. The minimum of this range is called the minimum genus of the graph (or often simply, the genus). The maximum is called the maximum genus. The minimum and maximum genus of the graph G are denoted by γmin(G) (or often, simply γ (G)) and γmax(G), respectively. A graph of genus 0 is said to be planar. The crosscap range of a graph G is the set of integers k (also easily proved to be consecutive) such that the graph G is cellularly embeddable in the surface Nk. The minimum of this range is called the minimum crosscap number of the graph (or, often, simply the crosscap number). The maximum is called the maximum crosscap number. The minimum and maximum crosscap numbers of the graph G are denoted by γ˜min(G) and γ˜max(G), respectively. 1 Embedding graphs on surfaces 21
The Poincaré dual embedding for a cellular graph embedding G → S (called the primal embedding in this context) is constructed as follows: • in the interior of each primal region, a dual vertex is drawn; • through each primal edge, a dual edge is drawn joining the dual vertex on one side of the edge to the dual vertex on the other (thus, a loop whenever the same primal region lies on both sides of that primal edge); • if the surface S is oriented, then in the dual embedding, the orientation is reversed.
Aflat-polygon representation of an embedding K4 → S1 and its dual embedding are shown in Fig. 2. The primal vertices and the primal edges are solid, the dual vertices are hollow, and the dual edges are dashed. Observe that four edges join the two dual vertices and that one of the dual vertices has two loops incident with it. There are many other ways to draw a graph embedding or even a graph (in 3-space, with edge-crossings in the plane, with straight lines as edges, with ovals as edges, etc). Chapter 8 surveys the different ways that one can try to visualize a graph or embedding.
a
b b
a
Fig. 2. A toroidal embedding and its dual
The Euler polyhedron formula for a cellular embedding of a graph is 2 − 2h for the orientable surface Sh, |V |−|E|+|F |= 2 − k for the non-orientable surface Nk.
The value of the expression on the right side of the equation is called the Euler characteristic of the surface, denoted by ε. The special case |V |−|E|+|F |=2 for the sphere, first stated by Euler in 1750, is reasonably regarded as the first result of topological graph theory, even though various topological aspects, such as the Jordan curve theorem, the Schoenfliess theorem, and the triangulability of surfaces, were not proved until early in the 20th century. (There are many proofs; see, for example, [13].) 22 Jonathan L. Gross and Thomas W. Tucker
Amap on a surface S is another name for an embedding G → S of a graph into S and is used when the focus is on the symmetries of the underlying vertex–edge–face incidence structure. Whereas embedding theory tends to rely on methods inspired by topological intuition, map theory depends more on group theory, especially on permutation groups. Viewing a map as an incidence structure, especially when all faces are triangles, leads naturally to designs and triple systems, as surveyed in Chapter 13. It also leads to the point–line incidence structure of finite geometries, which is covered in Chapter 12. An isomorphism of graphs is a bijection of the vertex-sets and of the edge-sets that respects the incidence structure. A homeomorphism of graphs as topological spaces induces a graph isomorphism, but there are many homeomorphisms inducing the same graph isomorphism (just as there are many homeomorphisms of the unit interval taking 0 → 0 and 1 → 1). An isomorphism between a graph and itself is called an automorphism; the set of all automorphisms of a graph G forms a group, denoted by Aut(G). An isomorphism of graph embeddings G → S and G → S is an isomorphism of the underlying graphs that takes face boundaries to face boundaries. A homeomorphism from S to S taking the image of G to the image of G induces an isomorphism of the embeddings, but again there are many such homeomorphisms inducing the same isomorphism. An isomorphism between an embedding G → S and itself is called an automorphism, and the set of all such automorphisms is a subgroup of Aut(G).
Planarity and colouring The development of topological graph theory as a distinct branch of graph theory was motivated by two problems regarding planar graphs. The first problem is concerned with map-colouring. The chromatic number of a map is most conveniently defined to be the chromatic number of the dual graph for that map – that is, as the smallest number of colours needed to colour the dual vertices so that distinct endpoints of a dual edge get different colours. The chromatic number of a surface is the maximum of the set of numbers that occur as chromatic numbers of maps on that surface or, equivalently, as the maximum of the set of numbers that occur as chromatic numbers of graphs on that surface. The four-colour problem is to prove that every planar map has chromatic number at most 4. Its first known written mention is in a letter from De Morgan to Hamilton in 1852. It was solved by Appel and Haken [2] in 1976. The second problem, called the planarity problem, is to characterize the graphs that are planar. The solution by Kuratowski [20] characterizes them completely in terms of two forbidden types of subgraphs – that is, homeomorphic copies of the complete graph K5 and the complete bipartite graph K3,3. The generalization of 1 Embedding graphs on surfaces 23
Kuratowski’s theorem seeks, for each surface, a complete finite set of obstructions to embeddability in that surface. On the other hand, if a graph is not planar, rather than embed it in a higher genus surface, we may still want to draw it in the plane, yet now allowing edge-crossings. The crossing number of a graph G can be described intuitively as the minimum number of edge-crossings in a drawing of G in the plane; it is another measure of the extent to which a graph fails to be planar. After starting some decades ago with the determination of a few difficult special cases, this pursuit has emerged into a more general topic, involving forbidden subgraphs, as described in Chapter 7.
4. Rotation systems
Besides finding a flaw in Kempe’s attempted proof of the four-colour theorem, Heawood [16] expanded the quest to finding the colouring numbers of all closed surfaces. In 1890, he proved that the quantity √ H(ε) = 1 + − ε 2 7 49 24
– which is now called the Heawood number of a surface of Euler characteristic ε – is an upper bound for the chromatic number of the surface. Proving that it cannot be improved for any surface except the Klein bottle N2 became known as the Heawood problem. Its solution, completed in 1968 by Ringel and Youngs [30], required the construction of minimum-genus embeddings for the complete graphs. The construction employs a combinatorial method for specifying those embeddings that originated with Heffter. In an embedding in an oriented surface, the rotation at a vertex is the cyclic ordering of the edge-ends incident to that vertex, induced by the specified orientation. The set of all rotations is called the rotation system (or rotation scheme). Detailed examples of rotation systems are given, for instance, in Section 3.2 of [13] and by Section 6.6 of [44]. It is not hard to see how to trace out the face boundaries of the embedding using only the rotation system. Thus, every rotation system on a graph – that is, an assignment of a cyclic order to the edge-ends incident to each vertex – determines an oriented embedding. In his proof that the Heawood bound is achievable for the orientable surfaces Sh with h = 1, 2,...,6, Heffter [17] listed the vertices on the boundary walk of each face. This form of embedding specification was dualized by Edmonds [5] into the form more widely used and led to the ‘Edmonds algorithm’ of determining the minimum genus of a graph by inspecting all its possible rotation systems. 24 Jonathan L. Gross and Thomas W. Tucker
A rotation system can be encoded by two permutations of the set of directed edges: a permutation ρ whose cycles are the rotation of the directed edges beginning at each vertex, and an involution λ that takes each directed edge to its reverse. To trace the face boundaries, one merely computes the cycles of ρλ. The permutation group generated by ρ and λ (with the specification of these two generators) is called the monodromy group or dart group of the map. Thus, we might view an oriented embedding as no more than a permutation group with two specified generators, one of which is an involution without fixed points. Although this viewpoint removes geometrical intuition, it is particularly helpful for computer construction, for instance, of all highly symmetric maps of low genus (see [4]). Viewing an embedding as a permutation group on the set of directed edges introduces terminology, notation and techniques from the theory of groups acting on sets. A (left) action of the group A on the set W is a homomorphism from A into the group of permutations on the set W, where we write permutations on the left aw (prefix notation). If the homomorphism is injective, the action is said to be faithful. For a faithful action, if aw = w for all w ∈ W, then a is the identity. The stabilizer of a ∈ W, denoted by Aw, is the subgroup of all a ∈ A such that aw = w. An action of A on W is transitive if, for all w, z ∈ W there is an a ∈ A such that aw = z. A transitive action is regular if the stabilizer Aw is trivial: it is easy to show that all stabilizers for a transitive action are conjugate in A,soifone is trivial, they are all trivial. Given an oriented embedding, an automorphism of the graph is an automorphism of the embedding if and only if the graph automorphism either preserves the rotation at every vertex, or reverses the rotation at every vertex. In the former case, the automorphism is orientation-preserving and in the latter case it is orientation-reversing. Rotation systems for non-orientable embeddings are more complicated. First we choose one of the two possible cyclic orderings of the edges incident to each vertex induced by the embedding. Then each edge is assigned one of two possible types, flat or twisted (alternatively called type-0 and type-1, or sign + and sign −), depending on whether or not an open neighbourhood of the edge can be given an orientation consistent with the rotations at its endpoints. It is not hard to use the information of vertex rotations and edge types to trace the face boundary walks, so any such assignment of a general rotation system to a graph defines an embedding of the graph. In this case, however, apparently different general rotation systems can define the same embedding: we can always choose to reverse the cyclic order at a vertex in exchange for reversing the type of all edges incident to the vertex. Two rotation systems are equivalent if we can get from one to the other by a sequence of such moves. Notice that a general rotation system for an orientable embedding may have twisted edges.Ageneral rotation system defines an orientable embedding if and only if each cycle contains an even number of twisted edges or, 1 Embedding graphs on surfaces 25 equivalently, if and only if there is an equivalent general rotation system for which all edges are flat. Automorphisms of embeddings can be interpreted in terms of general rotation systems as follows. Given a general rotation system for a graph G, a graph automorphism f of G gives an automorphism of the associated embedding if and only if there is an equivalent general rotation system such that f either preserves all vertex rotations or reverses all vertex rotations and f preserves edge types. Coding general embeddings as permutation groups uses ideas of Tutte [41]. Given a map, add a vertex at the midpoint of each edge and at the centre of each face, and then subdivide the map into triangles by adding edges from each original vertex to each new vertex in an incident face and from each new edge-vertex to each of the two new vertices in the faces incident to that edge, as indicated in Fig. 3. (The process constructs the first barycentric subdivision of a 2-complex.)
Fig. 3. Using flags to encode an embedding
The resulting triangles are called flags and the embedding is determined when we specify three involutions on the set of flags, telling us which pairs of sides of flags to identify: T for vertex-edge sides, L for edge-face sides, and R for vertex-face sides. Since each edge lies on a diamond of four flags identified alternately along vertex-edge sides and edge-face sides, the permutation LT LT is the identity. Thus, we can view a map as a permutation group, called again the monodromy group, generated by three fixed-point-free involutions T,L,R satisfying LT LT = 1. A map given by such a permutation group is orientable if and only if the subgoup of the monodromy group consisting of even length words in T,L,R has index 2 (it necessarily has index at most 2). This abstract group- theoretic view of maps proves useful in computer constructions. The idea of a map as a group is developed in Chapter 11, with particular attention to maps supporting regular actions by automorphisms on directed edges, flags or vertices. 26 Jonathan L. Gross and Thomas W. Tucker
5. Covering spaces and voltage graphs
In Ringel’s initial work on the Heawood problem in the early 1950s, he used rotation systems and surgery – that is, modifying an embedding by cutting apart the embedding surface and sewing on a handle or crosscap to allow the addition of extra edges. Surgery was a well-established technique by the early 20th century (see [32]). Ringel’s innovation was to amplify the power of rotation systems by using one, two or three rotations algebraically to generate the remainder of the system. He masterfully designed generating rotations that would solve intricate special problems. After Gustin [15] created a remarkable computational aid (now called a combinatorial current graph) to construct generating rotations, Youngs joined Ringel in a five-year pursuit of the complete solution, which involved many different forms of combinatorial current graph, each defined by different rules. The complete solution, announced in [30], occupied about 300 journal pages. Topologically, a covering (or covering projection) p: X˜ → X of surfaces or graphs is a continuous surjection satisfying this condition: each point x of the codomain X has a neighbourhood U such that every component of p−1(U) is mapped homeomorphically onto U. For a surface, if this condition holds everywhere except for a finite number of points of the codomain, then the mapping is called a branched covering; its topological abstraction from Riemann surfaces can be traced back to Alexander [1] and A. W. Tucker [37]. Of particular interest are the regular coverings, which are obtained from the action of a group A of automorphisms on X˜ , where X = X/˜ A, the quotient space of orbits of A, and where p: X˜ → X/A is the natural quotient projection. For graphs we need the action to be fixed-point-free to get a covering, and for surfaces we need the action to be fixed-point-free except at a finite number of points to get a branched covering. For other group actions, the orbit space has the structure of an ‘orbifold’, a concept that plays a key role in Thurston’s study of geometrical structures on 3-manifolds (see [36]). Whereas the topological theory of covering spaces describes an existential relationship between the domain and the codomain of a mapping, the theory of voltage graphs, due to Gross [7] and Gross and Tucker [12], provides a combinatorial tool for constructing graphs and graph embeddings. In voltage graph theory, the many specialized forms of combinatorial current graph originating with Gustin and augmented by Ringel and Youngs (see [29]) are all unified, so that the Ringel–Youngs embeddings are readily understood as the duals of coverings of voltage graphs (see [9] and [11]). Moreover, the power of the technique was amplified so that it applies not only to embeddings of complete graphs, but to any embedding with sufficient symmetry. 1 Embedding graphs on surfaces 27
One view of a covering is that every cycle in the base graph unwinds when lifted to the covering graph. It is natural, therefore, to look at coverings where cycles unwind completely, just as the unit circle unwinds to the real line when lifted via the covering eit. Thus, every finite graph that is not a tree is covered by an infinite tree, where vertices repeated by a walk in the graph may now become separate when the walk is lifted to the tree. Coverings lead inevitably to infinite graphs, which have a far more complicated topological structure, whether embedded or not. Chapter 14 gives an introduction to the topology of infinite graphs.
Regular voltages Given a digraph G = (V, E),aregular voltage assignment in a group B is a function α: E → B that labels each edge e with a value α(e): • the pair G, α is called a regular voltage graph; • the graph G is called the base graph; • the group B is called the voltage group; • the label α(e) is called the voltage on the edge e. It is said to specify the covering digraph Gα, defined as follows: • V(Gα) = V α = V × B, the Cartesian product; • E(Gα) = Eα = E × B; • if the edge e is directed from a vertex u to a vertex v in G, then the edge α eb = (e, b) in G is directed from the vertex ub = (u, b) to the vertex vbα(e) = (v, bα(e)). A more general concept, called a permutation voltage graph, was introduced in [12]. Whereas every regular covering, in the sense of topology, is realizable by a regular voltage assignment, all coverings (including the non-regular coverings) are realizable by permutation voltage assignments. Vertices and edges of the covering graph are usually specified in a subscripted notation, rather than in Cartesian product notation. There is a standard exception to this convention, intended to avoid double subscripting. The digraph Gα is usually called simply the covering graph. Moreover, its underlying (undirected) graph is also denoted by Gα and is also called the covering graph. Using such shared terminology avoids excessively formal prose; in context, no ambiguity results. Fig. 4(a) shows a regular voltage graph G, α: E → Z3, and Fig. 4(b) shows the corresponding covering graph. Assigning an involution x as the voltage to a loop e at a vertex v in the base graph causes the e-edges in the covering digraph to be paired – that is, the directed edge eb from a vertex vb to a vertex vb+x is paired with the directed edge eb+x from vb+x to vb. The term covering graph also refers to the undirected graph that is 28 Jonathan L. Gross and Thomas W. Tucker
u2 b2 v2 c c1 a a1 2 0 b a2 1 u v u1 b1 v1 c 1
a0 voltages in Z3 c0
u0 b0 v0
(a) (b)
Fig. 4. A regular voltage assignment and the covering graph obtained by identifying these pairs of directed edges as a single edge, even though that usage conflicts with standard topological usage. (The present authors used ‘derived graph’ in their earlier papers to avoid this discrepancy in usage.) Let G = (V, E), α: E → B be a regular voltage graph. The graph mapping from the covering graph Gα to the voltage graph G, given by the vertex function and edge function vb → v and eb → e respectively, is called the natural projection. (Thus, the natural projection is given by ‘erasure of subscripts’.) Let Gα be the covering graph for a regular voltage graph G = (V, E), α: E → B. Then
• the vertex subset {v}×B = {vb: b ∈ B} is called the (vertex) fibre over v; • similarly, the edge subset {e}×B = {eb: b ∈ B} is called the (edge) fibre over e.
An assignment of voltages to a graph also induces an assignment of voltages to directed walks, simply by taking the product of the voltages. Many of the properties of the covering graph – for example, whether it is connected – can be stated in terms of the voltages assigned to closed walks, all starting from a root vertex. If the base graph is a bouquet and the set X of voltages appearing on edges generates the voltage group A, then the covering graph is a Cayley graph for the group A, denoted C(A,X). The usual definition of C(A,X) is the graph with vertex-set A and a directed edge labelled x from a to ax, for every a ∈ A and every x ∈ X; left multiplication by A provides the action of A on C(A,X) by automorphisms. The graph underlying C(A,X), without directions and labels and with parallel edges identified, is also called a Cayley graph and is denoted C(A,X). White [43] defined the genus of a group as the minimum genus taken over all its Cayley graphs. Proulx [25] classified the toroidal groups, which fall into 17 infinite families plus some sporadic cases, and Tucker [38] established that there are finitely many groups of each genus greater than 1 and only one of genus 2. 1 Embedding graphs on surfaces 29
The faces of an embedding of a Cayley graph C(A,X) in a surface provide relators: words in the generators that reduce to the identity. The hope of Burnside, Dehn and others, when they first studied embeddings of Cayley graphs 100 years ago, was that these geometrical pictures of a group might reveal the algebraic structure of a group via a presentation in terms of generators and relators. Such a presentation is given in a format like this:
x,y,z: x2 = y2 = z2 = 1,(xy)2 = (yz)3 = (xz)4 = 1.
There are various logical difficulties with such presentations, the most famous one (established by Michael Rabin [26]) being the non-existence of an algorithm to decide whether any given presentation defines the trivial group. On the other hand, a group presentation is an extremely efficient way of describing a group and is the basis for all computer calculations for groups (and therefore maps).
Lifting embeddings When a voltage graph is cellularly embedded in a surface, we obtain an embedding for the covering graph by using the rotation system for the base embedding to define one for the covering graph: vertex rotations and edge types are the same as those in the base graph with subscripts erased. Moreover, the graph projection extends to a branched covering from the covering embedding to the base embedding, with branching inside any face whose boundary walk has non-identity voltage. (See [8] for a more complete description and illustrative examples.) When the base graph is a bouquet and the voltages X generate the voltage group A, the resulting embedding is called a Cayley map (see [3] and [28]), which can be denoted by CM(A,ρ), where ρ is given as a single cycle of the elements of X and their inverses. For example, CM(Z7,(1, 3, 2, −1, −3, −2)) defines a triangular embedding of K7 in the torus having a fixed-point free action of Z7. The minimum genus over all Cayley maps for a group, which is called the strong symmetric genus, is always at least as large as the genus (see Tucker [39]) and is easier to compute in many cases. A survey of the genus and other group parameters like the strong symmetric genus is given in Chapter 10.
6. Enumeration
Enumeration is a classical pursuit in mathematics, and the development of powerful counting methods for graphs preceded their adaption to counting topological objects. Calculating surface-by-surface inventories of embeddings of a given graph, programatically initiated by Gross and Furst [10], combines some of the principal methods of embedding construction, especially rotations and surgery, 30 Jonathan L. Gross and Thomas W. Tucker with a variety of standard enumerative methods. Such inventories are the topic of Chapter 3. In recent years, Kwak and Lee have led in the application of voltage graph methods for enumerating graph coverings, and Chapter 9 provides an account of this active branch of topological graph theory. Combinatorial methods predominated in the older, complementary programme of research launched by Tutte [40], [41] into the counting of maps on a given surface. Jackson and Visentin [19] have provided a complete listing of the maps with a small number of edges.
7. Algorithms
The prototypical embeddability problem in topological graph theory is to determine a formula for the minimum genus of the graphs in an infinite class. The outstanding single example is the Ringel–Youngs formula γ (K ) = 1 (n − )(n − ) min n 12 3 4 for the genus of a complete graph. Ringel also derived formulas for the minimum genus of hypercube graphs and of complete bipartite graphs. With such success, there arose the question of the existence of a polynomial-time algorithm to calculate the minimum genus. Planarity testing may have seemed an initial step toward the more general goal. There were informal methods that rather quickly made the planarity decision, and some formal quadratic-time algorithms were developed. The naive algorithm based on this Kuratowski characterization does not run in polynomial time. Nonetheless, when iterative application of the Jordan curve theorem is included in the test, a quadratic-time algorithm is achievable. Ultimately, Hopcroft and Tarjan [18] produced a linear-time algorithm. Eventually, Thomassen [35] showed that deciding whether a given graph has a given minimum genus is an NP-complete problem. Interestingly, Mohar [21] subsequently showed that, for each fixed surface, the problem of deciding the embeddability of a given graph is solvable in linear time; however, the multiplicative constant grows rapidly with increasing surface genus. Chapter 4 surveys algorithms for embeddings. Interest in calculating the maximum genus began with Nordhaus, Stewart and White [23]. Although the obvious algorithm based on Xuong’s characterization [45] requires exponential time, Furst, Gross and McGeoch [6] derived a polynomial-time algorithm. Chapter 2 surveys the main results on the maximum genus of a graph. 1 Embedding graphs on surfaces 31
8. Graph minors
There are two natural ways to reduce graphs for the purposes of inductive proofs: deleting an edge (and any isolated vertices that this creates) or contracting an edge, which is defined in a combinatorial context as identifying its endpoints and deleting all resulting loops and multiple edges.Aminor of a graph G is any graph obtainable from G by a sequence of edge deletions and edge contractions. Clearly, if G can be embedded in the surface S, then so can each of its minors. Thus, if G is not embeddable in S, it has a minimal minor that is not embeddable in S,aforbidden minor. As Wagner [42] first observed, Kuratowski’s theorem immediately implies that the forbidden minors for the plane are K5 and K3,3. One of the principal objectives of topological graph theorists for about fifty years was to prove a Kuratowski-type theorem for non-planar surfaces S, that the set of forbidden minors for embeddability in S is finite. This goal was finally attained by Robertson and Seymour [31], and this is described in Chapter 5. Furthermore, they bootstrapped from their results for surfaces to a proof of Wagner’s conjecture that under the partial ordering on all graphs by the minor relation, there are no infinite antichains: in any infinite collection of graphs G1,G2,... , there exist indices i and j with i References 1. J. W. Alexander, Note on Riemann spaces, Bull. Amer. Math. Soc. 26 (1920), 370–372. 2. K. Appel and W. Haken, Every planar map is four-colorable, Bull. Amer. Math. Soc. 82 (1976), 771–772. 3. N. L. Biggs and A. T. White, Permutation Groups and Combinatorial Structures, Cambridge University Press, 1979. 4. M. Conder and P. Dobcsányi, Determination of all regular maps of small genus, J. Combin. Theory (B) 81 (2001), 224–242. 5. J. R. Edmonds, A combinatorial representation for polyhedral surfaces, Abstract in Notices Amer. Math. Soc. 7 (1960), 646. 6. M. Furst, J. L. Gross and L. McGeoch, Finding a maximum-genus graph imbedding, J. Assoc. Comp. Mach. 35 (1988), 523–534. 7. J. L. Gross, Voltage graphs, Discrete Math. 9 (1974), 239–246. 8. J. L. Gross, Voltage Graphs, Section 7.4 of Handbook of Graph Theory, CRC Press, 2004. 32 Jonathan L. Gross and Thomas W. Tucker 9. J. L. Gross and S. R.Alpert, The topological theory of current graphs, J. Combin. Theory (B) 17 (1974), 218–233. 10. J. L. Gross and M. L. Furst, Hierarchy for imbedding-distribution invariants of a graph, J. Graph Theory 11 (1987), 205–220. 11. J. L. Gross and T. W. Tucker, Quotients of complete graphs: Revisiting the Heawood map-coloring problem, Pacific J. Math. 55 (1974), 391–402. 12. J. L. Gross and T. W. Tucker, Generating all graph coverings by permutation voltage assignments, Discrete Math. 18 (1977), 273–283. 13. J. L. Gross and T. W. Tucker, Topological Graph Theory, Wiley, 1987, and Dover, 2001. 14. J. L. Gross and J. Yellen, Handbook of Graph Theory, CRC Press, 2004. 15. W. Gustin, Orientable embedding of Cayley graphs, Bull. Amer. Math. Soc. 69 (1963), 272–275. 16. P. J. Heawood, Map-colour theorem, Quart. J. Math. 24 (1890), 332–338. 17. L. Heffter, Über das Problem der Nachbargebiete, Math. Annalen 38 (1891), 477–580. 18. J. Hopcroft and R. E. Tarjan, Efficient planarity testing, J. Assoc. Comp. Mach. 21 (1974), 549–568. 19. D. M. Jackson and T. I. Visentin, An Atlas of the Smaller Maps in Orientable and Nonorientable Surfaces, Chapman & Hall/CRC, 2001. 20. K. Kuratowski, Sur le problème des courbes gauches en topologie, Fund. Math. 15 (1930), 271–283. 21. B. Mohar, A linear time algorithm for embedding graphs in an arbitrary surface, SIAM J. Discrete Math. 12 (1999), 6–26. 22. B. Mohar and C. Thomassen, Graphs on Surfaces, Johns Hopkins Univ. Press, 2001. 23. E. A. Nordhaus, B. M. Stewart and A. T. White, On the maximum genus of a graph, J. Combin. Theory (B) 11 (1971), 258–267. 24. C. D. Papakyriakopoulos, A new proof of the invariance of the homology groups of a complex, Bull. Soc. Math. Grèce 22 (1943), 1–154. 25. V. K. Proulx, Classification of the toroidal groups, J. Graph Theory 2 (1981), 269–273. 26. M. O. Rabin, Recursive unsolvability of group theoretic problems, Ann. of Math. (2) 67 (1958), 172–194. 27. T. Rado, Über den Begriff der Riemannschen Flache, Acta Litt. Sci. Szeged 2 (1925), 101–121. 28. B. Richter, J. Širán,ˇ R. Jajcay, T. Tucker and M. Watkins, Cayley maps, J. Combin. Theory (B) 95 (2005), 489–545. 29. G. Ringel, Map Color Theorem, Springer, 1974. 30. G. Ringel and J. W. T. Youngs, Solution of the Heawood map-coloring problem, Proc. Nat. Acad. Sci. USA 60 (1968), 438–445. 31. N. Robertson and P. Seymour, Graph minors XX. Wagner’s Conjecture, J. Combin. Theory (B) 92 (2004), 325–357. 32. H. Seifert and W. Threllfall, Lehrbuch der Topologie, Chelsea, 1947; English transl. by J. Birman and J. Eisner, Academic Press, 1980. 33. P. D. Seymour, Sums of circuits, Graph Theory and Related Topics (Proc. Conf. Univ. Waterloo, 1977), Academic Press (1979), 341–355. 34. G. Szekeres, Polyhedral decompositions of cubic graphs, Bull. Austral. Math. Soc. 8 (1973), 367–387. 35. C. Thomassen, The graph genus problem is NP-complete, J. Algorithms 10 (1989), 568–576. 1 Embedding graphs on surfaces 33 36. W. P. Thurston, Three-Dimensional Topology and Geometry, Princeton Univ. Press, 1997. 37. A. W. Tucker, Branched and folded coverings, Bull. Amer. Math. Soc. 42 (1936), 859–862. 38. T. W. Tucker, The number of groups of a given genus, Trans. Amer. Math. Soc. 258 (1980), 167–179. 39. T. W. Tucker, Groups acting on surfaces and the genus of a group, J. Combin. Theory (B) 34 (1983), 82–98. 40. W. T. Tutte, A census of planar triangulations, Canad. J. Math. 14 (1962), 21–38. 41. W. T. Tutte, A census of planar maps, Canad. J. Math. 15 (1963), 249–271. 42. K. Wagner, Über eine Eigenschaft der ebene Komplexe, Math. Ann. 114 (1937), 570–590. 43. A. T. White, On the genus of a given group, Trans. Amer. Math. Soc. 173 (1972), 203–214. 44. A. T. White, Graphs of Groups on Surfaces: Interactions and Models, North-Holland, 2001. 45. N. H. Xuong, How to determine the maximum genus of a graph, J. Combin. Theory (B) 26 (1979), 217–225. 2 Maximum genus JIANER CHEN and YUANQIU HUANG 1. Introduction 2. Characterizations and complexity 3. Kuratowski-type theorems 4. Upper-embeddability 5. Lower bounds References Since the introductory investigation by Nordhaus, Stewart and White, the maximum genus of a graph has attracted considerable attention from mathematicians and computer scientists. In this survey, we focus on the progress in recent years. In particular, we study its characterizations, algorithmic complexity, upper-embeddability and lower bounds. 1. Introduction The maximum genus γmax(G) of a graph G is the greatest integer k for which there exists a cellular embedding of G into the orientable surface of genus k. For example, the maximum genus of a tree or a cycle is 0, and the maximum genus of the complete graph K4 is 1. By Euler’s polyhedron formula, if a cellular embedding of a graph G with n vertices, m edges and r faces is on a surface of genus γ , then n − m + r = 2 − 2γ. r ≥ γ ≤1 (m − n + ) β(G) = m − n + Since 1, we have 2 1 . The number 1is called the cycle rank of G. It follows that the maximum genus of G is bounded 1 β(G) above by 2 . 34 2 Maximum genus 35 The maximum genus is additive over 2-edge-connected components, in the sense that if e is a cut-edge of a connected graph G and if G1 and G2 are the components of G − e, then γmax(G) = γmax(G1) + γmax(G2) (see [19]). We therefore need to consider only 2-edge-connected graphs. An ear decomposition D =[P1,P2, ··· ,Pr ] of a graph G is a partition of the edge-set of G into an ordered collection of edge-disjoint paths P1, P2, ···, Pr such that P1 is a cycle and, for i ≥ 2, Pi is a path with only its endpoints in common with P1 ∪···∪Pi−1. Each path Pi is called an ear. It is well known (see [24]) that a graph G has an ear decomposition if and only if it is 2-edge-connected. The operations of edge-insertion and edge-deletion have turned out to be useful in the study of graph embeddings. Let ρ(G) be an embedding of a graph G. We say that a new edge e is inserted into ρ(G) if the two endpoints of e are inserted into the corners of faces in ρ(G), yielding an embedding of the graph G + e. If the two endpoints of e are inserted into corners of the same face f in ρ(G), then the edge e ‘splits’ the face f into two faces and leaves the embedding genus unchanged. In this case, the two sides of the new edge e belong to two different faces in the resulting embedding of G + e (see Fig. 1(a)). (a) (b) Fig. 1. Inserting an edge On the other hand, if the two endpoints of e are inserted into corners of two different faces f1 and f2 in ρ(G), then the edge e ‘merges’the faces f1 and f2 into a single larger face and this increases the embedding genus by 1. In this case, the two sides of the new edge e belong to the same face in the resulting embedding of G+e. Topologically, this operation is implemented by cutting along the boundaries of the two faces f1 and f2, leaving two holes on the surface, and then adding a handle to the surface by pasting the two endpoints of an open cylinder to the boundaries of the two holes, so that the new edge e now runs along the new handle (see Fig. 1(b)). The discussion of the edge-deletion operation can be described in the reversed order. Let ρ(G) be an embedding of a graph G, and let e be an edge that is not a cut-edge. If the two sides of e belong to two different faces in ρ(G), then deleting e from ρ(G) ‘merges’ the two faces without changing the embedding genus; if the two sides of e belong to the same face in ρ(G), then deleting e from ρ(G) ‘splits’ the face into two faces and decreases the embedding genus by 1. 36 Jianer Chen and Yuanqiu Huang 2. Characterizations and complexity It is an interesting problem to characterize the maximum genus of a graph in terms of the combinatorial structures of the graph. This leads to a better and deeper understanding of maximum genus, while a combinatorial characterization may lead to efficient constructions of maximum-genus embeddings. There have been several successful characterizations of maximum genus, and this section gives a summary of them. Let T be a spanning tree of a graph G. The edge complement G − T is called a co-tree; note that the number of edges in any co-tree of G is the cycle rank β(G). A co-tree G − T need not be connected, and a connected component of G − T is even or odd, according to the parity of the number of edges in it. The deficiency ξ(G) of a graph G is the minimum number of odd components in any co-tree of G. Any tree whose co-tree achieves this minimum is called a Xuong tree. The following result is due to Xuong [25]: G γ (G) = 1 (β(G) − ξ(G)) Theorem 2.1 For every graph , max 2 . The proof of Theorem 2.1 is based on the observation that properly adding two adjacent edges e1 and e2 to an embedding ρ(G) of a graph G can always increase the embedding genus: we first add the edge e1 to ρ(G). If this already increases the embedding genus, then we arbitrarily add the edge e2, noting that adding an edge can never decrease the embedding genus. If inserting e1 does not increase the embedding genus, then e1 must be inserted to the corners of the same face in ρ(G). Thus, the two sides of e1 belong to two different faces of the resulting embedding. Since e2 and e1 share a vertex, we can always insert e2 into the embedding so that the two endpoints of e2 are inserted into corners of two different faces, thus increasing the embedding genus. Now consider a Xuong tree T of the graph G. According to the definition, we 1 (β(G) − ξ(G)) G − T can find 2 pairs of adjacent edges in the co-tree . Thus, if we start with an embedding of the tree T , and add properly the pairs of adjacent edges in G−T to the embedding, we can then obtain an embedding of the graph G whose 1 (β(G) − ξ(G)) γ (G) ≥ 1 (β(G) − ξ(G)) genus is at least 2 . This shows that max 2 . On the other hand, starting with a maximum-genus embedding of the graph G, Chen and Kanchi [6] have shown that a spanning tree T of G can be constructed so that G − T has at least γmax(G) pairs of adjacent edges. Therefore, γmax(G) ≤ 1 (β(G) − ξ(G)) 2 . This theorem also indicates some interesting properties of the maximum genus. Combining Euler’s polyhedron formula and Theorem 2.1, we deduce that the number of faces in a maximum-genus embedding of a graph G is ξ(G) + 1. Moreover, since the cycle rank β(G) is the number of edges in a co-tree, it is easy 2 Maximum genus 37 to see that if β(G) is odd, then ξ(G) ≥ 1 and a maximum-genus embedding of G has at least two faces. Nebeský [17] provided a different characterization. For a set A of edges of G, let Co(G − A) and Ce(G − A) be the numbers of components in G − A with odd and even cycle rank, respectively, and let ν(G,A) = Ce(G − A) + 2Co(G − A) −|A|−1. Finally, let ν(G) denote the maximum value of ν(G,A), taken over all subsets A of the edge-set E(G). Theorem 2.2 For every graph G, ν(G) = ξ(G). Combining Theorem 2.1 and Theorem 2.2, we immediately get another γ (G) = 1 (β(G) − ν(G)) characterization of the maximum genus: max 2 . We outline a proof for one direction of Theorem 2.2. Let ρ(G) be a maximum- genus embedding of the graph; then the number of faces in ρ(G) is ξ(G) + 1. Let A be a set of edges, and consider the process of successively removing the edges of A from ρ(G). Since removing an edge from an embedding increases the number of faces by at most 1, the resulting embedding of G−A has at most ξ(G)+|A|+1 faces. But the embedding of G−A is a collection of embeddings of the components of G−A.An embedding of a component with even cycle rank has at least one face, while an embedding of a component with odd cycle rank has at least two. Thus, the total number of faces in the embedding of G−A is at least Ce(G, A)+2Co(G, A), and so ξ(G)+|A|+1 ≥ Ce(G, A)+2Co(G, A), or equivalently, ξ(G) ≥ ν(G,A). Since A is an arbitrary set of edges in G, ξ(G) ≥ ν(G). Nebeský [17] proved that there is an edge-set A in a maximum-genus embedding of the graph G that reverses the above process, thus proving that ξ(G) ≤ ν(G). The maximum genus of a graph can also be characterized in terms of ear decompositions of the graph (see Chen and Kanchi [6]). The computational complexity of finding the maximum genus has an interesting history. A straightforward method is to enumerate all embeddings of a graph and select one with the largest genus. This algorithm is not feasible since the number of embeddings of a graph with n vertices can be as large as ((n − 2)!)n (see [11]). The results of Theorems 2.1 and 2.2 have suggested alternative methods that involve picking a spanning tree or a set of edges. However, the number of spanning trees and the number of edge-sets in a graph with n vertices can still be exponential in n, and no polynomial-time algorithm was found in the immediate years after Theorems 2.1 and 2.2 were published. Eventually, based on the construction of Theorem 2.1, Furst, Gross and McGeoch [8] developed a polynomial-time algorithm that constructs a maximum-genus embedding of a 38 Jianer Chen and Yuanqiu Huang graph by reducing the problem to the linear matroid parity problem, which was known to be solvable in polynomial time (see [9]). For any fixed positive integer k, there is a linear-time algorithm that decides whether a given graph has maximum genus k and, if so, finds an embedding that achieves it (see Chen [2]). Moreover, the isomorphism of two graphs of bounded maximum genus can be tested in linear time [2]. 3. Kuratowski-type theorems Because of Kuratowski’s theorem, a characterization of graph embeddability in terms of a finite set of graphs has been called a ‘Kuratowski-type’ result. This direction of research has led to the recent exciting developments of the Graph Minor Theory (see Chapter 5). In this section, we develop Kuratowski-type theorems for maximum genus, starting with graphs of maximum genus 0. We note first that a 2-edge-connected graph G has maximum genus 0 if and only if G is a cycle. To see why, consider an ear decomposition P1,P2, ···,Pr of G.IfG is not a cycle, then r>1. Now it is easy to construct an embedding of genus 1 for the subgraph P1 ∪ P2. Arbitrarily adding the rest of the ears results in an embedding with genus at least 1 for the graph G. Now let G be a graph of maximum genus 0. If G is not 2-edge-connected, then it contains at least one cut-edge. Removing this cut-edge results in two smaller graphs of maximum genus 0. Based on this observation and using induction on the graph size, we can derive the following theorem: Theorem 3.1 A graph G has maximum genus 0 if and only if no vertex is on two different cycles of G. The class of graphs of maximum genus 0 was first characterized by Nordhaus, Stewart and White [19]. They defined a cactus to be a graph that can be constructed from a tree T using the following operation: pick a subset S of vertices in T and replace each vertex in S by a cycle. They proved that a graph G has maximum genus 0 if and only if G is a cactus. It is not difficult to see that this result is equivalent to Theorem 3.1. Next we consider the class of graphs of maximum genus 1. We first discuss the problem for 2-edge-connected graphs. Gross, Klein and Rieper [10] defined a class of graphs called necklaces. Starting with a cycle C2r+s, we obtain a necklace of type (r, s) by doubling r non-adjacent edges in C2r+s and adding a loop at each of the remaining s vertices; the added edges are called beads of the necklace. Fig. 2 shows the necklaces of types (4, 0) and (1, 3). It is easily seen from Theorem 2.1 that the maximum genus of any necklace is 1. 2 Maximum genus 39 Fig. 2. Necklaces of types (4, 0) and (1, 3) Starting from an ear decomposition of a 2-edge-connected graph and considering all possible attachments of ears, while keeping the maximum genus 1, we can obtain the following result of Chen and Gross [4]: Theorem 3.2 A 2-edge-connected graph G has maximum genus 1 if and only if it is homeomorphic to a necklace or to one of the graphs in Fig. 3. Fig. 3. Finally, we consider general graphs of maximum genus 1. Recall that the maximum genus of a graph is equal to the sum of the maximum genera of its 2-edge-connected components. This fact, combined with the discussion on maximum genus of 2-edge-connected graphs in this section, gives the following result: Theorem 3.3 A graph G has maximum genus 1 if and only if each of its 2-edge- connected components except one is a cycle or a single vertex, and that one is homeomorphic to a necklace or to one of the graphs in Fig. 3. 4. Upper-embeddability We have seen that the maximum genus of a graph G cannot be larger than half the cycle rank β(G). It is interesting to characterize those graphs that attain this bound. G 1 β(G) We say that a graph is upper-embeddable if its maximum genus is 2 . For example, consider the graphs in Theorem 3.2. By Theorem 3.2, the maximum genus of these graphs is 1. On the other hand, it is easy to verify that the cycle rank of these graphs is either 2 or 3, and so all of these graphs are upper-embeddable. Early research on upper-embeddability focused on identifying classes of graphs that are upper-embeddable; for example, all complete graphs and complete 40 Jianer Chen and Yuanqiu Huang bipartite graphs are upper-embeddable. Since the publication of Theorems 2.1 and 2.2, researchers have become more interested in the study of combinatorial structures that make a graph upper-embeddable. In particular, by Theorem 2.1, we γ (G) = 1 (β(G) − ξ(G)) β(G) ξ(G) have max 2 . Since and have the same parity, we obtain the following result: Theorem 4.1 A graph G is upper-embeddable if and only if its deficiency ξ(G) is 0 or 1 — that is, G has a spanning tree T for which the co-tree G − T has at most one odd component. Re-interpreting Theorem 4.1 using the notation in Theorem 2.2, we deduce that a graph G is upper-embeddable if and only if Ce(G − A) + 2Co(G − A) − 2 ≤|A|, for each set A of edges in G. Theorem 4.1 was discovered independently by a number of researchers (see [14], [17], [19] and [26]). It has turned out to be very powerful for identifying upper-embeddable graphs. For example, if a graph has a spanning tree that has a connected co-tree, then the conditions in Theorem 4.1 are trivially satisfied and the graph is upper-embeddable. Since every 4-edge-connected graph contains two edge-disjoint spanning trees (see Kundu [15]), we immediately deduce the following result: Corollary 4.2 Every 4-edge-connected graph is upper-embeddable. This result cannot be extended to 3-edge-connected graphs. Chen, Kanchi and Gross [7] gave a general construction of such graphs that are not upper- embeddable. Consequently, the study of upper-embeddability must focus on graphs with edge-connectivity at most 3. A number of upper-embeddable graph classes have been identified, based on Theorems 2.1 and 2.2, including locally connected graphs [18], cyclically 4-edge- connected graphs [20], k-regular vertex-transitive graphs of girth g with k ≥ 4or g ≥ 4 [23], loop-free graphs of diameter 2 [22], (4k + 2)-regular graphs and 2k- regular bipartite graphs [12]; see the original papers for more detailed definitions and results. Finally, we note that, since the maximum genus of a graph can be determined in polynomial time, upper-embeddability can also be tested in polynomial time. 5. Lower bounds Upper-embeddability of a graph gives a lower bound on the maximum genus in terms of the cycle rank of the graph. Therefore, the maximum genus of a 4-edge- G 1 β(G) connected graph is at least (and in fact equals) 2 . More recently there 2 Maximum genus 41 has been much interest in deriving lower bounds for the maximum genus of graphs that are not upper-embeddable. In general, there is no lower bound for the maximum genus in terms of graph size (that is, the number of vertices or the number of edges) or of cycle rank. For example, necklaces can have an arbitrarily large size and cycle rank, but a maximum genus bounded by 1 (Theorem 3.2). Therefore, in order to derive meaningful lower bounds for the graph maximum genus, we must exclude necklaces. Observe that a necklace contains many disjoint loops and multiple edges. It can be shown (see [5]) that this is essentially the only way to construct graphs of low maximum genus but large cycle rank. Moreover, if vertices of degree 1 and 2 are allowed, then we can easily eliminate the necklace structures without changing the cycle rank, by subdividing edges in the graph by vertices of degree 2 or by introducing new edges with one endpoint of degree 1 and the other endpoint subdividing an edge in the graph. This leads us to the study of lower bounds on the maximum genus for simple graphs with a minimum degree of at least 3. The following result is due to Chen, Kanchi and Gross [7]: Theorem 5.1 If G is a simple graph with minimum degree at least 3, then γ (G) ≥1 β(G) max 4 . Theorem 5.1 was proved, using Theorem 2.1, by carefully counting and comparing the numbers of odd and even components in the co-tree of a Xuong tree. We note that it is sufficient to prove the theorem for 3-regular simple graphs.A vertex-splitting operation then easily generalizes the theorem to all simple graphs with minimum degree at least 3 (see [7]). The bound in Theorem 5.1 is sharp, in the sense that there are simple graphs G 1 β(G) with minimum degree 3 whose maximum genus is arbitrarily close to 4 ; Fig. 4 illustrates a general construction of such a graph. In general, such a graph is constructed by connecting each bead in a type (d, 0) necklace to a separate copy of K4 by a cut-edge. It is not difficult to verify that the ratio of the maximum genus to the cycle rank of this graph is (d + 1)/(4d + 1), which can be arbitrarily 1 close to 4 . 1 β(G) Fig. 4. Simple graphs with maximum genus close to 4 42 Jianer Chen and Yuanqiu Huang Observe that the graphs constructed in Fig. 4 contain many cut-edges. One can ask whether the lower bound in Theorem 5.1 can be further improved if a graph is 2-edge-connected. This is indeed the case, as shown by the following theorem. Theorem 5.2 If G is a 2-edge-connected simple graph with minimum degree at γ (G) ≥1 β(G) least 3, then max 3 . This theorem was first proved by Kanchi and Chen usingTheorem 2.1.Archdeacon, Nedela and Skoviera˘ gave a simpler proof based on Theorem 2.2. The results have been combined and reported in [1]. Comparing Theorems 5.1 and 5.2, we may ask whether the lower bound can be further improved for 3-edge-connected graphs. That it cannot was shown by Chen, Archdeacon and Gross [3], who exhibited an infinite class of 3-edge-connected G 1 β(G) simple graphs with maximum genus 3 . On the other hand, 3-edge-connectivity automatically excludes vertices of degree less than 3 and the necklace structure. Thus, we might ask whether, without the constraint of being a simple graph, there is a non-trivial lower bound on the maximum genus for 3-edge-connected graphs. This conjecture was confirmed independently, around the same time, by at least four research groups, and their results are reported in [1]. G γ (G) ≥1 β(G) Theorem 5.3 If is 3-edge-connected, then max 3 . The same construction in [3] shows that the bounds in Theorems 5.2 and 5.3 are sharp. Since k-vertex-connectivity implies k-edge-connectivity, the results described in this section for k-edge-connected graphs can be translated immediately to k- vertex-connected graphs [3]. We summarize the results in Table 1, where we have also included the results of Corollary 4.2. Here, ‘infinitely tight’ means that there are infinitely many graphs in the corresponding class that achieve the bound. In particular, this column indicates that for each of the graph classes, there are infinitely large graphs in the class that achieve the corresponding bound. Table 1. kγmax(G) infinitely tight? remark ≥1 β(G) 1 4 yes true only for simple graphs ≥1 β(G) 2 3 yes true only for simple graphs ≥1 β(G) 3 3 yes true for general graphs ≥ =1 β(G) 4 2 yes true for general graphs 2 Maximum genus 43 Finally, we note that recent research has studied lower bounds on the maximum genus in terms of other parameters, including connectivity, independence number, girth and chromatic number (see [13] and [16]). References 1. D.Archdeacon, J. Chen,Y.Huang, S. P.Kanchi, D. Li,Y.Liu, R. Nedela and M. Skoviera,˘ Maximum genus, connectivity, and Nebeský’s theorem, Discrete Math., to appear. 2. J. Chen, A linear time algorithm for isomorphism of graphs of bounded average genus, SIAM J. Discrete Math. 7 (1994), 614–631. 3. J. Chen, D. Archdeacon and J. L. Gross, Maximum genus and connectivity, Discrete Math. 149 (1996), 19–29. 4. J. Chen and J. L. Gross, Kuratowski-type theorems for average genus, J. Combin. Theory (B) 57 (1993), 100–121. 5. J. Chen and J. L. Gross, No lower limit points for average genus, Graph Theory, Combinatorics, and Applications (eds. Y. Alavi and A. Schwenk), Wiley Interscience (1995), 183–194. 6. J. Chen and S. P. Kanchi, Graph ear decompositions and graph embeddings, SIAM J. Discrete Math. 12 (1999), 229–242. 7. J. Chen, S. P. Kanchi and J. L. Gross, A tight lower bound on the maximum genus of a simplicial graph, Discrete Math. 156 (1996), 83–102. 8. M. Furst, J. L. Gross and L. A. McGeoch, Finding a maximum-genus graph imbedding, J. Assoc. Comput. Mach. 35 (1988), 523–534. 9. H. N. Gabow and M. Stallmann, Efficient algorithms for graphic matroid intersection and parity, Lecture Notes in Computer Science 194 (1985), 210–220. 10. J. L. Gross, E. W. Klein and R. G. Rieper, On the average genus of a graph, Graphs and Combinatorics 9 (1993), 153–162. 11. J. L. Gross and T. W. Tucker, Topological Graph Theory, Wiley, 1987 and Dover, 2001. 12. Y. Huang and Y. Liu, The classes of upper embeddable graphs with the same value of degree of vertex under modulo, Acta Math. Sci. 20 (2000), 251–255. 13. Y.Huang and Y.Liu, Maximum genus, independence number and girth, Chinese Annals of Math. 21 (2000), 77–82. 14. M. Jungerman,Acharacterization of upper-embeddable graphs, Trans.Amer. Math. Soc. 241 (1978), 401–406. 15. S. Kundu, Bounds on the number of disjoint spanning trees, J. Combin. Theory (B) 17 (1974), 199–203. 16. D. Li and Y. Liu, Maximum genus, girth and connectivity, European J. Combin. 21 (2000), 651–657. 17. L. Nebeský, A new characterization of the maximum genus of a graph, Czech. Math. J. 31 (1981), 604–613. 18. L. Nebeský, Every connected, locally connected graph is upper embeddable, J. Graph Theory 5 (1981), 205–207. 19. E. Nordhaus, B. Stewart and A. White, On the maximum genus of a graph, J. Combin. Theory (B) 11 (1971), 258–267. 20. C. Payan and N. H. Xuong, Upper embeddability and connectivity of graphs, Discrete Math. 27 (1979), 71–80. 44 Jianer Chen and Yuanqiu Huang 21. R. Ringeisen, Survey of results on the maximum genus of a graph, J. Graph Theory 3 (1979), 1–13. 22. M. Skoviera,˘ The maximum genus of graphs of diameter two, Discrete Math. 87 (1991), 175–180. 23. M. Skoviera˘ and R. Nedela, The maximum genus of vertex-transitive graphs, Discrete Math. 78 (1989), 179–186. 24. H. Whitney, Non-separable and planar graphs, Trans. Amer. Math. Soc. 34 (1932), 339–362. 25. N. H. Xuong, How to determine the maximum genus of a graph, J. Combin. Theory (B) 26 (1979), 217–225. 26. N. H. Xuong, Upper-embeddable graphs and related topics, J. Combin. Theory (B) 26 (1979), 226–232. 3 Distribution of embeddings JONATHAN L. GROSS 1. Introduction 2. Enumerating embeddings by surface type 3. Total embedding distributions 4. Congruence classes 5. The unimodality problem 6. Average genus 7. Stratification of embeddings References The principal genus distribution problem is to count the number of cellular embeddings of a given graph. Complete distributions have been obtained for a few basic families of graphs. Various properties of genus distributions and of related invariants are examined, especially the properties of the average genus. 1. Introduction A ubiquitous question in topological graph theory is whether a given graph can be embedded in a given surface, a question that readily extends to the problem of counting the number of different embeddings of that graph into that surface. (A contrasting classical problem with its origins in geometry asks, for a fixed surface, how many different maps there are onto that surface, where what varies is the graph that serves as the 1-skeleton.) This chapter explores the programme introduced by Gross and Furst [11] of constructing surface-by-surface inventories of the embeddings of a fixed graph into not just one surface, but every surface, and gives the related theory. All embeddings are taken to be cellular, except where it is clear from context that non-cellular embeddings are under consideration.Two cellular embeddings are 45 46 Jonathan L. Gross considered to be the same if their rotation systems are combinatorially equivalent (see Chapter 1). Given a graph G and an orientable surface Sh, the number of embeddings of G in Sh is the number gh(G) of rotation systems for G that induce a cellular embedding in Sh. The orientable genus range of a graph G is the set of integers h for which gh(G) > 0. The minimum genus and maximum genus are the numbers γmin(G) = min{h: gh(G) > 0} and γmax(G) = max{h: gh(G) > 0}. The following result is a variation on an elementary theorem that first appeared in [8] and is often called an ‘intermediate value theorem for genus’. The proof proceeds by showing that we can change any rotation system of a graph into any other by effecting a sequence of transpositions of edge-ends, each of which changes the genus of the induced surface by at most 1. In particular, there is such a sequence that goes from a minimum-genus embedding to a maximum-genus embedding. Theorem 1.1 The orientable genus range of a graph G is the consecutive set of integers {h: γmin(G) ≤ h ≤ γmax(G)}. The genus distribution of a graph G is the integer-valued function h → gh(G), and the genus distribution polynomial of G is h IG(x) = gh(G) x . h≥0 These concepts were introduced by Gross and Furst [11]. Theorem 1.2 For any graph G, gh(G) = (deg(v) − 1)!. h≥0 v∈V (G) Proof The sum on the left and the product on the right both count each embedding of G exactly once. For relatively small graphs, the orientable genus distribution can be calculated by elementary ad hoc methods. For example, in Fig. 1, the graph K2 2 C3 has six vertices, each of degree 3, and so the total number of orientable embeddings is 64 = 26. A bar-amalgamation of two disjoint graphs G and H is obtained from G ∪ H by joining a vertex of G and a vertex of H with an edge, referred to as the bar,as illustrated in Fig. 2. The following theorem of Gross and Furst [11] is useful in simplifying genus distribution calculations. 3 Distribution of embeddings 47 Genus of surface 01 2 K2 C3 Number of embeddings 2 38 24 Fig. 1. A graph and its orientable genus distribution Fig. 2. A bar-amalgamation of K4 and K5 − e Theorem 1.3 The genus distribution of a bar-amalgamation of two graphs is the convolution of their respective genus distributions, multiplied by the product of the degrees of the two vertices of the bar (not counting the bar). The outcome is very much more complicated when two graphs are directly amalgamated at a vertex, without the bar. Of course, two graphs can be amal- gamated along an edge in each graph or along any pair of isomorphic subgraphs. The number of embeddings g˜k(G) of a graph G in the non-orientable surface Nk is the number of general rotation systems for G that induce an embedding in Nk. Analogous to the genus range for the orientable case, the crosscap range of G is the set of integers {k :˜gk(G) > 0}. The numbers γ˜min(G) = min{k :˜gk(G) > 0} and γ˜max(G) = max{k :˜gk(G) > 0} are called the minimum crosscap number and maximum crosscap number. The crosscap distribution (or non-orientable genus distribution) of a graph G is the integer-valued function k →˜gk(G), and the crosscap distribution polynomial is k I˜G(y) = g˜k(G) y . k≥1 The following two basic theorems for the embeddings of a graph in non-orientable surfaces are analogous to the results for orientable surfaces. 48 Jonathan L. Gross Theorem 1.4 The crosscap range of a graph G is the set {k :˜gmin(G) ≤ k ≤˜gmax(G)}. Proof Twisting an edge in a general rotation system changes the Euler characteristic of the resulting induced surface by at most 1. Transposing two edge- ends changes the Euler characteristic of the resulting induced surface by at most 2. It is possible to change any general rotation system into any other by effecting a sequence of operations, each either an edge-twist or a transposition of edge-ends. In particular, the intermediate crosscap number values between the minimum and maximum are all realizable. The details are slightly more intricate than for Theorem 1.3. Theorem 1.5 Let G be a graph and let β(G) be its cycle rank. Then β(G) gh(G) + g˜k(G) = 2 (deg(v) − 1)!. h≥0 k≥1 v∈V (G) Proof The sum on the left and the product on the right both count every embedding of the graph G exactly once. The factor of 2β(G) on the right accounts for the number of possible ways to orient the edges that are not in a specified spanning tree of G. 2. Enumerating embeddings by surface type Even at the outset of the programme to provide explicit calculations of embedding distributions, it was clear that a variety of techniques would be needed. In this section, we consider three infinite families: closed-end ladders, cobblestone paths and bouquets. Closed-end ladders The closed-end ladder Ln is the graph obtained from the Cartesian product Pn 2 K2 by doubling the edges at the ends of the path, as illustrated in Fig. 3. Such ladder-like graphs played a crucial role in the solution of the Heawood map-colouring problem (see Ringel [27]). Fig. 3. The 3-rung closed-end ladder L3 3 Distribution of embeddings 49 A topological lemma based on a face-tracing argument was used by Furst, Gross and Statman [10] to partition the possible rotation systems of the ladder Ln according to the induced surface genus. This permitted the number gh(Ln) to be represented as a sum whose terms are products of binomial coefficients. A succession of combinatorial identities led to the following closed formula: n− +h n + 1 − h 2n + 2 − 3h 2 1 for h ≤ 1 (n + 1) , g (L ) = h n + 1 − h 2 h n 0 otherwise. Table 1 shows the genus distribution for some small ladders. Table 1. The genus distribution of small ladders gh(Ln)g0 g1 g2 g3 g4 total L1 220004 L2 41200016 L3 8401600 64 L4 16 112 128 0 0 256 L5 32 288 576 128 0 1024 Subsequently, McGeoch [23] calculated the genus distributions of the related families of graphs known as circular ladders and Möbius ladders. Also, Tesar [31] calculated the genus distribution of the family known as Ringel ladders. Cobblestone paths The cobblestone path Jn is the graph obtained by doubling each edge of the n-vertex path Pn and then adding a loop at each end, as illustrated in Fig. 4. Fig. 4. The cobblestone path J3 The genus distribution of cobblestone paths was calculated recursively by Furst, Gross and Statman [10], starting from J0. They derived a pair of simultaneous recursions by using topological considerations, in which the right-most loop is subdivided, and a new loop is joined to the new vertex. They simplified the simultaneous recursion to a single recursion and solved it with the aid of generating 50 Jonathan L. Gross functions into the following closed form, for h ≥ 0 and n ≥ 1: n − h n − h h n−1 h−1 n−1 gh(Jn) = 3 · 4 + 2 · 3 · 4 . h h − 1 Table 2 shows the genus distribution for some of the smaller cobblestone paths. Table 2. The genus distribution of some cobblestone paths gh(Jn)g0 g1 g2 g3 total J1 4200 6 J2 16 20 0 0 36 J3 64 128 24 0 216 J4 256 704 336 0 1296 These early computations of embedding distributions for ladders and cobblestone paths were later elaborated upon by Stahl [29], who introduced the idea of ‘linear families’. In [30] he also studied embedding distributions for some graphs of small diameter. Bouquets The bouquet B is the graph with one vertex and loops, as illustrated in Fig. 5. One of the properties of bouquets important to topological graph theory is that every regular graph can be derived by assigning voltages (possibly permutation voltages) to some bouquet (see Gross and Tucker [15], [17]). B1 B2 B3 Fig. 5. Some small bouquets Permutation-group algebra is a key to calculating the distribution of embeddings of bouquets. Gross, Robbins and Tucker [14] established the equation n−1 gh(Bn) = (n − 1)!·2 · en−2h+1(n). The quantity ek() is the cardinality of the set of permutations π ∈ 2, corresponding to an arbitrary fixed cycle ζ of length 2 for which there is a full involution β such that π = ζ ◦ β, and such that π has k cycles. The value of ek() 3 Distribution of embeddings 51 is given by a formula of Jackson [19]. The closed formula above for gh(B) leads to the following recursion: initial conditions: g0(B0) = 1,g0(B1) = 1 and gh(B0) = gh(B1) = 0 for h ≥ 1; g0(B2) = 4,g1(B2) = 2 and gh(B2) = 0, for h ≥ 2. recursion for h>2: 2 ( + 1)gh(B) = 4(2 − 1)(2 − 3)( − 1) ( − 2)gh−1(B−2) + 4(2 − 1)( − 1)gh(B−1). This recursion enables us to calculate the numerical values for the genus distribution of bouquets in Table 3. Table 3. The genus distribution of some bouquets gh(Jn)g0 g1 g2 total B0 1001 B1 1001! B2 4203! B3 40 80 0 5! B4 672 3360 1008 7! B5 16128 161280 185472 9! Rieper [26] extended the group-character approach of [14] in his analysis of the genus distribution of dipoles. (The dipole D is the graph with two vertices joined by edges.) 3. Total embedding distributions When non-orientable embeddings of a graph G are also included, the total number of embeddings increases by a factor of 2β(G)−1 since, for any given rotation system and fixed spanning tree T , each of the β(G) edges not in T may be twisted or untwisted. The total embedding distribution of a graph G is the bivariate polynomial h k I¨G(x, y) = IG(x) + I˜G(y) = gh(G)x + g˜k(G)y . h≥0 k≥1 The calculation of total embedding distributions appears to be quite difficult, in part because the possible twisting of edges complicates the recurrences that one might derive. In order to calculate the genus or crosscap number for a given general 52 Jonathan L. Gross rotation system ρ without doing face-tracing, we can choose a spanning tree T , and then calculate the entries of the overlap matrix Mρ,T = (mi,j ), in which i = j (ρ) , 1if and pure T +ei +ej is non-planar m = − i = j i , i,j 1if and edge is twisted 0 otherwise. Here, the notation pure(ρ)|T +ei +ej means the restriction of the underlying pure part of the rotation system ρ to the subgraph T + ei + ej . Mohar [22] derived the following general property of the overlap matrix. Theorem 3.1 Let G be a graph, let T be a spanning tree of G, and let ρ be a general rotation system of G. Then 2h if the induced surface S(ρ) is Sh, rank(Mρ,T ) = k if the induced surface S(ρ) is Nk. For example, in Fig. 6, the edges of the spanning tree are labelled 4, 5 and 6. Thus, the rows and columns correspond to the co-tree edges 1, 2 and 3. The cross on the bottom edge indicates that it is twisted. Since the rank of the overlap matrix is 3 and the embedding is non-orientable, the surface for that embedding must be N3. 001 4 6 010 5 100 overlap 1 3 matrix x 2 Fig. 6. A graph and its overlap matrix At first, the concept of an overlap matrix seemed to be purely of theoretical interest. Indeed, whereas calculating the surface type by face-tracing requires O(m) time for a graph with m edges, calculating the rank of an overlap matrix deteriorates to O(m2) time. However, Chen, Gross and Rieper [6] discovered that regrouping the total set of embeddings according to the rank of the overlap matrix sometimes facilitates the calculation of the total embedding distribution. For example, consider a tree T in the ladder graph for which the co-tree is a path, as in Fig. 7, and in the cobblestone path graph for which a co-tree is almost a path, as in Fig. 8. These yield a ‘tridiagonal’ overlap matrix, which is convenient 3 Distribution of embeddings 53 1 7 234 5 6 Fig. 7. The ladder L6 with a spanning tree, and the form of the corresponding tridiagonal overlap matrix Fig. 8. The cobblestone path J5 with a spanning tree for calculating the rank because there are zeros everywhere except possibly on a narrow band near the diagonal. Each (x) in the matrix of Fig. 7 indicates an entry that may be either 1 or 0. The following total embedding distribution polynomial for closed-end ladders was obtained in [6]: r ih ih+1 n n+1−r 2 2 2 2 y rd + rd y − IL (y ) + IL (x), 3 3 n n h=1 where rd(x) means the nearest integer to x, and the sum is taken over all r-tuples of positive integers i1,i2, ..., ir with sum equal to n + 1. This total embedding distribution polynomial was obtained for cobblestone paths: r ih ih+1 n+r−1 n+1−r 2 2 2 2 y rd + rd y − IJ (y ) + IJ (x). 3 3 n n h=1 4. Congruence classes A second enumerative aspect of graph embeddings regards two embeddings as equivalent if they ‘look alike’ when vertex and edge labels are removed. Two embeddings ι1: G → S and ι2: G → S are congruent, denoted by ι1 ι2, if there exist a graph automorphism α: G → G and a surface homeomorphism η: S → S for which the diagram in Fig. 9 is commutative. 54 Jonathan L. Gross ι1 G S α η G S ι 2 Fig. 9. The commutativity condition for an embedding congruence For example, Fig. 10 shows how the sixteen different orientable embeddings of the complete graph K4 are partitioned into congruence classes. two like this in S0 six like this in S1 eight like this in S2 Fig. 10. Partitioning the embeddings of K4 into congruence classes Burnside’s lemma is used to count congruence classes. Each automorphism of a graph G induces a permutation on the rotation systems of G that preserves the congruence class, but does not necessarily preserve the equivalence class, as illustrated in Fig. 11. 1 1.234 4 2.134 2 3. 1 2 4 3 4. 1 2 3 (1 2 3)(4) (1 3)(2 4) changes fixes 2. 3 1 4 3 3 3.412 3.214 4 2 4.312 1.234 1.342 1 4 4. 2 3 1 2.341 2 1 Fig. 11. The induced action of two permutations on a rotation system Fig. 11 indicates the induced action on a given rotation system of the permuations (123)(4) and (13)(24). Although rows 1 and 4 of the resulting 3 Distribution of embeddings 55 rotation system for (123)(4) (lower left) are the same rotations as in the given rotation system (top), the rows 2 and 3 are the reverse rotations. By way of contrast, rows 1, 2, 3 and 4 of the resulting rotation system for the permutation (13)(24) (lower right) are the same as the corresponding rows of the given permutation. The key to counting congruence classes has been to convert the cycle index of Aut(G) acting on VG into the cycle index for the induced action on the rotation systems. Mull, Rieper and White [24] showed how to count congruence classes of embeddings of complete graphs into oriented surfaces. A subsequent generalization by Kwak and Lee [21] can also be used to count congruence classes of non-orientable embeddings. One of their underlying ideas is to regard an edge-twist as having voltage 1 (mod 2) and to construct the orientable double cover. Then the graph automorphisms act on the induced rotation systems. 5. The unimodality problem A sequence {am} is unimodal if there exists an integer M such that am−1 ≤ am for all m ≤ M and am ≥ am+1 for all m ≥ M. A typical unimodal sequence first rises and then falls. A sequence {am} is strongly unimodal if its convolution with every unimodal sequence yields a unimodal sequence. An equivalent criterion for unimodality (see [20]) is that 2 am ≥ am+1am−1, for all m. It is easily proved that every strongly unimodal sequence is unimodal, which affirms the appropriateness of the name ‘strongly unimodal’. All known genus distributions are strongly unimodal. The pioneering calculations are summarized in the next theorem, for which the first two families were studied by Furst, Gross and Statman [10] and the third by Gross, Robbins and Tucker [14]. Theorem 5.1 The genus distributions of closed-end ladder graphs, cobblestone paths and bouquets are strongly unimodal. We observe that an embedding of the bouquet B has + 1 faces in the sphere S0, − 1 faces in the torus S1, − 3 faces in the double-torus S2, and so on. This suggests that the genus distribution of the bouquet Bn might resemble this sequence of Stirling cycle numbers n n n 2 , 2 , 2 , ··· , n + 1 n − 1 n − 3 n where k denotes the number of ways to partition n distinct objects into k cycles. 56 Jonathan L. Gross Using group character theory, Stahl [28] proved that the genus distribution of bouquets is asymptotically proportional to this sequence. He also proved [30] that the resemblance to Stirling numbers also holds for various graphs of small diameter, including partial suspensions of trees and of cycles, which serves as further evidence for unimodality. Whether the genus distribution of every graph is strongly unimodal remains an interesting open problem. 6. Average Genus The average value of the genus of the embedding surface for a graph G, taken over all orientable embeddings, is called the average genus and denoted by γavg(G). Obviously, a graph has average genus 0 if and only if it has maximum genus 0. Thus, in consideration of Nordhaus et al. [25], a graph has average genus 0 if and only if no vertex lies on more than one cycle. As a corollary to Theorem 1.3, Gross and Furst [11] proved that the average genus acts additively on bar-amalgamations. (Analogously, both γmin and γmax act additively on bar-amalgamations.) Theorem 6.1 The average genus of a bar-amalgamation of two graphs G and H is γavg(G) + γavg(H ). Suppose that r independent edges of a 2r + s cycle are doubled and that a loop is added at each vertex not on a doubled edge, as illustrated in Fig. 12. Such a graph is called a necklace of type (r, s). Gross, Klein and Rieper [12] calculated the average genus of all such graphs. Fig. 12. A necklace of type (2, 4)