<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">\documentclass[12pt,reqno]{article}

\usepackage[usenames]{color}
\usepackage{amssymb}
\usepackage{graphicx}
\usepackage{amscd}

\usepackage[colorlinks=true,
linkcolor=webgreen,
filecolor=webbrown,
citecolor=webgreen]{hyperref}

\definecolor{webgreen}{rgb}{0,.5,0}
\definecolor{webbrown}{rgb}{.6,0,0}

\usepackage{color}
\usepackage{fullpage}
\usepackage{float}

\usepackage{psfig}
\usepackage{graphics,amsmath,amssymb}
\usepackage{amsthm}
\usepackage{amsfonts}
\usepackage{latexsym}
\usepackage{epsf}

\setlength{\textwidth}{6.5in}
\setlength{\oddsidemargin}{.1in}
\setlength{\evensidemargin}{.1in}
\setlength{\topmargin}{-.1in}
\setlength{\textheight}{8.4in}

\newcommand{\seqnum}[1]{\href{http://oeis.org/#1}{\underline{#1}}}

\usepackage[np]{numprint}
\npdecimalsign{\ensuremath{.}}

\begin{document}

\begin{center}
\epsfxsize=4in
\leavevmode\epsffile{logo129.eps}
\end{center}

\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{corollary}[theorem]{Corollary}
\newtheorem{lemma}[theorem]{Lemma}
\newtheorem{proposition}[theorem]{Proposition}

\theoremstyle{definition}
\newtheorem{definition}[theorem]{Definition}
\newtheorem{example}[theorem]{Example}
\newtheorem{conjecture}[theorem]{Conjecture}

\theoremstyle{remark}
\newtheorem{remark}[theorem]{Remark}


\begin{center}
\vskip 1cm{\LARGE\bf On a Matrix Arising from a Family\\ \vskip 0.2cm of Iterated Self-Compositions}
\vskip 1.2cm
\large
Martin Griffiths\\
Department of Mathematical Sciences\\
University of Essex\\
Colchester CO4 3SQ\\
United Kingdom\\
{\tt  griffm@essex.ac.uk}
\end{center}

\vskip .2 in

\newcommand{\N}{\mathbb {N}}
\newcommand{\Z}{\mathbb {Z}}
\newcommand{\Q}{\mathbb {Q}}
\newcommand{\R}{\mathbb {R}}
\newcommand{\C}{\mathbb {C}}


\begin{abstract}
We obtain here a number of results associated with an infinite matrix arising from a family of iterated self-compositions.  This matrix exhibits a rich structure, and our results include an intricate property of its rows, a characterization of its entries in terms of their Zeckendorf representations, and a link between its columns and a mathematical object known as the Fibonacci word.
\end{abstract}


\section{Introduction and initial definitions}
Fraenkel \cite{fraenkel} defines the notion of an iterated floor function, and derives identities involving sums of such functions. Applications of these iterated floor functions to discrete dynamical systems and to other other areas of mathematics are then exhibited.  The purpose of our paper is to use the iterated floor function in order to generate an infinite matrix $\mathcal{M}$, as defined below, and then to study certain aspects of its rich structure.

In order to construct $\mathcal{M}$, we utilize both the \textit{floor function} and the \textit{golden ratio}.  The former, written $\lfloor x\rfloor$, gives the largest integer not exceeding $x$, while the latter is given by
\[\alpha=\frac{1+\sqrt{5}}{2}.\]
Let $\mathbb{N}$ denote the set of positive integers. For each $k\in\mathbb{N}$, $g_j(k)$ is defined by way of $g_1(k)=\left\lfloor k\alpha \right\rfloor$ and, for $j\geq 2$, $g_j(k)=g_1(g_{j-1}(k))$.  Then $\mathcal{M}$ is defined to be the infinite matrix having entries $g_j(k)$, where $k$ and $j$ denote the row and column numbers, respectively.

The $8\times 8$ matrix comprising the top left-hand corner sub-matrix of $\mathcal{M}$ is shown in Table \ref{table1}.  The first column of $\mathcal{M}$ is a particular \textit{Beatty sequence} \cite{beatty1,beatty2} known as the \textit{lower Wythoff sequence}, and given by $\mathcal{B}(\alpha)=\left(\lfloor n\alpha\rfloor\right)_{n\geq 1}$. This appears as sequence \seqnum{A000201} in the \textit{On-line Encyclopedia of Integer Sequences} \cite{sloane}.  The second, third and fourth columns of $\mathcal{M}$ arise as sequences \seqnum{A003622}, \seqnum{A134859}, and \seqnum{A151915}, respectively, but none of the further columns appear in the OEIS.  Shifted versions of some of the rows of $\mathcal{M}$ are also to be found in the OEIS.  For example, \seqnum{A001588}, \seqnum{A001611}, and \seqnum{A001612} are related to rows seven, two and five, respectively, by way of shifts.  Some of the rows have interesting combinatorial interpretations, such as the 13th row, the terms of which, via an appropriate shift, enumerate the binary strings of length $n$ with no substrings equal to 0001, 1000, or 1001 (\seqnum{A164485}).

Although the \textit{upper Wythoff sequence} (\seqnum{A001950}), $\mathcal{B}(\alpha^2)=\left(\lfloor n\alpha^2\rfloor\right)_{n\geq 1}$, does not appear as a row or a column in $\mathcal{M}$, it does play a role here in the proof of some of the lemmas and theorems. We will make use of the fact that, as a pair of complementary sequences, $\mathcal{B}(\alpha)$ and $\mathcal{B}(\alpha^2)$ satisfy both $\mathcal{B}(\alpha)\cap\mathcal{B}(\alpha^2)=\emptyset$ and $\mathcal{B}(\alpha)\cup\mathcal{B}(\alpha^2)=\mathbb{N}$.  The upper Wythoff sequence does, however, appear as the second column of a matrix known as the \textit{Wythoff array} \cite{kimberling}.  There are similarities between $\mathcal{M}$ and the Wythoff array, although there is also a major difference; the former contains repeated entries but not every positive integer, while the latter contains every positive integer precisely once.

Both the Fibonacci and Lucas numbers feature in some of our proofs and results.  The \textit{Fibonacci sequence} $\left(F_n\right)_{n\geq 0}$ is defined by setting $F_0=0$ and $F_1=1$ and then $F_n=F_{n-1}+F_{n-2}$ for $n\geq 2$.  The \textit{Lucas sequence} $\left(L_n\right)_{n\geq 0}$ is defined by setting $L_0=2$ and $L_1=1$ and then $L_n=L_{n-1}+L_{n-2}$ for $n\geq 2$.

\renewcommand\arraystretch{1.4}
\begin{table}
\centering
  \begin{tabular}{c |c c c c c c c c}
  $k$ &amp; $g_1(k)$ &amp; $g_2(k)$ &amp; $g_3(k)$ &amp; $g_4(k)$ &amp; $g_5(k)$ &amp; $g_6(k)$ &amp; $g_7(k)$ &amp; $g_8(k)$\\
    \hline
    1 &amp; 1 &amp; 1 &amp; 1 &amp; 1 &amp; 1 &amp; 1 &amp; 1 &amp; 1\\
    2 &amp; 3 &amp; 4 &amp;6 &amp;9 &amp;14 &amp;22 &amp;35 &amp;56 \\
    3 &amp; 4 &amp; 6 &amp; 9 &amp;14 &amp;22 &amp;35 &amp;56 &amp;90 \\
    4 &amp; 6 &amp; 9 &amp; 14 &amp;22 &amp;35 &amp;56 &amp;90 &amp;145 \\
    5 &amp; 8 &amp; 12 &amp; 19 &amp; 30 &amp; 48 &amp; 77 &amp; 124&amp;200 \\
    6 &amp; 9 &amp; 14 &amp; 22 &amp; 35 &amp; 56 &amp; 90 &amp; 145&amp;234 \\
    7 &amp; 11 &amp; 17 &amp; 27 &amp; 43 &amp; 69 &amp; 111 &amp; 179 &amp;289 \\
    8 &amp; 12 &amp; 19 &amp; 30 &amp; 48 &amp; 77 &amp; 124 &amp; 200 &amp; 323  \\
  \end{tabular}
\vskip 0.3cm
\caption{The top left-hand corner $8\times 8$ sub-matrix of the infinite matrix $\mathcal{M}$.}
\label{table1}
\end{table}

In the following sections we prove a number of results concerning the structure of $\mathcal{M}$.  In Section \ref{section2} some introductory results are given.  Then, in Section \ref{section3}, we demonstrate a characterization of the entries of $\mathcal{M}$ in terms of their Zeckendorf representations.  A link between the columns of $\mathcal{M}$ and a mathematical object known as the Fibonacci word is shown in Section \ref{section4}.  Our final theorems, involving a property of the rows of $\mathcal{M}$, highlight very clearly the close relationship between the Fibonacci and Lucas numbers.


\section{Some initial results associated with \texorpdfstring{$\mathcal{M}$}{M}}\label{section2}
First, we obtain a formula for the entry $g_j(k)$ of $\mathcal{M}$ and a straightforward corollary of this result.  Note that use will be made of the equality $\alpha^2=\alpha+1$ and its many rearrangements throughout this paper.

\begin{theorem}\label{structuretheorem}
The entry in the $k$th row and $j$th column of $\mathcal{M}$ is given by
\[g_j(k)=F_j\left\lfloor \frac{k}{\alpha}\right\rfloor +(k-1)F_{j+1}+1.\]
\end{theorem}

\begin{proof}
Once more, we proceed by induction on $j$.  First, when $j=1$, we have
\begin{align*}
F_1\left\lfloor \frac{k}{\alpha}\right\rfloor +(k-1)F_{2}+1
&amp;=\left\lfloor \frac{k}{\alpha}\right\rfloor +k\\
&amp;=\left\lfloor \frac{k(1+\alpha)}{\alpha}\right\rfloor\\
&amp;=\left\lfloor k\alpha\right\rfloor\\
&amp;=g_1(k).
\end{align*}
The statement of the theorem is thus true for all $k\in\mathbb{N}$ when $j=1$.

Let us now assume that it is true for all $k\in\mathbb{N}$ for some $j\in\mathbb{N}$.  We then have
\begin{equation}\label{recur1}
g_{j+1}(k)=\left\lfloor \alpha\left(F_j\left\lfloor \frac{k}{\alpha}\right\rfloor +(k-1)F_{j+1}+1\right)\right\rfloor
\end{equation}
for each $k\in\mathbb{N}$.  In order to complete the proof of the theorem, it would suffice to show that (\ref{recur1}) is equal to
\begin{equation}\label{recur2}
F_{j+1}\left\lfloor \frac{k}{\alpha}\right\rfloor +(k-1)F_{j+2}+1
\end{equation}
for all $k\in\mathbb{N}$.  To this end, let us consider $d(j,k)$, the difference between (\ref{recur1}) and (\ref{recur2}).  Using Binet's formula \cite{cameron,hardy,knuth}, it is a simple matter to show that
\begin{equation}\label{binetres1}
\alpha F_{j+1}-F_{j+2}=\frac{(-1)^{j}}{\alpha^{j+1}}.
\end{equation}
We may then obtain
\begin{align}\label{difference}
d(j,k)
&amp;=\left\lfloor \alpha\left(F_j\left\lfloor \frac{k}{\alpha}\right\rfloor +(k-1)F_{j+1}+1\right)\right\rfloor-\left(F_{j+1}\left\lfloor \frac{k}{\alpha}\right\rfloor +(k-1)F_{j+2}+1\right)\nonumber\\
&amp;=\left\lfloor \left\lfloor \frac{k}{\alpha}\right\rfloor \left(\alpha F_j-F_{j+1}\right)+(k-1)\left(\alpha F_{j+1}-F_{j+2}\right)+(\alpha-1) \right\rfloor\nonumber\\
&amp;=\left\lfloor\frac{(-1)^{j-1}}{\alpha^j} \left( \left\lfloor\frac{k}{\alpha}\right\rfloor -\frac{k-1}{\alpha}\right)+\frac{1}{\alpha} \right\rfloor,
\end{align}
where (\ref{binetres1}) has been utilized in going from the second to the third line above.

Now note that for all $k\in\mathbb{N}$,
\begin{equation}\label{fractional}
\left| \left\lfloor\frac{k}{\alpha}\right\rfloor -\frac{k-1}{\alpha}\right|=\left|\frac{1}{\alpha}-\left(\frac{k}{\alpha}-  \left\lfloor\frac{k}{\alpha}\right\rfloor\right) \right|=\left|\frac{1}{\alpha}- \left\{\frac{k}{\alpha}\right\}\right|&lt;\frac{1}{\alpha},
\end{equation}
where $\{x\}=x-\lfloor x\rfloor$, the \textit{fractional part} of $x$.  From (\ref{fractional}) it follows that
\[-\frac{1}{\alpha^{j+1}} +\frac{1}{\alpha}&lt;\frac{(-1)^{j-1}}{\alpha^j} \left( \left\lfloor\frac{k}{\alpha}\right\rfloor -\frac{k-1}{\alpha}\right)+\frac{1}{\alpha}&lt;\frac{1}{\alpha^{j+1}}+\frac{1}{\alpha},\]
which, since
\[0&lt;-\frac{1}{\alpha^{j+1}} +\frac{1}{\alpha}\quad\text{and}\quad\frac{1}{\alpha^{j+1}} +\frac{1}{\alpha}&lt;1,\]
implies via (\ref{difference}) that $d(j,k)=0$, as required.
\end{proof}

\begin{corollary}\label{simplerel}
For all $j,k\in\mathbb{N}$ we have
\[g_j(k)+g_{j+1}(k)=g_{j+2}(k)+1.\]
\end{corollary}

\begin{proof}
From Theorem \ref{structuretheorem} we have
\begin{align*}
g_j(k)+g_{j+1}(k)
&amp;=F_j\left\lfloor \frac{k}{\alpha}\right\rfloor +(k-1)F_{j+1}+1+F_{j+1}\left\lfloor \frac{k}{\alpha}\right\rfloor +(k-1)F_{j+2}+1\\
&amp;=F_{j+2}\left\lfloor \frac{k}{\alpha}\right\rfloor +(k-1)F_{j+3}+2\\
&amp;=g_{j+2}(k)+1.
\end{align*}
\end{proof}

 By way of Corollary \ref{simplerel} we have $g_1(k)+g_2(k)=g_3(k)+1$ and $g_2(k)+g_3(k)=g_4(k)+1$, from which it follows that $g_1(k)-2g_3(k)+g_4(k)=0$.  Since this is valid for any $k\in\mathbb{N}$, it is the case that for any $n\geq 4$, the columns of the top left-hand $n\times n$ sub-matrix of $\mathcal{M}$ are not linearly independent.  This in turn implies that the top left-hand $n\times n$ sub-matrix of $\mathcal{M}$ has determinant 0 when $n\geq 4$.

 On looking at Table \ref{table1} it becomes apparent that, for each pair $(j,k)$ such that $1\leq j\leq 7$ and $1\leq k\leq 7$, the expression $g_{j+1}(k)-g_j(k+1)$ is equal to $F_m$ or $-F_m$ for some non-negative integer $m$ (noting that $F_0=0$).  However, on extending the table it may be seen that this property does not hold in general.  For example, $g_2(9)-g_1(10)=6$.


\section{A characterization via Zeckendorf representations}\label{section3}
Silber \cite{silber} obtains various results concerning the lower Wythoff sequence, including a property of the Zeckendorf representations of the terms in this sequence.  As will be explained, it follows from this property that the entries in $\mathcal{M}$ may be characterized in a very straightforward manner by way of their Zeckendorf representations.

To this end, let $\mathcal{F}=\left\{F_2,F_3,F_4,\ldots\right\}$ be the set of Fibonacci numbers with subscripts at least 2.  It is well-known that any positive integer $n$ can be expressed as a sum of distinct elements from $\mathcal{M}$ in at least one way.  We term
\[F_{c_1}+F_{c_2}+\cdots+F_{c_k}\]
an \textit{$F$-representation} for $n$ if $n=F_{c_1}+F_{c_2}+\cdots+F_{c_k}$, where $\left(c_1,c_2,\ldots,c_k\right)$ is an increasing sequence such that $c_1\geq 2$.

Zeckendorf's theorem provides conditions under which each positive integer may be represented in a unique way as a sum of distinct Fibonacci numbers.  Specifically, it states that, for any $n\in\mathbb{N}$, there is exactly one way in which $n$ can be expressed as a sum of distinct Fibonacci numbers such that the sum does not include any two consecutive Fibonacci numbers.  This gives the \textit{Zeckendorf representation} of $n$.  A more formal statement of Zeckendorf's theorem is as follows:

\begin{theorem}
For any $n\in\mathbb{N}$ there exists a unique increasing sequence of positive integers, $\left(c_1,c_2,\ldots,c_k\right)$ say, such that $c_1\geq 2$, $c_i\geq c_{i-1}+2$ for $i=2,3,\ldots,k$, and
\[n=\sum_{i=1}^{k}F_{c_i}.\]
\end{theorem}
\noindent Lekkerkerker \cite{lekkerkerker} and Zeckendorf \cite{zeck} both supply proofs of this result.  We note here that Zeckendorf representation is a special case of Ostrowski representation \cite{allouche,ostrowski}, the latter of which gives a general method of integer representation utilizing continued fraction representations of irrational numbers.

Silber \cite{silber} shows that the smallest term in the Zeckendorf representation of $n$ is of the form $F_{2m}$ if, and only if, $n=\lfloor q\alpha \rfloor$ for some $q\in\mathbb{N}$.  By definition, the first column of $\mathcal{M}$ contains every integer of the form $\lfloor q \alpha\rfloor$.  Furthermore, by the construction of $\mathcal{M}$, every entry will be of this form.  It follows from this that the integer $n$ appears as an entry in $\mathcal{M}$ if, and only if, the smallest term in its Zeckendorf representation is of the form $F_{2m}$ for some $m\in\mathbb{N}$,  thereby providing a way of characterizing the entries of $\mathcal{M}$ via a property of their Zeckendorf representations.


\section{A result associated with the Fibonacci word}\label{section4}
Let $W$ be some infinite word over a binary alphabet, where, without loss of generality, the alphabet is given by $\{0,1\}$.  Then $W$ is a \textit{Sturmian word} if it possesses exactly $n+1$ factors of length $n$ for each $n\geq 0$.  Equivalently, a word $W$ over the alphabet $\{0,1\}$ is a Sturmian word if, and only if, there exist $a,b\in\mathbb{R}$, with $a$ irrational, such that the $n$th letter of $W$ corresponds to the integer $\left\lfloor a(n+1)+b\right\rfloor-\left\lfloor an+b\right\rfloor-\left\lfloor a\right\rfloor$ for each $n\in\mathbb{N}$ \cite{allouche,lothaire1}.

The special case that results on setting $a=\alpha$ and $b=0$ is known as the \textit{Fibonacci word} \cite{allouche,lothaire1,lothaire2}.  This mathematical object $S_{\infty}=0100101001001\ldots$ is defined \cite{knuth} to be the infinite string of $0$s and $1$s constructed recursively as follows.  Let $S_1=1$ and $S_2=0$, and then, for $k\geq 3$, $S_k=S_{k-1}\cdot S_{k-2}$, the \textit{concatenation} of the strings $S_{k-1}$ and $S_{k-2}$.  Thus
\begin{align*}
&amp;S_3=S_2\cdot S_1=0 \cdot 1=01,\\
&amp;S_4=S_3\cdot S_2=01 \cdot 0 =010,\\
&amp;S_5=S_4\cdot S_3=010 \cdot 01 =01001,
\end{align*}
and so on.  The Fibonacci word is the unique infinite string $S_{\infty}$ such that for all $k\geq 2$, $S_k$ is a prefix of $S_{\infty}$.

As will be shown in the following theorem, the matrix $\mathcal{M}$ is intimately related to the \textit{Fibonacci word}.  In particular, the structure of each column of $\mathcal{M}$ mirrors that of the Fibonacci word.

\begin{theorem}\label{fibworddigit}
Let $l_k$ denote the $k$th digit of the Fibonacci word $S_{\infty}$, so $l_1=0$, $l_2=1$, and so on.  Then
\begin{equation*}
g_j(k+1)-g_j(k)=
\begin{cases}
F_{j+1}, &amp; \,\,\,\text{if $l_k=1$};\\
F_{j+2}, &amp; \,\,\,\text{if $l_k=0$}.
\end{cases}
\end{equation*}
\end{theorem}

\begin{proof}
From Theorem \ref{structuretheorem} we have
\begin{align}\label{simplified}
g_j(k+1)-g_j(k)
&amp;=F_j\left\lfloor \frac{k+1}{\alpha}\right\rfloor +kF_{j+1}+1-F_j\left\lfloor \frac{k}{\alpha}\right\rfloor -(k-1)F_{j+1}-1\nonumber\\
&amp;=F_j\left(\lfloor (k+1)(\alpha-1)\rfloor-\lfloor k(\alpha-1)\rfloor\right) +F_{j+1}\nonumber\\
&amp;=F_j\left(\lfloor (k+1)\alpha\rfloor-(k+1)-\lfloor k\alpha\rfloor+k\right) +F_{j+1}\nonumber\\
&amp;=F_j\left(\lfloor (k+1)\alpha\rfloor-\lfloor k\alpha\rfloor-1\right) +F_{j+1}.
\end{align}
If we now use the well-known result
\begin{equation*}
\lfloor (k+1)\alpha\rfloor-\lfloor k\alpha\rfloor=
\begin{cases}
2, &amp; \,\,\,\text{if $k\in\mathcal{B}(\alpha)$};\\
1, &amp; \,\,\,\text{if $k\in\mathcal{B}\left(\alpha^2\right)$}
\end{cases}
\end{equation*}
in conjunction with (\ref{simplified}), it follows that
\[g_j(k+1)-g_j(k)=F_j+F_{j+1}=F_{j+2}\]
if, and only if, $k\in \mathcal{B}(\alpha)$, and
\[g_j(k+1)-g_j(k)=F_{j+1}\]
if, and only if, $k\in \mathcal{B}(\alpha^2)$. Finally, Griffiths \cite{griffiths} shows that $l_k=0$ if, and only if, $k$ is of the form $\lfloor n\alpha \rfloor$ for some $n\in\mathbb{N}$, thereby proving the theorem.
\end{proof}


\section{A result concerning the rows}
Finally, by proving the pair of theorems below, we demonstrate some of the intricate structure possessed by the rows of $\mathcal{M}$ whilst simultaneously highlighting an aspect of the association between the Fibonacci and Lucas numbers.
\begin{theorem}\label{rowtheorem1}
Let
\[f(n)=2\left\lfloor \frac{n}{2}\right\rfloor-1.\]
For each $n\geq 2$, the sequences comprising the
\[\left(F_n+1\right)\text{th row},\left(2F_n+1\right)\text{th row},\left(3F_n+1\right)\text{th row},\ldots,\text{ and } \left(L_{f(n)}F_n+1\right)\text{th row}\]
of $\mathcal{M}$ have $j$th terms given by
\[F_{j+n}+1,2F_{j+n}+1,3F_{j+n}+1,\ldots,\text{ and }L_{f(n)}F_{j+n}+1,\]
respectively.  Furthermore, this property does not extend to the $\left(\left(L_{f(n)}+1\right)F_n+1\right)\text{th row}$.
\end{theorem}

\begin{proof}
From Theorem \ref{structuretheorem} we know that the $j$th entry in the $\left(qF_n+1\right)$th row is
\[F_j\left\lfloor \frac{qF_n+1}{\alpha}\right\rfloor +qF_nF_{j+1}+1.\]
Furthermore, Hansen \cite{hansen} shows that
\[F_{k-1}F_{m-1}+F_kF_m=F_{k+m-1}\]
for any $n,m\in\mathbb{Z}$.  If follows, on setting $k=j+1$ and $m=n$, that, in order to complete the proof of the theorem, it would suffice to show that the first $L_{f(n)}$ terms of the sequence
\[\left(\left\lfloor\frac{qF_n+1}{\alpha}\right\rfloor\right)_{q\geq 1}\]
comprise the finite arithmetic progression $F_{n-1},2F_{n-1},3F_{n-1},\ldots, L_{f(n)}F_{n-1}$, while the next term is either $\left(L_{f(n)}+1\right)F_{n-1}+1$ or $\left(L_{f(n)}+1\right)F_{n-1}-1$.

It is straightforward to prove, using Binet's formula, that
\[\frac{F_n}{\alpha}=F_{n-1}+\frac{(-1)^{n-1}}{\alpha^n}.\]
Now consider the sequence
\[\left(\frac{qF_n+1}{\alpha}\right)_{q\geq 0}.\]
The difference between successive terms is given by
\[\frac{(r+1)F_n+1}{\alpha}-\frac{rF_n+1}{\alpha}=\frac{F_n}{\alpha}=F_{n-1}+\frac{(-1)^{n-1}}{\alpha^n}.\]
Let us suppose first that $n$ is even, in which case this difference is
\[\frac{F_n}{\alpha}=F_{n-1}-\frac{1}{\alpha^n}\]
and we are looking for the largest value of $m\in\mathbb{N}$ such that
\[\frac{1}{\alpha}-\frac{m}{\alpha^n}&gt;0.\]
This rearranges to $m&lt;\alpha^{n-1}$. Since $L_{n-1}=\alpha^{n-1}+\beta^{n-1}$ \cite{hardy}, where
\[\beta=\frac{1-\sqrt{5}}{2}=-\frac{1}{\alpha},\]
we know, remembering that $n-1$ is odd in this case, that $-1&lt;\beta^{n-1}&lt;0$.  It follows from this that $\alpha^{n-1}-1&lt;L_{n-1}&lt;\alpha^{n-1}$, and hence that $m=L_{n-1}$.

On the other hand, if $n$ is odd, then the difference between successive terms is
\[\frac{F_n}{\alpha}=F_{n-1}+\frac{1}{\alpha^n}.\]
In this case we require the largest value of $m\in\mathbb{N}$ subject to
\[\left(1-\frac{1}{\alpha}\right)-\frac{m}{\alpha^n}&gt;0.\]
This rearranges to $m&lt;\alpha^{n-2}$.  Since $n-2$ is odd, we have $-1&lt;\beta^{n-2}&lt;0$. It follows from this that $\alpha^{n-2}-1&lt;L_{n-2}&lt;\alpha^{n-2}$, so that $m=L_{n-2}$.

Finally, on noting that the $n$th term of the sequence $(a(n))_{n\geq 2}$ generated by
\begin{equation*}a(n)=
\begin{cases}
L_{n-1}, &amp; \,\,\,\text{if $n$ is even};\\
L_{n-2}, &amp; \,\,\,\text{of $n$ is odd},
\end{cases}
\end{equation*}
is identical to $L_{f(n)}$, where
\[f(n)=2\left\lfloor \frac{n}{2}\right\rfloor-1,\]
the proof of the theorem has been completed.
\end{proof}

Although the proof of Theorem \ref{rowtheorem2} very much mirrors that of Theorem \ref{rowtheorem1}, we include it here in its entirety for the sake both of completeness and of showing the interplay between the Fibonacci and Lucas numbers.

\begin{theorem}\label{rowtheorem2}
Let
\[g(n)=2\left\lfloor \frac{n-1}{2}\right\rfloor.\]
For each $n\geq 3$, the sequences comprising the
\[\left(L_n+1\right)\text{th row},\left(2L_n+1\right)\text{th row},\left(3L_n+1\right)\text{th row},\ldots,\text{ and } \left(F_{g(n)}L_n+1\right)\text{th row}\]
of $\mathcal{M}$ have $j$th terms given by
\[L_{j+n}+1,2L_{j+n}+1,3L_{j+n}+1,\ldots,\text{ and }F_{g(n)}L_{j+n}+1,\]
respectively.  The above property does not extend to the $\left(\left(F_{g(n)}+1\right)L_n+1\right)\text{th row}$.
\end{theorem}

\begin{proof}
Using Theorem \ref{structuretheorem} once more, we know that the $j$th entry in the $\left(qL_n+1\right)$th row is
\[F_j\left\lfloor \frac{qL_n+1}{\alpha}\right\rfloor +qL_nF_{j+1}+1.\]
This time we just need to show that the first $F_{g(n)}$ terms of the sequence
\[\left(\left\lfloor\frac{qL_n+1}{\alpha}\right\rfloor\right)_{q\geq 1}\]
comprise the finite arithmetic progression $L_{n-1},2L_{n-1},3L_{n-1},\ldots, F_{g(n)}L_{n-1}$, while the next term is either $\left(F_{g(n)}+1\right)L_{n-1}+1$ or $\left(F_{g(n)}+1\right)L_{n-1}-1$.

From $L_{n}=\alpha^{n}+\beta^{n}$ it follows that
\[\frac{L_n}{\alpha}=L_{n-1}+\frac{(-1)^n\sqrt{5}}{\alpha^n}.\]
The difference between successive terms of the sequence
\[\left(\frac{qL_n+1}{\alpha}\right)_{q\geq 0}\]
is therefore given by
\[\frac{(r+1)L_n+1}{\alpha}-\frac{rL_n+1}{\alpha}=\frac{L_n}{\alpha}=L_{n-1}+\frac{(-1)^n\sqrt{5}}{\alpha^n}.\]
If $n$ is even, this difference is
\[\frac{L_n}{\alpha}=L_{n-1}+\frac{\sqrt{5}}{\alpha^n}.\]
In this case we are looking for the largest value of $m\in\mathbb{N}$ such that
\[\left(1-\frac{1}{\alpha}\right)-\frac{m\sqrt{5}}{\alpha^n}&gt;0.\]
This rearranges to
\[m&lt;\frac{\alpha^{n-2}}{\sqrt{5}}.\]
Since $n-2$ is even we have $0&lt;\beta^{n-2}&lt;1$.  Thus, since
\[F_{n-2}=\frac{1}{\sqrt{5}}\left(\alpha^{n-2}-\beta^{n-2}\right),\]
we know that
\[\frac{\alpha^{n-2}}{\sqrt{5}}-1&lt;F_{n-2}&lt;\frac{\alpha^{n-2}}{\sqrt{5}},\]
so that $m=F_{n-2}$.

However, if $n$ is odd, then the difference between successive terms is
\[\frac{L_n}{\alpha}=L_{n-1}-\frac{\sqrt{5}}{\alpha^n}.\]
In this case we require the largest value of $m\in\mathbb{N}$ subject to
\[\frac{1}{\alpha}-\frac{m\sqrt{5}}{\alpha^n}&gt;0.\]
This rearranges to $m&lt;\alpha^{n-1}\sqrt{5}$.  Since $n-1$ is even, we have $0&lt;\beta^{n-1}&lt;1$. It follows from this that \[\frac{\alpha^{n-1}}{\sqrt{5}}-1&lt;F_{n-1}&lt;\frac{\alpha^{n-1}}{\sqrt{5}},\]
so that $m=F_{n-1}$.

This completes the proof of the theorem since the $n$th term of the sequence $(b(n))_{n\geq 2}$ generated by
\begin{equation*}b(n)=
\begin{cases}
F_{n-2}, &amp; \,\,\,\text{if $n$ is even};\\
F_{n-1}, &amp; \,\,\,\text{of $n$ is odd},
\end{cases}
\end{equation*}
is identical to $F_{g(n)}$, where
\[g(n)=2\left\lfloor \frac{n-1}{2}\right\rfloor.\]
\end{proof}


\section{Acknowledgments}
I would like to thank two anonymous referees and the editor.  Their helpful comments have led to significant improvements in all aspects of this article.  In particular, I am grateful to them for alerting me to previous results in this area of which I was unaware.


\begin{thebibliography}{99}
\bibitem{allouche} J. P. Allouche and J. Shallit, \textit{Automatic Sequences: Theory, Applications, Generalizations}, Cambridge University Press, 2003.
\bibitem{beatty1} S. Beatty, Problem 3173, \textit{Amer. Math. Monthly} \textbf{33} (1926), 159.
\bibitem{beatty2}  S. Beatty, A. Ostrowski, J. Hyslop, and A. C. Aitken, Solutions to Problem 3173, \textit{Amer. Math. Monthly} \textbf{34} (1927), 159--160.
\bibitem{cameron} P. J. Cameron, \textit{Combinatorics: Topics, Techniques, Algorithms}, Cambridge University Press, 1994.
\bibitem{fraenkel} A. S. Fraenkel, Iterated floor function, algebraic numbers, discrete chaos, Beatty subsequences, semigroups, \textit{Trans. Amer. Math. Soc.} \textbf{341} (1994), 639--664.
\bibitem{griffiths}  M. Griffiths, The golden string, Zeckendorf representations and the sum of a series, \textit{Am. Math. Monthly} \textbf{118} (2011), 497--507.
\bibitem{hansen} R. T. Hansen, Generating identities for Fibonacci and Lucas triples, \textit{Fibonacci Quart.} \textbf{10} (1972), 571--578.
\bibitem{hardy}  G. H. Hardy and E. M. Wright, \textit{An Introduction to the Theory of Numbers}, Oxford University Press, 2008.
\bibitem{kimberling} C. Kimberling, The first column of an interspersion, \textit{Fibonacci Quart.} \textbf{32} (1994), 301--314.
\bibitem{knuth} D. E. Knuth, \textit{The Art of Computer Programming}, Vol. 1, Addison-Wesley, 1968.
\bibitem{lekkerkerker} C. G. Lekkerkerker, Voorstelling van natuurlijke getallen door een som van
getallen van Fibonacci, \textit{Simon Stevin} \textbf{29} (1952), 190--195.
\bibitem{lothaire1} M. Lothaire, \textit{Algebraic Combinatorics on Words}, Encyclopedia of Mathematics and its Applications \textbf{90}, Cambridge University Press, 2011.
\bibitem{lothaire2} M. Lothaire, \textit{Applied Combinatorics on Words}, Encyclopedia of Mathematics and its Applications \textbf{105}, Cambridge University Press, 2005.
\bibitem{ostrowski} A. Ostrowski, Bemerkungen zur Theorie der Diophantischen Approximationen, \textit{Abh. Math.
Sem. Hamburg} \textbf{1} (1922), 77--98.
\bibitem{silber} R. Silber, A Fibonacci property of Wythoff pairs, \textit{Fibonacci Quart.} \textbf{14} (1976), 380--384.
\bibitem{sloane} N. J. A. Sloane, The On-Line Encyclopedia of Integer Sequences, \url{http://oeis.org/}.
\bibitem{zeck} E. Zeckendorf, Repr\'{e}sentation des nombres naturels par une somme de nombres de Fibonacci ou de nombres de Lucas, \textit{Bull. Soc. R. Sci. Li\`{e}ge} \textbf{41} (1972), 179--182.
\end{thebibliography}

\bigskip
\hrule
\bigskip

\noindent 2010 {\it Mathematics Subject Classification}:
Primary 11B83; Secondary 11B39.

\noindent \emph{Keywords: } Beatty sequence, Fibonacci sequence,
iteration, Lucas sequence, Zeckendorf representation.

\bigskip
\hrule
\bigskip

\noindent (Concerned with sequences
\seqnum{A000201},
\seqnum{A001588},
\seqnum{A001611},
\seqnum{A001612},
\seqnum{A001950},
\seqnum{A003622},
\seqnum{A134859},
\seqnum{A151915}, and
\seqnum{A164485}.)

\bigskip
\hrule
\bigskip

\vspace*{+.1in}
\noindent
Received March 27 2015;
revised versions received October 25 2015; November 28 2015; December 11 2015.
Published in {\it Journal of Integer Sequences}, December 16 2015.

\bigskip
\hrule
\bigskip

\noindent
Return to
\htmladdnormallink{Journal of Integer Sequences home page}{http://www.cs.uwaterloo.ca/journals/JIS/}.
\vskip .1in

\end{document} 
</pre></body></html>