Integers Having $F_{2k}$ in Both Zeckendorf and Chung-Graham Decompositions
Lucas Bustos, Hung Viet Chu, Minchae Kim, Uihyeon Lee, Shreya Shankar, Garrett Tresch
TL;DR
This work provides a complete characterization of positive integers for which the term $F_{2k}$ appears in both Zeckendorf and Chung-Graham decompositions. It introduces and exploits the golden string $\mathcal{S}$ as a unifying combinatorial encoding that links the two decompositions, through precise table constructions for $A_{2k}$ and $B_{2k}$ and their recursive expansions. The main result yields an explicit parametric description $\{nF_{2k}+\lfloor(n-1)\phi\rfloor F_{2k+1}+j : n\in\mathbb{N}, 0\le j\le F_{2k-1}-1\}$ for the integers with $F_{2k}$ in both decompositions, and an analogous characterization on the $Z(n)\cap CG(n)$ side facilitated by the correspondence with letters in $\mathcal{S}$. Together, these findings deepen understanding of the interaction between Zeckendorf and Chung-Graham representations and reveal a deep, order-preserving structure governed by the golden ratio.
Abstract
Zeckendorf's theorem states that every positive integer can be uniquely decomposed into nonadjacent Fibonacci numbers. On the other hand, Chung and Graham proved that every positive integer can be uniquely written as a sum of even-indexed Fibonacci numbers with coefficients $0,1$, or $2$ such that between two coefficients $2$, there is a coefficient $0$. For each $k\ge 1$, we find the set of all positive integers having $F_{2k}$ in both of their Zeckendorf and Chung-Graham decompositions.
