Computable Absolutely Normal Numbers and Discrepancies

Adrian-Maria Scheerer

DOI: https://doi.org/10.48550/arXiv.1511.03582

2016-01-29

Abstract:We analyze algorithms that output absolutely normal numbers digit-by-digit with respect to quality of convergence to normality of the output, measured by the discrepancy. We consider explicit variants of algorithms by Sierpinski, by Turing and an adaption of constructive work on normal numbers by Schmidt. There seems to be a trade-off between the complexity of the algorithm and the speed of convergence to normality of the output.

Number Theory

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is to analyze and compare the convergence quality of different algorithms when outputting Absolutely Normal Numbers bit by bit, especially by measuring the Discrepancy of the output sequence to evaluate the speed of their convergence to normality. Specifically, the paper focuses on the following aspects:

1. **Definition and Background**:
- A real number \(x\) is normal in an integer base \(b \geq 2\) if, in its expansion in base \(b\), all possible finite digit blocks occur with the same asymptotic frequency.
- A real number \(x\) is absolutely normal if it is normal for every integer base \(b \geq 2\).

2. **Research Motivation**:
- Although normal numbers for a single base have been successfully constructed, there is as yet no method for constructing absolutely normal numbers by concatenating digit blocks.
- The paper aims to analyze the convergence quality of several known algorithms when outputting absolutely normal numbers and to explore the trade - off between algorithm complexity and convergence speed.

3. **Research Method**:
- The paper analyzes the algorithms proposed by Sierpinski, Turing, and Schmidt, which can output absolutely normal numbers bit by bit.
- Use Discrepancy as a measure of convergence quality. The Discrepancy \(D_N(x_n)\) is defined as:
\[
D_N(x_n)=\sup_{I \subset [0,1)} \left|\frac{\sharp \{1 \leq n \leq N \mid x_n \mod 1 \in I\}}{N}-|I|\right|
\]
where \(I\) is all sub - intervals of the unit interval.

4. **Main Results**:
- Sierpinski algorithm: The Discrepancy of the output absolutely normal number \(\nu\) is \(O\left(\frac{1}{N^{1/6}}\right)\), and the computational complexity is double - exponential time.
- Turing algorithm: The Discrepancy of the output absolutely normal number is \(O\left(\frac{1}{N^{1/16}}\right)\), and the computational complexity is also double - exponential time.
- Schmidt algorithm: The Discrepancy of the output absolutely normal number \(\xi\) is \(O\left(\frac{\log \log N}{\log N}\right)\), and the computational complexity is the number of exponential - level mathematical operations.

5. **Improvement and Application**:
- The paper also shows how to modify Schmidt's algorithm to obtain a better Discrepancy, that is, \(O\left(\frac{1}{(\log N)^A}\right)\) for any fixed \(A > 0\).

In summary, this paper reveals the relationship between algorithm complexity and convergence speed by analyzing the performance of different algorithms in generating absolutely normal numbers, and proposes methods to improve existing algorithms in order to improve the quality of generating absolutely normal numbers.