-
Tree Independence Number IV. Even-hole-free Graphs
Authors:
Maria Chudnovsky,
Peter Gartland,
Sepehr Hajebi,
Daniel Lokshtanov,
Sophie Spirkl
Abstract:
We prove that the tree independence number of every even-hole-free graph is at most polylogarithmic in its number of vertices. More explicitly, we prove that there exists a constant c>0 such that for every integer n>1 every n-vertex even-hole-free graph has a tree decomposition where each bag has stability (independence) number at most c log^10 n. This implies that the Maximum Weight Independent S…
▽ More
We prove that the tree independence number of every even-hole-free graph is at most polylogarithmic in its number of vertices. More explicitly, we prove that there exists a constant c>0 such that for every integer n>1 every n-vertex even-hole-free graph has a tree decomposition where each bag has stability (independence) number at most c log^10 n. This implies that the Maximum Weight Independent Set problem, as well as several other natural algorithmic problems that are known to be NP-hard in general, can be solved in quasi-polynomial time if the input graph is even-hole-free.
△ Less
Submitted 11 July, 2024;
originally announced July 2024.
-
Tree independence number III. Thetas, prisms and stars
Authors:
Maria Chudnovsky,
Sepehr Hajebi,
Nicolas Trotignon
Abstract:
We prove that for every $t\in \mathbb{N}$ there exists $τ=τ(t)\in \mathbb{N}$ such that every (theta, prism, $K_{1,t}$)-free graph has tree independence number at most $τ$ (where we allow "prisms" to have one path of length zero).
We prove that for every $t\in \mathbb{N}$ there exists $τ=τ(t)\in \mathbb{N}$ such that every (theta, prism, $K_{1,t}$)-free graph has tree independence number at most $τ$ (where we allow "prisms" to have one path of length zero).
△ Less
Submitted 6 July, 2024; v1 submitted 18 June, 2024;
originally announced June 2024.
-
Counting independent sets in structured graphs
Authors:
Matija Bucić,
Maria Chudnovsky,
Julien Codsi
Abstract:
Counting independent sets in graphs and hypergraphs under a variety of restrictions is a classical question with a long history. It is the subject of the celebrated container method which found numerous spectacular applications over the years. We consider the question of how many independent sets we can have in a graph under structural restrictions. We show that any $n$-vertex graph with independe…
▽ More
Counting independent sets in graphs and hypergraphs under a variety of restrictions is a classical question with a long history. It is the subject of the celebrated container method which found numerous spectacular applications over the years. We consider the question of how many independent sets we can have in a graph under structural restrictions. We show that any $n$-vertex graph with independence number $α$ without $bK_a$ as an induced subgraph has at most $n^{O(1)} \cdot α^{O(α)}$ independent sets. This substantially improves the trivial upper bound of $n^α,$ whenever $α\le n^{o(1)}$ and gives a characterization of graphs forbidding of which allows for such an improvement. It is also in general tight up to a constant in the exponent since there exist triangle-free graphs with $α^{Ω(α)}$ independent sets. We also prove that if one in addition assumes the ground graph is chi-bounded one can improve the bound to $n^{O(1)} \cdot 2^{O(α)}$ which is tight up to a constant factor in the exponent.
△ Less
Submitted 11 June, 2024;
originally announced June 2024.
-
On treewidth and maximum cliques
Authors:
Maria Chudnovsky,
Nicolas Trotignon
Abstract:
We construct classes of graphs that are variants of the so-called layered wheel. One of their key properties is that while the treewidth is bounded by a function of the clique number, the construction can be adjusted to make the dependance grow arbitrarily. Some of these classes provide counter-examples to several conjectures. In particular, the construction includes hereditary classes of graphs w…
▽ More
We construct classes of graphs that are variants of the so-called layered wheel. One of their key properties is that while the treewidth is bounded by a function of the clique number, the construction can be adjusted to make the dependance grow arbitrarily. Some of these classes provide counter-examples to several conjectures. In particular, the construction includes hereditary classes of graphs whose treewidth is bounded by a function of the clique number while the tree-independence number is unbounded, thus disproving a conjecture of Dallard, Milanič and Štorgel [Treewidth versus clique number. II. Tree-independence number. Journal of Combinatorial Theory, Series B, 164:404-442, 2024.]. The construction can be further adjusted to provide, for any fixed integer $c$, graphs of arbitrarily large treewidth that contain no $K_c$-free graphs of high treewidth, thus disproving a conjecture of Hajebi [Chordal graphs, even-hole-free graphs and sparse obstructions to bounded treewidth, arXiv:2401.01299, 2024].
△ Less
Submitted 13 May, 2024;
originally announced May 2024.
-
Unavoidable induced subgraphs in graphs with complete bipartite induced minors
Authors:
Maria Chudnovsky,
Meike Hatzel,
Tuukka Korhonen,
Nicolas Trotignon,
Sebastian Wiederrecht
Abstract:
We prove that if a graph contains the complete bipartite graph $K_{134, 12}$ as an induced minor, then it contains a cycle of length at most~12 or a theta as an induced subgraph. With a longer and more technical proof, we prove that if a graph contains $K_{3, 4}$ as an induced minor, then it contains a triangle or a theta as an induced subgraph. Here, a \emph{theta} is a graph made of three intern…
▽ More
We prove that if a graph contains the complete bipartite graph $K_{134, 12}$ as an induced minor, then it contains a cycle of length at most~12 or a theta as an induced subgraph. With a longer and more technical proof, we prove that if a graph contains $K_{3, 4}$ as an induced minor, then it contains a triangle or a theta as an induced subgraph. Here, a \emph{theta} is a graph made of three internally vertex-disjoint chordless paths $P_1 = a \dots b$, $P_2 = a \dots b$, $P_3 = a \dots b$, each of length at least two, such that no edges exist between the paths except the three edges incident to $a$ and the three edges incident to $b$.
A consequence is that excluding a grid and a complete bipartite graph as induced minors is not enough to guarantee a bounded tree-independence number, or even that the treewidth is bounded by a function of the size of the maximum clique, because the existence of graphs with large treewidth that contain no triangles or thetas as induced subgraphs is already known (the so-called layered wheels).
△ Less
Submitted 3 May, 2024;
originally announced May 2024.
-
Tree independence number II. Three-path-configurations
Authors:
Maria Chudnovsky,
Sepehr Hajebi,
Daniel Lokshtanov,
Sophie Spirkl
Abstract:
A three-path-configuration is a graph consisting of three pairwise internally-disjoint paths the union of every two of which is an induced cycle of length at least four. A graph is 3PC-free if no induced subgraph of it is a three-path-configuration. We prove that 3PC-free graphs have poly-logarithmic tree-independence number. More explicitly, we show that there exists a constant $c$ such that ever…
▽ More
A three-path-configuration is a graph consisting of three pairwise internally-disjoint paths the union of every two of which is an induced cycle of length at least four. A graph is 3PC-free if no induced subgraph of it is a three-path-configuration. We prove that 3PC-free graphs have poly-logarithmic tree-independence number. More explicitly, we show that there exists a constant $c$ such that every $n$-vertex 3PC-free graph graph has a tree decomposition in which every bag has stability number at most $c (\log n)^2$. This implies that the Maximum Weight Independent Set problem, as well as several other natural algorithmic problems, that are known to be NP-hard in general, can be solved in quasi-polynomial time if the input graph is 3PC-free.
△ Less
Submitted 14 June, 2024; v1 submitted 30 April, 2024;
originally announced May 2024.
-
Induced subgraphs and tree decompositions XV. Even-hole-free graphs with bounded clique number have logarithmic treewidth
Authors:
Maria Chudnovsky,
Peter Gartland,
Sepehr Hajebi,
Daniel Lokshtanov,
Sophie Spirkl
Abstract:
We prove that for every integer $t\geq 1$ there exists an integer $c_t\geq 1$ such that every $n$-vertex even-hole-free graph with no clique of size $t$ has treewidth at most $c_t\log{n}$. This resolves a conjecture of Sintiari and Trotignon, who also proved that the logarithmic bound is asymptotically best possible. It follows that several \textsf{NP}-hard problems such as \textsc{Stable Set}, \t…
▽ More
We prove that for every integer $t\geq 1$ there exists an integer $c_t\geq 1$ such that every $n$-vertex even-hole-free graph with no clique of size $t$ has treewidth at most $c_t\log{n}$. This resolves a conjecture of Sintiari and Trotignon, who also proved that the logarithmic bound is asymptotically best possible. It follows that several \textsf{NP}-hard problems such as \textsc{Stable Set}, \textsc{Vertex Cover}, \textsc{Dominating Set} and \textsc{Coloring} admit polynomial-time algorithms on this class of graphs. As a consequence, for every positive integer $r$, $r$-{\sc Coloring} can be solved in polynomial time on even-hole-free graphs without any assumptions on clique size.
As part of the proof, we show that there is an integer $d$ such that every even-hole-free graph has a balanced separator which is contained in the (closed) neighborhood of at most $d$ vertices. This is of independent interest; for instance, it implies the existence of efficient approximation algorithms for certain \textsf{NP}-hard problems while restricted to the class of all even-hole-free graphs.
△ Less
Submitted 3 May, 2024; v1 submitted 21 February, 2024;
originally announced February 2024.
-
On prime Cayley graphs
Authors:
Maria Chudnovsky,
Michal Cizek,
Logan Crew,
Ján Mináč,
Tung T. Nguyen,
Sophie Spirkl,
Nguyên Duy Tân
Abstract:
The decomposition of complex networks into smaller, interconnected components is a central challenge in network theory with a wide range of potential applications. In this paper, we utilize tools from group theory and ring theory to study this problem when the network is a Cayley graph. In particular, we answer the following question: Which Cayley graphs are prime?
The decomposition of complex networks into smaller, interconnected components is a central challenge in network theory with a wide range of potential applications. In this paper, we utilize tools from group theory and ring theory to study this problem when the network is a Cayley graph. In particular, we answer the following question: Which Cayley graphs are prime?
△ Less
Submitted 11 January, 2024;
originally announced January 2024.
-
The Structure of Metrizable Graphs
Authors:
Maria Chudnovsky,
Daniel Cizma,
Nati Linial
Abstract:
A consistent path system in a graph $G$ is an intersection-closed collection of paths, with exactly one path between any two vertices in $G$. We call $G$ metrizable if every consistent path system in it is the system of geodesic paths defined by assigning some positive lengths to its edges. We show that metrizable graphs are, in essence, subdivisions of a small family of basic graphs with addition…
▽ More
A consistent path system in a graph $G$ is an intersection-closed collection of paths, with exactly one path between any two vertices in $G$. We call $G$ metrizable if every consistent path system in it is the system of geodesic paths defined by assigning some positive lengths to its edges. We show that metrizable graphs are, in essence, subdivisions of a small family of basic graphs with additional compliant edges. In particular, we show that every metrizable graph with 11 vertices or more is outerplanar plus one vertex.
△ Less
Submitted 15 November, 2023;
originally announced November 2023.
-
Induced subgraphs and tree decompositions XIV. Non-adjacent neighbours in a hole
Authors:
Maria Chudnovsky,
Sepehr Hajebi,
Sophie Spirkl
Abstract:
A clock is a graph consisting of an induced cycle $C$ and a vertex not in $C$ with at least two non-adjacent neighbours in $C$. We show that every clock-free graph of large treewidth contains a "basic obstruction" of large treewidth as an induced subgraph: a complete graph, a subdivision of a wall, or the line graph of a subdivision of a wall.
A clock is a graph consisting of an induced cycle $C$ and a vertex not in $C$ with at least two non-adjacent neighbours in $C$. We show that every clock-free graph of large treewidth contains a "basic obstruction" of large treewidth as an induced subgraph: a complete graph, a subdivision of a wall, or the line graph of a subdivision of a wall.
△ Less
Submitted 9 November, 2023;
originally announced November 2023.
-
List-$k$-Coloring $H$-free graphs for all $k>4$
Authors:
Maria Chudnovsky,
Sepehr Hajebi,
Sophie Spirkl
Abstract:
Given an integer $k>4$ and a graph $H$, we prove that, assuming P$\neq$NP, the List-$k$-Coloring Problem restricted to $H$-free graphs can be solved in polynomial time if and only if either every component of $H$ is a path on at most three vertices, or removing the isolated vertices of $H$ leaves an induced subgraph of the five-vertex path. In fact, the "if" implication holds for all $k\geq 1$.
Given an integer $k>4$ and a graph $H$, we prove that, assuming P$\neq$NP, the List-$k$-Coloring Problem restricted to $H$-free graphs can be solved in polynomial time if and only if either every component of $H$ is a path on at most three vertices, or removing the isolated vertices of $H$ leaves an induced subgraph of the five-vertex path. In fact, the "if" implication holds for all $k\geq 1$.
△ Less
Submitted 9 November, 2023;
originally announced November 2023.
-
Induced subgraphs and tree decompositions XIII. Basic obstructions in $\mathcal{H}$-free graphs for finite $\mathcal{H}$
Authors:
Bogdan Alecu,
Maria Chudnovsky,
Sepehr Hajebi,
Sophie Spirkl
Abstract:
Unlike minors, the induced subgraph obstructions to bounded treewidth come in a large variety, including, for every $t\geq 1$, the $t$-basic obstructions: the graphs $K_{t+1}$ and $K_{t,t}$, along with the subdivisions of the $t$-by-$t$ wall and their line graphs. But this list is far from complete. The simplest example of a ''non-basic'' obstruction is due to Pohoata and Davies (independently). F…
▽ More
Unlike minors, the induced subgraph obstructions to bounded treewidth come in a large variety, including, for every $t\geq 1$, the $t$-basic obstructions: the graphs $K_{t+1}$ and $K_{t,t}$, along with the subdivisions of the $t$-by-$t$ wall and their line graphs. But this list is far from complete. The simplest example of a ''non-basic'' obstruction is due to Pohoata and Davies (independently). For every $n \geq 1$, they construct certain graphs of treewidth $n$ and with no $3$-basic obstruction as an induced subgraph, which we call $n$-arrays.
Let us say a graph class $\mathcal{G}$ is clean if the only obstructions to bounded treewidth in $\mathcal{G}$ are in fact the basic ones. It follows that a full description of the induced subgraph obstructions to bounded treewidth is equivalent to a characterization of all families $\mathcal{H}$ of graphs for which the class of all $\mathcal{H}$-free graphs is clean (a graph $G$ is $\mathcal{H}$-free if no induced subgraph of $G$ is isomorphic to any graph in $\mathcal{H}$).
This remains elusive, but there is an immediate necessary condition: if $\mathcal{H}$-free graphs are clean, then there are only finitely many integers $n\geq 1$ such that there is an $n$-array which is $\mathcal{H}$-free. The above necessary condition is not sufficient in general. However, the situation turns out to be different if $\mathcal{H}$ is finite: we prove that for every finite set $\mathcal{H}$ of graphs, the class of all $\mathcal{H}$-free graphs is clean if and only if there is no $\mathcal{H}$-free $n$-array except possibly for finitely many values of $n$.
△ Less
Submitted 26 November, 2023; v1 submitted 8 November, 2023;
originally announced November 2023.
-
Reuniting $χ$-boundedness with polynomial $χ$-boundedness
Authors:
Maria Chudnovsky,
Linda Cook,
James Davies,
Sang-il Oum
Abstract:
A class $\mathcal F$ of graphs is $χ$-bounded if there is a function $f$ such that $χ(H)\le f(ω(H))$ for all induced subgraphs $H$ of a graph in $\mathcal F$. If $f$ can be chosen to be a polynomial, we say that $\mathcal F$ is polynomially $χ$-bounded. Esperet proposed a conjecture that every $χ$-bounded class of graphs is polynomially $χ$-bounded. This conjecture has been disproved; it has been…
▽ More
A class $\mathcal F$ of graphs is $χ$-bounded if there is a function $f$ such that $χ(H)\le f(ω(H))$ for all induced subgraphs $H$ of a graph in $\mathcal F$. If $f$ can be chosen to be a polynomial, we say that $\mathcal F$ is polynomially $χ$-bounded. Esperet proposed a conjecture that every $χ$-bounded class of graphs is polynomially $χ$-bounded. This conjecture has been disproved; it has been shown that there are classes of graphs that are $χ$-bounded but not polynomially $χ$-bounded. Nevertheless, inspired by Esperet's conjecture, we introduce Pollyanna classes of graphs. A class $\mathcal C$ of graphs is Pollyanna if $\mathcal C\cap \mathcal F$ is polynomially $χ$-bounded for every $χ$-bounded class $\mathcal F$ of graphs. We prove that several classes of graphs are Pollyanna and also present some proper classes of graphs that are not Pollyanna.
△ Less
Submitted 17 October, 2023;
originally announced October 2023.
-
Graphs with no even holes and no sector wheels are the union of two chordal graphs
Authors:
Tara Abrishami,
Eli Berger,
Maria Chudnovsky,
Shira Zerbib
Abstract:
Sivaraman conjectured that if $G$ is a graph with no induced even cycle then there exist sets $X_1, X_2 \subseteq V(G)$ satisfying $V(G) = X_1 \cup X_2$ such that the induced graphs $G[X_1]$ and $G[X_2]$ are both chordal. We prove this conjecture in the special case where $G$ contains no sector wheel, namely, a pair $(H, w)$ where $H$ is an induced cycle of $G$ and $w$ is a vertex in…
▽ More
Sivaraman conjectured that if $G$ is a graph with no induced even cycle then there exist sets $X_1, X_2 \subseteq V(G)$ satisfying $V(G) = X_1 \cup X_2$ such that the induced graphs $G[X_1]$ and $G[X_2]$ are both chordal. We prove this conjecture in the special case where $G$ contains no sector wheel, namely, a pair $(H, w)$ where $H$ is an induced cycle of $G$ and $w$ is a vertex in $V(G) \setminus V(H)$ such that $N(w) \cap H$ is either $V(H)$ or a path with at least three vertices.
△ Less
Submitted 9 October, 2023;
originally announced October 2023.
-
Induced subgraphs and tree decompositions XII. Grid theorem for pinched graphs
Authors:
Bogdan Alecu,
Maria Chudnovsky,
Sepehr Hajebi,
Sophie Spirkl
Abstract:
Given an integer $c\geq 1$, we say a graph $G$ is $c$-pinched if $G$ does not contain an induced subgraph consisting of $c$ cycles, all going through a single common vertex and otherwise pairwise disjoint and with no edges between them. What can be said about the structure of $c$-pinched graphs?
For instance, $1$-pinched graphs are exactly graphs of treewidth $1$. However, bounded treewidth for…
▽ More
Given an integer $c\geq 1$, we say a graph $G$ is $c$-pinched if $G$ does not contain an induced subgraph consisting of $c$ cycles, all going through a single common vertex and otherwise pairwise disjoint and with no edges between them. What can be said about the structure of $c$-pinched graphs?
For instance, $1$-pinched graphs are exactly graphs of treewidth $1$. However, bounded treewidth for $c>1$ is immediately seen to be a false hope because complete graphs, complete bipartite graphs, subdivided walls and line-graphs of subdivided walls are all examples of $2$-pinched graphs with arbitrarily large treewidth. There is even a fifth obstruction for larger values of $c$, discovered by Pohoata and later independently by Davies, consisting of $3$-pinched graphs with unbounded treewidth and no large induced subgraph isomorphic to any of the first four obstructions.
We fuse the above five examples into a grid-type theorem fully describing the unavoidable induced subgraphs of pinched graphs with large treewidth. More precisely, we prove that for every integer $c\geq 1$, a $c$-pinched graph $G$ has large treewidth if and only if $G$ contains one of the following as an induced subgraph: a large complete graph, a large complete bipartite graph, a subdivision of a large wall, the line-graph of a subdivision of a large wall, or a large graph from the Pohoata-Davies construction. Our main result also generalizes to an extension of pinched graphs where the lengths of excluded cycles are lower-bounded.
△ Less
Submitted 21 September, 2023;
originally announced September 2023.
-
Induced subgraphs and tree decompositions XI. Local structure in even-hole-free graphs of large treewidth
Authors:
Bogdan Alecu,
Maria Chudnovsky,
Sepehr Hajebi,
Sophie Spirkl
Abstract:
Treewidth is a fundamental graph parameter that quantifies the complexity of graphs by measuring their "thickness" compared to a tree. In 1986, Robertson and Seymour proved that the only way a graph may have large treewidth is by containing a large hexagonal grid as a minor, or equivalently, as a (subdivided) subgraph. Which induced subgraphs prevent a graph from having small treewidth?
Along wi…
▽ More
Treewidth is a fundamental graph parameter that quantifies the complexity of graphs by measuring their "thickness" compared to a tree. In 1986, Robertson and Seymour proved that the only way a graph may have large treewidth is by containing a large hexagonal grid as a minor, or equivalently, as a (subdivided) subgraph. Which induced subgraphs prevent a graph from having small treewidth?
Along with complete graphs, there are three other "basic" obstructions that should appear in the answer. But the full list remains beyond the reach of current methods, and "even holes" seem to be the crux of this matter. The reason lies in the observation that even holes are the only (non-trivial) induced subgraphs that all basic obstructions except for complete graphs have in common, and yet graphs with no even hole and no $4$-vertex complete subgraph fail to have bounded treewidth.
The only known example of (even-hole, $K_4$)-free graphs of unbounded treewidth, called "layered wheels", is due to Sintiari and Trotignon. While rather complicated in global structure, layered wheels are unexpectedly sparse from a local perspective: for every $h\geq 1$, there are layered wheels of arbitrarily large treewidth in which every induced subgraph on at most $h$ vertices is chordal. The converse is also true, that every $K_4$-free chordal graph $H$ appears as an induced subgraph in every layered wheel of sufficiently large treewidth.
It turns out, despite their technically involved construction, that layered wheels are in fact quite canonical: our main result shows that the local structure of layered wheels is realized in every (even-hole, $K_4$)-free graph of large treewidth. More precisely, we prove that for a graph $H$, every (even-hole, $K_4$)-free graph of large enough treewidth contains an induced subgraph isomorphic to $H$, if and only if $H$ is a $K_4$-free chordal graph.
△ Less
Submitted 22 November, 2023; v1 submitted 8 September, 2023;
originally announced September 2023.
-
Induced subgraphs and tree decompositions X. Towards logarithmic treewidth for even-hole-free graphs
Authors:
Tara Abrishami,
Bogdan Alecu,
Maria Chudnovsky,
Sepehr Hajebi,
Sophie Spirkl
Abstract:
A generalized $t$-pyramid is a graph obtained from a certain kind of tree (a subdivided star or a subdivided cubic caterpillar) and the line graph of a subdivided cubic caterpillar by identifying simplicial vertices. We prove that for every integer $t$ there exists a constant $c(t)$ such that every $n$-vertex even-hole-free graph with no clique of size $t$ and no induced subgraph isomorphic to a g…
▽ More
A generalized $t$-pyramid is a graph obtained from a certain kind of tree (a subdivided star or a subdivided cubic caterpillar) and the line graph of a subdivided cubic caterpillar by identifying simplicial vertices. We prove that for every integer $t$ there exists a constant $c(t)$ such that every $n$-vertex even-hole-free graph with no clique of size $t$ and no induced subgraph isomorphic to a generalized $t$-pyramid has treewidth at most $c(t)\log{n}$. This settles a special case of a conjecture of Sintiari and Trotignon; this bound is also best possible for the class. It follows that several NP-hard problems such as Stable Set, Vertex Cover, Dominating Set and Coloring admit polynomial-time algorithms on this class of graphs.
△ Less
Submitted 25 July, 2023;
originally announced July 2023.
-
Sparse induced subgraphs in P_6-free graphs
Authors:
Maria Chudnovsky,
Rose McCarty,
Marcin Pilipczuk,
Michał Pilipczuk,
Paweł Rzążewski
Abstract:
We prove that a number of computational problems that ask for the largest sparse induced subgraph satisfying some property definable in CMSO2 logic, most notably Feedback Vertex Set, are polynomial-time solvable in the class of $P_6$-free graphs. This generalizes the work of Grzesik, Klimošová, Pilipczuk, and Pilipczuk on the Maximum Weight Independent Set problem in $P_6$-free graphs~[SODA 2019,…
▽ More
We prove that a number of computational problems that ask for the largest sparse induced subgraph satisfying some property definable in CMSO2 logic, most notably Feedback Vertex Set, are polynomial-time solvable in the class of $P_6$-free graphs. This generalizes the work of Grzesik, Klimošová, Pilipczuk, and Pilipczuk on the Maximum Weight Independent Set problem in $P_6$-free graphs~[SODA 2019, TALG 2022], and of Abrishami, Chudnovsky, Pilipczuk, Rzążewski, and Seymour on problems in $P_5$-free graphs~[SODA~2021]. The key step is a new generalization of the framework of potential maximal cliques. We show that instead of listing a large family of potential maximal cliques, it is sufficient to only list their carvers: vertex sets that contain the same vertices from the sought solution and have similar separation properties.
△ Less
Submitted 14 July, 2023;
originally announced July 2023.
-
Tree independence number I. (Even hole, diamond, pyramid)-free graphs
Authors:
Tara Abrishami,
Bogdan Alecu,
Maria Chudnovsky,
Sepehr Hajebi,
Sophie Spirkl,
Kristina Vušković
Abstract:
The tree-independence number tree-$α$, first defined and studied by Dallard, Milanič and Štorgel, is a variant of treewidth tailored to solving the maximum independent set problem.
Over a series of papers, Abrishami et al. developed the so-called central bag method to study induced obstructions to bounded treewidth. Among others, they showed that, in a certain superclass $\mathcal C$ of (even ho…
▽ More
The tree-independence number tree-$α$, first defined and studied by Dallard, Milanič and Štorgel, is a variant of treewidth tailored to solving the maximum independent set problem.
Over a series of papers, Abrishami et al. developed the so-called central bag method to study induced obstructions to bounded treewidth. Among others, they showed that, in a certain superclass $\mathcal C$ of (even hole, diamond, pyramid)-free graphs, treewidth is bounded by a function of the clique number. In this paper, we relax the bounded clique number assumption, and show that $\mathcal C$ has bounded tree-$α$. Via existing results, this yields a polynomial time algorithm for the maximum independent set problem in this class. Our result also corroborates, for this class of graphs, a conjecture of Dallard, Milanič and Štorgel that in a hereditary graph class, tree-$α$ is bounded if and only if the treewidth is bounded by a function of the clique number.
△ Less
Submitted 22 February, 2024; v1 submitted 25 May, 2023;
originally announced May 2023.
-
Induced subgraphs and tree decompositions IX. Grid theorem for perforated graphs
Authors:
Bogdan Alecu,
Maria Chudnovsky,
Sepehr Hajebi,
Sophie Spirkl
Abstract:
The celebrated Erdős-Pósa Theorem, in one formulation, asserts that for every $c\geq 1$, graphs with no subgraph (or equivalently, minor) isomorphic to the disjoint union of $c$ cycles have bounded treewidth. What can we say about the treewidth of graphs containing no induced subgraph isomorphic to the disjoint union of $c$ cycles?
Let us call these graphs $c$-perforated. While $1$-perforated gr…
▽ More
The celebrated Erdős-Pósa Theorem, in one formulation, asserts that for every $c\geq 1$, graphs with no subgraph (or equivalently, minor) isomorphic to the disjoint union of $c$ cycles have bounded treewidth. What can we say about the treewidth of graphs containing no induced subgraph isomorphic to the disjoint union of $c$ cycles?
Let us call these graphs $c$-perforated. While $1$-perforated graphs have treewidth one, complete graphs and complete bipartite graphs are examples of $2$-perforated graphs with arbitrarily large treewidth. But there are sparse examples, too: Bonamy, Bonnet, Déprés, Esperet, Geniet, Hilaire, Thomassé and Wesolek constructed $2$-perforated graphs with arbitrarily large treewidth and no induced subgraph isomorphic to $K_3$ or $K_{3,3}$; we call these graphs occultations. Indeed, it turns out that a mild (and inevitable) adjustment of occultations provides examples of $2$-perforated graphs with arbitrarily large treewidth and arbitrarily large girth, which we refer to as full occultations.
Our main result shows that the converse also holds: for every $c\geq 1$, a $c$-perforated graph has large treewidth if and only if it contains, as an induced subgraph, either a large complete graph, or a large complete bipartite graph, or a large full occultation. This distinguishes $c$-perforated graphs, among graph classes purely defined by forbidden induced subgraphs, as the first to admit a grid-type theorem incorporating obstructions other than subdivided walls and their line graphs.
More generally, for all $c,o\geq 1$, we establish a full characterization of induced subgraph obstructions to bounded treewidth in graphs containing no induced subgraph isomorphic to the disjoint union of $c$ cycles, each of length at least $o+2$.
△ Less
Submitted 24 May, 2023;
originally announced May 2023.
-
Even pairs in Berge graphs with no balanced skew-partitions
Authors:
Tara Abrishami,
Maria Chudnovsky,
Yaqian Tang
Abstract:
Let $G$ be a Berge graph that has no odd prism and no antihole of length at least six as an induced subgraph. We show that every such graph $G$ with no balanced skew-partition is either complete or has an even pair.
Let $G$ be a Berge graph that has no odd prism and no antihole of length at least six as an induced subgraph. We show that every such graph $G$ with no balanced skew-partition is either complete or has an even pair.
△ Less
Submitted 12 March, 2024; v1 submitted 30 April, 2023;
originally announced May 2023.
-
Characterizing and generalizing cycle completable graphs
Authors:
Maria Chudnovsky,
Ian Malcolm Johnson McInnis
Abstract:
The family of cycle completable graphs has several cryptomorphic descriptions, the equivalence of which has heretofore been proven by a laborious implication-cycle that detours through a motivating matrix completion problem. We give a concise proof, partially by introducing a new characterization. Then we generalize this family to ``$k$-quasichordal'' graphs, with three natural characterizations.
The family of cycle completable graphs has several cryptomorphic descriptions, the equivalence of which has heretofore been proven by a laborious implication-cycle that detours through a motivating matrix completion problem. We give a concise proof, partially by introducing a new characterization. Then we generalize this family to ``$k$-quasichordal'' graphs, with three natural characterizations.
△ Less
Submitted 1 September, 2023; v1 submitted 18 April, 2023;
originally announced April 2023.
-
Cops and robbers on $P_5$-free graphs
Authors:
Maria Chudnovsky,
Sergey Norin,
Paul Seymour,
Jérémie Turcotte
Abstract:
We prove that every connected $P_5$-free graph has cop number at most two, solving a conjecture of Sivaraman. In order to do so, we first prove that every connected $P_5$-free graph $G$ with independence number at least three contains a three-vertex induced path with vertices $a \hbox{-} b \hbox{-} c$ in order, such that every neighbour of $c$ is also adjacent to one of $a,b$.
We prove that every connected $P_5$-free graph has cop number at most two, solving a conjecture of Sivaraman. In order to do so, we first prove that every connected $P_5$-free graph $G$ with independence number at least three contains a three-vertex induced path with vertices $a \hbox{-} b \hbox{-} c$ in order, such that every neighbour of $c$ is also adjacent to one of $a,b$.
△ Less
Submitted 30 January, 2023;
originally announced January 2023.
-
Induced subgraphs and tree decompositions VIII. Excluding a forest in (theta, prism)-free graphs
Authors:
Tara Abrishami,
Bogdan Alecu,
Maria Chudnovsky,
Sepehr Hajebi,
Sophie Spirkl
Abstract:
Given a graph $H$, we prove that every (theta, prism)-free graph of sufficiently large treewidth contains either a large clique or an induced subgraph isomorphic to $H$, if and only if $H$ is a forest.
Given a graph $H$, we prove that every (theta, prism)-free graph of sufficiently large treewidth contains either a large clique or an induced subgraph isomorphic to $H$, if and only if $H$ is a forest.
△ Less
Submitted 28 January, 2023; v1 submitted 5 January, 2023;
originally announced January 2023.
-
Induced subgraphs and tree-decompositions VII. Basic obstructions in $H$-free graphs
Authors:
Tara Abrishami,
Bogdan Alecu,
Maria Chudnovsky,
Sepehr Hajebi,
Sophie Spirkl
Abstract:
We say a class $\mathcal{C}$ of graphs is clean if for every positive integer $t$ there exists a positive integer $w(t)$ such that every graph in $\mathcal{C}$ with treewidth more than $w(t)$ contains an induced subgraph isomorphic to one of the following: the complete graph $K_t$, the complete bipartite graph $K_{t,t}$, a subdivision of the $(t\times t)$-wall or the line graph of a subdivision of…
▽ More
We say a class $\mathcal{C}$ of graphs is clean if for every positive integer $t$ there exists a positive integer $w(t)$ such that every graph in $\mathcal{C}$ with treewidth more than $w(t)$ contains an induced subgraph isomorphic to one of the following: the complete graph $K_t$, the complete bipartite graph $K_{t,t}$, a subdivision of the $(t\times t)$-wall or the line graph of a subdivision of the $(t \times t)$-wall. In this paper, we adapt a method due to Lozin and Razgon (building on earlier ideas of Weißauer) to prove that the class of all $H$-free graphs (that is, graphs with no induced subgraph isomorphic to a fixed graph $H$) is clean if and only if $H$ is a forest whose components are subdivided stars.
Their method is readily applied to yield the above characterization. However, our main result is much stronger: for every forest $H$ as above, we show that forbidding certain connected graphs containing $H$ as an induced subgraph (rather than $H$ itself) is enough to obtain a clean class of graphs. Along the proof of the latter strengthening, we build on a result of Davies and produce, for every positive integer $η$, a complete description of unavoidable connected induced subgraphs of a connected graph $G$ containing $η$ vertices from a suitably large given set of vertices in $G$. This is of independent interest, and will be used in subsequent papers in this series.
△ Less
Submitted 7 November, 2023; v1 submitted 5 December, 2022;
originally announced December 2022.
-
Induced subgraphs and tree decompositions VI. Graphs with 2-cutsets
Authors:
Tara Abrishami,
Maria Chudnovsky,
Sepehr Hajebi,
Sophie Spirkl
Abstract:
This paper continues a series of papers investigating the following question: which hereditary graph classes have bounded treewidth? We call a graph $t$-clean if it does not contain as an induced subgraph the complete graph $K_t$, the complete bipartite graph $K_{t, t}$, subdivisions of a $(t \times t)$-wall, and line graphs of subdivisions of a $(t \times t)$-wall. It is known that graphs with bo…
▽ More
This paper continues a series of papers investigating the following question: which hereditary graph classes have bounded treewidth? We call a graph $t$-clean if it does not contain as an induced subgraph the complete graph $K_t$, the complete bipartite graph $K_{t, t}$, subdivisions of a $(t \times t)$-wall, and line graphs of subdivisions of a $(t \times t)$-wall. It is known that graphs with bounded treewidth must be $t$-clean for some $t$; however, it is not true that every $t$-clean graph has bounded treewidth. In this paper, we show that three types of cutsets, namely clique cutsets, 2-cutsets, and 1-joins, interact well with treewidth and with each other, so graphs that are decomposable by these cutsets into basic classes of bounded treewidth have bounded treewidth. We apply this result to two hereditary graph classes, the class of ($ISK_4$, wheel)-free graphs and the class of graphs with no cycle with a unique chord. These classes were previously studied and decomposition theorems were obtained for both classes. Our main results are that $t$-clean ($ISK_4$, wheel)-free graphs have bounded treewidth and that $t$-clean graphs with no cycle with a unique chord have bounded treewidth.
△ Less
Submitted 12 July, 2022;
originally announced July 2022.
-
Induced subgraphs and tree decompositions V. One neighbor in a hole
Authors:
Tara Abrishami,
Bogdan Alecu,
Maria Chudnovsky,
Sepehr Hajebi,
Sophie Spirkl,
Kristina Vušković
Abstract:
What are the unavoidable induced subgraphs of graphs with large treewidth? It is well-known that the answer must include a complete graph, a complete bipartite graph, all subdivisions of a wall and line graphs of all subdivisions of a wall (we refer to these graphs as the "basic treewidth obstructions"). So it is natural to ask whether graphs excluding the basic treewidth obstructions as induced s…
▽ More
What are the unavoidable induced subgraphs of graphs with large treewidth? It is well-known that the answer must include a complete graph, a complete bipartite graph, all subdivisions of a wall and line graphs of all subdivisions of a wall (we refer to these graphs as the "basic treewidth obstructions"). So it is natural to ask whether graphs excluding the basic treewidth obstructions as induced subgraphs have bounded treewidth. Sintiari and Trotignon answered this question in the negative. Their counterexamples, the so-called "layered wheels," contain wheels, where a wheel consists of a hole (i.e., an induced cycle of length at least four) along with a vertex with at least three neighbors in the hole. This leads one to ask whether graphs excluding wheels and the basic treewidth obstructions as induced subgraphs have bounded treewidth. This also turns out to be false due to Davies' recent example of graphs with large treewidth, no wheels and and no basic treewidth obstructions as induced subgraphs. However, in Davies' example there exist holes and vertices (outside of the hole) with two neighbors in them. Here we prove that a hole with a vertex with at least two neighbors in it is inevitable in graphs with large treewidth and no basic obstruction. Our main result is that graphs in which every vertex has at most one neighbor in every hole (that does not contain it) and with the basic treewidth obstructions excluded as induced subgraphs have bounded treewidth.
△ Less
Submitted 6 June, 2022; v1 submitted 9 May, 2022;
originally announced May 2022.
-
Bipartite graphs with no $K_6$ minor
Authors:
Maria Chudnovsky,
Alex Scott,
Paul Seymour,
Sophie Spirkl
Abstract:
A theorem of Mader shows that every graph with average degree at least eight has a $K_6$ minor, and this is false if we replace eight by any smaller constant. Replacing average degree by minimum degree seems to make little difference: we do not know whether all graphs with minimum degree at least seven have $K_6$ minors, but minimum degree six is certainly not enough. For every $c>0$ there are arb…
▽ More
A theorem of Mader shows that every graph with average degree at least eight has a $K_6$ minor, and this is false if we replace eight by any smaller constant. Replacing average degree by minimum degree seems to make little difference: we do not know whether all graphs with minimum degree at least seven have $K_6$ minors, but minimum degree six is certainly not enough. For every $c>0$ there are arbitrarily large graphs with average degree at least $8-c$ and minimum degree at least six, with no $K_6$ minor.
But what if we restrict ourselves to bipartite graphs? The first statement remains true: for every $c>0$ there are arbitrarily large bipartite graphs with average degree at least $8-c$ and no $K_6$ minor. But surprisingly, going to minimum degree now makes a significant difference. We will show that every bipartite graph with minimum degree at least six has a $K_6$ minor. Indeed, it is enough that every vertex in the larger part of the bipartition has degree at least six.
△ Less
Submitted 21 April, 2022;
originally announced April 2022.
-
Induced subgraphs and tree decompositions V. Small components of big vertices
Authors:
Bogdan Alecu,
Maria Chudnovsky,
Kristina Vušković
Abstract:
Aboulker, Adler, Kim, Sintiari, and Trotignon conjectured that every graph with bounded maximum degree and large treewidth must contain, as an induced subgraph, a large subdivided wall, or the line graph of a large subdivided wall. This conjecture was recently proved by Korhonen, but the problem of identifying the obstacles to bounded treewidth in the general case (that is, without the bounded max…
▽ More
Aboulker, Adler, Kim, Sintiari, and Trotignon conjectured that every graph with bounded maximum degree and large treewidth must contain, as an induced subgraph, a large subdivided wall, or the line graph of a large subdivided wall. This conjecture was recently proved by Korhonen, but the problem of identifying the obstacles to bounded treewidth in the general case (that is, without the bounded maximum degree condition) remains wide open. Examples of structures of large treewidth which avoid the "usual suspects" have been constructed by Sintiari and Trotignon, and by Davies. In this note, we aim to better isolate the features of these examples that lead to large treewidth. To this end, we prove the following result. Let $G$ be a graph, and write $γ(G)$ for the size of a largest connected component in the graph induced by $G$ on the set of vertices of degree at least 3. If $γ(G)$ is small and the treewidth of $G$ is large, then $G$ must contain a large subdivided wall or the line graph of a large subdivided wall. This result is the best possible, in the sense that the conclusion fails if we replace 3 by any larger number in the definition of $γ(G)$, as evidenced by Davies' example.
△ Less
Submitted 18 May, 2022; v1 submitted 6 April, 2022;
originally announced April 2022.
-
Induced subgraphs and tree decompositions IV. (Even hole, diamond, pyramid)-free graphs
Authors:
Tara Abrishami,
Maria Chudnovsky,
Sepehr Hajebi,
Sophie Spirkl
Abstract:
A hole in a graph $G$ is an induced cycle of length at least four, and an even hole is a hole of even length. The diamond is the graph obtained from the complete graph $K_4$ by removing an edge. A pyramid is a graph consisting of a triangle called the base, a vertex called the apex, and three internally disjoint paths starting at the apex and disjoint otherwise, each joining the apex to a vertex o…
▽ More
A hole in a graph $G$ is an induced cycle of length at least four, and an even hole is a hole of even length. The diamond is the graph obtained from the complete graph $K_4$ by removing an edge. A pyramid is a graph consisting of a triangle called the base, a vertex called the apex, and three internally disjoint paths starting at the apex and disjoint otherwise, each joining the apex to a vertex of the base. For a family $\mathcal{H}$ of graphs, we say a graph $G$ is $\mathcal{H}$-free if no induced subgraph of $G$ is isomorphic to a member of $\mathcal{H}$. Cameron, da Silva, Huang, and Vušković proved that (even hole, triangle)-free graphs have treewidth at most five, which motivates studying the treewidth of even-hole-free graphs of larger clique number. Sintiari and Trotignon provided a construction of (even hole, pyramid, $K_4$)-free graphs of arbitrarily large treewidth.
Here, we show that for every $t$, (even hole, pyramid, diamond, $K_t$)-free graphs have bounded treewidth. The graphs constructed by Sintiari and Trotignon contain diamonds, so our result is sharp in the sense that it is false if we do not exclude diamonds. Our main result is in fact more general, that treewidth is bounded in graphs excluding certain wheels and three-path-configurations, diamonds, and a fixed complete graph. The proof uses "non-crossing decompositions" methods similar to those in previous papers in this series. In previous papers, however, bounded degree was a necessary condition to prove bounded treewidth. The result of this paper is the first to use the method of "non-crossing decompositions" to prove bounded treewidth in a graph class of unbounded maximum degree.
△ Less
Submitted 20 October, 2022; v1 submitted 13 March, 2022;
originally announced March 2022.
-
Pure pairs. X. Tournaments and the strong Erdos-Hajnal property
Authors:
Maria Chudnovsky,
Alex Scott,
Paul Seymour,
Sophie Spirkl
Abstract:
A pure pair in a tournament $G$ is an ordered pair $(A,B)$ of disjoint subsets of $V(G)$ such that every vertex in $B$ is adjacent from every vertex in $A$. Which tournaments $H$ have the property that if $G$ is a tournament not containing $H$ as a subtournament, and $|G|>1$, there is a pure pair $(A,B)$ in $G$ with $|A|,|B|\ge c|G|$, where $c>0$ is a constant independent of $G$? Let us say that s…
▽ More
A pure pair in a tournament $G$ is an ordered pair $(A,B)$ of disjoint subsets of $V(G)$ such that every vertex in $B$ is adjacent from every vertex in $A$. Which tournaments $H$ have the property that if $G$ is a tournament not containing $H$ as a subtournament, and $|G|>1$, there is a pure pair $(A,B)$ in $G$ with $|A|,|B|\ge c|G|$, where $c>0$ is a constant independent of $G$? Let us say that such a tournament $H$ has the strong EH-property.
As far as we know, it might be that a tournament $H$ has this property if and only if its vertex set has a linear ordering in which its backedges form a forest. Certainly this condition is necessary, but we are far from proving sufficiency. We make a small step in this direction, showing that if a tournament can be ordered with at most three backedges then it has the strong EH-property (except for one case, that we could not decide). In particular, every tournament with at most six vertices has the property, except for three that we could not decide. We also give a seven-vertex tournament that does not have the strong EH-property.
This is related to the Erdos-Hajnal conjecture, which in one form says that for every tournament $H$ there exists $τ>0$ such that every tournament $G$ not containing $H$ as a subtournament has a transitive subtournament of cardinality at least $|G|^τ$. Let us say that a tournament $H$ satisfying this has the EH-property. It is known that every tournament with the strong EH-property also has the EH-property; so our result extends work by Berger, Choromanski and Chudnovsky, who proved that every tournament with at most six vertices has the EH-property, except for one that they did not decide.
△ Less
Submitted 8 August, 2023; v1 submitted 28 February, 2022;
originally announced February 2022.
-
Polynomial bounds for chromatic number VI. Adding a four-vertex path
Authors:
Maria Chudnovsky,
Alex Scott,
Paul Seymour,
Sophie Spirkl
Abstract:
A class of graphs is $χ$-bounded if there is a function $f$ such that every graph $G$ in the class has chromatic number at most $f(ω(G))$, where $ω(G)$ is the clique number of $G$; the class is polynomially $χ$-bounded if $f$ can be taken to be a polynomial. The Gyárfás-Sumner conjecture asserts that, for every forest $H$, the class of $H$-free graphs (graphs with no induced copy of $H$) is $χ$-bo…
▽ More
A class of graphs is $χ$-bounded if there is a function $f$ such that every graph $G$ in the class has chromatic number at most $f(ω(G))$, where $ω(G)$ is the clique number of $G$; the class is polynomially $χ$-bounded if $f$ can be taken to be a polynomial. The Gyárfás-Sumner conjecture asserts that, for every forest $H$, the class of $H$-free graphs (graphs with no induced copy of $H$) is $χ$-bounded. Let us say a forest $H$ is good if it satisfies the stronger property that the class of $H$-free graphs is polynomially $χ$-bounded.
Very few forests are known to be good: for example, it is open for the five-vertex path. Indeed, it is not even known that if every component of a forest $H$ is good then $H$ is good, and in particular, it was not known that the disjoint union of two four-vertex paths is good. Here we show the latter, and more generally, that if $H$ is good then so is the disjoint union of $H$ and a four-vertex path. We also prove a more general result: if every component of $H_1$ is good, and $H_2$ is any path (or broom) then the class of graphs that are both $H_1$-free and $H_2$-free is polynomially $χ$-bounded.
△ Less
Submitted 22 March, 2023; v1 submitted 21 February, 2022;
originally announced February 2022.
-
Polynomial bounds for chromatic number VII. Disjoint holes
Authors:
Maria Chudnovsky,
Alex Scott,
Paul Seymour,
Sophie Spirkl
Abstract:
A hole in a graph $G$ is an induced cycle of length at least four, and a $k$-multihole in $G$ is a set of pairwise disjoint and nonadjacent holes. It is well known that if $G$ does not contain any holes then its chromatic number is equal to its clique number. In this paper we show that, for any $k$, if $G$ does not contain a $k$-multihole, then its chromatic number is at most a polynomial function…
▽ More
A hole in a graph $G$ is an induced cycle of length at least four, and a $k$-multihole in $G$ is a set of pairwise disjoint and nonadjacent holes. It is well known that if $G$ does not contain any holes then its chromatic number is equal to its clique number. In this paper we show that, for any $k$, if $G$ does not contain a $k$-multihole, then its chromatic number is at most a polynomial function of its clique number. We show that the same result holds if we ask for all the holes to be odd or of length four; and if we ask for the holes to be longer than any fixed constant or of length four. This is part of a broader study of graph classes that are polynomially $χ$-bounded.
△ Less
Submitted 18 February, 2022;
originally announced February 2022.
-
Proof of a conjecture of Plummer and Zha
Authors:
Maria Chudnovsky,
Paul Seymour
Abstract:
Say a graph $G$ is a {\em pentagraph} if every cycle has length at least five, and every induced cycle of odd length has length five. N. Robertson proposed the conjecture that the Petersen graph is the only pentagraph that is three-connected and internally 4-connected, but this was disproved by M. Plummer and X. Zha in 2014. Plummer and Zha conjectured that every 3-connected, internally 4-connecte…
▽ More
Say a graph $G$ is a {\em pentagraph} if every cycle has length at least five, and every induced cycle of odd length has length five. N. Robertson proposed the conjecture that the Petersen graph is the only pentagraph that is three-connected and internally 4-connected, but this was disproved by M. Plummer and X. Zha in 2014. Plummer and Zha conjectured that every 3-connected, internally 4-connected pentagraph is three-colourable. We prove this: indeed, we will prove that every pentagraph is three-colourable.
△ Less
Submitted 31 January, 2022; v1 submitted 27 January, 2022;
originally announced January 2022.
-
Attempting perfect hypergraphs
Authors:
Maria Chudnovsky,
Gil Kalai
Abstract:
We study several extensions of the notion of perfect graphs to $k$-uniform hypergraphs.
We study several extensions of the notion of perfect graphs to $k$-uniform hypergraphs.
△ Less
Submitted 3 October, 2022; v1 submitted 4 November, 2021;
originally announced November 2021.
-
Stable sets in flag spheres
Authors:
Maria Chudnovsky,
Eran Nevo
Abstract:
We provide lower and upper bounds on the minimum size of a maximum stable set over graphs of flag spheres, as a function of the dimension of the sphere and the number of vertices. Further, we use stable sets to obtain an improved Lower Bound Theorem for the face numbers of flag spheres.
We provide lower and upper bounds on the minimum size of a maximum stable set over graphs of flag spheres, as a function of the dimension of the sphere and the number of vertices. Further, we use stable sets to obtain an improved Lower Bound Theorem for the face numbers of flag spheres.
△ Less
Submitted 4 April, 2022; v1 submitted 27 October, 2021;
originally announced October 2021.
-
Non-uniform degrees and rainbow versions of the Caccetta-Häggkvist conjecture
Authors:
Ron Aharoni,
Eli Berger,
Maria Chudnovsky,
He Guo,
Shira Zerbib
Abstract:
The Caccetta-Häggkvist conjecture (denoted below CHC) states that the directed girth (the smallest length of a directed cycle) $dgirth(D)$ of a directed graph $D$ on $n$ vertices is at most $\lceil \frac{n}{δ^+(D)}\rceil$, where $δ^+(D)$ is the minimum out-degree of~$D$. We consider a version involving all out-degrees, not merely the minimum one, and prove that if $D$ does not contain a sink, then…
▽ More
The Caccetta-Häggkvist conjecture (denoted below CHC) states that the directed girth (the smallest length of a directed cycle) $dgirth(D)$ of a directed graph $D$ on $n$ vertices is at most $\lceil \frac{n}{δ^+(D)}\rceil$, where $δ^+(D)$ is the minimum out-degree of~$D$. We consider a version involving all out-degrees, not merely the minimum one, and prove that if $D$ does not contain a sink, then $dgirth(D) \le 2 \sum_{v\in V(D)} \frac{1}{deg^+(v)+1}$. In the spirit of a generalization of the CHC to rainbow cycles in \cite{ADH2019}, this suggests the conjecture that given non-empty sets $F_1, \ldots,F_n$ of edges of $K_n$, there exists a rainbow cycle of length at most $2\sum_{1\le i \le n}\frac{1}{|F_i|+1}$. We prove a bit stronger result when $1\le |F_i|\le 2$, thereby strengthening a result of DeVos et. al \cite{DDFGGHMM2021}. We prove a logarithmic bound on the rainbow girth in the case that the sets $F_i$ are triangles.
△ Less
Submitted 7 October, 2022; v1 submitted 21 October, 2021;
originally announced October 2021.
-
Submodular functions and perfect graphs
Authors:
Tara Abrishami,
Maria Chudnovsky,
Cemil Dibek,
Kristina Vušković
Abstract:
We give a combinatorial polynomial-time algorithm to find a maximum weight independent set in perfect graphs of bounded degree that do not contain a prism or a hole of length four as an induced subgraph. An even pair in a graph is a pair of vertices all induced paths between which are even. An even set is a set of vertices every two of which are an even pair. We show that every perfect graph that…
▽ More
We give a combinatorial polynomial-time algorithm to find a maximum weight independent set in perfect graphs of bounded degree that do not contain a prism or a hole of length four as an induced subgraph. An even pair in a graph is a pair of vertices all induced paths between which are even. An even set is a set of vertices every two of which are an even pair. We show that every perfect graph that does not contain a prism or a hole of length four as an induced subgraph has a balanced separator which is the union of a bounded number of even sets, where the bound depends only on the maximum degree of the graph. This allows us to solve the maximum weight independent set problem using the well-known submodular function minimization algorithm.
△ Less
Submitted 7 January, 2024; v1 submitted 30 September, 2021;
originally announced October 2021.
-
Induced subgraphs and tree decompositions III. Three-path-configurations and logarithmic treewidth
Authors:
Tara Abrishami,
Maria Chudnovsky,
Sepehr Hajebi,
Sophie Spirkl
Abstract:
A theta is a graph consisting of two non-adjacent vertices and three internally disjoint paths between them, each of length at least two. For a family $\mathcal{H}$ of graphs, we say a graph $G$ is $\mathcal{H}$-free if no induced subgraph of $G$ is isomorphic to a member of $\mathcal{H}$. We prove a conjecture of Sintiari and Trotignon, that there exists an absolute constant $c$ for which every (…
▽ More
A theta is a graph consisting of two non-adjacent vertices and three internally disjoint paths between them, each of length at least two. For a family $\mathcal{H}$ of graphs, we say a graph $G$ is $\mathcal{H}$-free if no induced subgraph of $G$ is isomorphic to a member of $\mathcal{H}$. We prove a conjecture of Sintiari and Trotignon, that there exists an absolute constant $c$ for which every (theta, triangle)-free graph $G$ has treewidth at most $c\log (|V(G)|)$. A construction by Sintiari and Trotignon shows that this bound is asymptotically best possible, and (theta, triangle)-free graphs comprise the first known hereditary class of graphs with arbitrarily large yet logarithmic treewidth.
Our main result is in fact a generalization of the above conjecture, that treewidth is at most logarithmic in $|V(G)|$ for every graph $G$ excluding the so-called three-path-configurations as well as a fixed complete graph. It follows that several NP-hard problems such as Stable Set, Vertex Cover, Dominating Set and Coloring admit polynomial time algorithms in graphs excluding the three-path-configurations and a fixed complete graph.
△ Less
Submitted 7 September, 2022; v1 submitted 3 September, 2021;
originally announced September 2021.
-
Forbidden induced pairs for perfectness and $ω$-colourability of graphs
Authors:
Maria Chudnovsky,
Adam Kabela,
Binlong Li,
Petr Vrána
Abstract:
We characterise the pairs of graphs $\{ X, Y \}$ such that all $\{ X, Y \}$-free graphs (distinct from $C_5$) are perfect. Similarly, we characterise pairs $\{ X, Y \}$ such that all $\{ X, Y \}$-free graphs (distinct from $C_5$) are $ω$-colourable (that is, their chromatic number is equal to their clique number). More generally, we show characterizations of pairs $\{ X, Y \}$ for perfectness and…
▽ More
We characterise the pairs of graphs $\{ X, Y \}$ such that all $\{ X, Y \}$-free graphs (distinct from $C_5$) are perfect. Similarly, we characterise pairs $\{ X, Y \}$ such that all $\{ X, Y \}$-free graphs (distinct from $C_5$) are $ω$-colourable (that is, their chromatic number is equal to their clique number). More generally, we show characterizations of pairs $\{ X, Y \}$ for perfectness and $ω$-colourability of all connected $\{ X, Y \}$-free graphs which are of independence at least $3$, distinct from an odd cycle, and of order at least $n_0$, and similar characterisations subject to each subset of these additional constraints. (The classes are non-hereditary and the characterisations for perfectness and $ω$-colourability are different.) We build on recent results of Brause et al. on $\{ K_{1,3}, Y \}$-free graphs, and we use Ramsey's Theorem and the Strong Perfect Graph Theorem as main tools. We relate the present characterisations to known results on forbidden pairs for $χ$-boundedness and deciding $k$-colourability in polynomial time.
△ Less
Submitted 15 April, 2022; v1 submitted 16 August, 2021;
originally announced August 2021.
-
Induced subgraphs and tree decompositions II. Toward walls and their line graphs in graphs of bounded degree
Authors:
Tara Abrishami,
Maria Chudnovsky,
Cemil Dibek,
Sepehr Hajebi,
Paweł Rzążewski,
Sophie Spirkl,
Kristina Vušković
Abstract:
This paper is motivated by the following question: what are the unavoidable induced subgraphs of graphs with large treewidth? Aboulker et al. made a conjecture which answers this question in graphs of bounded maximum degree, asserting that for all $k$ and $Δ$, every graph with maximum degree at most $Δ$ and sufficiently large treewidth contains either a subdivision of the $(k\times k)$-wall or the…
▽ More
This paper is motivated by the following question: what are the unavoidable induced subgraphs of graphs with large treewidth? Aboulker et al. made a conjecture which answers this question in graphs of bounded maximum degree, asserting that for all $k$ and $Δ$, every graph with maximum degree at most $Δ$ and sufficiently large treewidth contains either a subdivision of the $(k\times k)$-wall or the line graph of a subdivision of the $(k\times k)$-wall as an induced subgraph. We prove two theorems supporting this conjecture, as follows.
1. For $t\geq 2$, a $t$-theta is a graph consisting of two nonadjacent vertices and three internally disjoint paths between them, each of length at least $t$. A $t$-pyramid is a graph consisting of a vertex $v$, a triangle $B$ disjoint from $v$ and three paths starting at $v$ and disjoint otherwise, each joining $v$ to a vertex of $B$, and each of length at least $t$. We prove that for all $k,t$ and $Δ$, every graph with maximum degree at most $Δ$ and sufficiently large treewidth contains either a $t$-theta, or a $t$-pyramid, or the line graph of a subdivision of the $(k\times k)$-wall as an induced subgraph. This affirmatively answers a question of Pilipczuk et al. asking whether every graph of bounded maximum degree and sufficiently large treewidth contains either a theta or a triangle as an induced subgraph (where a theta means a $t$-theta for some $t\geq 2$).
2. A subcubic subdivided caterpillar is a tree of maximum degree at most three whose all vertices of degree three lie on a path. We prove that for every $Δ$ and subcubic subdivided caterpillar $T$, every graph with maximum degree at most $Δ$ and sufficiently large treewidth contains either a subdivision of $T$ or the line graph of a subdivision of $T$ as an induced subgraph.
△ Less
Submitted 30 October, 2023; v1 submitted 2 August, 2021;
originally announced August 2021.
-
Strengthening Rodl's theorem
Authors:
Maria Chudnovsky,
Alex Scott,
Paul Seymour,
Sophie Spirkl
Abstract:
What can be said about the structure of graphs that do not contain an induced copy of some graph H? Rodl showed in the 1980s that every H-free graph has large parts that are very dense or very sparse. More precisely, let us say that a graph F on n vertices is c-restricted if either F or its complement has maximum degree at most cn. Rodl proved that for every graph H, and every c>0, every H-free gr…
▽ More
What can be said about the structure of graphs that do not contain an induced copy of some graph H? Rodl showed in the 1980s that every H-free graph has large parts that are very dense or very sparse. More precisely, let us say that a graph F on n vertices is c-restricted if either F or its complement has maximum degree at most cn. Rodl proved that for every graph H, and every c>0, every H-free graph G has a linear-sized set of vertices inducing a c-restricted graph. We strengthen Rodl's result as follows: for every graph H, and all c>0, every H-free graph can be partitioned into a bounded number of subsets inducing c-restricted graphs.
△ Less
Submitted 2 August, 2022; v1 submitted 16 May, 2021;
originally announced May 2021.
-
Erdos-Hajnal for graphs with no 5-hole
Authors:
Maria Chudnovsky,
Alex Scott,
Paul Seymour,
Sophie Spirkl
Abstract:
The Erdos-Hajnal conjecture says that for every graph H there exists c>0 such that every graph G not containing H as an induced subgraph has a clique or stable set of cardinality at least |G|^c. We prove that this is true when H is a cycle of length five.
We also prove several further results: for instance, that if C is a cycle and H is the complement of a forest, there exists c>0 such that ever…
▽ More
The Erdos-Hajnal conjecture says that for every graph H there exists c>0 such that every graph G not containing H as an induced subgraph has a clique or stable set of cardinality at least |G|^c. We prove that this is true when H is a cycle of length five.
We also prove several further results: for instance, that if C is a cycle and H is the complement of a forest, there exists c>0 such that every graph G containing neither of C,H as an induced subgraph has a clique or stable set of cardinality at least |G|^c.
△ Less
Submitted 9 February, 2021;
originally announced February 2021.
-
Rainbow paths and large rainbow matchings
Authors:
Ron Aharoni,
Eli Berger,
Maria Chudnovsky,
Shira Zerbib
Abstract:
A conjecture of the first two authors is that $n$ matchings of size $n$ in any graph have a rainbow matching of size $n-1$. We prove a lower bound of $\frac{2}{3}n-1$, improving on the trivial $\frac{1}{2}n$, and an analogous result for hypergraphs. For $\{C_3,C_5\}$-free graphs and for disjoint matchings we obtain a lower bound of $\frac{3n}{4}-O(1)$. We also discuss a conjecture on rainbow alter…
▽ More
A conjecture of the first two authors is that $n$ matchings of size $n$ in any graph have a rainbow matching of size $n-1$. We prove a lower bound of $\frac{2}{3}n-1$, improving on the trivial $\frac{1}{2}n$, and an analogous result for hypergraphs. For $\{C_3,C_5\}$-free graphs and for disjoint matchings we obtain a lower bound of $\frac{3n}{4}-O(1)$. We also discuss a conjecture on rainbow alternating paths, that if true would yield a lower bound of $n-\sqrt{2n}$. We prove the non-alternating (ordinary paths) version of this conjecture.
△ Less
Submitted 7 October, 2021; v1 submitted 29 December, 2020;
originally announced December 2020.
-
A note on simplicial cliques
Authors:
Maria Chudnovsky,
Alex Scott,
Paul Seymour,
Sophie Spirkl
Abstract:
Motivated by an application in condensed matter physics and quantum information theory, we prove that every non-null even-hole-free claw-free graph has a simplicial clique, that is, a clique $K$ such that for every vertex $v \in K$, the set of neighbours of $v$ outside of $K$ is a clique. In fact, we prove the existence of a simplicial clique in a more general class of graphs defined by forbidden…
▽ More
Motivated by an application in condensed matter physics and quantum information theory, we prove that every non-null even-hole-free claw-free graph has a simplicial clique, that is, a clique $K$ such that for every vertex $v \in K$, the set of neighbours of $v$ outside of $K$ is a clique. In fact, we prove the existence of a simplicial clique in a more general class of graphs defined by forbidden induced subgraphs.
△ Less
Submitted 1 October, 2021; v1 submitted 9 December, 2020;
originally announced December 2020.
-
Induced subgraphs and tree decompositions I. Even-hole-free graphs of bounded degree
Authors:
Tara Abrishami,
Maria Chudnovsky,
Kristina Vušković
Abstract:
Treewidth is a parameter that emerged from the study of minor closed classes of graphs (i.e. classes closed under vertex and edge deletion, and edge contraction). It in some sense describes the global structure of a graph. Roughly, a graph has treewidth $k$ if it can be decomposed by a sequence of noncrossing cutsets of size at most $k$ into pieces of size at most $k+1$. The study of hereditary gr…
▽ More
Treewidth is a parameter that emerged from the study of minor closed classes of graphs (i.e. classes closed under vertex and edge deletion, and edge contraction). It in some sense describes the global structure of a graph. Roughly, a graph has treewidth $k$ if it can be decomposed by a sequence of noncrossing cutsets of size at most $k$ into pieces of size at most $k+1$. The study of hereditary graph classes (i.e. those closed under vertex deletion only) reveals a different picture, where cutsets that are not necessarily bounded in size (such as star cutsets, 2-joins and their generalization) are required to decompose the graph into simpler pieces that are structured but not necessarily bounded in size. A number of such decomposition theorems are known for complex hereditary graph classes, including even-hole-free graphs, perfect graphs and others. These theorems do not describe the global structure in the sense that a tree decomposition does, since the cutsets guaranteed by them are far from being noncrossing. They are also of limited use in algorithmic applications.
We show that in the case of even-hole-free graphs of bounded degree the cutsets described in the previous paragraph can be partitioned into a bounded number of well-behaved collections. This allows us to prove that even-hole-free graphs with bounded degree have bounded treewidth, resolving a conjecture of Aboulker, Adler, Kim, Sintiari and Trotignon [arXiv:2008.05504]. As a consequence, it follows that many algorithmic problems can be solved in polynomial time for this class, and that even-hole-freeness is testable in the bounded degree graph model of property testing. In fact we prove our results for a larger class of graphs, namely the class of $C_4$-free odd-signable graphs with bounded degree.
△ Less
Submitted 1 February, 2022; v1 submitted 2 September, 2020;
originally announced September 2020.
-
List-three-coloring $ P_t $-free graphs with no induced 1-subdivision of $ K_{1,s} $
Authors:
Maria Chudnovsky,
Sophie Spirkl,
Mingxian Zhong
Abstract:
Let $s$ and $t$ be positive integers. We use $P_t$ to denote the path with $t$ vertices and $K_{1,s}$ to denote the complete bipartite graph with parts of size $1$ and $s$ respectively. The one-subdivision of $K_{1,s}$ is obtained by replacing every edge $\{u,v\}$ of $K_{1,s}$ by two edges $\{u,w\}$ and $\{v,w\}$ with a new vertex $w$. In this paper, we give a polynomial-time algorithm for the lis…
▽ More
Let $s$ and $t$ be positive integers. We use $P_t$ to denote the path with $t$ vertices and $K_{1,s}$ to denote the complete bipartite graph with parts of size $1$ and $s$ respectively. The one-subdivision of $K_{1,s}$ is obtained by replacing every edge $\{u,v\}$ of $K_{1,s}$ by two edges $\{u,w\}$ and $\{v,w\}$ with a new vertex $w$. In this paper, we give a polynomial-time algorithm for the list-three-coloring problem restricted to the class of $P_t$-free graph with no induced 1-subdivision of $K_{1,s}$.
△ Less
Submitted 4 June, 2020;
originally announced June 2020.
-
Graphs with polynomially many minimal separators
Authors:
Tara Abrishami,
Maria Chudnovsky,
Cemil Dibek,
Stéphan Thomassé,
Nicolas Trotignon,
Kristina Vušković
Abstract:
We show that graphs that do not contain a theta, pyramid, prism, or turtle as an induced subgraph have polynomially many minimal separators. This result is the best possible in the sense that there are graphs with exponentially many minimal separators if only three of the four induced subgraphs are excluded. As a consequence, there is a polynomial time algorithm to solve the maximum weight indepen…
▽ More
We show that graphs that do not contain a theta, pyramid, prism, or turtle as an induced subgraph have polynomially many minimal separators. This result is the best possible in the sense that there are graphs with exponentially many minimal separators if only three of the four induced subgraphs are excluded. As a consequence, there is a polynomial time algorithm to solve the maximum weight independent set problem for the class of (theta, pyramid, prism, turtle)-free graphs. Since every prism, theta, and turtle contains an even hole, this also implies a polynomial time algorithm to solve the maximum weight independent set problem for the class of (pyramid, even hole)-free graphs.
△ Less
Submitted 28 December, 2021; v1 submitted 11 May, 2020;
originally announced May 2020.
-
Holes with hats and Erdős-Hajnal
Authors:
Maria Chudnovsky,
Paul Seymour
Abstract:
A "hole-with-hat" in a graph $G$ is an induced subgraph of $G$ that consists of a cycle of length at least four, together with one further vertex that has exactly two neighbours in the cycle, adjacent to each other, and the "house" is the smallest, on five vertices. It is not known whether there exists $ε>0$ such that every graph $G$ containing no house has a clique or stable set of cardinality at…
▽ More
A "hole-with-hat" in a graph $G$ is an induced subgraph of $G$ that consists of a cycle of length at least four, together with one further vertex that has exactly two neighbours in the cycle, adjacent to each other, and the "house" is the smallest, on five vertices. It is not known whether there exists $ε>0$ such that every graph $G$ containing no house has a clique or stable set of cardinality at least $|G|^ε$; this is one of the three smallest open cases of the Erdős-Hajnal conjecture and has been the subject of much study.
We prove that there exists $ε>0$ such that every graph $G$ with no hole-with-hat has a clique or stable set of cardinality at least $|G|^ε$
△ Less
Submitted 15 June, 2020; v1 submitted 6 May, 2020;
originally announced May 2020.
-
Complexity of $C_k$-coloring in hereditary classes of graphs
Authors:
Maria Chudnovsky,
Shenwei Huang,
Paweł Rzążewski,
Sophie Spirkl,
Mingxian Zhong
Abstract:
For a graph $F$, a graph $G$ is \emph{$F$-free} if it does not contain an induced subgraph isomorphic to $F$. For two graphs $G$ and $H$, an \emph{$H$-coloring} of $G$ is a map** $f:V(G)\rightarrow V(H)$ such that for every edge $uv\in E(G)$ it holds that $f(u)f(v)\in E(H)$. We are interested in the complexity of the problem $H$-{\sc Coloring}, which asks for the existence of an $H$-coloring of…
▽ More
For a graph $F$, a graph $G$ is \emph{$F$-free} if it does not contain an induced subgraph isomorphic to $F$. For two graphs $G$ and $H$, an \emph{$H$-coloring} of $G$ is a map** $f:V(G)\rightarrow V(H)$ such that for every edge $uv\in E(G)$ it holds that $f(u)f(v)\in E(H)$. We are interested in the complexity of the problem $H$-{\sc Coloring}, which asks for the existence of an $H$-coloring of an input graph $G$. In particular, we consider $H$-{\sc Coloring} of $F$-free graphs, where $F$ is a fixed graph and $H$ is an odd cycle of length at least 5. This problem is closely related to the well known open problem of determining the complexity of 3-{\sc Coloring} of $P_t$-free graphs.
We show that for every odd $k \geq 5$ the $C_k$-{\sc Coloring} problem, even in the list variant, can be solved in polynomial time in $P_9$-free graphs. The algorithm extends for the case of list version of $C_k$-{\sc Coloring}, where $k$ is an even number of length at least 10.
On the other hand, we prove that if some component of $F$ is not a subgraph of a subdividecd claw, then the following problems are NP-complete in $F$-free graphs: a)extension version of $C_k$-{\sc Coloring} for every odd $k \geq 5$, b) list version of $C_k$-{\sc Coloring} for every even $k \geq 6$.
△ Less
Submitted 3 March, 2023; v1 submitted 4 May, 2020;
originally announced May 2020.
