arXiv++ Combinatorics

We use generating functions to enumerate Arndt compositions, that is, integer compositions where there is a descent between every second pair of parts, starting with the first and second part, and so on. In 2013, Jörg Arndt noted that this family of compositions is counted by the Fibonacci sequence. We provide an approach that is purely based on generating functions to prove this observation. We also enumerate these compositions with respect to the number of parts and the last part. From this approach, we can generalize some recent results given by Hopkins and Tangboonduangjit in 2023. Finally, we study some possible generalizations of this counting problem.

Wythoff's game is a modification of the well-known game of ``nim." Wythoff's game, which does not resemble the Fibonacci sequence, has direct relation to the Golden ratio. We will explore the sequence behind this surprising relationship, and consider the implications of our elementary methods.

Conway and Ryba considered a table of bi-infinite Fibonacci sequences and discovered new interesting patterns. We extend their considerations to tables that are defined by the recurrence $X_{n+1}=dX_n+X_{n-1}$ for natural numbers $d$. In our search for new patterns we run into a Red Wall and exotic numeration systems.

Inspired by the surprising relationship (due to A. Bird) between Schreier sets and the Fibonacci sequence, we introduce Schreier multisets and connect these multisets with the $s$-step Fibonacci sequences, defined, for each $s\geqslant 2$, as: $F^{(s)}_{2-s} = \cdots = F^{(s)}_0 = 0$, $F^{(s)}_1 = 1$, and $F^{(s)}_{n} = F^{(s)}_{n-1} + \cdots + F^{(s)}_{n-s}, \mbox{ for } n\geqslant 2$. Next, we use Schreier-type conditions on multisets to retrieve a family of sequences which satisfy a recurrence of the form $a(n) = a(n-1) + a(n-u)$, with $a(n) = 1$ for $n = 1,\ldots, u$. Finally, we study nonlinear Schreier conditions and show that these conditions are related to integer decompositions, each part of which is greater than the number of parts raised to some power.

In this paper, we study the linear space of all two-sided generalized Fibonacci sequences $\{F_n\}_{n \in \mathbb{Z}}$ that satisfy the recurrence equation of order $k$: $F_n = F_{n-1} + F_{n-2} + \dots + F_{n-k}$. We give two types of explicit formula, one is based on generalized binomial coefficients and the other based on generalized multinomial coefficients.

We study two families of lattices whose number of elements are given by the numbers in even (respectively odd) positions in the Fibonacci sequence. The even Fibonacci lattice arises as the lattice of simple elements of a Garside monoid partially ordered by left-divisibility, and the odd Fibonacci lattice is an order ideal in the even one. We give a combinatorial proof of the lattice property, relying on a description of words for the Garside element in terms of Schröder trees, and on a recursive description of the even Fibonacci lattice. This yields an explicit formula to calculate meets and joins in the lattice. As a byproduct we also obtain that the number of words for the Garside element is given by a little Schröder number.

In this paper, we introduce a variation of the factor complexity, called the $N$-factor complexity, which allows us to characterize the complexity of sequences on an infinite alphabet. We evaluate precisely the $N$-factor complexity for the infinite Fibonacci sequence $\mathbf{f}$ given by Zhang, Wen and Wu [Electron. J. Comb., 24 (2017)]. The $N$-factor complexity of a class of digit sequences, whose $n$th term is defined to be the number of occurrences of a given block in the base-$k$ representation of $n$, is also discussed.

In 2016, Edgar and, independently of him, Bhatnagar sta\-ted a nice polynomial identity that connects Fibonacci and Lucas numbers. Shortly after their publications, this identity has been generalized in two different ways: Dafnis, Phillipou and Livieris provided a generalization to Fibonacci sequences of order $k$ and Abd-Elhameed and Zeyada extended Edgar--Bhatnagar identity to generalized Fibonacci and Lucas sequences. In this paper, we present more polynomial identities for generalized Lucas sequences. We discuss interesting aspects and special cases which have not been stated before but deserve recognition. Finally, we prove the polynomial analogues of these identities for Chebyshev polynomials.

We colour the Fibonacci sequence by suitable constant gap sequences to provide an upper bound on the asymptotic repetitive threshold of $d$-ary balanced sequences. The bound is attained for $d=2, 4$ and $8$ and we conjecture that it happens for infinitely many even $d$'s. Our bound reveals an essential difference in behavior of the repetitive threshold and the asymptotic repetitive threshold of balanced sequences. The repetitive threshold of $d$-ary balanced sequences is known to be at least $1+\frac{1}{d-2}$ for each $d \geq 3$. In contrast, our bound implies that the asymptotic repetitive threshold of $d$-ary balanced sequences is at most $1+\frac{τ^3}{2^{d-3}}$ for each $d\geq 2$, where $τ$ is the golden mean.

Let $V(k)$ denote the waiting time, the number of trials needed to get a consecutive $k$ ones. We propose recurrence algorithms for the probability distribution function (pdf) and the probability generating function (pgf) of $V(k)$ in sequences of independent and Markov dependent Bernoulli trials using generalized Fibonacci sequences of order $k$. Maximum likelihood estimation (MLE) methods for the probability distributions are presented in both cases with simulation examples.

We study the extended Frobenius problem for sequences of the form $\{f_a+f_n\}_{n\in\mathbb{N}}$, where $\{f_n\}_{n\in\mathbb{N}}$ is the Fibonacci sequence and $f_a$ is a Fibonacci number. As a consequence, we show that the family of numerical semigroups associated to these sequences satisfies the Wilf's conjecture.

