-
Treewidth versus clique number. V. Further connections with tree-independence number
Authors:
Claire Hilaire,
Martin Milanič,
Đorđe Vasić
Abstract:
We continue the study of $(tw,ω)$-bounded graph classes, that is, hereditary graph classes in which large treewidth is witnessed by the presence of a large clique, and the relation of this property to boundedness of the tree-independence number, a graph parameter introduced independently by Yolov in 2018 and by Dallard, Milanič, and Štorgel in 2024. Dallard et al. showed that bounded tree-independ…
▽ More
We continue the study of $(tw,ω)$-bounded graph classes, that is, hereditary graph classes in which large treewidth is witnessed by the presence of a large clique, and the relation of this property to boundedness of the tree-independence number, a graph parameter introduced independently by Yolov in 2018 and by Dallard, Milanič, and Štorgel in 2024. Dallard et al. showed that bounded tree-independence number is sufficient for $(tw,ω)$-boundedness, and conjectured that the converse holds. While this conjecture has been recently disproved, it is still interesting to determine classes where the conjecture holds; for example, the conjecture is still open for graph classes excluding an induced star, as well as for finitely many forbidden induced subgraphs. In this paper, we identify further families of graph classes where $(tw,ω)$-boundedness is equivalent to bounded tree-independence number. We settle a number of cases of finitely many forbidden induced subgraphs, obtain several equivalent characterizations of $(tw, ω)$-boundedness in subclasses of the class of complements of line graphs, and give a short proof of a recent result of Ahn, Gollin, Huynh, and Kwon [SODA 2025] establishing bounded tree-independence number for graphs excluding a fixed induced star and a fixed number of independent cycles.
△ Less
Submitted 19 May, 2025;
originally announced May 2025.
-
Linear colorings of graphs
Authors:
Claire Hilaire,
Matjaž Krnc,
Martin Milanič,
Jean-Florent Raymond
Abstract:
Motivated by algorithmic applications, Kun, O'Brien, Pilipczuk, and Sullivan introduced the parameter linear chromatic number as a relaxation of treedepth and proved that the two parameters are polynomially related. They conjectured that treedepth could be bounded from above by twice the linear chromatic number.
In this paper we investigate the properties of linear chromatic number and provide i…
▽ More
Motivated by algorithmic applications, Kun, O'Brien, Pilipczuk, and Sullivan introduced the parameter linear chromatic number as a relaxation of treedepth and proved that the two parameters are polynomially related. They conjectured that treedepth could be bounded from above by twice the linear chromatic number.
In this paper we investigate the properties of linear chromatic number and provide improved bounds in several graph classes.
△ Less
Submitted 5 May, 2025;
originally announced May 2025.
-
Faithful universal graphs for minor-closed classes
Authors:
Paul Bastide,
Louis Esperet,
Carla Groenland,
Claire Hilaire,
Clément Rambaud,
Alexandra Wesolek
Abstract:
It was proved by Huynh, Mohar, Šámal, Thomassen and Wood in 2021 that any countable graph containing every countable planar graph as a subgraph has an infinite clique minor. We prove a finite, quantitative version of this result: for fixed $t$, if a graph $G$ is $K_t$-minor-free and contains every $n$-vertex planar graph as a subgraph, then $G$ has $2^{Ω(\sqrt{n})}$ vertices. If $G$ contains every…
▽ More
It was proved by Huynh, Mohar, Šámal, Thomassen and Wood in 2021 that any countable graph containing every countable planar graph as a subgraph has an infinite clique minor. We prove a finite, quantitative version of this result: for fixed $t$, if a graph $G$ is $K_t$-minor-free and contains every $n$-vertex planar graph as a subgraph, then $G$ has $2^{Ω(\sqrt{n})}$ vertices. If $G$ contains every $n$-vertex toroidal graph instead, then $G$ has $2^{Ω(n)}$ vertices. On the other hand, we construct a polynomial size $K_4$-minor-free graph containing every $n$-vertex tree as an induced subgraph, and a polynomial size $K_7$-minor-free graph containing every $n$-vertex $K_4$-minor-free graph as induced subgraph. This answers several problems raised recently by Bergold, Iršič, Lauff, Orthaber, Scheucher and Wesolek.
We study more generally the order of universal graphs for various classes (of graphs of bounded degree, treedepth, pathwidth, or treewidth), if the universal graphs retain some of the structure of the original class.
△ Less
Submitted 16 May, 2025; v1 submitted 28 April, 2025;
originally announced April 2025.
-
Path Eccentricity and Forbidden Induced Subgraphs
Authors:
Sylwia Cichacz,
Claire Hilaire,
Tomáš Masařík,
Jana Masaříková,
Martin Milanič
Abstract:
The path eccentricity of a connected graph $G$ is the minimum integer $k$ such that $G$ has a path such that every vertex is at distance at most $k$ from the path. A result of Duffus, Jacobson, and Gould from 1981 states that every connected $\{\text{claw}, \text{net}\}$-free graph $G$ has a Hamiltonian path, that is, $G$ has path eccentricity~$0$. Several more recent works identified various clas…
▽ More
The path eccentricity of a connected graph $G$ is the minimum integer $k$ such that $G$ has a path such that every vertex is at distance at most $k$ from the path. A result of Duffus, Jacobson, and Gould from 1981 states that every connected $\{\text{claw}, \text{net}\}$-free graph $G$ has a Hamiltonian path, that is, $G$ has path eccentricity~$0$. Several more recent works identified various classes of connected graphs with path eccentricity at most $1$, or, equivalently, graphs having a spanning caterpillar, including connected $P_5$-free graphs, AT-free graphs, and biconvex graphs. Generalizing all these results, we apply the work on structural distance domination of Bacsó and Tuza [Discrete Math., 2012] and characterize, for every positive integer $k$, graphs such that every connected induced subgraph has path eccentricity less than $k$. More specifically, we show that every connected $\{S_{k}, T_{k}\}$-free graph has a path eccentricity less than $k$, where $S_k$ and $T_k$ are two specific graphs of path eccentricity $k$ (a subdivided claw and the line graph of such a graph). As a consequence, every connected $H$-free graph has path eccentricity less than $k$ if and only if $H$ is an induced subgraph of $3P_{k}$ or $P_{2k+1} + P_{k-1}$. Our main result also answers an open question of Bastide, Hilaire, and Robinson [Discrete Math., 2025].
△ Less
Submitted 19 March, 2025;
originally announced March 2025.
-
Sufficient conditions for polynomial-time detection of induced minors
Authors:
Clément Dallard,
Maël Dumas,
Claire Hilaire,
Anthony Perez
Abstract:
The $H$-Induced Minor Containment problem ($H$-IMC) consists in deciding if a fixed graph $H$ is an induced minor of a graph $G$ given as input, that is, whether $H$ can be obtained from $G$ by deleting vertices and contracting edges. Several graphs $H$ are known for which $H$-IMC is NP-complete, even when $H$ is a tree. In this paper, we investigate which conditions on $H$ and $G$ are sufficient…
▽ More
The $H$-Induced Minor Containment problem ($H$-IMC) consists in deciding if a fixed graph $H$ is an induced minor of a graph $G$ given as input, that is, whether $H$ can be obtained from $G$ by deleting vertices and contracting edges. Several graphs $H$ are known for which $H$-IMC is NP-complete, even when $H$ is a tree. In this paper, we investigate which conditions on $H$ and $G$ are sufficient so that the problem becomes polynomial-time solvable. Our results identify three infinite classes of graphs such that, if $H$ belongs to one of these classes, then $H$-IMC can be solved in polynomial time. Moreover, we show that if the input graph $G$ excludes long induced paths, then $H$-IMC is polynomial-time solvable for any fixed graph $H$. As a byproduct of our results, this implies that $H$-IMC is polynomial-time solvable for all graphs $H$ with at most $5$ vertices, except for three open cases.
△ Less
Submitted 7 January, 2025; v1 submitted 30 December, 2024;
originally announced January 2025.
-
Treewidth versus clique number: induced minors
Authors:
Claire Hilaire,
Martin Milanič,
Nicolas Trotignon,
Djordje Vasić
Abstract:
We prove that a hereditary class of graphs is $(\mathsf{tw}, ω)$-bounded if and only if the induced minors of the graphs from the class form a $(\mathsf{tw}, ω)$-bounded class.
We prove that a hereditary class of graphs is $(\mathsf{tw}, ω)$-bounded if and only if the induced minors of the graphs from the class form a $(\mathsf{tw}, ω)$-bounded class.
△ Less
Submitted 23 October, 2024;
originally announced October 2024.
-
Path eccentricity of $k$-AT-free graphs and application on graphs with the consecutive ones property
Authors:
Paul Bastide,
Claire Hilaire,
Eileen Robinson
Abstract:
The central path problem is a variation on the single facility location problem. The aim is to find, in a given connected graph $G$, a path $P$ minimizing its eccentricity, which is the maximal distance from $P$ to any vertex of the graph $G$. The path eccentricity of $G$ is the minimal eccentricity achievable over all paths in $G$. In this article we consider the path eccentricity of the class of…
▽ More
The central path problem is a variation on the single facility location problem. The aim is to find, in a given connected graph $G$, a path $P$ minimizing its eccentricity, which is the maximal distance from $P$ to any vertex of the graph $G$. The path eccentricity of $G$ is the minimal eccentricity achievable over all paths in $G$. In this article we consider the path eccentricity of the class of the $k$-AT-free graphs. They are graphs in which any set of three vertices contains a pair for which every path between them uses at least one vertex of the closed neighborhood at distance $k$ of the third. We prove that they have path eccentricity bounded by $k$.
Moreover, we answer a question of Gómez and Gutiérrez asking if there is a relation between path eccentricity and the consecutive ones property. The latter is the property for a binary matrix to admit a permutation of the rows placing the 1's consecutively on the columns. It was already known that graphs whose adjacency matrices have the consecutive ones property have path eccentricity at most 1, and that the same remains true when the augmented adjacency matrices (with ones on the diagonal) has the consecutive ones property. We generalize these results as follow. We study graphs whose adjacency matrices can be made to satisfy the consecutive ones property after changing some values on the diagonal, and show that those graphs have path eccentricity at most 2, by showing that they are 2-AT-free.
△ Less
Submitted 21 February, 2025; v1 submitted 8 March, 2024;
originally announced March 2024.
-
Induced Minor Models. I. Structural Properties and Algorithmic Consequences
Authors:
Nicolas Bousquet,
Clément Dallard,
Maël Dumas,
Claire Hilaire,
Martin Milanič,
Anthony Perez,
Nicolas Trotignon
Abstract:
A graph $H$ is said to be an induced minor of a graph $G$ if $H$ can be obtained from $G$ by a sequence of vertex deletions and edge contractions. Equivalently, $H$ is an induced minor of $G$ if there exists an induced minor model of $H$ in $G$, that is, a collection of pairwise disjoint subsets of vertices of $G$ labeled by the vertices of $H$, each inducing a connected subgraph in $G$, such that…
▽ More
A graph $H$ is said to be an induced minor of a graph $G$ if $H$ can be obtained from $G$ by a sequence of vertex deletions and edge contractions. Equivalently, $H$ is an induced minor of $G$ if there exists an induced minor model of $H$ in $G$, that is, a collection of pairwise disjoint subsets of vertices of $G$ labeled by the vertices of $H$, each inducing a connected subgraph in $G$, such that two vertices of $H$ are adjacent if and only if there is an edge in $G$ between the corresponding subsets.
In this paper, we investigate structural properties of induced minor models, including bounds on treewidth and chromatic number of the subgraphs induced by minimal induced minor models. It is known that for some graphs $H$, testing a given graph $G$ contains $H$ as an induced minor is an NP-complete problem. Nevertheless, as algorithmic applications of our structural results, we make use of recent developments regarding tree-independence number to show that if $H$ is the $4$-wheel, the $5$-vertex complete graph minus an edge, or a complete bipartite graph $K_{2,q}$, then there is a polynomial-time algorithm to find in a given graph $G$ an induced minor model of $H$ in $G$, if there is one. We also develop an alternative polynomial-time algorithm for recognizing graphs that do not contain $K_{2,3}$ as an induced minor, which revolves around the idea of detecting the induced subgraphs whose presence is forced when the input graph contains $K_{2,3}$ as an induced minor, using the so-called shortest path detector. It turns out that all these induced subgraphs are Truemper configurations.
△ Less
Submitted 11 March, 2025; v1 submitted 13 February, 2024;
originally announced February 2024.
-
On tree decompositions whose trees are minors
Authors:
Pablo Blanco,
Linda Cook,
Meike Hatzel,
Claire Hilaire,
Freddie Illingworth,
Rose McCarty
Abstract:
In 2019, Dvořák asked whether every connected graph $G$ has a tree decomposition $(T, \mathcal{B})$ so that $T$ is a subgraph of $G$ and the width of $(T, \mathcal{B})$ is bounded by a function of the treewidth of $G$. We prove that this is false, even when $G$ has treewidth $2$ and $T$ is allowed to be a minor of $G$.
In 2019, Dvořák asked whether every connected graph $G$ has a tree decomposition $(T, \mathcal{B})$ so that $T$ is a subgraph of $G$ and the width of $(T, \mathcal{B})$ is bounded by a function of the treewidth of $G$. We prove that this is false, even when $G$ has treewidth $2$ and $T$ is allowed to be a minor of $G$.
△ Less
Submitted 23 February, 2023;
originally announced February 2023.
-
Sparse graphs with bounded induced cycle packing number have logarithmic treewidth
Authors:
Marthe Bonamy,
Édouard Bonnet,
Hugues Déprés,
Louis Esperet,
Colin Geniet,
Claire Hilaire,
Stéphan Thomassé,
Alexandra Wesolek
Abstract:
A graph is $\mathcal{O}_k$-free if it does not contain $k$ pairwise vertex-disjoint and non-adjacent cycles. We prove that "sparse" (here, not containing large complete bipartite graphs as subgraphs) $\mathcal{O}_k$-free graphs have treewidth (even, feedback vertex set number) at most logarithmic in the number of vertices. This is optimal, as there is an infinite family of $\mathcal{O}_2$-free gra…
▽ More
A graph is $\mathcal{O}_k$-free if it does not contain $k$ pairwise vertex-disjoint and non-adjacent cycles. We prove that "sparse" (here, not containing large complete bipartite graphs as subgraphs) $\mathcal{O}_k$-free graphs have treewidth (even, feedback vertex set number) at most logarithmic in the number of vertices. This is optimal, as there is an infinite family of $\mathcal{O}_2$-free graphs without $K_{2,3}$ as a subgraph and whose treewidth is (at least) logarithmic.
Using our result, we show that Maximum Independent Set and 3-Coloring in $\mathcal{O}_k$-free graphs can be solved in quasi-polynomial time. Other consequences include that most of the central NP-complete problems (such as Maximum Independent Set, Minimum Vertex Cover, Minimum Dominating Set, Minimum Coloring) can be solved in polynomial time in sparse $\mathcal{O}_k$-free graphs, and that deciding the $\mathcal{O}_k$-freeness of sparse graphs is polynomial time solvable.
△ Less
Submitted 16 February, 2024; v1 submitted 1 June, 2022;
originally announced June 2022.
-
Long induced paths in minor-closed graph classes and beyond
Authors:
Claire Hilaire,
Jean-Florent Raymond
Abstract:
In this paper we show that every graph of pathwidth less than $k$ that has a path of order $n$ also has an induced path of order at least $\frac{1}{3} n^{1/k}$. This is an exponential improvement and a generalization of the polylogarithmic bounds obtained by Esperet, Lemoine and Maffray (2016) for interval graphs of bounded clique number. We complement this result with an upper-bound.
This resul…
▽ More
In this paper we show that every graph of pathwidth less than $k$ that has a path of order $n$ also has an induced path of order at least $\frac{1}{3} n^{1/k}$. This is an exponential improvement and a generalization of the polylogarithmic bounds obtained by Esperet, Lemoine and Maffray (2016) for interval graphs of bounded clique number. We complement this result with an upper-bound.
This result is then used to prove the two following generalizations:
- every graph of treewidth less than $k$ that has a path of order $n$ contains an induced path of order at least $\frac{1}{4} (\log n)^{1/k}$;
- for every non-trivial graph class that is closed under topological minors there is a constant $d \in (0,1)$ such that every graph from this class that has a path of order $n$ contains an induced path of order at least $(\log n)^d$.
We also describe consequences of these results beyond graph classes that are closed under topological minors.
△ Less
Submitted 3 January, 2023; v1 submitted 11 January, 2022;
originally announced January 2022.
-
Ricci flow on Riemannian groupoids
Authors:
Christian Hilaire
Abstract:
We study the Ricci flow on Riemannian groupoids. We assume that these groupoids are closed and that the space of orbits is compact and connected. We prove the short time existence and uniqueness of the Ricci flow on these groupoids. We also define a F-functional and derive the corresponding results for steady breathers on these spaces.
We study the Ricci flow on Riemannian groupoids. We assume that these groupoids are closed and that the space of orbits is compact and connected. We prove the short time existence and uniqueness of the Ricci flow on these groupoids. We also define a F-functional and derive the corresponding results for steady breathers on these spaces.
△ Less
Submitted 24 July, 2015; v1 submitted 21 November, 2014;
originally announced November 2014.
-
The Long-Time Behavior of the Ricci Tensor Under The Ricci Flow
Authors:
Christian Hilaire
Abstract:
We show that, given an immortal solution to the Ricci flow on a closed manifold with uniformly bounded curvature and diameter, the Ricci tensor goes to zero as t goes to infinity. We also show that if there exists an immortal solution on a closed 3-dimensional manifold such that the product of the square of the diameter with the norm of the curvature tensor is uniformly bounded, then the solution…
▽ More
We show that, given an immortal solution to the Ricci flow on a closed manifold with uniformly bounded curvature and diameter, the Ricci tensor goes to zero as t goes to infinity. We also show that if there exists an immortal solution on a closed 3-dimensional manifold such that the product of the square of the diameter with the norm of the curvature tensor is uniformly bounded, then the solution must be of type III.
△ Less
Submitted 30 April, 2012;
originally announced April 2012.
