arXiv subjects

J. van den Berg

Publications and source records attributed to J. van den Berg.

14 recordsLinked to original sources

arXiv2020

The maximum dimension of a Lie nilpotent subalgebra of M_{n}(F) of index m

The main result of this paper is the following: if F is any field and R is any F-subalgebra of the algebra of nxn matrices over F with Lie nilpotence index m, then the F-dimension of R is less or equal than M(m+1,n), where M(m+1,n) is the maximum of a certain expression of m+1 nonnegative integers and n. The case m=1 reduces to a classical theorem of Schur (1905), later generalized by Jacobson (1944) to all fields, which asserts that if F is an algebraically closed field of characteristic zero, and R is any commutative F-subalgebra of the full nxn matrix algebra over F, then the F-dimension of R is less or equal than ((n^2)/4)+1. Examples constructed from block upper triangular matrices show that the upper bound of M(m+1,n) cannot be lowered for any choice of m and n. An explicit formula for M(m+1,n) is also derived.

math.RA↗

arXiv2019

A lower bound for point-to-point connection probabilities in critical percolation

Consider critical site percolation on $\mathbb{Z}^d$ with $d \geq 2$. We prove a lower bound of order $n^{- d^2}$ for point-to-point connection probabilities, where $n$ is the distance between the points. Most of the work in our proof concerns a `construction' which finally reduces the problem to a topological one. This is then solved by applying a topological fact, which follows from Brouwer's fixed point theorem. Our bound improves the lower bound with exponent $2 d (d-1)$, used by Cerf in 2015 to obtain an upper bound for the so-called two-arm probabilities. Apart from being of interest in itself, our result gives a small improvement of the bound on the two-arm exponent found by Cerf.

math.PR↗

arXiv2014

Sharpness versus robustness of the percolation transition in 2D contact processes

We study versions of the contact process with three states, and with infections occurring at a rate depending on the overall infection density. Motivated by a model described in [17] for vegetation patterns in arid landscapes, we focus on percolation under invariant measures of such processes. We prove that the percolation transition is sharp (for one of our models this requires a reasonable assumption). This is shown to contradict a form of 'robust critical behaviour' with power law cluster size distribution for a range of parameter values, as suggested in [17].

math.PR↗

arXiv2012

BK-type inequalities and generalized random-cluster representations

Recently, van den Berg and Jonasson gave the first substantial extension of the BK inequality for non-product measures: they proved that, for k-out-of-n measures, the probability that two increasing events occur disjointly is at most the product of the two individual probabilities. We show several other extensions and modifications of the BK inequality.In particular, we prove that the antiferromagnetic Ising Curie-Weiss model satisfies the BK inequality for all increasing events. We prove that this also holds for the Curie-Weiss model with three-body interactions under the so-called Negative Lattice Condition. For the ferromagnetic Ising model we show that the probability that two events occur `cluster-disjointly' is at most the product of the two individual probabilities, and we give a more abstract form of this result for arbitrary Gibbs measures. The above cases are derived from a general abstract theorem whose proof is based on an extension of the Fortuin-Kasteleyn random-cluster representation for all probability distributions and on a `folding procedure' which generalizes an argument of D. Reimer.

math.PR↗

arXiv2011

A BK inequality for randomly drawn subsets of fixed size

