NORMAL NUMBERS WITH RESPECT TO THE CANTOR SERIES EXPANSION
DISSERTATION
Presented in Partial Fulfillment of the Requirements for
the Degree Doctor of Philosophy in the Graduate
School of the Ohio State University
By
Bill Mance, M.S.
Graduate Program in Mathematics
The Ohio State University 2010
Dissertation Committee:
Dr. Vitaly Bergelson, Advisor
Dr. Gerald Edgar
Dr. Alexander Leibman c Copyright by
Bill Mance
2010 ABSTRACT
∞ A sequence Q = {qn}n=1 is called a basic sequence if each qn is an integer greater than or equal to 2. A basic sequence is infinite in limit if qn → ∞. The Q-Cantor series expansion, first studied by G. Cantor, is a generalization of the b-ary expansion
P∞ En where every real number in [0, 1) is expressed in the form with En ∈ n=1 q1q2...qn
[0, qn − 1] ∩ Z and En 6= qn − 1 infinitely often. A real number x is normal in base b if every block of digits of length k occurs with frequency b−k in its b-ary expansion;
n ∞ equivalently, the sequence {b x}n=0 is uniformly distributed mod 1. The notion of normality is extended to the Q-Cantor series expansion. We primar- ily consider three distinct notions of normality that are equivalent in the case of the b-ary expansion: Q-normality, Q-ratio normality, and Q-distribution normality. All
Q-normal numbers are Q-ratio normal, but there is no inclusion between Q-normal numbers and Q-distribution normal numbers. Thus, the fundamental equivalence between notions of normality that holds for the b-ary expansion will no longer hold for the Q-Cantor series expansion, depending on the basic sequence Q.
We prove theorems that may be used to construct Q-normal and Q-distribution normal numbers for a restricted class of basic sequences Q. Using these theorems, we construct a number that is simultaneously Q-normal and Q-distribution normal for a certain Q. We also use the same theorems to provide an example of a basic
ii sequence Q and a number that is Q-normal, yet fails to be Q-distribution normal in a particularly strong manner. Many constructions of numbers that are Q-distribution normal, yet not Q-ratio normal are also provided.
In [24], P. Laffer asked for a construction of a Q-distribution normal number given an arbitrary Q. We provide a partial answer by constructing an uncountable family
∞ of Q-distribution normal numbers, provided that Q = {qn}n=1 satisfies the condition that it is infinite in limit. This set of Q-distribution normal numbers that we construct has the additional property that it is perfect and nowhere dense. Additionally, none of these numbers will be Q-ratio normal.
Also studied are questions of typicality for different notions of normality. We show that under certain conditions on the basic sequence Q, almost every real number is
Q-normal. If Q is infinite in limit, then the set of Q-ratio normal numbers will be dense in [0, 1), but may or may not have full measure. Almost every real number will be Q-distribution normal no matter our choice of Q. The set of Q-ratio normal and the set of Q-distribution normal numbers are small in the topological sense; they are both sets of the first category. We also study topological properties of other sets relating to digits of the Q-Cantor series expansion.
We define potentially stronger notions of normality: strong Q-normality, strong Q- ratio normality, and strong Q-distribution normality that are equivalent to normality in the case of the b-ary expansion. We show that the set of strongly Q-distribution normal numbers always has full measure, but the set of strongly Q-normal numbers will only under certain conditions. We study winning sets, in the sense of Schmidt games and show that the set of non-strongly Q-ratio normal numbers and the set
iii of non-strongly Q-distribution normal numbers are 1/2-winning sets and thus have full Hausdorff dimension. We also examine the property of being a winning set as it applies to other sets associated with the Q-Cantor series expansion.
A number normal in base b is never rational. We study how well this notion transfers to the Q-Cantor series expansion. In particular, it will remain consistent for Q-distribution normal numbers, but fail in unusual ways for other notions of normality.
iv Dedicated to Abigail.
v ACKNOWLEDGMENTS
First and foremost, I wish to thank Vitaly Bergelson, my advisor. No one else has had a greater mathematical influence over me. I am indebted to him for guiding me during my time at The Ohio State University and pointing me towards my current path of research. No one can be expected to give me as much time and energy as he has and for this I am truly grateful.
Second, I would like to thank everyone at the Indus Center for Academic Excel- lence, especially Raghunath Khetan, for helping me develop my problem solving skills early in my mathematical career.
Third, I wish to thank Gerald Edgar and Alexander Leibman for their time and effort participating in my thesis committee.
I wish to thank Mary Leary of Bishop Foley Catholic High School for allowing and encouraging me to explore mathematics on my own when I was in high school. I would also like to thank Ruth Favro of Lawrence Technological University for providing guidance in my pre-college years.
I would like to thank Christian Altomare for the many valuable discussions. Ad- ditionally, I would like to thank Jim Tseng whose talk “Nondense orbits, symbolic dynamics, and games”, given in the Ergodic Theory and Probability Seminar at The
Ohio State University in October 2008, led me to invistigate Schmidt’s game and how
vi it pertains to sets of non-normal numbers. This ultimately formed the basis for one of the chapters of this dissertation.
I wish to thank Cindy Bernlohr for help and guidance as a teacher during my time at Ohio State. I would also like to thank everyone else at Carnegie Mellon University and The Ohio State University who contributed to my understanding of mathematics or helped me out in any way.
I wish to thank Doug Heath for invaluable guidance as a powerlifter and for letting me train in his basement. I never would have gotten as far as I have without his influence.
Last but not least, I thank my parents, Andrew and Susan Mance.
vii VITA
April 6, 1981 ...... Born - Royal Oak, MI
1999-2003 ...... Undergraduate, Carnegie Mellon University
2003 ...... B.S. in Mathematics, Carnegie Mellon University
2003-Present ...... Graduate Teaching Associate, The Ohio State University
2004 ...... M.S. in Mathematics, The Ohio State University
PUBLICATIONS
Construction of normal numbers with respect to the Q-Cantor series expansion for certain Q, arXiv:0911.1485v1 (preprint).
Cantor series constructions contrasting two notions of normality (with C. Altomare), Monatsh. Math. (to appear).
viii FIELDS OF STUDY
Major Field: Mathematics
Specialization: Normal Numbers and Uniform Distribution of Sequences
ix TABLE OF CONTENTS
Abstract ...... ii
Dedication ...... v
Acknowledgments ...... vi
Vita ...... viii
CHAPTER PAGE
1 Introduction ...... 1
1.1 E. Borel and Early Developments in the Theory of Normal Numbers ...... 1 1.2 Uniformly Distributed Sequences ...... 5 1.2.1 Connection to Normality ...... 6 1.2.2 Classical Results ...... 7 1.2.3 Discrepancy ...... 9 1.2.4 Examples of Uniformly Distributed Sequences ...... 10 1.3 Ergodic Theory and Common Series Expansions . . . . . 12 1.3.1 Definitions and Basic Examples ...... 12 1.3.2 A Look at the b-ary Expansion Through Ergodic Theory . . . 14 1.3.3 The Continued Fraction Expansion ...... 15 1.3.4 The L¨urothSeries Expansion ...... 19 1.3.5 The Generalized L¨urothSeries Expansion ...... 21 1.3.6 β-expansions ...... 23 1.4 f-expansions ...... 25 1.5 Other Common Expansions ...... 29 1.5.1 The Engel Series Expansion ...... 29 1.5.2 The Sylvester Series Expansion ...... 31 1.5.3 The Cantor Product ...... 33 1.6 Fundamental Properties of Normal Numbers ...... 34
x 2 Normality With Respect to the Cantor Series Expansion ...... 36
2.1 The Cantor Series Expansion ...... 36 2.2 Basic Definitions Relating to Normality ...... 39 2.3 Q-Normal Numbers ...... 43 2.4 Q-Distribution Normal Numbers ...... 44 2.5 Q-Ratio Normal Numbers ...... 51 2.6 Basic Examples ...... 54 2.6.1 Q-Distribution Normality Without Simple Q-Normality . . . . 54 2.6.2 A Simply Q-Normal Number for a 1-Convergent Q ...... 55 2.6.3 Example of a Number that is Simply Q-Normal and Q-Distribution Normal for a Non-Trivial Basic Sequence Q ...... 56 2.6.4 A Simply Q-Ratio Normal Number that is not Simply Q-Normal or Q-Distribution Normal ...... 61
3 General Construction Theorems for Q-Normal and Q-Distribution Nor- mal Numbers for Certain Non-Trivial Q ...... 63
3.1 Basic Definitions and Conventions ...... 63 3.2 Modular Friendly Families and Construction of Q-Distribution Normal Numbers ...... 66 3.2.1 MFFs ...... 66 3.2.2 Discrepancy and V -Nice Sequences ...... 68 3.2.3 Main Theorem ...... 78 3.3 Block Friendly Families and Construction of Q-Normal Numbers ...... 80 3.3.1 BFFs ...... 80 3.3.2 Technical Lemmas ...... 81 3.3.3 Main Theorem ...... 98
4 Construction of a Number that is Q-Normal and Q-Distribution Normal for a Certain Non-Trivial Q ...... 100
5 Construction of a Number that is Q-Normal and not Q-Distribution Normal ...... 107
6 Construction of Q-Distribution Normal Numbers for Arbitrary Q that are Infinite in Limit ...... 121
6.1 Basic Definitions ...... 123
xi 6.2 Basic Lemmas ...... 128 6.3 Main Theorem ...... 138 6.4 Examples ...... 141 6.4.1 Example for a Fast Growing qn ...... 142 6.4.2 An Example for a Non-Increasing qn ...... 144 6.5 Conjectures ...... 146
7 Measure of sets of Q-normal and Q-distribution Normal Numbers . . . 148
7.1 Strongly Normal Numbers ...... 148 7.2 Random Variables Associated With Normality ...... 163 7.3 Typicality of Normal Numbers ...... 168 7.4 Another Approach ...... 179 7.5 Applications to Ratio Normal Numbers ...... 189
8 Topological Results ...... 197
8.1 Basic Definitions ...... 197 8.2 Q-Normal Numbers ...... 199 8.3 Q-Distribution Normal Numbers ...... 200 8.4 Q-Disjunctive Numbers ...... 202 8.5 Q-Dense Numbers ...... 205 8.6 A Set of Q-Distribution Normal Numbers that is Perfect and Nowhere Dense ...... 214
9 Winning Sets ...... 227
9.1 Introduction ...... 227 9.2 Windim of Sets of Non-Normal Numbers ...... 228 9.2.1 Basic Lemmas and Definitions ...... 228 9.2.2 Main Theorems and Conjectures ...... 237 9.3 Windim of other Sets Related to Digits of the Cantor Series Expansion ...... 240 9.3.1 Basic Lemmas and Definitions ...... 240 9.3.2 Main Results and Conjectures ...... 248
10 Irrationality of Certain Cantor Series Expansions Related to Normal Numbers ...... 253
10.1 The Alternative Q-Cantor Series Expansion ...... 253
xii 10.2 More on Ratio Normality ...... 254 10.3 The E-engel series ...... 257 10.4 Rationality of Cantor Series Expansions ...... 259 10.4.1 Classical Results ...... 259 10.4.2 Rationality of Normal Numbers ...... 262
11 Open Problems and Further Investigations ...... 269
11.1 More General Constructions of Normal Numbers . . . . . 269 11.2 Ergodic Properties of the Cantor Series Expansion . . . . 270 11.3 More Powerful Tools to Study Normality ...... 270
Bibliography ...... 272
xiii CHAPTER 1
INTRODUCTION
1.1 E. Borel and Early Developments in the Theory of Nor-
mal Numbers
Suppose that x = 0.d1d2d3 ... is the decimal expansion of some real number x ∈ [0, 1). It is natural to ask, for example, if the digit 1 occurs infinitely often in the decimal √ √ expansion of 2 − 1 = 0.41421356237 .... Since 2 − 1 is irrational, we know that there are at least two digits among 0, 1,..., 9 that occur infinitely often.
An even harder question is, in what real numbers decimal expansion does the digit 1 occur with frequency 1/10? If the decimal expansion of a real number is “random”, then even more should happen; in particular, the digit 9 followed by the digit 7 should occur with frequency 1/100. Intuitively, we say that a real number x is normal in base 10 if every block of k digits occurs with frequency 10−k. We make the following definitions:
1 Definition 1.1.1. Given an integer b ≥ 2, the b-ary expansion of a real x in [0, 1) is the (unique) expansion of the form
∞ X dn x = = 0.d d d ... (1.1) bn 1 2 3 n=1 such that dn is in {0, 1, . . . , b − 1} for all n with dn 6= b − 1 infinitely often.
Definition 1.1.2. Let b and k be positive integers. A block of length k in base b is an ordered k-tuple of integers in {0, 1, . . . , b − 1}. A block of length k is a block of length k in some base b. A block is a block of length k in base b for some integers k and b.
b Denote by Nn(B, x) the number of times a block B occurs with its starting position no greater than n in the b-ary expansion of x.
Definition 1.1.3. A real number x in [0, 1) is normal in base b if for all k and blocks
B in base b of length k, one has
N b(B, x) lim n = b−k. (1.2) n→∞ n
A number x is simply normal in base b if (1.2) holds for k = 1.
We will use the notation P (A) to stand for the probability of an event A. If X is a random variable, we will denote its expected value and variance by E [X] and Var [X], respectively.
2 E. Borel introduced normal numbers in 1909 and proved that almost all (in the sense of Lebesgue measure) real numbers in [0, 1) are normal in all bases. In our terminology, he defined a number to be normal in base b if it is simply normal in the bases b, b2, b3..... He used the following:
Theorem 1.1.4. (The Strong Law of Large Numbers) Suppose that X1,X2,... are pairwise independent identically distributed random variables with E [Xi] < ∞ for all i. Let µ = E [Xi] and Sn = X1 + X2 + ... + Xn. Then for almost every x,
S (x) lim n = µ. (1.3) n→∞ n
It is not immediately obvious that E. Borel’s definition of normality is equivalent to
Definition 1.1.3. The Strong Law of Large Numbers cannot directly be easily used to prove that almost every real number is normal in the sense of Definition 1.1.3. The
Birkhoff’s Ergodic Theorem, a generalization of the Strong Law of Large Numbers that we will encounter later, will allow us to directly prove this result.
The first constructions of normal numbers were due to H. Lebesgue [27] and W.
Sierpi´nski[49]. Both of these constructions are simultaneously normal in every base.
The following are more well known:
Example 1.1.5. The best known example of a number that is normal in base 10 is due to Champernowne [8]. The number
0.1 2 3 4 5 6 7 8 9 10 11 12 ..., (1.4)
3 formed by concatenating the digits of every natural number written in increasing order in base 10, is normal in base 10.
Example 1.1.6. A. Copeland and P. Erd˝osproved in [9] that the number
0.2 3 5 7 11 13 17 19 23 29 31 37 ..., (1.5) formed by concatenating the digits of the prime numbers expressed in base 10, is normal in base 10.
Example 1.1.7. Suppose that p(n) is a positive increasing polynomial on the natural numbers. H. Davenport and P. Erd˝osproved in [13] that the number
0.p(1)p(2)p(3)p(4)p(5)p(6) ..., (1.6) formed by concatenating the digits of the values p(1), p(2), p(3),... written in base 10, is normal in base 10.
Since then, many examples of numbers that are normal in at least one base have been given, including constructions that generalize Example 1.1.6 and Example 1.1.7. One can find a more thorough literature review in [10] and [23].
4 1.2 Uniformly Distributed Sequences
We will now examine uniformly distributed sequences, which are an indispensable facet of the study of normality. Our notation will remain consistent with that of
[23].1
For the rest of this thesis, we will let b·c and d·e represent the floor and ceiling functions, respectively. Additionally, given a real number x, we will write {x} = x − bxc for the fractional part of x.
∞ Definition 1.2.1. Suppose that X = {xn}n=1 is a sequence of real numbers. For a positive integer N and some I ⊂ [0, 1), we define AN (I,X) to be the number of terms xn with 1 ≤ n ≤ N, for which {xn} ∈ I. Thus, we may write
AN (I,X) = #{n ∈ [1,N]: {xn} ∈ I}. (1.7)
m If X = {xn}n=1 is a finite sequence of real numbers, we write
A(I,X) = AN (I,X) = #{n ∈ [1,N]: {xn} ∈ I}. (1.8)
∞ Definition 1.2.2. The sequence X = {xn}n=1 is said to be uniformly distributed mod 1 if for every pair a, b of real numbers with
1See [10] and [23] for a more thorough look at uniformly distributed sequences.
5 0 ≤ a < b ≤ 1, (1.9) we have
A ([a, b],X) lim N = b − a. (1.10) N→∞ N
We note the following equivalent statement of normality in base b:
Proposition 1.2.3. The sequence x1, x2, x3,... is uniformly distributed mod 1 if and only if for every real-valued continuous function f defined on the closed unit interval
[0, 1], we have
N 1 X Z 1 lim f({xn}) = f(x)dx. (1.11) N→∞ N n=1 0
1.2.1 Connection to Normality
The most fundamental and important result in the theory of normal numbers is the following theorem:
Theorem 1.2.4. A real number x ∈ [0, 1) is normal in base b if and only if the
n ∞ sequence {b x}n=0 is uniformly distributed mod 1.
6 We observe that if x = 0.d1d2d3 ..., then
bx = d1.d2d3 ..., (1.12)
2 b x = d1d2.d3d4 ..., (1.13)
3 b x = d1d2d3.d4d5 ..., (1.14) and so on. Suppose B = (b1, b2, . . . , bk). The essential idea behind Theorem 1.2.4 is that if x = 0.d1d2d3 ... is the b-ary expansion of some x ∈ [0, 1), then the block B occurs at position n of the b-ary expansion of x if and only if
b b b b b b + 1 bnx ∈ 1 + 2 + ... + k , 1 + 2 + ... + k . (1.15) b b2 bk b b2 bk The important observation is that multiplication by b shifts the decimal point. This result will later motivate Definition 2.4.2.
1.2.2 Classical Results
We list the following theorems that are well known results on uniformly distributed sequences. The following is due to H. Weyl ([53] and [54]):
Theorem 1.2.5. (Weyl Criterion) The sequence x1, x2, x3,... is uniformly distributed mod 1 if and only if
N 1 X lim e2πihxn = 0 (1.16) N→∞ N n=1 for all integers h 6= 0.
7 The remaining theorems can be found in [23]:
Theorem 1.2.6. (Fej´er’sTheorem) Let {f(n)}, n = 1, 2,..., be a sequence of real numbers such that ∆f(n) = f(n + 1) − f(n) is monotone as n increases. Suppose that
lim ∆f(n) = 0 (1.17) n→∞ and
lim n|∆f(n)| = ∞. (1.18) n→∞
Then the sequence {f(n)}n is uniformly distributed mod 1.
∞ Theorem 1.2.7. (Van der Corput’s Difference Theorem) Let {xn}n=1 be a given
∞ sequence of real numbers. If for every positive integer h the sequence {xn+h − xn}n=1
∞ is uniformly distributed mod 1, then {xn}n=1 is uniformly distributed mod 1.
∞ Theorem 1.2.8. If a sequence {xn}n=1 has the property
∆xn = xn+1 − xn → θ (irrational) as n → ∞, (1.19)
∞ then the sequence {xn}n=1 is uniformly distributed mod 1.
8 1.2.3 Discrepancy
The discrepancy of a finite sequence can be thought of as a measure of how far it is from being uniformly distributed mod 1. Estimations of discrepancy combined with Theorem 1.2.4 allow us to study normal numbers in far greater detail than we otherwise could. We make the following definition:
Definition 1.2.9. For a finite sequence X = (x1, . . . , xn), we define the discrepancy
Dn = Dn(z1, . . . , zn) (1.20) as
A([α, β), z) sup − γ . (1.21) 0≤α<β≤1 n
Given an infinite sequence w = (w1, w2,...), we define
Dn(w) = Dn(w1, w2, . . . , wn). (1.22)
Theorem 1.2.10. The sequence X is uniformly distributed mod 1 if and only if limn→∞ Dn(X) = 0.
We note the following inequalities as examples of theorems that are often used to estimate discrepancy:
9 Theorem 1.2.11. (LeVeque’s Inequality) The discrepancy DN of the finite sequence x1, x2, . . . , xN in [0, 1) satisfies
∞ N !1/3 6 X 1 1 X D ≤ e2πihxn . (1.23) N π2 h2 N h=1 n=1
Theorem 1.2.12. (The Erd˝os-Tur´anInequality) For any finite sequences of real numbers x1, x2, . . . , xN and any positive integer m, we have
m N 6 4 X 1 1 1 X D ≤ + − e2πihxn . (1.24) N m + 1 π h m + 1 N h=1 n=1
Both Theorem 1.2.11 and Theorem 1.2.12 allow us to study uniform distribution by using powerful inequalities involving estimation of trigonometric sums. Theo- rem 1.2.11 was proven by W. LeVeque in [28]. Theorem 1.2.12 was proven by P.
Erd˝osand P. Tur´an in [14].
1.2.4 Examples of Uniformly Distributed Sequences
Example 1.2.13. The sequence
0, 1/2, 0, 1/3, 2/3, 0, 1/4, 2/4, 3/4,... (1.25) is uniformly distributed mod 1. This can be proven directly by elementary means.
10 Example 1.2.14. The sequence {log n}n is not uniformly distributed mod 1. This may be shown by an application of Theorem 1.2.5. On a more intuitive level, this sequence is not uniformly distributed as the function log n grows so slowly that for every interval I, the limit
A (I, {log n}∞ ) lim N n=1 (1.26) N→∞ N does not exist.
Example 1.2.15. The sequence
0, 1/2, 0, 1/4, 2/4, 3/4, 0, 1/8, 2/8, 3/8,..., 7/8, 1/16, 2/16,... (1.27) is not uniformly distributed mod 1. This follows by reasons similar to those found in
Example 1.2.14.
Theorem 1.2.16. The sequence
α, 2α, 3α, 4α, . . . (1.28) is uniformly distributed mod 1 if and only if α is irrational. This may be proven directly through elementary means. This also follows from the Weyl Criterion and was originally proven in [53].
H. Weyl went further and proved:
11 Theorem 1.2.17. (Weyl’s Theorem) Let
m m−1 p(x) = αmx + αm−1x + ... + α0, m ≥ 1, (1.29) be a polynomial with real coefficients and let at least one of the coefficients αj with
∞ j > 0 be rational. Then the sequence {p(n)}n=1 is uniformly distributed mod 1.
Theorem 1.2.17 follows by induction and Theorem 1.2.7 and was originally proven to be uniformly distributed mod 1 by H. Weyl in [53] and [54].
1.3 Ergodic Theory and Common Series Expansions
1.3.1 Definitions and Basic Examples
We will use notation consistent with that of [12].2 For the rest of this thesis, λ will denote Lebesgue measure.
Definition 1.3.1. A probability space is a triple (X, F, µ), where X is a nonempty set, F is a σ-algebra, and µ is a measure on (X, F) with µ(X) = 1.
Definition 1.3.2. Let (X, F, µ) be a probability space. A measurable transformation
T : X → X is measure preserving with respect to µ (equivalently: µ is T -invariant or
µ is an invariant measure for T ), if µ(T −1A) = µ(A) for all A ∈ F.
2For a thorough introduction to ergodic theory, see [35] and [52].
12 Definition 1.3.3. A dynamical system is a quadruple (X, F, µ, T ), where X is a non-empty set, F is a σ-algebra on X, µ is a probability measure on (X, F) and
T : X → X is a surjective µ-preserving transformation.
Definition 1.3.4. Let (X, F, µ, T ) be a dynamical system. Then T is called ergodic if for every µ-measurable set A satisfying T −1A = A one has that µ(A) ∈ {0, 1}.
Theorem 1.3.5. Let (X, F, µ) be a probability space and let A be a generating semi- algebra. Let T : X → X be a measure preserving transformation; then T is ergodic if and only if for every A, B ∈ A
n−1 1 X lim µ(T −iA ∩ B) = µ(A)µ(B). (1.30) n→∞ n i=0
The following important theorem was proven by G. Birkhoff in 1931:
Theorem 1.3.6. (The Pointwise Ergodic Theorem) Let (X, F, µ, T ) be a probability space and T : X → X a measure preserving transformation. Then, for any f ∈ L1(µ),
n−1 1 X lim f T i(x) = f ∗(x) (1.31) n→∞ n i=0 R R ∗ exists almost everywhere, is T -invariant, and X fdµ = X f dµ. If, moreover, T is ∗ ∗ R ergodic, then f is a constant almost everywhere and f = X fdµ.
We also give the following property that is stronger than ergodicity:
13 Definition 1.3.7. Suppose that T is a measure preserving transformation on a prob- ability space (X, F, µ). Then T is strongly mixing if for all A, B ∈ F
lim µ T −iA ∩ B = µ(A)µ(B). (1.32) n→∞
1.3.2 A Look at the b-ary Expansion Through Ergodic Theory
Using Theorem 1.3.6, we may now sketch a proof that for any integral b ≥ 2, almost every real number in [0, 1) is normal in base b. We use the following:
Lemma 1.3.8. Define Tb : [0, 1) → [0, 1) by T x = bx (mod 1). Then Tb preserves Lebesgue measure and is ergodic.
We let Y denote the set of points that have a unique b-ary expansion. Clearly, Y has full measure in [0, 1). We see that if x = 0.d1d2d3 ... is the b-ary expansion of x, then
i Tb x = 0.bi+1bi+2bi+3 .... (1.33)
Let B = (b1, b2, . . . , bk) be a block of length k and define
b b b b b b + 1 I = 1 + 2 + ... + k , 1 + 2 + ... + k . (1.34) B b b2 bk b b2 bk
Let f(x) = χIB (x) be the characteristic function of IB. Clearly,
n−1 b X i Nn(B, x) = f Tb x . (1.35) i=0
14 Thus, by Theorem 1.3.6, for almost every x ∈ [0, 1), we have
b Z Nn(B, x) lim = χI dλ = λ(IB). (1.36) n→∞ n B Since there are only countably many choices of the block B, almost every real number in [0, 1) is normal in base b.
It should be noted that if x = 0.d1d2d3 ... is the b-ary expansion of x, then
k k + 1 d = k if and only if bi−1x (mod 1) ∈ , . (1.37) i b b For many of the expansions we will study3, we will fix a partition of the interval [0, 1).
The “digits” of some real number x will record which members of the partition that the orbit of x under some transformation Tb lands in. This idea should be considered fundamental for studying expansions connected to ergodic theory.
1.3.3 The Continued Fraction Expansion
The continued fraction expansion is of considerable importance in number theory and may be preferable to the b-ary expansion in many applications. If x ∈ (0, 1) is an irrational number, we may write
1 x = 1 = [a1, a2, a3,...], (1.38) a1 + 1 a2+ a3+...
3See [12] for a more thorough treatment of the expansions covered in this section.
15 where the digits an are positive integers. If x is a rational number, we may write
1 x = 1 = [a1, a2, a3, . . . , an]. (1.39) a1 + 1 a2+ a +...+ 1 3 an A short computation shows that
[a1, a2, . . . , an−1, an] = [a1, a2, . . . , an−1, an − 1, 1]. (1.40)
The shorter of the two expansions in (1.40) will always be chosen when we consider the continued fraction expansion of a rational number.
Example 1.3.9. √ 2 − 1 = [2, 2, 2, 2,...]. (1.41)
To see why this is so, suppose that x = [2, 2, 2, 2,...]. Then
1 x = , (1.42) 2 + x √ so x2 + 2x − 1 = 0. Since x is positive, we have x = 2 − 1.
Example 1.3.10. Through use of a calculator, one may compute the expansion
π − 3 = [7, 15, 1, 292, 1,...]. (1.43)
It should be noted that there is no known pattern in the expansion (1.43).
16 For the remainder of this subsection, we define the shift transformation for x ∈ (0, 1):
{1/x} for x 6= 0 T x = . (1.44) 0 if x = 0 By a simple computation, we see that
T [a1, a2, a3,...] = [a2, a3, a4,...] (1.45) and
T [a1, a2, a3, . . . , an] = [a2, a3, a4, . . . , an]. (1.46)
For a positive integer n, set
1 1 I = , . (1.47) n n + 1 n
i−1 It can be shown through basic computation that ai(x) = n if and only if T x ∈ In.
One can show that T does not preserve Lebesgue measure. However, T is µ − invariant, where
1 Z dx µ(I) = (1.48) log 2 I 1 + x for all intervals I. We note that µ is equivalent to Lebesgue measure.
17 Definition 1.3.11. Suppose that ν is a probability measure on [0, 1). Then the se-
∞ quence X = {xn}n=1 is said to be uniformly distributed mod 1 with respect to ν if for every pair a, b of real numbers with
0 ≤ a < b ≤ 1, (1.49) we have
A ([a, b],X) lim N = ν([a, b]). (1.50) N→∞ N
Theorem 1.3.12. The shift transformation T is strongly mixing with respect to µ.
Thus, we may make the definition:
Definition 1.3.13. A real number x ∈ [0, 1) is normal with respect to the contin-
n ∞ ued fraction expansion if the sequence {T x}n=0 is uniformly distributed mod 1 with respect to µ.
Since µ is equivalent to Lebesgue measure, we may apply Theorem 1.3.6 and arrive at:
Theorem 1.3.14. Almost every real number in [0, 1) is normal with respect to the continued fraction expansion.
18 In particular, Theorem 1.3.14 implies that the frequency of the digit n in the continued fraction expansion of almost every real number is
Z dx 1 1 1 = log 1 + ≈ n−2. (1.51) In 1 + x log 2 n(n + 2) log 2 For example, the digit 1 occurs with frequency approximately 41.5% and the digit
2 occurs with frequency approximately 17% in the continued fraction expansion of almost every real number in [0, 1).
Example 1.3.15. Consider the number formed by concatenating the digits of the continued fraction expansion of the numbers
1/2, 1/3, 2/3, 1/4, 2/4, 3/4, 1/5, 2/5, 3/5, 4/5,.... (1.52)
This number was proven to be normal with respect to the continued fraction expansion by R. Adler, M. Keane, and M. Smorodinsky in [1].
1.3.4 The L¨urothSeries Expansion
In this subsection, we partition the interval [0, 1) into intervals of the form
1 1 I = , . (1.53) n n + 1 n We can write every x ∈ [0, 1) in the form
19 1 1 x = [a1(x), a2(x),...] = + + ... (1.54) a1(x) a1(x)(a1(x) − 1)a2(x) 1 + + ..., a1(x)(a1(x) − 1) ··· an−1(x)(an−1(x) − 1)an(x) where an ≥ 2 are positive integers. (1.54) is called the L¨uroth series expansion of x.
For the remainder of this subsection, define T : [0, 1) → [0, 1) by
n(n + 1)x − n for x ∈ In T x = . (1.55) 0 if x = 0
Then one may verify that
T [a1, a2, a3,...] = [a2, a3, a4,...] (1.56)
i−1 and that ai(x) = n if and only if T x ∈ In−1.
Example 1.3.16. 1 1 π − 3 = [8, 2, 2, 2, 3,...] = + (1.57) 8 8 · 7 · 2
1 1 1 + + + + ... 8 · 7 · 2 · 1 · 2 8 · 7 · 2 · 1 · 2 · 1 · 2 8 · 7 · 2 · 1 · 2 · 1 · 2 · 1 · 3
The following may be found in [12]:
Theorem 1.3.17. The transformation T is ergodic with respect to λ.
20 Clearly, Theorem 1.3.17 suggests a reasonable definition of normality for the L¨uroth series expansion that will hold for almost every x ∈ [0, 1):
Definition 1.3.18. A real number x ∈ [0, 1) is normal with respect to the L¨uroth
n ∞ series expansion if the sequence {T x}n=0 is uniformly distributed mod 1 with respect to λ.
Applying Theorem 1.3.6, we arrive at:
Theorem 1.3.19. Almost every real number in [0, 1) is normal with respect to the
L¨uroth series expansion.
1.3.5 The Generalized L¨urothSeries Expansion
We will see that both the b-ary and L¨uroth series expansions are special cases of a larger family of series expansions generated by piecewise linear transformations.
We consider any partition I = {[ln, rn): n ∈ D} of [0, 1) where D ⊂ N ∪ {0}. We set
In = [ln, rn) for n ∈ D. We also assume that if i, j ∈ D with i > j, then
0 < λ(Li) ≤ λ(Lj) < 1. (1.58)
We call D the digit set. For the rest of this subsection, we define
1 ln x − , x ∈ In, n ∈ D T x = rn−ln rn−ln . (1.59) 0, x ∈ I∞ = [0, 1)\ ∪n∈D In
21 For x ∈ [ln, rn) and n ∈ D, set
1 l s(x) = and h(x) = n . (1.60) rn − ln rn − ln Thus, T x = xs(x) − h(x). Furthermore, we set
k−1 k−1 s(T x) if T x ∈ ∪n∈DIn sk(x) = (1.61) k−1 ∞ if T x∈ / ∪n∈DIn and
k−1 k−1 h(T x) if T x ∈ ∪n∈DIn hk(x) = . (1.62) k−1 1 if T x∈ / ∪n∈DIn
k So, if x ∈ ∪n∈DIn and T x ∈ ∪n∈DIn for all k ≥ 1, we have that
h (x) h (x) h (x) x = 1 + 2 + ... + k + .... (1.63) s1(x) s1(x)s2(x) s1(x)s2(x) ··· sk(x)
We define the digits a1(x), a2(x),... of the GLS(I) of a real x ∈ [0, 1) by
n−1 an(x) = k if T x ∈ Ik, k ∈ D ∪ {∞}. (1.64)
The expansion (1.63) is called the Generalized L¨uroth series expansion. The following are examples of Generalized L¨urothseries expansions:
Example 1.3.20. (b-ary expansion)
k k+1 Let b ≥ 2 be a positive integer, D = {0, 1, . . . , b − 1}, Ik = b , b for k ∈ D, and sn(x) = b for all x. Additionally, set h1(x) = k if x ∈ Ik.
22 Example 1.3.21. (L¨uroth series expansion)
We set
1 1 D = {2, 3, 4,...},I = , , k ∈ D, (1.65) k k k − 1 s1(x) = k(k − 1) = a1(a1 − 1) if x ∈ Ik, sk = ak(ak − 1), and hk = ak − 1.
The following may be found in [12]:
Theorem 1.3.22. Let T be a GLS(I) transformation on [0, 1). Then T is ergodic.
1.3.6 β-expansions
We consider another generalization of the b-ary expansion. Let β > 1 be a real number and define
Tβx = βx (mod 1). (1.66)
For all x ∈ [0, 1), we may write
a d d x = 1 + 2 + 3 + ..., (1.67) β β2 β3
n−1 where an(x) = bβTβ xc for all positive integers n with an(x) ∈ {0, 1,..., bβc}. The expansion (1.67) is called the β-expansion of x.
23 Example 1.3.23. Set
√ 5 + 1 β = . (1.68) 2
n−1 Then an(x) ∈ {0, 1} and an(x) = 0 if and only if Tβ x ∈ [0, 1/β). Additionally, the digit 0 can be followed by a 0 or 1, but the digit 1 may only be followed by a 0. For example, we have
4 1 0 0 1 0 0 1 0 = + + + + + + + + .... (1.69) 5 β β2 β3 β4 β5 β6 β7 β8
Proposition 1.3.24. If β is not an integer, then Tβ is not invariant with respect to Lebesgue measure.
The following is due to A. R´enyi [39]:
Theorem 1.3.25. For all β > 1, there exists a measure νβ such that Tβ is ergodic with respect to νβ.
A. Gelfond [18] and W. Parry [34] independently found an explicit formula for the
4 measure νβ in Theorem 1.3.25.
4 Further work has been done. For example, V. Rochlin showed that the entropy of the map Tβ is log β.
24 1.4 f-expansions
In this section, we will see a general class of series expansions that includes the b-ary expansion, the continued fraction expansion, and many others.5
Definition 1.4.1. Suppose that f is a monotone (increasing or decreasing) function and f : (0, 1) → R. The f-expansion of a real number x ∈ (0, 1), if it exists, is the expansion of the form
x = f(E1(x) + f(E2(x) + f(E3(x) + ...))). (1.70)
The digits in (1.70) are defined as follows. Let φ = f −1 and define
r0(x) = f(x) (1.71) and
rn+1(x) = {φ(rn(x)} for n = 0, 1, 2,.... (1.72)
We set
En+1(x) = bφ(rn(x))c. (1.73)
A. R´enyi proved the following two theorems in [39]:
5For more detail, see A. R´enyi’s survey paper Probabilistic Methods in Number Theory [40].
25 Theorem 1.4.2. If f(x) is a monotone function and satisfies at least one of the following conditions, then every x ∈ (0, 1) can be represented in the form (1.70) with digits En(x) defined as in (1.72):
1. f(t) is positive valued, continuous, and strictly decreasing for 1 ≤ t ≤ T where
2 < T ≤ ∞, further, f(1) = 1; if T < ∞, then f(t) = 0 for t ≥ T , and if
T = ∞, then limt→∞ f(t) = 0. In addition,
|f(t2) − f(t1)| ≤ |t2 − t1| for 1 ≤ t1 ≤ t2, (1.74)
and
|f(t2) − f(t1)| ≤ |t2 − t1| for τ − < t1 < t2, (1.75)
where τ is the solution of the equation
1 + f(τ) = τ (1.76)
and 0 < < τ.
2. f(t) is continuous and strictly increasing for 0 ≤ t ≤ T where 1 < T ≤ ∞ and
f(0) = 0. If T < ∞, then f(t) = 1 for t ≥ T ; if T = ∞, then limt→∞ f(t) = 1; further, we have
f(t2) − f(t1) < t2 − t1 for 0 ≤ t1 < t2 ≤ T. (1.77)
26 Given a function f, we define
fn(x, t) = f(E1(x) + f(E2(x) + ... + f(En(x) + t) ...)). (1.78)
Additionally, we set
df (x, t) H (x, t) = n . (1.79) n dt Theorem 1.4.3. Suppose that there exists a constant C ≥ 1 for which
sup |H (x, t)| 0 T = ∞, then for any function g(x) which is Lebesgue integrable in the interval (0, 1), we have that for almost all x n−1 1 X lim g(rk(x)) = M(g), (1.81) n→∞ n k=0 where rk(x) is defined by (1.72) and M(g) is a constant independent of x and de- pending on f(x) and g(x) in the following way: Z 1 M(g) = g(x)h(x)dx, (1.82) 0 where h(x) is a measurable function, depending only on f(x) and satisfying the in- equality 1 ≤ h(x) ≤ C, (1.83) C 27 where C is the constant figuring in (1.79). The measure Z ν(E) = h(x)dx (1.84) E is invariant under the transformation T x = {φ(x)}, (1.85) where y = φ(x) is the inverse function of x = f(y). Example 1.4.4. The continued fraction expansion is a special case of the f-expansion, where f(x) = 1/x. Example 1.4.5. If β > 1 is a positive real number and x for 0 ≤ x ≤ β f(x) = β , (1.86) 1 if x > β then the f-expansion coincides with the β-expansion. Example 1.4.6. Let √ m 1 + x − 1 for 0 ≤ x ≤ 2m − 1 f(x) = . (1.87) 1 if x > 2m − 1 Then every x ∈ (0, 1) can be represented in the form 28 r m q m pm x = −1 + E1 + E2 + E3 + . . ., (1.88) m where the digits En may take on the possible values 0, 1,..., 2 − 2. 1.5 Other Common Expansions In this section, we will look at three expansions that are not special cases of the f-expansions or generalized L¨urothseries expansion.6 1.5.1 The Engel Series Expansion Suppose that x ∈ (0, 1). We define a sequence of positive integers q1, q2, q3,... as follows. Suppose that q1 satisfies 1 1 ≤ x < . (1.89) q1 q1 − 1 Given q1, q2, . . . , qn−1, we determine qn by the inequality 1 1 1 1 1 1 + + ... + ≤ x < + + ... + . (1.90) q1 q1q2 q1q2 ··· qn q1 q1q2 q1q2 . . . qn−1(qn − 1) 6For a different perspective than that covered in this thesis, see [16] where many of these expansions are developed as a special case of the Oppenheim expansion. 29 If 1 1 1 x = + + ... + , (1.91) q1 q1q2 q1q2 ··· qn then our expansion is finite and we do not need to determine qn+1, qn+2,.... Other- wise, the Engel series expansion of x is 1 1 1 x = + + ... + + .... (1.92) q1 q1q2 q1q2 ··· qn Example 1.5.1. 25 1 1 1 1 1 = + + + + . (1.93) 29 2 2 · 2 2 · 2 · 3 2 · 2 · 3 · 3 2 · 2 · 3 · 3 · 29 Example 1.5.2. 1 1 1 1 1 π − 3 = + + + + + .... (1.94) 8 8 · 8 8 · 8 · 17 8 · 8 · 17 · 19 8 · 8 · 17 · 19 · 300 The following result was proven by P. L´evyin [29]: Theorem 1.5.3. For almost all x ∈ (0, 1), we have √ n lim qn = e. (1.95) n→∞ 30 1.5.2 The Sylvester Series Expansion The Sylvester Series Expansion is also known as the greedy Egyptian expansion and was used in ancienct Egypt as a way to represent rational numbers. Suppose that x ∈ (0, 1). We define a sequence of positive integers q1, q2, q3,... as follows. Suppose that q1 is the smallest positive integer that satisfies 1 ≤ x. (1.96) q1 Given q1, q2, . . . , qn−1, we let qn be the smallest positive integer that satisfies 1 1 1 + + ... + ≤ x. (1.97) q1 q2 qn If 1 1 1 x = + + ... + , (1.98) q1 q2 qn then the Sylvester series expansion is finite and we do not need to continue the algorithm. Otherwise, the Sylvester series expansion of x is 1 1 1 x = + + ... + + .... (1.99) q1 q2 qn We can see that the sequence qn grows fast in the following examples: Example 1.5.4. 1 1 1 π − 3 = + + + .... (1.100) 8 5020 128541347 31 Example 1.5.5. √ 1 1 1 1 2 − 1 = + + + + .... (1.101) 3 13 253 218201 The following can be easily proven through elementary means: Proposition 1.5.6. For all x ∈ (0, 1) with infinite Sylvester series expansion, we have qn+1 ≥ qn(qn − 1) + 1. (1.102) Additionally, P. Erd˝os,A. R´enyi, and P. Sz¨uszproved in [11]: Theorem 1.5.7. The following limit exists for almost every x ∈ (0, 1): 2pn lim qn(x) = l(x); (1.103) n→∞ where l(x) is a positive number which depends on x. Theorem 1.5.8. For almost all x ∈ (0, 1), we have s q (x) lim n n = e. (1.104) n→∞ q1(x)q2(x) ··· qn−1(x) 32 1.5.3 The Cantor Product Suppose that x > 1. In [7], G. Cantor studied expansions of the form ∞ Y 1 x = 1 + , (1.105) q n=1 n where q1, q2,... is a sequence of positive integers. √ Example 1.5.9. The Cantor product expansion of 2 is √ 1 1 1 1 2 = 1 + · 1 + · 1 + · 1 + ··· . (1.106) 3 17 577 665857 Example 1.5.10. The Cantor product expansion of π is 1 1 1 1 π = 1 + · 1 + · 1 + · 1 + ··· . (1.107) 1 2 22 600 Results similar to those appearing earlier in this section hold for this expansion. Namely, A. R´enyi showed the following in [41]: Theorem 1.5.11. For almost all x, the limit 2pn lim qn+1(x) = l(x) (1.108) n→∞ exists and is finite and greater than 2. 33 Theorem 1.5.12. For almost every x, s q (x) lim n n+1 = e. (1.109) n→∞ q1(x)q2(x) ··· qn(x) 1.6 Fundamental Properties of Normal Numbers The following properties hold for most notions of normality: 1. Normality of a real number x, in the sense of comparing the frequency of blocks of digits, is equivalent to some condition on the distribution of the orbit of x under some measure preserving transformation. 2. The set of normal numbers has full measure. 3. The set of non-normal numbers has full Hausdorff dimension. In fact, this set has the additional stronger property of being a winning set in the sense of Schmidt games. We will define both of these concepts later in this thesis. 4. The set of normal numbers is of the first category. 5. Normal numbers cannot be rational.7 7Sometimes even more may be true. For example, the continued fraction expansion of a quadratic irrational is eventually periodic so a quadratic irrational will never be normal with respect to the continued fraction expansion. 34 We will investigate each of these properties with respect to the Cantor series expansion in later chapters. We will see that while the fourth property holds and the third property almost holds, the first is no longer true and the second may only be true under certain conditions. The last property essentially holds, but there are some notable differences in the case of the Cantor series expansion depending on the notions of normality that one studies. 35 CHAPTER 2 NORMALITY WITH RESPECT TO THE CANTOR SERIES EXPANSION We now turn our attention to a series expansion whose digits are not generated by any known ergodic transformation. For this reason, we will find many tools from probability theory to be more useful than those of ergodic theory in studying this expansion. 2.1 The Cantor Series Expansion The Q-Cantor series expansion, first studied by G. Cantor in [6], is a natural gener- alization of the b-ary expansion. ∞ Definition 2.1.1. Q = {qn}n=1 is a basic sequence if each qn is an integer greater than or equal to 2. We will say that a basic sequence Q is non-trivial if there do not exist positive integers N and b such that qn = b for all n > N. 36 Definition 2.1.2. Given a basic sequence Q, the Q-Cantor series expansion of a real x in [0, 1) is the (unique) expansion of the form ∞ X En x = (2.1) q q . . . q n=1 1 2 n such that En is in {0, 1, . . . , qn − 1} for all n with En 6= qn − 1 infinitely often. We now provide a proof of the uniqueness of the Q-Cantor series expansion: Proposition 2.1.3. The Q-Cantor series expansion is unique. Proof. Suppose that some x ∈ [0, 1) has two distinct Q-cantor series expansions ∞ ∞ X En X Fn = . (2.2) q q ··· q q q ··· q n=1 1 2 n n=1 1 2 n Let j be the smallest integer such that Ej 6= Fj. Without loss of generality, we will assume that Ej > Fj. Then, multiplying both sides by q1q2 ··· qj, (2.2) can be written as Ej+1 Ej+2 Fj+1 Fj+2 Ej + + + ... = Fj + + + .... (2.3) qj+1 qj+1qj+2 qj+1 qj+1qj+2 Subtracting Ej+1 Ej+2 Fj + + + ... (2.4) qj+1 qj+1qj+2 from both sides of (2.3), we arrive at 37 Fj+1 − Ej+1 Fj+2 − Ej+2 Fj+3 − Ej+3 Ej − Fj = + + + .... (2.5) qj+1 qj+1qj+2 qj+1qj+2qj+3 However, since 0 ≤ En ≤ qn − 1 and 0 ≤ Fn ≤ qn − 1 for all n, we know that F − E F − E F − E −1 ≤ j+1 j+1 + j+2 j+2 + j+3 j+3 + ... ≤ 1. (2.6) qj+1 qj+1qj+2 qj+1qj+2qj+3 But, since Ej > Fj, (2.6) implies that Ej = Fj + 1, so F − E F − E F − E j+1 j+1 + j+2 j+2 + j+3 j+3 + ... = 1. (2.7) qj+1 qj+1qj+2 qj+1qj+2qj+3 Thus, we may conclude that Fn − En = qn − 1 for all n ≥ j + 1. However, this implies that En = 0 and Fn = qn − 1 ∀n ≥ j + 1. (2.8) So, the Q-Cantor series expansion is unique as long as we do not allow En = qn − 1 for all large enough n. Clearly, the b-ary expansion is a special case of (2.1) where qn = b for all n. If one thinks of a b-ary expansion as representing an outcome of repeatedly rolling a fair b-sided die, then a Q-Cantor series expansion may be thought of as representing an outcome of rolling a fair q1 sided die, followed by a fair q2 sided die and so on. 38 Example 2.1.4. If qn = n + 1 for all n, then the Q-Cantor series expansion of e − 2 is 1 1 1 e − 2 = + + + .... (2.9) 2 2 · 3 2 · 3 · 4 Example 2.1.5. If qn = 10 for all n, then the Q-Cantor series expansion for 1/4 is 1 2 5 0 0 = + + + + .... (2.10) 4 10 102 103 104 We will primarily be concerned with the Q-Cantor series expansion of a real number x ∈ [0, 1). However, we will sometimes need to consider real numbers not contained in [0, 1). If Q is a basic sequence, E0 is an integer, we say that x = E0.E1E2E3 ... w.r.t. Q (2.11) if x = E0 + y, where ∞ X En y = (2.12) q q . . . q n=1 1 2 n is the Q-Cantor series expansion of y ∈ [0, 1). 2.2 Basic Definitions Relating to Normality We will need the following definitions frequently throughout the rest of this thesis. 39 Q Definition 2.2.1. For a given basic sequence Q, let Nn (B, x) denote the number of times a block B occurs starting at a position no greater than n in the Q-Cantor series expansion of x. Definition 2.2.2. Given a basic sequence Q, we define n X 1 Q(k) = . (2.13) n q q . . . q j=1 j j+1 j+k−1 Definition 2.2.3. A basic sequence Q is k-divergent if (k) lim Qn = ∞. (2.14) n→∞ Q is fully divergent if Q is k-divergent for all k. Definition 2.2.4. A basic sequence Q is k-convergent if (k) lim Qn < ∞. (2.15) n→∞ Definition 2.2.5. A basic sequence Q is infinite in limit if qn → ∞. We remark that a k-divergent basic sequence need not be infinite in limit, but a k-convergent basic sequence must always be infinite in limit. 40 Example 2.2.6. Let qn = max(2, log n). Then Q is fully convergent and infinite in limit. 1/p Example 2.2.7. Suppose that p is a positive integer and that qn = max(2, n ). Then Q is k-divergent for all k ≤ p and k-convergent for all k > p. Definition 2.2.8. Suppose that Q is a basic sequence. Then a Q-adic interval is an interval of the form F F F F F F + 1 1 + 2 + ... + n , 1 + 2 + ... + n (2.16) q1 q1q2 q1q2 ··· qn q1 q1q2 q1q2 ··· qn for some integer n and positive integers F1,F2,...,Fn with Fi ∈ [0, qi − 1) for all i. We remark that a real number x ∈ [0, 1) has x = 0.F1F2 ...Fn ... w.r.t. Q if and only if x is in the interval in (2.16). We will repeatedly use this fact without mention. Given a block B, |B| will represent the length of B. Given non-negative integers l1, l2, . . . , ln, at least one of which is positive, and blocks B1,B2,...,Bn, the block B = l1B1l2B2 . . . lnBn (2.17) will be the block of length l1|B1| + ... + ln|Bn| formed by concatenating l1 copies of B1, l2 copies of B2, through ln copies of Bn. For example, if B1 = (2, 3, 5) and B2 = (0, 8), then 2B11B20B2 = (2, 3, 5, 2, 3, 5, 0, 8). 41 Definition 2.2.9. Given a block B = (b1, b2, . . . , bk), we define the maximum and minimum values of the block B as follows: max(B) = max(b1, b2, . . . , bk) (2.18) and min(B) = min(b1, b2, . . . , bk). (2.19) Definition 2.2.10. Suppose that Q is a basic sequence and E = (E1,E2,...). Then we define the blocks Qn,k = (qn, qn+1, . . . , qn+k−1) (2.20) and En,k = (En,En+1,...,En+k−1). (2.21) 0 0 0 Definition 2.2.11. Suppose that B = (b1, . . . , bk) and B = (b1, . . . , bk) are two blocks 0 0 0 0 of length k. Then we say that B < B if bj < bj for all j ∈ [1, k], B ≤ B if bj ≤ bj 0 0 for all j ∈ [1, k], and B = B if bj = bj for all j ∈ [1, k]. Definition 2.2.12. A block B of length k is Q-admissable if there exists a positive integer N such that 42 B < Qn,k for all n ≥ N. (2.22) 2.3 Q-Normal Numbers A. R´enyi [38] defined a real number x to be normal with respect to Q if for all blocks B of length 1, N Q(B, x) lim n = 1. (2.23) n→∞ (1) Qn If qn = b for all n, then (2.23) is equivalent to simple normality in base b, but not equivalent to normality in base b. Thus, we want to generalize normality in a way that is equivalent to normality in base b when all qn = b. We wish to extend A. R´enyi’s notion of normality to be more consistent with our current notions of normality for the b-ary expansion. In this section, we examine the first notion of normality that we will study. This notion is closest to comparing the frequency of digits in the b-ary expansion. Definition 2.3.1. A real number x is Q-normal of order k if for all Q-admissable blocks B of length k, we have N Q(B, x) lim n = 1. (2.24) n→∞ (k) Qn We say that x is Q-normal if it is Q-normal of order k for all k. 43 We will see that for Q that are infinite in limit, the set of all x in [0, 1) that are Q- normal of order k has full Lebesgue measure if and only if Q is k-divergent. Therefore, if Q is infinite in limit, then the set of all x in [0, 1) that are Q-normal has full Lebesgue measure if and only if Q is fully divergent. Additionally, given an arbitrary non-negative integer a, F. Schweiger [48] proved that for almost every x with > 0, one has q (1) (1) 3/2+ (1) Nn((a), x) = Qn + O Qn · log Qn . (2.25) We will improve upon these asymptotics with Theorem 7.3.10. It is more difficult to construct specific examples of Q-normal numbers than it is to show that the typical real number is Q-normal. This is similar to the case of the b-ary expansion. The situation is more complicated when Q is infinite in limit as we need to consider blocks whose digits come from an infinite set. We will be able to construct examples with Theorem 3.3.13. 2.4 Q-Distribution Normal Numbers Definition 2.4.1. Let x be a number in [0, 1) and let Q be a basic sequence, then TQ,n(x) is defined as q1 ··· qnx (mod 1). 44 Definition 2.4.2. A number x in [0, 1) is Q-distribution normal if the sequence ∞ {TQ,n(x)}n=0 is uniformly distributed in [0, 1). Note that in base b, where qn = b for all n, the notions of Q-normality and Q- distribution normality are equivalent. It might be surprising that this equivalence breaks down in the more general context of Q-Cantor series for general Q. Definition 2.4.3. A basic sequence Q is almost infinite in limit if n 1 X 1 lim = 0. (2.26) n→∞ n qk k=1 We note the well known characterization1 of sequences satisfying (2.26) that motivates the definition of almost infinite in limit basic sequences: Proposition 2.4.4. If {an} is a bounded sequence of real numbers, then the following are equivalent: 1 Pn 1 1. limn→∞ = 0. n k=1 ak 2. There exists J ⊂ N of density zero such that limn→∞ an = ∞ provided n∈ / J. 1 Pn 1 3. limn→∞ k=1 2 = 0. n ak We will use the following theorem proven by T. Sal´atin˘ [45]: 1See, for example, [52] 45 Theorem 2.4.5. Given a basic sequence Q and a real number x with Q-Cantor series expansion x = P∞ En ; if Q is almost infinite in limit, then x is Q-distribution n=1 q1···qn normal if and only if E ∞ n (2.27) qn n=1 is uniformly distributed mod 1. In most applications, it will suffice to use the following weaker result, originally proven by N. Korobov in [22]: Theorem 2.4.6. Given a basic sequence Q and a real number x with Q-Cantor series expansion x = P∞ En ; if Q is infinite in limit, then x is Q-distribution normal n=1 q1···qn if and only if E ∞ n (2.28) qn n=1 is uniformly distributed mod 1. Both Theorem 2.4.5 and Theorem 2.4.6 should be considered fundamental in our study of Q-distribution normal numbers. We recall the following standard definition that will be useful in studying distribution normality: 46 Definition 2.4.7. For a finite sequence z = (z1, . . . , zn), we define the star discrep- ∗ ∗ ancy Dn = Dn(z1, . . . , zn) as A([0, γ), z) sup − γ . (2.29) 0<γ≤1 n Given an infinite sequence w = (w1, w2,...), we define ∗ ∗ Dn(w) = Dn(w1, w2, . . . , wn). (2.30) ∗ ∗ For convenience, set D (z1, . . . , zn) = Dn(z1, . . . , zn). The star discrepancy of a sequence z = (z1, . . . , zn) is related to the discrepancy of the same sequence by the following theorem: Theorem 2.4.8. For any finite sequence z = (z1, . . . , zn), ∗ Dn ≤ Dn ≤ 2Dn. (2.31) Theorem 2.4.8 immediately suggests the following corollary that we will use frequently and without mention: Corollary 2.4.9. The sequence w = (w1, w2,...) is uniformly distributed mod 1 if and only if ∗ lim Dn(w) = 0. (2.32) n→∞ 47 The faster the sequence {qn} grows, the faster one can think of the sequence {TQ,n (x)} as getting closer to being uniformly distributed mod 1. Intuitively, as the value of qn increases, we can approximate a real number in [0, 1) by En/qn with better accuracy. We will see with Theorem 7.3.12 that the exact opposite is true with Q-normal numbers. This notion is formalized in the following theorem of J. Galambos [17]: Theorem 2.4.10. Let Q be a 1-divergent basic sequence. Let Ek be the digits of the Q-cantor series expansion of x and put θk = θk(x) = Ek/qk. Then, for almost all x in [0, 1), n ∗ 1 X 1 Dn(θ) ≥ (2.33) 2n qk k=1 for sufficiently large n. We will need the following result pertaining to uniformly distributed sequences: Proposition 2.4.11. Suppose that X = {xn} is a sequence in [0, 1) and L and R are countable dense subsets of [0, 1). If for all l ∈ L and r ∈ R with l < r, we have A ([l, r),X) lim n = λ([l, r)) = r − l, (2.34) n→∞ n then X is uniformly distributed mod 1. Proof. Let > 0 and an arbitrary interval I ⊂ [0, 1) be given. Let I1 and I2 be intervals contained in [0, 1) with left endpoints in L and right endpoints in R such that 48 I1 ⊂ I ⊂ I2, (2.35) λ(I1) > λ(I) − /2, (2.36) and λ(I2) < λ(I) + /2. (2.37) Suppose that M is large enough so that for n > M and k = 1, 2 An(Ik,X) − λ(Ik) < . (2.38) n 2 We know that since I1 ⊂ I ⊂ I2, A (I ,X) A (I,X) A (I ,X) n 1 ≤ n ≤ n 2 . (2.39) n n n By (2.38) and (2.39) we see that A (I,X) λ(I ) − < n < λ(I ) + . (2.40) 1 2 n 2 2 Combining (2.40) with (2.36) and (2.37), we conclude that A (I,X) λ(I) − < n < λ(I) + . (2.41) n Therefore, 49 An(I,X) − λ(I) < , (2.42) n so A (I,X) lim n = λ(I). (2.43) n→∞ n Since I was arbitrary, X is uniformly distrubuted mod 1. We may now prove the following lemma which may be used to check for distribution normality: Theorem 2.4.12. If Q is a basic sequence, then x is Q-distribution normal if and only if for all intervals I with rational endpoints, we have A (I, {T (x)}n−1 ) lim n Q,m m=0 = λ(I). (2.44) n→∞ n ∞ Proof. We let L = R = [0, 1) ∩ Q and apply Proposition 2.4.11 to X = {TQ,n (x)}n=0. Clearly, x is not distribution normal if there is an interval where (2.44) does not hold. 50 2.5 Q-Ratio Normal Numbers We will sometimes encounter a third notion of normality for the Q-Cantor series expansion that is strictly weaker than normality for Q that are infinite in limit. Definition 2.5.1. Suppose that Q is a basic sequence and that k is a positive integer. Then a real number x is Q-ratio of order k if for all Q-admissable blocks B and B0 of length k, we have N Q(B, x) lim n = 1. (2.45) Q 0 n→∞ Nn (B , x) We say that x is Q-ratio normal if it is Q-ratio normal of order k for all positive integers k.2 Theorem 2.5.2. If Q is a basic sequence and a real number x is Q-normal of order k, then x is also Q-ratio normal of order k. Proof. We know that for all m ≤ k and Q-admissable blocks B of length m N Q(B, x) lim n = 1. (2.46) n→∞ (m) Qn Thus, if B1 and B2 are two Q-admissable blocks of length m, then 2This thesis was started by investigation of Q-ratio normal numbers. V. Bergelson suggested that this concept may be related to ergodic theory of infinite invariant measures. The possibility of this connection remains an open problem. 51 N Q(B , x) N Q(B , x)/Q(m) 1 lim n 1 = lim n 1 n = = 1. (2.47) n→∞ Q n→∞ Q (m) Nn (B2, x) Nn (B2, x)/Qn 1 Corollary 2.5.3. If Q is a basic sequence and a real number x is Q-normal, then x is also Q-ratio normal. We will start by defining operations on the basic sequence Q. Definition 2.5.4. Given any basic sequence Q and a function f : {2, 3,...} → R, 0 0 0 let f(Q) be the basic sequence Q = {qn} where qn = max(bf(qn)c, 2). 2 2 Example 2.5.5. If Q is a basic sequence, then 2Q = {2qn}, Q = {qn}, and log Q = {max(blog qnc, 2)}. (2.48) In the proofs of some of the theorems in this thesis, we will want to consider the digits of the Q-Cantor series expansion of some real number x and form a new number by modifying the base while keeping the digits unchanged. This motivates the following definition: 52 0 0 Definition 2.5.6. If Q = {qn} and Q = {qn} are two basic sequences such that Q ≤ Q0 and ∞ X En x = (2.49) q q . . . q n=1 1 2 n is the Q-cantor series expansion of some x ∈ [0, 1), then define ∞ 0 X En ΦQ (x) = (2.50) Q q0 q0 . . . q0 n=1 1 2 n and πQ(x) = (E1,E2,...) (2.51) Q0 Thus, ΦQ : [0, 1) → [0, 1) is a non-increasing function that maps a real number in base Q to a real number whose Q0-cantor series expansion has the same digits. The function πQ maps a real number to the digits of its Q-cantor series expansion. We define the following function, which will be useful in proving some theorems: Definition 2.5.7. Given a basic sequence Q, we will define the k-normality index of some x ∈ [0, 1) that is Q-ratio normal of order k as follows: N (B, x) I(k)(x) = lim n (2.52) Q n→∞ (k) Qn where B is any block of length k. Since x is Q-ratio normal of order k, the choice of the block B is unimportant. 53 Lemma 2.5.8. A real number x is Q-normal of order k if and only if for all m ≤ k, we have (m) IQ (x) = 1. (2.53) 2.6 Basic Examples We now turn our attention to providing examples that demonstrate the notions of normality that we discussed. These examples only make use of Theorem 2.4.6. In later chapters, we will be able to consider more sophisticated constructions once we have proven Theorem 3.2.10 and Theorem 3.3.13. 2.6.1 Q-Distribution Normality Without Simple Q-Normality It should first be noted that it is easier to construct a basic sequence Q and a real number x that is Q-distribution normal but not Q-normal than it is to construct an example of a real number that is Q-normal but not Q-distribution normal. 3 For a simple example, we set (E1,E2,...) = (1, 1, 2, 1, 2, 3, 1, 2, 3, 4,...) (2.54) 3We will work towards constructing an example of a number that is Q-normal but not Q- distribution normal in chapter 3 and chapter 5. 54 and (q1, q2,...) = (2, 3, 3, 4, 4, 4, 5, 5, 5, 5,...). (2.55) P∞ En Thus, the number x = is not Q-normal since none of the digits {En} are n=1 q1...qn equal to 0. However, x is Q-distribution normal by Theorem 2.4.6 since the sequence 1/2, 1/3, 2/3, 1/4, 2/4, 3/4, 1/5,... (2.56) is uniformly distributed mod 1. 2.6.2 A Simply Q-Normal Number for a 1-Convergent Q We let the digits En be given by E = (0, 0, 1, 1, 2, 2, 3, 3,...). (2.57) We set qn = max(2, n(n − 1)), so Q = (2, 2, 6, 12, 20, 30, 42, 56,...). (2.58) Then, clearly, ∞ (1) X 1 lim Qn = 1 + = 2. (2.59) n→∞ n(n + 1) n=2 However, each digit occurs exactly twice. So, 55 ∞ X En x = (2.60) q q . . . q n=1 1 2 n is simply Q-normal. We note that x is not Q-distribution normal as n/2 + 1 lim TQ,n (x) ≤ lim = 0. (2.61) n→∞ n→∞ n(n − 1) 2.6.3 Example of a Number that is Simply Q-Normal and Q-Distribution Normal for a Non-Trivial Basic Sequence Q Lemma 2.6.1. The nth digit of the sequence 2, 2, 3, 3, 3, 4, 4, 4, 4, 5, 5, 5, 5, 5,... (2.62) consisting of two 2s, followed by three 3s, four 4s, five 5s, etc. is described by √ dn = d(−1 + 9 + 8n)/2e (2.63) for n = 1, 2, 3,.... In particular, dn = n if and only if m ! m+1 X X j − 1 < n ≤ j. (2.64) j=1 j=1 Proof. For positive integers m, we set 56 m ! X m(m + 1) m2 + m − 2 Z = j − 1 = − 1 = . (2.65) m 2 2 j=1 We note that p 2 dZm = d(−1 + 9 + 4(m + m − 2)e (2.66) = d(−1 + p(2m + 1)2)/2e = d(−1 + 2m + 1)/2e = m. (2.67) Let k < m + 1 be a positive integer. We see that if n = Zm + k, then √ −1 + 9 + 8n −1 + p9 + 8(Z + k) = m = (2.68) 2 2 −1 + p(2m + 1)2 + 8k = > m. 2 But dZm = m and dZm+1 = m + 1, so m = dZm < dZm+k ≤ dZm+1 = m + 1. (2.69) Therefore, dZm+k = m + 1. So if Zm−1 + 1 ≤ n ≤ Zm, then dn = m. Theorem 2.6.2. If E = (0, 1, 0, 1, 2, 0, 1, 2, 3,...) (2.70) and 57 Q = (2, 2, 3, 3, 3, 4, 4, 4, 4,...), (2.71) then ∞ X En x = (2.72) q q . . . q n=1 1 2 n is simply Q-normal and Q-distribution normal. Proof. By Lemma 2.6.1, we see that √ qn = d(−1 + 9 + 8n)/2e. (2.73) Let b be any non-negative integer and let B = (b). For d ≥ 0, we let Cd = (0, 1, . . . , d) (2.74) and note that E = 1C11C21C3 .... (2.75) th We also note that the first occurence of the block Cd appears at the n digit of E where d−1 d−1 X X d(d + 1) n = 1 + |C | = 1 + (j + 1) = . (2.76) j 2 j=1 j=1 Clearly, the first occurence of the block B in E is in Cb. The starting position of this block is, thus, b(b + 1)/2 and ending position is at 58 b(b + 1) b(b + 3) + (b + 1) − 1 = . (2.77) 2 2 Thus, the first occurance of the block B will be between Eb(b+1)/2 and Eb(b+3)/2 with an additional occurrence in each Cd for d > b. It follows that if m > b is a positive m(m+1) integer and n = 2 , then Nn(B, x) = m − b. (2.78) Therefore, if m(m + 1) m(m + 3) ≤ n ≤ , (2.79) 2 2 then m − b ≤ Nn(B, x) ≤ m − b + 1. (2.80) We note that for some positive integer m = m(n), we have n X 1 1 1 1 1 1 1 1 1 1 = + + + + +...+ + ... + + + ... + , qk 2 2 3 3 3 m m m + 1 m + 1 k=1 (2.81) where the last term has between 1 and m + 1 terms. Thus, n 1 X 1 (m − 1) + ≤ ≤ (m − 1) + 1, (2.82) m + 1 qk k=1 so 59 n X 1 m − 1 < ≤ m. (2.83) qk k=1 Combining (2.80) and (2.83), we see that m − b N (B, x) m − b + 1 ≤ n < , (2.84) m Pn 1 m − 1 k=1 qk so b N (B, x) b − 2 1 − ≤ n ≤ 1 − . (2.85) m Pn 1 m − 1 k=1 qk However, since m(m + 1) m(m + 3) ≤ n ≤ , (2.86) 2 2 we see that by similar reasoning to Lemma 2.6.1, we have √ m = b(−1 + 1 + 8n)/2c. (2.87) Substituting (2.87) into (2.85), we see that b N (B, x) b − 2 1 − √ ≤ n ≤ 1 − √ . (2.88) b(−1 + 1 + 8n)/2c Pn 1 b(−1 + 1 + 8n)/2c − 1 k=1 qk Letting n → ∞, we arrive at Nn(B, x) lim n = 1, (2.89) n→∞ P 1 k=1 qk 60 so x is simply Q-normal. To see that x is Q-distribution normal, we use Theorem 2.4.6 and note that the ∞ sequence {En/qn}n=1 is given by (0/2, 1/2, 0/3, 1/3, 2/3, 0/4, 1/4, 3/4,...), (2.90) which is well known4 to be uniformly distributed mod 1. 2.6.4 A Simply Q-Ratio Normal Number that is not Simply Q-Normal or Q-Distribution Normal Example 2.6.3. If E = (0, 1, 0, 1, 2, 0, 1, 2, 3,...) (2.91) and Q = (4, 4, 6, 6, 6, 8, 8, 8, 8,...), (2.92) then ∞ X En x = (2.93) q q . . . q n=1 1 2 n 4See Example 1.2.13. 61 is simply Q-ratio normal but not simply Q-normal or Q-distribution normal. Proof. This follows directly from Lemma 2.5.8 and Theorem 2.6.2. 62 CHAPTER 3 GENERAL CONSTRUCTION THEOREMS FOR Q-NORMAL AND Q-DISTRIBUTION NORMAL NUMBERS FOR CERTAIN NON-TRIVIAL Q In this chapter, we will prove two theorems that allow us to construct Q-normal and Q-distribution normal numbers for certain basic sequences Q. It should be noted that the primary use of Theorem 3.2.10 is to assist in constructing examples of numbers that are simultaneously Q-normal and Q-distribution normal. We will later prove Theorem 6.3.1, which will be far more powerful than Theorem 3.2.10 in the sense that it applies to a much larger class of basic sequences although the numbers it produces won’t be Q-normal. 3.1 Basic Definitions and Conventions Definition 3.1.1. 1 A weighting µ is a collection of functions µ(1), µ(2), µ(3),... such that for all k, 1[36] discusses normality in base 2 with respect to different weightings. 63 ∞ X µ(1)(j) = 1, (3.1) j=0 µ(k) : {0, 1, 2,...}k → [0, 1], (3.2) and ∞ (k) X (k+1) µ (b1, b2, . . . , bk) = µ (b1, b2, . . . , bk, j). (3.3) j=0 Definition 3.1.2. The uniform weighting in base b is the collection λb of functions (1) (2) (3) λb , λb , λb ,... such that for all k and blocks B of length k in base b (k) −k λb (B) = b . (3.4) Definition 3.1.3. Let p and b be positive integers such that 1 ≤ p ≤ b. A weighting µ is (p, b)-uniform if for all k and blocks B of length k in base p, we have (k) (k) −k µ (B) = λb (B) = b . (3.5) Given blocks B and y, let N(B, y) be the number of occurrences of the block B in the block y. 64 Definition 3.1.4. Let be a real number such that 0 < < 1 and let k be a positive integer. Assume that µ is a weighting. A block of digits y is (, k, µ)-normal 2 if for all blocks B of length m ≤ k, we have µ(m)(B)|y|(1 − ) ≤ N(B, y) ≤ µ(m)(B)|y|(1 + ). (3.6) For the rest of this chapter we use the following conventions freely and without ∞ ∞ comment. Given sequences of non-negative integers {li}i=1 and {bi}i=1 with each ∞ bi ≥ 2 and a sequence of blocks {xi}i=1, we set i X Li = |l1x1 . . . lixi| = lj|xj|, (3.7) j=1 qn = bi for Li−1 < n ≤ Li, (3.8) and ∞ Q = {qn}n=1. (3.9) Moreover, if (E1,E2,...) = l1x1l2x2 ..., we set ∞ X En x = . (3.10) q q . . . q n=1 1 2 n 2Definition 3.1.4 is a generalization of the concept of (, k)-normality, originally due to Besicovitch [3]. 65 ∞ ∞ Given {qn}n=1 and {li}i=1, it is always assumed that x and Q are given by the formulas above. Throughout the rest of this section, for a given n, the letter i = i(n) is the unique integer satisfying Li < n ≤ Li+1. (3.11) 3.2 Modular Friendly Families and Construction of Q-Distribution Normal Numbers In this section, we will prove a theorem that allows us to construct a basic sequence Q such that the concatenation of strings of digits with a certain property will determine the digits of a real number that is Q-distribution normal.3 3.2.1 MFFs ∞ Definition 3.2.1. We say that V = {(li, bi, i)}i=1 is a modular friendly family ∞ ∞ (MFF ) if {li}i=1 and {bi}i=1 are non-decreasing sequences of non-negative integers ∞ with bi ≥ 2 such that {i}i=1 is a decreasing sequence of real numbers in (0, 1) with limi→∞ i = 0. 3This section appears in a joint work with C. Altomare [2]. 66 ∞ ∞ Definition 3.2.2. Let V = {(li, bi, i)}i=1 be an MFF . A sequence {xi}i=1 of (i, 1, λbi )-normal blocks of non-decreasing length with limi→∞ |xi| = ∞ is said to be V -nice if the following two conditions hold: l |x | i−1 · i−1 = o(1/i); (3.12) li |xi| 1 |x | · i+1 = o(1). (3.13) li |xi| Throughout this section, we fix an MFFV = {(li, bi, i)} and a V -nice sequence of blocks {xi}. Moreover, if xi = (xi,1, xi,2, . . . , xi,|xi|), then yi will be understood to stand for the sequence x |xi| i,j . (3.14) bi j=1 Given finite sequences y1, . . . , yt and non-negative integers l1, . . . , lt, the notation liyi denotes the concatenation of li copies of yi and the notation l1y1 . . . ltyt denotes the concatenation of the sequences l1y1, . . . , ltyt. Given a sequence z = (z1, . . . , zn) in [0, 1) and 0 < γ ≤ 1, we define A([0, γ), z) as |{i : 1 ≤ i ≤ n and zi ∈ [0, γ)}|. (3.15) 67 3.2.2 Discrepancy and V -Nice Sequences Obviously, Definition 2.4.7 does not depend on the order that the zi’s are chosen in forming z. We will use this fact to reorder a sequence into an increasing sequence so that we may compute its star discrepancy with the following lemma from [23]: Lemma 3.2.3. If 0 ≤ z1 ≤ · · · ≤ zn < 1, then an upper bound for the star discrepancy ∗ Dn(z1, . . . , zn) is given by 1 2i − 1 + max zi − . (3.16) 2n 1≤i≤n 2n We note that by Lemma 3.2.3, 1 ≤ D∗ (z) ≤ 1 (3.17) 2n n for all sequences z = (z1, z2, . . . , zn) with zj in [0, 1) for all j. It is well known that an infinite sequence z = (z1, . . . , zn,...) is uniformly distributed mod 1 iff ∗ limn→∞ Dn(z1, . . . , zn) = 0. This fact and Lemma 3.2.3 will allow us to prove Q- distribution normality of a well chosen Q and x by computing upper bounds on star discrepancies. We recall the following lemma from [23]: Lemma 3.2.4. If t is a positive integer and for 1 ≤ j ≤ t, zj is a finite sequence in [0, 1) with star discrepancy at most j, then 68 Pt |zj|j D∗(z z ··· z ) ≤ j=1 . (3.18) 1 2 t Pt j=1 |zj| Corollary 3.2.5. If t is a positive integer and for 1 ≤ j ≤ t, zj is a finite sequence in [0, 1) with star discrepancy at most j, then Pt lj|zj|j D∗(l z ··· l z ) ≤ j=1 . (3.19) 1 1 t t Pt j=1 lj|zj| We note the following simple lemma: Lemma 3.2.6. Let U and U 0 be subsets of R such that U has a maximum M and a minimum4 m. If f : U → U 0 is a monotone function, then |f| has a maximum on U, which is either f(m) or f(M). Proof. Without loss of generality we may assume that f is increasing. Therefore f has a minimum at m and a maximum at M. If f(m) ≥ 0, then f(x) ≥ 0 for all x in U. This means that |f| = f is increasing on U. Therefore |f| attains a maximum at M. Similarly, if f(M) ≤ 0, then f(x) ≤ 0 for all x in U. This implies that |f| = −f is decreasing on U. Therefore |f| attains a maximum at m. The remaining case is that f(m) < 0 < f(M). Let UA be the set of all x in U such that f(x) ≤ 0 and let UB be the set of all x in U such that f(x) ≥ 0. Note that 4We say that a subset U of R has a maximum M if M = sup U ∈ U. Similarly, U has a minimum m if m = inf U ∈ U. 69 |f| is decreasing on UA and therefore f|UA has a maximum at m. Similarly, |f| is increasing on UB and therefore f|UB has a maximum at M. Since U = UA ∪ UB, it follows that |f| has a maximum at m or M. Lemma 3.2.7. Let x = (E1,...,En) be an (, 1, λb)-normal block in base b. If y = (E1/b, . . . , En/b), then 1 1 D∗(y) ≤ + + . (3.20) b |x| Proof. We wish to apply Lemma 3.2.3 to bound D∗(y). However, Lemma 3.2.3 only applies to increasing sequences in [0, 1), so we must first reorder the sequence y. Let z = (z1, . . . , zn) be the sequence of values E1/b, . . . , En/b written in increasing order. We note that each zt has the form j/b for some j in the set {0, 1, . . . , b − 1}. Since z is an increasing sequence, we may partition the integers from 1 to n into intervals U0,...,Ub−1 such that zt = j/b for t in Uj. We let mj and Mj be the least and greatest elements of Uj, respectively. By Lemma 3.2.3, we know that D∗(z) is bounded above by 1 2t − 1 + max zt − . (3.21) 2n 1≤t≤n 2n 2t−1 Fix j. Note that 2n is an increasing function of t on Uj and zt is a constant function 2t−1 of t on Uj. Therefore zt − 2n is a decreasing function of t on Uj. So, for each j, 2t−1 Lemma 3.2.6 shows that the expression zt − 2n is maximized for t = mj or t = Mj. 70 By Definition 3.1.4, we know that x is (, 1, λb)-normal iff for all j in 0, 1, . . . , b − 1, we have 1 1 (1 − ) n ≤ N((j), x) ≤ (1 + ) n. (3.22) b b Thus, j−1 ! j−1 ! X X 1 m = N((t), x) + 1 ≥ (1 − ) n) + 1 (3.23) j b t=0 t=0 1 = j(1 − ) n + 1 :=m ¯ b j and j j X X 1 1 M = N((t), x) ≤ (1 + ) n = (j + 1)(1 + ) n := M¯ . (3.24) j b b j t=0 t=0 Letting j 2x − 1 f (x) = − , (3.25) j b 2n we see that ∗ 1 2t − 1 D (y) ≤ + max zt − (3.26) 2n 1≤t≤n 2n 1 = + max max (|fj(mj)| , |fj(Mj)|) . 2n 0≤j≤b−1 Obviously, f is a monotone function. Note that 71 ¯ m¯ j ≤ mj ≤ Mj ≤ Mj. (3.27) ¯ ¯ By Lemma 3.2.6, the maximum of |fj(x)| on [m ¯ j, Mj] occurs atm ¯ j or Mj. Therefore ¯ max{|fj(mj)|, |fj(Mj)|} ≤ max{|fj(m ¯ j)|, |fj(Mj)|}. (3.28) Note that j 2 j(1 − ) 1 n + 1 − 1 b |fj(m ¯ j)| = − (3.29) b 2n 2nj − 2j(1 − )n + b 2nj + b j 1 = = = + . 2nb 2nb b 2n Similarly, note that 2(j + 1)(1 + ) 1 n − 1 ¯ j b |fj(Mj)| = − (3.30) b 2n 2nj − 2nj − 2nj − 2n − 2n + b = 2nb −2nj − 2n − 2n b j + 1 1 1 ≤ + = + + . 2nb 2nb b b 2n Thus j + 1 1 1 max(|f (m ¯ )|, |f (M¯ )|) ≤ + + (3.31) j j j j b b 2n and we see that 72 1 j + 1 1 1 D∗(y) ≤ + max + + (3.32) 2n 0≤j≤b−1 b b 2n 1 b 1 1 1 1 = + + + = + + . 2n b b 2n b |x| ∗ By Lemma 3.2.7, we know that D (yi) is bounded above by 0 1 1 i := + i + . (3.33) bi |xi| Given a positive integer n, let m = n − Li. Note that m can be written uniquely as α|xi+1| + β with 0 ≤ α ≤ li+1 and 0 ≤ β < |xi+1|. We define α and β as the unique integers satisfying these conditions. ∗ Let y = l1y1l2y2 ... and recall that D (z) is bounded above by 1 for all finite sequences z of real numbers in [0, 1). By Corollary 3.2.5, 0 0 0 ∗ l1|x1|1 + ... + li|xi|i + (|xi+1|i+1)α + β Dn(y) ≤ fi(α, β) := . (3.34) l1|x1| + ... + li|xi| + |xi+1|α + β Note that fi(α, β) is a rational function in α and β. We consider the domain of fi + + + to be R0 × R0 where R0 is the set of all non-negative real numbers. Now we give ∗ ∗ an upper bound for Dn(y). Since Dn(y) is at most fi(α, β), it is enough to bound fi(α, β) from above on [0, li+1] × [0, |xi+1|]. 73 0 Lemma 3.2.8. If li > 0, |xi| > 0, i+1 < 1, 0 0 l1|x1| + ... + li−1|xi−1| > l1|x1|1 + ... + li−1|xi−1|i−1, (3.35) 0 |xi+1| 1 − i < 0 , (3.36) li|xi| i+1 and (w, z) ∈ {0, . . . , li+1} × {0,..., |xi+1| − 1}, (3.37) then 0 0 l1|x1|1 + ... + li|xi|i + |xi+1| fi(w, z) < fi(0, |xi+1|) = . (3.38) l1|x1| + ... + li|xi| + |xi+1| ∂fi ∂fi Proof. To bound fi(w, z), we first compute its partial derivatives ∂z (w, z) and ∂w (w, z). ∂fi ∂fi We will show that ∂w (w, z) is always negative, while ∂z (w, z) is always positive. Note that this is enough to prove Lemma 3.2.8 since 0 ≤ α and β < |xi+1|. First, we note that fi(w, z) is a rational function of w and z of the form C + Dw + Ez f (w, z) = , (3.39) i F + Gw + Hz where 0 0 0 C = l1|x1|1 + ... + li|xi|i,D = |xi+1|i+1,E = 1, (3.40) 74 F = l1|x1| + ... + li|xi|,G = |xi+1|, and H = 1. (3.41) Therefore, ∂f D(F + Gw + Hz) − G(C + Dw + Ez) i (w, z) = (3.42) ∂w (F + Gw + Hz)2 D(F + Hz) − G(C + Ez) = ; (F + Gw + Hz)2 ∂f E(F + Gw + Hz) − H(C + Dw + Ez) i (w, z) = (3.43) ∂z (F + Gw + Hz)2 E(F + Gw) − H(C + Dw) = . (F + Gw + Hz)2 ∂fi ∂fi Thus, the sign of ∂w (w, z) does not depend on w and the sign of ∂z (w, z) does not depend on z. We will show that fi(w, z) is a decreasing function of w by proving that D(F + Hz) < G(C + Ez). (3.44) Similarly, we show that fi(w, z) is an increasing function of z by verifying that E(F + Gw) > H(C + Dw). (3.45) Substituting the values in (3.41) into (3.44), we see that 0 0 0 |xi+1|i+1(l1|x1| + ... + li|xi| + z) < |xi+1|(l1|x1|1 + ... + li|xi|i + z). (3.46) 75 Since |xi+1| ≥ |xi| > 0, we may divide both sides by |xi+1| to obtain 0 0 0 0 0 l1|x1|i+1 + ... + li|xi|i+1 + zi+1 < l1|x1|1 + ... + li|xi|i + z. (3.47) So, we only have to show (3.47), which is true since 0 1 1 i = + i + (3.48) bi |xi| 0 is decreasing and i+1 < 1. Also, by substituting the values in (3.41) into (3.45), we see that (l1|x1| + ... + li−1|xi−1|) + (li|xi| + w|xi+1|) (3.49) 0 0 0 0 > (l1|x1|1 + ... + li−1|xi−1|i−1) + (li|xi|i + |xi+1|i+1). By condition (3.35), we know that 0 0 l1|x1| + ... + li−1|xi−1| > l1|x1|1 + ... + li−1|xi−1|i−1. (3.50) Therefore, it is enough to show 0 0 li|xi| + w|xi+1| > li|xi|i + |xi+1|i+1. (3.51) Since li|xi| is the smallest possible value of li|xi| + w|xi+1| for non-negative w, we need only show that 76 0 0 li|xi| > li|xi|i + |xi+1|i+1. (3.52) By routine algebra, this is equivalent to 0 |xi+1| 1 − i < 0 , (3.53) li|xi| i+1 which is true by (3.36). Set 0 0 l1|x1|1 + ... + li|xi|i + |xi+1| ¯i = fi(0, |xi+1|) = . (3.54) l1|x1| + ... + li|xi| + |xi+1| Lemma 3.2.9. limn→∞ ¯i(n) = 0. Proof. We write i for i(n) throughout. For i large enough, we have l |x |0 + ... + l |x |0 + |x | l |x |0 + ... + l |x |0 + |x | 1 1 1 i i i i+1 < 1 1 1 i i i i+1 (3.55) l1|x1| + ... + li|xi| + |xi+1| li|xi| 0 0 l1|x1|1 + ... + li−1|xi−1|i−1 0 |xi+1| = + i + li|xi| li|xi| li−1|xi−1| 0 0 |xi+1| < · i · i−1 + i + , li|xi| li|xi| 0 where the last inequality uses the fact that i is decreasing. Note that 77 li−1|xi−1| 0 · i · i−1 → 0 (3.56) li|xi| by (3.12), 0 1 1 i = + i + → 0, (3.57) bi |xi| and |x | i+1 → 0 (3.58) li|xi| by (3.13). Therefore, limi→∞ ¯i = 0. Since i can be made arbitrarily large by choosing large enough n, the lemma follows. 3.2.3 Main Theorem ∞ Theorem 3.2.10. If V is an MFF and {xi}i=1 is a V -nice sequence, then x is Q-distribution normal. ∗ Proof. By Theorem 2.4.6, it is enough to show that Dn(y) → 0. Since xi is (i, 1, λbi )- ∗ 0 normal, we see that D (yi) ≤ i by Lemma 3.2.7. We wish to apply Corollary 3.2.5 and for large enough i apply Lemma 3.2.8 as well. To apply Lemma 3.2.8 for large i, we need only prove several inequalities for large i. In applying these inequalities, we will have i = i(n) as defined in (3.11), so it is worth noting that i may be chosen as large as one likes by choosing a large enough n. 78 For the first inequality, note that limi→∞ li|xi| = ∞. For large enough i, the product 0 li|xi| is nonzero. For the second, we have |xi| > 0. For the third inequality, i+1 < 0 1 for large enough i as i → 0. Next, since li−1|xi−1| asymptotically dominates 0 0 li−1|xi−1|i−1, it follows that l1|x1|+...+li−1|xi−1| asymptotically dominates l1|x1|1 + 0 ... + li−1|xi−1|i−1 as well. In particular, for large enough i, we have 0 0 l1|x1| + ... + li−1|xi−1| > l1|x1|1 + ... + li−1|xi−1|i−1. (3.59) Finally, for the fifth inequality, noting that |x | lim i+1 = 0 (3.60) i→∞ li|xi| and that 1 − 0 lim i = ∞ (3.61) i→∞ 0 i+1 0 since limi→∞ i = 0, we see that 0 |xi+1| 1 − i < 0 (3.62) li|xi| i+1 for large i. ∗ ∗ So, for large enough i, Dn(y) ≤ ¯i and limi→∞ ¯i = 0. Thus, limn→∞ Dn(y) = 0. 79 3.3 Block Friendly Families and Construction of Q-Normal Numbers In this section, we will prove a theorem that will allow us to construct Q-normal 5 numbers for a certain class of basic sequences Q where qn grows slowly. 3.3.1 BFFs For convenience, we define the notion of a block friendly family (BFF): Definition 3.3.1. A BFF is a sequence of 6-tuples ∞ W = {(li, bi, pi, i, ki, µi)}i=1 (3.63) ∞ ∞ ∞ with non-decreasing sequences of non-negative integers {li}i=1, {bi}i=1, {pi}i=1 and ∞ ∞ {ki}i=1 for which bi ≥ 2, bi → ∞ and pi → ∞, such that {µi}i=1 is a sequence of ∞ (pi, bi)-uniform weightings and {i}i=1 strictly decreases to 0. Definition 3.3.2. Let ∞ W = {(li, bi, pi, i, ki, µi)}i=1 (3.64) 5This section appears in [30]. 80 be a BFF. If lim ki = K < ∞, then let R(W ) = {0, 1, 2,...,K}. Otherwise, let ∞ R(W ) = {0, 1, 2,...}. If {xi}i=1 is a sequence of blocks such that |xi| is non-decreasing ∞ and xi is (i, ki, µi)-normal, then {xi}i=1 is said to be W -good if for all k in R, k bi = o (|xi|) ; (3.65) i−1 − i li−1 |xi−1| −1 −k · = o(i bi ); (3.66) li |xi| 1 |xi+1| −k · = o(bi ). (3.67) li |xi| 3.3.2 Technical Lemmas For this section, we will fix a BFF W and a W -good sequence {xi}. For a given n, the letter i = i(n) will always be understood to be the positive integer that satisfies Li−1 < n ≤ Li. This usage of i will be made frequently and without comment. Let m = n − Li, which allows m to be written in the form m = α|xi+1| + β (3.68) where α and β satisfy 0 ≤ α ≤ li+1 and 0 ≤ β < |xi+1|. (3.69) 81 Thus, we can write the first n digits of x in the form l1x1l2x2 . . . li−1xi−1 lixi αxi+1 1y, (3.70) where y is the block formed from the first β digits of xi+1. Given a block B of length k in R(W ), we will first get upper and lower bounds on Q Nn (B, x), which will hold for all n large enough that k ≤ ki. This will allow us to bound N Q(B, x) n − 1 (3.71) (k) Qn and show that N Q(B, x) lim n = 1. (3.72) n→∞ (k) Qn Q We will arrive at upper and lower bounds for Nn (B, x) by breaking the first n digits of x into three parts: the initial block l1x1l2x2 . . . li−1xi−1, the middle block lixi and the last block αxi+1 1y. Lemma 3.3.3. If k ≤ ki and B is a block of length k in base b ≤ pi, then the following bounds hold: −k −k (1 − i)bi |xi| ≤ N|xi|(B, xi) ≤ (1 + i)bi |xi|; (3.73) −k −k (1 − i+1)bi+1α|xi+1| ≤ Nm(B, li+1xi+1) ≤ (1 + i+1)bi+1α|xi+1| + β + kα. (3.74) 82 Proof. Since xi is (i, ki, µi)-normal and µi is (pi, bi)-uniform, it immediately follows that −k −k (1 − i)bi |xi| ≤ N|xi|(B, xi) ≤ (1 + i)bi |xi|. (3.75) We can estimate Nm(B, li+1xi+1) by using the fact that k ≤ ki+1 and xi+1 is (i+1, ki+1, µi+1)- normal so that −k −k (1 − i+1)bi+1|xi+1| ≤ N|xi+1|(B, xi+1) ≤ (1 + i+1)bi+1|xi+1|. (3.76) The upper bound for Nm(B, li+1xi+1) is determined by assuming that B occurs at every location in the initial substring of length β of a copy of xi+1 and k times on each of the α boundaries. The lower bound is attained by assuming B never occurs in these positions, so −k −k (1 − i+1)bi+1α|xi+1| ≤ Nm(B, li+1xi+1) ≤ (1 + i+1)bi+1α|xi+1| + β + kα. (3.77) We define the following quantity, which simplifies the statement of Lemma 3.3.6 and proof of Lemma 3.3.8: Definition 3.3.4. Given a positive integer n, we define