Poincaré Disk Walkers (Solution)

Challenge 1. Given 2 points inside this disk, what are the paths on  which walkers take fewer steps between the points? In other words,  what are the paths of minimum length?

Answer:

The objective of this challenge is to describe qualitatively the  shortest paths (geodesics) for the inhabitants of the disk.

Unlike the Euclidean plane, we cannot consider a straight line  segment as the shortest distance between the points. Note that as  walkers move towards the center of the disk, their steps become  longer, resulting in wider strides. Therefore, we can assert that  paths tending towards the center are shorter, forming a curve  directed towards the center. Indeed, such behavior is observable  (see the image below).

Figure 6. Geodesic path between two points in the Poincaré disk.

It is not within the scope of this activity to show what the paths in  this space will be. However, we affirm that they fall into two  categories: if the straight line determined by the two points  intersects the center, then the straight segment will be the geodesic.  When this does not occur, it will be an arc of a circumference  orthogonal to the disk. See the section “Construction of the  Poincaré Disk” to understand how we can obtain such paths.

Challenge 2: Consider that a walker takes steps of size 1/2 when starting their  journey from the center of a disk with radius R=1. How many steps will it take for them to reach the boundary delimited by the  circumference? Would it be possible for a walker from the disk to  cross the boundary?

Hint: The Euclidean distance r_n from the center to the n-th step  is given by r_n= \frac{3^n-1}{3^n+1}.

* The hint above utilizes the fact that if r is the Euclidean distance  between the center and a point on the disk, then the distance for  inhabitants in the disk is given by ln(\frac{1+r}{1-r}), which must be  subsequently rescaled to the step size. Consequently, each step has  a length of ln(3) within the disk (i.e., for its inhabitants), which  corresponds to us, external observers, as a length of 1/2 of the  Euclidean radius on the walker’s first step.

Solution:

We will use the hint to solve the problem. The walker will reach  the boundary on the n-th step when r_{n-1}<1 and r_n\geq 1 (assuming that the n-th step may be less than one full step).

Therefore, we seek n such that r_n= \frac{3^n-1}{3^n+1} \geq 1. However,  if we suppose this statement to be true, we would have 3^n-1 \geq 3^n+1, which implies -1 \geq 1, which is absurd. Therefore, the walker never reaches the boundary in finite time. In other  words, the segment between the center of the disk and the boundary is infinite.

The above answer also guarantees that the walker does not cross  the boundary. However, suppose additionally that this individual is  already at the boundary. Then the length of their legs is zero, as it  follows the proportion of 1^2-1^2=0. Therefore, the answer is  always negative for this item.

A curious fact is that this problem can be compared to Zeno’s  paradox. However, in this case, the geometry is different, causing  the space to dilate from the perspective of the inhabitants of the  disk, and the problem is modified by considering the number of  steps instead of the space itself.

Skip to content