We consider the model of Deijfen, Häggström and Bagley (2004) for competing growth of two infection types in R d , based on the Richardson model on Z d . Stochastic ball-shaped infection outbursts transmit the infection type of the center to all points of the ball that are not yet infected. Relevant parameters of the model are the initial infection configuration, the (type-dependent) growth rates, and the radius distribution of the infection outbursts. The main question is that of coexistence: Which values of the parameters allow the unbounded growth of both types with positive probability? Deijfen, Häggström and Bagley (2004) conjectured that the initial configuration is basically irrelevant for this question, and gave a proof for this under strong assumptions on the radius distribution, which, e.g. do not include the case of a deterministic radius. Here we give a proof that does not rely on these assumptions. One of the tools to be used is a slight generalization of the model with immune regions and delayed initial infection configurations.

Denote the Palm measure of a homogeneous Poisson process H λ with two points 0 and x by P0,x . We prove that there exists a constant μ ≥ 1 such that P0,x (D(0, x) / μ||x||2 ∉ (1 − ε, 1 + ε) | 0, x ∈ C ∞) exponentially decreases when ||x||2 tends to ∞, where D(0, x) is the graph distance between 0 and x in the infinite component C ∞ of the random geometric graph G(H λ; 1). We derive a large deviation inequality for an asymptotic shape result. Our results have applications in many fields and especially in wireless sensor networks.

The superintegrable chiral Potts model has many resemblances to the Ising model, so it is natural to look for algebraic properties similar to those found for the Ising model by Onsager, Kaufman and Yang. The spontaneous magnetization ℳr can be written in terms of a sum over the elements of a matrix Sr. The author conjectured the form of the elements, and this conjecture has been verified by Iorgov et al. The author also conjectured in 2008 that this sum could be expressed as a determinant, and has recently evaluated the determinant to obtain the known result for ℳr. Here we prove that the sum and the determinant are indeed identical expressions. Since the order parameters of the superintegrable chiral Potts model are also those of the more general solvable chiral Potts model, this completes the algebraic calculation of ℳr for the general model.

Gibbs fields are constructed and studied which correspond to systems of real-valued spins (e.g. systems of interacting anharmonic oscillators) indexed by the vertices of unbounded degree graphs of a certain type, for which the Gaussian Gibbs fields need not be existing. In these graphs, the vertex degree growth is controlled by a summability requirement formulated with the help of a generalized Randić index. In particular, it is proven that the Gibbs fields obey uniform integrability estimates, which are then used in the study of the topological properties of the set of Gibbs fields. In the second part, a class of graphs is introduced in which the mentioned summability is obtained by assuming that the vertices of large degree are located at large distances from each other. This is a stronger version of the metric property employed in Bassalygo and Dobrushin (1986).

It is well known that, as n tends to ∞, the probability of satisfiability for a random 2-SAT formula on n variables, where each clause occurs independently with probability α / 2n, exhibits a sharp threshold at α = 1. We study a more general 2-SAT model in which each clause occurs independently but with probability αi / 2n, where i ∈ {0, 1, 2} is the number of positive literals in that clause. We generalize the branching process arguments used by Verhoeven (1999) to determine the satisfiability threshold for this model in terms of the maximum eigenvalue of the branching matrix.

Consider the following classical problem in ad-hoc networks. Suppose that n devices are distributed uniformly at random in a given region. Each device is allowed to choose its own transmission radius, and two devices can communicate if and only if they are within the transmission radius of each other. The aim is to (quickly) establish a connected network of low average and maximum degree. In this paper we present the first efficient distributed protocols that, in poly-logarithmically many rounds and with high probability, set up a connected network with O(1) average degree and O(log n) maximum degree. Our algorithms are based on the following result, which is a nontrivial consequence of classical percolation theory. Suppose that each device sets up its transmission radius in order to reach the K closest devices. There exists a universal constant K (independent of n) such that, with high probability, there will be a unique giant component (i.e. a connected component of size Θ(n)). Furthermore, all remaining components will be of size O(log2 n). This leads to an efficient distributed probabilistic test for membership in the giant component, which can be used in a second phase to achieve full connectivity.

