In the random graph $G(n,p),p=n^{-a}$: if $\psi$ has probability $0(n^{-\varepsilon})$ for every $\varepsilon > 0$ then it has probability $0(e^{-n^\varepsilon})$ for some $\varepsilon > 0$
by Shelah. [Sh:551]
Annals Pure and Applied Logic, 1996
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
can we say on sentences psi for which Prob (G(n,p_n) models psi)converge to zero, Lynch asked the question and did the analysis,
getting (for every psi):
EITHER [(alpha)] Prob [G(n,p_n) models psi]=cn^{- beta} +
O(n^{- beta-epsilon}) for some epsilon such that
beta >epsilon >0
OR [(beta)] Prob (G(n,p_n) models psi)= O(n^{-epsilon}) for
every epsilon >0 .
Lynch conjectured that in case (beta) we have
[(beta^+)] Prob (G(n,p_n) models psi)= O(e^{-n^epsilon}) for
some epsilon >0 . We prove it here.
Back to the list of publications