English
Related papers

Related papers: A very sharp threshold for first order logic disti…

200 papers

A seminal result by Koml\'os, Sark\"ozy, and Szemer\'edi states that if a graph $G$ with $n$ vertices has minimum degree at least $kn/(k + 1)$, for some $k \in \mathbb{N}$ and $n$ sufficiently large, then it contains the $k$-th power of a…

Combinatorics · Mathematics 2021-08-12 Rajko Nenadov , Miloš Trujić

We study separating systems of the edges of a graph where each member of the separating system is a path. We conjecture that every $n$-vertex graph admits a separating path system of size $O(n)$ and prove this in certain interesting special…

We find a logic really stronger than first order for the random graph with edge probability $\frac 12$ but satisfies the 0-1 law. This means that on the one hand it satisfies the 0-1 law, e.g. for the random graph ${\mathcal G}_{n,1/2}$ and…

Logic · Mathematics 2021-07-16 Saharon Shelah

For a given graph $G$ of minimum degree at least $k$, let $G_p$ denote the random spanning subgraph of $G$ obtained by retaining each edge independently with probability $p=p(k)$. We prove that if $p \ge \frac{\log k + \log \log k +…

Combinatorics · Mathematics 2016-09-14 Roman Glebov , Humberto Naves , Benny Sudakov

Let us draw a graph R on {0,1,...,n-1} by having an edge {i,j} with probability p_(|i-j|), where sum_i p_i is finite and let M_n=(n,<,R). For a first order sentence psi let a^n_psi be the probability of ``M_n satisfies psi''. We prove that…

Logic · Mathematics 2009-09-25 Saharon Shelah

Let D(G) be the smallest quantifier depth of a first order formula which is true for a graph G but false for any other non-isomorphic graph. This can be viewed as a measure for the first order descriptive complexity of G. We will show that…

Combinatorics · Mathematics 2007-05-23 Tom Bohman , Alan Frieze , Tomasz Luczak , Oleg Pikhurko , Clifford Smyth , Joel Spencer , Oleg Verbitsky

For positive integers $n$ and $k$ with $n\geq 2k+1$, the Kneser graph $K(n,k)$ is the graph with vertex set consisting of all $k$-sets of $\{1,\dots,n\}$, where two $k$-sets are adjacent exactly when they are disjoint. The independent sets…

Combinatorics · Mathematics 2022-06-08 József Balogh , Robert A. Krueger , Haoran Luo

In this paper, we prove that for every positive $\varepsilon$, there exists an $\alpha\in(1/(k-1),1/(k-1)+\varepsilon)$ such that the binomial random graph $G(n,n^{-\alpha})$ does not obey 0-1 law w.r.t. first order sentences with k…

Combinatorics · Mathematics 2019-02-12 A. S. Razafimahatratra , M. Zhukovskii

Introduced by Albertson et al. \cite{albertson}, the distinguishing number $D(G)$ of a graph $G$ is the least integer $r$ such that there is a $r$-labeling of the vertices of $G$ that is not preserved by any nontrivial automorphism of $G$.…

Combinatorics · Mathematics 2014-06-17 Sylvain Gravier , Kahina Meslem , Souad Slimani

A solution to a problem of Erd\H{o}s, Rubin and Taylor is obtained by showing that if a graph $G$ is $(a:b)$-choosable, and $c/d > a/b$, then $G$ is not necessarily $(c:d)$-choosable. The simplest case of another problem, stated by the same…

Discrete Mathematics · Computer Science 2008-02-18 Shai Gutner

We prove that $(1+o(1))\sqrt{e/n}$ is the sharp threshold for the appearance of the square of a Hamilton cycle in $G(n,p)$, confirming the conjecture of Kahn, Narayanan, and Park. We also find the exact asymptotics of the threshold for the…

Combinatorics · Mathematics 2025-06-26 Maksim Zhukovskii

Each vertex of an arbitrary simple graph on $n$ vertices chooses $k$ random incident edges. What is the expected number of edges in the original graph that connect different connected components of the sampled subgraph? We prove that the…

Discrete Mathematics · Computer Science 2019-09-26 Jacob Holm , Valerie King , Mikkel Thorup , Or Zamir , Uri Zwick

We consider the Erd\H{o}s-R\'enyi evolution of random graphs, where a new uniformly distributed edge is added to the graph in every step. For every fixed $d\ge 1$, we show that with high probability, the graph becomes rigid in $\mathbb R^d$…

Combinatorics · Mathematics 2022-09-14 Alan Lew , Eran Nevo , Yuval Peled , Orit E. Raz

The odd-Ramsey number $r_{\text{odd}}(n,H)$ of a graph $H$ is the minimum number of colors needed to edge-color $K_n$ so that in every copy of $H$ some color occurs an odd number of times, and the unique-Ramsey number $r_{\text{u}}(n,H)$ is…

Combinatorics · Mathematics 2026-05-11 Shagnik Das , Ying-Sian Wu

Given a symmetric $n\times n$ matrix $P$ with $0 \le P(u, v)\le 1$, we define a random graph $G_{n, P}$ on $[n]$ by independently including any edge $\{u, v\}$ with probability $P(u, v)$. For $k\ge 1$ let $\mathcal{A}_k$ be the property of…

Combinatorics · Mathematics 2020-12-23 Tony Johansson

Let $G_{n,p}$ be the standard Erd\H{o}s-R\'enyi-Gilbert random graph and let $G_{n,n,p}$ be the random bipartite graph on $n+n$ vertices, where each $e\in [n]^2$ appears as an edge independently with probability $p$. For a graph $G=(V,E)$,…

Combinatorics · Mathematics 2015-11-19 Alan Frieze , Tony Johansson

In this thesis, which is supervised by Dr. David Penman, we examine random interval graphs. Recall that such a graph is defined by letting $X_{1},\ldots X_{n},Y_{1},\ldots Y_{n}$ be $2n$ independent random variables, with uniform…

Combinatorics · Mathematics 2019-05-27 Vasileios Iliopoulos

We show that the threshold for the random graph $G_{n,p}$ to contain the square of a Hamilton cycle is $p=\frac{1}{\sqrt{n}}$. This improves the previous results of K\"uhn and Osthus and also Nenadov and \v{S}kori\'c. In addition we…

Combinatorics · Mathematics 2017-10-06 Patrick Bennett , Andrzej Dudek , Alan Frieze

The threshold $p_c(H)$ for the event that the binomial random graph $G_{n,p}$ contains a copy of a graph $H$ is the unique $p$ for which $\mathbb{P}(H \subseteq G_{n,p}) = 1/2$, and the fractional expectation threshold $q_f(H)$ is roughly…

Combinatorics · Mathematics 2026-02-03 Quentin Dubroff

For a sequence p=(p(1),p(2), ...) let G(n,p) denote the random graph with vertex set {1,2, ...,n} in which two vertices i, j are adjacent with probability p(|i-j|), independently for each pair. We study how the convergence of probabilities…

Logic · Mathematics 2016-09-06 Tomasz Łuczak , Saharon Shelah