We prove game-theoretic generalizations of some well known zero-one laws. Our proofs make the martingales behind the laws explicit, and our results illustrate how martingale arguments can have implications going beyond measure-theoretic probability.
Under the unifying umbrella of a general result of Penrose & Yukich [Ann. Appl. Probab., (2003) 13, 277--303] we give laws of large numbers (in the $L^p$ sense) for the total power-weighted length of several nearest-neighbour type graphs on random point sets in $\R^d$, $d\in\N$. Some of these results are known; some are new. We give limiting constants explicitly, where previously they have been evaluated in less generality or not at all. The graphs we consider include the k-nearest neighbours graph, the Gabriel graph, the minimal directed spanning forest, and the on-line nearest-neighbour grap…
We prove that multidimensional diffusions in random environment have a limiting velocity which takes at most two different values. Further, in the two-dimensional case we show that for any direction, the probability to escape to infinity in this direction equals either zero or one. Combined with our results on the limiting velocity, this implies a strong law of large numbers in two dimensions.
Continuing from arXiv:2102.01917v2, in this paper, we discuss general criteria and forms of liminf laws of iterated logarithm (LIL) for continuous-time Markov processes. Under some minimal assumptions, which are weaker than those in arXiv:2102.01917v2, we establish liminf LIL at zero (at infinity, respectively) in general metric measure spaces. In particular, our assumptions for liminf law of LIL at zero and the form of liminf LIL are truly local so that we can cover highly space-inhomogenous cases. Our results cover all examples in arXiv:2102.01917v2 including random conductance models with l…
A set of binary random variables indexed by a lattice torus is considered. Under a mixing hypothesis, the probability of any proposition belonging to the first order logic of colored graphs tends to 0 or 1, as the size of the lattice tends to infinity. For the particular case of the Ising model with bounded pair potential and surface potential tending to $-\infty$, the threshold functions of local propositions are computed, and sufficient conditions for the zero-one law are given.
The random key graph is a random graph naturally associated with the random key predistribution scheme of Eschenauer and Gligor for wireless sensor networks. For this class of random graphs we establish a new version of a conjectured zero-one law for graph connectivity as the number of nodes becomes unboundedly large. The results reported here complement and strengthen recent work on this conjecture by Blackburn and Gerke. In particular, the results are given under conditions which are more realistic for applications to wireless sensor networks.
We study the asymptotic laws for the spatial distribution and the number of connected components of zero sets of smooth Gaussian random functions of several real variables. The primary examples are various Gaussian ensembles of real-valued polynomials (algebraic or trigonometric) of large degree on the sphere or torus, and translation-invariant smooth Gaussian functions on the Euclidean space restricted to large domains.
One of the most well-known classical results for site percolation on the square lattice is the equation p_c + p_c^* = 1. In words, this equation means that for all values different from p_c of the parameter p the following holds: Either a.s. there is an infinite open cluster or a.s. there is an infinite closed `star' cluster. This result is closely related to the percolation transition being sharp: Below p_c the size of the open cluster of a given vertex is not only (a.s.) finite, but has a distrubtion with an exponential tail. The analog of this result has been proved by Higuchi in 1993 for t…
One of the most well-known classical results for site percolation on the square lattice is the equation $p_c+p_c^*=1$. In words, this equation means that for all values $\neq p_c$ of the parameter $p$, the following holds: either a.s. there is an infinite open cluster or a.s. there is an infinite closed "star" cluster. This result is closely related to the percolation transition being sharp: below $p_c$, the size of the open cluster of a given vertex is not only (a.s.) finite, but has a distribution with an exponential tail. The analog of this result has been proven by Higuchi in 1993 for two-…
For any fixed positive integer $k$, let $α_{k}$ denote the smallest $α\in (0,1)$ such that the random graph sequence $\left\{G\left(n, n^{-α}\right)\right\}$ does not satisfy the zero-one law for the set $\mathcal{E}_{k}$ of all existential first order sentences that are of quantifier depth at most $k$. This paper finds upper and lower bounds on $α_{k}$, showing that as $k \rightarrow \infty$, we have $α_{k} = \left(k - 2 - t(k)\right)^{-1}$ for some function $t(k) = Θ(k^{-2})$. We also establish the precise value of $α_{k}$ when $k = 4$.
In this paper, we discuss the laws of the iterated logarithm (LIL) for occupation times of Markov processes $Y$ in general metric measure space both near zero and near infinity under some minimal assumptions. We first establish LILs of (truncated) occupation times on balls $B(x,r)$ of radii $r$ up to an function $Φ(r)$, which is an iterated logarithm of mean exit time of $Y$, by showing that the function $Φ$ is optimal. Our first result on LILs of occupation times covers both near zero and near infinity regardless of transience and recurrence of the process. Our assumptions are truly local in …
We consider transient random walks in random environment on $\z$ with zero asymptotic speed. A classical result of Kesten, Kozlov and Spitzer says that the hitting time of the level $n$ converges in law, after a proper normalization, towards a positive stable law, but they do not obtain a description of its parameter. A different proof of this result is presented, that leads to a complete characterization of this stable law. The case of Dirichlet environment turns out to be remarkably explicit.
We offer further evidence that discreteness of the sort inherent in a causal set cannot, in and of itself, serve to break Poincar{é} invariance. In particular we prove that a Poisson sprinkling of Minkowski spacetime cannot endow spacetime with a distinguished spatial or temporal orientation, or with a distinguished lattice of spacetime points, or with a distinguished lattice of timelike directions (corresponding respectively to breakings of reflection-invariance, translation-invariance, and Lorentz invariance). Along the way we provide a proof from first principles of the zero-one law on whic…
We introduce a new random key predistribution scheme for securing heterogeneous wireless sensor networks. Each of the n sensors in the network is classified into r classes according to some probability distribution μ = {μ_1 , . . . , μ_r }. Before deployment, a class-i sensor is assigned K_i cryptographic keys that are selected uniformly at random from a common pool of P keys. Once deployed, a pair of sensors can communicate securely if and only if they have a key in common. We model the communication topology of this network by a newly defined inhomogeneous random key graph. We establish scal…