Prefixes of the Fibonacci word that end with a cube

Narad Rampersad

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

2021-11-21

Abstract:We study the prefixes of the Fibonacci word that end with a cube. Using Walnut we obtain an exact description of the positions of the Fibonacci word at which a cube ends.

Combinatorics,Formal Languages and Automata Theory

What problem does this paper attempt to address?

Factorizations of the Fibonacci Infinite Word

Gabriele Fici

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

2015-08-27

Formal Languages and Automata Theory

Abstract:The aim of this note is to survey the factorizations of the Fibonacci infinite word that make use of the Fibonacci words and other related words, and to show that all these factorizations can be easily derived in sequence starting from elementary properties of the Fibonacci numbers.
Fibonacci numbers modulo cubes of primes

Zhi-Wei Sun

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

2013-10-31

Abstract:Let $p$ be an odd prime. It is well known that $F_{p-(\frac p5)}\equiv 0\pmod{p}$, where $\{F_n\}_{n\ge0}$ is the Fibonacci sequence and $(-)$ is the Jacobi symbol. In this paper we show that if $p\not=5$ then we may determine $F_{p-(\frac p5)}$ mod $p^3$ in the following way: $$\sum_{k=0}^{(p-1)/2}\frac{\binom{2k}k}{(-16)^k}\equiv\left(\frac{p}5\right)\left(1+\frac{F_{p-(\frac {p}5)}}2\right)\pmod{p^3}.$$ We also use Lucas quotients to determine $\sum_{k=0}^{(p-1)/2}\binom{2k}k/m^k$ modulo $p^2$ for any integer $m\not\equiv0\pmod{p}$; in particular, we obtain $$\sum_{k=0}^{(p-1)/2}\frac{\binom{2k}k}{16^k}\equiv\left(\frac3{p}\right)\pmod{p^2}.$$ In addition, we pose three conjectures for further research.

Number Theory,Combinatorics
Some Fibonacci-Related Sequences

Benoit Cloitre,Jeffrey Shallit

2024-01-02

Abstract:We discuss an interesting sequence defined recursively; namely, sequence A105774 from the On-Line Encyclopedia of Integer Sequences, and study some of its properties. Our main tools are Fibonacci representation, finite automata, and the Walnut theorem-prover. We also prove two new results about synchronized sequences.

Combinatorics,Discrete Mathematics,Formal Languages and Automata Theory
The Number of Fractional Powers in the Fibonacci Word.

Yu-ke Huang,Zhi-ying Wen

2018-01-01

Abstract:The Fibonacci word is the fixed point beginning with the letter $a$ of morphism $sigma(a)=ab$, $sigma(b)=a$ defined over the alphabet ${a,b}$. In this paper, we get explicit expression of the number of distinct fractional powers in each factor of the Fibonacci word.
The Numbers of Repeated Palindromes in the Fibonacci and Tribonacci Words

Huang Yuke,Wen Zhiying

DOI: https://doi.org/10.1016/j.dam.2017.06.012

IF: 1.254

2017-01-01

Discrete Applied Mathematics

Abstract:The Fibonacci word F is the fixed point beginning with a of morphism σ(a)=ab and σ(b)=a. Since F is uniformly recurrent, each factor ω appears infinitely many times in the sequence which is arranged as ωp (the pth occurrence of ω, p≥1). Here we distinguish ωp≠ωq if p≠q. In this paper, we give an algorithm for counting the number of repeated palindromes in F[1,n] (the prefix of F of length n). That is the number of the pairs (ω,p), where ω is a palindrome and ωp≺F[1,n]. We also get explicit expressions for some special n such as n=fm (the mth Fibonacci number). Similar results are also given for the Tribonacci word, the fixed point beginning with a of morphism τ(a)=ab, τ(b)=ac and τ(c)=a.
Correlations of minimal forbidden factors of the Fibonacci word

Narad Rampersad,Max Wiebe

2023-09-14

Abstract:If $u$ and $v$ are two words, the correlation of $u$ over $v$ is a binary word that encodes all possible overlaps between $u$ and $v$. This concept was introduced by Guibas and Odlyzko as a key element of their method for enumerating the number of words of length $n$ over a given alphabet that avoid a given set of forbidden factors. In this paper we characterize the pairwise correlations between the minimal forbidden factors of the infinite Fibonacci word.

Combinatorics
Substitution drawing rules on the Fibonacci word

Martin Hansen

2023-04-02

Abstract:This paper is a sharp and focussed exploration of the Fibonacci substitution and the mathematical entity it gives rise to, the Fibonacci word. Our investigations are both of an algebraic and a geometric nature. Indeed, it is the combination of the two that gives this paper its overall character. The work is in four parts. Chapter 1 is a brisk tour of necessary basics; definitions, key theorems, and a number of techniques subsequently used extensively. A simple one dimensional drawing rule is investigated in chapter 2 with the aid of what is thought to be an original geometric figure that we will call a "deviation from zero diagram". A highlight of the chapter is its concluding elementary proof of a non-trivial result. Chapter 3 presents a two dimensional drawing rule. Although selected because it is amongst the simplest form possible, this time the object derived from the rule is a fractal. That this is so is proven and its fractal (Hausdorff) dimension calculated. This fractal is a (possibly previously unexplored) variant of that known in the literature as "The Fibonacci Fractal". By way of an overall conclusion, the last chapter, the fourth, suggests a few aspects of those preceding it worthy of further analysis.