The BK inequality (\cite{BK85}) says that,for product measures on $\{0,1\}^n$, the probability that two increasing events $A$ and $B$ `occur disjointly' is at most the product of the two individual probabilities. The conjecture in \cite{BK85} that this holds for {\em all} events was proved by Reimer (cite{R00}). Several other problems in this area remained open. For instance, although it is easy to see that non-product measures cannot satisfy the above inequality for {\em all} events,there are several such measures which, intuitively, should satisfy the inequality for all{\em increasing} events. One of the most natural candidates is the measure assigning equal probabilities to all configurations with exactly $k$ 1's (and probability 0 to all other configurations). The main contribution of this paper is a proof for these measures. We also point out how our result extends to weighted versions of these measures, and to products of such measures.

math.PR↗

arXiv2011

Sharpness of the percolation transition in the two-dimensional contact process

For ordinary (independent) percolation on a large class of lattices it is well known that below the critical percolation parameter $p_c$ the cluster size distribution has exponential decay and that power-law behavior of this distribution can only occur at $p_c$. This behavior is often called ``sharpness of the percolation transition.'' For theoretical reasons, as well as motivated by applied research, there is an increasing interest in percolation models with (weak) dependencies. For instance, biologists and agricultural researchers have used (stationary distributions of) certain two-dimensional contact-like processes to model vegetation patterns in an arid landscape (see [20]). In that context occupied clusters are interpreted as patches of vegetation. For some of these models it is reported in [20] that computer simulations indicate power-law behavior in some interval of positive length of a model parameter. This would mean that in these models the percolation transition is not sharp. This motivated us to investigate similar questions for the ordinary (``basic'') $2D$ contact process with parameter $λ$. We show, using techniques from Bollobás and Riordan [8, 11], that for the upper invariant measure ${\barν}_λ$ of this process the percolation transition is sharp. If $λ$ is such that (${\barν}_λ$-a.s.) there are no infinite clusters, then for all parameter values below $λ$ the cluster-size distribution has exponential decay.

math.PR↗

arXiv2010

Escape of resources in distributed clustering processes

In a distributed clustering algorithm introduced by Coffman, Courtois, Gilbert and Piret \cite{coffman91}, each vertex of $\mathbb{Z}^d$ receives an initial amount of a resource, and, at each iteration, transfers all of its resource to the neighboring vertex which currently holds the maximum amount of resource. In \cite{hlrnss} it was shown that, if the distribution of the initial quantities of resource is invariant under lattice translations, then the flow of resource at each vertex eventually stops almost surely, thus solving a problem posed in \cite{berg91}. In this article we prove the existence of translation-invariant initial distributions for which resources nevertheless escape to infinity, in the sense that the the final amount of resource at a given vertex is strictly smaller in expectation than the initial amount. This answers a question posed in \cite{hlrnss}.

math.PR↗

arXiv2008

Approximate zero-one laws and sharpness of the percolation transition in a class of models including two-dimensional Ising percolation

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-dimensional Ising percolation (at fixed inverse temperature $β<β_c$) with external field $h$, the parameter of the model. Using sharp-threshold results (approximate zero-one laws) and a modification of an RSW-like result by Bollobás and Riordan, we show that these results hold for a large class of percolation models where the vertex values can be "nicely" represented (in a sense which will be defined precisely) by i.i.d. random variables. We point out that the ordinary percolation model obviously belongs to this class and we also show that the Ising model mentioned above belongs to it.

math.PR↗

arXiv2007

Random spatial growth with paralyzing obstacles

We study models of spatial growth processes where initially there are sources of growth (indicated by the colour green) and sources of a growth-stopping (paralyzing) substance (indicated by red). The green sources expand and may merge with others (there is no `inter-green' competition). The red substance remains passive as long as it is isolated. However, when a green cluster comes in touch with the red substance, it is immediately invaded by the latter, stops growing and starts to act as red substance itself. In our main model space is represented by a graph, of which initially each vertex is randomly green, red or white (vacant), and the growth of the green clusters is similar to that in first-passage percolation. The main issues we investigate are whether the model is well-defined on an infinite graph (e.g. the $d$-dimensional cubic lattice), and what can be said about the distribution of the size of a green cluster just before it is paralyzed. We show that, if the initial density of red vertices is positive, and that of white vertices is sufficiently small, the model is indeed well-defined and the above distribution has an exponential tail. In fact, we believe this to be true whenever the initial density of red is positive. This research also led to a relation between invasion percolation and critical Bernoulli percolation which seems to be of independent interest.

math.PR↗

arXiv2007

Linear Lower Bounds for $δ_c(p)$ for a Class of 2D Self-Destructive Percolation Models

