Abstract
We analyze a simple algorithm, transforming an input word into a word avoiding certain repetitions such as fractional powers and undirected powers. This transformation can be made reversible by adding the log of the run of the algorithm to the output. We introduce a compression scheme for the logs; its analysis proves that \((1+\frac{1}{d})\)-powers and undirected \((1+\frac{1}{d})\)-powers can be avoided over \(d+O(1)\) letters. These results are closer to the optimum than it is usually expected from a purely information-theoretic considerations. In the second part, we present experimental results obtained by the mentioned algorithm in the extreme case of \((d+1)\)-ary words avoiding \((1+\frac{1}{d})^+\!\)-powers.
Supported by the grant MPM no. ERC 683064 under the EU’s Horizon 2020 Research and Innovation Programme and by the State of Israel through the Center for Absorption in Science of the Ministry of Aliyah and Immigration.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Carpi, A.: On Dejean’s conjecture over large alphabets. Theoret. Comput. Sci. 385, 137–151 (1999)
Currie, J.D., Rampersad, N.: A proof of Dejean’s conjecture. Math. Comp. 80, 1063–1070 (2011)
Currie, J.D., Mol, L.: The undirected repetition threshold and undirected pattern avoidance. Theor. Comput. Sci. 866, 56–69 (2021)
Cvetković, D.M., Doob, M., Sachs, H.: Spectra of graphs, 3rd edn. Theory and applications. Johann Ambrosius Barth, Heidelberg (1995)
Dejean, F.: Sur un théorème de Thue. J. Combin. Theory. Ser. A 13, 90–99 (1972)
Gorbunova, I.A., Shur, A.M.: On Pansiot words avoiding 3-repetitions. Int. J. Found. Comput. Sci. 23(8), 1583–1594 (2012)
Grytczuk, J., Kozik, J., Micek, P.: New approach to nonrepetitive sequences. Random Struct. Algorithms 42(2), 214–225 (2013)
Guégan, G., Ochem, P.: A short proof that shuffle squares are 7-avoidable. RAIRO Theor. Inf. Appl. 50(1), 101–103 (2016)
Keränen, V.: Abelian squares are avoidable on 4 letters. In: Kuich, W. (ed.) ICALP 1992. LNCS, vol. 623, pp. 41–52. Springer, Heidelberg (1992). https://doi.org/10.1007/3-540-55719-9_62
Moser, R.A., Tardos, G.: A constructive proof of the general Lovász local lemma. J. ACM 57(2), 11:1–11:15 (2010)
Moulin-Ollagnier, J.: Proof of Dejean’s conjecture for alphabets with \(5,6,7,8,9,10\) and \(11\) letters. Theoret. Comput. Sci. 95, 187–205 (1992)
Ochem, P., Pinlou, A.: Application of entropy compression in pattern avoidance. Electron. J. Comb. 21(2), 2 (2014)
Pansiot, J.J.: A propos d’une conjecture de F. Dejean sur les répétitions dans les mots. Discr. Appl. Math. 7, 297–311 (1984)
Rao, M.: Last cases of Dejean’s conjecture. Theoret. Comput. Sci. 412, 3010–3018 (2011)
Rosenfeld, M.: Avoiding squares over words with lists of size three amongst four symbols. Math. Comput. 91(337), 2489–2500 (2022)
Shur, A.M., Gorbunova, I.A.: On the growth rates of complexity of threshold languages. RAIRO Theor. Inf. Appl. 44, 175–192 (2010)
Shur, A.M.: Generating square-free words efficiently. Theor. Comput. Sci. 601, 67–72 (2015)
Thue, A.: Über unendliche Zeichenreihen. Norske vid. Selsk. Skr. Mat. Nat. Kl. 7, 1–22 (1906)
Thue, A.: Über die gegenseitige Lage gleicher Teile gewisser Zeichenreihen. Norske vid. Selsk. Skr. Mat. Nat. Kl. 1, 1–67 (1912)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Shur, A.M. (2023). Approaching Repetition Thresholds via Local Resampling and Entropy Compression. In: Drewes, F., Volkov, M. (eds) Developments in Language Theory. DLT 2023. Lecture Notes in Computer Science, vol 13911. Springer, Cham. https://doi.org/10.1007/978-3-031-33264-7_18
Download citation
DOI: https://doi.org/10.1007/978-3-031-33264-7_18
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-33263-0
Online ISBN: 978-3-031-33264-7
eBook Packages: Computer ScienceComputer Science (R0)