We study a continuous-time stochastic process on strings made of two types of particle, whose dynamics mimic the behaviour of microtubules in a living cell; namely, the strings evolve via a competition between (local) growth/shrinking as well as (global) hydrolysis processes. We give a complete characterization of the phase diagram of the model, and derive several criteria of the transient and recurrent regimes for the underlying stochastic process.

Let be a Poisson process of intensity one in the infinite plane ℝ2. We surround each point x of by the open disc of radius r centred at x. Now let S n be a fixed disc of area n, and let C r (S n ) be the set of discs which intersect S n . Write E r k for the event that C r (S n ) is a k-cover of S n , and F r k for the event that C r (S n ) may be partitioned into k disjoint single covers of S n . We prove that P(E r k ∖ F r k ) ≤ c k / logn, and that this result is best possible. We also give improved estimates for P(E r k ). Finally, we study the obstructions to k-partitionability in more detail. As part of this study, we prove a classification theorem for (deterministic) covers of ℝ2 with half-planes that cannot be partitioned into two single covers.

Conditioning independent and identically distributed bond percolation with retention parameter p on a one-dimensional periodic lattice on the event of having a bi-infinite path from -∞ to ∞ is shown to make sense, and the resulting model exhibits a Markovian structure that facilitates its analysis. Stochastic monotonicity in p turns out to fail in general for this model, but a weaker monotonicity property does hold: the average edge density is increasing in p.

The waste-recycling Monte Carlo (WRMC) algorithm introduced by physicists is a modification of the (multi-proposal) Metropolis–Hastings algorithm, which makes use of all the proposals in the empirical mean, whereas the standard (multi-proposal) Metropolis–Hastings algorithm uses only the accepted proposals. In this paper we extend the WRMC algorithm to a general control variate technique and exhibit the optimal choice of the control variate in terms of the asymptotic variance. We also give an example which shows that, in contradiction to the intuition of physicists, the WRMC algorithm can have an asymptotic variance larger than that of the Metropolis–Hastings algorithm. However, in the particular case of the Metropolis–Hastings algorithm called the Boltzmann algorithm, we prove that the WRMC algorithm is asymptotically better than the Metropolis–Hastings algorithm. This last property is also true for the multi-proposal Metropolis–Hastings algorithm. In this last framework we consider a linear parametric generalization of WRMC, and we propose an estimator of the explicit optimal parameter using the proposals.

We prove the existence of infinite-volume quermass-interaction processes in a general setting of nonlocally stable interaction and nonbounded convex grains. No condition on the parameters of the linear combination of the Minkowski functionals is assumed. The only condition is that the square of the random radius of the grain admits exponential moments for all orders. Our methods are based on entropy and large deviation tools.

Consider randomly scattered radio transceivers in ℝd , each of which can transmit signals to all transceivers in a given randomly chosen region about itself. If a signal is retransmitted by every transceiver that receives it, under what circumstances will a signal propagate to a large distance from its starting point? Put more formally, place points {x i } in ℝd according to a Poisson process with intensity 1. Then, independently for each x i , choose a bounded region A x i from some fixed distribution and let be the random directed graph with vertex set whenever x j ∈ x i + A x i . We show that, for any will almost surely have an infinite directed path, provided the expected number of transceivers that can receive a signal directly from x i is at least 1 + η, and the regions x i + A x i do not overlap too much (in a sense that we shall make precise). One example where these conditions hold, and so gives rise to percolation, is in ℝd , with each A x i a ball of volume 1 + η centred at x i , where η → 0 as d → ∞. Another example is in two dimensions, where the A x i are sectors of angle ε γ and area 1 + η, uniformly randomly oriented within a fixed angle (1 + ε)θ. In this case we can let η → 0 as ε → 0 and still obtain percolation. The result is already known for the annulus, i.e. that the critical area tends to 1 as the ratio of the radii tends to 1, while it is known to be false for the square (l∞) annulus. Our results show that it does however hold for the randomly oriented square annulus.

