Kolmogorov Complexity and Diophantine Approximation
|
|
- Abner Fleming
- 6 years ago
- Views:
Transcription
1 Kolmogorov Complexity and Diophantine Approximation Jan Reimann Institut für Informatik Universität Heidelberg Kolmogorov Complexity and Diophantine Approximation p. 1/24
2 Algorithmic Information Theory Algorithmic Information Theory classifies objects by their descriptive complexity. Kolmogorov Complexity and Diophantine Approximation p. 2/24
3 Algorithmic Information Theory Algorithmic Information Theory classifies objects by their descriptive complexity. Examples: A sequence of zeroes has low complexity, as there is a much shorter description. Any (infinite) sequence computable by an algorithm such as π has a short description (the algorithm). An outcome of an (unbiased) coin toss has high complexity. (There is no shorter description than the sequence itself.) Kolmogorov Complexity and Diophantine Approximation p. 2/24
4 Algorithmic Information Theory Algorithmic Information Theory classifies objects by their descriptive complexity. Examples: A sequence of zeroes has low complexity, as there is a much shorter description. Any (infinite) sequence computable by an algorithm such as π has a short description (the algorithm). An outcome of an (unbiased) coin toss has high complexity. (There is no shorter description than the sequence itself.) Rigorous Formulation: Kolmogorov complexity. Kolmogorov Complexity and Diophantine Approximation p. 2/24
5 Kolmogorov Complexity Kolmogorov complexity: U a universal Turing-machine. Def. for a binary string σ {0,1}, C(σ) = C U (σ) = min{ p : p {0,1}, U(p) = σ}, i.e. C(σ) is the length of the shortest program (for U) that outputs σ. Kolmogorov Complexity and Diophantine Approximation p. 3/24
6 Kolmogorov Complexity Kolmogorov complexity: U a universal Turing-machine. Def. for a binary string σ {0,1}, C(σ) = C U (σ) = min{ p : p {0,1}, U(p) = σ}, i.e. C(σ) is the length of the shortest program (for U) that outputs σ. Kolmogorov s invariance theorem: C is independent of U (up to a constant). Kolmogorov Complexity and Diophantine Approximation p. 3/24
7 Kolmogorov Complexity Kolmogorov complexity: U a universal Turing-machine. Def. for a binary string σ {0,1}, C(σ) = C U (σ) = min{ p : p {0,1}, U(p) = σ}, i.e. C(σ) is the length of the shortest program (for U) that outputs σ. Kolmogorov s invariance theorem: C is independent of U (up to a constant). The pigeonhole principle yields that for any length there are incompressible strings, C(σ) σ (in fact, most of them are). Kolmogorov Complexity and Diophantine Approximation p. 3/24
8 Digression: Euclid Revisited Suppose there are only finitely many primes p 1,...,p n. Kolmogorov Complexity and Diophantine Approximation p. 4/24
9 Digression: Euclid Revisited Suppose there are only finitely many primes p 1,...,p n. Then each number N can be factored N = p k 1 1 pk n n, each k i log N. Kolmogorov Complexity and Diophantine Approximation p. 4/24
10 Digression: Euclid Revisited Suppose there are only finitely many primes p 1,...,p n. Then each number N can be factored N = p k 1 1 pk n n, each k i log N. Therefore, N can be described by a program of length O(n log log N). (Identify natural numbers with their binary representation). Kolmogorov Complexity and Diophantine Approximation p. 4/24
11 Digression: Euclid Revisited Suppose there are only finitely many primes p 1,...,p n. Then each number N can be factored N = p k 1 1 pk n n, each k i log N. Therefore, N can be described by a program of length O(n log log N). (Identify natural numbers with their binary representation). Yields a contradiction if N is incompressible (C(N) log N). Kolmogorov Complexity and Diophantine Approximation p. 4/24
12 Kolmogorov complexity and Coding A prefix-free Turing machine is a TM with prefix-free domain. The prefix-free version of C (use only prefix free TMs) is denoted by K. Kolmogorov Complexity and Diophantine Approximation p. 5/24
13 Kolmogorov complexity and Coding A prefix-free Turing machine is a TM with prefix-free domain. The prefix-free version of C (use only prefix free TMs) is denoted by K. Kraft-Chaitin Theorem: {σ i } i N set of strings, {l i,l 2,...} sequence of natural numbers ( lengths ) such that 2 l i 1, i N then one can construct (primitive recursively) a prefix-free TM M and strings {τ i } i N, such that τ i = l i and M(τ i ) = σ i. Kolmogorov Complexity and Diophantine Approximation p. 5/24
14 Kolmogorov complexity and Coding Semimeasures: m : {0,1} [0, ) with m(σ) 1. σ {0,1} Kolmogorov Complexity and Diophantine Approximation p. 6/24
15 Kolmogorov complexity and Coding Semimeasures: m : {0,1} [0, ) with σ {0,1} m(σ) 1. There exists a maximal enumerable semimeasure m, i.e. m is enumerable from below, and for any enumerable semimeasure m it holds that m c m m for some constant c m. Kolmogorov Complexity and Diophantine Approximation p. 6/24
16 Kolmogorov complexity and Coding Semimeasures: m : {0,1} [0, ) with σ {0,1} m(σ) 1. There exists a maximal enumerable semimeasure m, i.e. m is enumerable from below, and for any enumerable semimeasure m it holds that m c m m for some constant c m. Coding Theorem: (Zvonkin-Levin) K(σ) = log m(σ) + c. Kolmogorov Complexity and Diophantine Approximation p. 6/24
17 Kolmogorov complexity and Coding Semimeasures: m : {0,1} [0, ) with σ {0,1} m(σ) 1. There exists a maximal enumerable semimeasure m, i.e. m is enumerable from below, and for any enumerable semimeasure m it holds that m c m m for some constant c m. Coding Theorem: (Zvonkin-Levin) K(σ) = log m(σ) + c. Identify randomness with incompressibility: Say an infinite binary sequence ξ is random if for all n, K(ξ n ) n c, for some constant c. Kolmogorov Complexity and Diophantine Approximation p. 6/24
18 Diophantine Approximation Diophantine Approximation classifies real numbers by how well they may be approximated by rational numbers. Kolmogorov Complexity and Diophantine Approximation p. 7/24
19 Diophantine Approximation Diophantine Approximation classifies real numbers by how well they may be approximated by rational numbers. Fundamental Theorem by Dirichlet: For any irrational α there exist infinitely many p/q (rel. prime) such that α p/q 1/q 2. (3) Kolmogorov Complexity and Diophantine Approximation p. 7/24
20 Diophantine Approximation Diophantine Approximation classifies real numbers by how well they may be approximated by rational numbers. Fundamental Theorem by Dirichlet: For any irrational α there exist infinitely many p/q (rel. prime) such that α p/q 1/q 2. (5) Such a series of rationals is obtained by the continued fraction expansion: α = [a 0,a 1,... ] = a 0 + a a a a i N (6) Kolmogorov Complexity and Diophantine Approximation p. 7/24
21 Diophantine Approximation Diophantine Approximation classifies real numbers by how well they may be approximated by rational numbers. Fundamental Theorem by Dirichlet: For any irrational α there exist infinitely many p/q (rel. prime) such that α p/q 1/q 2. (7) Such a series of rationals is obtained by the continued fraction expansion: α = [a 0,a 1,... ] = a 0 + a a a a i N (8) The expansion is finite if and only if α is rational. Kolmogorov Complexity and Diophantine Approximation p. 7/24
22 Diophantine Approximation In general, one cannot improve the factor 2 in Dirichlet s theorem. Kolmogorov Complexity and Diophantine Approximation p. 8/24
23 Diophantine Approximation In general, one cannot improve the factor 2 in Dirichlet s theorem. A number β is badly approximable if there exists a K such that p/q Q β p/q K/q 2. Kolmogorov Complexity and Diophantine Approximation p. 8/24
24 Diophantine Approximation In general, one cannot improve the factor 2 in Dirichlet s theorem. A number β is badly approximable if there exists a K such that p/q Q β p/q K/q 2. Examples of badly approximable numbers: Golden mean (1 + 5)/2 = [1,1,1,1,... ]. 0 < K < 5. 2/2 = [1,2,2,2,... ], in fact all irrational square roots. e mod 1 = [1,2,1,1,4,1,1,6,... ] not badly approximable. π mod 1 = [7,15,1,292,1,1,... ]??? Kolmogorov Complexity and Diophantine Approximation p. 8/24
25 Diophantine Approximation Algebraic numbers are close to badly approximable: Roth s Theorem: For any algebraic α, for any ε > 0, has only finitely many solutions. α p q 1 q 2+ε (9) Kolmogorov Complexity and Diophantine Approximation p. 9/24
26 Diophantine Approximation Algebraic numbers are close to badly approximable: Roth s Theorem: For any algebraic α, for any ε > 0, has only finitely many solutions. α p q 1 q 2+ε (10) However, there are numbers which are very well approximable. A Liouville number is an irrational α for which n p q α p q 1 q n. Example: 10 n!. Kolmogorov Complexity and Diophantine Approximation p. 9/24
27 Metric Diophantine Approximation What s the situation typically? Are most numbers rather well or rather badly approximable? Kolmogorov Complexity and Diophantine Approximation p. 10/24
28 Metric Diophantine Approximation What s the situation typically? Are most numbers rather well or rather badly approximable? For almost all numbers, the exponent 2 cannot be improved much: Khintchine s Theorem: Let ψ : N R + be such that lim n ψ(n) = 0. Define W ψ = {α : (p/q) α (p/q) < ψ(q)}. Then it holds, for Lebesgue measure λ, λw ψ = { 0, if kψ(k) <, 1, if kψ(k) =. Kolmogorov Complexity and Diophantine Approximation p. 10/24
29 Metric Diophantine Approximation What s the situation typically? Are most numbers rather well or rather badly approximable? For almost all numbers, the exponent 2 cannot be improved much: Khintchine s Theorem: Let ψ : N R + be such that lim n ψ(n) = 0. Define W ψ = {α : (p/q) α (p/q) < ψ(q)}. Then it holds, for Lebesgue measure λ, λw ψ = { 0, if kψ(k) <, 1, if kψ(k) =. So, well-approximable numbers are rather rare. Can we tell how rare? Kolmogorov Complexity and Diophantine Approximation p. 10/24
30 Hausdorff Measures Caratheodory-Hausdorff construction on metric spaces: let A X, X some seperable metric space, h : R R a monotone, increasing, continous on the right function with h(0) = 0, and let δ > 0. Kolmogorov Complexity and Diophantine Approximation p. 11/24
31 Hausdorff Measures Caratheodory-Hausdorff construction on metric spaces: let A X, X some seperable metric space, h : R R a monotone, increasing, continous on the right function with h(0) = 0, and let δ > 0. Define a set function H h δ (A) = inf { i h(diam(u i )) : A i U i, diam(u i ) δ }. Kolmogorov Complexity and Diophantine Approximation p. 11/24
32 Hausdorff Measures Caratheodory-Hausdorff construction on metric spaces: let A X, X some seperable metric space, h : R R a monotone, increasing, continous on the right function with h(0) = 0, and let δ > 0. Define a set function H h δ (A) = inf { i h(diam(u i )) : A i U i, diam(u i ) δ }. Letting δ 0 yields an (outer) measure. Kolmogorov Complexity and Diophantine Approximation p. 11/24
33 Hausdorff Measures Caratheodory-Hausdorff construction on metric spaces: let A X, X some seperable metric space, h : R R a monotone, increasing, continous on the right function with h(0) = 0, and let δ > 0. Define a set function H h δ (A) = inf { i h(diam(u i )) : A i U i, diam(u i ) δ }. Letting δ 0 yields an (outer) measure. The h-dimensional Hausdorff measure H h is defined as H h (A) = lim δ 0 H h δ (A) Kolmogorov Complexity and Diophantine Approximation p. 11/24
34 Properties of Hausdorff Measures H h is Borel regular: all Borel sets are measurable and for every Y X there is a Borel set B Y such that H h (B) = H h (Y). Kolmogorov Complexity and Diophantine Approximation p. 12/24
35 Properties of Hausdorff Measures H h is Borel regular: all Borel sets are measurable and for every Y X there is a Borel set B Y such that H h (B) = H h (Y). An obvious choice for h is h(x) = x s for some s 0. For such h, denote the corresponding Hausdorff measure by H s. Kolmogorov Complexity and Diophantine Approximation p. 12/24
36 Properties of Hausdorff Measures H h is Borel regular: all Borel sets are measurable and for every Y X there is a Borel set B Y such that H h (B) = H h (Y). An obvious choice for h is h(x) = x s for some s 0. For such h, denote the corresponding Hausdorff measure by H s. For s = 1, H 1 is the usual Lebesgue measure λ on2 N. Kolmogorov Complexity and Diophantine Approximation p. 12/24
37 Properties of Hausdorff Measures H h is Borel regular: all Borel sets are measurable and for every Y X there is a Borel set B Y such that H h (B) = H h (Y). An obvious choice for h is h(x) = x s for some s 0. For such h, denote the corresponding Hausdorff measure by H s. For s = 1, H 1 is the usual Lebesgue measure λ on2 N. For 0 s < t < and Y X, H s (Y) < implies H t (Y) = 0, H t (Y) > 0 implies H s (Y) =. Kolmogorov Complexity and Diophantine Approximation p. 12/24
38 Hausdorff dimension The situation is depicted in the following graph: Kolmogorov Complexity and Diophantine Approximation p. 13/24
39 Hausdorff dimension The situation is depicted in the following graph: The Hausdorff dimension of A is dim H (A) = inf{s 0 : H s (A) = 0} = sup{t 0 : H t (A) = } Kolmogorov Complexity and Diophantine Approximation p. 13/24
40 Hausdorff Dimension and Diophantine Approximation Let W δ = W ψ for ψ(q) = 1 q δ. Kolmogorov Complexity and Diophantine Approximation p. 14/24
41 Hausdorff Dimension and Diophantine Approximation Let W δ = W ψ for ψ(q) = 1 q δ. So, the Liouville numbers are just the ones contained in every W n. Kolmogorov Complexity and Diophantine Approximation p. 14/24
42 Hausdorff Dimension and Diophantine Approximation Let W δ = W ψ for ψ(q) = 1 q δ. So, the Liouville numbers are just the ones contained in every W n. Jarnik-Besicovitch Theorem: For δ 2, dim H W δ = 2/δ. Kolmogorov Complexity and Diophantine Approximation p. 14/24
43 Hausdorff Dimension and Diophantine Approximation Let W δ = W ψ for ψ(q) = 1 q δ. So, the Liouville numbers are just the ones contained in every W n. Jarnik-Besicovitch Theorem: For δ 2, dim H W δ = 2/δ. In particular, the set of Liouville numbers has dimension zero. Kolmogorov Complexity and Diophantine Approximation p. 14/24
44 Random Continued Fractions Other questions: What does a typical continued fraction look like? Do the components reflect some approximation properties? Kolmogorov Complexity and Diophantine Approximation p. 15/24
45 Random Continued Fractions Other questions: What does a typical continued fraction look like? Do the components reflect some approximation properties? Interesting from a different point of view: What is the complexity of a function from natural numbers to natural numbers? Kolmogorov Complexity and Diophantine Approximation p. 15/24
46 Random Continued Fractions Other questions: What does a typical continued fraction look like? Do the components reflect some approximation properties? Interesting from a different point of view: What is the complexity of a function from natural numbers to natural numbers? In the following, identify an initial segment [a 1,...,a n ] of a continued fraction with the n-convergent p n q n = a a 2 + a a n. Kolmogorov Complexity and Diophantine Approximation p. 15/24
47 Random Continued Fractions Using the ergodic theorem, one can show, for instance, that 1 n log q n π2 12 log 2 for almost every α. Kolmogorov Complexity and Diophantine Approximation p. 16/24
48 Random Continued Fractions Using the ergodic theorem, one can show, for instance, that for almost every α. 1 n log q n Entropy of the Gauss map x 1 x π2 12 log 2 mod 1. Kolmogorov Complexity and Diophantine Approximation p. 16/24
49 Measure on Baire Space Basic open cylinders: convergents of continued fractions, [a 0,...a n ]. Kolmogorov Complexity and Diophantine Approximation p. 17/24
50 Measure on Baire Space Basic open cylinders: convergents of continued fractions, [a 0,...a n ]. The diameter of these (as a subset of [0,1]) can be determined: diam[a 0,...a n ] = 1 q n (q n + q n 1 ) Kolmogorov Complexity and Diophantine Approximation p. 17/24
51 Measure on Baire Space Basic open cylinders: convergents of continued fractions, [a 0,...a n ]. The diameter of these (as a subset of [0,1]) can be determined: diam[a 0,...a n ] = 1 q n (q n + q n 1 ) Gives rise to a Borel measure in the usual way (extension from algebra to σ-algebra). Equivalently, Hausdorff measures. Kolmogorov Complexity and Diophantine Approximation p. 17/24
52 Effective (Hausdorff) measure Introduce effective coverings and define the notion of effective H s -measure 0. Kolmogorov Complexity and Diophantine Approximation p. 18/24
53 Effective (Hausdorff) measure Introduce effective coverings and define the notion of effective H s -measure 0. Let X = 2 N or X = N N, let s 0 be rational. A X is Σ 1 -H s null, Σ 0 1 -Hs (A) = 0, if there is a recursive sequence (C n ) of enumerable sets such that for each n, A w C n [w] and w C n diam[w] < 2 n. Kolmogorov Complexity and Diophantine Approximation p. 18/24
54 Effective (Hausdorff) measure Introduce effective coverings and define the notion of effective H s -measure 0. Let X = 2 N or X = N N, let s 0 be rational. A X is Σ 1 -H s null, Σ 0 1 -Hs (A) = 0, if there is a recursive sequence (C n ) of enumerable sets such that for each n, A w C n [w] and w C n diam[w] < 2 n. For s = 1, one obtains an effective vesion of Lebesgue measure λ. Kolmogorov Complexity and Diophantine Approximation p. 18/24
55 Effective (Hausdorff) measure Introduce effective coverings and define the notion of effective H s -measure 0. Let X = 2 N or X = N N, let s 0 be rational. A X is Σ 1 -H s null, Σ 0 1 -Hs (A) = 0, if there is a recursive sequence (C n ) of enumerable sets such that for each n, A w C n [w] and w C n diam[w] < 2 n. For s = 1, one obtains an effective vesion of Lebesgue measure λ. Theorem: (Schnorr) A sequence ξ 2 N is random if and only if {ξ} is not Σ 1 -λ null. Kolmogorov Complexity and Diophantine Approximation p. 18/24
56 Random Continued Fractions Does a similar characterization hold for continued fractions? Kolmogorov Complexity and Diophantine Approximation p. 19/24
57 Random Continued Fractions Does a similar characterization hold for continued fractions? Theorem: (Reimann, Gacs) A continued fraction α is not Σ 1 -λ-null if and only if sup{ K( a 1,...,a n ) log λ[a 1,...,a n ]} < n Kolmogorov Complexity and Diophantine Approximation p. 19/24
58 Random Continued Fractions Is the real represented by a random binary sequence (via its dyadic expansion) also a random continued fraction (in terms of Σ 1 -measure)? Kolmogorov Complexity and Diophantine Approximation p. 20/24
59 Random Continued Fractions Is the real represented by a random binary sequence (via its dyadic expansion) also a random continued fraction (in terms of Σ 1 -measure)? Problem: The continued fraction expansion might code things more efficiently. Kolmogorov Complexity and Diophantine Approximation p. 20/24
60 Random Continued Fractions Surprisingly, it does not. Theorem: (Lochs) For ξ 2 N, denote by π n (ξ) the number of partial convergents a i of the continued fraction expansion of ξ obtained from the first n digits of ξ. Then it holds for almost every ξ, lim n π n (ξ) n = 6 log2 2 π 2. Kolmogorov Complexity and Diophantine Approximation p. 21/24
61 Random Continued Fractions Surprisingly, it does not. Theorem: (Lochs) For ξ 2 N, denote by π n (ξ) the number of partial convergents a i of the continued fraction expansion of ξ obtained from the first n digits of ξ. Then it holds for almost every ξ, lim n π n (ξ) n = 6 log2 2 π 2. Lochs Theorem holds effectively, that is, for any random ξ. Kolmogorov Complexity and Diophantine Approximation p. 21/24
62 Random Continued Fractions Surprisingly, it does not. Theorem: (Lochs) For ξ 2 N, denote by π n (ξ) the number of partial convergents a i of the continued fraction expansion of ξ obtained from the first n digits of ξ. Then it holds for almost every ξ, lim n π n (ξ) n = 6 log2 2 π 2. Lochs Theorem holds effectively, that is, for any random ξ. Proof requires some effort to avoid the use of the ergodic theorem (which is not an effective law of probability). Kolmogorov Complexity and Diophantine Approximation p. 21/24
63 Random Continued Fractions Every random continued fraction satisfies 1 n log q n π2 12 log 2. Kolmogorov Complexity and Diophantine Approximation p. 22/24
64 Random Continued Fractions Every random continued fraction satisfies 1 n log q n π2 12 log 2. The proof also yields that a random c.f. α = [a 1,a 2,...] must have arbitrary large partial convergents a i. Kolmogorov Complexity and Diophantine Approximation p. 22/24
65 Random Continued Fractions Every random continued fraction satisfies 1 n log q n π2 12 log 2. The proof also yields that a random c.f. α = [a 1,a 2,...] must have arbitrary large partial convergents a i. Theorem: An irrational α is badly approximable if and only if its continued fraction expansion is bounded. Kolmogorov Complexity and Diophantine Approximation p. 22/24
66 Random Continued Fractions Every random continued fraction satisfies 1 n log q n π2 12 log 2. The proof also yields that a random c.f. α = [a 1,a 2,...] must have arbitrary large partial convergents a i. Theorem: An irrational α is badly approximable if and only if its continued fraction expansion is bounded. Hence, from our point of view, badly approximable numbers must be compressible. Kolmogorov Complexity and Diophantine Approximation p. 22/24
67 Effective Hausdorff Dimension Based on effective measure, we can also define effective Hausdorff dimension: dim 1 A = inf{s 0 : Σ 0 1 -Hs A = 0}. Kolmogorov Complexity and Diophantine Approximation p. 23/24
68 Effective Hausdorff Dimension Based on effective measure, we can also define effective Hausdorff dimension: dim 1 A = inf{s 0 : Σ 0 1 -Hs A = 0}. Yields a notion of Hausdorff dimension for individual sequences. Kolmogorov Complexity and Diophantine Approximation p. 23/24
69 Effective Hausdorff Dimension Based on effective measure, we can also define effective Hausdorff dimension: dim 1 A = inf{s 0 : Σ 0 1 -Hs A = 0}. Yields a notion of Hausdorff dimension for individual sequences. It turns out that the effective dimension of a set is determined by the dimension of its most complex members: dim 1 A = sup ξ A dim 1 ξ. Kolmogorov Complexity and Diophantine Approximation p. 23/24
70 Effective Hausdorff Dimension Based on effective measure, we can also define effective Hausdorff dimension: dim 1 A = inf{s 0 : Σ 0 1 -Hs A = 0}. Yields a notion of Hausdorff dimension for individual sequences. It turns out that the effective dimension of a set is determined by the dimension of its most complex members: dim 1 A = sup ξ A dim 1 ξ. Theorem: For any sequence ξ 2 N it holds that dim 1 ξ = lim inf n K(ξ n ) n. Kolmogorov Complexity and Diophantine Approximation p. 23/24
71 Badly approximable numbers Badly approximable numbers are compressible. Kolmogorov Complexity and Diophantine Approximation p. 24/24
72 Badly approximable numbers Badly approximable numbers are compressible. Jarnik s Theorem: Let E n = {α = [a 0,a 1,...] [0,1] : ia i n}. Then, for n 8, 1 4 nlog 2 dim H E n 1 1 8nlog n. Kolmogorov Complexity and Diophantine Approximation p. 24/24
73 Badly approximable numbers Badly approximable numbers are compressible. Jarnik s Theorem: Let E n = {α = [a 0,a 1,...] [0,1] : ia i n}. Then, for n 8, 1 4 nlog 2 dim H E n 1 1 8nlog n. Later, Bumby and Hensley gave good approximations of dim H E n for smaller values of n, e.g. dim H E 2 = Kolmogorov Complexity and Diophantine Approximation p. 24/24
74 Badly approximable numbers Badly approximable numbers are compressible. Jarnik s Theorem: Let E n = {α = [a 0,a 1,...] [0,1] : ia i n}. Then, for n 8, 1 4 nlog 2 dim H E n 1 1 8nlog n. Later, Bumby and Hensley gave good approximations of dim H E n for smaller values of n, e.g. dim H E 2 = Using complexity theoretic characterization of dimension, we can give a simpler, essentially combinatorial proof. Kolmogorov Complexity and Diophantine Approximation p. 24/24
Hausdorff Measures and Perfect Subsets How random are sequences of positive dimension?
Hausdorff Measures and Perfect Subsets How random are sequences of positive dimension? Jan Reimann Institut für Informatik, Universität Heidelberg Hausdorff Measures and Perfect Subsets p.1/18 Hausdorff
More informationKolmogorov-Loveland Randomness and Stochasticity
Kolmogorov-Loveland Randomness and Stochasticity Wolfgang Merkle 1 Joseph Miller 2 André Nies 3 Jan Reimann 1 Frank Stephan 4 1 Institut für Informatik, Universität Heidelberg 2 Department of Mathematics,
More informationOn Normal Numbers. Theodore A. Slaman. University of California Berkeley
1/24 On Normal Numbers Theodore A. Slaman University of California Berkeley Joint work with Verónica Becher, and in part with Pablo Heiber, Yann Bugeaud and Jan Reimann CApril 29, 2015 2/24 Émile Borel
More informationOn the classification of irrational numbers
arxiv:506.0044v [math.nt] 5 Nov 07 On the classification of irrational numbers José de Jesús Hernández Serda May 05 Abstract In this note we make a comparison between the arithmetic properties of irrational
More informationRANDOMNESS BEYOND LEBESGUE MEASURE
RANDOMNESS BEYOND LEBESGUE MEASURE JAN REIMANN ABSTRACT. Much of the recent research on algorithmic randomness has focused on randomness for Lebesgue measure. While, from a computability theoretic point
More informationUniform Diophantine approximation related to b-ary and β-expansions
Uniform Diophantine approximation related to b-ary and β-expansions Lingmin LIAO (joint work with Yann Bugeaud) Université Paris-Est Créteil (University Paris 12) Universidade Federal de Bahia April 8th
More informationFURTHER NUMBER THEORY
FURTHER NUMBER THEORY SANJU VELANI. Dirichlet s Theorem and Continued Fractions Recall a fundamental theorem in the theory of Diophantine approximation. Theorem. (Dirichlet 842). For any real number x
More informationIntroduction to Hausdorff Measure and Dimension
Introduction to Hausdorff Measure and Dimension Dynamics Learning Seminar, Liverpool) Poj Lertchoosakul 28 September 2012 1 Definition of Hausdorff Measure and Dimension Let X, d) be a metric space, let
More informationRandomness Beyond Lebesgue Measure
Randomness Beyond Lebesgue Measure Jan Reimann Department of Mathematics University of California, Berkeley November 16, 2006 Measures on Cantor Space Outer measures from premeasures Approximate sets from
More informationThe dimensional theory of continued fractions
Jun Wu Huazhong University of Science and Technology Advances on Fractals and Related Topics, Hong Kong, Dec. 10-14, 2012 Continued fraction : x [0, 1), 1 x = 1 a 1 (x) + 1 a 2 (x) + a 3 (x) + = [a 1 (x),
More informationVIC 2004 p.1/26. Institut für Informatik Universität Heidelberg. Wolfgang Merkle and Jan Reimann. Borel Normality, Automata, and Complexity
Borel Normality, Automata, and Complexity Wolfgang Merkle and Jan Reimann Institut für Informatik Universität Heidelberg VIC 2004 p.1/26 The Quest for Randomness Intuition: An infinite sequence of fair
More informationChaitin Ω Numbers and Halting Problems
Chaitin Ω Numbers and Halting Problems Kohtaro Tadaki Research and Development Initiative, Chuo University CREST, JST 1 13 27 Kasuga, Bunkyo-ku, Tokyo 112-8551, Japan E-mail: tadaki@kc.chuo-u.ac.jp Abstract.
More informationNotes 1 : Measure-theoretic foundations I
Notes 1 : Measure-theoretic foundations I Math 733-734: Theory of Probability Lecturer: Sebastien Roch References: [Wil91, Section 1.0-1.8, 2.1-2.3, 3.1-3.11], [Fel68, Sections 7.2, 8.1, 9.6], [Dur10,
More informationMeasures of relative complexity
Measures of relative complexity George Barmpalias Institute of Software Chinese Academy of Sciences and Visiting Fellow at the Isaac Newton Institute for the Mathematical Sciences Newton Institute, January
More informationIrrationality Exponent, Hausdorff Dimension and Effectivization
Irrationality Exponent, Hausdorff Dimension and Effectivization Verónica Becher, Jan Reimann and Theodore A Slaman December 31, 2015 Abstract We generalize the classical theorem by Jarní and Besicovitch
More informationRandom Reals à la Chaitin with or without prefix-freeness
Random Reals à la Chaitin with or without prefix-freeness Verónica Becher Departamento de Computación, FCEyN Universidad de Buenos Aires - CONICET Argentina vbecher@dc.uba.ar Serge Grigorieff LIAFA, Université
More informationCISC 876: Kolmogorov Complexity
March 27, 2007 Outline 1 Introduction 2 Definition Incompressibility and Randomness 3 Prefix Complexity Resource-Bounded K-Complexity 4 Incompressibility Method Gödel s Incompleteness Theorem 5 Outline
More informationPARTIAL RANDOMNESS AND KOLMOGOROV COMPLEXITY
The Pennsylvania State University The Graduate School Eberly College of Science PARTIAL RANDOMNESS AND KOLMOGOROV COMPLEXITY A Dissertation in Mathematics by W.M. Phillip Hudelson 2013 W.M. Phillip Hudelson
More informationRandomness, probabilities and machines
1/20 Randomness, probabilities and machines by George Barmpalias and David Dowe Chinese Academy of Sciences - Monash University CCR 2015, Heildeberg 2/20 Concrete examples of random numbers? Chaitin (1975)
More informationPROBABILITY MEASURES AND EFFECTIVE RANDOMNESS
PROBABILITY MEASURES AND EFFECTIVE RANDOMNESS JAN REIMANN AND THEODORE A. SLAMAN ABSTRACT. We study the question, For which reals x does there exist a measure µ such that x is random relative to µ? We
More informationINCREASING THE GAP BETWEEN DESCRIPTIONAL COMPLEXITY AND ALGORITHMIC PROBABILITY
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 363, Number 10, October 2011, Pages 5577 5604 S 0002-9947(2011)05315-8 Article electronically published on May 5, 2011 INCREASING THE GAP BETWEEN
More informationCALIBRATING RANDOMNESS ROD DOWNEY, DENIS R. HIRSCHFELDT, ANDRÉ NIES, AND SEBASTIAAN A. TERWIJN
CALIBRATING RANDOMNESS ROD DOWNEY, DENIS R. HIRSCHFELDT, ANDRÉ NIES, AND SEBASTIAAN A. TERWIJN Contents 1. Introduction 2 2. Sets, measure, and martingales 4 2.1. Sets and measure 4 2.2. Martingales 5
More informationuniform distribution theory
Uniform Distribution Theory 3 (2008), no.2, 9 20 uniform distribution theory SETS OF EXACT APPROXIMATION ORDER BY RATIONAL NUMBERS II Yann Bugeaud ABSTRACT. For a non-increasing function Ψ, let Exact(Ψ)
More informationdynamical Diophantine approximation
Dioph. Appro. Dynamical Dioph. Appro. in dynamical Diophantine approximation WANG Bao-Wei Huazhong University of Science and Technology Joint with Zhang Guo-Hua Central China Normal University 24-28 July
More informationTen years of triviality
Ten years of triviality André Nies U of Auckland The Incomputable, Chicheley Hall, 2012 André Nies (U of Auckland) Ten years of triviality The Incomputable 1 / 19 K-trivials: synopsis During the last 10
More informationSymbolic Dynamics: Entropy = Dimension = Complexity
Symbolic Dynamics: Entropy = Dimension = omplexity Stephen G. Simpson Pennsylvania State University http://www.math.psu.edu/simpson/ simpson@math.psu.edu Worshop on Infinity and Truth Institute for Mathematical
More informationTHE K-DEGREES, LOW FOR K DEGREES, AND WEAKLY LOW FOR K SETS
THE K-DEGREES, LOW FOR K DEGREES, AND WEAKLY LOW FOR K SETS JOSEPH S. MILLER Abstract. We call A weakly low for K if there is a c such that K A (σ) K(σ) c for infinitely many σ; in other words, there are
More informationExponents of irrationality and transcendence and effective Hausdorff dimension
1/13 Exponents of irrationality and transcendence and effective Hausdorff dimension Theodore A. Slaman jointly with Verónica Becher and Jan Reimann University of California Berkeley January 11, 2018 2/13
More informationNotes on Diophantine approximation and aperiodic order
Notes on Diophantine approximation and aperiodic order Alan Haynes June 24, 2016 1 Contents Contents 2 0.1 Summary of notation...................... 4 1 Diophantine approximation 7 1.1 One dimensional
More informationAn introduction to Geometric Measure Theory Part 2: Hausdorff measure
An introduction to Geometric Measure Theory Part 2: Hausdorff measure Toby O Neil, 10 October 2016 TCON (Open University) An introduction to GMT, part 2 10 October 2016 1 / 40 Last week... Discussed several
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 informationKolmogorov complexity and its applications
CS860, Winter, 2010 Kolmogorov complexity and its applications Ming Li School of Computer Science University of Waterloo http://www.cs.uwaterloo.ca/~mli/cs860.html We live in an information society. Information
More informationThe Lebesgue Integral
The Lebesgue Integral Brent Nelson In these notes we give an introduction to the Lebesgue integral, assuming only a knowledge of metric spaces and the iemann integral. For more details see [1, Chapters
More informationQUARTIC POWER SERIES IN F 3 ((T 1 )) WITH BOUNDED PARTIAL QUOTIENTS. Alain Lasjaunias
QUARTIC POWER SERIES IN F 3 ((T 1 )) WITH BOUNDED PARTIAL QUOTIENTS Alain Lasjaunias 1991 Mathematics Subject Classification: 11J61, 11J70. 1. Introduction. We are concerned with diophantine approximation
More informationDirichlet uniformly well-approximated numbers
Dirichlet uniformly well-approximated numbers Lingmin LIAO (joint work with Dong Han Kim) Université Paris-Est Créteil (University Paris 12) Approximation and numeration Université Paris Diderot-Paris
More informationCOS597D: Information Theory in Computer Science October 19, Lecture 10
COS597D: Information Theory in Computer Science October 9, 20 Lecture 0 Lecturer: Mark Braverman Scribe: Andrej Risteski Kolmogorov Complexity In the previous lectures, we became acquainted with the concept
More informationDYADIC DIOPHANTINE APPROXIMATION AND KATOK S HORSESHOE APPROXIMATION
DYADIC DIOPHANTINE APPROXIMATION AND KATOK S HORSESHOE APPROXIMATION TOMAS PERSSON AND JÖRG SCHMELING Preprints in Mathematical Sciences 2006:3 Centre for Mathematical Sciences Mathematics CENTRUM SCIENTIARUM
More informationDegrees of Streams. Jörg Endrullis Dimitri Hendriks Jan Willem Klop. Streams Seminar Nijmegen, 20th April Vrije Universiteit Amsterdam
Degrees of Streams Jörg Endrullis Dimitri Hendriks Jan Willem Klop Vrije Universiteit Amsterdam Streams Seminar Nijmegen, 20th April 2010 Complexity of streams Complexity measures for infinite streams:
More informationDiophantine approximation of beta expansion in parameter space
Diophantine approximation of beta expansion in parameter space Jun Wu Huazhong University of Science and Technology Advances on Fractals and Related Fields, France 19-25, September 2015 Outline 1 Background
More information2 Plain Kolmogorov Complexity
2 Plain Kolmogorov Complexity In this section, we introduce plain Kolmogorov Complexity, prove the invariance theorem - that is, the complexity of a string does not depend crucially on the particular model
More informationSCHNORR DIMENSION RODNEY DOWNEY, WOLFGANG MERKLE, AND JAN REIMANN
SCHNORR DIMENSION RODNEY DOWNEY, WOLFGANG MERKLE, AND JAN REIMANN ABSTRACT. Following Lutz s approach to effective (constructive) dimension, we define a notion of dimension for individual sequences based
More informationChapter 2: Introduction to Fractals. Topics
ME597B/Math597G/Phy597C Spring 2015 Chapter 2: Introduction to Fractals Topics Fundamentals of Fractals Hausdorff Dimension Box Dimension Various Measures on Fractals Advanced Concepts of Fractals 1 C
More informationLecture Notes Introduction to Ergodic Theory
Lecture Notes Introduction to Ergodic Theory Tiago Pereira Department of Mathematics Imperial College London Our course consists of five introductory lectures on probabilistic aspects of dynamical systems,
More informationKolmogorov complexity and its applications
Spring, 2009 Kolmogorov complexity and its applications Paul Vitanyi Computer Science University of Amsterdam http://www.cwi.nl/~paulv/course-kc We live in an information society. Information science is
More informationINTRODUCTION TO FURSTENBERG S 2 3 CONJECTURE
INTRODUCTION TO FURSTENBERG S 2 3 CONJECTURE BEN CALL Abstract. In this paper, we introduce the rudiments of ergodic theory and entropy necessary to study Rudolph s partial solution to the 2 3 problem
More informationDRAFT MAA6616 COURSE NOTES FALL 2015
Contents 1. σ-algebras 2 1.1. The Borel σ-algebra over R 5 1.2. Product σ-algebras 7 2. Measures 8 3. Outer measures and the Caratheodory Extension Theorem 11 4. Construction of Lebesgue measure 15 5.
More informationEffective randomness and computability
University of Wisconsin October 2009 What is this about? Let s begin by examining the title: Effective randomness (from algorithmic point of view) Computability (study of the limits of algorithms) Algorithms
More informationAlmost Sure Convergence of a Sequence of Random Variables
Almost Sure Convergence of a Sequence of Random Variables (...for people who haven t had measure theory.) 1 Preliminaries 1.1 The Measure of a Set (Informal) Consider the set A IR 2 as depicted below.
More informationThree hours THE UNIVERSITY OF MANCHESTER. 24th January
Three hours MATH41011 THE UNIVERSITY OF MANCHESTER FOURIER ANALYSIS AND LEBESGUE INTEGRATION 24th January 2013 9.45 12.45 Answer ALL SIX questions in Section A (25 marks in total). Answer THREE of the
More informationA statistical mechanical interpretation of algorithmic information theory
A statistical mechanical interpretation of algorithmic information theory Kohtaro Tadaki Research and Development Initiative, Chuo University 1 13 27 Kasuga, Bunkyo-ku, Tokyo 112-8551, Japan. E-mail: tadaki@kc.chuo-u.ac.jp
More informationLecture 3: Probability Measures - 2
Lecture 3: Probability Measures - 2 1. Continuation of measures 1.1 Problem of continuation of a probability measure 1.2 Outer measure 1.3 Lebesgue outer measure 1.4 Lebesgue continuation of an elementary
More information6 Classical dualities and reflexivity
6 Classical dualities and reflexivity 1. Classical dualities. Let (Ω, A, µ) be a measure space. We will describe the duals for the Banach spaces L p (Ω). First, notice that any f L p, 1 p, generates the
More informationWaiting times, recurrence times, ergodicity and quasiperiodic dynamics
Waiting times, recurrence times, ergodicity and quasiperiodic dynamics Dong Han Kim Department of Mathematics, The University of Suwon, Korea Scuola Normale Superiore, 22 Jan. 2009 Outline Dynamical Systems
More informationMeasures. Chapter Some prerequisites. 1.2 Introduction
Lecture notes Course Analysis for PhD students Uppsala University, Spring 2018 Rostyslav Kozhan Chapter 1 Measures 1.1 Some prerequisites I will follow closely the textbook Real analysis: Modern Techniques
More informationfunctions as above. There is a unique non-empty compact set, i=1
1 Iterated function systems Many of the well known examples of fractals, including the middle third Cantor sets, the Siepiński gasket and certain Julia sets, can be defined as attractors of iterated function
More informationComputability Theory
Computability Theory Cristian S. Calude May 2012 Computability Theory 1 / 1 Bibliography M. Sipser. Introduction to the Theory of Computation, PWS 1997. (textbook) Computability Theory 2 / 1 Supplementary
More informationErgodic Theorems. Samy Tindel. Purdue University. Probability Theory 2 - MA 539. Taken from Probability: Theory and examples by R.
Ergodic Theorems Samy Tindel Purdue University Probability Theory 2 - MA 539 Taken from Probability: Theory and examples by R. Durrett Samy T. Ergodic theorems Probability Theory 1 / 92 Outline 1 Definitions
More informationAre chaotic systems dynamically random?
Are chaotic systems dynamically random? Karl Svozil Institute for Theoretical Physics, Technical University Vienna, Karlsplatz 13, A 1040 Vienna, Austria. November 18, 2002 Abstract Physical systems can
More informationRudiments of Ergodic Theory
Rudiments of Ergodic Theory Zefeng Chen September 24, 203 Abstract In this note we intend to present basic ergodic theory. We begin with the notion of a measure preserving transformation. We then define
More informationRandomness and Complexity of Sequences over Finite Fields. Harald Niederreiter, FAMS. RICAM Linz and University of Salzburg (Austria)
Randomness and Complexity of Sequences over Finite Fields Harald Niederreiter, FAMS RICAM Linz and University of Salzburg (Austria) Introduction A hierarchy of complexities Complexity and random sequences
More informationA Short Introduction to Ergodic Theory of Numbers. Karma Dajani
A Short Introduction to Ergodic Theory of Numbers Karma Dajani June 3, 203 2 Contents Motivation and Examples 5 What is Ergodic Theory? 5 2 Number Theoretic Examples 6 2 Measure Preserving, Ergodicity
More informationThe Metamathematics of Randomness
The Metamathematics of Randomness Jan Reimann January 26, 2007 (Original) Motivation Effective extraction of randomness In my PhD-thesis I studied the computational power of reals effectively random for
More informationCombinatorics, Automata and Number Theory
Combinatorics, Automata and Number Theory CANT Edited by Valérie Berthé LIRMM - Université Montpelier II - CNRS UMR 5506 161 rue Ada, F-34392 Montpellier Cedex 5, France Michel Rigo Université de Liège,
More informationMeasure and Integration: Concepts, Examples and Exercises. INDER K. RANA Indian Institute of Technology Bombay India
Measure and Integration: Concepts, Examples and Exercises INDER K. RANA Indian Institute of Technology Bombay India Department of Mathematics, Indian Institute of Technology, Bombay, Powai, Mumbai 400076,
More information2 Lebesgue integration
2 Lebesgue integration 1. Let (, A, µ) be a measure space. We will always assume that µ is complete, otherwise we first take its completion. The example to have in mind is the Lebesgue measure on R n,
More informationHenk Bruin (University of Vienna) Carlo Carminati (University of Pisa) Stefano Marmi (Scuola Normale di Pisa) Alessandro Profeti (University of Pisa)
Self-similarity in the entropy graph for a family of piecewise linear maps. Henk Bruin (University of Vienna) Carlo Carminati (University of Pisa) Stefano Marmi (Scuola Normale di Pisa) Alessandro Profeti
More informationProbability and Measure
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 84 Paper 4, Section II 26J Let (X, A) be a measurable space. Let T : X X be a measurable map, and µ a probability
More informationThree hours THE UNIVERSITY OF MANCHESTER. 31st May :00 17:00
Three hours MATH41112 THE UNIVERSITY OF MANCHESTER ERGODIC THEORY 31st May 2016 14:00 17:00 Answer FOUR of the FIVE questions. If more than four questions are attempted, then credit will be given for the
More informationLectures on fractal geometry and dynamics
Lectures on fractal geometry and dynamics Michael Hochman June 27, 2012 Contents 1 Introduction 2 2 Preliminaries 3 3 Dimension 4 3.1 A family of examples: Middle-α Cantor sets................ 4 3.2 Minkowski
More informationProgram size complexity for possibly infinite computations
Program size complexity for possibly infinite computations Verónica Becher Santiago Figueira André Nies Silvana Picchi Abstract We define a program size complexity function H as a variant of the prefix-free
More information1.4 Outer measures 10 CHAPTER 1. MEASURE
10 CHAPTER 1. MEASURE 1.3.6. ( Almost everywhere and null sets If (X, A, µ is a measure space, then a set in A is called a null set (or µ-null if its measure is 0. Clearly a countable union of null sets
More informationMeasure and Category. Marianna Csörnyei. ucahmcs
Measure and Category Marianna Csörnyei mari@math.ucl.ac.uk http:/www.ucl.ac.uk/ ucahmcs 1 / 96 A (very short) Introduction to Cardinals The cardinality of a set A is equal to the cardinality of a set B,
More information10 Typical compact sets
Tel Aviv University, 2013 Measure and category 83 10 Typical compact sets 10a Covering, packing, volume, and dimension... 83 10b A space of compact sets.............. 85 10c Dimensions of typical sets.............
More informationMeasures and Measure Spaces
Chapter 2 Measures and Measure Spaces In summarizing the flaws of the Riemann integral we can focus on two main points: 1) Many nice functions are not Riemann integrable. 2) The Riemann integral does not
More informationTheorem 2.1 (Caratheodory). A (countably additive) probability measure on a field has an extension. n=1
Chapter 2 Probability measures 1. Existence Theorem 2.1 (Caratheodory). A (countably additive) probability measure on a field has an extension to the generated σ-field Proof of Theorem 2.1. Let F 0 be
More informationIndeed, if we want m to be compatible with taking limits, it should be countably additive, meaning that ( )
Lebesgue Measure The idea of the Lebesgue integral is to first define a measure on subsets of R. That is, we wish to assign a number m(s to each subset S of R, representing the total length that S takes
More informationDirichlet uniformly well-approximated numbers
Dirichlet uniformly well-approximated numbers Lingmin LIAO (joint work with Dong Han Kim) Université Paris-Est Créteil (University Paris 12) Hyperbolicity and Dimension CIRM, Luminy December 3rd 2013 Lingmin
More informationCS154, Lecture 12: Kolmogorov Complexity: A Universal Theory of Data Compression
CS154, Lecture 12: Kolmogorov Complexity: A Universal Theory of Data Compression Rosencrantz & Guildenstern Are Dead (Tom Stoppard) Rigged Lottery? And the winning numbers are: 1, 2, 3, 4, 5, 6 But is
More informationMEASURES AND THEIR RANDOM REALS
MEASURES AND THEIR RANDOM REALS JAN REIMANN AND THEODORE A. SLAMAN Abstract. We study the randomness properties of reals with respect to arbitrary probability measures on Cantor space. We show that every
More informationThe Mysterious World of Normal Numbers
University of Alberta May 3rd, 2012 1 2 3 4 5 6 7 Given an integer q 2, a q-normal number is an irrational number whose q-ary expansion is such that any preassigned sequence, of length k 1, of base q digits
More informationLebesgue Measure on R n
8 CHAPTER 2 Lebesgue Measure on R n Our goal is to construct a notion of the volume, or Lebesgue measure, of rather general subsets of R n that reduces to the usual volume of elementary geometrical sets
More informationEFFECTIVE FRACTAL DIMENSIONS
EFFECTIVE FRACTAL DIMENSIONS Jack H. Lutz Iowa State University Copyright c Jack H. Lutz, 2011. All rights reserved. Lectures 1. Classical and Constructive Fractal Dimensions 2. Dimensions of Points in
More informationQuantitative recurrence for beta expansion. Wang BaoWei
Introduction Further study Quantitative recurrence for beta expansion Huazhong University of Science and Technology July 8 2010 Introduction Further study Contents 1 Introduction Background Beta expansion
More informationAlgorithmic Identification of Probabilities Is Hard
Algorithmic Identification of Probabilities Is Hard Laurent Bienvenu, Benoit Monin, Alexander Shen To cite this version: Laurent Bienvenu, Benoit Monin, Alexander Shen. Algorithmic Identification of Probabilities
More informationCorrespondence Principles for Effective Dimensions
Correspondence Principles for Effective Dimensions John M. Hitchcock Department of Computer Science Iowa State University Ames, IA 50011 jhitchco@cs.iastate.edu Abstract We show that the classical Hausdorff
More informationSymbolic Dynamics: Entropy = Dimension = Complexity
Symbolic Dynamics: Entropy = Dimension = omplexity Stephen G. Simpson Pennsylvania State University http://www.math.psu.edu/simpson/ simpson@math.psu.edu A-R onference University of ape Town January 3
More information1 Introduction. 2 Binary shift map
Introduction This notes are meant to provide a conceptual background for the numerical construction of random variables. They can be regarded as a mathematical complement to the article [] (please follow
More informationRandomness and Halting Probabilities
Randomness and Halting Probabilities Verónica Becher vbecher@dc.uba.ar Santiago Figueira sfigueir@dc.uba.ar Joseph S. Miller joseph.miller@math.uconn.edu February 15, 2006 Serge Grigorieff seg@liafa.jussieu.fr
More information3 Self-Delimiting Kolmogorov complexity
3 Self-Delimiting Kolmogorov complexity 3. Prefix codes A set is called a prefix-free set (or a prefix set) if no string in the set is the proper prefix of another string in it. A prefix set cannot therefore
More informationINITIAL POWERS OF STURMIAN SEQUENCES
INITIAL POWERS OF STURMIAN SEQUENCES VALÉRIE BERTHÉ, CHARLES HOLTON, AND LUCA Q. ZAMBONI Abstract. We investigate powers of prefixes in Sturmian sequences. We obtain an explicit formula for ice(ω), the
More informationLECTURE 15: COMPLETENESS AND CONVEXITY
LECTURE 15: COMPLETENESS AND CONVEXITY 1. The Hopf-Rinow Theorem Recall that a Riemannian manifold (M, g) is called geodesically complete if the maximal defining interval of any geodesic is R. On the other
More informationConference on Diophantine Analysis and Related Fields 2006 in honor of Professor Iekata Shiokawa Keio University Yokohama March 8, 2006
Diophantine analysis and words Institut de Mathématiques de Jussieu + CIMPA http://www.math.jussieu.fr/ miw/ March 8, 2006 Conference on Diophantine Analysis and Related Fields 2006 in honor of Professor
More informationUNIFORM TEST OF ALGORITHMIC RANDOMNESS OVER A GENERAL SPACE
UNIFORM TEST OF ALGORITHMIC RANDOMNESS OVER A GENERAL SPACE PETER GÁCS ABSTRACT. The algorithmic theory of randomness is well developed when the underlying space is the set of finite or infinite sequences
More informationDiophantine approximation of fractional parts of powers of real numbers
Diophantine approximation of fractional parts of powers of real numbers Lingmin LIAO (joint work with Yann Bugeaud, and Micha l Rams) Université Paris-Est Numeration 2015, Nancy May 20th 2015 Lingmin LIAO,
More informationExistence of a Limit on a Dense Set, and. Construction of Continuous Functions on Special Sets
Existence of a Limit on a Dense Set, and Construction of Continuous Functions on Special Sets REU 2012 Recap: Definitions Definition Given a real-valued function f, the limit of f exists at a point c R
More informationLecture 3: Randomness in Computation
Great Ideas in Theoretical Computer Science Summer 2013 Lecture 3: Randomness in Computation Lecturer: Kurt Mehlhorn & He Sun Randomness is one of basic resources and appears everywhere. In computer science,
More informationAlan Turing in the Twenty-first Century: Normal Numbers, Randomness, and Finite Automata. Jack Lutz Iowa State University
Alan Turing in the Twenty-first Century: Normal Numbers, Randomness, and Finite Automata Jack Lutz Iowa State University Main reference A note on normal numbers in and Main references on main reference
More informationReconciling data compression and Kolmogorov complexity
Reconciling data compression and Kolmogorov complexity Laurent Bienvenu 1 and Wolfgang Merkle 2 1 Laboratoire d Informatique Fondamentale, Université de Provence, Marseille, France, laurent.bienvenu@lif.univ-mrs.fr
More informationUniversity of York. Extremality and dynamically defined measures. David Simmons. Diophantine preliminaries. First results. Main results.
University of York 1 2 3 4 Quasi-decaying References T. Das, L. Fishman, D. S., M. Urbański,, I: properties of quasi-decaying, http://arxiv.org/abs/1504.04778, preprint 2015.,, II: Measures from conformal
More informationMATH41011/MATH61011: FOURIER SERIES AND LEBESGUE INTEGRATION. Extra Reading Material for Level 4 and Level 6
MATH41011/MATH61011: FOURIER SERIES AND LEBESGUE INTEGRATION Extra Reading Material for Level 4 and Level 6 Part A: Construction of Lebesgue Measure The first part the extra material consists of the construction
More information