English
Related papers

Related papers: First order limits of sparse graphs: Plane trees a…

200 papers

We prove several negative results about first-order transducibility for classes of sparse graphs: - for every $t \in \mathbb{N}$, the class of graphs of treewidth at most $t+1$ is not transducible from the class of graphs of treewidth at…

Logic in Computer Science · Computer Science 2025-05-22 Jakub Gajarský , Jeremi Gładkowski , Jan Jedelský , Michał Pilipczuk , Szymon Toruńczyk

The finite spectrum of a first-order sentence is the set of positive integers that are the sizes of its models. The class of finite spectra is known to be the same as the complexity class NE. We consider the spectra obtained by limiting…

Logic in Computer Science · Computer Science 2023-06-22 Anuj Dawar , Eryk Kopczyński

We introduce and develop a theory of limits for sequences of sparse graphs based on $L^p$ graphons, which generalizes both the existing $L^\infty$ theory of dense graph limits and its extension by Bollob\'as and Riordan to sparse graphs…

Combinatorics · Mathematics 2019-08-19 Christian Borgs , Jennifer T. Chayes , Henry Cohn , Yufei Zhao

We view hyper-graphs as incidence graphs, i.e. bipartite graphs with a set of nodes representing vertices and a set of nodes representing hyper-edges, with two nodes being adjacent if the corresponding vertex belongs to the corresponding…

Logic in Computer Science · Computer Science 2015-05-08 Nans Lefebvre

We introduce merge-width, a family of graph parameters that unifies several structural graph measures, including treewidth, degeneracy, twin-width, clique-width, and generalized coloring numbers. Our parameters are based on new…

Combinatorics · Mathematics 2025-02-26 Jan Dreier , Szymon Toruńczyk

We consider sequences of graphs and define various notions of convergence related to these sequences: ``left convergence'' defined in terms of the densities of homomorphisms from small graphs into the graphs of the sequence, and ``right…

Combinatorics · Mathematics 2007-05-23 C. Borgs , J. T. Chayes , L. Lovasz , V. T. Sos , K. Vesztergombi

A traversal of a connected graph is a linear ordering of its vertices all of whose initial segments induce connected subgraphs. Traversals, and their refinements such as breadth-first and depth-first traversals, are computed by various…

Logic · Mathematics 2018-10-24 Siddharth Bhaskar , Anton Jay Kienzle

We study limits of convergent sequences of string graphs, that is, graphs with an intersection representation consisting of curves in the plane. We use these results to study the limiting behavior of a sequence of random string graphs. We…

Combinatorics · Mathematics 2014-03-13 Svante Janson , Andrew J. Uzzell

Since the paper of Kleinberg and Kleinberg, SODA'05, where it was proven that the preferential attachment random graph with degeneracy at least 3 does not obey the first order 0-1 law, no general methods were developed to study logical…

Probability · Mathematics 2023-11-01 Yury Malyshkin , Maksim Zhukovskii

In 2012, Ne\v{s}et\v{r}il and Ossona de Mendez proved that graphs of bounded degeneracy that have a path of order $n$ also have an induced path of order $\Omega(\log \log n)$. In this paper we give an almost matching upper bound by…

Combinatorics · Mathematics 2026-02-13 Basile Couëtoux , Oscar Defrain , Jean-Florent Raymond

The emerging theory of graph limits exhibits an analytic perspective on graphs, showing that many important concepts and tools in graph theory and its applications can be described more naturally (and sometimes proved more easily) in…

Combinatorics · Mathematics 2023-08-01 Omri Ben-Eliezer , Eldar Fischer , Amit Levi , Yuichi Yoshida

In this paper we introduce a new notion of convergence of sparse graphs which we call Large Deviations or LD-convergence and which is based on the theory of large deviations. The notion is introduced by "decorating" the nodes of the graph…

Probability · Mathematics 2013-02-20 Christian Borgs , Jennifer Chayes , David Gamarnik

We study logical limit laws for preferential attachment random graphs. In this random graph model, vertices and edges are introduced recursively: at time $1$, we start with vertices $0,1$ and $m$ edges between them. At step $n+1$ the vertex…

Probability · Mathematics 2021-08-19 Yury Malyshkin

The theory of convergent graph sequences has been worked out in two extreme cases, dense graphs and bounded degree graphs. One can define convergence in terms of counting homomorphisms from fixed graphs into members of the sequence…

Combinatorics · Mathematics 2010-02-02 Christian Borgs , Jennifer Chayes , Jeff Kahn , László Lovász

We consider first passage percolation on sparse random graphs with prescribed degree distributions and general independent and identically distributed edge weights assumed to have a density. Assuming that the degree distribution satisfies a…

Probability · Mathematics 2012-10-26 Shankar Bhamidi , Remco van der Hofstad , Gerard Hooghiemstra

For many standard models of random structure, first-order logic sentences exhibit a convergence phenomenon on random inputs. The most well-known example is for random graphs with constant edge probability, where the probabilities of…

Logic in Computer Science · Computer Science 2025-04-24 Sam Adam-Day , Michael Benedikt , Alberto Larrauri

It is known that for subgraph-closed graph classes the first-order model checking problem is fixed-parameter tractable if and only if the class is nowhere dense [Grohe, Kreutzer, Siebertz, STOC 2014]. However, the dependency on the formula…

Logic in Computer Science · Computer Science 2025-05-28 Jakub Gajarský , Michał Pilipczuk , Marek Sokołowski , Giannos Stamoulis , Szymon Toruńczyk

In a quest to thoroughly understand the first-order transduction hierarchy of hereditary graph classes, some questions in particular stand out; such as, what properties hold for graph classes that are first-order transductions of planar…

Logic in Computer Science · Computer Science 2025-06-12 Petr Hliněný , Jan Jedelský

Size-Ramsey numbers are a central notion in combinatorics and have been widely studied since their introduction by Erd\H{o}s, Faudree, Rousseau and Schelp in 1978. Research has mainly focused on the size-Ramsey numbers of $n$-vertex graphs…

Combinatorics · Mathematics 2023-09-06 Nemanja Draganić , Marc Kaufmann , David Munhá Correia , Kalina Petrova , Raphael Steiner

We investigate structural properties of large, sparse random graphs through the lens of "sampling convergence" (Borgs et. al. (2017)). Sampling convergence generalizes left convergence to sparse graphs, and describes the limit in terms of a…

Probability · Mathematics 2019-07-04 Christian Borgs , Jennifer T. Chayes , Souvik Dhara , Subhabrata Sen