From p-adic numbers to p-adic words
|
|
- Ann Gallagher
- 5 years ago
- Views:
Transcription
1 From p-adic numbers to p-adic words Jean-Éric Pin1 1 January 2014, Lorentz Center, Leiden
2 References I S. Eilenberg, Automata, Languages and Machines, Vol B, Acad. Press, New-York (1976). M. Lothaire, Combinatorics on Words, Cambridge Mathematical Library (1997). P. Ochsenschlager, Binomialkoeffizenten und Shuffle-Zahlen, Techn. Bericht, Fachbereicht Informatik, T.H. Darmstadt (1981). J. Berstel, M. Crochemore and J.-É. Pin, Thue sequence and p-adic topology of the free monoid, Discrete Mathematics 76 (1989),
3 Outline Part 1: From integers to words (1) The p-adic valuation (2) Subwords and binomial coefficients (3) The p-adic and pro-p topologies Part 2: Converging sequences (1) A first example (2) The Thue-Morse sequence strikes back Part 3: Mahler s theorem on interpolation series
4 Part I From integers to words
5 The p-adic valuation and the p-adic norm Let p be a prime number. The p-adic valuation of a non-zero integer n is v p (n) = max { k N p k divides n } By convention, v p (0) = +. The p-adic norm of n is the real number n p = p v p(n) Finally, the metric d p is defined by d p (x,y) = x y p
6 Examples Let n = 1200 = n 2 = 2 4 n 3 = 3 1 n 5 = 5 2 n 7 = 1 Let x = 512 and y = 12. Then x y = 500 = Thus d 2 (x,y) = 2 2 d 5 (x,y) = 5 3 d p (x,y) = p 0 = 1 for p 2,5
7 p-adic integers Some properties of the p-adic norm: xy p = x p y p x+y p max{ x p, y p } The ring Z p of p-adic integers is the completion of the metric space (N,d p ). It can also be defined as the inverse limit of the rings Z/p n Z.
8 Extension to the free monoid We denote by A the free monoid on the set A. Note that the map n a n defines a monoid isomorphism from (N,+) onto the free monoid a. Question. Is it possible to extend the p-adic norm and the p-adic metric to words in some natural way? Two (related) solutions. One is based on the extension of binomial coefficients to words, the other one relies on p-groups (the pro-p topology).
9 Subwords Let u = a 1 a n and v be two words of A. Then u is a subword of v if there exist v 0,...,v n A such that v = v 0 a 1 v 1 a 2 v n 1 a n v n. aaba is a subword of aacbdcac brcdbr is a subword of abracadabra office is a subword of coefficient pin is a subword of capobianco.
10 Binomial coefficients (see Eilenberg or Lothaire) Given two words u and x = a 1 a 2 a n, the binomial coefficient ( u x) is the number of times that x appears as a subword of u. That is, ( ) u = {(u 0,...,u n ) u = u 0 a 1 u 1 a 2...u n 1 a n u n } x
11 Some examples ( ) ( ) abab abab = 2 = 3 a ab Indeed abab = abab = abab. ( ) abab = 1 ba If a is a letter, then ( ) ( ) u a n = u a and = a a m ( ) abbabaab Exercise. =?? aab ( ) n m
12 An extension of the p-adic distance Let u and v be two words. Put { ( ) u r p (u,v) = min x x d p (u,v) = 1 r p (u,v) ( ) } v mod p x with the usual convention min = and p = 0. Then d p is an ultrametric: (1) d p (u,v) = 0 if and only if u = v, (2) d p (u,v) = d p (v,u), (3) d p (u,v) max(d p (u,w),d p (w,v))
13 The case of natural numbers Theorem (Consequence of Lucas theorem) Let n and m be natural numbers. Then r p (a n,a m ) = p n m p In other words, for 0 < k < p n m p, ( ) ( ) n m mod p k k and ( n p n m p ) ( m p n m p ) mod p
14 p-adic norm This leads to the following definitions { ( ) ( ) u v r p (u,v) = min x x x 1 d p (u,v) = r p (u,v) v p (u) = log p r p (u,1) u p = p v p(u) = 1 r p (u,1) = d p(u,1) } mod p
15 Three ways of computing binomial coefficients (1) Magnus transformation (2) Pascal s rule for words (3) Matrices
16 The Magnus transformation The Magnus transformation µ : Z A Z A, defined by µ(a) = 1+a and µ(b) = 1+b and extended by multiplication. Thus µ(1) = 1 and µ(abab) = (1+a)(1+b)(1+a)(1+b) = (1+a+b+ab)(1+a+b+ab) = 1+a+b+ab+a+aa+ba+aba+b +ab+bb+abb+ab+aab+bab+abab = 1+2a+2b+aa+3ab+ba+bb +aab+aba+abb+bab+abab More generally µ(u) = ( ) u x (Exercise) x x A
17 Pascal s triangle ( ) n = m ( ) n 1 + m 1 ( ) n 1 m
18 Extending Pascal s rule to words Let u,v ( ) A and a,b A. Then u (1) = 1, 1 ( ) u (2) = 0 if u v and u v, v ( ) u ( ) ua if a b vb (3) = ( ) ( ) vb u u + if a = b vb v ( ) uv (4) = ( )( ) u v (Exercise) x x x 1 x 2 =x 1 x 2
19 An exercise on matrices Verify that, for all words u,v {a,b}, 1 ( ( u u ) a) ab 1 ( ( v v ) ( 0 1 u a) ab 1 ( ) ( uv uv ) a ab ( b) 0 1 v b) = ( 0 1 uv ) b Applying this formula to u = abb yields =
20 Computing binomial coefficients with matrices Let a 1 a 2 a n be a word. The function τ : A M n+1 (Z) defined by 1 ( ) ( u u ) ( u ) ( a a 1 a 2 a 1 a 2 a 3... u ( 0 1 u ) ( u ) ( a 2 a 2 a 3... u ( u ) ( a τ(u) = 3... u ( u ) a n ) a 1 a 2 a n ) a 2 a n ) a 3 a n is a morphism of monoids: τ(u)τ(v) = τ(uv).
21 Computing binomial coefficients modulo p The function τ p : A M n+1 (Z/pZ) defined by τ p (u) τ(u) mod p is a morphism of monoids. Furthermore, the monoid τ p (A ) is a finite p-group, that is, a group whose number of elements is a power of p.
22 Languages and binomial coefficients (1) L 1 = = { ( ) u } u {a,b} 0 mod 2 ab (b+a ( b(ab a) b ) ) a a b a b a b a b The transition monoid of this automaton (syntactic monoid of L 1 ) is the dihedral group D 4 (of size 8).
23 Languages and binomial coefficients (2) ( ) u L 2 = {u {a,b} + aa a 1 2 ( ) u 0 mod 2} ab a,b b b a,b 4 a 3 The syntactic monoid of L 2 is also D 4.
24 Languages and binomial coefficients (3) { ( ) ( ) u u L 3 = u {a,b} 0 mod 2 and a b ( ) ( ) ( ) } u u u mod 2 ab aa bb The syntactic monoid of L 3 is the quaternion group Q 8 (of order 8).
25 a 5 b b 6 a b b 1 a 2 a a 4 a 3 b b a 8 b b 7 a
26 Languages recognized by a p-group A language whose syntactic monoid is a finite p-group is called a p-group language. Theorem (Eilenberg-Schützenberger 1976) A language of A is a p-group language iff it is a Boolean combination of the languages { ( ) } u L(x,r,p) = u A r mod p, x for 0 r < p and x A.
27 Separating word by p-groups Let u and v be two words of A. A p-group G separates u and v if there is a monoid morphism ϕ from A onto G such that ϕ(u) ϕ(v). Proposition Any pair of distinct words can be separated by a finite p-group. Proof. Wlog, we may assume that u is not a subword of v. Let L = { w A ( } w u) 1 mod p. Then u L since ( ( u u) = 1 and v / L since v u) = 0.
28 The pro-p metric Let x and y be two words. Put v p (x,y) = min { k there is a group of order p k+1 that separates x and y} d p(x,y) = p v p(x,y) v p (x) = v p (x,1) x p = p v p(x) Then d p is an ultrametric.
29 An equivalent metric Proposition d p is an ultrametric uniformly equivalent to d p. Theorem A function f : A B is uniformly continuous for d p iff, for every p-group language L of B, f 1 (L) is a p-group language of A.
30 Part II Converging sequences
31 Binomial coefficients (see Eilenberg or Lothaire) Given two words u and x = a 1 a 2 a n, the binomial coefficient ( u x) is the number of times that x appears as a subword of u. That is, ( ) u = {(u 0,...,u n ) u = u 0 a 1 u 1 a 2...u n 1 a n u n } x
32 Some examples ( ) ( ) abab abab = 2 = 3 a ab Indeed abab = abab = abab. ( ) abab = 1 ba If a is a letter, then ( ) ( ) u a n = u a and = a a m ( ) abbabaab Exercise. = 7 aab ( ) n m
33 An extension of the p-adic distance Let u and v be two words. Put { ( ) u r p (u,v) = min x x d p (u,v) = 1 r p (u,v) ( ) } v mod p x with the usual convention min = and p = 0. Then d p is an ultrametric: (1) d p (u,v) = 0 if and only if u = v, (2) d p (u,v) = d p (v,u), (3) d p (u,v) max(d p (u,w),d p (w,v))
34 The Magnus transformation The Magnus transformation µ : Z A Z A, defined by µ(a) = 1+a and µ(b) = 1+b and extended by multiplication. Thus µ(1) = 1 and µ(abab) = (1+a)(1+b)(1+a)(1+b) = (1+a+b+ab)(1+a+b+ab) = 1+a+b+ab+a+aa+ba+aba+b +ab+bb+abb+ab+aab+bab+abab = 1+2a+2b+aa+3ab+ba+bb +aab+aba+abb+bab+abab More generally µ(u) = ( ) u x (Exercise) x x A
35 An exercise on matrices Verify that, for all words u,v {a,b}, 1 ( ( u u ) a) ab 1 ( ( v v ) ( 0 1 u a) ab 1 ( ) ( uv uv ) a ab ( b) 0 1 v b) = ( 0 1 uv ) b Applying this formula to u = abb yields =
36 The pro-p metric Let x and y be two words. Put v p (x,y) = min { k there is a group of order p k+1 that separates x and y} d p(x,y) = p v p(x,y) v p (x) = v p (x,1) x p = p v p(x) Then d p is an ultrametric.
37 An equivalent metric Proposition d p is an ultrametric uniformly equivalent to d p. Theorem A function f : A B is uniformly continuous for d p iff, for every p-group language L of B, f 1 (L) is a p-group language of A.
38 Converging sequences Let (u n ) n 0 be a sequence of words and let u be a word. Are equivalent: (1) lim n u n = u, (2) For every k > 0, there is an N such that, for all n N and( for) all words ( ) x such that un u 0 < x k, mod p x x (3) For every k > 0, there is an N such that, for all n N and for all morphisms ϕ from A to a p-group of order p k, ϕ(u n ) = ϕ(u).
39 A first example of converging sequence Proposition For every word u A, lim n u pn = 1. Proof. By the definition of the topology, it suffices to show that if ϕ : A G is a monoid morphism onto a p-group G, then lim n ϕ(g pn ) = 1. But if G = p k, then for n k, ϕ(g pn ) = ϕ(g) pn = 1 since the order of ϕ(g) divides p k.
40 The pro-p free group The completion of the metric space (A,d p ) is denoted by F p (A). Since the product on A is uniformly continuous, it extends uniquely to F p (A). Also, for all u F p (A) ( ) 1 lim = 1 = u lim n upn n upn It follows that lim n u pn 1 = u 1 and hence F p (A) is a group, called the pro-p free group on A. It can also be defined as the inverse limit of the inverse system of all discrete finite p-groups.
41 Thue-Morse sequence Let A = {a,b}, and let τ : A A be the monoid morphism defined by τ(a) = ab and τ(b) = ba. For every n 0, let u n = τ n (a) and v n = τ n (b). Then for each i, u i is a proper left factor of u i+1. The sequence u 0, u 1,..., defines an infinite word t = abbabaabbaababba called the infinite word of Thue-Morse. u 3 = abbabaab v 3 = baababba
42 Ochsenschlager s theorem Theorem (Ochsenschlager 1981) For ( every word x such that 0 x n, un ) ( x = vnx ). Furthermore there exists a word x of length n+1 such that ( u n ) ( x vnx ). For instance, ( ) abbabaab = 7 aab ( ) abbabaab = 4 aaab ( ) baababba = 7 aab ( ) baababba = 2 aaab
43 The first values of ( ) t[n] x for 0 < x 3 n a b aa ab ba bb aaa aab aba abb baa bab bba
44 The first values of ( ) t[n] x for 0 < x 3 n a b aa ab ba bb aaa aab aba abb baa bab bba n a b aa ab ba bb aaa aab aba abb baa bab bba
45 The first values of ( ) t[n] x for 0 < x 3 n a b aa ab ba bb aaa aab aba abb baa bab bba n a b aa ab ba bb aaa aab aba abb baa bab bba
46 The first values mod 2 of ( ) t[n] x for 0 < x 3 n a b aa ab ba bb aaa aab aba abb baa bab bba
47 The first values mod 2 of ( ) t[n] x for 0 < x 3 n a b aa ab ba bb aaa aab aba abb baa bab bba
48 The first values mod 3 of ( ) t[n] x for 0 < x 3 n a b aa ab ba bb aaa aab aba abb baa bab bba
49 The first values mod 3 of ( ) t[n] x for 0 < x 3 n a b aa ab ba bb aaa aab aba abb baa bab bba
50 The first values mod 3 of ( ) t[n] x for 0 < x 3 n a b aa ab ba bb aaa aab aba abb baa bab bba
51 The first values mod 3 of ( ) t[n] x for 0 < x 3 n a b aa ab ba bb aaa aab aba abb baa bab bba
52 The first values mod 3 of ( ) t[n] x for 0 < x 3 n a b aa ab ba bb aaa aab aba abb baa bab bba
53 The first values mod 3 of ( ) t[n] x for 0 < x 3 n a b aa ab ba bb aaa aab aba abb baa bab bba
54 The first values mod 3 of ( ) t[n] x for 0 < x 3 n a b aa ab ba bb aaa aab aba abb baa bab bba
55 The first values mod 5 of ( ) t[n] x for 0 < x 3 n a b aa ab ba bb aaa aab aba abb baa bab bba
56 The first values mod 5 of ( ) t[n] x for 0 < x 3 n a b aa ab ba bb aaa aab aba abb baa bab bba
57 The first values of f(2,n) n f(2, n) n f(2, n) n f(2,n)
58 Counting modulo 2 Consider the Fibonacci sequence defined by F 0 = 0, F 1 = 1 and F n+2 = F n+1 +F n for every n 0. Theorem (Berstel, Crochemore, Pin 1989) For every n 0 and for every word x such that 0 < x < F n, ( u n x ) ( vnx ) 0 mod 2. Corollary The sequence t[f(2,n)] converges to 1 in the pro-2 topology.
59 Counting modulo p 2 Let f(p,n) = 2 n p 1+ log pn. Theorem (Berstel, Crochemore, Pin 1989) For every prime number p and for every n > 0, there exists an m = f(p,n) such that, for every nonempty word x of length n, ( ) t[m] x 0 mod p. Corollary The sequence t[f(p,n)] converges to 1 in the pro-p topology..
60 Part III Mahler s theorem on interpolation series Mahler s theorem is the dream of math students: A function is equal to the sum of its Newton series iff it is uniformly continuous. s_theorem
61
62 References I K. Mahler, An interpolation series for continuous functions of a p- adic variable, J. Reine Angew. Math. 199 (1958), Correction 208 (1961), J.-É. Pin and P.V. Silva, A noncommutative extension of Mahler s theorem on interpolation series, European Journal of Combinatorics 36, (2014),
63 The difference operator Let f : N Z be a function. We set Note that ( f)(n) = f(n+1) f(n) ( 2 f)(n) = f(n+2) 2f(n+1)+f(n) ( k f)(n) = ( ) k ( 1) r f(n+r) r 0 r k
64 Newton series For each function f : N Z, there exists a unique family a k of integers such that, for all n N, f(n) = ( ) n a k k k=0 This family is given by a k = ( k f)(0) Thus the sequence of polynomial functions f m (n) = m k=0 a k( n k) pointwise converges to f.
65 Examples Fibonacci sequence: f(0) = f(1) = 1 and f(n) = f(n 1)+f(n 2) for (n 2). Then f(n) = ( ) n ( 1) k+1 f(k) k k=0 Let f(n) = r n. Then f(n) = ( ) n (r 1) k k k=0
66 Examples (2) The parity function f(n) = then f(n) = Factorial n! = { 0 if n is even 1 if n is odd ( ) n ( 2) k 1 k k>0 ( ) n a k k k=0 where the a k are derangements: number of permutations of k elements with no fixed points: 1,0,1,2,9,44,265,1854,14833,133496,
67 Mahler s theorem Theorem (Mahler) Let f(n) = k=0 a n k( k) be the Newton series of a function f : N Z. TFCAE: (1) f is uniformly continuous for the p-adic norm, (2) the sequence of polynomial functions ) f m (n) = m k=0 a n k( k converges uniformly to f, (3) lim k a k p = 0. (2) means that lim m sup n N k=m a k( n k) p = 0.
68 Mahler s theorem (2) Theorem (Mahler) f is uniformly continuous iff its partial Newton series converges uniformly to f. The most remarkable part of this theorem is the fact that a function is equal to the sum of its Newton series if and only if it is uniformly continuous.
69 Examples The Fibonacci function is not uniformly continuous (for any p). The factorial function is not uniformly continuous (for any p). The function f(n) = r n is uniformly continuous iff p r 1 since f(n) = k=0 (r 1)k( n { k). 0 if n is even If f(n) = 1 if n is odd then f(n) = k>0 ( 2)k 1( n k) and hence f is uniformly continuous for the p-adic norm iff p = 2.
70 Extension to words Is it possible to obtain similar results for functions from A to Z? Questions to be solved: (1) Extend difference operators to word functions. (2) Find a notion of Newton series for functions from A to Z. (3) Extend Mahler s theorem.
71 Difference operator Let f : A Z be a function. For each letter a, we define the difference operator a by ( a f)(u) = f(ua) f(u) One can now define inductively an operator w for each word w A by setting ( 1 f)(u) = f(u), and for each letter a A, ( aw f)(u) = ( a ( w f))(u)
72 Direct definition of w Example w f(u) = 0 x w ( 1) w + x ( w x ) f(ux) aab f(u) = f(u)+2f(ua)+f(ub) f(uaa) 2f(uab)+f(uaab) The following formula hold for all v,w A : vw f = v ( w f)
73 Newton series for word functions Theorem (cf. Lothaire) For each function f : A Z, there exists a unique family f,v v A of integers such that, for all u A, f(u) = ( ) u f,v v v A This family is given by f,v = ( v f)(1) = 0 x v ( ) v ( 1) v + x f(x) x
74 An example Let f : {0,1} N the function mapping a binary word onto its value: f(010111)= f(10111)= 23. { ( v f +1 if the first letter of v is 1 f) = f otherwise { ( v 1 if the first letter of v is 1 f)(ε) = 0 otherwise Thus, if u = 01001, then f(u) = ( ( u 1) + u ( 10) + u ) ( 11 + u ) ( u ) ( u = ) =
75 Mahler s theorem for word functions Theorem (Main result) Let f(u) = v A f,v ( u v) be the Newton series of a function f : A Z. TFCAE: (1) f is uniformly continuous for d p, (2) the sequence of polynomial functions ) f n (u) = 0 v n f,v ( u converges uniformly to f, (3) lim v f,v p = 0. v
76 Mahler s expansion of the product of two functions An interesting question is to compute the Mahler s expansion of the product of two functions.
77 Mahler s expansion of the product of two functions An interesting question is to compute the Mahler s expansion of the product of two functions. Proposition Let f and g be two word functions. The coefficients of the Mahler s expansion of fg are given by fg,x = v 1,v 2 A f,v 1 g,v 2 v 1 v 2,x where v 1 v 2 denotes the infiltration product.
78 Infiltration product (Chen, Fox, Lyndon) Intuitively, the coefficient u v,x is the number of pairs of subsequences of x which are respectively equal to u and v and whose union gives the whole sequence x. For instance, ab ab = ab+2aab+2abb+4aabb+2abab 4aabb since aabb = aabb = aabb = aabb = aabb 2aab since aab = aa b b = aab b ab ba = aba+bab+abab+2abba+2baab+baba
79 Infiltration product (2) The infiltration product on Z A, denoted by, is defined inductively by (u,v A and a,b A) u 1 = 1 u = u, { (u vb)a+(ua v)b+(u v)a if a = b ua bv = (u vb)a+(ua v)b if a b for all s,t Z A, s t = u,v A s,u t,v (u v)
80 Mahler polynomials A function f : A Z is a Mahler polynomial if its Mahler s expansion has finite support, that is, if the number of nonzero coefficients f, v is finite. Proposition Mahler polynomials form a subring of the ring of all functions from A to Z for addition and multiplication.
81 Ongoing research Mahler s theorem is about functions from N to N. We extended it to functions from A to N. Next step: functions from A to B.
Profinite methods in automata theory
Profinite methods in automata theory Jean-Éric Pin1 1 LIAFA, CNRS and Université Paris Diderot STACS 2009, Freiburg, Germany supported by the ESF network AutoMathA (European Science Foundation) Summary
More informationA Mahler s theorem for functions from words to integers
A Mahler s theorem for functions from words to integers Jean-Éric Pin and Pedro V. Sila December 16, 2007 Abstract In this paper, we proe an etension of Mahler s theorem, a celebrated result of p-adic
More informationA noncommutative extension of Mahler s theorem on interpolation series 1
A noncommutatie etension of Mahler s theorem on interpolation series 1 Jean-Éric Pin2, Pedro V. Sila 3 Tuesday 20 th December, 2011 Abstract In this paper, we proe an etension of Mahler s theorem on interpolation
More informationProfinite methods in automata theory
Profinite methods in automata theory Jean-Éric Pin Invited lecture at STACS 2009 Abstract This survey paper presents the success story of the topological approach to automata theory. It is based on profinite
More informationNewton s forward difference equation for functions from words to words
Newton s forward difference equation for functions from words to words Jean-Éric Pin1 LIAFA, Université Paris-Diderot and CNRS, Case 7014, F-75205 Paris Cedex 13. Abstract. Newton s forward difference
More informationgroup Jean-Eric Pin and Christophe Reutenauer
A conjecture on the Hall topology for the free group Jean-Eric Pin and Christophe Reutenauer Abstract The Hall topology for the free group is the coarsest topology such that every group morphism from the
More informationA Mahler s theorem for functions from words to integers
A Mahler s theorem for functions from words to integers Jean-Eric Pin, Pedro Sila To cite this ersion: Jean-Eric Pin, Pedro Sila. A Mahler s theorem for functions from words to integers. Susanne Albers,
More informationDuality and Automata Theory
Duality and Automata Theory Mai Gehrke Université Paris VII and CNRS Joint work with Serge Grigorieff and Jean-Éric Pin Elements of automata theory A finite automaton a 1 2 b b a 3 a, b The states are
More informationCOSE212: Programming Languages. Lecture 1 Inductive Definitions (1)
COSE212: Programming Languages Lecture 1 Inductive Definitions (1) Hakjoo Oh 2017 Fall Hakjoo Oh COSE212 2017 Fall, Lecture 1 September 4, 2017 1 / 9 Inductive Definitions Inductive definition (induction)
More informationarxiv: v3 [math.co] 11 Mar 2015
SUBWORD COUNTING AND THE INCIDENCE ALGEBRA ANDERS CLAESSON arxiv:50203065v3 [mathco] Mar 205 Abstract The Pascal matrix, P, is an upper diagonal matrix whose entries are the binomial coefficients In 993
More informationConference on Diophantine Analysis and Related Fields 2006 in honor of Professor Iekata Shiokawa Keio University Yokohama March 8, 2006
Diophantine analysis and words Institut de Mathématiques de Jussieu + CIMPA http://www.math.jussieu.fr/ miw/ March 8, 2006 Conference on Diophantine Analysis and Related Fields 2006 in honor of Professor
More informationWords generated by cellular automata
Words generated by cellular automata Eric Rowland University of Waterloo (soon to be LaCIM) November 25, 2011 Eric Rowland (Waterloo) Words generated by cellular automata November 25, 2011 1 / 38 Outline
More informationSturmian Words, Sturmian Trees and Sturmian Graphs
Sturmian Words, Sturmian Trees and Sturmian Graphs A Survey of Some Recent Results Jean Berstel Institut Gaspard-Monge, Université Paris-Est CAI 2007, Thessaloniki Jean Berstel (IGM) Survey on Sturm CAI
More informationCOSE212: Programming Languages. Lecture 1 Inductive Definitions (1)
COSE212: Programming Languages Lecture 1 Inductive Definitions (1) Hakjoo Oh 2018 Fall Hakjoo Oh COSE212 2018 Fall, Lecture 1 September 5, 2018 1 / 10 Inductive Definitions Inductive definition (induction)
More informationCS 133 : Automata Theory and Computability
CS 133 : Automata Theory and Computability Lecture Slides 1 Regular Languages and Finite Automata Nestine Hope S. Hernandez Algorithms and Complexity Laboratory Department of Computer Science University
More informationSpecial 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 informationMA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES
MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES 2018 57 5. p-adic Numbers 5.1. Motivating examples. We all know that 2 is irrational, so that 2 is not a square in the rational field Q, but that we can
More informationThe Binomial Theorem.
The Binomial Theorem RajeshRathod42@gmail.com The Problem Evaluate (A+B) N as a polynomial in powers of A and B Where N is a positive integer A and B are numbers Example: (A+B) 5 = A 5 +5A 4 B+10A 3 B
More informationThe wreath product principle for ordered semigroups
The wreath product principle for ordered semigroups Jean-Eric Pin, Pascal Weil To cite this version: Jean-Eric Pin, Pascal Weil. The wreath product principle for ordered semigroups. Communications in Algebra,
More informationAperiodic languages p. 1/34. Aperiodic languages. Verimag, Grenoble
Aperiodic languages p. 1/34 Aperiodic languages Dejan Ničković Verimag, Grenoble Aperiodic languages p. 2/34 Table of Contents Introduction Aperiodic Sets Star-Free Regular Sets Schützenberger s theorem
More informationCHAPTER I. Rings. Definition A ring R is a set with two binary operations, addition + and
CHAPTER I Rings 1.1 Definitions and Examples Definition 1.1.1. A ring R is a set with two binary operations, addition + and multiplication satisfying the following conditions for all a, b, c in R : (i)
More informationHarvard 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 informationLanguages 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 informationNOTES ON DIOPHANTINE APPROXIMATION
NOTES ON DIOPHANTINE APPROXIMATION Jan-Hendrik Evertse January 29, 200 9 p-adic Numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics
More informationAbout 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 informationAlgebraic function fields
Algebraic function fields 1 Places Definition An algebraic function field F/K of one variable over K is an extension field F K such that F is a finite algebraic extension of K(x) for some element x F which
More informationAn extension of the Pascal triangle and the Sierpiński gasket to finite words. Joint work with Julien Leroy and Michel Rigo (ULiège)
An extension of the Pascal triangle and the Sierpiński gasket to finite words Joint work with Julien Leroy and Michel Rigo (ULiège) Manon Stipulanti (ULiège) FRIA grantee LaBRI, Bordeaux (France) December
More informationPolynomial closure and unambiguous product
Polynomial closure and unambiguous product Jean-Eric Pin and Pascal Weil pin@litp.ibp.fr, weil@litp.ibp.fr 1 Introduction This paper is a contribution to the algebraic theory of recognizable languages,
More informationExample. Addition, subtraction, and multiplication in Z are binary operations; division in Z is not ( Z).
CHAPTER 2 Groups Definition (Binary Operation). Let G be a set. A binary operation on G is a function that assigns each ordered pair of elements of G an element of G. Note. This condition of assigning
More informationKevin James. MTHSC 412 Section 3.1 Definition and Examples of Rings
MTHSC 412 Section 3.1 Definition and Examples of Rings A ring R is a nonempty set R together with two binary operations (usually written as addition and multiplication) that satisfy the following axioms.
More informationDuality in Logic. Duality in Logic. Lecture 2. Mai Gehrke. Université Paris 7 and CNRS. {ε} A ((ab) (ba) ) (ab) + (ba) +
Lecture 2 Mai Gehrke Université Paris 7 and CNRS A {ε} A ((ab) (ba) ) (ab) + (ba) + Further examples - revisited 1. Completeness of modal logic with respect to Kripke semantics was obtained via duality
More informationCS6902 Theory of Computation and Algorithms
CS6902 Theory of Computation and Algorithms Any mechanically (automatically) discretely computation of problem solving contains at least three components: - problem description - computational tool - procedure/analysis
More informationCSE 105 Homework 1 Due: Monday October 9, Instructions. should be on each page of the submission.
CSE 5 Homework Due: Monday October 9, 7 Instructions Upload a single file to Gradescope for each group. should be on each page of the submission. All group members names and PIDs Your assignments in this
More informationDENSITY OF CRITICAL FACTORIZATIONS
DENSITY OF CRITICAL FACTORIZATIONS TERO HARJU AND DIRK NOWOTKA Abstract. We investigate the density of critical factorizations of infinte sequences of words. The density of critical factorizations of a
More informationA Hierarchy of Automatic ω-words having a decidable MSO Theory
A Hierarchy of Automatic ω-words having a decidable MSO Theory Vince Bárány Mathematische Grundlagen der Informatik RWTH Aachen Journées Montoises d Informatique Théorique Rennes, 2006 Vince Bárány (RWTH
More informationAlgebraic Approach to Automata Theory
Algebraic Approach to Automata Theory Deepak D Souza Department of Computer Science and Automation Indian Institute of Science, Bangalore. 20 September 2016 Outline 1 Overview 2 Recognition via monoid
More informationCS Automata, Computability and Formal Languages
Automata, Computability and Formal Languages Luc Longpré faculty.utep.edu/longpre 1 - Pg 1 Slides : version 3.1 version 1 A. Tapp version 2 P. McKenzie, L. Longpré version 2.1 D. Gehl version 2.2 M. Csűrös,
More informationA Hierarchy of Automatic ω-words having a decidable MSO GAMES LAAW 06 Theory 1 / 14
A Hierarchy of Automatic ω-words having a decidable MSO Theory Vince Bárány Mathematische Grundlagen der Informatik RWTH Aachen GAMES Annual Meeting Isaac Newton Workshop Cambridge, July 2006 A Hierarchy
More informationAutomata Theory and Formal Grammars: Lecture 1
Automata Theory and Formal Grammars: Lecture 1 Sets, Languages, Logic Automata Theory and Formal Grammars: Lecture 1 p.1/72 Sets, Languages, Logic Today Course Overview Administrivia Sets Theory (Review?)
More informationWeek Some Warm-up Questions
1 Some Warm-up Questions Week 1-2 Abstraction: The process going from specific cases to general problem. Proof: A sequence of arguments to show certain conclusion to be true. If... then... : The part after
More informationThe Probability of Winning a Series. Gregory Quenell
The Probability of Winning a Series Gregory Quenell Exercise: Team A and Team B play a series of n + games. The first team to win n + games wins the series. All games are independent, and Team A wins any
More informationRegular Sequences. Eric Rowland. School of Computer Science University of Waterloo, Ontario, Canada. September 5 & 8, 2011
Regular Sequences Eric Rowland School of Computer Science University of Waterloo, Ontario, Canada September 5 & 8, 2011 Eric Rowland (University of Waterloo) Regular Sequences September 5 & 8, 2011 1 /
More informationPERIODS OF FACTORS OF THE FIBONACCI WORD
PERIODS OF FACTORS OF THE FIBONACCI WORD KALLE SAARI Abstract. We show that if w is a factor of the infinite Fibonacci word, then the least period of w is a Fibonacci number. 1. Introduction The Fibonacci
More informationON 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 informationChapter 8. P-adic numbers. 8.1 Absolute values
Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.
More informationRECOGNIZABLE SETS OF INTEGERS
RECOGNIZABLE SETS OF INTEGERS Michel Rigo http://www.discmath.ulg.ac.be/ 1st Joint Conference of the Belgian, Royal Spanish and Luxembourg Mathematical Societies, June 2012, Liège In the Chomsky s hierarchy,
More informationABSTRACT ALGEBRA: A PRESENTATION ON PROFINITE GROUPS
ABSTRACT ALGEBRA: A PRESENTATION ON PROFINITE GROUPS JULIA PORCINO Our brief discussion of the p-adic integers earlier in the semester intrigued me and lead me to research further into this topic. That
More information0 Sets and Induction. Sets
0 Sets and Induction Sets A set is an unordered collection of objects, called elements or members of the set. A set is said to contain its elements. We write a A to denote that a is an element of the set
More informationTheory of Computation 1 Sets and Regular Expressions
Theory of Computation 1 Sets and Regular Expressions Frank Stephan Department of Computer Science Department of Mathematics National University of Singapore fstephan@comp.nus.edu.sg Theory of Computation
More informationAbsolute Values and Completions
Absolute Values and Completions B.Sury This article is in the nature of a survey of the theory of complete fields. It is not exhaustive but serves the purpose of familiarising the readers with the basic
More informationA 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 informationAutomata Theory Final Exam Solution 08:10-10:00 am Friday, June 13, 2008
Automata Theory Final Exam Solution 08:10-10:00 am Friday, June 13, 2008 Name: ID #: This is a Close Book examination. Only an A4 cheating sheet belonging to you is acceptable. You can write your answers
More informationDefinitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch
Definitions, Theorems and Exercises Abstract Algebra Math 332 Ethan D. Bloch December 26, 2013 ii Contents 1 Binary Operations 3 1.1 Binary Operations............................... 4 1.2 Isomorphic Binary
More informationSemigroup presentations via boundaries in Cayley graphs 1
Semigroup presentations via boundaries in Cayley graphs 1 Robert Gray University of Leeds BMC, Newcastle 2006 1 (Research conducted while I was a research student at the University of St Andrews, under
More informationA SURVEY ON DIFFERENCE HIERARCHIES OF REGULAR LANGUAGES
Logical Methods in Computer Science Vol. 14(1:24)2018, pp. 1 23 https://lmcs.episciences.org/ Submitted Feb. 28, 2017 Published Mar. 29, 2018 A SURVEY ON DIFFERENCE HIERARCHIES OF REGULAR LANGUAGES OLIVIER
More informationTheory of Computer Science
Theory of Computer Science C1. Formal Languages and Grammars Malte Helmert University of Basel March 14, 2016 Introduction Example: Propositional Formulas from the logic part: Definition (Syntax of Propositional
More informationTheory of Computation
Fall 2002 (YEN) Theory of Computation Midterm Exam. Name:... I.D.#:... 1. (30 pts) True or false (mark O for true ; X for false ). (Score=Max{0, Right- 1 2 Wrong}.) (1) X... If L 1 is regular and L 2 L
More informationIn English, there are at least three different types of entities: letters, words, sentences.
Chapter 2 Languages 2.1 Introduction In English, there are at least three different types of entities: letters, words, sentences. letters are from a finite alphabet { a, b, c,..., z } words are made up
More informationMonoids. Definition: A binary operation on a set M is a function : M M M. Examples:
Monoids Definition: A binary operation on a set M is a function : M M M. If : M M M, we say that is well defined on M or equivalently, that M is closed under the operation. Examples: Definition: A monoid
More informationA MATRIX GENERALIZATION OF A THEOREM OF FINE
A MATRIX GENERALIZATION OF A THEOREM OF FINE ERIC ROWLAND To Jeff Shallit on his 60th birthday! Abstract. In 1947 Nathan Fine gave a beautiful product for the number of binomial coefficients ( n, for m
More informationGames 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 informationON PATTERNS OCCURRING IN BINARY ALGEBRAIC NUMBERS
ON PATTERNS OCCURRING IN BINARY ALGEBRAIC NUMBERS B. ADAMCZEWSKI AND N. RAMPERSAD Abstract. We prove that every algebraic number contains infinitely many occurrences of 7/3-powers in its binary expansion.
More informationMath 2070BC Term 2 Weeks 1 13 Lecture Notes
Math 2070BC 2017 18 Term 2 Weeks 1 13 Lecture Notes Keywords: group operation multiplication associative identity element inverse commutative abelian group Special Linear Group order infinite order cyclic
More information= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2
8. p-adic numbers 8.1. Motivation: Solving x 2 a (mod p n ). Take an odd prime p, and ( an) integer a coprime to p. Then, as we know, x 2 a (mod p) has a solution x Z iff = 1. In this case we can suppose
More informationFiniteness conditions and index in semigroup theory
Finiteness conditions and index in semigroup theory Robert Gray University of Leeds Leeds, January 2007 Robert Gray (University of Leeds) 1 / 39 Outline 1 Motivation and background Finiteness conditions
More informationObtaining the syntactic monoid via duality
Radboud University Nijmegen MLNL Groningen May 19th, 2011 Formal languages An alphabet is a non-empty finite set of symbols. If Σ is an alphabet, then Σ denotes the set of all words over Σ. The set Σ forms
More informationBinomial coefficients and k-regular sequences
Binomial coefficients and k-regular sequences Eric Rowland Hofstra University New York Combinatorics Seminar CUNY Graduate Center, 2017 12 22 Eric Rowland Binomial coefficients and k-regular sequences
More informationAutomatic Sequences and Transcendence of Real Numbers
Automatic Sequences and Transcendence of Real Numbers Wu Guohua School of Physical and Mathematical Sciences Nanyang Technological University Sendai Logic School, Tohoku University 28 Jan, 2016 Numbers
More informationCongruences for combinatorial sequences
Congruences for combinatorial sequences Eric Rowland Reem Yassawi 2014 February 12 Eric Rowland Congruences for combinatorial sequences 2014 February 12 1 / 36 Outline 1 Algebraic sequences 2 Automatic
More informationFABER Formal Languages, Automata. Lecture 2. Mälardalen University
CD5560 FABER Formal Languages, Automata and Models of Computation Lecture 2 Mälardalen University 2010 1 Content Languages, g Alphabets and Strings Strings & String Operations Languages & Language Operations
More informationPrimitive partial words
Discrete Applied Mathematics 148 (2005) 195 213 www.elsevier.com/locate/dam Primitive partial words F. Blanchet-Sadri 1 Department of Mathematical Sciences, University of North Carolina, P.O. Box 26170,
More informationAlgebraic structures I
MTH5100 Assignment 1-10 Algebraic structures I For handing in on various dates January March 2011 1 FUNCTIONS. Say which of the following rules successfully define functions, giving reasons. For each one
More informationBOUNDS 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 informationLocal Fields. Chapter Absolute Values and Discrete Valuations Definitions and Comments
Chapter 9 Local Fields The definition of global field varies in the literature, but all definitions include our primary source of examples, number fields. The other fields that are of interest in algebraic
More informationThe p-adic Numbers. Akhil Mathew
The p-adic Numbers Akhil Mathew ABSTRACT These are notes for the presentation I am giving today, which itself is intended to conclude the independent study on algebraic number theory I took with Professor
More informationFIXED POINTS OF MORPHISMS AMONG BINARY GENERALIZED PSEUDOSTANDARD WORDS
#A21 INTEGERS 18 (2018) FIXED POINTS OF MORPHISMS AMONG BINARY GENERALIZED PSEUDOSTANDARD WORDS Tereza Velká Department of Mathematics, Faculty of Nuclear Sciences and Physical Engineering, Czech Technical
More informationFinite Automata and Regular Languages
Finite Automata and Regular Languages Topics to be covered in Chapters 1-4 include: deterministic vs. nondeterministic FA, regular expressions, one-way vs. two-way FA, minimization, pumping lemma for regular
More informationA robust class of regular languages
A robust class of regular languages Antonio Cano Gómez 1 and Jean-Éric Pin2 1 Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, Camino de Vera s/n, P.O. Box: 22012,
More informationRegularity-preserving letter selections
Regularity-preserving letter selections Armando B. Matos LIACC, Universidade do Porto Rua do Campo Alegre 823, 4150 Porto, Portugal 1 Introduction and definitions Seiferas and McNaughton gave in [SM76]
More informationSome results on the generalized star-height problem
Some results on the generalized star-height problem Jean-Eric Pin, Howard Straubing, Denis Thérien To cite this version: Jean-Eric Pin, Howard Straubing, Denis Thérien. Some results on the generalized
More informationCrochemore factorization of Sturmian and other infinite words
WoWA,7june2006 1 Crochemore factorization of Sturmian and other infinite words Jean Berstel and Alessandra Savelli Institut Gaspard Monge Université de Marne la Vallée and CNRS(UMR 8049) Workshop on Words
More informationAperiodic languages and generalizations
Aperiodic languages and generalizations Lila Kari and Gabriel Thierrin Department of Mathematics University of Western Ontario London, Ontario, N6A 5B7 Canada June 18, 2010 Abstract For every integer k
More informationCongruences for algebraic sequences
Congruences for algebraic sequences Eric Rowland 1 Reem Yassawi 2 1 Université du Québec à Montréal 2 Trent University 2013 September 27 Eric Rowland (UQAM) Congruences for algebraic sequences 2013 September
More informationPart 1. For any A-module, let M[x] denote the set of all polynomials in x with coefficients in M, that is to say expressions of the form
Commutative Algebra Homework 3 David Nichols Part 1 Exercise 2.6 For any A-module, let M[x] denote the set of all polynomials in x with coefficients in M, that is to say expressions of the form m 0 + m
More informationSome decision problems on integer matrices
Some decision problems on integer matrices Christian Choffrut L.I.A.F.A, Université Paris VII, Tour 55-56, 1 er étage, 2 pl. Jussieu 75 251 Paris Cedex France Christian.Choffrut@liafa.jussieu.fr Juhani
More informationLinear Algebra. Paul Yiu. Department of Mathematics Florida Atlantic University. Fall 2011
Linear Algebra Paul Yiu Department of Mathematics Florida Atlantic University Fall 2011 Linear Algebra Paul Yiu Department of Mathematics Florida Atlantic University Fall 2011 1A: Vector spaces Fields
More informationThe p-adic Numbers. Akhil Mathew. 4 May Math 155, Professor Alan Candiotti
The p-adic Numbers Akhil Mathew Math 155, Professor Alan Candiotti 4 May 2009 Akhil Mathew (Math 155, Professor Alan Candiotti) The p-adic Numbers 4 May 2009 1 / 17 The standard absolute value on R: A
More informationC1.1 Introduction. Theory of Computer Science. Theory of Computer Science. C1.1 Introduction. C1.2 Alphabets and Formal Languages. C1.
Theory of Computer Science March 20, 2017 C1. Formal Languages and Grammars Theory of Computer Science C1. Formal Languages and Grammars Malte Helmert University of Basel March 20, 2017 C1.1 Introduction
More informationx = π m (a 0 + a 1 π + a 2 π ) where a i R, a 0 = 0, m Z.
ALGEBRAIC NUMBER THEORY LECTURE 7 NOTES Material covered: Local fields, Hensel s lemma. Remark. The non-archimedean topology: Recall that if K is a field with a valuation, then it also is a metric space
More informationFebruary 1, 2005 INTRODUCTION TO p-adic NUMBERS. 1. p-adic Expansions
February 1, 2005 INTRODUCTION TO p-adic NUMBERS JASON PRESZLER 1. p-adic Expansions The study of p-adic numbers originated in the work of Kummer, but Hensel was the first to truly begin developing the
More informationAuthor: Vivek Kulkarni ( )
Author: Vivek Kulkarni ( vivek_kulkarni@yahoo.com ) Chapter-3: Regular Expressions Solutions for Review Questions @ Oxford University Press 2013. All rights reserved. 1 Q.1 Define the following and give
More informationa = a i 2 i a = All such series are automatically convergent with respect to the standard norm, but note that this representation is not unique: i<0
p-adic Numbers K. Sutner v0.4 1 Modular Arithmetic rings integral domains integers gcd, extended Euclidean algorithm factorization modular numbers add Lemma 1.1 (Chinese Remainder Theorem) Let a b. Then
More informationSemigroup invariants of symbolic dynamical systems
Semigroup invariants of symbolic dynamical systems Alfredo Costa Centro de Matemática da Universidade de Coimbra Coimbra, October 6, 2010 Discretization Discretization Discretization 2 1 3 4 Discretization
More informationChapter 4. Regular Expressions. 4.1 Some Definitions
Chapter 4 Regular Expressions 4.1 Some Definitions Definition: If S and T are sets of strings of letters (whether they are finite or infinite sets), we define the product set of strings of letters to be
More informationBorder Correlation of Binary Words
Border Correlation of Binary Words Tero Harju Dirk Nowotka Turku Centre for Computer Science, TUCS, Department of Mathematics, University of Turku TUCS Turku Centre for Computer Science TUCS Technical
More informationCombinatorics on Finite Words and Data Structures
Combinatorics on Finite Words and Data Structures Dipartimento di Informatica ed Applicazioni Università di Salerno (Italy) Laboratoire I3S - Université de Nice-Sophia Antipolis 13 March 2009 Combinatorics
More informationMath 120 HW 9 Solutions
Math 120 HW 9 Solutions June 8, 2018 Question 1 Write down a ring homomorphism (no proof required) f from R = Z[ 11] = {a + b 11 a, b Z} to S = Z/35Z. The main difficulty is to find an element x Z/35Z
More informationTopics in Timed Automata
1/32 Topics in Timed Automata B. Srivathsan RWTH-Aachen Software modeling and Verification group 2/32 Timed Automata A theory of timed automata R. Alur and D. Dill, TCS 94 2/32 Timed Automata Language
More informationZEROES OF INTEGER LINEAR RECURRENCES. 1. Introduction. 4 ( )( 2 1) n
ZEROES OF INTEGER LINEAR RECURRENCES DANIEL LITT Consider the integer linear recurrence 1. Introduction x n = x n 1 + 2x n 2 + 3x n 3 with x 0 = x 1 = x 2 = 1. For which n is x n = 0? Answer: x n is never
More informationTheory of Computation
Theory of Computation Lecture #2 Sarmad Abbasi Virtual University Sarmad Abbasi (Virtual University) Theory of Computation 1 / 1 Lecture 2: Overview Recall some basic definitions from Automata Theory.
More information