Showing 1–27 of 27 results for author: Mance, B

The descriptive complexity of the set of Poisson generic numbers

Authors: Verónica Becher, Stephen Jackson, Dominik Kwietniak, Bill Mance

Abstract: Let $b\ge 2$ be an integer. We show that the set of real numbers that are Poisson generic in base $b$ is $\boldsymbolΠ^0_3$-complete in the Borel hierarchy of subsets of the real line. Furthermore, the set of real numbers that are Borel normal in base $b$ and not Poisson generic in base $b$ is complete for the class given by the differences between $\boldsymbolΠ^0_3$ sets. We also show that the ef… ▽ More Let $b\ge 2$ be an integer. We show that the set of real numbers that are Poisson generic in base $b$ is $\boldsymbolΠ^0_3$-complete in the Borel hierarchy of subsets of the real line. Furthermore, the set of real numbers that are Borel normal in base $b$ and not Poisson generic in base $b$ is complete for the class given by the differences between $\boldsymbolΠ^0_3$ sets. We also show that the effective versions of these results hold in the effective Borel hierarchy. △ Less

Submitted 17 May, 2023; originally announced May 2023.

Comments: 15 pages

Borel complexity of sets of points with prescribed Birkhoff averages in Polish dynamical systems with a specification property

Authors: Konrad Deka, Steve Jackson, Dominik Kwietniak, Bill Mance

