Slow Fibonacci Walks

Fan Chung,Ron Graham,Sam Spiro

DOI: https://doi.org/10.48550/arXiv.1903.08274

2019-03-20

Abstract:For a positive integer $n$, we study the number of steps to reach $n$ by a {\it Fibonacci walk} for some starting pair $a_1$ and $a_2$ satisfying the recurrence of $a_{k+2}=a_{k+1}+a_k$. The problem of slow Fibonacci walks, first suggested by Richard Stanley, is to determine the maximum number $s(n)$ of steps for such a Fibonacci walk ending at $n$. Stanley conjectured that for most $n$, there is a slow Fibonacci walk reaching $n = a_s$ with the property that $a_{s+1}$ is the integer closest to $\phi n$ where $\phi=(1+\sqrt{5})/2$. We prove that this is true for only a positive fraction of $n$. We give explicit formulas for the choice of the starting pairs and the determination of $s(n)$ by giving a characterization theorem. We also derive a number of density results concerning the distribution of down and up cases (that is, those $n$ with $a_{s+1}=\lfloor \phi n\rfloor$ or $\lceil \phi n \rceil$, respectively), as well as for more general `paradoxical' cases.

Number Theory,Combinatorics

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the maximum number of steps in slow Fibonacci walks. Specifically, for a positive integer \(n\), study the number of steps \(s(n)\) required to reach \(n\) starting from certain initial pairs \(a_1\) and \(a_2\) and following the Fibonacci recurrence relation \(a_{k + 2}=a_{k + 1}+a_k\).

Richard Stanley proposed a conjecture: for most \(n\), there exists a slow Fibonacci walk \(w_k\) that can reach \(n = a_s\), and \(a_{s+1}\) is the integer closest to \(\varphi n\), where \(\varphi=\frac{1+\sqrt{5}}{2}\) is the golden ratio. However, Stanley's conjecture only holds for a subset of \(n\).

The main contributions of the paper include:
1. **Proved partial correctness of Stanley's conjecture**: Stanley's conjecture holds for only a positive proportion of \(n\).
2. **Gave an explicit formula for \(s(n)\)**: Provided a method to determine \(s(n)\) and select the initial pair through Theorem 1.1.
3. **Analyzed the distribution densities of the "down" and "up" cases**: That is, the cases where \(n\) satisfies \(a_{s+1}=\lfloor\varphi n\rfloor\) or \(a_{s+1}=\lceil\varphi n\rceil\).
4. **Explored more general "paradox" cases**: That is, the cases when \(\delta_n < d\) and \(n\in U\) or \(\Delta_n < d\) and \(n\in D\), and gave the density results of these \(n\).

In summary, this paper thoroughly studied the characteristics of slow Fibonacci walks, especially the properties of the maximum number of steps \(s(n)\) and its relationship with the golden ratio, and verified the validity of Stanley's conjecture within a certain range.