English
Related papers

Related papers: First order distinguishability of sparse random gr…

200 papers

In the random geometric graph model $\mathsf{Geo}_d(n,p)$, we identify each of our $n$ vertices with an independently and uniformly sampled vector from the $d$-dimensional unit sphere, and we connect pairs of vertices whose vectors are…

Probability · Mathematics 2021-11-23 Siqi Liu , Sidhanth Mohanty , Tselil Schramm , Elizabeth Yang

Every graph $G=(V,E)$ is an induced subgraph of some Kneser graph of rank $k$, i.e., there is an assignment of (distinct) $k$-sets $v \mapsto A_v$ to the vertices $v\in V$ such that $A_u$ and $A_v$ are disjoint if and only if $uv\in E$. The…

Combinatorics · Mathematics 2017-01-31 Zoltán Füredi , Ida Kantor

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

We consider the random graph $G_{n, {\bf d}}$ chosen uniformly at random from the set of all graphs with a given sparse degree sequence ${\bf d}$. We assume ${\bf d}$ has minimum degree at least 4, at most a power law tail, and place one…

Combinatorics · Mathematics 2020-01-16 Tony Johansson

Recently there has been much interest in studying random graph analogues of well known classical results in extremal graph theory. Here we follow this trend and investigate the structure of triangle-free subgraphs of $G(n,p)$ with high…

Combinatorics · Mathematics 2015-07-21 Peter Allen , Julia Böttcher , Yoshiharu Kohayakawa , Barnaby Roberts

We study an inhomogeneous sparse random graph on [N] = {1, . . . , N } as introduced in a seminal paper by Bollobas, Janson and Riordan (2007): vertices have a type (here in a compact metric space S), and edges between different vertices…

Probability · Mathematics 2023-08-21 Luisa Andreis , Wolfgang König , Heide Langhammer , Robert I. A. Patterson

We discuss a new algorithmic type of problem in random graphs studying the minimum number of queries one has to ask about adjacency between pairs of vertices of a random graph $G\sim {\mathcal G}(n,p)$ in order to find a subgraph which…

Combinatorics · Mathematics 2016-08-05 Asaf Ferber , Michael Krivelevich , Benny Sudakov , Pedro Vieira

We prove that for every class of graphs $\mathcal{C}$ which is nowhere dense, as defined by Nesetril and Ossona de Mendez, and for every first order formula $\phi(\bar x,\bar y)$, whenever one draws a graph $G\in \mathcal{C}$ and a subset…

Discrete Mathematics · Computer Science 2017-11-07 Michał Pilipczuk , Sebastian Siebertz , Szymon Toruńczyk

Let $D(G)$ be the minimum quantifier depth of a first order sentence $\Phi$ that defines a graph $G$ up to isomorphism. Let $D_0(G)$ be the version of $D(G)$ where we do not allow quantifier alternations in $\Phi$. Define $q_0(n)$ to be the…

Logic · Mathematics 2007-05-23 Oleg Pikhurko , Joel Spencer , Oleg Verbitsky

This paper studies the following question of Bollob\'as and Scott: Let $G$ be a graph with $n$ vertices and $p\binom{n}{2}$ edges. What is the smallest $c(p, n)$ such that there is an ordering $v_1, \ldots, v_n$ of the vertices in $G$ with…

Combinatorics · Mathematics 2026-01-27 Yanling Chen , Shuping Huang , Qinghou Zeng

For a graph $G$ and $p\in [0,1]$, let $G_p$ arise from $G$ by deleting every edge mutually independently with probability $1-p$. The random graph model $(K_n)_p$ is certainly the most investigated random graph model and also known as the…

Combinatorics · Mathematics 2015-12-16 Stefan Ehard , Felix Joos

The elimination distance to some target graph property P is a general graph modification parameter introduced by Bulian and Dawar. We initiate the study of elimination distances to graph properties expressible in first-order logic. We…

Logic in Computer Science · Computer Science 2021-04-08 Fedor V. Fomin , Petr A. Golovach , Dimitrios M. Thilikos

A graph class $\mathscr{C}$ is called monadically stable if one cannot interpret, in first-order logic, arbitrary large linear orders in colored graphs from $\mathscr{C}$. We prove that the model checking problem for first-order logic is…

Logic in Computer Science · Computer Science 2023-12-01 Jan Dreier , Ioannis Eleftheriadis , Nikolas Mählmann , Rose McCarty , Michał Pilipczuk , Szymon Toruńczyk

Erd\H{o}s, Hajnal and Szemer\'{e}di proved that any subset $G$ of vertices of a shift graph $\text{Sh}_{n}^{k}$ has the property that the independence number of the subgraph induced by $G$ satisfies $\alpha(\text{Sh}_{n}^{k}[G])\geq…

Combinatorics · Mathematics 2021-11-24 Andrii Arman , Vojtěch Rödl , Marcelo Tadeu Sales

The decycling number $\phi(G)$ of a graph $G$ is the smallest number of vertices which can be removed from $G$ so that the resulting graph has no cycles. Bau, Wormald and Zhou conjectured that with probability tending to one the decycling…

Probability · Mathematics 2020-05-20 Lyuben Lichev , Dieter Mitsche

This paper is concerned with the blind identification of graph filters from graph signals. Our aim is to determine if the graph filter generating the graph signals is first-order lowpass without knowing the graph topology. Notice that…

Signal Processing · Electrical Eng. & Systems 2021-01-21 Yiran He , Hoi-To Wai

An asymptotic behavior of the probabilities of first-order properties of Erdos-Renyi random graph G(N,p), lnp=-alnN, is studied in the article. We prove the covergence law for formulae with quantifier depth bounded by k when a=1/(k-2).

Combinatorics · Mathematics 2013-04-04 Maksim Zhukovskii

We consider the problem of optimal recovery of true ranking of $n$ items from a randomly chosen subset of their pairwise preferences. It is well known that without any further assumption, one requires a sample size of $\Omega(n^2)$ for the…

Machine Learning · Computer Science 2019-02-13 Aadirupa Saha , Rakesh Shivanna , Chiranjib Bhattacharyya

Dividing asks about inconsistency along indiscernible sequences. In order to study the finer structure of simple theories without much dividing, the authors recently introduced shearing, which essentially asks about inconsistency along…

Logic · Mathematics 2023-07-13 M. Malliaris , S. Shelah

We consider the performance of the Depth First Search (DFS) algorithm on the random graph $G\left(n,\frac{1+\epsilon}{n}\right)$, $\epsilon>0$ a small constant. Recently, Enriquez, Faraud and M\'enard [2] proved that the stack $U$ of the…

Combinatorics · Mathematics 2022-07-27 Sahar Diskin , Michael Krivelevich