Title:Number theoretic applications of a class of Cantor series fractal functions Part II

Abstract:It is well known that all numbers that are normal of order $k$ in base $b$ are also normal of all orders less than $k$. Another basic fact is that any real number is normal in base $b$ if and only if it is simply normal in base $b^k$ for all $k$. This may be interpreted to mean that a number is normal in base $b$ if and only if all blocks of digits occur with the desired relative frequency along every arithmetic progression.
We reinterpret these theorems for the $Q$-Cantor series expansions and show that they are no longer true in a particularly strong way. That is, for any integer $k>1$, we construct an explicit example of a computable basic sequence $Q$ and a computable real number that is $Q$-normal of order $k$, but not $Q$-normal of orders $1, 2, \cdots, k-1$ and fails to be well behaved when blocks of digits are sampled along arithmetic progressions. More of these types of numbers can be constructed. For example, we construct a computable basic sequence $Q$ and a computable real number that is $Q$-normal of orders 2 and 3, but not $Q$-normal of order 1. The main theoretical result of this paper will be to reduce the problem of constructing normal numbers with certain pathological properties to the problem of solving a system of Diophantine relations. Both of these examples and others are constructed by using this reduction. This and other results suggest that the theory of normality for the $Q$-Cantor series expansions is fundamentally different than the theories of normality for any other expansion. Other constructions are given, too.