English
Related papers

Related papers: Flipper games for monadically stable graph classes

200 papers

We study the geometry of warped cones over free, minimal isometric group actions and related constructions of expander graphs. We prove a rigidity theorem for the coarse geometry of such warped cones: Namely, if a group has no abelian…

Metric Geometry · Mathematics 2018-01-09 David Fisher , Thang Nguyen , Wouter van Limbeek

This paper introduces and studies the stability of the strong domination number of a graph, denoted $\operatorname{st}_{\gamma_{st}}(G)$, defined as the minimum number of vertices whose removal changes the strong domination number…

Combinatorics · Mathematics 2026-01-08 Saeid Alikhani , Mazharuddin Mehraban , Hossein Shojaaldini Ardakani

In this article, we study feature attributions of Machine Learning (ML) models originating from linear game values and coalitional values defined as operators on appropriate functional spaces. The main focus is on random games based on the…

Computer Science and Game Theory · Computer Science 2024-08-13 Alexey Miroshnikov , Konstandinos Kotsiopoulos , Khashayar Filom , Arjun Ravi Kannan

Nowhere dense graph classes provide one of the least restrictive notions of sparsity for graphs. Several equivalent characterizations of nowhere dense classes have been obtained over the years, using a wide range of combinatorial objects.…

Combinatorics · Mathematics 2019-02-04 Gwenaël Joret , Piotr Micek , Patrice Ossona de Mendez , Veit Wiechert

The all-terminal reliability of a graph $G$ is the probability that $G$ remains connected when each edge fails independently with probability $p$. For fixed $n$ and $m$, the uniformly most reliable problem asks which graph with $n$ vertices…

Combinatorics · Mathematics 2026-03-03 Rotem Brand , Reuven Cohen , Simi Haber , Baruch Barzel

An edge-weighted, vertex-capacitated graph G is called stable if the value of a maximum-weight capacity-matching equals the value of a maximum-weight fractional capacity-matching. Stable graphs play a key role in characterizing the…

Discrete Mathematics · Computer Science 2022-11-23 Matthew Gerstbrein , Laura Sanità , Lucy Verberk

A graph is Hamiltonian if it contains a cycle which passes through every vertex of the graph exactly once. A classical theorem of Dirac from 1952 asserts that every graph on $n$ vertices with minimum degree at least $n/2$ is Hamiltonian. We…

Combinatorics · Mathematics 2012-09-24 Michael Krivelevich , Choongbum Lee , Benny Sudakov

Graph transformations definable in logic can be described using the notion of transductions. By understanding transductions as a basic embedding mechanism, which captures the possibility of encoding one graph in another graph by means of…

Combinatorics · Mathematics 2025-01-09 Michał Pilipczuk

Stability, akin to reproducibility, is crucial in statistical analysis. This paper examines the stability of sparse network inference in high-dimensional graphical models, where selected edges should remain consistent across different…

Statistics Theory · Mathematics 2024-06-17 Emilie Devijver , Rémi Molinier , Mélina Gallopin

In hedonic games, players form coalitions based on individual preferences over the group of players they could belong to. Several concepts to describe the stability of coalition structures in a game have been proposed and analysed in the…

Computer Science and Game Theory · Computer Science 2021-07-30 Hendrik Fichtenberger , Anja Rey

Coalition formation over graphs is a well studied class of games whose players are vertices and feasible coalitions must be connected subgraphs. In this setting, the existence and computation of equilibria, under various notions of…

Computer Science and Game Theory · Computer Science 2024-08-22 Angelo Fanelli , Laurent Gourvès , Ayumi Igarashi , Luca Moscardelli

The word stable is used to describe a situation when mathematical objects that almost satisfy an equation are close to objects satisfying it exactly. We study operator-algebraic forms of stability for unitary representations of groups and…

Operator Algebras · Mathematics 2025-09-22 Mikael de la Salle

We prove a robust version of a graph embedding theorem of Sauer and Spencer. To state this sparser analogue, we define $G(p)$ to be a random subgraph of $G$ obtained by retaining each edge of $G$ independently with probability $p \in…

Combinatorics · Mathematics 2025-07-08 Peter Allen , Julia Böttcher , Yoshiharu Kohayakawa , Mihir Neve

It is known that first-order logic with some counting extensions can be efficiently evaluated on graph classes with bounded expansion, where depth-$r$ minors have constant density. More precisely, the formulas are $\exists x_1 ... x_k \#y…

Logic in Computer Science · Computer Science 2023-07-06 Jan Dreier , Daniel Mock , Peter Rossmanith

This paper investigates mean field games and control on sparse networks. In the case of large expander graphs, the limit topologies are analyzed using the graphexon framework, which characterizes both dense network limits and sparse…

Optimization and Control · Mathematics 2026-04-16 Tao Zhang , Peter E. Caines

Menger's theorem is an important building block of numerous results in the study of graph structure. We consider a variant in terms of coarse geometry. We say that a set of graphs has the weak coarse Menger property if there exist functions…

Combinatorics · Mathematics 2026-05-12 Chun-Hung Liu

It is well-known that a minimal graph of codimension one is stable, i.e. the second variation of the area functional is non-negative. This is no longer true for higher codimensional minimal graphs. In this note, we prove that a minimal…

Differential Geometry · Mathematics 2007-05-23 Mu-Tao Wang

We develop local stable group theory directly from topological dynamics, and extend the main results in this subject to the setting of stability "in a model". Specifically, given a group $G$, we analyze the structure of sets $A\subseteq G$…

Logic · Mathematics 2022-03-04 Gabriel Conant

We begin by reviewing and proving the basic facts of combinatorial game theory. We then consider scoring games (also known as Milnor games or positional games), focusing on the "fixed-length" games for which all sequences of play terminate…

Combinatorics · Mathematics 2011-07-27 Will Johnson

In this paper, our goal is to characterize two graph classes based on the properties of minimal vertex (edge) separators. We first present a structural characterization of graphs in which every minimal vertex separator is a stable set. We…

Discrete Mathematics · Computer Science 2011-03-16 Mrinal Kumar , Gaurav Maheswari , N. Sadagopan