ISSN(Print): 2333-1100
ISSN(Online): 2333-1232

Article Versions

Export Article

Cite this article

- Normal Style
- MLA Style
- APA Style
- Chicago Style

Research Article

Open Access Peer-reviewed

Abdallah Hammam^{ }

Received February 01, 2019; Revised March 09, 2019; Accepted March 16, 2019

The aim of our investigation is an attempt to answer two still unsolved questions about Kolakoski sequence (K_{n})_{n≥1}: Is there an explicit expression of the *n*^{th} term K_{n}, and the second one, known as the conjecture of Keane, claims that the asymptotic density of twos, is In the first section of this paper, we present a new formula for K_{n} according to K_{1}, K_{2}, …K_{p} where In the second part, we define three sequences satisfying the condition U_{i}V_{i}=W_{i}, and using the fact that (V_{i}) increases at least exponentially while (W_{i}) does not, we conclude that (U_{i}) should converge to zero. Our argument is inductive but so strong to insure the validity of the conjecture in concern with density of twos.

**2000 *** Mathematics Subject Classification*: Primary 11B83; Secondary 11B85, 11Y55, 40A05.

The infinite Kolakoski word as defined in Sloane's OEIS ^{ 1}, is the unique fixed point, starting by $ 1, $ of the Run Length Encoding operator :

Many questions about this self-generating sequence are still with no answer ^{ 2}.

The two most known are:

1. Is there an explicit expression of with respect to ?

2. Is the asymptotic density of twos,

Bordellès ^{ 3} gave expressions of and

To complete this, we add a new expression of

Steinsky ^{ 4} found a complicated formula which allows to compute from the former terms .

We improve this by using only with

Concerning the asymptotic density question, Steinsky ^{ 4} presented a curve which disapprove the conjecture, but, in our work, we use the fact that the exponential grows very fast to highly support it.

The successive partial sums

For and , we define the following very useful partial sums

and

For example,

The density of twos in and the discrepancy

For , by definition, and are respectively the total number of twos and the difference between the twos and the ones, in the word

For instance,

We will also need the classical identities

*Remark *1*. *It is well known that

**Lemma 2.**** ***For each integer ** there exists an integer ** such that*

**Proof 3.**** ***Let ** be a positive integer.** **It is clear that*

*So, for any integer **, There are two cases*:

*Or*

*On the other hand,* *and*

**Lemma 4.** *For each integer **,*

**Proof 5. ***We **just need results in *Table 1.

Using lemmas above, one can deduce an expression of in both cases.

**Corollary 6.** *For **n *≥ 3*, let*

*and*

*Then*

In the next section, we give a improved expression of according to instead of

**Lemma 7.**** ***For each integer **, there exists an integer ** such that*

**Proof 8. ***It is a simple consequence of the fact that*

**Corollary 9**.* **For **n ≥ *3*, let*

*and*

*then*

*with*

**Proof 10.**

*It is easy to check that*

*If **, then ** and *

*If ** then ** and *

*If ** then *

*We can replace the three cases be the next unique formula** **and using the fact that ** **we get the desired expression for **.*

This formula has been validated by the code below, written in Maple language.

:

*end do:*

**Proposition 11**. For an even natural number satisfying

**Proof 12.**** ***By definition of the density *,

*and*

**Corollary 13.**** **From the proposition 11 just above, we see that the left hand sides contain a sequence which grows exponentially from *n* to while, in the right hand side, there is probable change of sign indicating no exponential increasing as illustrated in Figure 1.

We presented an optimal expression of the form with , improving so some former results. About the asymptotic density of twos, We have a strong reason to support Keane's conjecture: Our argument is based on Proposition $12$. It uses the fact that if the product of two sequences have a changing sign and if increases exponentially to , then should converge to zero. This reasoning has been applied to other Kolakoski sequences: and and we obtained the results predicted by Hammam ^{ 5} as illustrated in Figure 2. The blue curve shows clearly that the density of twos, in goes to

The author would like to express his gratitude to the referees for their careful reading of the manuscript and for giving me some of their precious time.

[1] | N. J. A. Sloane, The On-line Encyclopedia of Integer Sequences, published electronicallyat http ://oeis.org. | ||

In article | |||

[2] | A. Hammam, Some new Formulas for the Kolakoski Sequence A000002. Turkish Journal of Analysis and Number Theory. 2016; 4(3): 54-59. | ||

In article | |||

[3] | O. Bordellès and B. Cloitre, Bounds for the Kolakoski Sequence, Journal of Integer Sequences, Vol. 14 (2011). | ||

In article | |||

[4] | B. Steinsky, A recursive formula for the Kolakoski sequence, J. Integer Seq. 9 (2006), Article 06.3.7. | ||

In article | |||

[5] | A. Hammam, Some Formulas for the Generalized Kolakoski Sequence Kol(a, b). Turkish Journal of Analysis and Number Theory. 2017; 5(4):139-142. | ||

In article | View Article | ||

Published with license by Science and Education Publishing, Copyright © 2019 Abdallah Hammam

This work is licensed under a Creative Commons Attribution 4.0 International License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

Abdallah Hammam. A Cogent Argument that Supports the Conjecture of Keane in Kolakoski Sequence A000002. *Turkish Journal of Analysis and Number Theory*. Vol. 7, No. 2, 2019, pp 37-40. http://pubs.sciepub.com/tjant/7/2/2

Hammam, Abdallah. "A Cogent Argument that Supports the Conjecture of Keane in Kolakoski Sequence A000002." *Turkish Journal of Analysis and Number Theory* 7.2 (2019): 37-40.

Hammam, A. (2019). A Cogent Argument that Supports the Conjecture of Keane in Kolakoski Sequence A000002. *Turkish Journal of Analysis and Number Theory*, *7*(2), 37-40.

Hammam, Abdallah. "A Cogent Argument that Supports the Conjecture of Keane in Kolakoski Sequence A000002." *Turkish Journal of Analysis and Number Theory* 7, no. 2 (2019): 37-40.

Share

[1] | N. J. A. Sloane, The On-line Encyclopedia of Integer Sequences, published electronicallyat http ://oeis.org. | ||

In article | |||

[2] | A. Hammam, Some new Formulas for the Kolakoski Sequence A000002. Turkish Journal of Analysis and Number Theory. 2016; 4(3): 54-59. | ||

In article | |||

[3] | O. Bordellès and B. Cloitre, Bounds for the Kolakoski Sequence, Journal of Integer Sequences, Vol. 14 (2011). | ||

In article | |||

[4] | B. Steinsky, A recursive formula for the Kolakoski sequence, J. Integer Seq. 9 (2006), Article 06.3.7. | ||

In article | |||

[5] | A. Hammam, Some Formulas for the Generalized Kolakoski Sequence Kol(a, b). Turkish Journal of Analysis and Number Theory. 2017; 5(4):139-142. | ||

In article | View Article | ||