Mountain climbing problem

Short description: Mathematical problem

A trivial example.

In mathematics, the mountain climbing problem is a mathematical problem that considers a two-dimensional mountain range (represented as a continuous function), and asks whether it is possible for two mountain climbers starting at sea level on the left and right sides of the mountain to meet at the summit, while maintaining equal altitudes at all times. This problem was named and posed in this form by James V. Whittaker (1966), but its history goes back to Tatsuo Homma (1952), who solved a version of it. The problem has been repeatedly rediscovered and solved independently in different contexts by a number of people (see references below).

Since the 1990s, the problem was shown to be connected to the weak Fréchet distance of curves in the plane, various planar motion planning problems in computational geometry, the inscribed square problem, semigroup of polynomials, etc. The problem was popularized in the article by (Goodman Pach), which received the Mathematical Association of America's Lester R. Ford Award in 1990.

Analysis

The problem can be rephrased as asking whether, for a given pair of continuous functions [math]\displaystyle{ f, g }[/math] with [math]\displaystyle{ f(0)=g(0)=0, f(1)=g(1)=1 }[/math] (corresponding to rescaled versions of the left and right faces of the mountain), it is possible to find another pair of functions [math]\displaystyle{ x_1, x_2 }[/math] with [math]\displaystyle{ x_1(0)=x_2(0)=0, x_1(1)=x_2(1)=1 }[/math] (the climbers' horizontal positions at time [math]\displaystyle{ t }[/math]) such that the function compositions [math]\displaystyle{ f\circ x_1 }[/math] and [math]\displaystyle{ g\circ x_2 }[/math] (the climbers' altitudes at time [math]\displaystyle{ t }[/math]) are the same function.

Finite number of peaks and valleys

An example requiring backtracking. The original image is an animated SVG; click through to view it.

When [math]\displaystyle{ f, g }[/math] have only a finite number of peaks and valleys (local maxima and local minima) it is always possible to coordinate the climbers' movements. This can be shown by drawing out a sort of game tree: an undirected graph [math]\displaystyle{ G }[/math] with one vertex labeled [math]\displaystyle{ (x_1,x_2) }[/math] whenever [math]\displaystyle{ f(x_1)=g(x_2) }[/math] and either [math]\displaystyle{ f(x_1) }[/math] or [math]\displaystyle{ g(x_2) }[/math] is a local maximum or minimum. Two vertices will be connected by an edge if and only if one node is immediately reachable from the other; the degree of a vertex will be greater than one only when the climbers have a non-trivial choice to make from that position.

• At the vertex [math]\displaystyle{ (0,0) }[/math], the degree is one: the only possible direction for both climbers to go is onto the mountain. Similarly, at [math]\displaystyle{ (1,1) }[/math] the degree is one, because both climbers can only return down the mountain.
• At a vertex where one climber is at a peak or a valley and the other one is not, then the degree is two: the climber at the peak or valley has two choices of which way to go, and the other climber can only go one way.
• At a vertex where both climbers are at peaks or both climbers are at valleys, the degree is four: both climbers may choose independently of each other which direction to go.
• At a vertex where one climber is at a peak and the other is at a valley, the degree is zero: such positions are unreachable. (That is, if such a vertex exists, then the graph [math]\displaystyle{ G }[/math] is not connected.)

According to the handshaking lemma, every connected component of an undirected graph has an even number of odd-degree vertices. Since the only odd-degree vertices in all of [math]\displaystyle{ G }[/math] are [math]\displaystyle{ (0,0) }[/math] and [math]\displaystyle{ (1,1) }[/math], these two vertices must belong to the same connected component. That is, [math]\displaystyle{ G }[/math] must contain a path from [math]\displaystyle{ (0,0) }[/math] to [math]\displaystyle{ (1,1) }[/math]. That path tells how to coordinate the climbers' movement to the summit.

It has been observed that for a mountain with n peaks and valleys the length of this path (roughly corresponding to the number of times one or the other climber must "backtrack") can be as large as quadratic in n.

This technique breaks down when [math]\displaystyle{ f, g }[/math] have an infinite number of local extrema. In that case, [math]\displaystyle{ G }[/math] would not be a finite graph, so the handshaking lemma would not apply: [math]\displaystyle{ (0,0) }[/math] and [math]\displaystyle{ (1,1) }[/math] might be connected but only by a path with an infinite number of vertices, possibly taking the climbers "infinite time" to traverse.

Infinite number of peaks and valleys

