A super-Brownian motion with a locally infinite catalytic mass

Summary. A super-Brownian motion in with “hyperbolic” branching rate , is constructed, which symbolically could be described by the formal stochastic equation (with a space-time white noise ). Starting at this superprocess will never hit the catalytic center: There is an increasing sequence of Brownian stopping times strictly smaller than the hitting time of such that with probability one Dynkin's stopped measures vanish except for finitely many Received: 27 November 1995 / In revised form: 24 July 1996     

Persistence of a two-dimensional super-Brownian motion in a catalytic medium

Summary. The super-Brownian motion X ^ϱ in a super-Brownian medium ϱ constructed in [DF97a] is known to be persistent (no loss of expected mass in the longtime behaviour) in dimensions one ([DF97a]) and three ([DF97b]). Here we fill the gap in showing that persistence holds also in the critical dimension two. The key to this result is that in any dimension (d≤3), given the catalyst, the variance of the process is finite `uniformly in time'. This is in contrast to the `classical' super-Brownian motion where this holds only in high dimensions (d≥3), whereas in low dimensions the variances grow without bound, and the process clusters leading to local extinction. Received: 21 November 1996 / In revised form: 31 March 1997     

Some properties of the range of super-Brownian motion

We consider a super-Brownian motion X. Its canonical measures can be studied through the path-valued process called the Brownian snake. We obtain the limiting behavior of the volume of the ɛ-neighborhood for the range of the Brownian snake, and as a consequence we derive the analogous result for the range of super-Brownian motion and for the support of the integrated super-Brownian excursion. Then we prove the support of X _t is capacity-equivalent to [0, 1]² in ℝ^d, d≥ 3, and the range of X, as well as the support of the integrated super-Brownian excursion are capacity-equivalent to [0, 1]⁴ in ℝ^d, d≥ 5. Received: 7 April 1998 / Revised version: 2 October 1998     

Wiener’s test for super-Brownian motion and the Brownian snake

We prove a Wiener-type criterion for super-Brownian motion and the Brownian snake.If F is a Borel subset of ℝ ^d and x ∈ ℝ ^d , we provide a necessary and sufficientcondition for super-Brownian motion started at δ _x to immediately hit the set F. Equivalently, this condition is necessary and sufficient for the hitting time of F by theBrownian snake with initial point x to be 0. A key ingredient of the proof isan estimate showing that the hitting probability of F is comparable, up to multiplicative constants,to the relevant capacity of F. This estimate, which is of independent interest, refines previous results due to Perkins and Dynkin. An important role is played by additivefunctionals of the Brownian snake, which are investigated here via the potentialtheory of symmetric Markov processes. As a direct application of our probabilisticresults, we obtain a necessary and sufficient condition for the existence in a domain D of a positivesolution of the equation Δ; u = u ² which explodes at a given point of ∂ D. Received: 5 January 1996 / In revised form: 30 October 1996     

Dependent percolation in two dimensions

For a natural number k, define an oriented site percolation on ℤ² as follows. Let x _i , y _j be independent random variables with values uniformly distributed in {1, …, k}. Declare a site (i, j) ∈ℤ² closed if x _i = y _j , and open otherwise. Peter Winkler conjectured some years ago that if k≥ 4 then with positive probability there is an infinite oriented path starting at the origin, all of whose sites are open. I.e., there is an infinite path P = (i ₀, j ₀)(i ₁, j ₁) · · · such that 0 = i ₀≤i ₁≤· · ·, 0 = j ₀≤j ₁≤· · ·, and each site (i _n , j _n ) is open. Rather surprisingly, this conjecture is still open: in fact, it is not known whether the conjecture holds for any value of k. In this note, we shall prove the weaker result that the corresponding assertion holds in the unoriented case: if k≤ 4 then the probability that there is an infinite path that starts at the origin and consists only of open sites is positive. Furthermore, we shall show that our method can be applied to a wide variety of distributions of (x _i ) and (y _j ). Independently, Peter Winkler [14] has recently proved a variety of similar assertions by different methods. Received: 4 March 1999 / Revised version: 27 September 1999 / Published online: 21 June 2000     

On the conditioned exit measures of super Brownian motion

In this paper we present a martingale related to the exit measures of super Brownian motion. By changing measure with this martingale in the canonical way we have a new process associated with the conditioned exit measure. This measure is shown to be identical to a measure generated by a non-homogeneous branching particle system with immigration of mass. An application is given to the problem of conditioning the exit measure to hit a number of specified points on the boundary of a domain. The results are similar in flavor to the “immortal particle” picture of conditioned super Brownian motion but more general, as the change of measure is given by a martingale which need not arise from a single harmonic function. Received: 27 August 1998 / Revised version: 8 January 1999     

Anisotropic branching random walks on homogeneous trees