The self-destructive percolation model is defined as follows: Consider percolation with parameter $p > p_c$. Remove the infinite occupied cluster. Finally, give each vertex (or, for bond percolation, each edge) that at this stage is vacant, an extra chance $δ$ to become occupied. Let $δ_c(p)$ be the minimal value of $δ$, needed to obtain an infinite occupied cluster in the final configuration. This model was introduced some years ago by van den Berg and Brouwer. They showed that, for the site model on the square lattice (and a few other 2D lattices satisfying a special technical condition) that $δ_c(p)\geq\frac{(p-p_c)}{p}$. In particular, $δ_c(p)$ is at least linear in $p-p_c$. Although the arguments used by van den Berg and Brouwer look quite rigid, we show that they can be suitably modified to obtain similar linear lower bounds for $δ_c(p)$ (with $p$ near $p_c$) for a much larger class of 2D lattices, including bond percolation on the square and triangular lattices, and site percolation on the star lattice (or matching lattice) of the square lattice.

math.PR↗

arXiv2006

Proof of a conjecture of N. Konno for the 1D contact process

Consider the one-dimensional contact process. About ten years ago, N. Konno stated the conjecture that, for all positive integers $n,m$, the upper invariant measure has the following property: Conditioned on the event that $O$ is infected, the events $\{$All sites $-n,...,-1$ are healthy$\}$ and $\{$All sites $1,...,m$ are healthy$\}$ are negatively correlated. We prove (a stronger version of) this conjecture, and explain that in some sense it is a dual version of the planar case of one of our results in \citeBHK.

math.PR↗

arXiv2006

Continuity for self-destructive percolation in the plane

A few years ago two of us introduced, motivated by the study of certain forest-fireprocesses, the self-destructive percolation model (abbreviated as sdp model). A typical configuration for the sdp model with parameters p and delta is generated in three steps: First we generate a typical configuration for the ordinary percolation model with parameter p. Next, we make all sites in the infinite occupied cluster vacant. Finally, each site that was already vacant in the beginning or made vacant by the above action, becomes occupied with probability delta (independent of the other sites). Let theta(p, delta) be the probability that some specified vertex belongs, in the final configuration, to an infinite occupied cluster. In our earlier paper we stated the conjecture that, for the square lattice and other planar lattices, the function theta has a discontinuity at points of the form (p_c, delta), with delta sufficiently small. We also showed remarkable consequences for the forest-fire models. The conjecture naturally raises the question whether the function theta is continuous outside some region of the above mentioned form. We prove that this is indeed the case. An important ingredient in our proof is a (somewhat stronger form of a) recent ingenious RSW-like percolation result of Bollobás and Riordan.

math.PR↗

arXiv2004

Self-Organized Forest-Fires near the Critical Time

We consider a forest-fire model which, somewhat informally, is described as follows: Each site (vertex) of the square lattice is either vacant or occupied by a tree.Vacant sites become occupied at rate 1. Further, each site is hit by lightningat rate lambda. This lightning instantaneously destroys (makes vacant) the occupied cluster of the site. This model is closely related to the Drossel-Schwabl forest-fire model, which has received much attention in the physics literature. The most interesting behaviour seems to occur when the lightning rate goes to zero. In the physics literature it is believed that then the system has so-called self-organized critical behaviour. We let the system start with all sites vacant and study, for positive but small lambda,the behaviour near the `critical time' tc; that is, the time after which in the modified system without lightning an infinite occupied cluster would emerge. Intuitively one might expect that if, for fixed t > tc, we let simultaneously lambda tend to 0 and m to infinity, the probability that some tree at distance smaller than m from O is burnt before time t goes to 1. However, we show that under a percolation-like assumption (which we can not prove but believe to be true) this intuition is false. We compare with the case where the square lattice is replaced by the directed binary tree, and pose some natural open problems.

math.PR↗

arXiv2002

The lowest crossing in 2D critical percolation

We study the following problem for critical site percolation on the triangular lattice. Let A and B be sites on a horizontal line e separated by distance n. Consider, in the half-plane above e, the lowest occupied crossing R from the half-line left of A to the half-line right of B. We show that the probability that R has a site at distance smaller than m from AB is of order (log (n/m))^{-1}, uniformly in 1 <= m < n/2. Much of our analysis can be carried out for other two-dimensional lattices as well.

math.PR↗