Walk or Wait?
2008.01.03
Mathematics

In the paper "Walk versus Wait: The Lazy Mathematician Wins", the authors Chen and Kominers examined the following problem

A wants to get from the point 0 to the point d. A has two choices: either it can travel at the constant speed v1 starting immediately, and arrive at point d after time d/v1, or it can wait a random time t0 and start travelling at the higher constant speed v2, arriving at point d after time d/v2 + t0. the random time t0 is chosen according to a probability density P. A prefers to arrive as early as possible, yet in the case of arriving at the same time, prefers to be able to travel at speed v2. What should A choose?
The slighly complicated argument in the paper boils down to simply the following: what is the value of
P( [0, d/v1 - d/v2] )
If that probability is greater than 1/2, then the strategy to adopt the second option will give a higher chance of getting to the destination earlier than the first option.

This simple solution (which the paper didn't give, as the authors made some implicit assumptions regarding the profile of the probability density) is, as always, a result of a simplistic formulation of the problem.

The physical motivation for the problem is the following:

A mathematician is walking from point 0 to point d. There are n+1 bus stops along the way, situated at points d0=0, d1 ... dn+1=d. Assume that the bus can travel at a uniform speed vbus, and that the mathematician can travel at a uniform speed vm that is slower than the bus. The mathematician wants to get to the destination as quickly as possible, but also want to walk as little as possible. Given a probability density P of when a bus will appear at the origin, where should the mathematician get on a bus?
The first observation is that it is always better for the mathematician to get on at the origin than at any other stop, since any bus that he catches at a subsequent stop can be caught at the origin as long as he waits. (The implicit assumption that buses do not skip stops is used here.) So the problem now becomes whether to walk the whole way or to wait for a bus, and the solution I've already described above.

However, the problem soon becomes more interesting if we make it more complex:

So let's make this into a problem of conditional minimization. Suppose the bus would show up at time tbus at the origin (which can be negative) (for argument sake, let's assume the time interval between successively buses are sufficiently large that we can assume there to be only one bus running for all eternity. Multiple buses will change the result, but the basic method of argument will still be the same; we'll leave it as an exercise). Also suppose that there are infinite number of bus stops, so that the mathematician can hop on to the bus whenever the bus and the mathematician are at the same place.

We define a few things

Let v(x) be the velocity of the mathematician (depending on where he is). We can divide the trip up into two parts, the part he is running and the part he is on the bus. He catches the bus as point x0 where
x0/vbus + tbus = 0x0 1/v(x)dx
The total time of arrival then will be
T = d/vbus + tbus
if x0 < d (the mathematician makes the bus) or
T = 0d 1/v(x)dx
if x0 > d (the mathematician misses the bus). The total energy expended will be
E = 0x0 E(v(x))dx
where the integral goes up to d instead if d < x0. Now, letting tbus vary according to the probability density P, we have E and T are now random variables. So the proper question to consider is the following
maximize over all smooth velocity field v(x) which satisfies
0d E(v(x))dx < E0
the quantity UE(expectation value of E) + UT(expectation value of T)
The integral condition over the allowed velocities is a finite energy condition: the mathematician does not have an infinite energy reserve; he will get tired and throw up at some point.

Of course, this becomes much more complicated and I won't attempt to solve it. The point is to illustrate that the simplistic conclusion drawn is undeserving of the rather grandiose title of the paper. When a problem gets simplified to a certain degree, it no longer applies to reality, and the solutions and intuitions drawn thereof should not be taken to be conventional wisdom. Furthermore, given the more complex formulation given here, it should be possible to write down a probability distribution P, and utility functionals UE and UT such that the preferred method of transit would be to walk or run for at least part of the way, which reflects well with empirical evidence of rush hour during the summer in New York City.

Posted at 14:41:12 EST by W comment

blogCentralFront Page
2009.11.20 00:41:20 GMT Feynman's Messenger Lectures online Just found out something rather cool: Microsoft Research, through Project Tuva, is publishing videos of Richard Feynman's Messenger Lectures. Go watch.
2009.11.18 11:05:07 GMT Alcohol consumption Different cultures certainly have different views on alcohol. For example, at Hertford College Oxford, wine is allowed if reasonably drunk and 4) A small amount of beer or lager will be allowed wher
2009.11.16 19:17:31 GMT Luc visits; Willie doesn't check e-mail Holy cow! I just realized that I spent a day at work without checking e-mail! Okay, to be honest, today I was hosting Luc Nguyen, who we invited to speak on his work about the regularity near the sing
2009.11.15 18:19:32 GMT Chicken soup Chicken soup is not just good for the soul. It has been scientifically proven to mitigate inflammation. Maybe mommy's chicken soup was the reason that the same bug that took Pin out of commission for
2009.11.10 17:58:53 GMT Sayonara, e-nibbles; hullo, Gee-Mi-Ni It's final: e-nibbles is no more. e-nibbles was my trusty Dell D600 which I purchased summer after my Junior year in college through the Student Computer Initiative. Immediately after receiving the ob
2009.09.30 10:12:57 BST Ahhh! Cruft discovered in pre-print. Ack, I should've known better. I stayed up a bit later on Monday night than I intended to. I was asked, by Claude, last week, about whether certain cases (in particular the Born-Infeld model) not cove
2009.09.28 18:30:27 BST Spiders spiders everywhere Wow! Third post today, and here I thought I have been neglecting my blog. Anyway, it turns out that I am not the only person to have noticed the large number of spiders in Britain this autumn. Going o
2009.09.28 15:12:09 BST Causality of generalized wave-maps--paper on arXiv Oh, almost forgot. New paper on arXiv. Gary Gibbons showed via explicit computations using eigenvalues that the Skyrmion equation obeys the dominant energy condition. In my paper, I proved the dominan
2009.09.28 14:42:39 BST The evolution debate as an illustration of speciation I was reading some article or another in Wired, which happens to be about dinosaurs. And of course, the religious kooks came out of the woodwork to attack evolution on the comment board. And it occurr
2009.09.02 12:42:44 BST New beginnings: first days at Cambridge Heh. Did you, dear reader, notice the change on the date-stamp for the previous entry? It was posted in British Standard Time. Yes, I am now taking a position in the Department of Pure Mathematics and