dc.contributor.author Wang, Ming-wei en dc.date.accessioned 2006-08-22 14:24:43 (GMT) dc.date.available 2006-08-22 14:24:43 (GMT) dc.date.issued 2004 en dc.date.submitted 2004 en dc.identifier.uri http://hdl.handle.net/10012/1136 dc.description.abstract This thesis concerns combinatorics on words. I present many results in this area, united by the common themes of periodicity and repetition. Most of these results have already appeared in journal or conference articles. Chapter 2 – Chapter 5 contain the most significant contribution of this thesis in the area of combinatorics on words. Below we give a brief synopsis of each chapter. Chapter 1 introduces the subject area in general and some background information. Chapter 2 and Chapter 3 grew out of attempts to prove the Decreasing Length Conjecture (DLC). The DLC states that if ′ is a morphism over an alphabet of size n then for any word w, there exists 0 ≤ i < jn such that |′i(w)| ≤ |′j(w)|. The DLC was proved by S. Cautis and S. Yazdani in Periodicity, morphisms, and matrices in Theoret. Comput. Sci. (295) 2003, 107-121. More specifically, Chapter 2 gives two generalizations of the classical Fine and Wilf theorem which states that if (fn)n≥0, (gn)n≥0 are two periodic sequences of real numbers, of period lengths h and k respectively, (a) If fn = gn for 0 ≤ n < h + k - gcd(h;k), then fn = gn for all n ≥ 0. (b) The conclusion in (a) would be false if h + k - gcd(h;k) were replaced by any smaller number. We give similar results where equality in (a) is replaced by inequality and to more than two sequences. These generalizations can be used to prove weak versions of the DLC. Chapter 3 gives an essentially optimal bound to the following matrix problem. Let A be an n × n matrix with non-negative integer entries. Let f(n) be the smallest integer such that for all A, there exist i < j f(n) such that AiAj, where AB means each entry of A is less than or equal to the corresponding entry in B. The question is to find good upper bounds on f(n). This problem has been attacked in two different ways. We give a method that proves an essentially optimal upper bound of n + g(n) where g(n) is the maximum order of an element of the symmetric group on n objects. A second approach yields a slightly worse upper bound. But this approach has a result of independent interest concerning irreducible matrices. A non-negative n × n matrix A is irreducible if ∑{i=0}^{n-1}Ai has all entries strictly positive. We show in Chapter 3 that if A is an irreducible n × n matrix, then there exists an integer e > 0 with e = O(n log n) such that the diagonal entries of Ae are all strictly positive. These results improve on results in my Master's thesis and is a version of the DLC in the matrix setting. They have direct applications to the growth rate of words in a D0L system. Chapter 4 gives a complete characterization of two-sided fixed points of morphisms. A weak version of the DLC is used to prove a non-trivial case of the characterization. This characterization completes the previous work of Head and Lando on finite and one-sided fixed points of morphisms. Chapter 5, 6 and 7 deal with avoiding different kinds of repetitions in infinite words. Chapter 5 deals with problems about simultaneously avoiding cubes and large squares in infinite binary words. We use morphisms and fixed points to construct an infinite binary word that simultaneously avoid cubes and squares xx with |x| ≥ 4. M. Dekking was the first to show such words exist. His construction used a non-uniform morphism. We use only uniform morphisms in Chapter 5. The construction in Chapter 5 is somewhat simpler than Dekking's. Chapter 6 deals with problems of simultaneously avoiding several patterns at once. The patterns are generated by a simple arithmetic operation. Chapter 7 proves a variant of a result of H. Friedman. We say a word y is a subsequence of a word z if y can be obtained by striking out zero or more symbols from z. Friedman proved that over any finite alphabet, there exists a longest finite word x = xx₂ ··· xn such that xixii+1 ··· xi is not a subsequence of xjxj+1 ··· xj for 1 ≤ i < jn/2. We call such words self-avoiding. We show that if “subsequence” is replaced by “subword” in defining self-avoiding, then there are infinite self-avoiding words over a 3-letter alphabet but not over binary or unary alphabets. This solves a question posed by Jean-Paul Allouche. In Chapter 8 we give an application of the existence of infinitely many square-free words over a 3-letter alphabet. The duplication language generated by a word w is roughly speaking the set of words that can be obtained from w by repeatedly doubling the subwords of w. We use the existence of infinitely many square-free words over a 3-letter alphabet to prove that the duplication language generated by a word containing at least 3 distinct letters is not regular. This solves an open problem due to J. Dassow, V. Mitrana and Gh. Paun. It is known that the duplication language generated by a word over a binary alphabet is regular. It is not known whether such languages are context-free if the generator word contains at least 3 distinct letters. After the defence of my thesis I noticed that essentially the same argument was given by Ehrenfeucht and Rozenberg in Regularity of languages generated by copying systems in Discrete Appl. Math. (8) 1984, 313-317. Chapter 9 defines a new “descriptive” measure of complexity of a word w by the minimal size of a deterministic finite automaton that accepts w (and possibly other words) but no other words of length |w|. Lower and upper bounds for various classes of words are proved in Chapter 9. Many of the proofs make essential use of repetitions in words. en dc.format application/pdf en dc.format.extent 778005 bytes dc.format.mimetype application/pdf dc.language.iso en en dc.publisher University of Waterloo en dc.rights Copyright: 2004, Wang, Ming-wei. All rights reserved. en dc.subject Computer Science en dc.title Periodicity and Repetition in Combinatorics on Words en dc.type Doctoral Thesis en dc.pending false en uws-etd.degree.department School of Computer Science en uws-etd.degree Doctor of Philosophy en uws.typeOfResource Text en uws.peerReviewStatus Unreviewed en uws.scholarLevel Graduate en
﻿

### This item appears in the following Collection(s)

UWSpace

University of Waterloo Library
200 University Avenue West