A new inductive approach to the lace expansion for self-avoiding walks

Summary. We introduce a new inductive approach to the lace expansion, and apply it to prove Gaussian behaviour for the weakly self-avoiding walk on ℤ ^d where loops of length m are penalised by a factor e ^{−β/m p} (0<β≪1) when: (1) d>4, p≥0; (2) d≤4, . In particular, we derive results first obtained by Brydges and Spencer (and revisited by other authors) for the case d>4, p=0. In addition, we prove a local central limit theorem, with the exception of the case d>4, p=0. Received: 29 October 1997 / In revised form: 15 January 1998     

A generalised inductive approach to the lace expansion

 The lace expansion is a powerful tool for analysing the critical behaviour of self-avoiding walks and percolation. It gives rise to a recursion relation which we abstract and study using an adaptation of the inductive method introduced by den Hollander and the authors. We give conditions under which the solution to the recursion relation behaves as a Gaussian, both in Fourier space and in terms of a local central limit theorem. These conditions are shown elsewhere to hold for sufficiently spread-out models of networks of self-avoiding walks in dimensions d > 4, and for sufficiently spread-out models of critical oriented percolation in dimensions d + 1 > 5, providing a unified approach and an essential ingredient for a detailed analysis of the branching behaviour of these models. Received: 13 September 2000 / Revised version: 16 May 2001 / Published online: 20 December 2001     

Positivity of the self-diffusion matrix of interacting Brownian particles with hard core

We prove the positivity of the self-diffusion matrix of interacting Brownian particles with hard core when the dimension of the space is greater than or equal to 2. Here the self-diffusion matrix is a coefficient matrix of the diffusive limit of a tagged particle. We will do this for all activities, z>0, of Gibbs measures; in particular, for large z– the case of high density particles. A typical example of such a particle system is an infinite amount of hard core Brownian balls. Received: 22 September 1997 / Revised version: 15 January 1998     

Brownian bridge on hyperbolic spaces and on homogeneous trees

Let B be the Brownian motion on a noncompact non Euclidean rank one symmetric space H. A typical examples is an hyperbolic space H _n , n > 2. For ν > 0, the Brownian bridge B ^(ν) of length ν on H is the process B _t , 0 ≤t≤ν, conditioned by B ₀ = B _ν = o, where o is an origin in H. It is proved that the process converges weakly to the Brownian excursion when ν→ + ∞ (the Brownian excursion is the radial part of the Brownian Bridge on ℝ³). The same result holds for the simple random walk on an homogeneous tree. Received: 4 December 1998 / Revised version: 22 January 1999     

A self-avoiding walk with attractive interactions

 A self-avoiding walk with small attractive interactions is described here. The existence of the connective constant is established, and the diffusive behavior is proved using the method of the lace expansion. Received: 18 July 2001 / Revised version: 24 February 2002 / Published online: 10 September 2002     

Anomalous behaviour for the random corrections to the cumulants of random walks in fluctuating random media

The Central Limit Theorem for a model of discrete-time random walks on the lattice ℤ^ν in a fluctuating random environment was proved for almost-all realizations of the space-time nvironment, for all ν > 1 in [BMP1] and for all ν≥ 1 in [BBMP]. In [BMP1] it was proved that the random correction to the average of the random walk for ν≥ 3 is finite. In the present paper we consider the cases ν = 1,2 and prove the Central Limit Theorem as T→∞ for the random correction to the first two cumulants. The rescaling factor for theaverage is for ν = 1 and (ln T), for ν=2; for the covariance it is , ν = 1,2. Received: 25 November 1999 / Revised version: 7 June 2000 / Published online: 15 February 2001     

Asymptotic separation for independent trajectories of Markov processes

We say that n independent trajectories ξ₁(t),…,ξ _n (t) of a stochastic process ξ(t)on a metric space are asymptotically separated if, for some ɛ > 0, the distance between ξ _i (t _i ) and ξ _j (t _j ) is at least ɛ, for some indices i, j and for all large enough t ₁,…,t _n , with probability 1. We prove sufficient conitions for asymptotic separationin terms of the Green function and the transition function, for a wide class of Markov processes. In particular,if ξ is the diffusion on a Riemannian manifold generated by the Laplace operator Δ, and the heat kernel p(t, x, y) satisfies the inequality p(t, x, x) ≤ Ct ^−ν/2 then n trajectories of ξ are asymptotically separated provided . Moreover, if for some α∈(0, 2)then n trajectories of ξ^(α) are asymptotically separated, where ξ^(α) is the α-process generated by −(−Δ)^α/2. Received: 10 June 1999 / Revised version: 20 April 2000 / Published online: 14 December 2000 RID="*" ID="*" Supported by the EPSRC Research Fellowship B/94/AF/1782 RID="**" ID="**" Partially supported by the EPSRC Visiting Fellowship GR/M61573     

