-
Planar Ramsey graphs
Authors:
Maria Axenovich,
Carsten Thomassen,
Ursula Schade,
Torsten Ueckerdt
Abstract:
We say that a graph $H$ is planar unavoidable if there is a planar graph $G$ such that any red/blue coloring of the edges of $G$ contains a monochromatic copy of $H$, otherwise we say that $H$ is planar avoidable. I.e., $H$ is planar unavoidable if there is a Ramsey graph for $H$ that is planar. It follows from the Four-Color Theorem and a result of Gonçalves that if a graph is planar unavoidable…
▽ More
We say that a graph $H$ is planar unavoidable if there is a planar graph $G$ such that any red/blue coloring of the edges of $G$ contains a monochromatic copy of $H$, otherwise we say that $H$ is planar avoidable. I.e., $H$ is planar unavoidable if there is a Ramsey graph for $H$ that is planar. It follows from the Four-Color Theorem and a result of Gonçalves that if a graph is planar unavoidable then it is bipartite and outerplanar. We prove that the cycle on $4$ vertices and any path are planar unavoidable. In addition, we prove that all trees of radius at most $2$ are planar unavoidable and there are trees of radius $3$ that are planar avoidable. We also address the planar unavoidable notion in more than two colors.
△ Less
Submitted 3 December, 2018;
originally announced December 2018.
-
Induced and Weak Induced Arboricities
Authors:
Maria Axenovich,
Philip Dörr,
Jonathan Rollin,
Torsten Ueckerdt
Abstract:
We define the induced arboricity of a graph $G$, denoted by ${\rm ia}(G)$, as the smallest $k$ such that the edges of $G$ can be covered with $k$ induced forests in $G$. This notion generalizes the classical notions of the arboricity and strong chromatic index.
For a class $\mathcal{F}$ of graphs and a graph parameter $p$, let $p(\mathcal{F}) = \sup\{p(G) \mid G\in \mathcal{F}\}$. We show that…
▽ More
We define the induced arboricity of a graph $G$, denoted by ${\rm ia}(G)$, as the smallest $k$ such that the edges of $G$ can be covered with $k$ induced forests in $G$. This notion generalizes the classical notions of the arboricity and strong chromatic index.
For a class $\mathcal{F}$ of graphs and a graph parameter $p$, let $p(\mathcal{F}) = \sup\{p(G) \mid G\in \mathcal{F}\}$. We show that ${\rm ia}(\mathcal{F})$ is bounded from above by an absolute constant depending only on $\mathcal{F}$, that is ${\rm ia}(\mathcal{F})\neq\infty$ if and only if $χ(\mathcal{F} \nabla \frac{1}{2}) \neq\infty$, where $\mathcal{F} \nabla \frac{1}{2}$ is the class of $\frac{1}{2}$-shallow minors of graphs from $\mathcal{F}$ and $χ$ is the chromatic number.
Further, we give bounds on ${\rm ia}(\mathcal{F})$ when $\mathcal{F}$ is the class of planar graphs, the class of $d$-degenerate graphs, or the class of graphs having tree-width at most $d$. Specifically, we show that if $\mathcal{F}$ is the class of planar graphs, then $8 \leq {\rm ia}(\mathcal{F}) \leq 10$.
In addition, we establish similar results for so-called weak induced arboricities and star arboricities of classes of graphs.
△ Less
Submitted 6 March, 2018;
originally announced March 2018.
-
The Chromatic Number of Ordered Graphs With Constrained Conflict Graphs
Authors:
Maria Axenovich,
Jonathan Rollin,
Torsten Ueckerdt
Abstract:
An ordered graph $G$ is a graph whose vertex set is a subset of integers. The edges are interpreted as tuples $(u,v)$ with $u < v$. For a positive integer $s$, a matrix $M \in \mathbb{Z}^{s \times 4}$, and a vector $\mathbf{p} = (p,\ldots,p) \in \mathbb{Z}^s$ we build a conflict graph by saying that edges $(u,v)$ and $(x,y)$ are conflicting if $M(u,v,x,y)^\top \geq \mathbf{p}$ or…
▽ More
An ordered graph $G$ is a graph whose vertex set is a subset of integers. The edges are interpreted as tuples $(u,v)$ with $u < v$. For a positive integer $s$, a matrix $M \in \mathbb{Z}^{s \times 4}$, and a vector $\mathbf{p} = (p,\ldots,p) \in \mathbb{Z}^s$ we build a conflict graph by saying that edges $(u,v)$ and $(x,y)$ are conflicting if $M(u,v,x,y)^\top \geq \mathbf{p}$ or $M(x,y,u,v)^\top \geq \mathbf{p}$, where the comparison is componentwise. This new framework generalizes many natural concepts of ordered and unordered graphs, such as the page-number, queue-number, band-width, interval chromatic number and forbidden ordered matchings.
For fixed $M$ and $p$, we investigate how the chromatic number of $G$ depends on the structure of its conflict graph. Specifically, we study the maximum chromatic number $X_\text{cli}(M,p,w)$ of ordered graphs $G$ with no $w$ pairwise conflicting edges and the maximum chromatic number $X_\text{ind}(M,p,a)$ of ordered graphs $G$ with no $a$ pairwise non-conflicting edges. We determine $X_\text{cli}(M,p,w)$ and $X_\text{ind}(M,p,a)$ exactly whenever $M$ consists of one row with entries in $\{-1,0,+1\}$ and moreover consider several cases in which $M$ consists of two rows or has arbitrary entries from $\mathbb{Z}$.
△ Less
Submitted 4 October, 2016;
originally announced October 2016.
-
The $k$-strong induced arboricity of a graph
Authors:
Maria Axenovich,
Daniel Goncalves,
Jonathan Rollin,
Torsten Ueckerdt
Abstract:
The induced arboricity of a graph $G$ is the smallest number of induced forests covering the edges of $G$. This is a well-defined parameter bounded from above by the number of edges of $G$ when each forest in a cover consists of exactly one edge. Not all edges of a graph necessarily belong to induced forests with larger components. For $k\geq 1$, we call an edge $k$-valid if it is contained in an…
▽ More
The induced arboricity of a graph $G$ is the smallest number of induced forests covering the edges of $G$. This is a well-defined parameter bounded from above by the number of edges of $G$ when each forest in a cover consists of exactly one edge. Not all edges of a graph necessarily belong to induced forests with larger components. For $k\geq 1$, we call an edge $k$-valid if it is contained in an induced tree on $k$ edges. The $k$-strong induced arboricity of $G$, denoted by $f_k(G)$, is the smallest number of induced forests with components of sizes at least $k$ that cover all $k$-valid edges in $G$. This parameter is highly non-monotone.
However, we prove that for any proper minor-closed graph class $\mathcal{C}$, and more generally for any class of bounded expansion, and any $k \geq 1$, the maximum value of $f_k(G)$ for $G \in \mathcal{C}$ is bounded from above by a constant depending only on $\mathcal{C}$ and $k$. This implies that the adjacent closed vertex-distinguishing number of graphs from a class of bounded expansion is bounded by a constant depending only on the class. We further prove that $f_2(G) \leq 3\binom{t+1}{3}$ for any graph $G$ of tree-width~$t$ and that $f_k(G) \leq (2k)^d$ for any graph of tree-depth $d$. In addition, we prove that $f_2(G) \leq 310$ when $G$ is planar.
△ Less
Submitted 31 May, 2017; v1 submitted 25 July, 2016;
originally announced July 2016.
-
Chromatic number of ordered graphs with forbidden ordered subgraphs
Authors:
Maria Axenovich,
Jonathan Rollin,
Torsten Ueckerdt
Abstract:
It is well-known that the graphs not containing a given graph H as a subgraph have bounded chromatic number if and only if H is acyclic. Here we consider ordered graphs, i.e., graphs with a linear ordering on their vertex set, and the function f(H) = sup{chi(G) | G in Forb(H)} where Forb(H) denotes the set of all ordered graphs that do not contain a copy of H. If H contains a cycle, then as in the…
▽ More
It is well-known that the graphs not containing a given graph H as a subgraph have bounded chromatic number if and only if H is acyclic. Here we consider ordered graphs, i.e., graphs with a linear ordering on their vertex set, and the function f(H) = sup{chi(G) | G in Forb(H)} where Forb(H) denotes the set of all ordered graphs that do not contain a copy of H. If H contains a cycle, then as in the case of unordered graphs, f(H) is infinity. However, in contrast to the unordered graphs, we describe an infinite family of ordered forests H with infinite f(H). An ordered graph is crossing if there are two edges uv and u'v' with u < u' < v < v'. For connected crossing ordered graphs H we reduce the problem of determining whether f(H) is finite to a family of so-called monotonically alternating trees. For non-crossing H we prove that f(H) is finite if and only if H is acyclic and does not contain a copy of any of the five special ordered forests on four or five vertices, which we call bonnets. For such forests H, we show that f(H) <= 2^|V(H)| and that f(H) <= 2|V(H)|-3 if H is connected.
△ Less
Submitted 1 March, 2016;
originally announced March 2016.
-
Splitting Planar Graphs of Girth 6 into Two Linear Forests with Short Paths
Authors:
Maria Axenovich,
Torsten Ueckerdt,
Pascal Weiner
Abstract:
Recently, Borodin, Kostochka, and Yancey (On $1$-improper $2$-coloring of sparse graphs. Discrete Mathematics, 313(22), 2013) showed that the vertices of each planar graph of girth at least $7$ can be $2$-colored so that each color class induces a subgraph of a matching. We prove that any planar graph of girth at least $6$ admits a vertex coloring in $2$ colors such that each monochromatic compone…
▽ More
Recently, Borodin, Kostochka, and Yancey (On $1$-improper $2$-coloring of sparse graphs. Discrete Mathematics, 313(22), 2013) showed that the vertices of each planar graph of girth at least $7$ can be $2$-colored so that each color class induces a subgraph of a matching. We prove that any planar graph of girth at least $6$ admits a vertex coloring in $2$ colors such that each monochromatic component is a path of length at most $14$. Moreover, we show a list version of this result. On the other hand, for each positive integer $t\geq 3$, we construct a planar graph of girth $4$ such that in any coloring of vertices in $2$ colors there is a monochromatic path of length at least $t$. It remains open whether each planar graph of girth $5$ admits a $2$-coloring with no long monochromatic paths.
△ Less
Submitted 10 July, 2015;
originally announced July 2015.
-
Spectrum of mixed bi-uniform hypergraphs
Authors:
Maria Axenovich,
Enrica Cherubini,
Torsten Ueckerdt
Abstract:
A mixed hypergraph is a triple $H=(V,\mathcal{C},\mathcal{D})$, where $V$ is a set of vertices, $\mathcal{C}$ and $\mathcal{D}$ are sets of hyperedges. A vertex-coloring of $H$ is proper if $C$-edges are not totally multicolored and $D$-edges are not monochromatic. The feasible set $S(H)$ of $H$ is the set of all integers, $s$, such that $H$ has a proper coloring with $s$ colors.
Bujtás and Tuza…
▽ More
A mixed hypergraph is a triple $H=(V,\mathcal{C},\mathcal{D})$, where $V$ is a set of vertices, $\mathcal{C}$ and $\mathcal{D}$ are sets of hyperedges. A vertex-coloring of $H$ is proper if $C$-edges are not totally multicolored and $D$-edges are not monochromatic. The feasible set $S(H)$ of $H$ is the set of all integers, $s$, such that $H$ has a proper coloring with $s$ colors.
Bujtás and Tuza [Graphs and Combinatorics 24 (2008), 1--12] gave a characterization of feasible sets for mixed hypergraphs with all $C$- and $D$-edges of the same size $r$, $r\geq 3$.
In this note, we give a short proof of a complete characterization of all possible feasible sets for mixed hypergraphs with all $C$-edges of size $\ell$ and all $D$-edges of size $m$, where $\ell, m \geq 2$. Moreover, we show that for every sequence $(r(s))_{s=\ell}^n$, $n \geq \ell$, of natural numbers there exists such a hypergraph with exactly $r(s)$ proper colorings using $s$ colors, $s = \ell,\ldots,n$, and no proper coloring with more than $n$ colors. Choosing $\ell = m=r$ this answers a question of Bujtás and Tuza, and generalizes their result with a shorter proof.
△ Less
Submitted 5 July, 2014;
originally announced July 2014.
-
Density of Range Capturing Hypergraphs
Authors:
Maria Axenovich,
Torsten Ueckerdt
Abstract:
For a finite set $X$ of points in the plane, a set $S$ in the plane, and a positive integer $k$, we say that a $k$-element subset $Y$ of $X$ is captured by $S$ if there is a homothetic copy $S'$ of $S$ such that $X\cap S' = Y$, i.e., $S'$ contains exactly $k$ elements from $X$. A $k$-uniform $S$-capturing hypergraph $H = H(X,S,k)$ has a vertex set $X$ and a hyperedge set consisting of all $k$-elem…
▽ More
For a finite set $X$ of points in the plane, a set $S$ in the plane, and a positive integer $k$, we say that a $k$-element subset $Y$ of $X$ is captured by $S$ if there is a homothetic copy $S'$ of $S$ such that $X\cap S' = Y$, i.e., $S'$ contains exactly $k$ elements from $X$. A $k$-uniform $S$-capturing hypergraph $H = H(X,S,k)$ has a vertex set $X$ and a hyperedge set consisting of all $k$-element subsets of $X$ captured by $S$. In case when $k=2$ and $S$ is convex these graphs are planar graphs, known as convex distance function Delaunay graphs.
In this paper we prove that for any $k\geq 2$, any $X$, and any convex compact set $S$, the number of hyperedges in $H(X,S,k)$ is at most $(2k-1)|X| - k^2 + 1 - \sum_{i=1}^{k-1}a_i$, where $a_i$ is the number of $i$-element subsets of $X$ that can be separated from the rest of $X$ with a straight line. In particular, this bound is independent of $S$ and indeed the bound is tight for all "round" sets $S$ and point sets $X$ in general position with respect to $S$.
This refines a general result of Buzaglo, Pinchasi and Rote stating that every pseudodisc topological hypergraph with vertex set $X$ has $O(k^2|X|)$ hyperedges of size $k$ or less.
△ Less
Submitted 13 July, 2015; v1 submitted 4 April, 2014;
originally announced April 2014.
-
A regularity lemma and twins in words
Authors:
Maria Axenovich,
Yury Person,
Svetlana Puzynina
Abstract:
For a word $S$, let $f(S)$ be the largest integer $m$ such that there are two disjoints identical (scattered) subwords of length $m$. Let $f(n, Σ) = \min \{f(S): S \text{is of length} n, \text{over alphabet} Σ\}$. Here, it is shown that \[2f(n, \{0,1\}) = n-o(n)\] using the regularity lemma for words.
I.e., any binary word of length $n$ can be split into two identical subwords (referred to as tw…
▽ More
For a word $S$, let $f(S)$ be the largest integer $m$ such that there are two disjoints identical (scattered) subwords of length $m$. Let $f(n, Σ) = \min \{f(S): S \text{is of length} n, \text{over alphabet} Σ\}$. Here, it is shown that \[2f(n, \{0,1\}) = n-o(n)\] using the regularity lemma for words.
I.e., any binary word of length $n$ can be split into two identical subwords (referred to as twins) and, perhaps, a remaining subword of length $o(n)$. A similar result is proven for $k$ identical subwords of a word over an alphabet with at most $k$ letters.
△ Less
Submitted 10 April, 2012;
originally announced April 2012.
-
Fork-forests in bi-colored complete bipartite graphs
Authors:
Maria Axenovich,
Marcus Krug,
Georg Osang,
Ignaz Rutter
Abstract:
Motivated by the problem in [6], which studies the relative efficiency of propositional proof systems, 2-edge colorings of complete bipartite graphs are investigated. It is shown that if the edges of $G=K_{n,n}$ are colored with black and white such that the number of black edges differs from the number of white edges by at most 1, then there are at least $n(1-1/\sqrt{2})$ vertex-disjoint forks wi…
▽ More
Motivated by the problem in [6], which studies the relative efficiency of propositional proof systems, 2-edge colorings of complete bipartite graphs are investigated. It is shown that if the edges of $G=K_{n,n}$ are colored with black and white such that the number of black edges differs from the number of white edges by at most 1, then there are at least $n(1-1/\sqrt{2})$ vertex-disjoint forks with centers in the same partite set of $G$. Here, a fork is a graph formed by two adjacent edges of different colors. The bound is sharp. Moreover, an algorithm running in time $O(n^2 \log n \sqrt{n α(n^2,n) \log n})$ and giving a largest such fork forest is found.
△ Less
Submitted 12 January, 2012;
originally announced January 2012.