5
$\begingroup$

Imagine you begin at the center of a hexagon, with center-to-vertices distance ( $=$ radius) $1$, and can step in any of the directions of the vertices of the hexagon. Every time you take a step, the distance you step is halved, beginning with $\frac{1}{2}$. The image depicts all the points you can reach in $1$ or $2$ steps. If $A$ through $F$ are the vectors from the origin to the vertices of the hexagon, and $S_i$ is the direction of the step you take on step $i$ ($S_i$ will always be $A$, $B$, $C$, $D$, $E$, or $F$) your position after $n$ steps will be given by: $$ \sum_{i=1}^{n}\frac{S_i}{2^i} $$ What I want to know is, given a step count $n$, and a point, in either rectangular or hexagonal coordinates, how many ways are there to reach it. For example, this image shows all points that can be reached in $1$ or $2$ steps :

enter image description here

Points $G$ through $L$ can be reached in $1$ step, whereas the rest can be reached in $2$. You will note that, for example, point $P_1$ will be accessible via jumping to $I$ (in the direction $C$), then jumping to $P_1$ (in the direction $E$), or by jumping to $J$ (in the direction $D$), and then to $P_1$ (in the direction $B$). In this manner, the point can be reached in $2$ ways. The point $K_1$, by contrast, can only be reached in $1$ way, by jumping first to $J$, then to $K_1$, both times in the direction of $B$.

So the desired algorithm would output $2$ when given $P_1$ as input, and output $1$ when given $K_1$ as input, if it was also given $n=2$.

For reference: $A=\left(1,0\right), B=\left(\frac{1}{2}, \frac{\sqrt{3}}{2}\right), C=\left(-\frac{1}{2}, \frac{\sqrt{3}}{2}\right), D=(-1, 0), E=\left(-\frac{1}{2}, -\frac{\sqrt{3}}{2}\right), F=\left(\frac{1}{2}, -\frac{\sqrt{3}}{2}\right),$

$\endgroup$
3
  • $\begingroup$ This is a really nice question. What are your thoughts on it so far? I've been looking at encoding the points base $6$ - essentially, you can read a number in base $6$ digit by digit to get the list of directions. It seems promising to look at this in combination with representing the different directions as sixth roots of unity, but I'm still looking into that. I've been able to generate a few nice pictures of the points colour coded by the number of different routes, but not much more than that yet. $\endgroup$ Aug 23 at 11:17
  • $\begingroup$ Another characterisation that seems helpful is to write everything in terms of the vectors $\vec{O,A}$ and $\vec{O,B}$. The fact that we can write the other directions in terms of these is the reason there are points with multiple routes. The main thing I think I'm lacking is a good notation here - any ideas? $\endgroup$ Aug 24 at 11:11
  • $\begingroup$ @Chris Lewis I think I have answered the question at least in the case $n=3$ by positioning the points that can be reached and in how many ways they can be reached. And the method I have used is generalizable. $\endgroup$
    – Jean Marie
    Aug 24 at 20:58

1 Answer 1

4
$\begingroup$

This issue can be treated using 2D convolution.

  • First of all, instead of the initial hexagon, we are going to work in an equivalent but distorted one (see Fig. 1) in order that the points of interest (the endpoints of paths with $n$ "steps") have simple coordinates ; in this way, one has just to build an evolving matrix representation (see program below). The "distorded" hexagon is represented on Fig. 1 for the case $n=2$ :

enter image description here

Fig. 1. Case $n=2$. Left figure : endpoints are materialized by the number of "paths" reaching them. These points have coordinates of the form $$\left(i/2^{n+1},j/2^{n+1}\right)$$ where $(i,j)$ are integers indexing the entries of the attached matrix. Right figure : a simple affine transform (a transvection) gives back a "classical hexagon" ; further (simple) affine transforms are needed to transform this hexagon into your one $A=\left(1,0\right), B=\left(\frac{1}{2},\frac{\sqrt{3}}{2}\right), $ etc. But a straightforward solution is obtained by using barycentric coordinates (see in particular fig. 3 and the associated Edit below).

  • One can have an idea of the process by looking at Fig. 2 representing this convolution operation by "unfolding" the first steps in a third dimension (zeros are ommited):

enter image description here

Fig. 2 : The presence of convolution can be understood through this 3D representation of the issue, reminding neural networks. We have taken here a normalization such that all the $(x,y)$ coordinates are in $[0,1] \times [0,1]$.

Based on this idea, one can write the following very compact program (written in Matlab but translatable into any other scientific language) :

S=[1,1,0;
   1,0,1;
   0,1,1];
M=[1];
ke=3;
for k=1:ke;
   M=kron(M,[1,0;0,0]); 
   M=conv2(M,S);