Combinatorics
On isomorphism classes of generalized Fibonacci cubes

Jernej Azarija,Sandi Klavžar,Jaehun Lee,Jay Pantone,Yoomi Rho

DOI: https://doi.org/10.1016/j.ejc.2015.05.011

IF: 0.89

2016-01-01

European Journal of Combinatorics

Abstract:The generalized Fibonacci cube Qd(f) is the subgraph of the d-cube Qd induced on the set of all strings of length d that do not contain f as a substring. It is proved that if Qd(f)≅Qd(f′) then |f|=|f′|. The key tool to prove this result is a result of Guibas and Odlyzko about the autocorrelation polynomial associated to a binary string. An example of a family of such strings f, f′, where |f|=|f′|≥23(d+1) is found. Strings f and f′ with |f|=|f′|=d−1 for which Qd(f)≅Qd(f′) are characterized.

mathematics
Fibonacci Sequences of 1D, 2D Words: Enumerating and Locating the Factors of the Fixed Points

Sivasankar Mohankumar,Rama Raghavan

2023-07-21

Abstract: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.

Combinatorics
The analogue of overlap-freeness for the Fibonacci morphism

James D. Currie,Narad Rampersad

2023-11-22

Abstract:A $4^-$-power is a non-empty word of the form $XXXX^-$, where $X^-$ is obtained from $X$ by erasing the last letter. A binary word is called {\em faux-bonacci} if it contains no $4^-$-powers, and no factor 11. We show that faux-bonacci words bear the same relationship to the Fibonacci morphism that overlap-free words bear to the Thue-Morse morphism. We prove the analogue of Fife's Theorem for faux-bonacci words, and characterize the lexicographically least and greatest infinite faux-bonacci words.

Combinatorics,Formal Languages and Automata Theory
Subword complexity of the Fibonacci-Thue-Morse sequence: the proof of Dekking's conjecture

Jeffrey Shallit

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

2020-11-08

Abstract:Recently Dekking conjectured the form of the subword complexity function for the Fibonacci-Thue-Morse sequence. In this note we prove his conjecture by purely computational means, using the free software Walnut.

Discrete Mathematics,Formal Languages and Automata Theory,Combinatorics
A note on generalized Fibonacci sequences

Omer Yayenie

DOI: https://doi.org/10.1016/j.amc.2010.12.038

IF: 4.397

2011-02-01

Applied Mathematics and Computation

Abstract:Consider the generalized Fibonacci sequence {qn}n=0∞ having initial conditions q0=0,q1=1 and recurrence relation qn=aqn-1+qn-2 (when n is even) or qn=bqn-1+qn-2 (when n is odd), where a and b are nonzero real numbers. These sequences arise in a natural way in the study of continued fractions of quadratic irrationals and combinatorics on words or dynamical system theory. Some well-known sequences are special cases of this generalization. The Fibonacci sequence is a special case of {qn} with a=b=1. Pell’s sequence is {qn} with a=b=2 and the k-Fibonacci sequence is {qn} with a=b=k. In this article, we study numerous new properties of these sequences and investigate a sequence closely related to these sequences which can be regarded as a generalization of Lucas sequence of the first kind.

mathematics, applied
Some Tribonacci Conjectures

Jeffrey Shallit

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

2022-10-08

Abstract:In a recent talk of Robbert Fokkink, some conjectures related to the infinite Tribonacci word were stated by the speaker and the audience. In this note we show how to prove (or disprove) the claims easily in a "purely mechanical" fashion, using the Walnut theorem-prover.

Combinatorics,Discrete Mathematics,Formal Languages and Automata Theory
Description of Euler bricks using Fibonacci's identity

Boris Safin

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

2013-05-15

Abstract:We show how the Fibonacci's identity is used to obtain Euler bricks. Also,we put forward the relation between Fibonacci's identity and Euler's formula, which provides the description of Euler's bricks with noninteger spatial diagonal. Finally,we establish a relation between the Euler bricks with integer and noninteger spatial diagonals.

Number Theory
Horadam cubes

Luka Podrug

2024-10-04

Abstract:We define and investigate a new three-parameter family of graphs that further generalizes the Fibonacci and metallic cubes. Namely, the number of vertices in this family of graphs satisfies Horadam recurrence, a linear recurrence of second order with constant coefficients. It is shown that the new family preserves many appealing and useful properties of the Fibonacci and metallic cubes. In particular, we present recursive decomposition and decomposition into grids. Furthermore, we explore metric and enumerative properties such as the number of edges, distribution of degrees, and cube polynomials. We also investigate the existence of Hamiltonian paths and cycles.

