Showing 1–8 of 8 results for author: Oporowski, B

Unavoidable Induced Subgraph of Infinite 2-connected Graphs

Authors: Sarah Allred, Guoli Ding, Bogdan Oporowski

Abstract: In 1930, Ramsey proved that every infinite graph contains either an infinite clique or an infinite independent set as an induced subgraph. König proved that every infinite graph contains either a ray or a vertex of infinite degree. In this paper, we establish the 2-connected analog of these results. In 1930, Ramsey proved that every infinite graph contains either an infinite clique or an infinite independent set as an induced subgraph. König proved that every infinite graph contains either a ray or a vertex of infinite degree. In this paper, we establish the 2-connected analog of these results. △ Less

Submitted 4 December, 2024; v1 submitted 11 November, 2022; originally announced November 2022.

Comments: 18 pages

MSC Class: 05C75; 05C63

Unavoidable Induced Subgraphs of Large 2-Connected Graphs

Authors: Sarah Allred, Guoli Ding, Bogdan Oporowski

Abstract: Ramsey proved that for every positive integer $n$, every sufficiently large graph contains an induced $K_n$ or $\overline{K}_n$. Among the many extensions of Ramsey's Theorem there is an analogue for connected graphs: for every positive integer $n$, every sufficiently large connected graph contains an induced $K_n$, $K_{1,n}$, or $P_n$. In this paper, we establish an analogue for 2-connected graph… ▽ More Ramsey proved that for every positive integer $n$, every sufficiently large graph contains an induced $K_n$ or $\overline{K}_n$. Among the many extensions of Ramsey's Theorem there is an analogue for connected graphs: for every positive integer $n$, every sufficiently large connected graph contains an induced $K_n$, $K_{1,n}$, or $P_n$. In this paper, we establish an analogue for 2-connected graphs. In particular, we prove that for every integer exceeding two, every sufficiently large 2-connected graph contains one of the following as an induced subgraph: $K_n$, a subdivision of $K_{2,n}$, a subdivision of $K_{2,n}$ with an edge between the two vertices of degree $n$, and a well-defined structure similar to a ladder. △ Less

Submitted 17 September, 2021; v1 submitted 25 September, 2020; originally announced September 2020.

Comments: 15 pages

MSC Class: 05C75; 05C55

Seymour's second-neighborhood conjecture from a different perspective

Authors: Farid Bouya, Bogdan Oporowski

Abstract: Seymour's Second-Neighborhood Conjecture states that every directed graph whose underlying graph is simple has at least one vertex $v$ such that the number of vertices of out-distance $2$ from $v$ is at least as large as the number of vertices of out-distance $1$ from it. We present alternative statements of the conjecture in the language of linear algebra. Seymour's Second-Neighborhood Conjecture states that every directed graph whose underlying graph is simple has at least one vertex $v$ such that the number of vertices of out-distance $2$ from $v$ is at least as large as the number of vertices of out-distance $1$ from it. We present alternative statements of the conjecture in the language of linear algebra. △ Less

Submitted 29 July, 2019; originally announced July 2019.

Comments: 8 pages

MSC Class: 05C20

A Note On Immersion Intertwines Of Infinite Graphs

Authors: Matthew Barnes, Bogdan Oporowski

Abstract: We present a construction of two infinite graphs $G_1$ and $G_2$, and of an infinite set $\mathscr{F}$ of graphs such that $\mathscr{F}$ is an antichain with respect to the immersion relation and, for each graph $G$ in $\mathscr{F}$, both $G_1$ and $G_2$ are subgraphs of $G$, but no graph properly immersed in $G$ admits an immersion of $G_1$ and of $G_2$. This shows that the class of infinite grap… ▽ More We present a construction of two infinite graphs $G_1$ and $G_2$, and of an infinite set $\mathscr{F}$ of graphs such that $\mathscr{F}$ is an antichain with respect to the immersion relation and, for each graph $G$ in $\mathscr{F}$, both $G_1$ and $G_2$ are subgraphs of $G$, but no graph properly immersed in $G$ admits an immersion of $G_1$ and of $G_2$. This shows that the class of infinite graphs ordered by the immersion relation does not have the finite intertwine property. △ Less

Submitted 21 August, 2015; originally announced August 2015.

MSC Class: 05C63

Characterizing 2-crossing-critical graphs

Authors: Drago Bokal, Bogdan Oporowski, R. Bruce Richter, Gelasio Salazar

