On Long Words Avoiding Zimin Patterns Arnaud Carayol, Stefan Göller To cite this version: Arnaud Carayol, Stefan Göller. On Long Words Avoiding Zimin Patterns. 34th Symposium on Theoretical Aspects of Computer Science (STACS 2017), Mar 2017, Hannover, Germany. pp.19:1- 19:13, 10.4230/LIPIcs.STACS.2017.19. hal-01803632 HAL Id: hal-01803632 https://hal.archives-ouvertes.fr/hal-01803632 Submitted on 30 May 2018 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. On Long Words Avoiding Zimin Patterns Arnaud Carayol1 and Stefan Göller∗2 1 Université Paris-Est, LIGM (UMR 8049), CNRS, ENPC, ESIEE, UPEM, Marne-la-Vallée, France
[email protected] 2 LSV, CNRS & ENS Cachan, Université Paris-Saclay, Paris, France
[email protected] Abstract A pattern is encountered in a word if some infix of the word is the image of the pattern under some non-erasing morphism. A pattern p is unavoidable if, over every finite alphabet, every sufficiently long word encounters p. A theorem by Zimin and independently by Bean, Ehrenfeucht and McNulty states that a pattern over n distinct variables is unavoidable if, and only if, p itself is encountered in the n-th Zimin pattern.