Asymptotic behaviour of disconnection and non-intersection exponents

Summary. We study the asymptotic behaviour of disconnection and non-intersection exponents for planar Brownian motionwhen the number of considered paths tends to infinity. In particular, if η _n (respectively ξ (n, p)) denotes the disconnection exponent for n paths (respectively the non-intersection exponent for n paths versus p paths), then we show that lim _{n →∞} η _n /n = 1 2 and that for a > 0 and b > 0,lim _{n →∞} ξ ([na],[nb])/n = (√ a + √ b) ² /2. Received: 28 February 1996 / In revised form: 3 September 1996     

The diffusive phase of a model of self-interacting walks

Summary We consider simple random walk onZ ^d perturbed by a factor exp[T ^–P J _T], whereT is the length of the walk and . Forp=1 and dimensionsd2, we prove that this walk behaves diffusively for all – < <₀, with ₀ > 0. Ford>2 the diffusion constant is equal to 1, but ford=2 it is renormalized. Ford=1 andp=3/2, we prove diffusion for all real (positive or negative). Ford>2 the scaling limit is Brownian motion, but ford2 it is the Edwards model (with the wrong sign of the coupling when >0) which governs the limiting behaviour; the latter arises since for ,T ^–p J _T is the discrete self-intersection local time. This establishes existence of a diffusive phase for this model. Existence of a collapsed phase for a very closely related model has been proven in work of Bolthausen and Schmock.     

Large solutions to the p-Laplacian for large p

In this work we consider the behaviour for large values of p of the unique positive weak solution u _p to Δ _p u = u ^q in Ω, u = +∞ on , where q > p − 1. We take q = q(p) and analyze the limit of u _p as p → ∞. We find that when q(p)/p → Q the behaviour strongly depends on Q. If 1 < Q < ∞ then solutions converge uniformly in compacts to a viscosity solution of with u = +∞ on . If Q = 1 then solutions go to ∞ in the whole Ω and when Q = ∞ solutions converge to 1 uniformly in compact subsets of Ω, hence the boundary blow-up is lost in the limit.     

Growth and Hölder conditions for the sample paths of Feller processes

Let (A,D(A)) be the infinitesimal generator of a Feller semigroup such that C _c ^∞(ℝ ⁿ )⊂D(A) and A|C _c ^∞(ℝ ⁿ ) is a pseudo-differential operator with symbol −p(x,ξ) satisfying |p(•,ξ)|_∞≤c(1+|ξ|²) and |Imp(x,ξ)|≤c ₀Rep(x,ξ). We show that the associated Feller process {X _t } _{t ≥0} on ℝ ⁿ is a semimartingale, even a homogeneous diffusion with jumps (in the sense of [21]), and characterize the limiting behaviour of its trajectories as t→0 and ∞. To this end, we introduce various indices, e.g., β_∞ ^x :={λ>0:lim _{|ξ|→∞ | x − y |≤2/|ξ|}|p(y,ξ)|/|ξ|^λ=0} or δ_∞ ^x :={λ>0:liminf _{|ξ|→∞ | x − y |≤2/|ξ| |ε|≤1}|p(y,|ξ|ε)|/|ξ|^λ=0}, and obtain a.s. (ℙ ^x ) that lim _{t →0} t ^−1/λ _{s ≤ t} |X _s −x|=0 or ∞ according to λ>β_∞ ^x or λ<δ_∞ ^x . Similar statements hold for the limit inferior and superior, and also for t→∞. Our results extend the constant-coefficient (i.e., Lévy) case considered by W. Pruitt [27]. Received: 21 July 1997 / Revised version: 26 January 1998     

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     

A family of diffusion processes on Sierpinski carpets

We construct a family of diffusions P ^α = {P ^x} on the d-dimensional Sierpinski carpet F^. The parameter α ranges over d _H < α < ∞, where d _H = log(3 ^d − 1)/log 3 is the Hausdorff dimension of the d-dimensional Sierpinski carpet F^. These diffusions P ^α are reversible with invariant measures μ = μ^[α]. Here, μ are Radon measures whose topological supports are equal to F^ and satisfy self-similarity in the sense that μ(3A) = 3^α·μ(A) for all A∈ℬ(F^). In addition, the diffusion is self-similar and invariant under local weak translations (cell translations) of the Sierpinski carpet. The transition density p = p(t, x, y) is locally uniformly positive and satisfies a global Gaussian upper bound. In spite of these well-behaved properties, the diffusions are different from Barlow-Bass' Brownian motions on the Sierpinski carpet. Received: 30 September 1999 / Revised version: 15 June 2000 / Published online: 24 January 2000     

