Periodic Words Connected With The Tribonacci Words Galyna BARABASH, Yaroslav KHOLYAVKA, Iryna TYTAR
Periodic Words Connected With The Tribonacci Words Galyna BARABASH, Yaroslav KHOLYAVKA, Iryna TYTAR
Periodic Words Connected With The Tribonacci Words Galyna BARABASH, Yaroslav KHOLYAVKA, Iryna TYTAR
58
Visnyk of the Lviv Univ. Series Mech. Math. 2016. Issue 81. P. 58
ÓÄÊ 512.624.5
1. Introduction.
The Tribonacci numbers Tn are dened by the recurrence relation Tn = Tn−1 +
Tn−2 + Tn−3 , for all integer n > 2, and with initial values T0 = 0, T1 = 0 and T2 = 1 (see,
e.g., [1, 2, 3]). Many properties of the Tribonacci numbers require the full ring structure
of the integers. However, generalizations to the ring Zm have been considered (see, e.g.,
[4]). The sequence Tn (mod m) is periodic and repeats by returning to its starting values
because there are only a nite number m3 of triples of terms possible, and the recurrence
of a triple results in recurrence of all the following terms.
In analogy to the denition of Tribonacci numbers, one denes the Tribonacci nite
words as the contatenation of the three previous terms tn = tn−1 tn−2 tn−3 , n > 2, with
initial values t0 = 0, t1 = 01 and t2 = 0102 and denes the innite Tribonacci word t,
t = lim tn (see [5]). It is the archetype of an Arnoux-Rauzy word (see, e.g., [6, 7]).
Using Tribonacci words, in the present article we shall introduce some new kinds of
the innite words, mainly TLP words, and investigate some of their properties.
For any notations not explicitly dened in this article we refer to [1, 6].
2. Tribonacci sequence modulo m.
The letter p is reserved to designate a prime and m may be arbitrary integer, m > 1.
Let Tn∗ (m), 0 6 Tn∗ (m) < m, denote the n-th member of the sequence of integers
Tn ≡ Tn−1 + Tn−2 + Tn−3 (mod m), for all integer n > 2, and with initial values T0 = 0,
T1 = 0 and T2 = 1 (T0∗ (m) = 0, T1∗ (m) = 0 and T2∗ (m) = 1). We reduce Tn modulo m
taking the least nonnegative residues, and let k(m) denote the length of the period of
⃝
c Barabash G., Kholyavka Ya., Tytar I., 2016
Galyna BARABASH, Yaroslav KHOLYAVKA, Iryna TYTAR
6 ISSN 2078-3744. Âiñíèê Ëüâiâ. óí-òó. Ñåðiÿ ìåõ.-ìàò. 2016. Âèïóñê 81
Example 1.
t0 = 0, t1 = 01, t2 = 0102, t3 = 0102010, t4 = 0102010010201, . . . ,
b0 = 0, b1 = 1, b2 = 102, b3 = 102010, b4 = 102010010201, . . . ,
d0 = 0, d1 = 1, d2 = 11, d3 = 300, d4 = 218800, d5 = 38759787911, . . . .
Theorem 4. For any nite Tribonacci word tn we have
d0 = 0, d1 = 1, d2 = 11, dn = dn−1 3Tn+1 +Tn + dn−2 3Tn + dn−3 (n > 2). (2)
Proof. One can easily verify (4) for the rst few n : d3 = b3 = 102010 = 102000 +10 + 0 =
b2 33 +b1 31 +b0 = d2 33 +d1 31 +d0 , d4 = b4 = 102010010201 = 102010000000+10200+1 =
d3 36 + d2 32 + d1 . Equality (4) follows from Theorem 9 (statement 3)) and the equality
dn = bn = bn−1 0 | .{z
. . 0} +bn−2 0 . . 0} +bn−3 = dn−1 3Tn+1 +Tn + dn−2 3Tn + dn−3 .
| .{z
Tn+1 +Tn Tn
Let w0 (m) = 0 and for arbitrary integer n, n > 1, dn (m) = dn (mod m), 0 6
dn (m) < m, bn (m) is dn (m) in the ternary numeration system, wn (m) = wn−1 (m)bn (m).
Denote by w(m) the limit w(m) = limn→∞ wn (m).
Denition 2. We say that
1) wn (m) is a nite TLP word type 1 modulo m;
2) w(m) is an innite TLP word type 1 modulo m.
Theorem 5. The innite TLP word of type 1 w(p) is a periodic word.
Proof. The statement follows from (4) because there are only a nite number of dn (p)
and 3Tn (mod p) possible, and the recurrence of the rst few terms sequence dn (p) and
3Tn (mod p) gives recurrence of all subsequent terms.
Using Tribonacci words (3) we dene a periodic TLP word w∗ (m) (innite TLP
word type 2 by modulo m). As usual, we denote by ϵ the empty word. Let vn∗ (m) be the
last Tn+3
∗
(m) symbols of the word tn if Tn+3
∗
(m) ̸= 0, otherwise vn∗ (m) = ϵ.
Theorem 6. The word length |vn∗ (m)| coincides with Tn+3
∗
(m).
Proof. This is clear by construction of vn∗ (m) .
Since Tn∗ (m) is a periodic sequence with period k(m), the sequence |vn∗ (m)| is
periodic with the same period. Let w0∗ (m) = 0 and for arbitrary integer n, n > 1,
wn∗ (m) = wn−1
∗
(m)vn∗ (m). Denote by w∗ (m) the limit w∗ (m) = limn→∞ wn∗ (m).
Denition 3. We say that
1) wn∗ (m) is a nite TLP word of type 2 modulo m;
2) w∗ (m) is an innite TLP word of type 2 modulo m.
Theorem 7. The innite TLP word of type 2 w∗ (m) is a periodic word.
The Theorem 14 is a direct corollary of Theorem 9 (statement 2)) and Theorem 13.
References
1. Koshy T. Fibonacci and Lucas Numbers with Applications // Wiley-Interscience, New York,
2001.
Galyna BARABASH, Yaroslav KHOLYAVKA, Iryna TYTAR
8 ISSN 2078-3744. Âiñíèê Ëüâiâ. óí-òó. Ñåðiÿ ìåõ.-ìàò. 2016. Âèïóñê 81
2. Basu M. Tribonacci matrices and a new coding theory/M. Basu, M. Das// Discrete
Math. Algorithms Appl. Vol. 6 (1), 1450008(17 pages)(1450008-1 1450008-17),DOI:
10.1142/S1793830914500086.
3. Gerdes W. Generalized tribonacci numbers and their convergent sequences // Fibonacci
Quart.Vol.16. 1978. P.269275.
4. Waddill M. E. Some properties of a generalized Fibonacci sequence modulo m // The Fi-
bonacci Quart. Vol. 16. 1978, . 4. P.344353.
5. Rosema S. W. The Tribonacci substitution/S.W. Rosema, R. Tijdeman// Elect. J. of
Combin. Number Theory. Vol. 5(3). 2005, . A13 (electronic), http://www.integers-
ejcnt.org/vol5-3.html.
6. Glen A. Episturmian words/A. Glen, J. Justin// RAIRO-Theor. Inform. Appl. Vol. 43.
2009. P.403442.
7. Berstel J. Sturmian and episturmian words (a survey of some recent results)// Lecture Notes
in Computer Science. Vol. 4728. 2007.P.2347.
8. Vince A. Period of a linear recurrence// Acta Arithmetica. Vol. 39(4). 1981. P.303311.
9. Sloane N. J. A. The online Encyclopedia of Integer sequences// Published electronically at
http://oeis.org/A080843.
10. Mousavi H. Mechanical Proofs of Properties of the Tribonacci Word/H. Mousavi,
J. Shallit// arxiv:1407.5841.
11. Duchene E. A morphic approach to combinatorial games: the Tribonacci case /E. Duchene,
M. Rigo// RAIRO-Theor. Inf. Appl. Vol. 42 (2). 2008). P.375393.
12. Tan B. Some properties of the Tribonacci sequence/B. Tan, Z.-Y. Wen// European J.
Combin. Vol. 28. 2007. P.17031719.
13. Damanik D. Arnoux-Rauzy Subshifts/D. Damanik, L.Q. Zamboni // Linear Recurrences,
Powers and Palindromes, arxiv: math. CO/0208137v1.
14. Duval J.P. Recurrence and periodicity in innite words from local periods/J.P. Duval,
F. Mignosi, A. Restivo// Theoret. Comput. Sci. Vol. 262(1-2). 2001. P.269284.
doi:10.1016/S0304-3975(00)00204-8