Skip to main content

Approaching Repetition Thresholds via Local Resampling and Entropy Compression

  • Conference paper
  • First Online:
Developments in Language Theory (DLT 2023)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 13911))

Included in the following conference series:

  • 297 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 54.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Carpi, A.: On Dejean’s conjecture over large alphabets. Theoret. Comput. Sci. 385, 137–151 (1999)

    Article  MathSciNet  MATH  Google Scholar 

  2. Currie, J.D., Rampersad, N.: A proof of Dejean’s conjecture. Math. Comp. 80, 1063–1070 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  3. Currie, J.D., Mol, L.: The undirected repetition threshold and undirected pattern avoidance. Theor. Comput. Sci. 866, 56–69 (2021)

    Article  MathSciNet  MATH  Google Scholar 

  4. Cvetković, D.M., Doob, M., Sachs, H.: Spectra of graphs, 3rd edn. Theory and applications. Johann Ambrosius Barth, Heidelberg (1995)

    Google Scholar 

  5. Dejean, F.: Sur un théorème de Thue. J. Combin. Theory. Ser. A 13, 90–99 (1972)

    Article  MathSciNet  MATH  Google Scholar 

  6. Gorbunova, I.A., Shur, A.M.: On Pansiot words avoiding 3-repetitions. Int. J. Found. Comput. Sci. 23(8), 1583–1594 (2012)

    Article  MathSciNet  MATH  Google Scholar 

  7. Grytczuk, J., Kozik, J., Micek, P.: New approach to nonrepetitive sequences. Random Struct. Algorithms 42(2), 214–225 (2013)

    Article  MathSciNet  MATH  Google Scholar 

  8. Guégan, G., Ochem, P.: A short proof that shuffle squares are 7-avoidable. RAIRO Theor. Inf. Appl. 50(1), 101–103 (2016)

    Article  MathSciNet  MATH  Google Scholar 

  9. 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

    Chapter  Google Scholar 

  10. Moser, R.A., Tardos, G.: A constructive proof of the general Lovász local lemma. J. ACM 57(2), 11:1–11:15 (2010)

    Google Scholar 

  11. 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)

    Article  MathSciNet  MATH  Google Scholar 

  12. Ochem, P., Pinlou, A.: Application of entropy compression in pattern avoidance. Electron. J. Comb. 21(2), 2 (2014)

    MathSciNet  MATH  Google Scholar 

  13. 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)

    Google Scholar 

  14. Rao, M.: Last cases of Dejean’s conjecture. Theoret. Comput. Sci. 412, 3010–3018 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  15. Rosenfeld, M.: Avoiding squares over words with lists of size three amongst four symbols. Math. Comput. 91(337), 2489–2500 (2022)

    Article  MathSciNet  MATH  Google Scholar 

  16. Shur, A.M., Gorbunova, I.A.: On the growth rates of complexity of threshold languages. RAIRO Theor. Inf. Appl. 44, 175–192 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  17. Shur, A.M.: Generating square-free words efficiently. Theor. Comput. Sci. 601, 67–72 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  18. Thue, A.: Über unendliche Zeichenreihen. Norske vid. Selsk. Skr. Mat. Nat. Kl. 7, 1–22 (1906)

    Google Scholar 

  19. Thue, A.: Über die gegenseitige Lage gleicher Teile gewisser Zeichenreihen. Norske vid. Selsk. Skr. Mat. Nat. Kl. 1, 1–67 (1912)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Arseny M. Shur .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

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)

Publish with us

Policies and ethics