English
Related papers

Related papers: On the very weak 0-1 law for random graphs with or…

200 papers

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

Let G_<(n,p) denote the usual random graph G(n,p) on a totally ordered set of n vertices. We will fix p=1/2 for definiteness. Let L^< denote the first order language with predicates equality (x=y), adjacency (x~y) and less than (x<y). For…

Logic · Mathematics 2016-09-06 Saharon Shelah

Shelah Spencer [ShSp:304] proved the 0-1 law for the random graphs G(n,p_n), p_n=n^{- alpha}, alpha in (0,1) irrational (set of nodes in [n]= {1, ...,n}, the edges are drawn independently, probability of edge is p_n). One may wonder what…

Logic · Mathematics 2008-02-03 Saharon Shelah

Let G_n be the random graph on [n]= {1, ...,n} with the possible edge {i,j} having probability being p_{|i-j|}= 1/|i-j|^alpha, alpha in (0,1) irrational. We prove that the zero one law (for first order logic) holds. The paper is continued…

Logic · Mathematics 2009-09-25 Saharon Shelah

Let $\alpha\in(0,1)_\mathbb{R}$ be irrational and $G_n = G_{{n, 1/n}^\alpha}$ be the random graph with edge probability $1/n^\alpha$; we know that it satisfies the 0-1 law for first order logic. We deal with the failure of the 0-1 law for…

Logic · Mathematics 2017-06-06 Saharon Shelah

The classical zero-one law for first-order logic on random graphs says that for any first-order sentence $\phi$ in the theory of graphs, as n approaches infinity, the probability that the random graph G(n, p) satisfies $\phi$ approaches…

Combinatorics · Mathematics 2009-04-17 Phokion G. Kolaitis , Swastik Kopparty

Let $\alpha \in (0,1)_{\mathbb{R}}$ be irrational and $G_n = G_{n,1/n^\alpha}$ be the random graph with edge probability $1/n^\alpha$; we know that it satisfies the 0-1 law for first order logic. We deal with the failure of the 0-1 law for…

Logic · Mathematics 2021-08-21 Saharon Shelah

We consider first order expressible properties of random perfect graphs. That is, we pick a graph $G_n$ uniformly at random from all (labelled) perfect graphs on $n$ vertices and consider the probability that it satisfies some graph…

Combinatorics · Mathematics 2018-10-02 Tobias Müller , Marc Noy

We consider the random graph M^n_{\bar{p}} on the set [n], were the probability of {x,y} being an edge is p_{|x-y|}, and \bar{p}=(p_1,p_2,p_3,...) is a series of probabilities. We consider the set of all \bar{q} derived from \bar{p} by…

Logic · Mathematics 2010-06-16 Mor Doron , Saharon Shelah

For an $n\times n$ random image with independent pixels, black with probability $p(n)$ and white with probability $1-p(n)$, the probability of satisfying any given first-order sentence tends to 0 or 1, provided both $p(n)n^{\frac{2}{k}}$…

Probability · Mathematics 2016-08-16 David Coupier , Agnès Desolneux , Bernard Ycart

In this work limit probabilities of first-order properties of the random $s$-uniform hypergraph in the binomial model $G^{s}(n,p)$ are studied. We give a complete discription of all positive $\alpha$ such that $G^{s}(n,n^{-\alpha})$ obeys…

Probability · Mathematics 2016-07-27 Aleksandr Matushkin

In this paper the limit probabilities of first-order properties are studied. The random graph $G(n,p)$ {\it obeys Zero-One $k$-Law} if for each first-order property with quantifier depth not greater than $k$ its probability tends to 0 or…

Probability · Mathematics 2016-02-02 Aleksandr Matushkin

We consider limit probabilities of first order properties in random graphs with a given degree sequence. Under mild conditions on the degree sequence, we show that the closure set of limit probabilities is a finite union of closed…

Combinatorics · Mathematics 2024-05-24 Alberto Larrauri , Guillem Perarnau

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

We study an asymptotic behavior of the probabilities of first-order properties of random graph G(N,p) in the article. We conider p such that lnp=-alnN, a>0. We find values of parameter a from (1-exp(ln2(1-k)),1) such that the random graph…

Probability · Mathematics 2013-04-04 M. E. Zhukovskii

Let $G_n$ be the binomial random graph $G(n,p=c/n)$ in the sparse regime, which as is well-known undergoes a phase transition at $c=1$. Lynch (Random Structures Algorithms, 1992) showed that for every first order sentence $\phi$, the…

Combinatorics · Mathematics 2020-08-24 Alberto Larrauri , Tobias Müller , Marc Noy

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

We study asymptotical probabilities of first order and monadic second order properties of Erdos-Renyi random graph G(n,n^{-a}). The random graph obeys FO (MSO) zero-one k-law if for any first order (monadic second order) formulae it is true…

Combinatorics · Mathematics 2016-09-06 L. B. Ostrovsky , M. E. Zhukovskii

We study logical limit laws for uniform attachment random graphs. In this random graph model, vertices and edges are introduced recursively: at time $n+1$, the vertex $n+1$ is introduced together with $m$ edges joining the new vertex with…

Probability · Mathematics 2022-01-03 Yury Malyshkin , Maksim Zhukovskii

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
‹ Prev 1 2 3 10 Next ›