Abstract: It is very well-known that there are precisely two minimal non-planar graphs: $K_5$ and $K_{3,3}$ (degree 2 vertices being irrelevant in this context). In the language of crossing numbers, these are the only 1-crossing-critical graphs: they each have crossing number at least one, and every proper subgraph has crossing number less than one. In 1987, Kochol exhibited an infinite family of 3-connecte… ▽ More It is very well-known that there are precisely two minimal non-planar graphs: $K_5$ and $K_{3,3}$ (degree 2 vertices being irrelevant in this context). In the language of crossing numbers, these are the only 1-crossing-critical graphs: they each have crossing number at least one, and every proper subgraph has crossing number less than one. In 1987, Kochol exhibited an infinite family of 3-connected, simple 2-crossing-critical graphs. In this work, we: (i) determine all the 3-connected 2-crossing-critical graphs that contain a subdivision of the Möbius Ladder $V_{10}$; (ii) show how to obtain all the not 3-connected 2-crossing-critical graphs from the 3-connected ones; (iii) show that there are only finitely many 3-connected 2-crossing-critical graphs not containing a subdivision of $V_{10}$; and (iv) determine all the 3-connected 2-crossing-critical graphs that do not contain a subdivision of $V_{8}$. △ Less

Submitted 13 December, 2013; originally announced December 2013.

Comments: 176 pages, 28 figures

MSC Class: 05C10

Large Non-Planar Graphs and an Application to Crossing-Critical Graphs

Authors: Guoli Ding, Bogdan Oporowski, Robin Thomas, Dirk Vertigan

Abstract: We prove that, for every positive integer k, there is an integer N such that every 4-connected non-planar graph with at least N vertices has a minor isomorphic to K_{4,k}, the graph obtained from a cycle of length 2k+1 by adding an edge joining every pair of vertices at distance exactly k, or the graph obtained from a cycle of length k by adding two vertices adjacent to each other and to every ver… ▽ More We prove that, for every positive integer k, there is an integer N such that every 4-connected non-planar graph with at least N vertices has a minor isomorphic to K_{4,k}, the graph obtained from a cycle of length 2k+1 by adding an edge joining every pair of vertices at distance exactly k, or the graph obtained from a cycle of length k by adding two vertices adjacent to each other and to every vertex on the cycle. We also prove a version of this for subdivisions rather than minors, and relax the connectivity to allow 3-cuts with one side planar and of bounded size. We deduce that for every integer k there are only finitely many 3-connected 2-crossing-critical graphs with no subdivision isomorphic to the graph obtained from a cycle of length 2k by joining all pairs of diagonally opposite vertices. △ Less

Submitted 10 November, 2010; v1 submitted 23 December, 2009; originally announced December 2009.

Comments: To appear in Journal of Combinatorial Theory B. 20 pages. No figures. TeX

MSC Class: 05C99; 05C10; 05D10

Unavoidable Parallel Minors of 4-Connected Graphs

Authors: Carolyn Chun, Guoli Ding, Bogdan Oporowski, Dirk Vertigan

Abstract: A parallel minor is obtained from a graph by any sequence of edge contractions and parallel edge deletions. We prove that, for any positive integer k, every internally 4-connected graph of sufficiently high order contains a parallel minor isomorphic to a variation of K_{4,k} with a complete graph on the vertices of degree k, the k-partition triple fan with a complete graph on the vertices of deg… ▽ More A parallel minor is obtained from a graph by any sequence of edge contractions and parallel edge deletions. We prove that, for any positive integer k, every internally 4-connected graph of sufficiently high order contains a parallel minor isomorphic to a variation of K_{4,k} with a complete graph on the vertices of degree k, the k-partition triple fan with a complete graph on the vertices of degree k, the k-spoke double wheel, the k-spoke double wheel with axle, the (2k+1)-rung Mobius zigzag ladder, the (2k)-rung zigzag ladder, or K_k. We also find the unavoidable parallel minors of 1-, 2-, and 3-connected graphs. △ Less

Submitted 11 February, 2008; v1 submitted 22 June, 2006; originally announced June 2006.

Comments: 12 pages, 3 figures

MSC Class: 05C83

Coloring graphs with crossings

Authors: Bogdan Oporowski, David Zhao

Abstract: We generalize the Five Color Theorem by showing that it extends to graphs with two crossings. Furthermore, we show that if a graph has three crossings, but does not contain K_6 as a subgraph, then it is also 5-colorable. We also consider the question of whether the result can be extended to graphs with more crossings. We generalize the Five Color Theorem by showing that it extends to graphs with two crossings. Furthermore, we show that if a graph has three crossings, but does not contain K_6 as a subgraph, then it is also 5-colorable. We also consider the question of whether the result can be extended to graphs with more crossings. △ Less

Submitted 24 January, 2005; originally announced January 2005.

Comments: 5 pages

MSC Class: 05C15