The van der Corput embedding of ax + b and its interval exchange map approximation
|
|
- Camilla Bradford
- 6 years ago
- Views:
Transcription
1 The van der Corput embedding of ax + b and its interval exchange map approximation Yuihiro HASHIMOTO Department of Mathematics Education Aichi University of Education Kariya Japan Introduction In 4] we introduce interval preserving map approximation of a linear map 3x+ to attac the well-nown and still unsolved 3x + problem which is firstly proposed by Lothar Collatz in 930 s: Conecture Consider a map f : N N such that { 3n + f(n) = n/ if n is odd if n is even Then for each natural number n there exists a finite number t such that f t (n) = f f f(n) = }{{} t times In the investigations3]4] we use the binary van der Corput embedding β of natural numbers into unit interval 0 ] which gives a low-discrepancy sequence over 0 ] firstly introduced by van der Corput in 935(cf7] pp 9) and construct a right continuous biection F over 0 ) conugate to 3x + by way of β In this note we investigate a right continuous biection F over 0 ) conugate to the linear function ax + b its finite bit approximations which bring dynamics of interval exchange maps on 0 ) and observe substitution dynamics and transducers associated with the approximations As a result we obtain a necessary and sufficient condition for the minimality of the dynamics (0 ) F ) (Theorem 38) The binary van der Corput embedding of natural numbers and a conugacy of ax + b We follow the notations in 4] Definition Let n = g + g + + g 0 (= (g g g 0 ) for short ) be a binary expansion of a natural number n Then we define β : N 0 ) given by β(n) = g 0 + g + + g + = (0g 0g g ) As β : N 0 ) is one-to-one and β embeds natural numbers densely into 0 ) we call β the binary van der Corput embedding For a binary expression n = (g l g l g 0 ) we put l = ord(n) := log n] where x] stands for an integer not greater than x and n denotes an upper cut off of n at -th order; n = (g g g 0 ) n (mod ) To mae free from ambiguity we always tae the finite binary expression β(n) = (0g 0 g g l ) of any natural number n For a real number x 0 ) and N x denotes a cut off of x at ( )-th order in the binary expression; x = (0e e e ) = = e if x = (0e e ) = We use the notation x ) as a segment x x + ) hence a natural decomposition of segments () (0e e e ) ) = (0e e e 0) ) + (0e e e ) ) + = e
2 The van der Corput embedding of ax + b where a b) b c) stands for a division of an interval a c) at b Then the -th refinement of the unit interval 0 ) is given as () 0 ) = where {ν () =0 ) β(ν () ) = 0 } = {0 } with β(ν () i ) < β(ν () ) if and only if i < By definition we easily to see the followings Lemma For x y 0 ) and l m n N () x x ) () x ) y ) holds if and only if x = y and hence x ) = y ) (3) if x y there exists l N such that x ) l y ) l = (4) x ) + x ) and x ) = {x} = (5) β(m) = β(m ) thus β(m) ) = β(n) ) if and only if m = n (6) If l > ord(m) then β(m + n l ) = β(m) + β(n) l (7) (n ) l = n min{l} Let us consider a linear function f(n) = an + b on natural numbers where a b N and a > b We are to construct the conugacy F : 0 ) 0 ) of f : N N that is F β(n) = β f(n) holds for any natural number n Lemma 3 Suppose a is odd number Then we have () β f(m) ) = β f(n) ) holds if and only if β(m) ) = β(n) ) for any m n N () {β f(n) n N} is dense in 0 ) Proof () By Lemma (5) β(m) ) = β(n) ) means m n (mod ) which equivalents to am + b an + b (mod ) as a and are coprime hence β(am + b) ) = β(an + b) ) () Given x 0 ) and N consider m = β (x ) and tae b N with b b m (mod a) As a and is coprime we have φ(a) = ( ) φ(a) (mod a) hence m + b φ(a) m + b b (mod a) where φ stands for Euler s totient function Thus there exists n N with m + b φ(a) = an + b and hence β(an + b) = β(m + b φ(a) ) = x + β(b ) φ(a) x ) As a result for any x 0 ) and N there exists n N with x β(an + b) < Now we suppose a is odd Then the conugacy F is defined on the dense set β(n) by F (β(n)) := β(f(n)) and its extension to 0 ) is given as follows For any x 0 ) consider a sequence n = β (x ) = Obviously we see n + n (mod ) hence an + + b an + b (mod ) It follows from Lemma (4) that holds and then = β(an + + b) ) + β(an + + b) ) = β(an + b) ) β(an + b) ) consists of a unique point denoted by lim β(an + b) Thus we define the conugacy F : 0 ) 0 ) of the linear function f: (3) F (x) = lim β ( aβ (x ) + b ) Lemma 4 For x y 0 ) we have
3 Yuihiro HASHIMOTO 3 () F (x ) ) = F (x) ) hence F (x) = F (x ) () F ( x ) ) F (x) ) hence F is right continuous (3) F (x) ) = F (y) ) if and only if x ) = y ) hence F is inective Proof () By definition we have {F (x)} = β(aβ (x ) + b) ) β(aβ (x ) + b) ) = F (x ) ) = that is F (x) F (x ) ) while F (x) F (x) ) by Lemma () Thus we see F (x ) ) F (x) ) which means F (x ) ) = F (x) ) by Lemma () () y x ) means y = x It follows from () that F (y) F (y) ) = F (y ) ) = F (x ) ) = F (x) ) For any ε > 0 tae N with < ε Then for any y with x y x + (+) we see y x ) and F (y) F ( x ) ) F (x) ) that is F (y) F (x) < < ε showing the right continuity of F (3) Put m = β (x ) and n = β (y ) then we see F (x) ) = F (x ) ) = β f(m ) ) and F (y) ) = F (y ) ) = β f(n ) ) by () It follows from Lemma 3 () that F (x) ) = F (y) ) if and only if x ) = β(m ) ) = β(n ) ) = y ) Suppose that x y then x ) y ) = holds for some Then we have F (x) ) F (y) ) = hence F (x) F (y) Lemma 4 () is an extension of a natural property (4) f(n ) = f(n) of the linear function f(n) = an + b with a b N while ()(3) implies that F brings segment-wise exchange over the refinement () of the unit interval in any order Indeed we have the following Proposition 5 For any N and x 0 ) the conugacy F gives a right continuous biection F : x ) F (x) ) Particularly F preserves the Lebesgue measure µ on 0 ) Proof All we have to show is surectivity of F For any y 0 ) and l N there exists n l N with F β(n l ) = β f(n l ) y ) l by Lemma 3 () By Lemma 4 we see F ( β(n l ) ) l ) F (β(n l )) ) l = y ) l Let x be the unique accumulation point {x} = β(n l ) ) l Then F (x) F (β(n l )) ) l y ) l holds for any l l meaning that F (x) y ) l = {y} l hence y = F (x) and F is a surection 0 ) 0 ) Combining Lemma 4 ()(3) and surectivity of F we see F ( x ) ) = F (x) ) for any N Note that µ( x ) ) = µ( F (x) ) ) = It is shown that the σ-field generated by the segments x ) N x 0 ) coincides with the Lebesgue measurable sets Hence the assertion
4 4 The van der Corput embedding of ax + b Note that for any natural number n β(n) ) = β(n) β(n) + ) if > ord(n) thus w β(n) ) means w β(n) Therefore we state the right continuity of F only Indeed for f(n) = n + we see lim w (0) w<(0) F (w) = (0) (000) = F ((0) ) 3 Segment-wise linear approximation of the conugacy F In view of Proposition 5 we construct a sequence of segment-wise linear functions F s approximating the conugacy F Definition 3 For each N we define the -th approximant F as If x β(n) ) we see F (x) = x x + F (x) F (x) = x β(n) + F (β(n)) thus F ( β(n) ) ) = F β(n) ) compatible with Proposition 5 F β(n) ) for any x β(n) ) means F (x) F (x) < Moreover the fact F (x) F (x) for any x β(n) ) and then for any x 0 ) Therefore the sequence F = approximates F uniformly on 0 ) so F simulates the behavior of F that exchange the segments β(n) ) s We also note that (3) is expressed as F (x) = lim F (x) In the following subsections we investigate the approximants F s to extract dynamical characteristics of the map f(n) = an + b 3 Behavior of carries and exchange of segments For each N we define an integer valued function then we see f(n ] ) an ] + b τ (n) = = (3) f(n ) = τ (n) + f(n) Namely the function τ describes the amount of the carry from the lower bits in the calculation n an+b Theorem 3 Suppose that a is odd and 0 b < a Then for n N we have () τ (n) {0 a } () For binary expressions n = (g p g 0 ) and f(n) = (h q h 0 ) we have and where g = 0 for > p h = ( g + τ (n) ) = q ] ag + τ (n) τ + (n) = (3) Let (0g 0 g g p ) be the binary expression of β(n) Then the image of the segment β(n) ) = (0g 0 g ) ) = (0g 0 g 0) ) + (0g 0 g ) ) + by F is given as ) F ((0g 0 g 0) ) ) + F ((0g 0 g ) ) ) + if τ (n) is even F ( β(n) ) = F ((0g 0 g ) ) ) + F ((0g 0 g 0) ) ) + if τ (n) is odd
5 Yuihiro HASHIMOTO 5 Proof () As n and a > b we have an ] + b a ] + b a 0 = a a b ] a () By definition we see n + = (g g g 0 ) = g + n We also see f(n) + = h + f(n) while by (3) we have f(n) + = f(n + ) ( ) + = a(g + n + ( ) ) + b = ag + f(n + (3) ) ( = (ag + τ (n)) + f(n) ) + ( = ag + τ (n) ) + f(n) As a is odd we obtain the equation h = ( ag + τ (n) ) = ( g + τ (n) ) Again by (3) and f(n) + = h + f(n) we see while as n + = g + n we have f(n + ) = τ + (n) + + f(n) + = (τ + (n) + h ) + f(n) f(g + n ) = ag + f(n ) = (ag + τ (n)) + f(n) hence τ + (n) + h = ag + τ (n) Since 0 h / < and τ + (n) is an integer we come to τ + (n) = τ + (n) + h ] ] ag + τ (n) = (3) It comes from (3) that β (f(n)) + = β (f(n)) + + β(g + τ (n)) Then we have (g + τ (n)) = g whenever τ (n) is even and (g + τ (n)) = g whenever τ (n) is odd Thus we see ( ) ( ) F β(n) + F β(n + ) + = + if τ (n) is even ( ) F β(n) + if τ (n) is odd hence the assertion 3 Substitution dynamics induced by the conugacy F Definition 33 For each approximation order we label the segment β(n) ) as L (n) := τ 0 (n)τ (n) τ (n) We say the segment β(n) ) is painted in color τ (n) By Theorem 3 () the label L (n) is a string over the alphabet A = {0 a } with length + Note that τ 0 (n) = b by definition thus the original unit interval 0 ) is labeled as b As the approximation order increases each segment is divided into two segments: ) (33) β(n) ) = β(n ) ) β(n ) )+ β(n + ) Accordingly the refinements β(n ) ) + and β(n + ) ) are labeled respectively as + ] L + (n τ (n) ) = τ 0 (n) τ (n) (34) ] a + L + (n + τ (n) ) = τ 0 (n) τ (n) by Theorem 3 () +
6 6 The van der Corput embedding of ax + b Consider a free monoid A = =0 A over A with the concatenation as a multiplication operation and the empty string ε as a unit where A = {x x x x i A} and A 0 = {ε} In view of (33) and (34) we define a substitution ζ : A A as ζ : x x ] a + x which simulates the way to repaint the segments that the refinement (33) causes: ] ] τ (n) τ + (n ) τ + (n + τ (n) a + τ (n) ) = Consequently the refinement of the unit interval 0 ) (00) ) (0) ) (000) ) (00) ) (00) ) (0) ) induces an orbit of ζ with initial state b: ] ] ] b a + b b/] b ζ(b) = ζ (b) = Summing up we have the following a + b/] ] ] a + (a + b)/] ] ] a + (a + b)/] Proposition 34 The -th refinement () of the unit interval is painted in the pattern ζ (b) 33 A finite state transducer which represents ax + b Theorem 3 () is also expressed in terms of a finite state automaton Let T ab = (A I O {b} {0} δ) be a deterministic finite state transducer with states A an input alphabet I = {0 } an output alphabet O = {0 } an initial state b a final state 0 and a transition function δ : A I A O According to Theorem 3 () we define the transition rule as ( ] ) ag + x g if x is even (35) δ(x g) = ( ] ) ag + x g if x is odd Corollary 35 Given the binary expressions (g p g 0 ) of a natural number n define a sequence in A O (x i+ c i+ ) = δ(x i g i ) i = 0 q where x 0 = b q = p + ord(a) + and g i = 0 if i > p Then we have and the label of the segment β(n) ) is given as f(n) = (c q c q c 0 ) for each = 0 L (n) = x 0 x x Proof Let (h q h 0 ) be the binary expression of f(n) By definition we see x i+ = (ax i + g i )/] Recall that τ 0 (n) = b for any n N It comes from Theorem 3 () that { τ i (n) = x i and h i = (g i + x i ) g i if x i is even = g i if x i is odd hold hence c i = h i
7 Yuihiro HASHIMOTO 7 34 Minimality of the dynamical system (0 ) F )) As we have seen for each approximation order the approximant F exchanges the segments β(ν () ) s in the refinement () and hence induces a permutation π over {0 } satisfying F ( β(ν () ) ) ) = β(ν () π () ) ) or equivalently ( ν () π () = aν () + b) Note that as the approximation order increases we see (36) ν (+) = ν () and ν (+) + = ν() + by definition of the refinement () Combining Theorem 3 (3) and (36) we have whenever τ (ν () ) is even and ν (+) π + () = ν() π () = ν(+) π () ν (+) π + () = ν() π () + = ν (+) π ()+ and ν (+) π + (+) = ν() π () + = ν (+) π ()+ and ν(+) π + (+) = ν() π () = ν(+) π () whenever τ (ν () ) is odd As a result we obtain relations between the permutation π and π + ) Lemma 36 If the color τ (ν () ) of the segment β(ν () ) is even we have and if τ (ν () ) is odd π + () = π () and π + ( + ) = π () + π + () = π () + and π + ( + ) = π () Let π = π π π m be a cycle decomposition determined uniquely up to the order of π i s For each cyclic permutation π i = (p p p l ) consider the maximum subset Q {p p l } such that τ (ν () is odd if and only if q Q For a cycle π i = (p p p l ) let π +i be the permutation defined as Lemma 36 that is ( π +i (p + η) = π i (p ) + τ (ν p () ( ) + η) = p+ + τ (ν p () ) + η) η {0 } where l + is understood as q ) Proposition 37 π +i is a cyclic permutation whenever #Q is odd and π +i permutations whenever #Q is even consists of two cyclic Proof Put P 0 = {p p p l } and P = {p + p + p l + } Consider an orbit x = p x = π +i (x ) x 3 = π +i (x ) and a map ϕ(x ) = η if x P η Notice that x sl+ {p p + } for = l and s N by definition Then we see ϕ(x sl++ ) = ϕ(x sl+ ) whenever p / Q and ϕ(x sl++ ) = ϕ(x sl+ ) whenever p Q hence for each = l and s N x sl++ = π +i (x sl+) = p + + ϕ(x sl++ ) Suppose that #Q is even It is seen that ϕ(x l+ ) = ϕ(x ) = 0 hence x l+ = p + ϕ(x l+ ) = p = x namely the cycle (x x x l ) is a factor of π +i Considering another orbit y = p + y = π +i (y ) a similar argument shows the cycle (y y y l ) is also a factor of π +i Consequently we obtain a decomposition π +i = (x x x l )(y y y l )
8 8 The van der Corput embedding of ax + b Suppose that #Q is odd then we see ϕ(x l+ ) = ϕ(x ) = hence x l+ = p + ϕ(x l+ ) = p + = y showing that π +i is a cycle of the length l: π +i = (x x x l y y y l ) We are to find a condition that the permutation π induced by the approximant F becomes a cycle in any approximation order For a string w = w w w l A we put S(w) = l i= w i Note that the parity of S(w) equals that of the number of entries w i s which are odd In view of Proposition 37 the original unit interval 0 ) must be painted an odd color at least namely b = τ 0 (0 )) is odd Then S(ζ(b)) also should be odd We have assumed that a is odd Putting a = m+ we have S(ζ(b)) = ] b + ] a + b = m + + as (b + )/] = b/] + hence m should be even; a (mod 4) Conversely we have the following Theorem 38 The permutation π associated with the approximant F is a cyclic permutation in any approximation order hence the dynamical system (0 ) F ) is minimal if and only if a (mod 4) and b is odd Proof The necessity for b being odd and a (mod 4) is shown above Suppose a = 4m + and b being odd It comes from Theorem 3 () that S(ζ(x)) = m + x/] if x is even and S(ζ(x)) = m + + x/] if x is odd Then S(ζ(w)) is odd if and only if S(w) is odd for any w A As a result we see that S(ζ (b)) is odd for any hence π is a cyclic permutation by Proposition 37 which means for any segment x ) the orbit x ) F ( x ) ) F ( x ) ) F ( x ) ) covers 0 ): (37) i=0 F i ( x ) ) = 0 ) Tae any x 0 ) (37) shows that for any y 0 ) there exists 0 t with y F t ( x ) ) while F t (x) F t (x) ) = F t ( x ) ) Thus we have y F t (x) < Consequently the orbit {F s (x) s N} ] b is dense in 0 ) for any x 0 ) namely the dynamical system (0 ) F ) is minimal This result is contrast to Keane condition6]6]: no left endpoint of any segment is mapped to another ones which brings the minimality of the dynamics of interval exchange maps In our case the left endpoint x of any segment x ) is always mapped to another ones by F Example 34 (The case 3x+) This is the original case of Collatz The substitution ζ and the transducer T 3 are illustrated in Figure and respectively As 3 (mod 4) the dynamics (0 ) F ) is not minimal Indeed Table shows that permutations π s associated with F s are decomposed in two cycles A typical orbit of F 5 the approximation order = 5 is illustrated in Figure 5 π 0 (0) (0)() (0 )( 3) 3 (0 4 5)( 7 3 6) 4 ( )( ) Table Permutations π associated with 3x +
9 Yuihiro HASHIMOTO b= /4 / 3/4 Figure The color pattern of refinement induced by substitution ζ 0/0 / / /0 0 0/ 0/0 Figure Transitive diagram of T 3 Example 34 (The case 5x + ) The substitution ζ and the transducer T 5 are illustrated in Figure 3 and 4 respectively As 5 (mod 4) the conugacy F of f(x) = 5x + induces a minimal dynamical system on 0 ) Actually Table shows that permutations π s associated with F s are always cyclic A typical orbit of F 5 the approximation order = 5 is illustrated in Figure b= /4 / 3/4 Figure 3 The color pattern of refinement induced by substitution ζ π 0 (0) (0 ) (0 3) 3 ( ) 4 ( ) Table Permutations π associated with 5x + 0/0 / 0/ / 0/0 0/ / /0 3 /0 Figure 4 Transitive diagram of T 5 / Figure 5 Approximant F 5 3x + and a typical orbit for Figure 6 Approximant F 5 5x + and a typical orbit for
10 0 The van der Corput embedding of ax + b 4 Remars Notice that F preserves the Lebesgue measure µ on 0 ) by Proposition 5 therefore it will be a worthwhile question whether the minimality implies the ergodicity in our case However I have no statement about the ergodicity of F at this moment In 3] and 4] we have discussed the van der Corput embedding of the Collatz procedure { x x 0 /) G(x) = F (x) = lim β(3β (x ) + ) x / ) Then to solve the original Collatz conecture we are to prove the statement: for each n N there exists a finite number t with G t (β(n)) = / Note that G does not preserve intervals and so the Lebesgue measure The finite bit approximation G (x) = { x + x for x 0 /) F (x) for x / ) leads us to a mild version of the Collatz conecture a finite combinatorial problem proposed in 4] of which research is in progress Problem 4 (3x + problem on G ) Show that for any x 0 ) there exists t N such that ) ) G t (x) 0 ) β() ) = 0 / / / + / References ] K Daani and C Kraaiamp Ergodic theory of numbers Carus Mathematical Monographs 9 Mathematical Association of America 00 ] K Falconer Fractal Geometry: Mathematical Foundations and Applications nd ed Wiley 003 3] Y Hashimoto A fractal set associated with the Collatz problem Bull of Aichi Univ of Education Natural Science 56 pp ] Y Hashimoto Interval preserving map approximation of 3x + problem Bull of Aichi Univ of Education Natural Science 6 pp ] J Hopcroft R Motwani and J Ullman Introduction to Automata Theory Languages and Computations nd Ed Addison- Wesley 00 6] M Keane Interval Exchange Transformations Math Z 4 pp ] L Kuipers H Niederreiter Uniform distribution of sequences Dover Publications 005 8] J Lagarias The Ultimate Challenge: The 3x + Problem AMS 0 9] M Lothaire Algebraic combinatorics on words Encyclopedia of mathematics and its applications 90 Cambridge University Press 00 0] F Oliveira and F L C da Rocha Minimal non-ergodic C -diffeomorphisms of the circle Ergod Th & Dynam Sys no 6 pp ] M Queffélec Substitution Dynamical Systems - Spectral Analysis Lect Notes in Math 94 nd Ed Springer 00 ] A Rényi Representations for real numbers and their ergodic properties Acta Math Acad Sci Hungar 8 pp ] M Shirvani and T D Rogers On Ergodic One-Dimensional Cellular Automata Commun Math Phys 36 pp ] G Wirsching The Dynamical System Generated by the 3x + Function Lect Notes in Math 68 Springer 998 5] H Xie Grammatical complexity and one-dimensional dynamical systems Directions in chaos 6 World Scientific 997 6] J C Yoccoz Continued Fraction Algorithms for Interval Exchange Maps: an Introduction in Frontiers in Number Theory Physics and Geometry I pp
Automata for arithmetic Meyer sets
Author manuscript, published in "LATIN 4, Buenos-Aires : Argentine (24)" DOI : 1.17/978-3-54-24698-5_29 Automata for arithmetic Meyer sets Shigeki Akiyama 1, Frédérique Bassino 2, and Christiane Frougny
More informationTHE GOLDEN MEAN SHIFT IS THE SET OF 3x + 1 ITINERARIES
THE GOLDEN MEAN SHIFT IS THE SET OF 3x + 1 ITINERARIES DAN-ADRIAN GERMAN Department of Computer Science, Indiana University, 150 S Woodlawn Ave, Bloomington, IN 47405-7104, USA E-mail: dgerman@csindianaedu
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 information1 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 informationJ. Combin. Theory Ser. A 116(2009), no. 8, A NEW EXTENSION OF THE ERDŐS-HEILBRONN CONJECTURE
J. Combin. Theory Ser. A 116(2009), no. 8, 1374 1381. A NEW EXTENSION OF THE ERDŐS-HEILBRONN CONJECTURE Hao Pan and Zhi-Wei Sun Department of Mathematics, Naning University Naning 210093, People s Republic
More informationOn distribution functions of ξ(3/2) n mod 1
ACTA ARITHMETICA LXXXI. (997) On distribution functions of ξ(3/2) n mod by Oto Strauch (Bratislava). Preliminary remarks. The question about distribution of (3/2) n mod is most difficult. We present a
More informationOn negative bases.
On negative bases Christiane Frougny 1 and Anna Chiara Lai 2 1 LIAFA, CNRS UMR 7089, case 7014, 75205 Paris Cedex 13, France, and University Paris 8, Christiane.Frougny@liafa.jussieu.fr 2 LIAFA, CNRS UMR
More informationOn the negative base greedy and lazy representations
On the negative base greedy and lazy representations Tomáš Hejda,, Zuzana Masáková, Edita Pelantová June 01 Abstract We consider positional numeration systems with negative real base β, where β > 1, and
More informationAutomata and Formal Languages - CM0081 Non-Deterministic Finite Automata
Automata and Formal Languages - CM81 Non-Deterministic Finite Automata Andrés Sicard-Ramírez Universidad EAFIT Semester 217-2 Non-Deterministic Finite Automata (NFA) Introduction q i a a q j a q k The
More information#A31 INTEGERS 11 (2011) COMPLETELY MULTIPLICATIVE AUTOMATIC FUNCTIONS
#A3 INTEGERS (20) COMPLETELY MULTIPLICATIVE AUTOMATIC FUNCTIONS Jan-Christoph Schlage-Puchta Department of Mathematics, Universiteit Gent, Gent, Belgium jcsp@cage.ugent.be Received: 3//0, Accepted: /6/,
More informationarxiv: v1 [math.gm] 1 Oct 2015
A WINDOW TO THE CONVERGENCE OF A COLLATZ SEQUENCE arxiv:1510.0174v1 [math.gm] 1 Oct 015 Maya Mohsin Ahmed maya.ahmed@gmail.com Accepted: Abstract In this article, we reduce the unsolved problem of convergence
More informationPartitions, permutations and posets Péter Csikvári
Partitions, permutations and posets Péter Csivári In this note I only collect those things which are not discussed in R Stanley s Algebraic Combinatorics boo Partitions For the definition of (number) partition,
More informationMATH 361: NUMBER THEORY FOURTH LECTURE
MATH 361: NUMBER THEORY FOURTH LECTURE 1. Introduction Everybody knows that three hours after 10:00, the time is 1:00. That is, everybody is familiar with modular arithmetic, the usual arithmetic of the
More informationARITHMETIC ON BLOCKS. Abigail Hoit Department of Mathematics, Elmhurst College, Elmhurst, IL
ARITHMETIC ON BLOCKS Abigail Hoit Department of Mathematics, Elmhurst College, Elmhurst, IL 60126 abigailh@elmhurst.edu Received: 11/29/02, Revised: 1/5/04, Accepted: 1/21/04, Published: 1/22/04 Abstract
More informationDAVID DAMANIK AND DANIEL LENZ. Dedicated to Barry Simon on the occasion of his 60th birthday.
UNIFORM SZEGŐ COCYCLES OVER STRICTLY ERGODIC SUBSHIFTS arxiv:math/052033v [math.sp] Dec 2005 DAVID DAMANIK AND DANIEL LENZ Dedicated to Barry Simon on the occasion of his 60th birthday. Abstract. We consider
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 informationCombinatorial Interpretations of a Generalization of the Genocchi Numbers
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 7 (2004), Article 04.3.6 Combinatorial Interpretations of a Generalization of the Genocchi Numbers Michael Domaratzki Jodrey School of Computer Science
More informationOn 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 informationRecognizing Tautology by a Deterministic Algorithm Whose While-loop s Execution Time Is Bounded by Forcing. Toshio Suzuki
Recognizing Tautology by a Deterministic Algorithm Whose While-loop s Execution Time Is Bounded by Forcing Toshio Suzui Osaa Prefecture University Saai, Osaa 599-8531, Japan suzui@mi.cias.osaafu-u.ac.jp
More informationAn algebraic characterization of unary two-way transducers
An algebraic characterization of unary two-way transducers (Extended Abstract) Christian Choffrut 1 and Bruno Guillon 1 LIAFA, CNRS and Université Paris 7 Denis Diderot, France. Abstract. Two-way transducers
More informationLONG CYCLES IN ABC PERMUTATIONS
LONG CYCLES IN ABC PERMUTATIONS IGOR PAK AND AMANDA REDLICH Abstract. An abc-permutation is a permutation σ abc S n obtained by exchanging an initial block of length a a final block of length c of {1,...,
More informationPERIODICITY OF SOME RECURRENCE SEQUENCES MODULO M
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 8 (2008), #A42 PERIODICITY OF SOME RECURRENCE SEQUENCES MODULO M Artūras Dubickas Department of Mathematics and Informatics, Vilnius University,
More informationf(x n ) [0,1[ s f(x) dx.
ACTA ARITHMETICA LXXX.2 (1997) Dyadic diaphony by Peter Hellekalek and Hannes Leeb (Salzburg) 1. Introduction. Diaphony (see Zinterhof [13] and Kuipers and Niederreiter [6, Exercise 5.27, p. 162]) is a
More informationMidterm Exam. There are 6 problems. Your 5 best answers count. Please pay attention to the presentation of your work! Best 5
Department of Mathematical Sciences Instructor: Daiva Pucinskaite Modern Algebra June 22, 2017 Midterm Exam There are 6 problems. Your 5 best answers count. Please pay attention to the presentation of
More informationAbstract Algebra, HW6 Solutions. Chapter 5
Abstract Algebra, HW6 Solutions Chapter 5 6 We note that lcm(3,5)15 So, we need to come up with two disjoint cycles of lengths 3 and 5 The obvious choices are (13) and (45678) So if we consider the element
More informationTHEOREMS, ETC., FOR MATH 515
THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every
More informationNOTES ON AUTOMATA. Date: April 29,
NOTES ON AUTOMATA 1. Monoids acting on sets We say that a monoid S with identity element ɛ acts on a set Q if q(st) = (qs)t and qɛ = q. As with groups, if we set s = t whenever qs = qt for all q Q, then
More informationarxiv:cs/ v1 [cs.cc] 9 Feb 2007
The DFAs of Finitely Different Languages Andrew Badr Ian Shipman February 1, 2008 arxiv:cs/0702053v1 [cs.cc] 9 Feb 2007 Abstract Two languages are finitely different if their symmetric difference is finite.
More informationOn the Average Complexity of Brzozowski s Algorithm for Deterministic Automata with a Small Number of Final States
On the Average Complexity of Brzozowski s Algorithm for Deterministic Automata with a Small Number of Final States Sven De Felice 1 and Cyril Nicaud 2 1 LIAFA, Université Paris Diderot - Paris 7 & CNRS
More informationHYPERBOLIC SETS WITH NONEMPTY INTERIOR
HYPERBOLIC SETS WITH NONEMPTY INTERIOR TODD FISHER, UNIVERSITY OF MARYLAND Abstract. In this paper we study hyperbolic sets with nonempty interior. We prove the folklore theorem that every transitive hyperbolic
More informationarxiv: v1 [math.co] 3 Nov 2014
SPARSE MATRICES DESCRIBING ITERATIONS OF INTEGER-VALUED FUNCTIONS BERND C. KELLNER arxiv:1411.0590v1 [math.co] 3 Nov 014 Abstract. We consider iterations of integer-valued functions φ, which have no fixed
More informationGENERALIZED CANTOR SETS AND SETS OF SUMS OF CONVERGENT ALTERNATING SERIES
Journal of Applied Analysis Vol. 7, No. 1 (2001), pp. 131 150 GENERALIZED CANTOR SETS AND SETS OF SUMS OF CONVERGENT ALTERNATING SERIES M. DINDOŠ Received September 7, 2000 and, in revised form, February
More informationTheoretical Computer Science. Completing a combinatorial proof of the rigidity of Sturmian words generated by morphisms
Theoretical Computer Science 428 (2012) 92 97 Contents lists available at SciVerse ScienceDirect Theoretical Computer Science journal homepage: www.elsevier.com/locate/tcs Note Completing a combinatorial
More informationCOBHAM S THEOREM AND SUBSTITUTION SUBSHIFTS
COBHAM S THEOREM AND SUBSTITUTION SUBSHIFTS FABIEN DURAND Abstract. This lecture intends to propose a first contact with subshift dynamical systems through the study of a well known family: the substitution
More informationOn the smoothness of the conjugacy between circle maps with a break
On the smoothness of the conjugacy between circle maps with a break Konstantin Khanin and Saša Kocić 2 Department of Mathematics, University of Toronto, Toronto, ON, Canada M5S 2E4 2 Department of Mathematics,
More informationSimultaneous Accumulation Points to Sets of d-tuples
ISSN 1749-3889 print, 1749-3897 online International Journal of Nonlinear Science Vol.92010 No.2,pp.224-228 Simultaneous Accumulation Points to Sets of d-tuples Zhaoxin Yin, Meifeng Dai Nonlinear Scientific
More informationProblem: A class of dynamical systems characterized by a fast divergence of the orbits. A paradigmatic example: the Arnold cat.
À È Ê ÇÄÁ Ë ËÌ ÅË Problem: A class of dynamical systems characterized by a fast divergence of the orbits A paradigmatic example: the Arnold cat. The closure of a homoclinic orbit. The shadowing lemma.
More informationDynamics of finite linear cellular automata over Z N
Dynamics of finite linear cellular automata over Z N F. Mendivil, D. Patterson September 9, 2009 Abstract We investigate the behaviour of linear cellular automata with state space Z N and only finitely
More informationDETERMINISTIC REPRESENTATION FOR POSITION DEPENDENT RANDOM MAPS
DETERMINISTIC REPRESENTATION FOR POSITION DEPENDENT RANDOM MAPS WAEL BAHSOUN, CHRISTOPHER BOSE, AND ANTHONY QUAS Abstract. We give a deterministic representation for position dependent random maps and
More informationAutomata on linear orderings
Automata on linear orderings Véronique Bruyère Institut d Informatique Université de Mons-Hainaut Olivier Carton LIAFA Université Paris 7 September 25, 2006 Abstract We consider words indexed by linear
More informationTakens embedding theorem for infinite-dimensional dynamical systems
Takens embedding theorem for infinite-dimensional dynamical systems James C. Robinson Mathematics Institute, University of Warwick, Coventry, CV4 7AL, U.K. E-mail: jcr@maths.warwick.ac.uk Abstract. Takens
More informationPart II. Number Theory. Year
Part II Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2017 Paper 3, Section I 1G 70 Explain what is meant by an Euler pseudoprime and a strong pseudoprime. Show that 65 is an Euler
More informationThe primitive root theorem
The primitive root theorem Mar Steinberger First recall that if R is a ring, then a R is a unit if there exists b R with ab = ba = 1. The collection of all units in R is denoted R and forms a group under
More informationOn the cost and complexity of the successor function
On the cost and complexity of the successor function Valérie Berthé 1, Christiane Frougny 2, Michel Rigo 3, and Jacques Sakarovitch 4 1 LIRMM, CNRS-UMR 5506, Univ. Montpellier II, 161 rue Ada, F-34392
More informationGenerating All Circular Shifts by Context-Free Grammars in Chomsky Normal Form
Generating All Circular Shifts by Context-Free Grammars in Chomsky Normal Form Peter R.J. Asveld Department of Computer Science, Twente University of Technology P.O. Box 217, 7500 AE Enschede, the Netherlands
More informationMATH 433 Applied Algebra Lecture 22: Semigroups. Rings.
MATH 433 Applied Algebra Lecture 22: Semigroups. Rings. Groups Definition. A group is a set G, together with a binary operation, that satisfies the following axioms: (G1: closure) for all elements g and
More information#A30 INTEGERS 17 (2017) CONFERENCE MATRICES WITH MAXIMUM EXCESS AND TWO-INTERSECTION SETS
#A3 INTEGERS 7 (27) CONFERENCE MATRICES WITH MAIMUM ECESS AND TWO-INTERSECTION SETS Koji Momihara Faculty of Education, Kumamoto University, Kurokami, Kumamoto, Japan momihara@educ.kumamoto-u.ac.jp Sho
More informationarxiv: v1 [math.co] 8 Feb 2014
COMBINATORIAL STUDY OF THE DELLAC CONFIGURATIONS AND THE q-extended NORMALIZED MEDIAN GENOCCHI NUMBERS ANGE BIGENI arxiv:1402.1827v1 [math.co] 8 Feb 2014 Abstract. In two recent papers (Mathematical Research
More informationarxiv: v1 [cs.dm] 2 Dec 2007
Direct definition of a ternary infinite square-free sequence Tetsuo Kurosaki arxiv:0712.0139v1 [cs.dm] 2 Dec 2007 Department of Physics, Graduate School of Science, University of Tokyo, Hongo, Bunkyo-ku,
More informationA FAMILY OF FINITE GELFAND PAIRS ASSOCIATED WITH WREATH PRODUCTS
A FAMILY OF FINITE GELFAND PAIRS ASSOCIATED WITH WREATH PRODUCTS CHAL BENSON AND GAIL RATCLIFF Abstract. Consider the wreath product G n = Γ n S n of a finite group Γ with the symmetric group S n. Letting
More informationOn Stateless Multicounter Machines
On Stateless Multicounter Machines Ömer Eğecioğlu and Oscar H. Ibarra Department of Computer Science University of California, Santa Barbara, CA 93106, USA Email: {omer, ibarra}@cs.ucsb.edu Abstract. We
More informationCollatz cycles with few descents
ACTA ARITHMETICA XCII.2 (2000) Collatz cycles with few descents by T. Brox (Stuttgart) 1. Introduction. Let T : Z Z be the function defined by T (x) = x/2 if x is even, T (x) = (3x + 1)/2 if x is odd.
More informationCirculant Hadamard matrices as HFP-codes of type C 4n C 2. arxiv: v1 [math.co] 26 Nov 2017
Circulant Hadamard matrices as HFP-codes of type C 4n C 2. arxiv:1711.09373v1 [math.co] 26 Nov 2017 J. Rifà Department of Information and Communications Engineering, Universitat Autònoma de Barcelona October
More informationUniversally divergent Fourier series via Landau s extremal functions
Comment.Math.Univ.Carolin. 56,2(2015) 159 168 159 Universally divergent Fourier series via Landau s extremal functions Gerd Herzog, Peer Chr. Kunstmann Abstract. We prove the existence of functions f A(D),
More informationA new Euler-Mahonian constructive bijection
A new Euler-Mahonian constructive bijection Vincent Vajnovszki LE2I, Université de Bourgogne BP 47870, 21078 Dijon Cedex, France vvajnov@u-bourgogne.fr March 19, 2011 Abstract Using generating functions,
More informationSome practice problems for midterm 2
Some practice problems for midterm 2 Kiumars Kaveh November 14, 2011 Problem: Let Z = {a G ax = xa, x G} be the center of a group G. Prove that Z is a normal subgroup of G. Solution: First we prove Z is
More informationErgodic Theory. Constantine Caramanis. May 6, 1999
Ergodic Theory Constantine Caramanis ay 6, 1999 1 Introduction Ergodic theory involves the study of transformations on measure spaces. Interchanging the words measurable function and probability density
More informationCHARACTERIZATION OF NONCORRELATED PATTERN SEQUENCES AND CORRELATION DIMENSIONS. Yu Zheng. Li Peng. Teturo Kamae. (Communicated by Xiangdong Ye)
DISCRETE AND CONTINUOUS doi:10.3934/dcds.2018223 DYNAMICAL SYSTEMS Volume 38, Number 10, October 2018 pp. 5085 5103 CHARACTERIZATION OF NONCORRELATED PATTERN SEQUENCES AND CORRELATION DIMENSIONS Yu Zheng
More informationMATH FINAL EXAM REVIEW HINTS
MATH 109 - FINAL EXAM REVIEW HINTS Answer: Answer: 1. Cardinality (1) Let a < b be two real numbers and define f : (0, 1) (a, b) by f(t) = (1 t)a + tb. (a) Prove that f is a bijection. (b) Prove that any
More informationHence, (f(x) f(x 0 )) 2 + (g(x) g(x 0 )) 2 < ɛ
Matthew Straughn Math 402 Homework 5 Homework 5 (p. 429) 13.3.5, 13.3.6 (p. 432) 13.4.1, 13.4.2, 13.4.7*, 13.4.9 (p. 448-449) 14.2.1, 14.2.2 Exercise 13.3.5. Let (X, d X ) be a metric space, and let f
More informationGenerating All Circular Shifts by Context-Free Grammars in Greibach Normal Form
Generating All Circular Shifts by Context-Free Grammars in Greibach Normal Form Peter R.J. Asveld Department of Computer Science, Twente University of Technology P.O. Box 17, 7500 AE Enschede, the Netherlands
More informationADDING MACHINES, ENDPOINTS, AND INVERSE LIMIT SPACES. 1. Introduction
ADDING MACHINES, ENDPOINTS, AND INVERSE LIMIT SPACES LORI ALVIN AND KAREN BRUCKS Abstract. Let f be a unimodal map in the logistic or symmetric tent family whose restriction to the omega limit set of the
More informationALMOST EVERY NUMBER HAS A CONTINUUM. INTRODUCTION. Let β belong to (1, 2) and write Σ =
ALMOST EVERY NUMBER HAS A CONTINUUM OF β-expansions NIKITA SIDOROV 1. INTRODUCTION. Let β belong to (1, 2) and write Σ = 1 {0, 1}. For each x 0 we will call any representation of x of the form (1) x =
More informationERGODIC AVERAGES FOR INDEPENDENT POLYNOMIALS AND APPLICATIONS
ERGODIC AVERAGES FOR INDEPENDENT POLYNOMIALS AND APPLICATIONS NIKOS FRANTZIKINAKIS AND BRYNA KRA Abstract. Szemerédi s Theorem states that a set of integers with positive upper density contains arbitrarily
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 information3 FUNCTIONS. 3.1 Definition and Basic Properties. c Dr Oksana Shatalov, Fall
c Dr Oksana Shatalov, Fall 2014 1 3 FUNCTIONS 3.1 Definition and Basic Properties DEFINITION 1. Let A and B be nonempty sets. A function f from A to B is a rule that assigns to each element in the set
More informationA representation of context-free grammars with the help of finite digraphs
A representation of context-free grammars with the help of finite digraphs Krasimir Yordzhev Faculty of Mathematics and Natural Sciences, South-West University, Blagoevgrad, Bulgaria Email address: yordzhev@swu.bg
More informationA NOTE ON NORMAL NUMBERS IN MATRIX NUMBER SYSTEMS
A NOTE ON NORMAL NUMBERS IN MATRIX NUMBER SYSTEMS MANFRED G. MADRITSCH Abstract. We consider a generalization of normal numbers to matrix number systems. In particular we show that the analogue of the
More informationTopological automorphisms of modified Sierpiński gaskets realize arbitrary finite permutation groups
Topology and its Applications 101 (2000) 137 142 Topological automorphisms of modified Sierpiński gaskets realize arbitrary finite permutation groups Reinhard Winkler 1 Institut für Algebra und Diskrete
More informationTHE ALTERNATING GREEDY EXPANSION AND APPLICATIONS TO COMPUTING DIGIT EXPANSIONS FROM LEFT-TO-RIGHT IN CRYPTOGRAPHY
THE ALTERNATING GREEDY EXPANSION AND APPLICATIONS TO COMPUTING DIGIT EXPANSIONS FROM LEFT-TO-RIGHT IN CRYPTOGRAPHY CLEMENS HEUBERGER, RAJENDRA KATTI, HELMUT PRODINGER, AND XIAOYU RUAN Abstract. The central
More informationA diametric theorem for edges. R. Ahlswede and L.H. Khachatrian
A diametric theorem for edges R. Ahlswede and L.H. Khachatrian 1 1 Introduction Whereas there are vertex and edge isoperimetric theorems it went unsaid that diametric theorems are vertex diametric theorems.
More informationarxiv:cs/ v1 [cs.dm] 7 May 2006
arxiv:cs/0605026v1 [cs.dm] 7 May 2006 Strongly Almost Periodic Sequences under Finite Automata Mappings Yuri Pritykin April 11, 2017 Abstract The notion of almost periodicity nontrivially generalizes the
More information= F (b) F (a) F (x i ) F (x i+1 ). a x 0 x 1 x n b i
Real Analysis Problem 1. If F : R R is a monotone function, show that F T V ([a,b]) = F (b) F (a) for any interval [a, b], and that F has bounded variation on R if and only if it is bounded. Here F T V
More informationarxiv: v1 [math.co] 8 Feb 2013
ormal numbers and normality measure Christoph Aistleitner arxiv:302.99v [math.co] 8 Feb 203 Abstract The normality measure has been introduced by Mauduit and Sárközy in order to describe the pseudorandomness
More information3515ICT: Theory of Computation. Regular languages
3515ICT: Theory of Computation Regular languages Notation and concepts concerning alphabets, strings and languages, and identification of languages with problems (H, 1.5). Regular expressions (H, 3.1,
More informationLocal time of self-affine sets of Brownian motion type and the jigsaw puzzle problem
Local time of self-affine sets of Brownian motion type and the jigsaw puzzle problem (Journal of Mathematical Analysis and Applications 49 (04), pp.79-93) Yu-Mei XUE and Teturo KAMAE Abstract Let Ω [0,
More informationAutomata Theory. Lecture on Discussion Course of CS120. Runzhe SJTU ACM CLASS
Automata Theory Lecture on Discussion Course of CS2 This Lecture is about Mathematical Models of Computation. Why Should I Care? - Ways of thinking. - Theory can drive practice. - Don t be an Instrumentalist.
More informationKybernetika. Tomáš Hejda; Zuzana Masáková; Edita Pelantová Greedy and lazy representations in negative base systems. Terms of use:
Kybernetika Tomáš Hejda; Zuzana Masáková; Edita Pelantová Greedy and lazy representations in negative base systems Kybernetika, Vol. 49 (03), No., 58 79 Persistent URL: http://dml.cz/dmlcz/43367 Terms
More informationTOEPLITZ KNEADING SEQUENCES AND ADDING MACHINES
TOEPLITZ KNEADING SEQUENCES AND ADDING MACHINES LORI ALVIN Department of Mathematics and Statistics University of West Florida 11000 University Parkway Pensacola, FL 32514, USA Abstract. In this paper
More informationPrimitivity of finitely presented monomial algebras
Primitivity of finitely presented monomial algebras Jason P. Bell Department of Mathematics Simon Fraser University 8888 University Dr. Burnaby, BC V5A 1S6. CANADA jpb@math.sfu.ca Pinar Pekcagliyan Department
More informationIRRATIONAL ROTATION OF THE CIRCLE AND THE BINARY ODOMETER ARE FINITARILY ORBIT EQUIVALENT
IRRATIONAL ROTATION OF THE CIRCLE AND THE BINARY ODOMETER ARE FINITARILY ORBIT EQUIVALENT MRINAL KANTI ROYCHOWDHURY Abstract. Two invertible dynamical systems (X, A, µ, T ) and (Y, B, ν, S) where X, Y
More informationLinear distortion of Hausdorff dimension and Cantor s function
Collect. Math. 57, 2 (2006), 93 20 c 2006 Universitat de Barcelona Linear distortion of Hausdorff dimension and Cantor s function O. Dovgoshey and V. Ryazanov Institute of Applied Mathematics and Mechanics,
More informationPaul Glendinning and Nikita Sidorov
Mathematical Research Letters 8, 535 543 (2001) UNIQUE REPRESENTATIONS OF REAL NUMBERS IN NON-INTEGER BASES Paul Glendinning and Nikita Sidorov 1. Introduction Problems related to the expansions of real
More informationWhat is a semigroup? What is a group? What is the difference between a semigroup and a group?
The second exam will be on Thursday, July 5, 2012. The syllabus will be Sections IV.5 (RSA Encryption), III.1, III.2, III.3, III.4 and III.8, III.9, plus the handout on Burnside coloring arguments. Of
More informationPrimary classes of compositions of numbers
Annales Mathematicae et Informaticae 41 (2013) pp. 193 204 Proceedings of the 15 th International Conference on Fibonacci Numbers and Their Applications Institute of Mathematics and Informatics, Eszterházy
More informationHow to count - an exposition of Polya s theory of enumeration
How to count - an exposition of Polya s theory of enumeration Shriya Anand Published in Resonance, September 2002 P.19-35. Shriya Anand is a BA Honours Mathematics III year student from St. Stephens College,
More informationCombinatorics of inverse semigroups. 1 Inverse semigroups and orders
Combinatorics of inverse semigroups This is an exposition of some results explained to me by Abdullahi Umar, together with some further speculations of my own and some with Ni Rusuc. 1 Inverse semigroups
More information25.1 Ergodicity and Metric Transitivity
Chapter 25 Ergodicity This lecture explains what it means for a process to be ergodic or metrically transitive, gives a few characterizes of these properties (especially for AMS processes), and deduces
More informationMaximum subsets of (0, 1] with no solutions to x + y = kz
Maximum subsets of 0, 1] with no solutions to x + y = z Fan R. K. Chung Department of Mathematics University of Pennsylvania Philadelphia, PA 19104 John L. Goldwasser West Virginia University Morgantown,
More informationA NOTE ON TENSOR CATEGORIES OF LIE TYPE E 9
A NOTE ON TENSOR CATEGORIES OF LIE TYPE E 9 ERIC C. ROWELL Abstract. We consider the problem of decomposing tensor powers of the fundamental level 1 highest weight representation V of the affine Kac-Moody
More informationTHE SEMIGROUP βs APPLICATIONS TO RAMSEY THEORY
THE SEMIGROUP βs If S is a discrete space, its Stone-Čech compactification βs can be described as the space of ultrafilters on S with the topology for which the sets of the form A = {p βs : A p}, where
More informationEQUIVALENCE OF TOPOLOGIES AND BOREL FIELDS FOR COUNTABLY-HILBERT SPACES
EQUIVALENCE OF TOPOLOGIES AND BOREL FIELDS FOR COUNTABLY-HILBERT SPACES JEREMY J. BECNEL Abstract. We examine the main topologies wea, strong, and inductive placed on the dual of a countably-normed space
More informationOn multiplicatively dependent linear numeration systems, and periodic points
On multiplicatively dependent linear numeration systems, and periodic points Christiane Frougny 1 L.I.A.F.A. Case 7014, 2 place Jussieu, 75251 Paris Cedex 05, France Christiane.Frougny@liafa.jussieu.fr
More informationAn Introduction to Ergodic Theory
An Introduction to Ergodic Theory Normal Numbers: We Can t See Them, But They re Everywhere! Joseph Horan Department of Mathematics and Statistics University of Victoria Victoria, BC December 5, 2013 An
More informationSYNTACTIC SEMIGROUP PROBLEM FOR THE SEMIGROUP REDUCTS OF AFFINE NEAR-SEMIRINGS OVER BRANDT SEMIGROUPS
SYNTACTIC SEMIGROUP PROBLEM FOR THE SEMIGROUP REDUCTS OF AFFINE NEAR-SEMIRINGS OVER BRANDT SEMIGROUPS JITENDER KUMAR AND K. V. KRISHNA Abstract. The syntactic semigroup problem is to decide whether a given
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 informationDemushkin s Theorem in Codimension One
Universität Konstanz Demushkin s Theorem in Codimension One Florian Berchtold Jürgen Hausen Konstanzer Schriften in Mathematik und Informatik Nr. 176, Juni 22 ISSN 143 3558 c Fachbereich Mathematik und
More informationThe Chinese Remainder Theorem
Chapter 5 The Chinese Remainder Theorem 5.1 Coprime moduli Theorem 5.1. Suppose m, n N, and gcd(m, n) = 1. Given any remainders r mod m and s mod n we can find N such that N r mod m and N s mod n. Moreover,
More informationDevil s Staircase Rotation Number of Outer Billiard with Polygonal Invariant Curves
Devil s Staircase Rotation Number of Outer Billiard with Polygonal Invariant Curves Zijian Yao February 10, 2014 Abstract In this paper, we discuss rotation number on the invariant curve of a one parameter
More informationADMISSIBILITY OF KNEADING SEQUENCES AND STRUCTURE OF HUBBARD TREES FOR QUADRATIC POLYNOMIALS
ADMISSIBILITY OF KNEADING SEQUENCES AND STRUCTURE OF HUBBARD TREES FOR QUADRATIC POLYNOMIALS HENK BRUIN AND DIERK SCHLEICHER Abstract. Hubbard trees are invariant trees connecting the points of the critical
More information