How many dimensions is it safe to get drunk in?

Question

In Michael Lugo's blog post Variations on the drunken-bird theorem, and real-world sightings he wonders (without coming to a conclusion) what the maximum 'safe' number of dimensions to get drunk in might be.

So where's the line between "always finds his way home" and "gets lost forever"? It seems to me that this should be at 2+ε dimensions, since that's what we need to make the sum convergent, but I don't know if anyone's studied random walks on fractal spaces.

In the comments Matt Noonan recalls an unverified claim that the line is at 2.5 dimensions.

Can anybody shed any further light on these musings?

I recall my undergraduate markov chain lecturer also stating without proof or reference that the answer was 2.5 dimensions. — Kevin Buzzard, Nov 04 '09 at 09:59

score 5 · Answer 1 · answered Nov 04 '09 at 17:12

Indeed, the answer is 2+ϵ in most senses. For example, consider a wedge in Z³ which is all the points (x,y,z) such that |z|<f(x) for some specific increasing function f:N->N .

These wedges are transient already for pretty slowly growing functions. If you take f(x)=x^ϵ which correspond, in the sense of volume growth, to 2+ϵ dimensions, then it is transient for any ϵ>0.

One can get even more refined results by taking f(x)=log(x)^a, in which case the wedge is transient if and only if a>1.

You can find more information in the book of Lyons with Peres.

score 2 · Answer 2 · answered Nov 04 '09 at 13:22

In that post, my intuition was simply that the probability of a random walk in d dimensions being at the origin at time t scales like t^-d/2, and ∑_{t > 0} t^-d/2 converges if and only if d > 2. Obviously this can only be turned into a proof if d is an integer.

score 1 · Answer 3 · answered Nov 04 '09 at 14:10

1

There are some "fractal" meanings to a question like this.

See the delightful little Carus Monograph Random Walks and Electric Networks by Doyle and Snell. At the end of Chapter 6 they discuss a certain tree that has dimension log 6/log 2 = 2.5849... It is used to show that the 3-dimensional lattice is transient.

answered Nov 04 '09 at 14:10

Gerald Edgar

40,238

This is far from my field, but I know that Tom Lindstrøm has been doing some work with this kind of question. See his “Brownian motion on nested fractals” AMS memoir #83 (1990) (http://www.ams.org/mathscinet-getitem?mr=988082). – Harald Hanche-Olsen Nov 04 '09 at 15:04
Doyle and Snell is such a beautiful book. If every field had such a natural, elegant introduction, we'd all understand a lot more math. – Tom Church Nov 04 '09 at 16:08

score 0 · Answer 4 · answered Nov 04 '09 at 12:02

0

Have a look at

http://mathworld.wolfram.com/PolyasRandomWalkConstants.html

The answer turns out that at as soon as dim > 2 the probability of recurrence is lower than 100%.

answered Nov 04 '09 at 12:02

Tim vB

11

1

I suspect that in that article, p is constrained to be an integer (though it doesn't say so explicitly). – Andrew Stacey Nov 04 '09 at 12:05
You mean in the mathworld article? p seems to denote the probability of recurrence, so it is a real number in the interval [0, 1]. Or do I misunderstand your post? – Tim vB Nov 04 '09 at 12:08
1

I conjecture that Andrew meant to say "d is constrained to be an integer" – Kevin Buzzard Nov 04 '09 at 12:10
Ouch, good point, my memory tricked me into believing that d is real - sorry, I probably have to withdraw my answer. – Tim vB Nov 04 '09 at 12:36
3

Sorry, sometimes I read articles upside-down. – Andrew Stacey Nov 04 '09 at 16:07

How many dimensions is it safe to get drunk in?

4 Answers4