English
Related papers

Related papers: Stable graphs of bounded twin-width

200 papers

We study the question of whether, for a given class of finite graphs, one can define, for each graph of the class, a linear ordering in monadic second-order logic, possibly with the help of monadic parameters. We consider two variants of…

Logic in Computer Science · Computer Science 2015-07-01 Achim Blumensath , Bruno Courcelle

A vertex in a graph is said to be sedentary if a quantum state assigned on that vertex tends to stay on that vertex. Under mild conditions, we show that the direct product and join operations preserve vertex sedentariness. We also…

Combinatorics · Mathematics 2024-01-02 Hermie Monterde

In the study of full bubble model graphs of bounded clique-width and bounded linear clique-width, we determined complete sets of forbidden induced subgraphs, that are minimal in the class of full bubble model graphs. In this note, we show…

Discrete Mathematics · Computer Science 2014-01-29 Daniel Meister , Udi Rotics

In this paper we prove the conjectured upper bound for Castelnuovo-Mumford regularity of binomial edge ideals posed in [23], in the case of chordal graphs. Indeed, we show that the regularity of any chordal graph G is bounded above by the…

Commutative Algebra · Mathematics 2018-10-09 M. Rouzbahani Malayeri , S. Saeedi Madani , D. Kiani

A class of graphs is nowhere dense if for every integer r there is a finite upper bound on the size of cliques that occur as (topological) r-minors. We observe that this tameness notion from algorithmic graph theory is essentially the…

Logic · Mathematics 2010-11-18 Hans Adler , Isolde Adler

A large number of NP-hard graph problems become polynomial-time solvable on graph classes where the mim-width is bounded and quickly computable. Hence, when solving such problems on special graph classes, it is helpful to know whether the…

Data Structures and Algorithms · Computer Science 2021-08-27 Nick Brettell , Jake Horsfield , Andrea Munaro , Giacomo Paesani , Daniel Paulusma

We establish a strong, geometric lower bound on the (sequential) topological complexity of the unordered configuration spaces of a general graph. As an application, we show that, for most graphs, the topological complexity eventually…

Algebraic Topology · Mathematics 2026-02-05 Ben Knudsen

We prove that any class of graphs with linear neighborhood complexity has bounded improper odd chromatic number. As a result, if $\mathcal{G}$ is the class of all circle graphs, or if $\mathcal{G}$ is any class with bounded twin-width,…

Combinatorics · Mathematics 2026-02-12 James Davies , Meike Hatzel , Kolja Knauer , Rose McCarty , Torsten Ueckerdt

In this paper we construct a class of bounded degree bipartite graphs with a small separator and large bandwidth. Furthermore, we also prove that graphs from this class are spanning subgraphs of graphs with minimum degree just slightly…

Combinatorics · Mathematics 2018-09-25 Béla Csaba , Bálint Vásárhelyi

We show that for every graph $H$, there is a hereditary weakly sparse graph class $\mathcal C_H$ of unbounded treewidth such that the $H$-free (i.e., excluding $H$ as an induced subgraph) graphs of $\mathcal C_H$ have bounded treewidth.…

Combinatorics · Mathematics 2025-04-02 Bogdan Alecu , Édouard Bonnet , Pedro Bureo Villafana , Nicolas Trotignon

A class of graphs is $\chi$-bounded if there exists a function $f:\mathbb N\rightarrow \mathbb N$ such that for every graph $G$ in the class and an induced subgraph $H$ of $G$, if $H$ has no clique of size $q+1$, then the chromatic number…

Combinatorics · Mathematics 2019-01-16 Hojin Choi , O-joung Kwon , Sang-il Oum , Paul Wollan

We prove that if $G=(V,E)$ is an $\omega$-stable (respectively, superstable) graph with $\chi(G)>\aleph_0$ (respectively, $2^{\aleph_0}$) then $G$ contains all the finite subgraphs of the shift graph $\text{Sh}_n(\omega)$ for some $n$. We…

Logic · Mathematics 2021-03-23 Yatir Halevi , Itay Kaplan , Saharon Shelah

We present a method which provides a unified framework for most stability theorems that have been proved in graph and hypergraph theory. Our main result reduces stability for a large class of hypergraph problems to the simpler question of…

Combinatorics · Mathematics 2022-11-15 Xizhi Liu , Dhruv Mubayi , Christian Reiher

Suppose that $G$ is a graph of cardinality $\mu^+$ with chromatic number $\chi(G)\geq \mu^+$. One possible reason that this could happen is if $G$ contains a clique of size $\mu^+$. We prove that this is indeed the case when the edge…

Logic · Mathematics 2025-11-12 Yatir Halevi , Itay Kaplan , Saharon Shelah

In social networks the {\sc Strong Triadic Closure} is an assignment of the edges with strong or weak labels such that any two vertices that have a common neighbor with a strong edge are adjacent. The problem of maximizing the number of…

Data Structures and Algorithms · Computer Science 2016-10-10 Athanasios Konstantinidis , Charis Papadopoulos

A graph is called normal if its vertex set can be covered by cliques and also by stable sets, such that every such clique and stable set have non-empty intersection. This notion is due to Korner, who introduced the class of normal graphs as…

Combinatorics · Mathematics 2013-06-25 Zsolt Patakfalvi

Graph Neural Networks (GNN) rely on graph convolutions to learn features from network data. GNNs are stable to different types of perturbations of the underlying graph, a property that they inherit from graph filters. In this paper we…

Machine Learning · Computer Science 2022-02-11 Juan Cervino , Luana Ruiz , Alejandro Ribeiro

Seese's conjecture for finite graphs states that monadic second-order logic (MSO) is undecidable on all graph classes of unbounded clique-width. We show that to establish this it would suffice to show that grids of unbounded size can be…

Logic in Computer Science · Computer Science 2023-08-04 Anuj Dawar , Abhisekh Sankaran

We prove that sparse string graphs in a fixed surface have linear expansion. We extend this result to the more general setting of sparse region intersection graphs over any proper minor-closed class. The proofs are combinatorial and…

Combinatorics · Mathematics 2026-04-10 Nikolai Karol , David R. Wood

We prove a version of the strong Taylor's conjecture for stable graphs: if $G$ is a stable graph whose chromatic number is strictly greater than $\beth_2(\aleph_0)$ then $G$ contains all finite subgraphs of Sh$_n(\omega)$ and thus has…

Logic · Mathematics 2021-03-26 Yatir Halevi , Itay Kaplan , Saharon Shelah