The following result is due to (Huneke 1969):

Suppose [math]\displaystyle{ f }[/math] and [math]\displaystyle{ g }[/math] are continuous functions from [math]\displaystyle{ [0,1] }[/math] to [math]\displaystyle{ [0,1] }[/math] with [math]\displaystyle{ f(0)=g(0)=0 }[/math] and [math]\displaystyle{ f(1)=g(1)=1 }[/math], and such that neither function is constant on an interval. Then there exist continuous functions [math]\displaystyle{ s }[/math] and [math]\displaystyle{ t }[/math] from [math]\displaystyle{ [0,1] }[/math] to [math]\displaystyle{ [0,1] }[/math] with [math]\displaystyle{ s(0)=t(0)=0 }[/math], [math]\displaystyle{ s(1)=t(1)=1 }[/math], and such that [math]\displaystyle{ f\circ s \, = \, g\circ t }[/math], where "[math]\displaystyle{ \circ }[/math]" stands for a composition of functions.

On the other hand, it is not possible to extend this result to all continuous functions. For, if [math]\displaystyle{ f }[/math] has constant height over an interval while [math]\displaystyle{ g }[/math] has infinitely many oscillations passing through the same height, then the first climber may be forced to go back and forth over that interval infinitely many times, making his path to the summit infinitely long. James V. Whittaker (1966) gives a concrete example involving [math]\displaystyle{ x\sin(x^{-1}) }[/math].

References

• Baird, B. B.; Magill, K. D. Jr. (1997), "Green's [math]\displaystyle{ \mathcal{R} }[/math], [math]\displaystyle{ \mathcal{D} }[/math] and [math]\displaystyle{ \mathcal{H} }[/math] relations for generalized polynomials", Semigroup Forum 55 (3): 267–293, doi:10.1007/PL00005929 .
• Buchin, Kevin (2007), "How difficult is it to walk the dog?", Proc. 23rd European Workshop on Computational Geometry (Graz, 2007), pp. 170–173, http://page.mi.fu-berlin.de/rote/Papers/abstract/How+difficult+is+it+to+walk+the+dog.html .
• "Mountain climbing, ladder moving, and the ring-width of a polygon", American Mathematical Monthly 96 (6): 494–510, 1989, doi:10.2307/2323971, http://www.maa.org/sites/default/files/pdf/upload_library/22/Ford/Goodman-Pach-Yap494-510.pdf .
• Homma, Tatsuo (1952), "A theorem on continuous functions", Kodai Mathematical Seminar Reports 4: 13–16, doi:10.2996/kmj/1138843207 .
• Huneke, John Philip (1969), "Mountain climbing", Transactions of the American Mathematical Society 139: 383–391, doi:10.2307/1995331 .
• Jiménez López, Víctor (1999), "An elementary solution to the mountain climbers' problem", Aequationes Mathematicae 57 (1): 45–49, doi:10.1007/s000100050069 .
• Keleti, Tamás (1993), "The mountain climbers' problem", Proceedings of the American Mathematical Society 117 (1): 89–97, doi:10.2307/2159702 .
• Lipiński, J. S. (1957), "Sur l'uniformisation des fonctions continues", Bull. Acad. Polon. Sci. Cl. III 5: 1019–1021, LXXXV .
• McKiernan, M. A. (1985), "Mountain climbing: an alternate proof", Aequationes Mathematicae 28 (1–2): 132–134, doi:10.1007/BF02189402 .
• Mioduszewski, J. (1962), "On a quasi-ordering in the class of continuous mappings of a closed interval into itself", Colloquium Mathematicum 9 (2): 233–240, doi:10.4064/cm-9-2-233-240 .
• Lectures on Discrete and Polyhedral Geometry, 2010, p. 39, https://www.math.ucla.edu/~pak/book.htm .
• Sikorski, R. (1955), "On uniformization of functions. I", Fundamenta Mathematicae 41 (2): 339–344, doi:10.4064/fm-41-2-339-344 .
• "The parallel climbers puzzle", Math Horizons 3 (2): 22–24, 1995, doi:10.1080/10724117.1995.11974954, http://www.maa.org/sites/default/files/pdf/upload_library/22/Evans/november_1995_22.pdf .
• Whittaker, James V. (1966), "A mountain-climbing problem", Canadian Journal of Mathematics 18: 873–882, doi:10.4153/CJM-1966-087-x ..

External links

• The Parallel Mountain Climbers Problem, a description and a Java applet solution.