Symmetric branching random walk on a homogeneous tree exhibits a weak survival phase: For parameter values in a certain interval, the population survives forever with positive probability, but, with probability one, eventually vacates every finite subset of the tree. In this phase, particle trails must converge to the geometric boundaryΩ of the tree. The random subset Λ of the boundary consisting of all ends of the tree in which the population survives, called the limit set of the process, is shown to have Hausdorff dimension no larger than one half the Hausdorff dimension of the entire geometric boundary. Moreover, there is strict inequality at the phase separation point between weak and strong survival except when the branching random walk is isotropic. It is further shown that in all cases there is a distinguished probability measure μ supported by Ω such that the Hausdorff dimension of Λ∩Ω_μ, where Ω_μ is the set of μ-generic points of Ω, converges to one half the Hausdorff dimension of Ω_μ at the phase separation point. Exact formulas are obtained for the Hausdorff dimensions of Λ and Λ∩Ω_μ, and it is shown that the log Hausdorff dimension of Λ has critical exponent 1/2 at the phase separation point. Received: 30 June 1998 / Revised version: 10 March 1999     

Branching random walks and contact processes on homogeneous trees

Summary. Branching random walks and contact processes on the homogeneous tree in which each site has d+1 neighbors have three possible types of behavior (for d≧ 2): local survival, local extinction with global survival, and global extinction. For branching random walks, we show that if there is local extinction, then the probability that an individual ever has a descendent at a site n units away from that individual’s location is at most d ^{− n/2} , while if there is global extinction, this probability is at most d ⁻ⁿ . Next, we consider the structure of the set of invariant measures with finite intensity for the system, and see how this structure depends on whether or not there is local and/or global survival. These results suggest some problems and conjectures for contact processes on trees. We prove some and leave others open. In particular, we prove that for some values of the infection parameter λ, there are nontrivial invariant measures which have a density tending to zero in all directions, and hence are different from those constructed by Durrett and Schinazi in a recent paper. Received: 26 April 1996/In revised form: 20 June 1996     

A central limit theorem for “critical” first-passage percolation in two dimensions

Summary. Consider (independent) first-passage percolation on the edges of ℤ ² . Denote the passage time of the edge e in ℤ ² by t(e), and assume that P{t(e) = 0} = 1/2, P{0<t(e)<C ₀ } = 0 for some constant C ₀ >0 and that E[t ^δ (e)]<∞ for some δ>4. Denote by b _0,n the passage time from 0 to the halfplane {(x,y): x ≧ n}, and by T( 0 ,nu) the passage time from 0 to the nearest lattice point to nu, for u a unit vector. We prove that there exist constants 0<C ₁ , C ₂ <∞ and γ _n such that C ₁ ( log n) ^1/2 ≦γ _n ≦ C ₂ ( log n) ^1/2 and such that γ _n ⁻¹ [b _0,n −Eb _0,n ] and (√ 2γ _n ) ⁻¹ [T( 0 ,nu) − ET( 0 ,nu)] converge in distribution to a standard normal variable (as n →∞, u fixed). A similar result holds for the site version of first-passage percolation on ℤ ² , when the common distribution of the passage times {t(v)} of the vertices satisfies P{t(v) = 0} = 1−P{t(v) ≧ C ₀ } = p _c (ℤ ² , site ) := critical probability of site percolation on ℤ ² , and E[t ^δ (u)]<∞ for some δ>4. Received: 6 February 1996 / In revised form: 17 July 1996     

Conditioned super-Brownian motion

Summary We investigate classes of conditioned super-Brownian motions, namely H-transformsP ^H with non-negative finitely-based space-time harmonic functionsH(t, ). We prove thatH ^H is the unique solution of a martingale problem with interaction and is a weak limit of a sequence of rescaled interacting branching Brownian motions. We identify the limit behaviour of H-transforms with functionsH(t, )=h(t, (1)) depending only on the total mass (1). Using the Palm measures of the super-Brownian motion we describe for an additive spacetime harmonic functionH(t, )=h(t, x) (dx) theH-transformP ^H as a conditioned super-Brownian motion in which an immortal particle moves like an h-transform of Brownian motion.     

Hyperbolic branching Brownian motion

Summary. Hyperbolic branching Brownian motion is a branching diffusion process in which individual particles follow independent Brownian paths in the hyperbolic plane ? ² , and undergo binary fission(s) at rate λ > 0. It is shown that there is a phase transition in λ: For λ≦ 1/8 the number of particles in any compact region of ? ² is eventually 0, w.p.1, but for λ > 1/8 the number of particles in any open set grows to ∞ w.p.1. In the subcritical case (λ≦ 1/8) the set Λ of all limit points in ∂? ² (the boundary circle at ∞) of particle trails is a Cantor set, while in the supercritical case (λ > 1/8) the set Λ has full Lebesgue measure. For λ≦ 1/8 it is shown that w.p.1 the Hausdorff dimension of Λ is δ = (1−√1−8 λ)/2. Received: 2 November 1995 / In revised form: 22 October 1996     