The standard Markov chain Monte Carlo method of estimating an expected value is to generate a Markov chain which converges to the target distribution and then compute correlated sample averages. In many applications the quantity of interest θ is represented as a product of expected values, θ = µ 1 ⋯ µ k , and a natural estimator is a product of averages. To increase the confidence level, we can compute a median of independent runs. The goal of this paper is to analyze such an estimator , i.e. an estimator which is a ‘median of products of averages’ (MPA). Sufficient conditions are given for to have fixed relative precision at a given level of confidence, that is, to satisfy . Our main tool is a new bound on the mean-square error, valid also for nonreversible Markov chains on a finite state space.

Let 𝒫 be a Poisson process of intensity 1 in a square S n of area n. For a fixed integer k, join every point of 𝒫 to its k nearest neighbours, creating an undirected random geometric graph G n,k . We prove that there exists a critical constant c crit such that, for c < c crit, G n,⌊c log n⌋ is disconnected with probability tending to 1 as n → ∞ and, for c > c crit, G n,⌊c log n⌋ is connected with probability tending to 1 as n → ∞. This answers a question posed in Balister et al. (2005).

We give an interpretation of the energy function and classically restricted one-dimensional sums associated to tensor products of level-zero fundamental representations of quantum affine algebras in terms of Lakshmibai–Seshadri paths of level-zero shape.

We consider an independent long-range bond percolation on Z 2. Horizontal and vertical bonds of length n are independently open with probability p_n ∈ [0, 1]. Given ∑n=1 ∞∏i=1 n (1 − p i ) < ∞, we prove that there exists an infinite cluster of open bonds of length less than or equal to N for some large but finite N. The result gives a partial answer to the truncation problem.

A Euclidean first passage percolation model describing the competing growth between k different types of infection is considered. We focus on the long-time behavior of this multitype growth process and we derive multitype shape results related to its morphology.

We study the durations of the avalanches in the maximal avalanche decomposition of the Bak-Sneppen evolution model. We show that all the avalanches in this maximal decomposition have infinite expectation, but only ‘barely’, in the sense that if we made the appropriate threshold a tiny amount smaller (in a certain sense), then the avalanches would have finite expectation. The first of these results is somewhat surprising, since simulations suggest finite expectations.

Continuum percolation models in which pairs of points of a two-dimensional Poisson point process are connected if they are within some range of each other have been extensively studied. This paper considers a variation in which a connection between two points depends not only on their Euclidean distance, but also on the positions of all other points of the point process. This model has been recently proposed to model interference in radio communications networks. Our main result shows that, despite the infinite-range dependencies, percolation occurs in the model when the density λ of the Poisson point process is greater than the critical density value λc of the independent model, provided that interference from other nodes can be sufficiently reduced (without vanishing).

We construct random dynamics for collections of nonintersecting planar contours, leaving invariant the distributions of length- and area-interacting polygonal Markov fields with V-shaped nodes. The first of these dynamics is based on the dynamic construction of consistent polygonal fields, as presented in the original articles by Arak (1983) and Arak and Surgailis (1989), (1991), and it provides an easy-to-implement Metropolis-type simulation algorithm. The second dynamics leads to a graphical construction in the spirit of Fernández et al. (1998), (2002) and yields a perfect simulation scheme in a finite window in the infinite-volume limit. This algorithm seems difficult to implement, yet its value lies in that it allows for theoretical analysis of the thermodynamic limit behaviour of length-interacting polygonal fields. The results thus obtained include, in the class of infinite-volume Gibbs measures without infinite contours, the uniqueness and exponential α-mixing of the thermodynamic limit of such fields in the low-temperature region. Outside this class, we conjecture the existence of an infinite number of extreme phases breaking both the translational and rotational symmetries.