Research Article | Open Access
Optimal Bounds for the Variance of Self-Intersection Local Times
For a -valued random walk , let be its local time at the site . For , define the -fold self-intersection local time as . Also let be the corresponding quantities for the simple random walk in . Without imposing any moment conditions, we show that the variance of the self-intersection local time of any genuinely -dimensional random walk is bounded above by the corresponding quantity for the simple symmetric random walk; that is, . In particular, for any genuinely -dimensional random walk, with , we have . On the other hand, in dimensions we show that if the behaviour resembles that of simple random walk, in the sense that , then the increments of the random walk must have zero mean and finite second moment.
1. Introduction and Main Results
Let be independent, identically distributed, -valued random variables, and define the random walk , , for . The special case with , for all with , is known as the simple random walk in and will be denoted by .
Let be the local time of at the site , and define for a positive integer the -fold self-intersection local time We will denote the corresponding quantities for simple random walk in by or simply when the dimension is clear from the context.
Let and be, respectively, the semigroup and the group generated by the support of , Following Spitzer , we call the random variable and the random walk it generates genuinely -dimensional if the group is -dimensional.
The quantity has received considerable attention in the literature due to its relation to self-avoiding walks and random walks in random scenery. In particular let the random scenery be a collection of i.i.d. random variables, independent of , and define the process , Then is commonly referred to as random walk in random scenery and was introduced in Kesten and Spitzer , where functional limit theorems were obtained for under appropriate normalization for the case . The case , with centered with nonsingular covariance matrix, was treated in  where it was shown that converges weakly to Brownian motion. As is obvious from the identities and , limit theorems for usually require asymptotic results for the local times of the random walk .
Such asymptotic results are usually obtained from Fourier techniques applied to the characteristic function , under the additional assumption of a Taylor expansion of the form , where is a positive definite covariance matrix [3–7], which further requires that and . Similar restrictions are also required for the application of local limit theorems such as in [8, 9].
In this paper, motivated by the results of Spitzer  for genuinely -dimensional random walks and the approach of Becker and König , we will study the asymptotic behavior of without imposing any moment assumptions on the random walk. The central idea behind our approach is to compare the self-intersection local times of a general -dimensional walk with those of its symmetrised version. In addition we will compare the self-intersection local times of a general -dimensional random walk with those of the -dimensional simple symmetric random walk, . It is well known that, for some positive constants , as , for Several other cases have been treated in the literature, using a variety of methods.
A careful look at the literature reveals that the most difficult case in is the near transient recurrent case, where , which corresponds to genuinely -dimensional symmetric recurrent random walks, which will be referred to as a critical case. Surprisingly enough, the variance of the self-intersection local times in the critical case is asymptotically the largest.
Theorem 1. Let be independent, identically distributed, and genuinely -dimensional -valued random variables, for any . Then, there exist positive constants , depending on and the distribution of , such that for all large enough
Moreover, we also show the surprising converse. More precisely, we show that the right asymptotic behaviour of implies that the jumps must have zero mean and finite second moment.
Theorem 2. Let , be independent, identically distributed, and genuinely -dimensional with . If then and .
For any genuinely -dimensional random walk with finite second moments and zero mean, the asymptotic behaviour of is similar to that of the -dimensional simple symmetric random walk. Also, as it follows from our general bounds (see Proposition 4 and Corollary 7) that the asymptotic results for the genuinely -dimensional random walk can be reproduced by those of the symmetric one-dimensional random walk with appropriately chosen heavy tails, as was indicated by Kesten and Spitzer . The proofs are based on adapting the Tauberian approach developed in .
Theorem 3. Let , and suppose that for one haswhere is a nonsingular covariance matrix and for and for as . Then where and and are defined in (58) and (63), respectively.
Moreover, if is the self-intersection local time of another random walk, independent of , whose characteristic function also satisfies (6), then .
2.1. General Bounds
We first develop a technique to treat random walks with independent but not necessarily identically distributed increments.
Proposition 4 (general upper bound). Assume that are independent -valued random variables and let . Suppose further that for all and integers , with and any , one haswhere is nonincreasing and is nonincreasing in and is nondecreasing and subadditive in in the sense that , for some constant independent of , , and . Then, for some constant depending only on
Proof of Proposition 4. We first write out the variance as a sumAn important role is played by the manner in which the two sequences are interlaced, since, for example, if or , the term vanishes by the Markov property.
We will treat the sum over indices with . The sum over the remaining index set with can be treated in a similar fashion and will contribute a constant factor. Therefore, we assume that and we arrange the two sequences in an ordered sequence of combined length which we denote as ; we also define where if came from and if came from . Finally we define two new sequences , and , where , and , for . Notice that since we assume that , we have and . Let denote the interlacement index. The terms with vanish, while the terms with will be considered separately.
Terms with . We first consider the sum over the terms with for which we drop the negative part and obtain the boundSumming over the free index , it is clear that For any with , exactly elements are equal to 0, and therefore by Assumption with we have Letting denote an independent copy of the random walk and assuming without loss of generality that , we have that for any Let . Since is nonincreasing we have that and iterating this procedure, for , we have that . Combining the two bounds and summing over , we have that where is a constant depending only on .
Terms with . Next we consider the sum over the terms with , which occurs when, for some , the indices all lie in . Then it is easy to see that this sum is bounded above by
The following corollary provides explicit bounds in the cases that are usually considered in the literature.
Corollary 5. Assume that the conditions of Proposition 4 are satisfied with and . Then,
It is straightforward to see that Corollary 5 includes random walks with mean zero and finite second moment; for example, corresponds to and to . Therefore several relevant results in [3, 7–13] are obtained as a special case of Corollary 5 and extended to the case of independent but not necessarily identically distributed variables, for example, by applying the local limit theorem, as conducted in .
Also when the random walk increment is in the domain of attraction of the one-dimensional symmetric Cauchy law [13, 14] or in the case of planar random walk with second moments [3, 7–9, 11], it is well known that the conditions of Proposition 4 are satisfied with and .
However, we can do better for symmetric variables and show that condition implies , which together with the comparison technique motivates the following results. For a real number , we write for the integer part of .
Proposition 6 (bounds via comparison with characteristic function of symmetric random variables). Let , be independent -valued random variables and let . Assume that there exist a measurable function and a positive nonincreasing sequence , such thatfor all integers , all , and some positive constant . Then there exists another positive constant such that
Proof of Proposition 6. Using the notation of Proposition 4, for positive integers , with , , and any To find , notice that since , whence . Therefore, A telescoping argument implies that On the other hand for we can obtain a tighter bound through Combining the two bounds above it follows that is satisfied with . Thus all conditions of Proposition 4 are satisfied and the result follows.
The following corollary allows for the case where is regularly varying.
Corollary 7. Assume that the conditions of Proposition 6 are satisfied with , , where is slowly varying at . Then,
Several results in [3, 7–13] are obtained as a special case of Corollary 7 and can be extended to dependent variables, for example, a random walk driven by a hidden Markov chain. In addition, following , we can construct a one-dimensional symmetric random walk with characteristic function , where for and for , whose asymptotic behaviour is similar to that of genuinely -dimensional random walk.
The following example of genuinely -dimensional recurrent walk with infinite variance was motivated by Spitzer [1, pp. 87].
Example 8. Let be independent, identically distributed, -valued random variables, such that , for and . Let be the corresponding random walk in . Then we havefor . Under these assumptions we have that , which is in the critical range, where the random walk is recurrent, without second moment. To see why, we note that by a lengthy but straightforward calculation it can be shown that the characteristic function of satisfies (19) with The sequence is identified via Fourier inversion, polar coordinates, and a Laplace argument,
2.2. Bounds for Identically Distributed Variables
Proposition 9 (general upper bound for i.i.d.). Let , be independent, identically distributed, -valued random variables. Suppose that for any and all positive integers , , , and , with , it holds thatwhere is a nonincreasing sequence. Then for some constant we have that
Proof of Proposition 9. By inspecting the proof of Proposition 6, we notice that we only need to bound the term . Consider typical ordering and let us change variables to such that . Then the contribution to is given byWe keep fixed for and we sum over from to some . Then for given , the term in the sum is where . Then since , it is an easy exercise to show that this sum is bounded above by where . The result follows by summing over all indices apart from and changing the order of summation.
2.3. Proofs of Main Results
Proof of Theorem 1. We apply a comparison argument found to be useful in many areas (e.g., Montgomery-Smith and Pruss , and Lefèvre and Utev ). More specifically we bound the quantity by the corresponding quantity for the symmetrised random walk.
Following Spitzer’s argument we notice that with Since is the characteristic function of a symmetric random variable in , for some positive , we have , and, hence, The result follows from Proposition 9 applied with .
The proof of Theorem 2 will be based on the following lemma.
Lemma 10. Assume are independent, identically distributed, genuinely -dimensional random variables such that . Then there exists a monotone, slowly varying sequence , such that as and
Proof of Lemma 10. Without loss of generality we assume that is symmetric. Let . Following Spitzer, since is genuinely -dimensional, we may assume that there exist positive constants , such that for any unit vector we have that and for all . Let be the -dimensional Lebesgue measure on and the Lebesgue-Haar measure on . Notice that since , for any , we have .
Fix a small positive such that , and for any let . Then there exists small enough so that . We partition in two sets so that, for any direction , Hence, using -dimensional spherical coordinates, On the other hand, for any , Now, assume that . Then for any direction , by choice of and since is increasing in , for or , it must be the case that implying that, on the set , it must be that . Changing to -dimensional polar coordinates, we find that Overall, for , , and hence has Lebesgue measure .