DOCSLIB.ORG

Topics in Topological Graph Theory Edited by Lowell W

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Topics in Topological Graph Theory Edited by Lowell W Cambridge University Press 978-0-521-80230-7 - Topics in Topological Graph Theory Edited by Lowell W. Beineke and Robin J. Wilson Index More information Index absolute Galois group, 222 blocks of a transversal design, 269 accumulation point, 304 blocks of a triple system, 269 action of a group, 24, 226 book embedding, 327 adjacent edges, 2 boundary walk, 20 adjacent vertices, 2 bounded automorphism, 294 affine plane, 253 bouquet, 5, 50 algorithms, 30, 73, 330 bow-tie operation, 72 almost-4-connected graph, 306 branch decomposition, 84 almost homocyclic group, 216 branch set, 191 almost planar graph, 144 branched covering, 26, 191 almost-transitive graph, 293 bridge, 9, 89 angle transformation, 169 Brooks’s theorem, 9 apex graph, 76, 331 Burnside’s lemma, 184 arc, 10, 200 arc-transitive graph, 2 atom, 297 cactus, 38 attach an ear, 58 cage, 252 attach serially, 58 Cartesian product, 6 automorphism, 2, 22 Cayley graph, 28, 225 automorphism group, 2 Cayley map, 29, 210, 227 automorphism of a map, 201, 305 C-disc embedding, 68 average crossing number, 143 cellular embedding, 14, 20 average genus, 56 chiral map, 206 choosable graph, 126 chromatic index, 9 balanced automorphism, 213 chromatic number of a graph, 9 balanced Cayley map, 211 chromatic number of a map, 22 balanced representation, 155 chromatic number of a surface, 16, 22 bar, 46 circle packing representation, 66 bar-amalgamation, 46 circuit, 3 barycentric representation, 158 circular embedding, 20 barycentric subdivision, 169 circular embedding conjecture, 20, 320 base graph, 27, 182 closed surface, 19 bead of a necklace, 38 closed walk, 3 biembeddable pair, 271 closed-end ladder, 48 biembedding, 271 cobblestone path, 5, 49 Bilinski diagram, 307 co-degree of a face, 304 bipartite graph, 3 colony, 326 bisection width, 138 colouring a graph, 9, 111 blockage, 77 combinatorial configuration, 174 blocking curves, 77 combinatorial current graph, 26 341 © Cambridge University Press www.cambridge.org Cambridge University Press 978-0-521-80230-7 - Topics in Topological Graph Theory Edited by Lowell W. Beineke and Robin J. Wilson Index More information 342 Index complement, 2 Desarguian plane, 250 complete bipartite graph, 5 d-fibre, 292 complete circuit, 282 diagonal curve, 122 complete graph, 4 diameter, 3 complete k-partite graph, 5 digraph, 10 component, 3 dilation coefficient, 154 concentric Bilinski diagram, 207 dipole, 5, 51 configuration embedding, 256 directed edge, 10 congestion of an edge, 138 directed graph, 10 congruent embeddings, 53 direction, 19 connected component, 3 disc, 175 connected covering, 185 disc embedding, 68 connected graph, 3 disc representation, 329 connectivity, 9 disconnected graph, 3 connectivity of an infinite graph, 296 disjoint crossing paths, 68 contractible, 8 displayed sets, 85 contraction of an edge, 8 distance, 3, 118 convex representation, 165 distribution of inverses, 211 core-free permutation group, 202 dominated end, 291 co-tree, 36 double ray, 290 covering, 26, 182 drawing of a graph, 135, 314 covering digraph, 27 duad, 262 covering graph, 27, 182 dual edge, 21 covering isomorphism, 182 dual embedding, 21 covering projection, 26, 181 dual map, 201 covering transformation, 182 dual vertex, 21 covering transformation group, 182 dual-width of an embedding, 146 cover, 327 Coxeter graph, 207 E-adjacent embeddings, 59 Cremona–Richmond geometry, 262 ear decomposition, 35 critical graph, 114 Earth–Moon colouring, 326 crosscap, 12 edge, 1 crosscap distribution polynomial, 47 edge fibre, 28 crosscap number, 16, 20, 47 edge-accumulation point, 303 crosscap range, 20, 47 edge-connectivity, 9 crossing number, 11, 23, 133, 136, 314 edge-homogeneous map, 308 crossing-critical graph, 139 edge-set, 1 crossing-free curves, 77 edge-symbol, 308 cubic graph, 2 edge-transitive graph, 2 current graph, 26, 281 edge-width, 324 cut-edge, 9 eigenpolytope, 177 cut-vertex, 8 eigenvector method, 156 cycle, 3 element of a geometry, 174 cycle double cover conjecture, 20, 320 elementary Abelian p-group, 216 cycle graph, 4 embeddable, 14 cycle rank, 34 embedding, 10, 14, 20, 153 cycle type, 309 embedding extension problem, 74 embedding a grid, 107 embedding in the plane, 10 dart group, 24, 200 embedding of a triple system, 270 decomposition of a graph, 84 embedding theory, 22 deficiency of a graph, 36 end vertex, 2 degree of a vertex, 2, 19 endpoint of a curve, 175 deletion of a vertex, 7 endpoint of an edge, 19 deletion of an edge, 8 end of an ear, 58 depth of trap, 59 energy function, 155 d-equivalence, 292 enumeration, 29 Desargues geometry, 258 equivalence, 292 © Cambridge University Press www.cambridge.org Cambridge University Press 978-0-521-80230-7 - Topics in Topological Graph Theory Edited by Lowell W. Beineke and Robin J. Wilson Index More information Index 343 equivalent representations, 154 geometrical crossing number, 316 equivalent rotation systems, 24 geometrical graph, 328 Euler characteristic, 14, 21 geometrical thickness, 326 Euler genus, 64, 107, 226 girth of a graph, 3 Euler genus problem, 75 good drawing, 171, 314 Euler’s formula, 11, 14, 21 graph, 1, 19 Eulerian graph, 3 graph drawing, 63, 151 Eulerian trail, 3 graph minor, 31 even component, 36 Graph Minors Project, 81 evenly embedded graph, 115 graph nodal domain theorem, 157 excluded minor, 69 graph on a surface, 14 exponential growth, 300 graph representation, 153 extended edge-symbol, 310 grid, 82 Grötzsch’s theorem, 124 group of a transversal design, 269 face, 11, 14, 20, 164 growth degree, 300 face boundary walk, 20 Grünbaum colouring, 323 face-transitive map, 305 face-width, 117, 324 factorization, 213 Hajós join, 114 faithful action, 24 Halin graph, 322 Fano plane, 174, 245 Hamiltonian graph, 3 Fáry’s theorem, 152 handle, 12 fibre, 28, 292, 328 Heawood map colour problem, 23, finite projective plane, 247, 250 63, 112 finite-connectivity, 295 Heawood number, 23 flag, 25, 163, 174, 203, 264 Heffter’s first difference problem, 282 flag graph, 165 hereditary, 318 flag-simple, 164 high-end colouring, 113 flat type, 24 homeomorphic graphs, 8 flow, 323 homeomorphically irreducible tree, 322 F -map, 205 homogeneous representation, 176 fold number, 328 Hurwitz system, 191 forbidden family, 17 Hurwitz’s theorem, 232 forbidden subgraph, 69 force-directed placement, 160 forest, 4 four-colour theorem, 22, 322 immersion of a graph, 138 fragment, 297 incidence geometry, 174 framework, 177 incidence relation, 174 fullerene, 156 incidence structure, 174 fundamental polygon, 172 incident vertex and edge, 2 independence ratio, 117 independent diagonal curve, 122 general rotation system, 24 independent odd crossing number, 136 generalized Laplacian, 156 induced subgraph, 7 generalized Petersen graph, 143 infinite-connectivity, 296 generalized pseudosurface, 248 inserting an edge, 35 generalized quadrangle, 262 integer-length edge, 328 generic iterative graph representation algorithm, intermediate growth, 300 162 intersecting line segments, 329 genus, 15, 20 irredundant generating set, 236 genus distribution polynomial, 46 isolated vertex, 2 genus of a geometry, 249 isomorphic branched coverings, 191 genus of a group, 28, 225 isomorphic coverings, 182 genus problem, 75 isomorphic graphs, 2, 22 geodesic, 332 isomorphism of embeddings, 22 geodetic edge, 306 isomorphism of graphs, 2, 22 © Cambridge University Press www.cambridge.org Cambridge University Press 978-0-521-80230-7 - Topics in Topological Graph Theory Edited by Lowell W. Beineke and Robin J. Wilson Index More information 344 Index join, 2 locally planar embedding, 113 join of graphs, 6 loop, 1 JW group, 241 low-end colouring, 116 k-choosable graph, 126 map, 163 k-chromatic graph, 9 map automorphism, 201, 305 k-colourable graph, 9 map colour problem, 317 k-colour-critical graph, 114 map colour theorem, 16 k-connected graph, 9, 100 map on a surface, 22 k-crossing-critical graph, 139 map theory, 22 k-degenerate graph, 126 Maschke’s characterization, 235 k-dimensional tree, 4 maximum crosscap number, 20, 47 k-edge-colourable graph, 9 maximum genus, 20, 34, 46 k-edge-connected graph, 9 medial map, 167, 221 k-flow, 323 Mendelsohn triple system, 260, 270 K-graph, 71 Menger graph, 248 k-grid, 82 Menger’s theorem, 9 meridian, 122 Kirchhoff’s current law, 281 M Kirkman triple system, 260 -flag simple map, 164 k-list-colourable graph, 126 minimal forbidden minor, 69 k-regular graph, 2 minimal forbidden subgraph, 69 k-separation, 69 minimum crosscap number, 20, 47 k-tree, 4 minimum genus, 20, 46 Klein bottle, 12 minor, 8, 31, 69, 82 minor ordering, 318 Kuratowski’s theorem, 11, 64 minor-closed family, 331 Kuratowski-type theorem, 38 minor-minimal forbidden family, 17 mixed type, 309 Möbius function, 185 ladder, 48 Möbius strip, 12 Laplace method, 156 monodromy group, 24, 25, 200 Laplacian, 156 morphism of maps, 201 large edge-width embedding, 331 multiple edges, 1 lattice, 301 leapfrog transformation, 169 ledge numbers, 216 natural projection, 28 left action of a group, 24 necklace, 5, 38, 56 left regular representation, 182 negative support, 157 length of walk, 3 neighbour, 2 Levi graph, 165, 174, 248 neighbourhood, 2, 181 LEW embedding, 331 neighbourhood graph, 270 LEW weight function, 331 neighbourhood system, 292 lexicographic product, 6 never-increasing sequence, 95 lifting an embedding, 29 non-degenerate representation, 153 line of an incidence structure, 174 non-orientable genus, 16, 226, 317 lineal incidence structure, 174 non-orientable genus distribution, 47 linear crossing number, 316 non-orientable genus problem, 75 linear drawing, 316 non-orientable surface, 12 linear genus, 172 non-separable graph, 8 linear growth, 300 normalized assignment, 183 linear thickness, 326 nowhere-zero flow, 323 linked decomposition, 89 number of embeddings, 46, 47 linked edges, 94 list-colourable graph, 126 local rotation, 315 obstruction, 63, 318 locally bipartite embedded odd component, 36 graph, 115 odd crossing number, 136 locally finite graph, 289 one-way infinite path, 290 © Cambridge University Press www.cambridge.org Cambridge University Press 978-0-521-80230-7 - Topics in Topological Graph Theory Edited by Lowell W.
Load more