Extending the Wong-Zakai theorem to reversible Markov processes

We show how to construct a canonical choice of stochastic area for paths of reversible Markov processes satisfying a weak H?lder condition, and hence demonstrate that the sample paths of such processes are rough paths in the sense of Lyons. We further prove that certain polygonal approximations to these paths and their areas converge in p-variation norm. As a corollary of this result and standard properties of rough paths, we are able to provide a significant generalization of the classical result of Wong-Zakai on the approximation of solutions to stochastic differential equations. Our results allow us to construct solutions to differential equations driven by reversible Markov processes of finite p-variation with p<4. Received May 18, 2001 / final version received April 3, 2001?Published online April 8, 2002     

Cone paths for the planar Brownian snake

Summary. For the Brownian path-valued process of Le Gall (or Brownian snake) in , the times at which the process is a cone path are considered as a function of the size of the cone and the terminal position of the path. The results show that the paths for the path-valued process have local properties unlike those of a standard Brownian motion. Received: 29 January 1996 / In revised form: 21 June 1996     

Large deviations for increasing sequences on the plane

We prove a large deviation principle with explicit rate functions for the length of the longest increasing sequence among Poisson points on the plane. The rate function for lower tail deviations is derived from a 1977 result of Logan and Shepp about Young diagrams of random permutations. For the upper tail we use a coupling with Hammersley's particle process and convex-analytic techniques. Along the way we obtain the rate function for the lower tail of a tagged particle in a totally asymmetric Hammersley's process. Received: 22 July 1997 / Revised version: 23 March 1998     

Exact capacity results for stable processes

Exact results are proved for the capacity of pullbacks of analytic sets by stable processes. Received: 25 May 1988 / Revised version: 15 September 1997     

Concavity estimates for a class of nonlinear elliptic equations in two dimensions

We study solutions of the nonlinear elliptic equation on a bounded domain in . It is shown that the set of points where the graph of the solution has negative Gauss curvature always extends to the boundary, unless it is empty. The meethod uses an elliptic equation satisfied by an auxiliary function given by the product of the Hessian determinant and a suitable power of the solutions. As a consequence of the result, we give a new proof for power concavity of solutions to certain semilinear boundary value problems in convex domains. Received: 12 January 2000; in final form: 15 March 2001 / Published online: 4 April 2002     

Diffusion processes on graphs: stochastic differential equations,large deviation principle

Ito's rule is established for the diffusion processes on the graphs. We also consider a family of diffusions processes with small noise on a graph. Large deviation principle is proved for these diffusion processes and their local times at the vertices. Received: 12 February 1997 / Revised version: 3 March 1999     

Stability of infinite clusters in supercritical percolation

. A recent theorem by Häggström and Peres concerning independent percolation is extended to all the quasi-transitive graphs. This theorem states that if 0<p ₁<p ₂≤1 and percolation occurs at level p ₁, then every infinite cluster at level p ₂ contains some infinite cluster at level p ₁. Consequences are the continuity of the percolation probability above the percolation threshold and the monotonicity of the uniqueness of the infinite cluster, i.e., if at level p ₁ there is a unique infinite cluster then the same holds at level p ₂. These results are further generalized to graphs with a “uniform percolation” property. The threshold for uniqueness of the infinite cluster is characterized in terms of connectivities between large balls.     

Exponential decay rate of survival probability in a disastrous random environment

Summary. We study the exponential decay rate of the survival probability up to time t>0 of a random walker moving in Zopf; ^d in a temporally and spatially fluctuating random environment. When the random walker has a speed parameter κ>0, we investigate the influence of κ on the exponential decay rate λ(d,κ). In particular we prove that for any fixed d≥1, λ(d,κ) behaves like as logκ as κ↘0. Received: 21 May 1996 / In revised form: 2 February 1997     

Recurrence and ergodicity of interacting particle systems

Many interacting particle systems with short range interactions are not ergodic, but converge weakly towards a mixture of their ergodic invariant measures. The question arises whether a.s.the process eventually stays close to one of these ergodic states, or if it changes between the attainable ergodic states infinitely often (“recurrence”). Under the assumption that there exists a convergence–determining class of distributions that is (strongly) preserved under the dynamics, we show that the system is in fact recurrent in the above sense. We apply our method to several interacting particle systems, obtaining new or improved recurrence results. In addition, we answer a question raised by Ed Perkins concerning the change of the locally predominant type in a model of mutually catalytic branching. Received: 22 January 1999 / Revised version: 24 May 1999