arXiv++ Combinatorics

For a binomial random variable $ξ$ with parameters $n$ and $b/n$, it is well known that the median equals $b$ when $b$ is an integer. In 1968, Jogdeo and Samuels studied the behaviour of the relative difference between ${\sf P}(ξ=b)$ and $1/2-{\sf P}(ξ<b)$. They proved its monotonicity in $n$ and posed a question about its monotonicity in $b$. This question is motivated by the solved problem proposed by Ramanujan in 1911 on the monotonicity of the same quantity but for a Poisson random variable with an integer parameter $b$. In the paper, we answer this question and introduce a simple way to analyse the monotonicity of similar functions.

In 2001, J.-M. Le Bars disproved the zero-one law (that says that every sentence from a certain logic is either true asymptotically almost surely (a.a.s.), or false a.a.s.) for existential monadic second order sentences (EMSO) about undirected graphs. He proved that there exists an EMSO sentence $φ$ such that ${\sf P}(G_n \modelsφ)$ does not converge as $n\to\infty$ (here, the probability distribution is uniform over the set of all graphs on the labeled set of vertices $\{1, \dots, n\}$). In the same paper, he conjectured that, for EMSO sentences with 2 first order variables, the zero-one law holds. In this paper, we disprove this conjecture.

Let $Δ_{k;n}$ be the maximum number of common neighbors of a set of $k$ vertices in $G(n,p)$. In this paper, we find $a_n$ and $σ_n$ such that $\frac{Δ_{k;n}-a_n}{σ_n}$ converges in distribution to a random variable having the standard Gumbel distribution.

In this paper, we study existential monadic second order (EMSO) properties of undirected graphs. In 2001, J.-M. Le Bars proved that there exists an EMSO sentence about undirected graphs such that the probability that it is true does not converge (here, the probability distribution is uniform over the set of all graphs on the fixed set of vertices). In the same paper, he conjectured that, for EMSO sentences with 2 first order variables, the 0-1 law holds (every sentence is either true asymptotically almost surely (a.a.s.), or false a.a.s.). We give an example of EMSO sentence with 1 monadic variable without convergence and an example of EMSO sentence with 3 first order variables without convergence.

Spectrum of a first order sentence is the set of all $α$ such that $G(n, n^{-α})$ does not obey zero-one law w.r.t. this sentence. We have proved that the minimal number of quantifier alternations of a first order sentence with an infinite spectrum equals 3. We have also proved that the spectrum of a first order sentence with a quantifier depth 4 has no limit points except possibly the points 1/2 and 3/5.

In this paper, we study zero-one laws for the Erdős--Rényi random graph model $G(n,p)$ in the case when $p = n^{-α}$ for $α>0$. For a given class $\mathcal{K}$ of logical sentences about graphs and a given function $p=p(n)$, we say that $G(n,p)$ obeys the zero-one law (w.r.t. the class $\mathcal{K}$) if each sentence $\varphi\in\mathcal{K}$ either a.a.s. true or a.a.s. false for $G(n,p)$. In this paper, we consider first order properties and monadic second order properties of bounded \textit{quantifier depth} $k$, that is, the length of the longest chain of nested quantifiers in the formula expressing the property. Zero-one laws for properties of quantifier depth $k$ we call the \textit{zero-one $k$-laws}. The main results of this paper concern the zero-one $k$-laws for monadic second order properties (MSO properties). We determine all values $α>0$, for which the zero-one $3$-law for MSO properties does not hold. We also show that, in contrast to the case of the $3$-law, there are infinitely many values of $α$ for which the zero-one $4$-law for MSO properties does not hold. To this end, we analyze the evolution of certain properties of $G(n,p)$ that may be of independent interest.

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).