Recommended publications
  • Maximizing the Order of a Regular Graph of Given Valency and Second Eigenvalue∗
    SIAM J. DISCRETE MATH. c 2016 Society for Industrial and Applied Mathematics Vol. 30, No. 3, pp. 1509–1525 MAXIMIZING THE ORDER OF A REGULAR GRAPH OF GIVEN VALENCY AND SECOND EIGENVALUE∗ SEBASTIAN M. CIOABA˘ †,JACKH.KOOLEN‡, HIROSHI NOZAKI§, AND JASON R. VERMETTE¶ Abstract. From Alon√ and Boppana, and Serre, we know that for any given integer k ≥ 3 and real number λ<2 k − 1, there are only finitely many k-regular graphs whose second largest eigenvalue is at most λ. In this paper, we investigate the largest number of vertices of such graphs. Key words. second eigenvalue, regular graph, expander AMS subject classifications. 05C50, 05E99, 68R10, 90C05, 90C35 DOI. 10.1137/15M1030935 1. Introduction. For a k-regular graph G on n vertices, we denote by λ1(G)= k>λ2(G) ≥ ··· ≥ λn(G)=λmin(G) the eigenvalues of the adjacency matrix of G. For a general reference on the eigenvalues of graphs, see [8, 17]. The second eigenvalue of a regular graph is a parameter of interest in the study of graph connectivity and expanders (see [1, 8, 23], for example). In this paper, we investigate the maximum order v(k, λ) of a connected k-regular graph whose second largest eigenvalue is at most some given parameter λ. As a consequence of work of Alon and Boppana and of Serre√ [1, 11, 15, 23, 24, 27, 30, 34, 35, 40], we know that v(k, λ) is finite for λ<2 k − 1. The recent result of Marcus, Spielman, and Srivastava [28] showing the existence of infinite families of√ Ramanujan graphs of any degree at least 3 implies that v(k, λ) is infinite for λ ≥ 2 k − 1.
    [Show full text]
  • Excluding a Ladder
    EXCLUDING A LADDER TONY HUYNH, GWENAEL¨ JORET, PIOTR MICEK, MICHALT. SEWERYN, AND PAUL WOLLAN Abstract. A ladder is a 2 × k grid graph. When does a graph class C exclude some ladder as a minor? We show that this is the case if and only if all graphs G in C admit a proper vertex coloring with a bounded number of colors such that for every 2-connected subgraph H of G, there is a color that appears exactly once in H. This type of vertex coloring is a relaxation of the notion of centered coloring, where for every connected subgraph H of G, there must be a color that appears exactly once in H. The minimum number of colors in a centered coloring of G is the treedepth of G, and it is known that classes of graphs with bounded treedepth are exactly those that exclude a fixed path as a subgraph, or equivalently, as a minor. In this sense, the structure of graphs excluding a fixed ladder as a minor resembles the structure of graphs without long paths. Another similarity is as follows: It is an easy observation that every connected graph with two vertex-disjoint paths of length k has a path of length k + 1. We show that every 3-connected graph which contains as a minor a union of sufficiently many vertex-disjoint copies of a 2 × k grid has a 2 × (k + 1) grid minor. Our structural results have applications to poset dimension. We show that posets whose cover graphs exclude a fixed ladder as a minor have bounded dimension.
    [Show full text]
  • Self-Dual Configurations and Regular Graphs
    SELF-DUAL CONFIGURATIONS AND REGULAR GRAPHS H. S. M. COXETER 1. Introduction. A configuration (mci ni) is a set of m points and n lines in a plane, with d of the points on each line and c of the lines through each point; thus cm = dn. Those permutations which pre­ serve incidences form a group, "the group of the configuration." If m — n, and consequently c = d, the group may include not only sym­ metries which permute the points among themselves but also reci­ procities which interchange points and lines in accordance with the principle of duality. The configuration is then "self-dual," and its symbol («<*, n<j) is conveniently abbreviated to na. We shall use the same symbol for the analogous concept of a configuration in three dimensions, consisting of n points lying by d's in n planes, d through each point. With any configuration we can associate a diagram called the Menger graph [13, p. 28],x in which the points are represented by dots or "nodes," two of which are joined by an arc or "branch" when­ ever the corresponding two points are on a line of the configuration. Unfortunately, however, it often happens that two different con­ figurations have the same Menger graph. The present address is concerned with another kind of diagram, which represents the con­ figuration uniquely. In this Levi graph [32, p. 5], we represent the points and lines (or planes) of the configuration by dots of two colors, say "red nodes" and "blue nodes," with the rule that two nodes differently colored are joined whenever the corresponding elements of the configuration are incident.
    [Show full text]
  • Minor-Minimal Non-Projective Planar Graphs with an Internal 3-Separation
    MINOR-MINIMAL NON-PROJECTIVE PLANAR GRAPHS WITH AN INTERNAL 3-SEPARATION A Thesis Presented to The Academic Faculty by Arash Asadi Shahmirzadi In Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy in Algorithms, Combinatorics, and Optimization School of Mathematics Georgia Institute of Technology December, 2012 MINOR-MINIMAL NON-PROJECTIVE PLANAR GRAPHS WITH AN INTERNAL 3-SEPARATION Approved by: Dr. Robin Thomas, Advisor Dr. William T. Trotter School of Mathematics School of Mathematics Georgia Institute of Technology Georgia Institute of Technology Dr. William Cook Dr. Xingxing Yu School of Industrial and Systems School of Mathematics Engineering Georgia Institute of Technology Georgia Institute of Technology Dr. Prasad Tetali Date Approved: December, 2012 School of Mathematics Georgia Institute of Technology To my parents, for educating me in what truly matters. iii TABLE OF CONTENTS DEDICATION .................................. iii LIST OF FIGURES .............................. v SUMMARY .................................... vi I INTRODUCTION ............................. 1 1.1 GraphTheoreticPreliminaries . 1 1.2 GraphsonSurfaces ........................... 4 1.3 Embedding and Excluding Subgraphs and Minors . 5 1.4 Non-Planar Extensions of Planar Graphs . 9 1.5 Application of the list of minor minimal non-projective planar graphs 10 1.6 Previous approaches for finding the list of minor minimal non-projective planargraphs .............................. 13 1.7 Minor Minimal Non-Projective Planar Graphs . .. 15 1.8 MainResults .............................. 16 1.9 OutlineoftheProof .......................... 19 II NON-c-PLANAR EXTENSIONS OF A c-DISK SYSTEM .... 23 2.1 Definitions and Preliminaries . 23 2.2 Usefullemmas.............................. 31 III SOME APPLICATIONS OF THE THEORY TO ROOTED GRAPHS ......................................... 48 IV OBSTRUCTIONS FOR c-, ac-, abc-PLANARITY ......... 66 4.1 Obstructions for c-planarity .....................
    [Show full text]
  • Planar Emulators Conjecture Is Nearly True for Cubic Graphs
    Planar Emulators Conjecture Is Nearly True for Cubic Graphs Martin Derkaa, Petr Hlinˇen´yb,1 aDavid R. Cheriton School of Computer Science, University of Waterloo, 200 University Avenue West, Waterloo, ON, N2L 3G1, Canada bFaculty of Informatics, Masaryk University, Botanick´a68a, 602 00 Brno, Czech Republic Abstract We prove that a cubic nonprojective graph cannot have a finite planar emu- lator, unless it belongs to one of two very special cases (in which the answer is open). This shows that Fellows' planar emulator conjecture, disproved for general graphs by Rieck and Yamashita in 2008, is nearly true on cubic graphs, and might very well be true there definitely. Keywords: planar emulator; projective planar graph; graph minor 1. Introduction A graph G has a finite planar emulator H if H is a planar graph and there is a graph homomorphism ' : V (H) ! V (G) where ' is locally surjective, i.e. for every vertex v 2 V (H), the neighbours of v in H are mapped surjectively onto the neighbours of '(v) in G. We also say that such a G is planar-emulable. If we insist on ' being locally bijective, we get H a planar cover. The concept of planar emulators was proposed in 1985 by M. Fellows [6], and it tightly relates (although of independent origin) to the better known planar cover conjecture of Negami [11]. Fellows also raised the main question: What is the class of graphs with finite planar emulators? Soon later he conjectured that the class of planar-emulable graphs coincides with the class of graphs with finite planar covers (conjectured to be the class of projective graphs by Negami [11]| still open nowadays).
    [Show full text]
  • Graph Diameter, Eigenvalues, and Minimum-Time Consensus∗
    Graph diameter, eigenvalues, and minimum-time consensus∗ J. M. Hendrickxy, R. M. Jungersy, A. Olshevskyz, G. Vankeerbergheny July 24, 2018 Abstract We consider the problem of achieving average consensus in the minimum number of linear iterations on a fixed, undirected graph. We are motivated by the task of deriving lower bounds for consensus protocols and by the so-called “definitive consensus conjecture" which states that for an undirected connected graph G with diameter D there exist D matrices whose nonzero-pattern complies with the edges in G and whose product equals the all-ones matrix. Our first result is a counterexample to the definitive consensus conjecture, which is the first improvement of the diameter lower bound for linear consensus protocols. We then provide some algebraic conditions under which this conjecture holds, which we use to establish that all distance-regular graphs satisfy the definitive consensus conjecture. 1 Introduction Consensus algorithms are a class of iterative update schemes commonly used as building blocks for distributed estimation and control protocols. The progresses made within recent years in analyzing and designing consensus algorithms have led to advances in a number of fields, for example, distributed estimation and inference in sensor networks [6, 20, 21], distributed optimization [15], and distributed machine learning [1]. These are among the many subjects that have benefitted from the use of consensus algorithms. One of the available methods to design an average consensus algorithm is to use constant update weights satisfying some conditions for convergence (as can be found in [3] for instance). However, the associated rate of convergence might be a limiting factor, and this has spanned a literature dedicated to optimizing the speed of consensus algorithms.
    [Show full text]
  • Some Constructions of Small Generalized Polygons
    Journal of Combinatorial Theory, Series A 96, 162179 (2001) doi:10.1006Âjcta.2001.3174, available online at http:ÂÂwww.idealibrary.com on Some Constructions of Small Generalized Polygons Burkard Polster Department of Mathematics and Statistics, P.O. Box 28M, Monash University, Victoria 3800, Australia E-mail: Burkard.PolsterÄsci.monash.edu.au and Hendrik Van Maldeghem1 Pure Mathematics and Computer Algebra, University of Ghent, Galglaan 2, 9000 Gent, Belgium E-mail: hvmÄcage.rug.ac.be View metadata, citation and similarCommunicated papers at core.ac.uk by Francis Buekenhout brought to you by CORE provided by Elsevier - Publisher Connector Received December 4, 2000; published online June 18, 2001 We present several new constructions for small generalized polygons using small projective planes together with a conic or a unital, using other small polygons, and using certain graphs such as the Coxeter graph and the Pappus graph. We also give a new construction of the tilde geometry using the Petersen graph. 2001 Academic Press Key Words: generalized hexagon; generalized quadrangle; Coxeter graph; Pappus configuration; Petersen graph. 1. INTRODUCTION A generalized n-gon 1 of order (s, t) is a rank 2 point-line geometry whose incidence graph has diameter n and girth 2n, each vertex corre- sponding to a point has valency t+1 and each vertex corresponding to a line has valency s+1. These objects were introduced by Tits [5], who con- structed the main examples. If n=6 or n=8, then all known examples arise from Chevalley groups as described by Tits (see, e.g., [6, or 7]). Although these examples are strongly group-related, there exist simple geometric con- structions for large classes of them.
    [Show full text]
  • Dynamic Cage Survey
    Dynamic Cage Survey Geoffrey Exoo Department of Mathematics and Computer Science Indiana State University Terre Haute, IN 47809, U.S.A. [email protected] Robert Jajcay Department of Mathematics and Computer Science Indiana State University Terre Haute, IN 47809, U.S.A. [email protected] Department of Algebra Comenius University Bratislava, Slovakia [email protected] Submitted: May 22, 2008 Accepted: Sep 15, 2008 Version 1 published: Sep 29, 2008 (48 pages) Version 2 published: May 8, 2011 (54 pages) Version 3 published: July 26, 2013 (55 pages) Mathematics Subject Classifications: 05C35, 05C25 Abstract A(k; g)-cage is a k-regular graph of girth g of minimum order. In this survey, we present the results of over 50 years of searches for cages. We present the important theorems, list all the known cages, compile tables of current record holders, and describe in some detail most of the relevant constructions. the electronic journal of combinatorics (2013), #DS16 1 Contents 1 Origins of the Problem 3 2 Known Cages 6 2.1 Small Examples . 6 2.1.1 (3,5)-Cage: Petersen Graph . 7 2.1.2 (3,6)-Cage: Heawood Graph . 7 2.1.3 (3,7)-Cage: McGee Graph . 7 2.1.4 (3,8)-Cage: Tutte-Coxeter Graph . 8 2.1.5 (3,9)-Cages . 8 2.1.6 (3,10)-Cages . 9 2.1.7 (3,11)-Cage: Balaban Graph . 9 2.1.8 (3,12)-Cage: Benson Graph . 9 2.1.9 (4,5)-Cage: Robertson Graph . 9 2.1.10 (5,5)-Cages .
    [Show full text]
  • Minors and Dimension
    MINORS AND DIMENSION BARTOSZ WALCZAK Abstract. It has been known for 30 years that posets with bounded height and with cover graphs of bounded maximum degree have bounded dimension. Recently, Streib and Trotter proved that dimension is bounded for posets with bounded height and planar cover graphs, and Joret et al. proved that dimension is bounded for posets with bounded height and with cover graphs of bounded tree-width. In this paper, it is proved that posets of bounded height whose cover graphs exclude a fixed topological minor have bounded dimension. This generalizes all the aforementioned results and verifies a conjecture of Joret et al. The proof relies on the Robertson-Seymour and Grohe-Marx graph structure theorems. 1. Introduction In this paper, we are concerned with finite partially ordered sets, which we simply call posets. The dimension of a poset P is the minimum number of linear orders that form a realizer of P , that is, their intersection gives rise to P . The notion of dimension was introduced in 1941 by Dushnik and Miller [3] and since then has been one of the most extensively studied parameters in the combinatorics of posets. Much of this research has been focused on understanding when and why dimension is bounded, and this is also the focus of the current paper. The monograph [24] contains a comprehensive introduction to poset dimension theory. To some extent, dimension for posets behaves like chromatic number for graphs. There is a natural construction of a poset with dimension d, the standard example Sd (see Figure1), which plays a similar role to the complete graph Kd in the graph setting.
    [Show full text]
  • Report (221.0Kb)
    MATHEMATISCHES FORSCHUNGSINSTITUT OBERWOLFACH Tagungsbericht Graph Theory The organizers of this meeting on graph theory were Reinhard Diestel and Paul Seymour Besides the normal formal lectures the meeting included a number of informal sessions Each session was concerned with a particular area of graph theory and anyone interested was welcome to attend During these informal meetings participants presented results and op en problems concerning the topic and the audience was en couraged to interrupt with questions counterexamples pro ofs etc These sessions resulted in the resolution of a number of conjectures as well as stimulating collab oration outside the structure of the conference The following is a summary of the sessions followed by a collection of abstracts of the formal talks Session on Innite Graphs Convenor Reinhard Diestel Cycle space in lo cally nite innite graphs Bruce Richter asked how the fact that the fundamental cycles of a nite graph form a basis of its cycle space can b e adapted appropriately to innite graphs In the discussion it emerged that endfaithful spanning trees would play a signicant role here and various mo dels based on these were discussed Richters ob jective was to prove a uniquenessofembedding theorem for connected lo cally nite graphs with suitable compactication such as one p oint at innity for every class of ends pairwise not separated by a nite cycle This led to further informal collab oration later in the week Transitive graphs and Cayley graphs Recalling Woesss problem of whether every lo cally
    [Show full text]
  • Lucky Labeling of Certain Cubic Graphs
    International Journal of Pure and Applied Mathematics Volume 120 No. 8 2018, 167-175 ISSN: 1314-3395 (on-line version) url: http://www.acadpubl.eu/hub/ Special Issue http://www.acadpubl.eu/hub/ Lucky Labeling of Certain Cubic Graphs 1 2, D. Ahima Emilet and Indra Rajasingh ∗ 1,2 School of Advanced Sciences, VIT Chennai, India [email protected] [email protected] Abstract We call a mapping f : V (G) 1, 2, . , k , a lucky → { } labeling or vertex labeling by sum if for every two adjacent vertices u and v of G, f(v) = f(u). (v,u) E(G) 6 (u,v) E(G) The lucky number of a graph∈ G, denoted by η∈(G), is the P P least positive k such that G has a lucky labeling with 1, 2, . , k as the set of labels. Ali Deghan et al. [2] have { } proved that it is NP-complete to decide whether η(G) = 2 for a given 3-regular graph G. In this paper, we show that η(G) = 2 for certain cubic graphs such as cubic dia- mond k chain, petersen graph, generalized heawood graph, − G(2n, k) cubic graph, pappus graph and dyck graph. − AMS Subject Classification: 05C78 Key Words: Lucky labeling, petersen, generalized hea- wood, pappus, dyck 1 Introduction Graph coloring is one of the most studied subjects in graph theory. Recently, Czerwinski et al. [1] have studied the concept of lucky labeling as a vertex coloring problem. Ahadi et al. [3] have proved that computation of lucky number of planar graphs is NP-hard.
    [Show full text]
  • Crossing Number Graphs
    The Mathematica® Journal B E Y O N D S U D O K U Crossing Number Graphs Ed Pegg Jr and Geoffrey Exoo Sudoku is just one of hundreds of great puzzle types. This column pre- sents obscure logic puzzles of various sorts and challenges the readers to solve the puzzles in two ways: by hand and with Mathematica. For the lat- ter, solvers are invited to send their code to [email protected]. The per- son submitting the most elegant solution will receive a prize. ‡ The Brick Factory In 1940, the Hungarian mathematician Paul Turán was sent to a forced labor camp by the Nazis. Though every part of his life was brutally controlled, he still managed to do serious mathematics under the most extreme conditions. While forced to collect wire from former neighborhoods, he would be thinking about mathematics. When he found scraps of paper, he wrote down his theorems and conjectures. Some of these scraps were smuggled to Paul Erdős. One problem he developed is now called the brick factory problem. We worked near Budapest, in a brick factory. There were some kilns where the bricks were made and some open storage yards where the bricks were stored. All the kilns were connected to all the storage yards. The bricks were carried on small wheeled trucks to the storage yards. All we had to do was to put the bricks on the trucks at the kilns, push the trucks to the storage yards, and unload them there. We had a reasonable piece rate for the trucks, and the work itself was not difficult; the trouble was at the crossings.
    [Show full text]