In this paper, we bring the terminology of the Kunz coordinates of numerical semigroups to gapsets and we generalize this concept to $m$-extensions. It allows us to identify gapsets and, in general, $m$-extensions with tilings of boards. As a consequence, we prove a version of Bras-Amorós conjecture for $m$-extensions. Besides, we obtain a lower bound for the number of gapsets with fixed genus and depth at most 3 and a family of upper bounds for the number of gapsets with fixed genus. Moreover, we present explicit formulas for the number of gapsets with fixed genus and depth, when the multiplicity is 3 or 4, and, in some cases, for the number of gapsets with fixed genus and depth.

Given an infinite word, enumerating its factors is an important exercise for understanding the structure of the word. The process of finding all the factors is quite tricky for two-dimensional words. In this paper, two possible ways of enumerating the factors of the fixed point ($f_{\infty,\infty}$) of the sequence of Fibonacci arrays and a method for locating these factors in $f_{\infty,\infty}$ are explored. In addition, the factor complexity and the locations of the factors of the fixed point of Fibonacci sequence of arrays are also analysed.

We modify the rules of the classical Tower of Hanoi puzzle in a quite natural way to get the Fibonacci sequence involved in the optimal algorithm of resolution, and show some nice properties of such a variant. In particular, we deduce from this Tower of Hanoi-Fibonacci a Gray-like code on the set of binary words without the factor 11, which has some properties intersting for itself and from which an iterative algorithm for the Tower of Hanoi-Fibonacci is obtained. Such an algorithm involves the Fibonacci substitution. Eventually, we briefly extend the study to some natural generalizations.

A set $A$ of positive integers is said to be Schreier if either $A = \emptyset$ or $\min A\ge |A|$. We give a bijective map to prove the recurrence of the sequence $(|\mathcal{K}_{n, p, q}|)_{n=1}^\infty$ (for fixed $p\ge 1$ and $q\ge 2$), where $$\mathcal{K}_{n, p, q} \ = \ \{A\subset \{1, \ldots, n\}\,:\, \mbox{either }A = \emptyset \mbox{ or } (\max A-\max_2 A = p\mbox{ and }\min A\ge |A|\ge q)\}$$ and $\max_2 A$ is the second largest integer in $A$, given that $|A|\ge 2$. When $p = 1$ and $q=2$, we have that $(|\mathcal{K}_{n, 1, 2}|)_{n=1}^\infty$ is the Fibonacci sequence. As a corollary, we obtain a new combinatorial interpretation for the sequence $(F_n + n)_{n=1}^\infty$.

In 2021, Guyer and Mbirika gave two equivalent formulas that computed the greatest common divisor (GCD) of all sums of $k$ consecutive terms in the generalized Fibonacci sequence $\left(G_n\right)_{n \geq 0}$ given by the recurrence $G_n = G_{n-1} + G_{n-2}$ for all $n \geq 2$ with integral initial conditions $G_0$ and $G_1$. In this current paper, we extend their results to the GCD of all sums of $k$ consecutive squares of these numbers. Denoting these GCD values by the symbol $\mathcal{G}_{G_0, G_1}^2\!(k)$, we prove $\mathcal{G}_{G_0, G_1}^2\!(k) = \gcd\left(G_k G_{k+1} - G_0 G_1,\; G_{k+1}^2 - G_1^2,\; G_{k+2}^2 - G_2^2\right)$. Moreover, we provide very tantalizing closed forms in the specific settings of the Fibonacci, Lucas, and generalized Fibonacci numbers. We close with a number of open questions for further research.

Each positive increasing integer sequence $\{a_n\}_{n\geq 0}$ can serve as a numeration system to represent each non-negative integer by means of suitable coefficient strings. We analyse the case of $k$-generalized Fibonacci sequences leading to the binary strings avoiding $1^k$. We prove a bijection between the set %$F_n^{(k)}$ of strings of length $n$ and the set of permutations of $S_{n+1}(321,312,23\ldots(k+1)1)$. Finally, basing on a known Gray code for those strings, we define a Gray code for $S_{n+1}(321,312,23\ldots(k+1)1)$, where two consecutive permutations differ by an adjacent transposition.

In this article, we have proposed a generalized Lucas matrix (recursive matrix of higher order) having relation with generalized Fibonacci sequences and established many special properties in addition to that usual matrix algebra. Further, we have proposed a modified public key cryptography using these matrices as keys in Affine cipher and key agreement for encryption-decryption with the combination of terms of generalized Lucas sequences under residue operations. In this scheme, instead of exchanging the whole key matrix, only a pair of numbers(parameters) need to be exchanged, which reduces the time complexity as well as space complexity of the key transmission and has a large key-space.

We explore a certain family $\{A_n\}_{n=1}^{\infty}$ of $n \times n$ tridiagonal real symmetric matrices. After deriving a three-term recurrence relation for the characteristic polynomials of this family, we find a closed form solution. The coefficients of these characteristic polynomials turn out to involve the diagonal entries of Pascal's triangle in a tantalizingly predictive manner. Lastly, we explore a relation between the eigenvalues of various members of the family. More specifically, we give a sufficient condition on the values $m,n \in \mathbb{N}$ for when $\texttt{spec}(A_m)$ is contained in $\texttt{spec}(A_n)$. We end the paper with a number of open questions, one of which intertwines our characteristic polynomials with the Fibonacci sequence in an intriguing manner involving ellipses.

By studying Cameron's operator in terms of determinants, two kinds of "integer" sequences of incomplete numbers were introduced. One was the sequence of restricted numbers, including $s$-step Fibonacci sequences. Another was the sequence of associated numbers, including Lamé sequences of higher order. By the classical Trudi's formula and the inverse relation, more expressions were able to be obtained. These relations and identities can be extended to those of sequence of negative integers or rational numbers. As applications, we consider hypergeometric Bernoulli, Cauchy and Euler numbers with some modifications.