Combinatorics
Note on a Fibonacci Parity Sequence

Jeffrey Shallit

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

2022-03-20

Abstract:Let ftm = 0111010010001... be the analogue of the Thue-Morse sequence in Fibonacci representation. In this note we show how, using the Walnut theorem-prover, to obtain a measure of its complexity, previously studied by Jamet, Popoli, and Stoll. We strengthen one of their theorems and disprove one of their conjectures.

Formal Languages and Automata Theory,Discrete Mathematics,Combinatorics
Generating Trees and Fibonacci Polyominoes

Juan F. Pulido,José L. Ramírez,Andrés R. Vindas-Meléndez

2024-11-27

Abstract:We study a new class of polyominoes, called $p$-Fibonacci polyominoes, defined using $p$-Fibonacci words. We enumerate these polyominoes by applying generating functions to capture geometric parameters such as area, semi-perimeter, and the number of inner points. Additionally, we establish bijections between Fibonacci polyominoes, binary Fibonacci words, and integer compositions with certain restrictions.

Combinatorics
Fibonacci Cycles and Fixed Points

Walter A. Kehowski

2023-10-01

Abstract:Let $S_b(n)$ denote the sum of the squares of the digits of the positive integer $n$ in base $b\geq2$. It is well-known that the sequence of iterates of $S_b(n)$ terminates in a fixed point or enters a cycle. Let $N=2n-1$, $n\geq2$. It is shown that if $b=F_{N+1}$, then a cycle of $S_b$ exists with initial term $F_{N}=F_{0}.F_{N}$, and terminal element $F_{n}.F_{n-1}$ if $n$ is even, or terminal element $F_{n-1}.F_{n}$ if $n$ is odd. Similarly, Let $N=2n+1$, $n\geq1$. If $b=F_{N-1}$, then a cycle of $S_b$ exists with initial term $F_{N}=F_{2}.F_{N-2}$, and terminal element $F_{n}.F_{n+1}$ if $n$ is even, or terminal element $F_{n+1}.F_{n}$ if $n$ is odd. Furthermore, the cycles also admit extension as an arithmetic sequence of cycles of $S_b$ with base $b=F_{N+1}+F_{N+2}k$ and $b=F_{N-1}+F_{N-2}k$, respectively. Some fixed points of $S_b$ with $b$ a Fibonacci base are shown to exist. Lastly, both cycles and fixed points admit further generalization to Pell polynomials.

General Mathematics
On the inverse of a Fibonacci number modulo a Fibonacci number being a Fibonacci number

Carlo Sanna

2023-06-14

Abstract:Let $(F_n)_{n \geq 1}$ be the sequence of Fibonacci numbers. For all integers $a$ and $b \geq 1$ with $\gcd(a, b) = 1$, let $[a^{-1} \!\bmod b]$ be the multiplicative inverse of $a$ modulo $b$, which we pick in the usual set of representatives $\{0, 1, \dots, b-1\}$. Put also $[a^{-1} \!\bmod b] := \infty$ when $\gcd(a, b) > 1$. We determine all positive integers $m$ and $n$ such that $[F_m^{-1} \bmod F_n]$ is a Fibonacci number. This extends a previous result of Prempreesuk, Noppakaew, and Pongsriiam, who considered the special case $m \in \{3, n - 3, n - 2, n - 1\}$ and $n \geq 7$. Let $(L_n)_{n \geq 1}$ be the sequence of Lucas numbers. We also determine all positive integers $m$ and $n$ such that $[L_m^{-1} \bmod L_n]$ is a Lucas number.

Number Theory
Fibonacci sums modulo 5

Kunle Adegoke,Robert Frontczak,Taras Goy

2023-11-12

Abstract:We develop closed form expressions for various finite binomial Fibonacci and Lucas sums depending on the modulo 5 nature of the upper summation limit. Our expressions are inferred from some trigonometric identities.

Combinatorics

Prefixes of the Fibonacci word that end with a cube

Factorizations of the Fibonacci Infinite Word

Fibonacci numbers modulo cubes of primes

Some Fibonacci-Related Sequences

The Number of Fractional Powers in the Fibonacci Word.

The Numbers of Repeated Palindromes in the Fibonacci and Tribonacci Words

Correlations of minimal forbidden factors of the Fibonacci word

Substitution drawing rules on the Fibonacci word

On isomorphism classes of generalized Fibonacci cubes

Fibonacci Sequences of 1D, 2D Words: Enumerating and Locating the Factors of the Fixed Points

The analogue of overlap-freeness for the Fibonacci morphism

Subword complexity of the Fibonacci-Thue-Morse sequence: the proof of Dekking's conjecture

A note on generalized Fibonacci sequences

Some Tribonacci Conjectures

Description of Euler bricks using Fibonacci's identity

Horadam cubes

Note on a Fibonacci Parity Sequence

Generating Trees and Fibonacci Polyominoes

Fibonacci Cycles and Fixed Points

On the inverse of a Fibonacci number modulo a Fibonacci number being a Fibonacci number

Fibonacci sums modulo 5