Valleys and the Maximum Local Time for Random Walk in Random Environment

Let ξ (n, x) be the local time at x for a recurrent one-dimensional random walk in random environment after n steps, and consider the maximum ξ^*(n) = max _x ξ(n, x). It is known that lim sup is a positive constant a.s. We prove that lim inf is a positive constant a.s. this answers a question of P. Révész [5]. The proof is based on an analysis of the valleys in the environment, defined as the potential wells of record depth. In particular, we show that almost surely, at any time n large enough, the random walker has spent almost all of its lifetime in the two deepest valleys of the environment it has encountered. We also prove a uniform exponential tail bound for the ratio of the expected total occupation time of a valley and the expected local time at its bottom.     

Smoothing properties of transition semigroups relative to SDEs with values in Banach spaces

In the present paper we consider the transition semigroup P _t related to some stochastic reaction-diffusion equations with the nonlinear term f having polynomial growth and satisfying some dissipativity conditions. We are proving that it has a regularizing effect in the Banach space of continuous functions , where ⊂ℝ ^d is a bounded open set. In L ²() the only result proved is the strong Feller property, for d=1. Here we are able to prove that if f∈C ^∞(ℝ) and d≤3, then for any and t>0. An important application is to the study of the ergodic properties of the system. These results are also of interest for some problem in stochastic control. Received: 20 August 1997 / Revised version: 27 May 1998     

On the Representation of Compact Nilpotent Rings by Triangular Matrices

We prove that every compact nilpotent ring R of characteristic p > 0 can be embedded in a ring of upper triangular matrices over a compact commutative ring. Furthermore, we prove that every compact topologically nilpotent ring R of characteristic p > 0, is embedded in a ring of infinite triangular matrices over \mathbbF_p^w(R)\mathbb{F}_{p}^{w(R)}.     

A bifurcation problem governed by the boundary condition I

We deal with positive solutions of Δu = a(x)u ^p in a bounded smooth domain subject to the boundary condition ∂u/∂v = λu, λ a parameter, p > 1. We prove that this problem has a unique positive solution if and only if 0 < λ < σ₁ where, roughly speaking, σ₁ is finite if and only if |∂Ω ∩ {a = 0}| > 0 and coincides with the first eigenvalue of an associated eigenvalue problem. Moreover, we find the limit profile of the solution as λ → σ₁. Supported by DGES and FEDER under grant BFM2001-3894 (J. García-Melián and J. Sabina) and ANPCyT PICT No. 03-05009 (J. D. Rossi). J.D. Rossi is a member of CONICET.     

Diffusive scaling of the spectral gap for the dilute Ising lattice-gas dynamics below the percolation threshold

We consider a conservative stochastic lattice-gas dynamics reversible with respect to the canonical Gibbs measure of the bond dilute Ising model on ℤ ^d at inverse temperature β. When the bond dilution density p is below the percolation threshold we prove that for any particle density and any β, with probability one, the spectral gap of the generator of the dyamics in a box of side L centered at the origin scales like L ⁻². Such an estimate is then used to prove a decay to equilibrium for local functions of the form where ε is positive and arbitrarily small and α = ? for d = 1, α=1 for d≥2. In particular our result shows that, contrary to what happes for the Glauber dynamics, there is no dynamical phase transition when β crosses the critical value β _c of the pure system. Received: 10 April 2000 / Revised version: 23 October 2000 / Published online: 5 June 2001     

Approximations simultanées de nombres algébriques de Q p par des rationnels

 In this paper, we prove that if β₁,…, β _n are p-adic numbers belonging to an algebraic number field K of degree n + 1 over Q such that 1, β₁,…,β _n are linearly independent over Z, there exist infinitely many sets of integers (q ₀,…, q _n ), with q ₀ ≠ 0 and

Equilibrium fluctuations of asymmetric simple exclusion processes in dimension d≥3

We consider an asymmetric exclusion process in dimension d≥ 3 under diffusive rescaling starting from the Bernoulli product measure with density 0 < α < 1. We prove that the density fluctuation field Y ^N _t converges to a generalized Ornstein–Uhlenbeck process, which is formally the solution of the stochastic differential equatin dY _t = ?Y _t dt + dB ^∇ _t , where ? is a second order differential operator and B ^∇ _t is a mean zero Gaussian field with known covariances. Received: 31 May 1999 / Revised version: 15 June 2000 / Published online: 24 January 2001