arxiv: v1 [math.co] 11 Mar 2013

Size: px
Start display at page:

Download "arxiv: v1 [math.co] 11 Mar 2013"

Transcription

1 arxiv: v1 [math.co] 11 Mar 2013 On the Entropy of a Two Step Random Fibonacci Substitution Johan Nilsson Bielefeld University, Germany jnilsson@math.uni-bielefeld.de Abstract We consider a random generalisation of the classical Fibonacci substitution. The substitution we consider is defined as the rule mapping a baa and b ab with probability p and b ba with probability 1 p for 0 < p < 1 and where the random rule is applied each time it acts on a b. We show that the topological entropy of this object is given by the growth rate ofthe set of inflated random Fibonacci words, and we exactly calculate its value. MSC2010 classification; 68R15 Combinatorics on words, 05A16 Asymptotic enumeration, 37B10 Symbolic dynamics. 1 Introduction In [3] Godrèche and Luck define the random Fibonacci chain by the generalised substitution a { b θ : ab with probability p b ba with probability 1 p for 0 < p < 1 and where the random rule is applied each time θ acts on a b. They introduce the random Fibonacci chain when studying quasi-crystalline structures and tilings in the plane. In their paper, it is claimed without proof that the topological entropy of the random Fibonacci chain is given by the growth rate of the set of inflated random Fibonacci words. This was later, with a combinatorial argument, proved in a more general context in [7]. The renewed interest in this system, and in possible generalisations, stems from the observation that the natural geometric generalisation of the symbolic sequences by tilings of the line had to be Meyer sets with entropy and interesting spectra [1]. There is now a fair understanding of systems that emerge from the local mixture of inflation rules that each define the 1

2 same hull. However, little is known so far about more general mixtures. Here we place our attention to one such generalisation. It is still derived from the Fibonacci rule, but mixes inflations that define distinct hulls. In this paper we consider the randomised substitution φ defined by φ = a baa b { ab with probability p ba with probability 1 p for 0 < p < 1 and where the random rule is applied each time φ acts on a b. The substitution φ is a mixture of two substitutions, whose hulls are different. This is true, since the hull of the substitution a,b baa,ab contains words with the sub-words aaa and bb, but neither of these subwords are to be found in any word of the hull of a,b baa,ba. For a more detailed survey of the differences and similarities of the generated hulls of these two substitutions see [6]. Beforewecanstateourmaintheoremindetailweneedtointroducesome notation. A word w over an alphabet Σ is a finite sequence w 1 w 2...w n of symbols from Σ. We let here Σ = {a,b}. We denote a sub-word of w by w[a,b] = w a w a+1 w a+2...w b 1 w b and similarly we let W[a,b] = {w[a,b] : w W}. By we mean the length of a word and the cardinality of a set. Note that w[a,b] = b a+1. When indexing the brackets with a letter α from the alphabet, α, we shall mean the numbers of occurrences of α in the enclosed word. For two words u = u 1 u 2 u 3...u n and v = v 1 v 2 v 3...v m we denote by uv the concatenation of the two words, that is, uv = u 1 u 2 u 3...u n v 1 v 2...v m. Similarly we let for two sets of words U and V their product be the set UV = {uv : u U,v V} containing all possible concatenations. Letting φ act on the word a repeatedly yields an infinite sequence of words r n = φ n 1 a. We know that r 1 = a and r 2 = baa. But r 3 is one of the words abbaabaa or babaabaa with probability p or 1 p. The sequence {r n } n=1 converges in distribution to an infinite random word r. We say that r n is an inflated word under φ in generation n and we introduce here sets that correspond to all inflated words in generation n; Definition 1. Let A 1 = {a}, B 1 = {b} and for n 2 we define recursively A n = B n 1 A n 1 A n 1, B n = A n 1 B n 1 B n 1 A n 1, and we let A := lim n A n and B := lim n B n. 2

3 The sets A and B are indeed well defined. This is a direct consequence of Corollary 6. It is clear from the definition of A n and B n that all their elements have the same length, that is, for all x,y A n or x,y B n we have x = y. By induction it easily follows that for a A n we have a = f 2n and for b B n we have b = f 2n 1, where f m is the mth Fibonacci number, defined by f n+1 = f n +f n 1 with f 0 = 0 and f 1 = 1. For a word w we say that x is a sub-word of w if there are two words u,v such that w = uxv. The sub-word set FS,n is the set of all sub-words of length n of words in S. The combinatorial entropy of the random Fibonacci 1 chain is defined as the limit lim n n log FA,n. The combinatorial entropy is known to equal the topological entropy for our type of systems, see [5]. The existence of this limit is direct by Fekete s lemma [2] since we have sub-additivity, log FS,n+m log FS,n +log FS,m. We can now state the main result in this paper. Theorem 2. The logarithm of the growth rate of the size of the set of inflated random Fibonacci words equals the topological entropy of the random Fibonacci chain, that is log A n log B n log FC,n lim = lim = lim n f 2n n f 2n 1 n n where τ is the golden mean, τ = and C {A,B}. = 1 log2, 1 τ3 The outline of the paper is that we start by studyingthe sets A n and B n. Next we give a finite method for finding the sub-word set FA,n, which we will see is the same as FB,n. Thereafter we derive some diophantine properties of the Fibonacci number that will play a central part when we look at the distribution of the letters in words from FA,n. Finally we present an estimate of FA,n, leading up to the proof of Theorem 2. 2 Inflated words In this section we present the sets of inflated words and give an insight to their structure. The results presented here will also play an important role for the results in the coming sections. Proposition 3. Let u,v A n or both in B n. Then u v if and only if {φu} {φv} =, where here {φz} denotes the set of all possible words that can be obtained by applying φ on z. 3

4 Proof. Let u v and assume that w {φu} {φv}. Denote by φ u and φ v the special choices of φ such that w = φ u u = φ v v. Let k be the first position such that u k v k where u = u 1 u 2...u m and v = v 1 v 2...v m. Then we may assume u k = a and v k = b, otherwise just swap the names of u and v. Sincewe have φa = baa, wesee that we must have φ v v k = φ v b = ba. But then also φ v v k v k+1 = φ v bb = baab. This then implies u k+1 = b, since if we have u k+1 = a then there must be two consecutive as in w and we could not find a continuation in v. Hence we have φ u u k u k+1 = φ u ab = baaba. As previously, v must continue with a b. We now see that we are in a cycle, where φ u u k u k+1...u k+s = 3+2s and φ v v k v k+1...v k+s = 2s + 1. Since there is no s N such that we have 3+2s = 2s +1, we conclude that there can be no such w. We can now turn to the question of counting the elements in the sets A n and B n. Proposition 4. For n 2 we have A n = 2 f 2n 3 1 and B n = 2 f 2n 4+1. Proof. LetusstartwiththeproofofthethesizeofA n. FromtheDefinition 1 of A n and B n it follows by induction that x b = f 2n 2 for x A n. Combining this with Proposition 3 we find the recursion A n = A n 1 2 x b = A n 1 2 f 2n 4. 2 The size of A n now follows from 2 by induction. For the size of B n we have, by the definition of B n and that we already know the size of A n, B n = A n+1 A n A n = 2 f2n f 2n f 2n 3 1 = 2f 2n 4+1, which completes the proof. From Proposition 4 the statements of the logarithmic limits of the sets A n and B n in Theorem 2 follows directly. Our next step is to give some result on sets of prefixes of A n and B n. These results will play a central role when we later look at sets of sub-words. Proposition 5. For n 2 we have A n [1,f 2n 1] A n+1 [1,f 2n 1], 3 A n [1,f 2n 1] B n A n [1,f2n 1]. 4 4

5 Proof. Let us first consider 3. We give a proof by induction on n. For the basis case, n = 2, we have A 2 [1,f 2 2 1] = A 2 [1,2] = {ab} {ab,ba} = A 3 [1,f 4 1]. Now assume for induction that 3 holds for 2 n p. Then for n = p+1 we have by the induction assumption A p+1 [1,f 2p+1 1] = B p A p A p [1,f2p+1 1] A p B p B p A p A p [1,f2p+1 1] = B p+1 A p [1,f2p+1 1] = B p+1 Ap [1,f 2p 1] B p+1 Ap+1 [1,f 2p 1] = B p+1 A p+1 [1,f2p+1 1] = B p+1 A p+1 A p+1 [1,f2p+1 1] = A p+2 [1,f 2p+1 1], which completes the induction and the proof of 3. Let us turn to the proof of 4. By the help of 3 we have which concludes the proof. A n [1,f 2n 1] = B n 1 A n 1 A n 1 [1,f2n 1] = B n 1 A n 1 An 1 [1,f 2n 1 1] B n 1 A n 1 An [1,f 2n 1 1] = B n 1 A n 1 A n [1,f2n 1] B n A n [1,f2n 1] From Proposition 5 it is straight forward, by recalling the recursive definition of A n and B n, to derive the following equalities on prefix-sets. Corollary 6. For n 3 we have A n [1,f 2n 1 1] = A n+1 [1,f 2n 1 1], B n [1,f 2n 1 1] = A n [1,f 2n 1 1], B n = B n+1 [1,f 2n 1 ]. We end the section by proving a result on suffixes of the sets A n and B n that we shall make use of in the next sections. 5

6 Proposition 7. For n 2 we have A n [f 2n 2 +2,f 2n ] B n [2,f 2n 1 ], 5 B n [2,f 2n 1 ] = B n+1 [f 2n +2,f 2n+1 ]. 6 Proof. We give a proof by induction on n. For the basis case, n = 2, we have A 2 [f 2 +2,f 4 ] = A 2 [2,3] = {a} {a,b} = B 2 [2,2]. Now assume for induction that 5 holds for 2 n p. Then for the induction step, n = p+1, we have by the induction assumption A p+1 [f 2p ,f 2p+1 ] = B p A p A p [f2p ,f 2p+1 ] = A p A p [f2p 2 +2,2f 2p ] = A p [f 2p 2 +2,f 2p ] A p B p [2,f 2p 1 ] A p = B p A p [2,f 2p+1 ] B p+1 [2,f 2p+1 1 ], which completes the induction and the proof of 5. For the proof of 6 we have B n [2,f 2n 1 ] = A n B n [f2n +2,f 2n +f 2n 1 ] B n+1 [f 2n +2,f 2n +f 2n 1 ] and for the converse inclusion we have by 5 B n+1 [f 2n +2,f 2n +f 2n 1 ] = A n B n B n A n [f2n 2,f 2n +f 2n 1 ] = B n [2,f 2n 1 ] A n [f 2n 2 +2,f 2n ] which proves the equality 6. B n [2,f 2n 1 ], 3 Sets of sub-words Hereweinvestigate propertiesofthesetsofsub-wordsfa,mandfb,m. We will prove that they coincide and moreover we show how to find them by considering finite sets, which will be central when estimating their size depending on m. First we turn our attention to proving that it is indifferent if we consider sub-words of A n or of B n. 6

7 Proposition 8. For n 1 we have FA n+1,f 2n 1 = FB n+1,f 2n 1. Proof. Let us first turn to the proof of the inclusion FA n+1,f 2n 1 FB n+1,f 2n 1. 7 Let x k A n+1 [k,k 1 + f 2n 1] for 1 k f 2n It is clear that x k FA n+1,f 2n 1 for any k. We have to prove that also x k FB n+1,f 2n 1. For 1 k f 2n 1 +2 we have x k FB n A n,f 2n 1 FB n+1,f 2n 1. For f 2n 1 +3 k f 2n +1 we have by Corollary 6 that x k must be a sub-word of An A n [3,f2n +f 2n 2 1] = A n B n [3,f2n +f 2n 2 1] = B k+1 [3,f 2n +f 2n 2 1]. For f 2n +2 k f 2n+1 +2 we have By Proposition 7 Bn A n A n [f2n +2,f 2n+2 ] = A n [f 2n 2 +2,f 2n ] A n B n [2,f 2n 1 ] A n B n+1 [2,f 2n+1 ], which concludes the proof of the inclusion 7. For the converse inclusion it is enough to consider sub-words of A n B n, since any sub-word of B n A n clearly is a sub-word of A n+1. Therefore let y k A n B n [k,k 1+f 2n 1] for 1 k f 2n We now proceed as in the case above. For 1 k f 2n 2 +1 we have A n B n [1,f 2n +f 2n 2 1] = A n Bn [1,f 2n 2 1] = A n An [1,f 2n 2 1] For f 2n 2 +2 k f 2n 1 +2 we have = A n+1 [f 2n+1 +1,f 2n+1 +f 2n 2 1]. A n B n [f 2n 2 +2,f 2n 1 +2] = A n [f 2n 2 +2,f 2n ] A n which completes the proof. = B n [2,f 2n 1 ] A n = A n+1 [2,f 2n+1 ], 7

8 The above result shows that the set of sub-words from A n and B n coincide if the sub-words are not chosen too long. If, we consider the limit sets A and B, their sets of sub-words turns out to be the same. We have the following Proposition 9. For m 1 we have FA,m = FB,m. Proof. Let x FA,m. Then there is an n such that x FA n,m FA n B n B n A n,m = FB n+1,m FB,m. Similarly, if x FB,m. Then there is an n such that x FB n,m FB n A n A n,m = FA n+1,m FA,m, which completes the proof. The direct consequence of Proposition 9 is that we find the topological entropy in 1 independent if we look at sub-words from A or B. Now, let us turn to the question of finding FA,m from a finite set A n and not having to consider the infinite set A. Proposition 10. For n 2 we have FA n+1,f 2n f 2n 3 = FA n+2,f 2n f 2n 3. Proof. It is clear that FA n+1,f 2n f 2n 3 FA n+2,f 2n f 2n 3 holds for all n 2. For the reverse inclusion assume that x FA n+2,f 2n f 2n 3. Note that we can write A n+1 and A n+2 on the form A n+1 = B n A n A n, A n+2 = B n A n B n A n A n B n A n A n A n B n B n A n A n B n A n A n. 8 From we see 8 that any x is a sub-word of any element in some of the seven sets A n A n, B n A n, A n B n, A n B n A n, B n B n, A n B n B n, B n B n A n 9 in such a way that the first letter in x is in the first factor that is A n or B n of the sets. If x is a sub-word of A n A n or B n A n or completely contained in A n it is clear that we have x FA n+1,f 2n f 2n 3. For the case when x is a sub-word of A n B n it follows from Proposition 8 that we have x FA n+1,f 2n f 2n 3. 8

9 If x is a sub-word of a word in A n B n A n such that x begins in the first A n factor and ends in the second. Then we have that x is a sub-word of a word in the set An [f 2n 3 +f 2n 1 +2,f 2n ] B n 1 A n 1 An [1,f 2n 4 1] = A n [f 2n 3 +f 2n 1 +2,f 2n ] B n 1 A n 1 An 1 [1,f 2n 4 1] = A n [f 2n 3 +f 2n 1 +2,f 2n ] A n [1,f 2n 1 +f 2n 4 1] = A n A n [f 2n 3 +f 2n 1 +2,f 2n +f 2n 1 +f 2n 4 1], and we see that we have x FA n+1,f 2n f 2n 3. If x is a sub-word of a word in B n B n we have, let us first consider the case when it is a sub-word of B n B n 1 A n 1. Then it follows that B n B n 1 A n 1 B n An [1,f 2n 1 ] = B n A n [1,2f2n 1 ], so x is a sub-word of a word in A n+1. For the the second case, B n A n 1 B n 1, we have B n A n 1 B n 1 = A n 1 Bn 1 A n 1 Bn 1 B n 1 A n 1 A n 1 Bn 1 A n B n A n [f2n 1 +1,3f 2n 1 ] A n B n [1,2f 2n 1 ], and again x is a sub-word of a word in A n+1, by what we just proved above. If x is a sub-word of a word in A n B n B n we have by Corollary 6, An B n B n [f2n 1 +f 2n 3 +1,2f 2n f 2n 3 1] = A n [f 2n 1 +f 2n 3 +1,f 2n ] B n Bn [1,f 2n 4 1] = A n [f 2n 1 +f 2n 3 +1,f 2n ] B n An [1,f 2n 4 1], which shows that x is a sub-word of a word in A n+1 by what we previously have shown. Finally, if x is a sub-word of a word in B n B n A n, we first consider the case when x is a sub-word of a word in B n B n 1 A n 1 A n. By Corollary 6 we have Bn B n A n [2f2n 3 +1,f 2n+1 f 2n 3 1] = B n [2f 2n 3 +1,f 2n 1 ] B n 1 A n 1 An [1,f 2n 4 1] = B n [2f 2n 3 +1,f 2n 1 ] B n 1 A n 1 An 1 [1,f 2n 4 1] = B n [2f 2n 3 +1,f 2n 1 ] A n [1,f 2n 1 +f 2n 4 1], 9

10 which by the help of the previous case shows that x is a sub-word of a word in A n+1. For last the case, B n A n 1 B n 1 A n, we have by Corollary 6 and Proposition 7, Bn B n A n [2f2n 3 +1,f 2n+1 f 2n 3 1] = B n [2f 2n 3 +1,f 2n 1 ] A n 1 B n 1 An [1,f 2n 4 1] = B n 1 [2f 2n 3 f 2n 2 +1,f 2n 3 ] A n 1 B n 1 An 1 [1,f 2n 4 1] = B n [2f 2n 3 f 2n 2 +1,f 2n 1 ] A n [1,f 2n 2 1], and again we see that x is a sub-word of a word in A n+1 by what we have proven above. The result of Proposition 10 can be extended to hold for sub-words from elements A n and A n+k where k 1. A straight forward argument via induction gives FA n+1,f 2n f 2n 3 = FA n+k,f 2n f 2n 3 10 for k 1. By combining Proposition 10 and equation 10 we can now prove that to find the factors set it is sufficient to only consider a finite set. Proposition 11. For n 2 we have FA n+1,f 2n f 2n 3 = FA,f 2n f 2n Proof. Itis clear that we havefa n+1,f 2n f 2n 3 FA,f 2n f 2n 3. For the reversed inclusion, let x FA,f 2n f 2n 3. Then there is a smallest m n+1 such that x is a sub-word of an element of A m. Then 10 gives x FA m,f 2n f 2n 3 = FA n+1,f 2n f 2n 3, which shows the desired inclusion. 4 Fibonacci numbers revisited In this section we shall restate, and adopt for our purpose, some of the Diophantine properties of the Fibonacci numbers, and use them to derive results on the distribution of the letters in the words in the sets A n and B n. Let us introduce the notation τ = and τ =

11 for the roots of x 2 x 1 = 0. It is well known that τ and τ appears in Binet s formula the Fibonacci numbers, see [4], f n = n n 5 = 1 τ n τ n From 12 it is with induction straight forward to derived f n = τf n 1 + τ n 1 = τ 2 f n 2 + τ n Definition 12. Let denote the smallest distance to an integer. By using the special property, τ 2 = τ + 1 we have for an integer k the following line of equalities 1 τ 2 k = τ 1 k τ = k 1 τ k = 1 τ k = τ 1k = τk. From 13 it follows that τf n = fn+1 τ n = 1 τ n since τ = 1 τ. For an integer k, which is not a Fibonacci number we have the following estimate of how far away from an integer τk is. Proposition 13. For a positive integer k such that f n 1 < k < f n we have τk > 1 τn Proof. We give a proof by induction on n. For the basis case n = 5 the statement of the proposition follows by an easy calculation. Now assume for induction that 14 holds for 5 n p. For the induction step, n = p+1, let f p < k < f p+1. Then, if k f p 1 is not a Fibonacci number we have τk = τk fp +τf p τ k fp τfp 1 > }{{} τ p 3 1 τ p > 1 τ p 2. <f p 1 If k f p 1 = f m for some m < p 1 then τk τf m τf p = 1 τ m 1 τ p 1 τ p 2 1 τ p = 1 τ p 1. 11

12 Proposition 14. Let x A n [1,k] for 1 k f 2n or x B n [1,k] for 1 k f 2n 1 and n 2. Then x b { 1 τ 2 k, 1 τ 2 k } 15 Proof. We give a proof by induction on n. The basis case, n = 2, follows by considering each of the words contained in A 2 and B 2. To be able to use Proposition 13 in the induction step we have to consider the basis step n = 3 as well, but only for the set B 3 since the words in A 2 are of length 3. This is however seen to hold by a straight forward enumeration of the elements of B 3. Now, assume for induction that 15 holds for 2 n p, for words both from A n and B n. For the induction step, n = p + 1, let us first derive an identity that we shall later on make use of. Let q and m be positive integers such that f m 1 < q < f m. Then, by the help of Proposition 13 we have 1 1 τ 2q f m 1 = τ 2q f m 3 τ m 1 1 1m = τ2q + τ m 1 f m 3 1 = τ 2q f m With the same argumentation we can derive a similar result for. For the induction step we consider first the number of bs in prefixes of words in A p+1 = B p A p A p. It is clear from the induction assumption that 15 holds for 1 k f 2p 1. For f 2p 1 < k < f 2p or f 2p < k < f 2p+1 let x = uv A p+1 [1,k] where u B p. By the induction assumption we may assume that v b is given by rounding downwards, the result is obtained in a similar way for the case with. By 16 it now follows that uv b = u b + v b = f 2p τ 2k f 2p 1 1 = τ 2k. For k = f 2p we have 1 1 uv b = f 2p 3 + τ 2f 2p f 2p 1 = τ 2f 2p τ 2p 1 = τ 2f 2p. For f 2p+1 < k < f 2p+2 let x = uvw A p+1 [1,k] where u B p and v A p. 12

13 Then the induction assumption and 16 gives. uvw b = u b + v b + w b 1 = f 2p 3 +f 2p 2 + τ 2k f 2p 1 f 2p 1 = f 2p 1 + τ 2k f 2p+1 1 = τ 2k. For the last case k = f 2p+2 we have 1 x b = τ 2f 2p+2 = f 2p + 1 τ 2p = f 2p. The case when we consider words from B p+1 is treated in the same way, but where we don t need to do the induction step for the case n = 3. This completes the induction and the proof. Proposition 15. Let x FA n+2,f 2n for n 2. Then f 2n 2 1 x b f 2n Proof. Let us first turn our attention to the upper bound in 17. In the same way as in the proof of Proposition 10, we consider sub-words of the seven sets, given in 9. If x is a sub-word, beginning at position 2 < k f 2n, in an element in A n A n or A n B n then 1 1 x b f 2n 2 + k f2n τ 2 +f 2n τ 2k f 2n since the number of bs in a word in A n is f 2n 2, and a word in A n is of length f 2n. The proof of the to the upper bound in 17, for the other sets in 9 is obtained in the same way. For the lower bound we have 1 1 x b τ 2k+f 2n τ 2k 1 = f 2n τ 2k+ τ 2n 2 τ 2k for any x FA n+2,f 2n. f 2n 2 1, 13

14 5 Estimating the size of the sub-word set We shall in this section give an estimate of the sub-word set FA,f 2n and give the final part of the proof of Theorem 2. Let us introduce the set C n = φ FA,f 2n ByProposition15wecanestimatethenumberofbsinwordsinFA,f 2n This estimate then gives that we have bounds on the length of words in C n. That is, for x C n we have x = x a + x b 3f 2n 3 1+2f 2n 4 +2 = f 2n and x = x a + x b 3f 2n f 2n 4 1 = f 2n Proposition 16. For n 2 we have FA,f 2n = F C n,f 2n. Proof. The set F C n,f 2n is created by inflating words from FA,f2n 2 +1 which are then cut into suitable lengths. This implies that FA,f 2n F C n,f 2n. For the converse inclusion, let x FA,f 2n. Then there is a word w A n+1 and words u,v such that uxv A n+2 and uxv φw. For any word z F {w},f 2n we have from 18 that any s φz fulfils f 2n +1 s. This gives that there is a word z x F {w},f 2n 2 +1 such that x is a sub-word of a word in φz x, which implies x F C n,f 2n. Proposition 17. For n 2 we have FA,f 2n 2 f 2n 3+2n 5 n Proof. We give a proof by induction on n. For the basis case n = 2 we have FA,f 4 = = 2 f Assume for induction that 20 holds for 2 n p. For the induction step n = p+1, note that from 18 and 19 it follows that F{x},f 2p+2 5 for x C p+1. By Proposition 15 we have that the number of bs in u 14

15 FA,f 2p + 1 is at most f 2p This gives then, with the help of the induction assumption F A,f2p+2 Cp+1 5 which completes the proof. F A,f 2p 2 f 2p f 2p 3+2p 5 p 1 2 f 2p = 2 f 2p+1 3+2p+1 5 p, We can now turn to proving the last equality in 1, and thereby completing the proof of Theorem 2. By Proposition 17 we have log FA,f 2n log 2 f 2n 3+2n 5 n 1 lim lim n f 2n n f 2n = lim n = 1 τ 3 log2, f 2n 3 +2n f 2n log2+ n 1 f 2n log5 which implies the equality in 1. A further generalisation of the random Fibonacci substitutions, would be to study the structure occurring when mixing two substitutions with different inflation multipliers. This, however, seems to be a far more complex question. 6 Acknowledgement The author wishes to thank M. Bakke and M. Moll at Bielefeld University, Germany, for our discussions and for reading drafts of the manuscript. This work was supported by the German Research Council DFG, via CRC 701. References [1] M. Baake, M. Moll, Random noble means substitutions, In: Aperiodic Crystals, ed. S. Schmid et al., Springer, Dordrecht 2013, in press. arxiv: [2] M. Fekete, Über die Verteilung der Wurzeln bei gewissen algebraischengleichungen mit. ganzzahligen Koeffizienten, Mathematische Zeitschrift

16 [3] C. Godrèche, J. M. Luck, Quasiperiodicity and randomness in tilings of the plane, J. Stat. Phys [4] R. L. Graham, D. E. Knuth, O. Patashnik, Concrete Mathematics, Addison- Wesley Publishing Company, Reading, MA, [5] D. Lind, B Marcus, An Introduction to Symbolic Dynamics and Coding, Cambridge University Press, Cambridge [6] J.M. Luck, C. Godrèche, A. Janner, T. Janssen, The nature of the atomic surfaces of quasiperiodic self-similar structures, J. Phys. A: Math. Gen , [7] J. Nilsson, On the entropy of a family of random substitutions, Monatsh. Math arxiv:

On the Entropy of a Two Step Random Fibonacci Substitution

On the Entropy of a Two Step Random Fibonacci Substitution Entropy 203, 5, 332-3324; doi:0.3390/e509332 Article OPEN ACCESS entropy ISSN 099-4300 www.mdpi.com/journal/entropy On the Entropy of a Two Step Random Fibonacci Substitution Johan Nilsson Department of

More information

MATH 324 Summer 2011 Elementary Number Theory. Notes on Mathematical Induction. Recall the following axiom for the set of integers.

MATH 324 Summer 2011 Elementary Number Theory. Notes on Mathematical Induction. Recall the following axiom for the set of integers. MATH 4 Summer 011 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If

More information

Math 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction

Math 324 Summer 2012 Elementary Number Theory Notes on Mathematical Induction Math 4 Summer 01 Elementary Number Theory Notes on Mathematical Induction Principle of Mathematical Induction Recall the following axiom for the set of integers. Well-Ordering Axiom for the Integers If

More information

BOUNDS ON ZIMIN WORD AVOIDANCE

BOUNDS ON ZIMIN WORD AVOIDANCE BOUNDS ON ZIMIN WORD AVOIDANCE JOSHUA COOPER* AND DANNY RORABAUGH* Abstract. How long can a word be that avoids the unavoidable? Word W encounters word V provided there is a homomorphism φ defined by mapping

More information

On the discrepancy of circular sequences of reals

On the discrepancy of circular sequences of reals On the discrepancy of circular sequences of reals Fan Chung Ron Graham Abstract In this paper we study a refined measure of the discrepancy of sequences of real numbers in [0, ] on a circle C of circumference.

More information

arxiv: v1 [math.co] 20 Aug 2015

arxiv: v1 [math.co] 20 Aug 2015 arxiv:1508.04953v1 [math.co] 20 Aug 2015 On Polynomial Identities for Recursive Sequences Ivica Martinak and Iva Vrsalko Faculty of Science University of Zagreb Bienička cesta 32, HR-10000 Zagreb Croatia

More information

A New Shuffle Convolution for Multiple Zeta Values

A New Shuffle Convolution for Multiple Zeta Values January 19, 2004 A New Shuffle Convolution for Multiple Zeta Values Ae Ja Yee 1 yee@math.psu.edu The Pennsylvania State University, Department of Mathematics, University Park, PA 16802 1 Introduction As

More information

Notes on Continued Fractions for Math 4400

Notes on Continued Fractions for Math 4400 . Continued fractions. Notes on Continued Fractions for Math 4400 The continued fraction expansion converts a positive real number α into a sequence of natural numbers. Conversely, a sequence of natural

More information

arxiv: v1 [math.co] 22 May 2014

arxiv: v1 [math.co] 22 May 2014 Using recurrence relations to count certain elements in symmetric groups arxiv:1405.5620v1 [math.co] 22 May 2014 S.P. GLASBY Abstract. We use the fact that certain cosets of the stabilizer of points are

More information

On Counting the Number of Tilings of a Rectangle with Squares of Size 1 and 2

On Counting the Number of Tilings of a Rectangle with Squares of Size 1 and 2 1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 20 (2017), Article 17.2.2 On Counting the Number of Tilings of a Rectangle with Squares of Size 1 and 2 Johan Nilsson LIPN Université Paris 13 93430

More information

arxiv: v2 [math.nt] 4 Jun 2016

arxiv: v2 [math.nt] 4 Jun 2016 ON THE p-adic VALUATION OF STIRLING NUMBERS OF THE FIRST KIND PAOLO LEONETTI AND CARLO SANNA arxiv:605.07424v2 [math.nt] 4 Jun 206 Abstract. For all integers n k, define H(n, k) := /(i i k ), where the

More information

ON THE LEAST NUMBER OF PALINDROMES IN AN INFINITE WORD

ON THE LEAST NUMBER OF PALINDROMES IN AN INFINITE WORD ON THE LEAST NUMBER OF PALINDROMES IN AN INFINITE WORD GABRIELE FICI AND LUCA Q. ZAMBONI ABSTRACT. We investigate the least number of palindromic factors in an infinite word. We first consider general

More information

arxiv: v1 [math.co] 30 Mar 2010

arxiv: v1 [math.co] 30 Mar 2010 arxiv:1003.5939v1 [math.co] 30 Mar 2010 Generalized Fibonacci recurrences and the lex-least De Bruijn sequence Joshua Cooper April 1, 2010 Abstract Christine E. Heitsch The skew of a binary string is the

More information

ASYMPTOTIC ENUMERATION OF PERMUTATIONS AVOIDING GENERALIZED PATTERNS

ASYMPTOTIC ENUMERATION OF PERMUTATIONS AVOIDING GENERALIZED PATTERNS ASYMPTOTIC ENUMERATION OF PERMUTATIONS AVOIDING GENERALIZED PATTERNS SERGI ELIZALDE Abstract. Motivated by the recent proof of the Stanley-Wilf conjecture, we study the asymptotic behavior of the number

More information

Generalized Fibonacci Numbers and Blackwell s Renewal Theorem

Generalized Fibonacci Numbers and Blackwell s Renewal Theorem Generalized Fibonacci Numbers and Blackwell s Renewal Theorem arxiv:1012.5006v1 [math.pr] 22 Dec 2010 Sören Christensen Christian-Albrechts-Universität, Mathematisches Seminar, Kiel, Germany Abstract:

More information

arxiv: v2 [math.co] 29 Jun 2016

arxiv: v2 [math.co] 29 Jun 2016 arxiv:1508.04949v2 [math.co] 29 Jun 2016 Complementary Families of the Fibonacci-Lucas Relations Ivica Martinjak Faculty of Science, University of Zagreb Bijenička cesta 32, HR-10000 Zagreb, Croatia Helmut

More information

arxiv:math/ v1 [math.co] 2 Oct 2002

arxiv:math/ v1 [math.co] 2 Oct 2002 PARTIALLY ORDERED GENERALIZED PATTERNS AND k-ary WORDS SERGEY KITAEV AND TOUFIK MANSOUR arxiv:math/020023v [math.co] 2 Oct 2002 Matematik, Chalmers tekniska högskola och Göteborgs universitet, S-42 96

More information

Chebyshev coordinates and Salem numbers

Chebyshev coordinates and Salem numbers Chebyshev coordinates and Salem numbers S.Capparelli and A. Del Fra arxiv:181.11869v1 [math.co] 31 Dec 018 January 1, 019 Abstract By expressing polynomials in the basis of Chebyshev polynomials, certain

More information

On Aperiodic Subtraction Games with Bounded Nim Sequence

On Aperiodic Subtraction Games with Bounded Nim Sequence On Aperiodic Subtraction Games with Bounded Nim Sequence Nathan Fox arxiv:1407.2823v1 [math.co] 10 Jul 2014 Abstract Subtraction games are a class of impartial combinatorial games whose positions correspond

More information

COMPLEMENTARY FAMILIES OF THE FIBONACCI-LUCAS RELATIONS. Ivica Martinjak Faculty of Science, University of Zagreb, Zagreb, Croatia

COMPLEMENTARY FAMILIES OF THE FIBONACCI-LUCAS RELATIONS. Ivica Martinjak Faculty of Science, University of Zagreb, Zagreb, Croatia #A2 INTEGERS 9 (209) COMPLEMENTARY FAMILIES OF THE FIBONACCI-LUCAS RELATIONS Ivica Martinjak Faculty of Science, University of Zagreb, Zagreb, Croatia imartinjak@phy.hr Helmut Prodinger Department of Mathematics,

More information

An Application of Catalan Numbers on Cayley Tree of Order 2: Single Polygon Counting

An Application of Catalan Numbers on Cayley Tree of Order 2: Single Polygon Counting BULLETIN of the Malaysian Mathematical Sciences Society http://math.usm.my/bulletin Bull. Malays. Math. Sci. Soc. (2) 31(2) (2008), 175 183 An Application of Catalan Numbers on Cayley Tree of Order 2:

More information

arxiv: v1 [math.ds] 18 Jan 2016

arxiv: v1 [math.ds] 18 Jan 2016 The structure of palindromes in the Fibonacci sequence and some applications Huang Yuke 1,2 Wen Zhiying 3,4 arxiv:1601.04391v1 [math.ds] 18 Jan 2016 ABSTRACT Let P be the set of palindromes occurring in

More information

SIMPLE ALGORITHM FOR SORTING THE FIBONACCI STRING ROTATIONS

SIMPLE ALGORITHM FOR SORTING THE FIBONACCI STRING ROTATIONS SIMPLE ALGORITHM FOR SORTING THE FIBONACCI STRING ROTATIONS Manolis Christodoulakis 1, Costas S. Iliopoulos 1, Yoan José Pinzón Ardila 2 1 King s College London, Department of Computer Science London WC2R

More information

1 Basic Combinatorics

1 Basic Combinatorics 1 Basic Combinatorics 1.1 Sets and sequences Sets. A set is an unordered collection of distinct objects. The objects are called elements of the set. We use braces to denote a set, for example, the set

More information

IDENTITIES INVOLVING BERNOULLI NUMBERS RELATED TO SUMS OF POWERS OF INTEGERS

IDENTITIES INVOLVING BERNOULLI NUMBERS RELATED TO SUMS OF POWERS OF INTEGERS IDENTITIES INVOLVING ERNOULLI NUMERS RELATED TO SUMS OF POWERS OF INTEGERS PIERLUIGI MAGLI Abstract. Pointing out the relations between integer power s sums and ernoulli and Genocchi polynomials, several

More information

Chapter 6. Properties of Regular Languages

Chapter 6. Properties of Regular Languages Chapter 6 Properties of Regular Languages Regular Sets and Languages Claim(1). The family of languages accepted by FSAs consists of precisely the regular sets over a given alphabet. Every regular set is

More information

The subword complexity of a class of infinite binary words

The subword complexity of a class of infinite binary words arxiv:math/0512256v1 [math.co] 13 Dec 2005 The subword complexity of a class of infinite binary words Irina Gheorghiciuc November 16, 2018 Abstract Let A q be a q-letter alphabet and w be a right infinite

More information

Special Factors and Suffix and Factor Automata

Special Factors and Suffix and Factor Automata Special Factors and Suffix and Factor Automata LIAFA, Paris 5 November 2010 Finite Words Let Σ be a finite alphabet, e.g. Σ = {a, n, b, c}. A word over Σ is finite concatenation of symbols of Σ, that is,

More information

arxiv: v1 [cs.dm] 13 Feb 2010

arxiv: v1 [cs.dm] 13 Feb 2010 Properties of palindromes in finite words arxiv:1002.2723v1 [cs.dm] 13 Feb 2010 Mira-Cristiana ANISIU Valeriu ANISIU Zoltán KÁSA Abstract We present a method which displays all palindromes of a given length

More information

Generalized Thue-Morse words and palindromic richness extended abstract

Generalized Thue-Morse words and palindromic richness extended abstract arxiv:1104.2476v2 [math.co] 26 Apr 2011 1 Introduction Generalized Thue-Morse words and palindromic richness extended abstract Štěpán Starosta Department of Mathematics, FNSPE, Czech Technical University

More information

Enumerating Binary Strings

Enumerating Binary Strings International Mathematical Forum, Vol. 7, 2012, no. 38, 1865-1876 Enumerating Binary Strings without r-runs of Ones M. A. Nyblom School of Mathematics and Geospatial Science RMIT University Melbourne,

More information

1. Introduction

1. Introduction Séminaire Lotharingien de Combinatoire 49 (2002), Article B49a AVOIDING 2-LETTER SIGNED PATTERNS T. MANSOUR A AND J. WEST B A LaBRI (UMR 5800), Université Bordeaux, 35 cours de la Libération, 33405 Talence

More information

arxiv: v2 [math.co] 13 Mar 2019

arxiv: v2 [math.co] 13 Mar 2019 arxiv:1903.04541v2 [math.co] 13 Mar 2019 Edge colorings of graphs without monochromatic stars Lucas Colucci 1,2 lucascolucci@renyi.hu Ervin Győri 1,2 gyori.ervin@renyi.mta.hu Abhishek Methuku 3 abhishekmethuku@gmail.com

More information

Yi Wang Department of Applied Mathematics, Dalian University of Technology, Dalian , China (Submitted June 2002)

Yi Wang Department of Applied Mathematics, Dalian University of Technology, Dalian , China (Submitted June 2002) SELF-INVERSE SEQUENCES RELATED TO A BINOMIAL INVERSE PAIR Yi Wang Department of Applied Mathematics, Dalian University of Technology, Dalian 116024, China (Submitted June 2002) 1 INTRODUCTION Pairs of

More information

arxiv: v2 [math.co] 24 Oct 2012

arxiv: v2 [math.co] 24 Oct 2012 On minimal factorizations of words as products of palindromes A. Frid, S. Puzynina, L. Zamboni June 23, 2018 Abstract arxiv:1210.6179v2 [math.co] 24 Oct 2012 Given a finite word u, we define its palindromic

More information

Optimal Superprimitivity Testing for Strings

Optimal Superprimitivity Testing for Strings Optimal Superprimitivity Testing for Strings Alberto Apostolico Martin Farach Costas S. Iliopoulos Fibonacci Report 90.7 August 1990 - Revised: March 1991 Abstract A string w covers another string z if

More information

ON PARTITIONS SEPARATING WORDS. Formal languages; finite automata; separation by closed sets.

ON PARTITIONS SEPARATING WORDS. Formal languages; finite automata; separation by closed sets. ON PARTITIONS SEPARATING WORDS Abstract. Partitions {L k } m k=1 of A+ into m pairwise disjoint languages L 1, L 2,..., L m such that L k = L + k for k = 1, 2,..., m are considered. It is proved that such

More information

Counting Peaks and Valleys in a Partition of a Set

Counting Peaks and Valleys in a Partition of a Set 1 47 6 11 Journal of Integer Sequences Vol. 1 010 Article 10.6.8 Counting Peas and Valleys in a Partition of a Set Toufi Mansour Department of Mathematics University of Haifa 1905 Haifa Israel toufi@math.haifa.ac.il

More information

INITIAL POWERS OF STURMIAN SEQUENCES

INITIAL POWERS OF STURMIAN SEQUENCES INITIAL POWERS OF STURMIAN SEQUENCES VALÉRIE BERTHÉ, CHARLES HOLTON, AND LUCA Q. ZAMBONI Abstract. We investigate powers of prefixes in Sturmian sequences. We obtain an explicit formula for ice(ω), the

More information

COMPLEXITY OF SHORT RECTANGLES AND PERIODICITY

COMPLEXITY OF SHORT RECTANGLES AND PERIODICITY COMPLEXITY OF SHORT RECTANGLES AND PERIODICITY VAN CYR AND BRYNA KRA Abstract. The Morse-Hedlund Theorem states that a bi-infinite sequence η in a finite alphabet is periodic if and only if there exists

More information

A n = A N = [ N, N] A n = A 1 = [ 1, 1]. n=1

A n = A N = [ N, N] A n = A 1 = [ 1, 1]. n=1 Math 235: Assignment 1 Solutions 1.1: For n N not zero, let A n = [ n, n] (The closed interval in R containing all real numbers x satisfying n x n). It is easy to see that we have the chain of inclusion

More information

1 Alphabets and Languages

1 Alphabets and Languages 1 Alphabets and Languages Look at handout 1 (inference rules for sets) and use the rules on some examples like {a} {{a}} {a} {a, b}, {a} {{a}}, {a} {{a}}, {a} {a, b}, a {{a}}, a {a, b}, a {{a}}, a {a,

More information

Harvard CS121 and CSCI E-121 Lecture 2: Mathematical Preliminaries

Harvard CS121 and CSCI E-121 Lecture 2: Mathematical Preliminaries Harvard CS121 and CSCI E-121 Lecture 2: Mathematical Preliminaries Harry Lewis September 5, 2013 Reading: Sipser, Chapter 0 Sets Sets are defined by their members A = B means that for every x, x A iff

More information

Games derived from a generalized Thue-Morse word

Games derived from a generalized Thue-Morse word Games derived from a generalized Thue-Morse word Aviezri S. Fraenkel, Dept. of Computer Science and Applied Mathematics, Weizmann Institute of Science, Rehovot 76100, Israel; fraenkel@wisdom.weizmann.ac.il

More information

Words with the Smallest Number of Closed Factors

Words with the Smallest Number of Closed Factors Words with the Smallest Number of Closed Factors Gabriele Fici Zsuzsanna Lipták Abstract A word is closed if it contains a factor that occurs both as a prefix and as a suffix but does not have internal

More information

Worst-case analysis of Weber s GCD algorithm

Worst-case analysis of Weber s GCD algorithm Information Processing Letters 72 (1999) 125 130 Worst-case analysis of Weber s GCD algorithm Christian Lavault, S. Mohamed Sedjelmaci LIPN, Université Paris-Nord, 93430 Villetaneuse, France Received 30

More information

arxiv: v1 [math.co] 29 Apr 2013

arxiv: v1 [math.co] 29 Apr 2013 Cyclic permutations realized by signed shifts Kassie Archer and Sergi Elizalde arxiv:1304.7790v1 [math.co] 9 Apr 013 Abstract The periodic (ordinal) patterns of a map are the permutations realized by the

More information

Asymptotics for minimal overlapping patterns for generalized Euler permutations, standard tableaux of rectangular shapes, and column strict arrays

Asymptotics for minimal overlapping patterns for generalized Euler permutations, standard tableaux of rectangular shapes, and column strict arrays Discrete Mathematics and Theoretical Computer Science DMTCS vol. 8:, 06, #6 arxiv:50.0890v4 [math.co] 6 May 06 Asymptotics for minimal overlapping patterns for generalized Euler permutations, standard

More information

TILING PROOFS OF SOME FORMULAS FOR THE PELL NUMBERS OF ODD INDEX

TILING PROOFS OF SOME FORMULAS FOR THE PELL NUMBERS OF ODD INDEX #A05 INTEGERS 9 (2009), 53-64 TILING PROOFS OF SOME FORMULAS FOR THE PELL NUMBERS OF ODD INDEX Mark Shattuck Department of Mathematics, University of Tennessee, Knoxville, TN 37996-1300 shattuck@math.utk.edu

More information

Discrete dynamics on the real line

Discrete dynamics on the real line Chapter 2 Discrete dynamics on the real line We consider the discrete time dynamical system x n+1 = f(x n ) for a continuous map f : R R. Definitions The forward orbit of x 0 is: O + (x 0 ) = {x 0, f(x

More information

Application of Logic to Generating Functions. Holonomic (P-recursive) Sequences

Application of Logic to Generating Functions. Holonomic (P-recursive) Sequences Application of Logic to Generating Functions Holonomic (P-recursive) Sequences Johann A. Makowsky Faculty of Computer Science, Technion - Israel Institute of Technology, Haifa, Israel http://www.cs.technion.ac.il/

More information

Algorithms: Background

Algorithms: Background Algorithms: Background Amotz Bar-Noy CUNY Amotz Bar-Noy (CUNY) Algorithms: Background 1 / 66 What is a Proof? Definition I: The cogency of evidence that compels acceptance by the mind of a truth or a fact.

More information

A PASCAL-LIKE BOUND FOR THE NUMBER OF NECKLACES WITH FIXED DENSITY

A PASCAL-LIKE BOUND FOR THE NUMBER OF NECKLACES WITH FIXED DENSITY A PASCAL-LIKE BOUND FOR THE NUMBER OF NECKLACES WITH FIXED DENSITY I. HECKENBERGER AND J. SAWADA Abstract. A bound resembling Pascal s identity is presented for binary necklaces with fixed density using

More information

Combining aperiodic order with structural disorder: branching cellular automata

Combining aperiodic order with structural disorder: branching cellular automata Combining aperiodic order with structural disorder: branching cellular automata Michel Dekking Lorentz Center Workshop 30-40 minutes lecture May 31, 2016 Branching cellular automata Branching cellular

More information

De Bruijn Sequences for the Binary Strings with Maximum Density

De Bruijn Sequences for the Binary Strings with Maximum Density De Bruijn Sequences for the Binary Strings with Maximum Density Joe Sawada 1, Brett Stevens 2, and Aaron Williams 2 1 jsawada@uoguelph.ca School of Computer Science, University of Guelph, CANADA 2 brett@math.carleton.ca

More information

Entropy dimensions and a class of constructive examples

Entropy dimensions and a class of constructive examples Entropy dimensions and a class of constructive examples Sébastien Ferenczi Institut de Mathématiques de Luminy CNRS - UMR 6206 Case 907, 63 av. de Luminy F3288 Marseille Cedex 9 (France) and Fédération

More information

Point Sets and Dynamical Systems in the Autocorrelation Topology

Point Sets and Dynamical Systems in the Autocorrelation Topology Point Sets and Dynamical Systems in the Autocorrelation Topology Robert V. Moody and Nicolae Strungaru Department of Mathematical and Statistical Sciences University of Alberta, Edmonton Canada, T6G 2G1

More information

arxiv:math/ v1 [math.co] 11 Oct 2002

arxiv:math/ v1 [math.co] 11 Oct 2002 COUNTING THE OCCURRENCES OF GENERALIZED PATTERNS IN WORDS GENERATED BY A MORPHISM arxiv:math/0210170v1 [math.co] 11 Oct 2002 Sergey Kitaev and Toufik Mansour 1 Matematik, Chalmers tekniska högskola och

More information

Counting Matrices Over a Finite Field With All Eigenvalues in the Field

Counting Matrices Over a Finite Field With All Eigenvalues in the Field Counting Matrices Over a Finite Field With All Eigenvalues in the Field Lisa Kaylor David Offner Department of Mathematics and Computer Science Westminster College, Pennsylvania, USA kaylorlm@wclive.westminster.edu

More information

FINE AND WILF WORDS FOR ANY PERIODS II. R. Tijdeman and L.Q. Zamboni

FINE AND WILF WORDS FOR ANY PERIODS II. R. Tijdeman and L.Q. Zamboni FINE AND WILF WORDS FOR ANY PERIODS II R. Tijdeman and L.Q. Zamboni Abstract. Given positive integers n, and p 1,..., p r, we define a fast word combinatorial algorithm for constructing a word w = w 1

More information

Random walks on Z with exponentially increasing step length and Bernoulli convolutions

Random walks on Z with exponentially increasing step length and Bernoulli convolutions Random walks on Z with exponentially increasing step length and Bernoulli convolutions Jörg Neunhäuserer University of Hannover, Germany joerg.neunhaeuserer@web.de Abstract We establish a correspondence

More information

One Pile Nim with Arbitrary Move Function

One Pile Nim with Arbitrary Move Function One Pile Nim with Arbitrary Move Function by Arthur Holshouser and Harold Reiter Arthur Holshouser 3600 Bullard St. Charlotte, NC, USA, 28208 Harold Reiter Department of Mathematics UNC Charlotte Charlotte,

More information

arxiv: v1 [math.co] 21 Sep 2015

arxiv: v1 [math.co] 21 Sep 2015 Chocolate Numbers arxiv:1509.06093v1 [math.co] 21 Sep 2015 Caleb Ji, Tanya Khovanova, Robin Park, Angela Song September 22, 2015 Abstract In this paper, we consider a game played on a rectangular m n gridded

More information

About Duval Extensions

About Duval Extensions About Duval Extensions Tero Harju Dirk Nowotka Turku Centre for Computer Science, TUCS Department of Mathematics, University of Turku June 2003 Abstract A word v = wu is a (nontrivial) Duval extension

More information

arxiv: v1 [math.co] 8 Dec 2013

arxiv: v1 [math.co] 8 Dec 2013 1 A Class of Kazhdan-Lusztig R-Polynomials and q-fibonacci Numbers William Y.C. Chen 1, Neil J.Y. Fan 2, Peter L. Guo 3, Michael X.X. Zhong 4 arxiv:1312.2170v1 [math.co] 8 Dec 2013 1,3,4 Center for Combinatorics,

More information

LINEAR RECURRENCES AND CHEBYSHEV POLYNOMIALS

LINEAR RECURRENCES AND CHEBYSHEV POLYNOMIALS LINEAR RECURRENCES AND CHEBYSHEV POLYNOMIALS Sergey Kitaev Matematik Chalmers tekniska högskola och Göteborgs universitet S-412 96 Göteborg Sweden e-mail: kitaev@math.chalmers.se Toufik Mansour Matematik

More information

arxiv: v1 [math.co] 11 Aug 2015

arxiv: v1 [math.co] 11 Aug 2015 arxiv:1508.02762v1 [math.co] 11 Aug 2015 A Family of the Zeckendorf Theorem Related Identities Ivica Martinjak Faculty of Science, University of Zagreb Bijenička cesta 32, HR-10000 Zagreb, Croatia Abstract

More information

On Minimal Words With Given Subword Complexity

On Minimal Words With Given Subword Complexity On Minimal Words With Given Subword Complexity Ming-wei Wang Department of Computer Science University of Waterloo Waterloo, Ontario N2L 3G CANADA m2wang@neumann.uwaterloo.ca Jeffrey Shallit Department

More information

arxiv: v1 [math.co] 22 Jan 2013

arxiv: v1 [math.co] 22 Jan 2013 A Coloring Problem for Sturmian and Episturmian Words Aldo de Luca 1, Elena V. Pribavkina 2, and Luca Q. Zamboni 3 arxiv:1301.5263v1 [math.co] 22 Jan 2013 1 Dipartimento di Matematica Università di Napoli

More information

Exercises with solutions (Set B)

Exercises with solutions (Set B) Exercises with solutions (Set B) 3. A fair coin is tossed an infinite number of times. Let Y n be a random variable, with n Z, that describes the outcome of the n-th coin toss. If the outcome of the n-th

More information

Counting permutations by cyclic peaks and valleys

Counting permutations by cyclic peaks and valleys Annales Mathematicae et Informaticae 43 (2014) pp. 43 54 http://ami.ektf.hu Counting permutations by cyclic peaks and valleys Chak-On Chow a, Shi-Mei Ma b, Toufik Mansour c Mark Shattuck d a Division of

More information

Combinatorics On Sturmian Words. Amy Glen. Major Review Seminar. February 27, 2004 DISCIPLINE OF PURE MATHEMATICS

Combinatorics On Sturmian Words. Amy Glen. Major Review Seminar. February 27, 2004 DISCIPLINE OF PURE MATHEMATICS Combinatorics On Sturmian Words Amy Glen Major Review Seminar February 27, 2004 DISCIPLINE OF PURE MATHEMATICS OUTLINE Finite and Infinite Words Sturmian Words Mechanical Words and Cutting Sequences Infinite

More information

Grammars (part II) Prof. Dan A. Simovici UMB

Grammars (part II) Prof. Dan A. Simovici UMB rammars (part II) Prof. Dan A. Simovici UMB 1 / 1 Outline 2 / 1 Length-Increasing vs. Context-Sensitive rammars Theorem The class L 1 equals the class of length-increasing languages. 3 / 1 Length-Increasing

More information

arxiv: v1 [math.sp] 12 Oct 2012

arxiv: v1 [math.sp] 12 Oct 2012 Some Comments on the Inverse Problem of Pure Point Diffraction Venta Terauds and Michael Baake arxiv:0.360v [math.sp] Oct 0 Abstract In a recent paper [], Lenz and Moody presented a method for constructing

More information

The distribution of run lengths in integer compositions

The distribution of run lengths in integer compositions The distribution of run lengths in integer compositions Herbert S Wilf University of Pennsylvania Philadelphia PA 19104-6395, USA wilf@mathupennedu Submitted: Mar 7, 2010; Accepted: Oct 9, 2011; Published:

More information

Jumping Sequences. Steve Butler 1. (joint work with Ron Graham and Nan Zang) University of California Los Angelese

Jumping Sequences. Steve Butler 1. (joint work with Ron Graham and Nan Zang) University of California Los Angelese Jumping Sequences Steve Butler 1 (joint work with Ron Graham and Nan Zang) 1 Department of Mathematics University of California Los Angelese www.math.ucla.edu/~butler UCSD Combinatorics Seminar 14 October

More information

Algorithms for pattern involvement in permutations

Algorithms for pattern involvement in permutations Algorithms for pattern involvement in permutations M. H. Albert Department of Computer Science R. E. L. Aldred Department of Mathematics and Statistics M. D. Atkinson Department of Computer Science D.

More information

ALL TEXTS BELONG TO OWNERS. Candidate code: glt090 TAKEN FROM

ALL TEXTS BELONG TO OWNERS. Candidate code: glt090 TAKEN FROM How are Generating Functions used in finding the closed form of sequences involving recurrence relations and in the analysis of probability distributions? Mathematics Extended Essay Word count: 3865 Abstract

More information

A ternary square-free sequence avoiding factors equivalent to abcacba

A ternary square-free sequence avoiding factors equivalent to abcacba A ternary square-free sequence avoiding factors equivalent to abcacba James Currie Department of Mathematics & Statistics University of Winnipeg Winnipeg, MB Canada R3B 2E9 j.currie@uwinnipeg.ca Submitted:

More information

Summation of certain infinite Fibonacci related series

Summation of certain infinite Fibonacci related series arxiv:52.09033v (30 Dec 205) Summation of certain infinite Fibonacci related series Bakir Farhi Laboratoire de Mathématiques appliquées Faculté des Sciences Exactes Université de Bejaia 06000 Bejaia Algeria

More information

arxiv: v3 [math.co] 25 Feb 2019

arxiv: v3 [math.co] 25 Feb 2019 Extremal Theta-free planar graphs arxiv:111.01614v3 [math.co] 25 Feb 2019 Yongxin Lan and Yongtang Shi Center for Combinatorics and LPMC Nankai University, Tianjin 30001, China and Zi-Xia Song Department

More information

EVALUATION OF A FAMILY OF BINOMIAL DETERMINANTS

EVALUATION OF A FAMILY OF BINOMIAL DETERMINANTS EVALUATION OF A FAMILY OF BINOMIAL DETERMINANTS CHARLES HELOU AND JAMES A SELLERS Abstract Motivated by a recent work about finite sequences where the n-th term is bounded by n, we evaluate some classes

More information

ON POLYNOMIAL IDENTITIES FOR RECURSIVE SEQUENCES

ON POLYNOMIAL IDENTITIES FOR RECURSIVE SEQUENCES Miskolc Mathematical Notes HU e-issn 1787-2413 Vol. 18 (2017), No. 1, pp. 327 336 DOI: 10.18514/MMN.2017.1776 ON POLYNOMIAL IDENTITIES FOR RECURSIVE SEQUENCES I. MARTINJAK AND I. VRSALJKO Received 09 September,

More information

ON THE STAR-HEIGHT OF SUBWORD COUNTING LANGUAGES AND THEIR RELATIONSHIP TO REES ZERO-MATRIX SEMIGROUPS

ON THE STAR-HEIGHT OF SUBWORD COUNTING LANGUAGES AND THEIR RELATIONSHIP TO REES ZERO-MATRIX SEMIGROUPS ON THE STAR-HEIGHT OF SUBWORD COUNTING LANGUAGES AND THEIR RELATIONSHIP TO REES ZERO-MATRIX SEMIGROUPS TOM BOURNE AND NIK RUŠKUC Abstract. Given a word w over a finite alphabet, we consider, in three special

More information

Series of Error Terms for Rational Approximations of Irrational Numbers

Series of Error Terms for Rational Approximations of Irrational Numbers 2 3 47 6 23 Journal of Integer Sequences, Vol. 4 20, Article..4 Series of Error Terms for Rational Approximations of Irrational Numbers Carsten Elsner Fachhochschule für die Wirtschaft Hannover Freundallee

More information

Counting k-marked Durfee Symbols

Counting k-marked Durfee Symbols Counting k-marked Durfee Symbols Kağan Kurşungöz Department of Mathematics The Pennsylvania State University University Park PA 602 kursun@math.psu.edu Submitted: May 7 200; Accepted: Feb 5 20; Published:

More information

Linear chord diagrams with long chords

Linear chord diagrams with long chords Linear chord diagrams with long chords Everett Sullivan arxiv:1611.02771v1 [math.co] 8 Nov 2016 Version 1.0 November 10, 2016 Abstract A linear chord diagram of size n is a partition of the set {1,2,,2n}

More information

Math 730 Homework 6. Austin Mohr. October 14, 2009

Math 730 Homework 6. Austin Mohr. October 14, 2009 Math 730 Homework 6 Austin Mohr October 14, 2009 1 Problem 3A2 Proposition 1.1. If A X, then the family τ of all subsets of X which contain A, together with the empty set φ, is a topology on X. Proof.

More information

Languages and monoids with disjunctive identity

Languages and monoids with disjunctive identity Languages and monoids with disjunctive identity Lila Kari and Gabriel Thierrin Department of Mathematics, University of Western Ontario London, Ontario, N6A 5B7 Canada Abstract We show that the syntactic

More information

arxiv: v1 [math.gr] 5 Feb 2008

arxiv: v1 [math.gr] 5 Feb 2008 arxiv:0802.0584v1 [math.gr] 5 Feb 2008 ON SEVERAL PROBLEMS ABOUT AUTOMORPHISMS OF THE FREE GROUP OF RANK TWO DONGHI LEE Abstract. Let F n be a free group of rank n. In this paper we discuss three algorithmic

More information

Counting Palindromic Binary Strings Without r-runs of Ones

Counting Palindromic Binary Strings Without r-runs of Ones 1 3 47 6 3 11 Journal of Integer Sequences, Vol. 16 (013), Article 13.8.7 Counting Palindromic Binary Strings Without r-runs of Ones M. A. Nyblom School of Mathematics and Geospatial Science RMIT University

More information

Sequences that satisfy a(n a(n)) = 0

Sequences that satisfy a(n a(n)) = 0 Sequences that satisfy a(n a(n)) = 0 Nate Kube Frank Ruskey October 13, 2005 Abstract We explore the properties of some sequences for which a(n a(n)) = 0. Under the natural restriction that a(n) < n the

More information

arxiv: v1 [math.co] 13 Jul 2017

arxiv: v1 [math.co] 13 Jul 2017 A GENERATING FUNCTION FOR THE DISTRIBUTION OF RUNS IN BINARY WORDS arxiv:1707.04351v1 [math.co] 13 Jul 2017 JAMES J. MADDEN Abstract. Let N(n, r, k) denote the number of binary words of length n that begin

More information

Isomorphisms between pattern classes

Isomorphisms between pattern classes Journal of Combinatorics olume 0, Number 0, 1 8, 0000 Isomorphisms between pattern classes M. H. Albert, M. D. Atkinson and Anders Claesson Isomorphisms φ : A B between pattern classes are considered.

More information

Palindromic complexity of infinite words associated with simple Parry numbers

Palindromic complexity of infinite words associated with simple Parry numbers Palindromic complexity of infinite words associated with simple Parry numbers Petr Ambrož (1)(2) Christiane Frougny (2)(3) Zuzana Masáková (1) Edita Pelantová (1) March 22, 2006 (1) Doppler Institute for

More information

On the Sylvester Denumerants for General Restricted Partitions

On the Sylvester Denumerants for General Restricted Partitions On the Sylvester Denumerants for General Restricted Partitions Geir Agnarsson Abstract Let n be a nonnegative integer and let ã = (a 1... a k be a k-tuple of positive integers. The term denumerant introduced

More information

Properties of Fibonacci languages

Properties of Fibonacci languages Discrete Mathematics 224 (2000) 215 223 www.elsevier.com/locate/disc Properties of Fibonacci languages S.S Yu a;, Yu-Kuang Zhao b a Department of Applied Mathematics, National Chung-Hsing University, Taichung,

More information

Mathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations

Mathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations Mathematics Course 111: Algebra I Part I: Algebraic Structures, Sets and Permutations D. R. Wilkins Academic Year 1996-7 1 Number Systems and Matrix Algebra Integers The whole numbers 0, ±1, ±2, ±3, ±4,...

More information

FINE AND WILF WORDS FOR ANY PERIODS II. R. Tijdeman and L. Zamboni

FINE AND WILF WORDS FOR ANY PERIODS II. R. Tijdeman and L. Zamboni FINE AND WILF WORDS FOR ANY PERIODS II R. Tijdeman and L. Zamboni Abstract. In 2003 the authors introduced a fast algorithm to determine the word w = w 1...w n of maximal length n, and with a maximal number

More information

ON HIGHLY PALINDROMIC WORDS

ON HIGHLY PALINDROMIC WORDS ON HIGHLY PALINDROMIC WORDS Abstract. We study some properties of palindromic (scattered) subwords of binary words. In view of the classical problem on subwords, we show that the set of palindromic subwords

More information