end;

Comments on this program :

  • The $6$ "ones" in matrix $S$ account for the oblique directions in which the information is "spread", replacing the six directions $(\cos(k\pi/3),\sin(k\pi/3)$. (Letter $S$ reminds the strong analogy with the so-called "structuring element" in the domain of "mathematical morphology").

  • The first line inside the for-loop accounts for the progressive refinement of the working mesh (approximate doubling of the number of lines and columns at each new step) : more precisely, between each pair of lines (resp. columns) of the matrix at rank $n$, a line (resp. column) of zeros is introduced. This operation is realized by using a Kronecker product.

  • The second line operates a 2D convolution.

  • Optionaly, one can add just before closing the "for loop", the following instruction

   p=2^(k+1)-1;M=M(1:p,1:p) 

"cropping" matrix $M$ in order to cancel (harmless...) trailing zeros on the right and bottom margins.

  • the end value $ke$ of $k$ can be anything... sensible for your computer.

The program above gives instantly the successive arrays :

$$\begin{array}{|ccc|}\hline 1&1&0\\ 1&0&1\\ 0&1&1\\ \hline\end{array}$$

$$\begin{array}{|ccccccc|}\hline 1&1&1&1&0&0&0\\ 1&0&2&0&1&0&0\\ 1&2&1&1&2&1&0\\ 1&0&1&0&1&0&1\\ 0&1&2&1&1&2&1\\ 0&0&1&0&2&0&1\\ 0&0&0&1&1&1&1\\ \hline\end{array}$$

$$\begin{array}{|cccccccccccccc|}\hline 1&1&1&1&1&1&1&1&0&0&0&0&0&0&0\\ 1&0&2&0&2&0&2&0&1&0&0&0&0&0&0\\ 1&2&1&1&3&3&1&1&2&1&0&0&0&0&0\\ 1&0&1&0&2&0&2&0&1&0&1&0&0&0&0\\ 1&2&3&2&1&3&3&1&2&3&2&1&0&0&0\\ 1&0&3&0&3&0&2&0&3&0&3&0&1&0&0\\ 1&2&1&2&3&2&1&1&2&3&2&1&2&1&0\\ 1&0&1&0&1&0&1&0&1&0&1&0&1&0&1\\ 0&1&2&1&2&3&2&1&1&2&3&2&1&2&1\\ 0&0&1&0&3&0&3&0&2&0&3&0&3&0&1\\ 0&0&0&1&2&3&2&1&3&3&1&2&3&2&1\\ 0&0&0&0&1&0&1&0&2&0&2&0&1&0&1\\ 0&0&0&0&0&1&2&1&1&3&3&1&1&2&1\\ 0&0&0&0&0&0&1&0&2&0&2&0&2&0&1\\ 0&0&0&0&0&0&0&1&1&1&1&1&1&1&1\\ \hline \end{array}$$

etc.

Edit (2023/08/28) : Have a look at Fig. 3 and its notations.

enter image description here

Fig. 3.

It is obtained (see program below) by the use of barycentrical coordinates in triangle $GHI$.

The idea here is that indexes $(i,j)$ of matrix $M$ can be used for the generation of barycentrical coordinates, under the condition to be conveniently "resized". Let us explain how.

  • Let us begin by index $j$ (the column index of matrix $M$) running from $1$ to $p=2^n-1$. $j/a$ plays the role of "degree of attraction" of vertex $G$ for the current point with normalization coefficient $a:=(3/2)(2^n)$. Why ? Because barycentric coordinates of points inside hexagon $ABCDEF$ with respect to triangle $GHI$ have $2/3$ as their extreme value ;

  • Dealing with index $i$ (the row index), as it is decreasing, it is a "degree of repulsion" with respect to vertex $H$. In order to get a "degree of attraction", we have to consider $(2^n-i)/a$

  • the last degree of attraction (with repect to vertex $I$), its formula is taken in such a way that the sum of the 3 degrees of attraction (i.e., the barycentrical coordinates) of the current point is equal to $1$.

Fig. 3 is plainly generated (set apart the names of vertices and the drawings of the hexagon and the triangle) by placing the following lines at the bottom of the first program :

n=ke+1;d=2^n;p=d-1;a=(3/2)*d;
s=sqrt(3);G=[3/2;-s/2];H=[0;s];I=[-3/2;-s/2];
for i=1:p
   for j=1:p
      V=(j*G+(d-i)*H+(a+i-d-j)*I)/a;
      m=M(i,j);
      if m>0
        text(V(1),V(2),num2str(m));hold on
      end;
   end;
end;
$\endgroup$
1
  • 1
    $\begingroup$ Thanks! This is a great solution $\endgroup$ Aug 27 at 9:09

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .