Jump to content

Unavoidable pattern

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Xiaoshiqi2008 (talk | contribs) at 16:13, 24 February 2020 (extend graph avoidance section, add properties section). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

In mathematics and theoretical computer science, a pattern(term) is a sequence of characters over some alphabet.

A word  is an instance of pattern , if there exists a non-erasing semigroup morphism  such that . Non-erasing means .

A word matches(encounters) pattern if there exists a factor of , which is also an instance of . Otherwise, avoids . If avoids , is also called -free.

A pattern is unavoidable on a finite alphabet if there exists , word matches for all . Otherwise, is avoidable on , which implies there exist infinitely many words over alphabet that avoid . This is equivalent to saying that is avoidable on if there exists an infinite word that avoids .

A pattern is an unavoidable pattern(blocking term) if is unavoidable on any finite alphabet.

When a pattern is said to be unavoidable and does not specify an alphabet, then is unavoidable for any finite alphabet. Conversely, a pattern is said to be avoidable if is avoidable on some finite alphabet.

Properties

  • Let pattern be an instance of avoidable pattern , then is also avoidable.[1]
  • Let avoidable pattern be a factor of pattern , then is also avoidable.[1]
  • A pattern is unavoidable if and only if is a factor of some unavoidable pattern .
  • Given an unavoidable pattern and a character not in , then is unavoidable.[1]
  • Given an unavoidable pattern , there exist a character such that occurs excatly once in .[1]
  • Given a pattern , let represents the number of distinct characters of . if , then is avoidable.[1]

Zimin words

Given alphabet , Zimin words(patterns) are defined recursively  for and base case .

All Zimin words are unavoidable.[2]

A word  is unavoidable if and only if it's a factor of a Zimin word.[2]


Given a finite alphabet , let represents the smallest such that matches for all . We have following properties:[3]

is the longest unavoidable patterns constructed by alphabet since

Pattern reduction

Given a pattern  over some alphabet , we say  is free for  if there exist subsets  of  such that the following hold:

  1.  is a factor of  and  ↔   is a factor of  and

e.g. let , then  is free for  since there exist  satisfied conditions above.

A pattern  can reduce to pattern  if there exists a character such that is free for , and  can be obtained by removing all occurrence of from . Denote as .

e.g. let , then can reduce to  since  is free for .

Given patterns , if  can reduce to  and  can reduce to , then  can reduce to . Denote as .

A pattern  is unavoidable if and only if can reduce to the empty word, hence .[4][2]

Avoidability index

A pattern is -avoidable if is avoidable on an alphabet of size . Otherwise, is -unavoidable, which means is unavoidable on every alphabet of size .[5][6]

if pattern is -avoidable, then is -avoidable for all .

The avoidability index of a pattern is the smallest such that is -avoidable, if is unavoidable.[7]

Graph pattern avoidance[8]

Given a simple graph , a coloring matches pattern if there exists a simple path in such that the sequence matches . Otherwise, is said to avoid or -free.

The pattern chromatic number is the minimal number of distinct colors needed for a -free coloring over the graph .

Let where is the set of all simple graphs with a maximum degree no more than .

A pattern is avoidable on graphs if is bounded by , where only depend on .

  • Avoidance on words can be expressed as a specific case of avoidance on graphs, hence a pattern is avoidable on any finite alphabet if and only if for all where is a graph of vertexs concatenated.

The minimum multiplicity of pattern is where is the number of occurance of character in pattern .

There exist an absolute constant , such that for all pattern with

Given a pattern , let represents the number of distinct characters of . if , then is avoidable on graphs.

Examples

  • The Thue–Morse sequence is cube-free and overlap-free, hence it avoids the patterns and .[5][6]
  • The patterns and are unavoidable on any alphabet, since they are factors of the Zimin words.[9][10]
  • The power patterns for are 2-avoidable.[5]
  • A square-free word is one avoiding the pattern . An example is the word over the alphabet obtained by taking the first difference of the Thue–Morse sequence.[11][12] See also Square-free word.
  • all binary patterns can divided into three categories:[13]
    • are unavoidable.
    • have avoidability index of 3.
    • others have avoidability index of 2.
  • abwbaxbcyaczca has avoidability index of 4, as well as other locked words. (Baker, McNulty, Taylor 1989)
  • abvbawbcxacycdazdcd has avoidability index of 5. (Clark 2004)

Open problems

  • Is there an avoidable pattern such that the avoidability index of is 6?

References

  1. ^ a b c d e Schmidt, Ursula (1987-08-01). "Long unavoidable patterns". Acta Informatica. 24 (4): 433–445. doi:10.1007/BF00292112. ISSN 1432-0525.
  2. ^ a b c Zimin, A. I. (1984). "BLOCKING SETS OF TERMS". Mathematics of the USSR-Sbornik. 47 (2): 353. doi:10.1070/SM1984v047n02ABEH002647. ISSN 0025-5734.
  3. ^ Joshua, Cooper; Rorabaugh, Danny (2013). Bounds on Zimin Word Avoidance. arXiv:1409.3080. Bibcode:2014arXiv1409.3080C.
  4. ^ BEAN, DWIGHT RICHARD; EHRENFEUCHT, ANDRZEJ; MCNULTY, GEORGE FRANK (1979). Avoidable Patterns in Strings of Symbols (PDF).
  5. ^ a b c Lothaire (2011) p. 113
  6. ^ a b Berstel et al (2009) p.127
  7. ^ Lothaire (2011) p.124
  8. ^ Grytczuk, Jarosław (2007-05-28). "Pattern avoidance on graphs". Discrete Mathematics. The Fourth Caracow Conference on Graph Theory. 307 (11): 1341–1346. doi:10.1016/j.disc.2005.11.071. ISSN 0012-365X.
  9. ^ Allouche & Shallit (2003) p.24
  10. ^ Lothaire (2011) p.115
  11. ^ Pytheas Fogg (2002) p.104
  12. ^ Berstel et al (2009) p.97
  13. ^ Lothaire, M. (2002). Algebraic Combinatorics on Words.