Abstract: We study the descriptive complexity of sets of points defined by placing restrictions on statistical behaviour of their orbits in dynamical systems on Polish spaces. A particular examples of such sets are the set of generic points of a $T$-invariant Borel probability measure, but we also consider much more general sets (for example, $α$-Birkhoff regular sets and the irregular set appearing in mult… ▽ More We study the descriptive complexity of sets of points defined by placing restrictions on statistical behaviour of their orbits in dynamical systems on Polish spaces. A particular examples of such sets are the set of generic points of a $T$-invariant Borel probability measure, but we also consider much more general sets (for example, $α$-Birkhoff regular sets and the irregular set appearing in multifractal analysis of ergodic averages of a continuous real-valued function). We show that many of these sets are Borel. In fact, all these sets are Borel when we assume that our space is compact. We provide examples of these sets being non-Borel, properly placed at the first level of the projective hierarchy (they are complete analytic or co-analytic). This proves that the compactness assumption is in some cases necessary to obtain Borelness. When these sets are Borel, we use the Borel hierarchy to measure their descriptive complexity. We show that the sets of interest are located at most at the third level of the hierarchy. We also use a modified version of the specification property to show that for many dynamical systems these sets are properly located at the third level. To demonstrate that the specification property is a sufficient, but not necessary condition for maximal descriptive complexity of a set of generic points, we provide an example of a compact minimal system with an invariant measure whose set of generic points is $Π^0_3$-complete. △ Less

Submitted 17 October, 2022; originally announced October 2022.

Comments: 26 pages

On the Borel complexity of continued fraction normal, absolutely abnormal numbers

Authors: Steve Jackson, Bill Mance, Joseph Vandehey

Abstract: We show that normality for continued fractions expansions and normality for base-$b$ expansions are maximally logically separate. In particular, the set of numbers that are normal with respect to the continued fraction expansion but not base-$b$ normal for a fixed $b\ge 2$ is $D_2(\boldsymbolΠ_3^0)$-complete. Moreover, the set of numbers that are normal with respect to the continued fraction expan… ▽ More We show that normality for continued fractions expansions and normality for base-$b$ expansions are maximally logically separate. In particular, the set of numbers that are normal with respect to the continued fraction expansion but not base-$b$ normal for a fixed $b\ge 2$ is $D_2(\boldsymbolΠ_3^0)$-complete. Moreover, the set of numbers that are normal with respect to the continued fraction expansion but not normal to \emph{any} base-$b$ expansion is $D_2(\boldsymbolΠ_3^0)$-hard, confirming the existence of uncountably many such numbers, which was previously only known assuming the generalized Riemann hypothesis. By varying the method of proof we are also able to show that the set of base-$2$ normal, base-$3$ non-normal numbers is also $D_2(\boldsymbolΠ_3^0)$-complete. We also prove an auxiliary result on the normality properties of the continued fraction expansions of fractions with a fixed denominator. △ Less

Submitted 22 November, 2021; originally announced November 2021.

Comments: Video talk by first author on this and related topics: https://u-paris.zoom.us/rec/share/ZxCzwWYl8DkuaH7FArc9266D2Gkdja08bl5xRsRM3MwHKnmoaTB8mWqw7WtS24Ah.cE6teTB2hkXNdRPw

MSC Class: 11K16; 03E15 (Primary) 11K50; 26A21; 11U99 (Secondary)

A non-Borel special alpha-limit set in the square

Authors: Steve Jackson, Bill Mance, Samuel Roth

Abstract: We consider the complexity of special $α$-limit sets, a kind of backward limit set for non-invertible dynamical systems. We show that these sets are always analytic, but not necessarily Borel, even in the case of a surjective map on the unit square. This answers a question posed by Kolyada, Misiurewicz, and Snoha. We consider the complexity of special $α$-limit sets, a kind of backward limit set for non-invertible dynamical systems. We show that these sets are always analytic, but not necessarily Borel, even in the case of a surjective map on the unit square. This answers a question posed by Kolyada, Misiurewicz, and Snoha. △ Less

Submitted 10 November, 2020; originally announced November 2020.

Comments: See https://www.youtube.com/watch?v=Ugwkg8mT7y8 for a short video explaining this paper

Descriptive complexity in Cantor series

Authors: Dylain Airey, Steve Jackson, Bill Mance

Abstract: A Cantor series expansion for a real number $x$ with respect to a basic sequence $Q=(q_1,q_2,\dots)$, where $q_i \geq 2$, is a representation of the form $x=a_0 + \sum_{i=1}^\infty \frac{a_i}{q_1q_2\cdots q_i}$ where $0 \leq a_i<q_i$. These generalize ordinary base $b$ expansions where $q_i=b$. Ki and Linton showed that for ordinary base $b$ expansions the set of normal numbers is a… ▽ More A Cantor series expansion for a real number $x$ with respect to a basic sequence $Q=(q_1,q_2,\dots)$, where $q_i \geq 2$, is a representation of the form $x=a_0 + \sum_{i=1}^\infty \frac{a_i}{q_1q_2\cdots q_i}$ where $0 \leq a_i<q_i$. These generalize ordinary base $b$ expansions where $q_i=b$. Ki and Linton showed that for ordinary base $b$ expansions the set of normal numbers is a $\boldsymbolΠ^0_3$-complete set, establishing the exact complexity of this set. In the case of Cantor series there are three natural notions of normality: normality, ratio normality,and distribution normality (these notions are equivalent for base $b$ expansions). We show that for any $Q$ the set $\mathscr{DN}(Q)$ of distribution normal number is $\boldsymbolΠ^0_3$-complete, and if $Q$ is $1$-divergent (i.e., $\sum_{i=1}^\infty \frac{1}{q_i}$ diverges) then the sets $\mathscr{N}(Q)$ and $\mathscr{RN}(Q)$ of normal and ratio normal numbers are $\boldsymbolΠ^0_3$-complete. We further show that all five non-trivial differences of these sets are $D_2(\boldsymbolΠ^0_3)$-complete if $\lim_i q_i=\infty$ and $Q$ is $1$-divergent (the trivial case is $\mathscr{N}(Q)\setminus \mathscr{RN}(Q)=\emptyset$). This shows that except for the containment $\mathscr{N}(Q)\subseteq \mathscr{RN}(Q)$, these three notions are as independent as possible. △ Less

Submitted 26 October, 2020; originally announced October 2020.

Comments: 22 pages

Hotspot lemmas for non-compact spaces

Authors: Dylan Airey, Bill Mance

Abstract: We extend the hotspot lemma, or Piatetskiĭ-Shapiro normality criterion, to dynamical systems on non-compact spaces. We build on the work of N. G. Moshchevitin and I. D. Shkredov, noting an issue in some of their proofs, and adding a necessary and sufficient condition to remove this issue. We extend the hotspot lemma, or Piatetskiĭ-Shapiro normality criterion, to dynamical systems on non-compact spaces. We build on the work of N. G. Moshchevitin and I. D. Shkredov, noting an issue in some of their proofs, and adding a necessary and sufficient condition to remove this issue. △ Less

Submitted 21 December, 2019; originally announced December 2019.

Comments: 4 pages

MSC Class: Primary 37A30; Secondary 11A63; 11K16; 11K50

Borel complexity of sets of normal numbers via generic points in subshifts with specification

Authors: Dylan Airey, Steve Jackson, Dominik Kwietniak, Bill Mance

Abstract: We study the Borel complexity of sets of normal numbers in several numeration systems. Taking a dynamical point of view, we offer a unified treatment for continued fraction expansions and base $r$ expansions, and their various generalisations: generalised Lüroth series expansions and $β$-expansions. In fact, we consider subshifts over a countable alphabet generated by all possible expansions of nu… ▽ More We study the Borel complexity of sets of normal numbers in several numeration systems. Taking a dynamical point of view, we offer a unified treatment for continued fraction expansions and base $r$ expansions, and their various generalisations: generalised Lüroth series expansions and $β$-expansions. In fact, we consider subshifts over a countable alphabet generated by all possible expansions of numbers in $[0,1)$. Then normal numbers correspond to generic points of shift-invariant measures. It turns out that for these subshifts the set of generic points for a shift-invariant probability measure is precisely at the third level of the Borel hierarchy (it is a $Π^0_3$-complete set, meaning that it is a countable intersection of $F_σ$-sets, but it is not possible to write it as a countable union of $G_δ$-sets). We also solve a problem of Sharkovsky--Sivak on the Borel complexity of the basin of statistical attraction. The crucial dynamical feature we need is a feeble form of specification. All expansions named above generate subshifts with this property. Hence the sets of normal numbers under consideration are $Π^0_3$-complete. △ Less

Submitted 15 January, 2020; v1 submitted 11 November, 2018; originally announced November 2018.

Comments: A talk explaining this paper may be found at https://www.youtube.com/watch?v=g9va0ZzVIjA

On the transcendence of certain real numbers

Authors: Veekesh Kumar, Bill Mance

Abstract: In this article we discuss the transcendence of certain infinite sums and products by using the Subspace theorem. In particular we improve the result of Hančl and Rucki \cite{hancl3}. In this article we discuss the transcendence of certain infinite sums and products by using the Subspace theorem. In particular we improve the result of Hančl and Rucki \cite{hancl3}. △ Less

Submitted 25 July, 2018; originally announced July 2018.

Comments: 14 pages

MSC Class: Primary 11J68; Secondary 11K16

Journal ref: Bull. Aust. Math. Soc. 99 (2019) 392-402

Some complexity results in the theory of normal numbers

Authors: Dylan Airey, Bill Mance, Steve Jackson

Abstract: Let $\mathscr{N}(b)$ be the set of real numbers which are normal to base $b$. A well-known result of H. Ki and T. Linton is that $\mathscr{N}(b)$ is $\boldsymbolΠ^0_3$-complete. We show that the set $\mathscr{N}(b)$ of reals which preserve $\mathscr{N}(b)$ under addition is also $\boldsymbolΠ^0_3$-complete. We use the characteriztion of $\mathscr{N}(b)$ given by G. Rauzy in terms of an entropy-lik… ▽ More Let $\mathscr{N}(b)$ be the set of real numbers which are normal to base $b$. A well-known result of H. Ki and T. Linton is that $\mathscr{N}(b)$ is $\boldsymbolΠ^0_3$-complete. We show that the set $\mathscr{N}(b)$ of reals which preserve $\mathscr{N}(b)$ under addition is also $\boldsymbolΠ^0_3$-complete. We use the characteriztion of $\mathscr{N}(b)$ given by G. Rauzy in terms of an entropy-like quantity called the noise. It follows from our results that no further characteriztion theorems could result in a still better bound on the complexity of $\mathscr{N}(b)$. We compute the exact descriptive complexity of other naturally occurring sets associated with noise. One of these is complete at the $\boldsymbolΠ^0_4$ level. Finally, we get upper and lower bounds on the Hausdorff dimension of the level sets associated with the noise. △ Less

Submitted 27 September, 2016; originally announced September 2016.

Comments: A talk explaining this paper may be found at https://www.youtube.com/watch?v=epgqcSkif2U&t=374s

Journal ref: Can. J. Math.-J. Can. Math. 74 (2022) 170-198

Normality of different orders for Cantor series expansions

Authors: Dylan Airey, Bill Mance

Abstract: Let $S \subseteq \mathbb{N}$ have the property that for each $k \in S$ the set $(S - k) \cap \mathbb{N} \setminus S$ has asymptotic density $0$. We prove that there exists a basic sequence $Q$ where the set of numbers $Q$-normal of all orders in $S$ but not $Q$-normal of all orders not in $S$ has full Hausdorff dimension. If the function $k \mapsto 1_S(k)$ is computable, then there exist computabl… ▽ More Let $S \subseteq \mathbb{N}$ have the property that for each $k \in S$ the set $(S - k) \cap \mathbb{N} \setminus S$ has asymptotic density $0$. We prove that there exists a basic sequence $Q$ where the set of numbers $Q$-normal of all orders in $S$ but not $Q$-normal of all orders not in $S$ has full Hausdorff dimension. If the function $k \mapsto 1_S(k)$ is computable, then there exist computable examples. For example, there exists a computable basic sequence $Q$ where the set of numbers normal of all even orders and not normal of all odd orders has full Hausdorff dimension. This is in strong constrast to the $b$-ary expansions where any real number that is normal of order $k$ must also be normal of all orders between $1$ and $k-1$. Additionally, all numbers we construct satisfy the unusual condition that block frequencies sampled along non-trivial arithmetic progressions don't converge to the expected value. This is also in strong contrast to the case of the $b$-ary expansions, but more similar to the case of the continued fraction expansion. As a corollary, the set of $Q$-normal numbers that are not normal when sampled along any non-trivial arithmetic progression has full Hausdorff dimension. △ Less

Submitted 25 July, 2016; originally announced July 2016.

Comments: 24 pages

Shrinking targets for non-autonomous dynamical systems corresponding to Cantor series expansions

Authors: Lior Fishman, Bill Mance, David Simmons, Mariusz Urbanski

Abstract: We provide a closed formula of Bowen type for the Hausdorff dimension of a very general shrinking target scheme generated by the non-autonomous dynamical system on the interval $[0,1)$, viewed as $\mathbb{R}/\mathbb{Z}$, corresponding to a given method of Cantor series expansion. We also examine a wide class of examples utilizing our theorem. In particular, we provide a Diophantine approximation i… ▽ More We provide a closed formula of Bowen type for the Hausdorff dimension of a very general shrinking target scheme generated by the non-autonomous dynamical system on the interval $[0,1)$, viewed as $\mathbb{R}/\mathbb{Z}$, corresponding to a given method of Cantor series expansion. We also examine a wide class of examples utilizing our theorem. In particular, we provide a Diophantine approximation interpretation of our scheme. △ Less

Submitted 11 October, 2014; v1 submitted 28 September, 2014; originally announced September 2014.

Comments: 6 pages

Journal ref: Bull. Aust. Math. Soc. {\bf 92} (2015), no. 2, 205--213

Normal number constructions for Cantor series with slowly growing bases

Authors: Dylan Airey, Bill Mance, Joseph Vandehey

Abstract: Let $Q=(q_n)_{n=1}^\infty$ be a sequence of bases with $q_i\ge 2$. In the case when the $q_i$ are slowly growing and satisfy some additional weak conditions, we provide a construction of a number whose $Q$-Cantor series expansion is both $Q$-normal and $Q$-distribution normal. Moreover, this construction will result in a computable number provided we have some additional conditions on the computab… ▽ More Let $Q=(q_n)_{n=1}^\infty$ be a sequence of bases with $q_i\ge 2$. In the case when the $q_i$ are slowly growing and satisfy some additional weak conditions, we provide a construction of a number whose $Q$-Cantor series expansion is both $Q$-normal and $Q$-distribution normal. Moreover, this construction will result in a computable number provided we have some additional conditions on the computability of $Q$, and from this construction we can provide computable constructions of numbers with atypical normality properties. △ Less

Submitted 18 September, 2014; originally announced September 2014.

Comments: 13 pages

Normal equivalencies for eventually periodic basic sequences

Authors: Dylan Airey, Bill Mance

Abstract: W. M. Schmidt, A. D. Pollington, and F. Schweiger have studied when normality with respect to one expansion is equivalent to normality with respect to another expansion. Following in their footsteps, we show that when $Q$ is an eventually periodic basic sequence, that $Q$-normality and $Q$-distribution normality are equivalent to normality in base $b$ where $b$ is dependent on $Q$. We also show th… ▽ More W. M. Schmidt, A. D. Pollington, and F. Schweiger have studied when normality with respect to one expansion is equivalent to normality with respect to another expansion. Following in their footsteps, we show that when $Q$ is an eventually periodic basic sequence, that $Q$-normality and $Q$-distribution normality are equivalent to normality in base $b$ where $b$ is dependent on $Q$. We also show that boundedness of the basic sequence is not sufficient for this equivalence. △ Less

Submitted 26 August, 2014; originally announced August 2014.

Comments: 7 pages

Normality preserving operations for Cantor series expansions and associated fractals part II

Authors: Dylan Airey, Bill Mance, Joseph Vandehey

Abstract: We investigate how non-zero rational multiplication and rational addition affect normality with respect to $Q$-Cantor series expansions. In particular, we show that there exists a $Q$ such that the set of real numbers which are $Q$-normal but not $Q$-distribution normal, and which still have this property when multiplied and added by rational numbers has full Hausdorff dimension. Moreover, we give… ▽ More We investigate how non-zero rational multiplication and rational addition affect normality with respect to $Q$-Cantor series expansions. In particular, we show that there exists a $Q$ such that the set of real numbers which are $Q$-normal but not $Q$-distribution normal, and which still have this property when multiplied and added by rational numbers has full Hausdorff dimension. Moreover, we give such a number that is explicit in the sense that it is computable. △ Less

Submitted 15 July, 2014; v1 submitted 3 July, 2014; originally announced July 2014.

Comments: 12 pages

Normality preserving operations for Cantor series expansions and associated fractals part I

Authors: Dylan Airey, Bill Mance

Abstract: It is well known that rational multiplication preserves normality in base $b$. We study related normality preserving operations for the $Q$-Cantor series expansions. In particular, we show that while integer multiplication preserves $Q$-distribution normality, it fails to preserve $Q$-normality in a particularly strong manner. We also show that $Q$-distribution normality is not preserved by non-in… ▽ More It is well known that rational multiplication preserves normality in base $b$. We study related normality preserving operations for the $Q$-Cantor series expansions. In particular, we show that while integer multiplication preserves $Q$-distribution normality, it fails to preserve $Q$-normality in a particularly strong manner. We also show that $Q$-distribution normality is not preserved by non-integer rational multiplication on a set of zero measure and full Hausdorff dimension. △ Less

Submitted 8 July, 2014; v1 submitted 3 July, 2014; originally announced July 2014.

Comments: 10 pages

On the Hausdorff dimension of some sets of numbers defined through the digits of their $Q$-Cantor series expansions

Authors: Dylan Airey, Bill Mance

Abstract: Following in the footsteps of P. Erdős and A. Rényi we compute the Hausdorff dimension of sets of numbers whose digits with respect to their $Q$-Cantor series expansions satisfy various statistical properties. In particular, we consider difference sets associated with various notions of normality and sets of numbers with a prescribed range of digits. Following in the footsteps of P. Erdős and A. Rényi we compute the Hausdorff dimension of sets of numbers whose digits with respect to their $Q$-Cantor series expansions satisfy various statistical properties. In particular, we consider difference sets associated with various notions of normality and sets of numbers with a prescribed range of digits. △ Less

Submitted 15 July, 2014; v1 submitted 3 July, 2014; originally announced July 2014.

Comments: 13 pages, 1 figure

Unexpected distribution phenomenon resulting from Cantor series expansions

Authors: Dylan Airey, Bill Mance

Abstract: We explore in depth the number theoretic and statistical properties of certain sets of numbers arising from their Cantor series expansions. As a direct consequence of our main theorem we deduce numerous new results as well as strengthen known ones. We explore in depth the number theoretic and statistical properties of certain sets of numbers arising from their Cantor series expansions. As a direct consequence of our main theorem we deduce numerous new results as well as strengthen known ones. △ Less

Submitted 7 March, 2015; v1 submitted 12 March, 2014; originally announced March 2014.

Comments: 32 pages

Number theoretic applications of a class of Cantor series fractal functions, II

Authors: Brian Li, Bill Mance

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 every 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… ▽ More 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 every 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 infinite 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. 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. △ Less

Submitted 21 July, 2014; v1 submitted 9 October, 2013; originally announced October 2013.

Comments: 26 pages, 2 figures

Number theoretic applications of a class of Cantor series fractal functions,I

Authors: Bill Mance

Abstract: Suppose that $(P,Q) \in \mathbb{N}_2^{\mathbb{N}} \times \mathbb{N}_2^{\mathbb{N}}$ and $x=E_0.E_1E_2\cdots$ is the $P$-Cantor series expansion of $x \in \mathbb{R}$. We define $ψ_{P,Q}(x):=\sum_{n=1}^\infty \frac {\min(E_n,q_n-1)} {q_1 \cdots q_n}$. The functions $ψ_{P,Q}$ are used to construct many pathological examples of normal numbers. These constructions are used to give the complete contain… ▽ More Suppose that $(P,Q) \in \mathbb{N}_2^{\mathbb{N}} \times \mathbb{N}_2^{\mathbb{N}}$ and $x=E_0.E_1E_2\cdots$ is the $P$-Cantor series expansion of $x \in \mathbb{R}$. We define $ψ_{P,Q}(x):=\sum_{n=1}^\infty \frac {\min(E_n,q_n-1)} {q_1 \cdots q_n}$. The functions $ψ_{P,Q}$ are used to construct many pathological examples of normal numbers. These constructions are used to give the complete containment relation between the sets of $Q$-normal, $Q$-ratio normal, and $Q$-distribution normal numbers and their pairwise intersections for fully divergent $Q$ that are infinite in limit. We analyze the Hölder continuity of $ψ_{P,Q}$ restricted to some judiciously chosen fractals. This allows us to compute the Hausdorff dimension of some sets of numbers defined through restrictions on their Cantor series expansions. In particular, the main theorem of a paper by Y. Wang {\it et al.} \cite{WangWenXi} is improved. Properties of the functions $ψ_{P,Q}$ are also analyzed. Multifractal analysis is given for a large class of these functions and continuity is fully characterized. We also study the behavior of $ψ_{P,Q}$ on both rational and irrational points, monotonicity, and bounded variation. For different classes of ergodic shift invariant Borel probability measures $μ_1$ and $μ_2$ on $\mathbb{N}_2^{\mathbb{N}}$, we study which of these properties $ψ_{P,Q}$ satisfies for $μ_1 \times μ_2$-almost every $(P,Q) \in \mathbb{N}_2^{\mathbb{N}} \times \mathbb{N}_2^{\mathbb{N}}$. Related classes of random fractals are also studied. △ Less

Submitted 3 February, 2015; v1 submitted 9 October, 2013; originally announced October 2013.

Comments: 31 pages, 3 figures

On the Hausdorff dimension of countable intersections of certain sets of normal numbers

Authors: Bill Mance

Abstract: We show that the set of numbers that are $Q$-distribution normal but not simply $Q$-ratio normal has full Hausdorff dimension. It is further shown under some conditions that countable intersections of sets of this form still have full Hausdorff dimension even though they are not winning sets (in the sense of W. Schmidt). As a consequence of this, we construct many explicit examples of numbers that… ▽ More We show that the set of numbers that are $Q$-distribution normal but not simply $Q$-ratio normal has full Hausdorff dimension. It is further shown under some conditions that countable intersections of sets of this form still have full Hausdorff dimension even though they are not winning sets (in the sense of W. Schmidt). As a consequence of this, we construct many explicit examples of numbers that are simultaneously distribution normal but not simply ratio normal with respect to certain countable families of basic sequences. Additionally, we prove that some related sets are either winning sets or sets of the first category. △ Less

Submitted 15 April, 2014; v1 submitted 27 February, 2013; originally announced February 2013.

Comments: 12 pages, 1 figure

Construction of μ-normal sequences

Authors: Manfred G. Madritsch, Bill Mance

Abstract: In the present paper we extend Champernowne's construction of normal numbers to provide sequences which are generic for a given invariant probability measure, which need not be the maximal one. We present a construction together with estimates and examples for normal numbers with respect to Lüroth series expansion, continued fractions expansion or $β$-expansion. In the present paper we extend Champernowne's construction of normal numbers to provide sequences which are generic for a given invariant probability measure, which need not be the maximal one. We present a construction together with estimates and examples for normal numbers with respect to Lüroth series expansion, continued fractions expansion or $β$-expansion. △ Less

Submitted 6 October, 2014; v1 submitted 21 June, 2012; originally announced June 2012.

Comments: 14 pages

Bounded Lüroth expansions: applying Schmidt games where infinite distortion exists

Authors: Bill Mance, Jimmy Tseng

Abstract: We show that the set of numbers with bounded Lüroth expansions (or bounded Lüroth series) is winning and strong winning. From either winning property, it immediately follows that the set is dense, has full Hausdorff dimension, and satisfies a countable intersection property. Our result matches the well-known analogous result for bounded continued fraction expansions or, equivalently, badly approxi… ▽ More We show that the set of numbers with bounded Lüroth expansions (or bounded Lüroth series) is winning and strong winning. From either winning property, it immediately follows that the set is dense, has full Hausdorff dimension, and satisfies a countable intersection property. Our result matches the well-known analogous result for bounded continued fraction expansions or, equivalently, badly approximable numbers. We note that Lüroth expansions have a countably infinite Markov partition, which leads to the notion of infinite distortion (in the sense of Markov partitions). △ Less

Submitted 24 October, 2012; v1 submitted 18 February, 2012; originally announced February 2012.

Comments: 15 pages. No changes to the proof. Very minor changes in the exposition

MSC Class: 11K55; 11J70; 37E05

Cantor series constructions of sets of normal numbers

Authors: Bill Mance

Abstract: Let $Q=(q_n)_{n=1}^{\infty}$ be a sequence of integers greater than or equal to 2. We say that a real number $x$ in $[0,1)$ is {\it $Q$-distribution normal} if the sequence $(q_1q_2... q_n x)_{n=1}^{\infty}$ is uniformly distributed mod 1. In \cite{Lafer}, P. Lafer asked for a construction of a $Q$-distribution normal number for an arbitrary $Q$. Under a mild condition on $Q$, we construct a set… ▽ More Let $Q=(q_n)_{n=1}^{\infty}$ be a sequence of integers greater than or equal to 2. We say that a real number $x$ in $[0,1)$ is {\it $Q$-distribution normal} if the sequence $(q_1q_2... q_n x)_{n=1}^{\infty}$ is uniformly distributed mod 1. In \cite{Lafer}, P. Lafer asked for a construction of a $Q$-distribution normal number for an arbitrary $Q$. Under a mild condition on $Q$, we construct a set $Θ_Q$ of $Q$-distribution normal numbers. This set is perfect and nowhere dense. Additionally, given any $α$ in $[0,1]$, we provide an explicit example of a sequence $Q$ such that the Hausdorff dimension of $Θ_Q$ is equal to $α$. Under a certain growth condition on $q_n$, we provide a discrepancy estimate that holds for every $x$ in $Θ_Q$. △ Less

Submitted 21 February, 2012; v1 submitted 13 October, 2010; originally announced October 2010.

Comments: 29 pages

MSC Class: 11K16; 11A63

Journal ref: Acta Arith. 156 (2012), 223-245

On winning sets and non-normal numbers

Authors: Bill Mance

Abstract: In \cite{SchmidtGames}, W. Schmidt proved that the set of non-normal numbers in base $b$ is a {\it winning set}. We generalize this result by proving that many sets of non-normal numbers with respect to the Cantor series expansion are winning sets. As an immediate consequence, these sets will be shown to have full Hausdorff dimension. In \cite{SchmidtGames}, W. Schmidt proved that the set of non-normal numbers in base $b$ is a {\it winning set}. We generalize this result by proving that many sets of non-normal numbers with respect to the Cantor series expansion are winning sets. As an immediate consequence, these sets will be shown to have full Hausdorff dimension. △ Less

Submitted 2 November, 2010; v1 submitted 12 October, 2010; originally announced October 2010.

Comments: 9 pages

MSC Class: 11K16; 11A63

Typicality of normal numbers with respect to the Cantor series expansion

Authors: Bill Mance

Abstract: Fix a sequence of integers $Q=\{q_n\}_{n=1}^\infty$ such that $q_n$ is greater than or equal to 2 for all $n$. In this paper, we improve upon results by J. Galambos and F. Schweiger showing that almost every (in the sense of Lebesgue measure) real number in $[0,1)$ is $Q$-normal with respect to the $Q$-Cantor series expansion for sequences $Q$ that satisfy a certain condition. We also provide asym… ▽ More Fix a sequence of integers $Q=\{q_n\}_{n=1}^\infty$ such that $q_n$ is greater than or equal to 2 for all $n$. In this paper, we improve upon results by J. Galambos and F. Schweiger showing that almost every (in the sense of Lebesgue measure) real number in $[0,1)$ is $Q$-normal with respect to the $Q$-Cantor series expansion for sequences $Q$ that satisfy a certain condition. We also provide asymptotics describing the number of occurrences of blocks of digits in the $Q$-Cantor series expansion of a typical number. The notion of strong $Q$-normality, that satisfies a similar typicality result, is introduced. Both of these notions are equivalent for the $b$-ary expansion, but strong normality is stronger than normality for the Cantor series expansion. In order to show this, we provide an explicit construction of a sequence $Q$ and a real number that is $Q$-normal, but not strongly $Q$-normal. We use the results in this paper to show that under a mild condition on the sequence $Q$, a set satisfying a weaker notion of normality, studied by A. Rényi in \cite{Renyi}, will be dense in $[0,1)$. △ Less

Submitted 30 August, 2011; v1 submitted 12 October, 2010; originally announced October 2010.

Comments: 16 pages

MSC Class: 11K16; 11A63

Journal ref: New York J. Math. 17 (2011), 1-17

Cantor Series Constructions Contrasting Two Notions of Normality

Authors: Christian Altomare, Bill Mance

Abstract: A. Rényi \cite{Renyi} made a definition that gives a generalization of simple normality in the context of $Q$-Cantor series. In \cite{Mance}, a definition of $Q$-normality was given that generalizes the notion of normality in the context of $Q$-Cantor series. In this work, we examine both $Q$-normality and $Q$-distribution normality, treated in \cite{Laffer} and \cite{Salat}. Specifically, while… ▽ More A. Rényi \cite{Renyi} made a definition that gives a generalization of simple normality in the context of $Q$-Cantor series. In \cite{Mance}, a definition of $Q$-normality was given that generalizes the notion of normality in the context of $Q$-Cantor series. In this work, we examine both $Q$-normality and $Q$-distribution normality, treated in \cite{Laffer} and \cite{Salat}. Specifically, while the non-equivalence of these two notions is implicit in \cite{Laffer}, in this paper, we give an explicit construction witnessing the nontrivial direction. That is, we construct a base $Q$ as well as a real $x$ that is $Q$-normal yet not $Q$-distribution normal. We next approach the topic of simultaneous normality by constructing an explicit example of a base $Q$ as well as a real $x$ that is both $Q$-normal and $Q$-distribution normal. △ Less

Submitted 23 February, 2010; v1 submitted 22 November, 2009; originally announced November 2009.

MSC Class: 11K16; 11A63

Journal ref: Monatshefte für Mathematik: Volume 164, Issue 1 (2011), Page 1-22

Construction of normal numbers with respect to the $Q$-Cantor series expansion for certain $Q$

Authors: Bill Mance

Abstract: A. Renyi \cite{Renyi} made a definition that gives one generalization of simple normality in the context of $Q$-Cantor series. Similarly, in this paper we give a definition which generalizes the notion of normality in the context of $Q$-Cantor series. We will prove a theorem that allows us to concatenate sequences of digits that have a special property to give us the digits of a $Q$-normal number… ▽ More A. Renyi \cite{Renyi} made a definition that gives one generalization of simple normality in the context of $Q$-Cantor series. Similarly, in this paper we give a definition which generalizes the notion of normality in the context of $Q$-Cantor series. We will prove a theorem that allows us to concatenate sequences of digits that have a special property to give us the digits of a $Q$-normal number for certain $Q$. We will then use this theorem to construct a Q and a real number $x$ that is $Q$-normal. △ Less

Submitted 17 September, 2010; v1 submitted 7 November, 2009; originally announced November 2009.

Journal ref: Acta Arith. 148 (2011), 135-152