-
Colouring negative exact-distance graphs of signed graphs
Authors:
Reza Naserasr,
Patrice Ossona de Mendez,
Daniel A. Quiroz,
Robert Šámal,
Weiqiang Yu
Abstract:
The $k$-th exact-distance graph, of a graph $G$ has $V(G)$ as its vertex set, and $xy$ as an edge if and only if the distance between $x$ and $y$ is (exactly) $k$ in $G$. We consider two possible extensions of this notion for signed graphs. Finding the chromatic number of a negative exact-distance square of a signed graph is a weakening of the problem of finding the smallest target graph to which…
▽ More
The $k$-th exact-distance graph, of a graph $G$ has $V(G)$ as its vertex set, and $xy$ as an edge if and only if the distance between $x$ and $y$ is (exactly) $k$ in $G$. We consider two possible extensions of this notion for signed graphs. Finding the chromatic number of a negative exact-distance square of a signed graph is a weakening of the problem of finding the smallest target graph to which the signed graph has a sign-preserving homomorphism. We study the chromatic number of negative exact-distance graphs of signed graphs that are planar, and also the relation of these chromatic numbers with the generalised colouring numbers of the underlying graphs. Our results are related to a theorem of Alon and Marshall about homomorphisms of signed graphs.
△ Less
Submitted 15 June, 2024;
originally announced June 2024.
-
Balanced-chromatic number and Hadwiger-like conjectures
Authors:
Andrea Jiménez,
Jessica Mcdonald,
Reza Naserasr,
Kathryn Nurse,
Daniel A. Quiroz
Abstract:
Motivated by different characterizations of planar graphs and the 4-Color Theorem, several structural results concerning graphs of high chromatic number have been obtained. Toward strengthening some of these results, we consider the \emph{balanced chromatic number}, $χ_b(\hat{G})$, of a signed graph $\hat{G}$. This is the minimum number of parts into which the vertices of a signed graph can be par…
▽ More
Motivated by different characterizations of planar graphs and the 4-Color Theorem, several structural results concerning graphs of high chromatic number have been obtained. Toward strengthening some of these results, we consider the \emph{balanced chromatic number}, $χ_b(\hat{G})$, of a signed graph $\hat{G}$. This is the minimum number of parts into which the vertices of a signed graph can be partitioned so that none of the parts induces a negative cycle. This extends the notion of the chromatic number of a graph since $χ(G)=χ_b(\tilde{G})$, where $\tilde{G}$ denotes the signed graph obtained from~$G$ by replacing each edge with a pair of (parallel) positive and negative edges. We introduce a signed version of Hadwiger's conjecture as follows.
Conjecture: If a signed graph $\hat{G}$ has no negative loop and no $\tilde{K_t}$-minor, then its balanced chromatic number is at most $t-1$.
We prove that this conjecture is, in fact, equivalent to Hadwiger's conjecture and show its relation to the Odd Hadwiger Conjecture.
Motivated by these results, we also consider the relation between subdivisions and balanced chromatic number. We prove that if $(G, σ)$ has no negative loop and no $\tilde{K_t}$-subdivision, then it admits a balanced $\frac{79}{2}t^2$-coloring. This qualitatively generalizes a result of Kawarabayashi (2013) on totally odd subdivisions.
△ Less
Submitted 2 August, 2023;
originally announced August 2023.
-
Boundedness for proper conflict-free and odd colorings
Authors:
Andrea Jiménez,
Kolja Knauer,
Carla Negri Lintzmayer,
Martín Matamala,
Juan Pablo Peña,
Daniel A. Quiroz,
Maycon Sambinelli,
Yoshiko Wakabayashi,
Weiqiang Yu,
José Zamora
Abstract:
The proper conflict-free chromatic number, $χ_{pcf}(G)$, of a graph $G$ is the least $k$ such that $G$ has a proper $k$-coloring in which for each non-isolated vertex there is a color appearing exactly once among its neighbors. The proper odd chromatic number, $χ_{o}(G)$, of $G$ is the least $k$ such that $G$ has a proper coloring in which for every non-isolated vertex there is a color appearing a…
▽ More
The proper conflict-free chromatic number, $χ_{pcf}(G)$, of a graph $G$ is the least $k$ such that $G$ has a proper $k$-coloring in which for each non-isolated vertex there is a color appearing exactly once among its neighbors. The proper odd chromatic number, $χ_{o}(G)$, of $G$ is the least $k$ such that $G$ has a proper coloring in which for every non-isolated vertex there is a color appearing an odd number of times among its neighbors. We say that a graph class $\mathcal{G}$ is $χ_{pcf}$-bounded ($χ_{o}$-bounded) if there is a function $f$ such that $χ_{pcf}(G) \leq f(χ(G))$ ($χ_{o}(G) \leq f(χ(G))$) for every $G \in \mathcal{G}$. Caro et al. (2022) asked for classes that are linearly $χ_{pcf}$-bounded ($χ_{pcf}$-bounded), and as a starting point, they showed that every claw-free graph $G$ satisfies $χ_{pcf}(G) \le 2Δ(G)+1$, which implies $χ_{pcf}(G) \le 4χ(G)+1$.
In this paper, we improve the bound for claw-free graphs to a nearly tight bound by showing that such a graph $G$ satisfies $χ_{pcf}(G) \le Δ(G)+6$, and even $χ_{pcf}(G) \le Δ(G)+4$ if it is a quasi-line graph. These results also give evidence for a conjecture by Caro et al. Moreover, we show that convex-round graphs and permutation graphs are linearly $χ_{pcf}$-bounded. For these last two results, we prove a lemma that reduces the problem of deciding if a hereditary class is linearly $χ_{pcf}$-bounded to deciding if the bipartite graphs in the class are $χ_{pcf}$-bounded by an absolute constant. This lemma complements a theorem of Liu (2022) and motivates us to study boundedness in bipartite graphs. In particular, we show that biconvex bipartite graphs are $χ_{pcf}$-bounded while convex bipartite graphs are not even $χ_o$-bounded, and exhibit a class of bipartite circle graphs that is linearly $χ_o$-bounded but not $χ_{pcf}$-bounded.
△ Less
Submitted 9 February, 2024; v1 submitted 31 July, 2023;
originally announced August 2023.
-
Subchromatic numbers of powers of graphs with excluded minors
Authors:
Pedro P. Cortés,
Pankaj Kumar,
Benjamin Moore,
Patrice Ossona de Mendez,
Daniel A. Quiroz
Abstract:
A $k$-subcolouring of a graph $G$ is a function $f:V(G) \to \{0,\ldots,k-1\}$ such that the set of vertices coloured $i$ induce a disjoint union of cliques. The subchromatic number, $χ_{\textrm{sub}}(G)$, is the minimum $k$ such that $G$ admits a $k$-subcolouring. Nešetřil, Ossona de Mendez, Pilipczuk, and Zhu (2020), recently raised the problem of finding tight upper bounds for…
▽ More
A $k$-subcolouring of a graph $G$ is a function $f:V(G) \to \{0,\ldots,k-1\}$ such that the set of vertices coloured $i$ induce a disjoint union of cliques. The subchromatic number, $χ_{\textrm{sub}}(G)$, is the minimum $k$ such that $G$ admits a $k$-subcolouring. Nešetřil, Ossona de Mendez, Pilipczuk, and Zhu (2020), recently raised the problem of finding tight upper bounds for $χ_{\textrm{sub}}(G^2)$ when $G$ is planar. We show that $χ_{\textrm{sub}}(G^2)\le 43$ when $G$ is planar, improving their bound of 135. We give even better bounds when the planar graph $G$ has larger girth. Moreover, we show that $χ_{\textrm{sub}}(G^{3})\le 95$, improving the previous bound of 364. For these we adapt some recent techniques of Almulhim and Kierstead (2022), while also extending the decompositions of triangulated planar graphs of Van den Heuvel, Ossona de Mendez, Quiroz, Rabinovich and Siebertz (2017), to planar graphs of arbitrary girth. Note that these decompositions are the precursors of the graph product structure theorem of planar graphs.
We give improved bounds for $χ_{\textrm{sub}}(G^p)$ for all $p$, whenever $G$ has bounded treewidth, bounded simple treewidth, bounded genus, or excludes a clique or biclique as a minor. For this we introduce a family of parameters which form a gradation between the strong and the weak colouring numbers. We give upper bounds for these parameters for graphs coming from such classes.
Finally, we give a 2-approximation algorithm for the subchromatic number of graphs coming from any fixed class with bounded layered cliquewidth. In particular, this implies a 2-approximation algorithm for the subchromatic number of powers $G^p$ of graphs coming from any fixed class with bounded layered treewidth (such as the class of planar graphs). This algorithm works even if the power $p$ and the graph $G$ is unknown.
△ Less
Submitted 29 January, 2024; v1 submitted 3 June, 2023;
originally announced June 2023.
-
Microfluidics Generation of Millimeter-sized Matrigel Droplets
Authors:
Cory Arnold,
Gabriela Pena Carmona,
David A. Quiroz,
Chung X. Thai,
Brenda A. A. B. Ametepe,
I-Hung Khoo,
Melinda G. Simon,
Perla Ayala,
Siavash Ahrar
Abstract:
Significant progress has been made to increase access to droplet microfluidics for labs with limited microfluidics expertise or fabrication equipment. In particular, using off-the-shelf systems has been a valuable approach. However, the ability to modify a channel design and, thus, the functional characteristics of the system is of great value. In this work, we describe the development of co-flow…
▽ More
Significant progress has been made to increase access to droplet microfluidics for labs with limited microfluidics expertise or fabrication equipment. In particular, using off-the-shelf systems has been a valuable approach. However, the ability to modify a channel design and, thus, the functional characteristics of the system is of great value. In this work, we describe the development of co-flow microfluidics and their fabrication methods for generating uniform millimeter-sized (0.5 - 2 mm) hydrogel droplets. Two complementary approaches based on desktop CO2 laser cutting were developed to prototype and build durable co-flow droplet microfluidics. After demonstrating the co-flow systems, water-in-oil experiments and dimensionless number analysis were used to examine the operational characteristics of the system. Specifically, the Capillary number analysis indicated that millimeter-sized droplet generators operated in the desirable geometry-controlled regime despite their length scales being larger than traditional microfluidics systems. Next, the tunable generation of Matrigel droplets was demonstrated. By adjusting the relative flow rates, the droplet size could be tuned. Finally, we demonstrated fibroblast encapsulation and cell viability for up to 7 days as a proof-of-concept experiment. The systems presented are simple and effective tools to generate robust hydrogel droplets and increase the accessibility of this technology to teaching labs or research settings with limited resources or access to microfluidics.
△ Less
Submitted 30 May, 2023;
originally announced May 2023.
-
Totally odd immersions in line graphs
Authors:
Andrea Jiménez,
Daniel A. Quiroz,
Christopher Thraves Caro
Abstract:
The immersion-analogue of Hadwiger's Conjecture states that every graph $G$ contains an immersion of $K_{χ(G)}$. This conjecture has been recently strengthened in the following way: every graph $G$ contains a totally odd immersion of $K_{χ(G)}$. We prove this stronger conjecture for line graphs of constant-multiplicity multigraphs, thus extending a result of Guyer and McDonald.
The immersion-analogue of Hadwiger's Conjecture states that every graph $G$ contains an immersion of $K_{χ(G)}$. This conjecture has been recently strengthened in the following way: every graph $G$ contains a totally odd immersion of $K_{χ(G)}$. We prove this stronger conjecture for line graphs of constant-multiplicity multigraphs, thus extending a result of Guyer and McDonald.
△ Less
Submitted 12 May, 2023;
originally announced May 2023.
-
Biclique immersions in graphs with independence number 2
Authors:
F. Botler,
A. Jiménez,
C. N. Lintzmayer,
A. Pastine,
D. A. Quiroz,
M. Sambinelli
Abstract:
The analog of Hadwiger's conjecture for the immersion relation states that every graph $G$ contains an immersion of $K_{χ(G)}$. For graphs with independence number 2, this is equivalent to stating that every such $n$-vertex graph contains an immersion of $K_{\lceil n/2 \rceil}$. We show that every $n$-vertex graph with independence number 2 contains every complete bipartite graph on…
▽ More
The analog of Hadwiger's conjecture for the immersion relation states that every graph $G$ contains an immersion of $K_{χ(G)}$. For graphs with independence number 2, this is equivalent to stating that every such $n$-vertex graph contains an immersion of $K_{\lceil n/2 \rceil}$. We show that every $n$-vertex graph with independence number 2 contains every complete bipartite graph on $\lceil n/2 \rceil$ vertices as an immersion.
△ Less
Submitted 11 March, 2023;
originally announced March 2023.
-
Characterizing and recognizing exact-distance squares of graphs
Authors:
Yandong Bai,
Pedro P. Cortés,
Reza Naserasr,
Daniel A. Quiroz
Abstract:
For a graph $G=(V,E)$, its exact-distance square, $G^{[\sharp 2]}$, is the graph with vertex set $V$ and with an edge between vertices $x$ and $y$ if and only if $x$ and $y$ have distance (exactly) $2$ in $G$. The graph $G$ is an exact-distance square root of $G^{[\sharp 2]}$. We give a characterization of graphs having an exact-distance square root, our characterization easily leading to a polyno…
▽ More
For a graph $G=(V,E)$, its exact-distance square, $G^{[\sharp 2]}$, is the graph with vertex set $V$ and with an edge between vertices $x$ and $y$ if and only if $x$ and $y$ have distance (exactly) $2$ in $G$. The graph $G$ is an exact-distance square root of $G^{[\sharp 2]}$. We give a characterization of graphs having an exact-distance square root, our characterization easily leading to a polynomial-time recognition algorithm. We show that it is NP-complete to recognize graphs with a bipartite exact-distance square root. These two results strongly contrast known results on (usual) graph squares. We then characterize graphs having a tree as an exact-distance square root, and from this obtain a polynomial-time recognition algorithm for these graphs. Finally, we show that, unlike for usual square roots, a graph might have (arbitrarily many) non-isomorphic exact-distance square roots which are trees.
△ Less
Submitted 1 August, 2023; v1 submitted 4 November, 2022;
originally announced November 2022.
-
The treewidth and pathwidth of graph unions
Authors:
Bogdan Alecu,
Vadim Lozin,
Daniel A. Quiroz,
Roman Rabinovich,
Igor Razgon,
Viktor Zamaraev
Abstract:
Given two $n$-vertex graphs $G_1$ and $G_2$ of bounded treewidth, is there an $n$-vertex graph $G$ of bounded treewidth having subgraphs isomorphic to $G_1$ and $G_2$? Our main result is a negative answer to this question, in a strong sense: we show that the answer is no even if $G_1$ is a binary tree and $G_2$ is a ternary tree. We also provide an extensive study of cases where such `gluing' is p…
▽ More
Given two $n$-vertex graphs $G_1$ and $G_2$ of bounded treewidth, is there an $n$-vertex graph $G$ of bounded treewidth having subgraphs isomorphic to $G_1$ and $G_2$? Our main result is a negative answer to this question, in a strong sense: we show that the answer is no even if $G_1$ is a binary tree and $G_2$ is a ternary tree. We also provide an extensive study of cases where such `gluing' is possible. In particular, we prove that if $G_1$ has treewidth $k$ and $G_2$ has pathwidth $\ell$, then there is an $n$-vertex graph of treewidth at most $k + 3 \ell + 1$ containing both $G_1$ and $G_2$ as subgraphs.
△ Less
Submitted 26 September, 2022; v1 submitted 15 February, 2022;
originally announced February 2022.
-
Clique immersions in graphs of independence number two with certain forbidden subgraphs
Authors:
Daniel A. Quiroz
Abstract:
The Lescure-Meyniel conjecture is the analogue of Hadwiger's conjecture for the immersion order. It states that every graph $G$ contains the complete graph $K_{χ(G)}$ as an immersion, and like its minor-order counterpart it is open even for graphs with independence number 2. We show that every graph $G$ with independence number $α(G)\ge 2$ and no hole of length between $4$ and $2α(G)$ satisfies th…
▽ More
The Lescure-Meyniel conjecture is the analogue of Hadwiger's conjecture for the immersion order. It states that every graph $G$ contains the complete graph $K_{χ(G)}$ as an immersion, and like its minor-order counterpart it is open even for graphs with independence number 2. We show that every graph $G$ with independence number $α(G)\ge 2$ and no hole of length between $4$ and $2α(G)$ satisfies this conjecture. In particular, every $C_4$-free graph $G$ with $α(G)= 2$ satisfies the Lescure-Meyniel conjecture. We give another generalisation of this corollary, as follows. Let $G$ and $H$ be graphs with independence number at most 2, such that $|V(H)|\le 4$. If $G$ is $H$-free, then $G$ satisfies the Lescure-Meyniel conjecture.
△ Less
Submitted 22 February, 2021; v1 submitted 11 April, 2020;
originally announced April 2020.
-
Universal arrays
Authors:
Matías Pavez-Signé,
Daniel A. Quiroz,
Nicolás Sanhueza-Matamala
Abstract:
A word on $q$ symbols is a sequence of letters from a fixed alphabet of size $q$. For an integer $k\ge 1$, we say that a word $w$ is $k$-universal if, given an arbitrary word of length $k$, one can obtain it by removing entries from $w$. It is easily seen that the minimum length of a $k$-universal word on $q$ symbols is exactly $qk$. We prove that almost every word of size $(1+o(1))c_qk$ is $k$-un…
▽ More
A word on $q$ symbols is a sequence of letters from a fixed alphabet of size $q$. For an integer $k\ge 1$, we say that a word $w$ is $k$-universal if, given an arbitrary word of length $k$, one can obtain it by removing entries from $w$. It is easily seen that the minimum length of a $k$-universal word on $q$ symbols is exactly $qk$. We prove that almost every word of size $(1+o(1))c_qk$ is $k$-universal with high probability, where $c_q$ is an explicit constant whose value is roughly $q\log q$. Moreover, we show that the $k$-universality property for uniformly chosen words exhibits a sharp threshold. Finally, by extending techniques of Alon [Geometric and Functional Analysis 27 (2017), no. 1, 1--32], we give asymptotically tight bounds for every higher dimensional analogue of this problem.
△ Less
Submitted 20 August, 2021; v1 submitted 16 January, 2020;
originally announced January 2020.
-
Clique immersions and independence number
Authors:
Sebastián Bustamante,
Daniel A. Quiroz,
Maya Stein,
José Zamora
Abstract:
The analogue of Hadwiger's conjecture for the immersion order states that every graph $G$ contains $K_{χ(G)}$ as an immersion. If true, it would imply that every graph with $n$ vertices and independence number $α$ contains $K_{\lceil \frac nα\rceil}$ as an immersion. The best currently known bound for this conjecture is due to Gauthier, Le and Wollan, who recently proved that every graph $G$ conta…
▽ More
The analogue of Hadwiger's conjecture for the immersion order states that every graph $G$ contains $K_{χ(G)}$ as an immersion. If true, it would imply that every graph with $n$ vertices and independence number $α$ contains $K_{\lceil \frac nα\rceil}$ as an immersion. The best currently known bound for this conjecture is due to Gauthier, Le and Wollan, who recently proved that every graph $G$ contains an immersion of a clique on $\bigl\lceil \frac{χ(G)-4}{3.54}\bigr\rceil$ vertices. Their result implies that every $n$-vertex graph with independence number $α$ contains an immersion of a clique on $\bigl\lceil \frac{n}{3.54α}-1.13\bigr\rceil$ vertices. We improve on this result for all $α\ge 3$, by showing that every $n$-vertex graph with independence number $α\ge 3$ contains an immersion of a clique on $\bigl\lfloor \frac {n}{2.25 α- f(α)} \bigr\rfloor - 1$ vertices, where $f$ is a nonnegative function.
△ Less
Submitted 18 April, 2022; v1 submitted 2 July, 2019;
originally announced July 2019.
-
Model-Checking on Ordered Structures
Authors:
Kord Eickmeyer,
Jan van den Heuvel,
Ken-ichi Kawarabayashi,
Stephan Kreutzer,
Patrice Ossona de Mendez,
Michał Pilipczuk,
Daniel A. Quiroz,
Roman Rabinovich,
Sebastian Siebertz
Abstract:
We study the model-checking problem for first- and monadic second-order logic on finite relational structures. The problem of verifying whether a formula of these logics is true on a given structure is considered intractable in general, but it does become tractable on interesting classes of structures, such as on classes whose Gaifman graphs have bounded treewidth. In this paper we continue this l…
▽ More
We study the model-checking problem for first- and monadic second-order logic on finite relational structures. The problem of verifying whether a formula of these logics is true on a given structure is considered intractable in general, but it does become tractable on interesting classes of structures, such as on classes whose Gaifman graphs have bounded treewidth. In this paper we continue this line of research and study model-checking for first- and monadic second-order logic in the presence of an ordering on the input structure. We do so in two settings: the general ordered case, where the input structures are equipped with a fixed order or successor relation, and the order invariant case, where the formulas may resort to an ordering, but their truth must be independent of the particular choice of order. In the first setting we show very strong intractability results for most interesting classes of structures. In contrast, in the order invariant case we obtain tractability results for order-invariant monadic second-order formulas on the same classes of graphs as in the unordered case. For first-order logic, we obtain tractability of successor-invariant formulas on classes whose Gaifman graphs have bounded expansion. Furthermore, we show that model-checking for order-invariant first-order formulas is tractable on coloured posets of bounded width.
△ Less
Submitted 18 December, 2018;
originally announced December 2018.
-
Colouring exact distance graphs of chordal graphs
Authors:
Daniel A. Quiroz
Abstract:
For a graph $G=(V,E)$ and positive integer $p$, the exact distance-$p$ graph $G^{[\natural p]}$ is the graph with vertex set $V$ and with an edge between vertices $x$ and $y$ if and only if $x$ and $y$ have distance $p$. Recently, there has been an effort to obtain bounds on the chromatic number $χ(G^{[\natural p]})$ of exact distance-$p$ graphs for $G$ from certain classes of graphs. In particula…
▽ More
For a graph $G=(V,E)$ and positive integer $p$, the exact distance-$p$ graph $G^{[\natural p]}$ is the graph with vertex set $V$ and with an edge between vertices $x$ and $y$ if and only if $x$ and $y$ have distance $p$. Recently, there has been an effort to obtain bounds on the chromatic number $χ(G^{[\natural p]})$ of exact distance-$p$ graphs for $G$ from certain classes of graphs. In particular, if a graph $G$ has tree-width $t$, it has been shown that $χ(G^{[\natural p]}) \in \mathcal{O}(p^{t-1})$ for odd $p$, and $χ(G^{[\natural p]}) \in \mathcal{O}(p^{t}Δ(G))$ for even $p$. We show that if $G$ is chordal and has tree-width $t$, then $χ(G^{[\natural p]}) \in \mathcal{O}(p\, t^2)$ for odd $p$, and $χ(G^{[\natural p]}) \in \mathcal{O}(p\, t^2 Δ(G))$ for even $p$.
If we could show that for every graph $H$ of tree-width $t$ there is a chordal graph $G$ of tree-width $t$ which contains $H$ as an isometric subgraph (i.e., a distance preserving subgraph), then our results would extend to all graphs of tree-width $t$. While we cannot do this, we show that for every graph $H$ of genus $g$ there is a graph $G$ which is a triangulation of genus $g$ and contains $H$ as an isometric subgraph.
△ Less
Submitted 4 December, 2019; v1 submitted 20 March, 2017;
originally announced March 2017.
-
Model-Checking for Successor-Invariant First-Order Formulas on Graph Classes of Bounded Expansion
Authors:
Jan van den Heuvel,
Stephan Kreutzer,
Michał Pilipczuk,
Daniel A. Quiroz,
Roman Rabinovich,
Sebastian Siebertz
Abstract:
A successor-invariant first-order formula is a formula that has access to an auxiliary successor relation on a structure's universe, but the model relation is independent of the particular interpretation of this relation. It is well known that successor-invariant formulas are more expressive on finite structures than plain first-order formulas without a successor relation. This naturally raises th…
▽ More
A successor-invariant first-order formula is a formula that has access to an auxiliary successor relation on a structure's universe, but the model relation is independent of the particular interpretation of this relation. It is well known that successor-invariant formulas are more expressive on finite structures than plain first-order formulas without a successor relation. This naturally raises the question whether this increase in expressive power comes at an extra cost to solve the model-checking problem, that is, the problem to decide whether a given structure together with some (and hence every) successor relation is a model of a given formula. It was shown earlier that adding successor-invariance to first-order logic essentially comes at no extra cost for the model-checking problem on classes of finite structures whose underlying Gaifman graph is planar [Engelmann et al., 2012], excludes a fixed minor [Eickmeyer et al., 2013] or a fixed topological minor [Eickmeyer and Kawarabayashi, 2016; Kreutzer et al., 2016]. In this work we show that the model-checking problem for successor-invariant formulas is fixed-parameter tractable on any class of finite structures whose underlying Gaifman graphs form a class of bounded expansion. Our result generalises all earlier results and comes close to the best tractability results on nowhere dense classes of graphs currently known for plain first-order logic.
△ Less
Submitted 21 May, 2017; v1 submitted 30 January, 2017;
originally announced January 2017.
-
Chromatic Numbers of Exact Distance Graphs
Authors:
Jan van den Heuvel,
H. A. Kierstead,
Daniel A. Quiroz
Abstract:
For any graph $G=(V,E)$ and positive integer $p$, the exact distance-$p$ graph $G^{[\natural p]}$ is the graph with vertex set $V$, which has an edge between vertices $x$ and $y$ if and only if $x$ and $y$ have distance $p$ in $G$. For odd $p$, Nešetřil and Ossona de Mendez proved that for any fixed graph class with bounded expansion, the chromatic number of $G^{[\natural p]}$ is bounded by an abs…
▽ More
For any graph $G=(V,E)$ and positive integer $p$, the exact distance-$p$ graph $G^{[\natural p]}$ is the graph with vertex set $V$, which has an edge between vertices $x$ and $y$ if and only if $x$ and $y$ have distance $p$ in $G$. For odd $p$, Nešetřil and Ossona de Mendez proved that for any fixed graph class with bounded expansion, the chromatic number of $G^{[\natural p]}$ is bounded by an absolute constant. Using the notion of generalised colouring numbers, we give a much simpler proof for the result of Nešetřil and Ossona de Mendez, which at the same time gives significantly better bounds. In particular, we show that for any graph $G$ and odd positive integer $p$, the chromatic number of $G^{[\natural p]}$ is bounded by the weak $(2p-1)$-colouring number of $G$. For even $p$, we prove that $χ(G^{[\natural p]})$ is at most the weak $(2p)$-colouring number times the maximum degree. For odd $p$, the existing lower bound on the number of colours needed to colour $G^{[\natural p]}$ when $G$ is planar is improved. Similar lower bounds are given for $K_t$-minor free graphs.
△ Less
Submitted 25 May, 2018; v1 submitted 7 December, 2016;
originally announced December 2016.
