Showing 1–35 of 35 results for author: Vandehey, J

On the $k$th smallest part of a partition into distinct parts

Authors: Rajat Gupta, Noah Lebowitz-Lockard, Joseph Vandehey

Abstract: A classic theorem of Uchimura states that the difference between the sum of the smallest parts of the partitions of $n$ into an odd number of distinct parts and the corresponding sum for an even number of distinct parts is equal to the number of divisors of $n$. In this article, we initiate the study of the $k$th smallest part of a partition $π$ into distinct parts of any integer $n$, namely… ▽ More A classic theorem of Uchimura states that the difference between the sum of the smallest parts of the partitions of $n$ into an odd number of distinct parts and the corresponding sum for an even number of distinct parts is equal to the number of divisors of $n$. In this article, we initiate the study of the $k$th smallest part of a partition $π$ into distinct parts of any integer $n$, namely $s_k(π)$. Using $s_k(π)$, we generalize the above result for the $k$th smallest parts of partitions for any positive integer $k$ and show its connection with divisor functions for general $k$ and derive interesting special cases. We also study weighted partitions involving $s_k(π)$ with another parameter $z$, which helps us obtain several new combinatorial and analytical results. Finally, we prove sum-of-tails identities associated with the weighted partition function involving $s_k(π)$. △ Less

Submitted 19 February, 2024; originally announced February 2024.

MSC Class: Primary 11P81; 11P82; Secondary 11P84; 05A19

On the number of partitions of a number into distinct divisors

Authors: Noah Lebowitz-Lockard, Joseph Vandehey

Abstract: Let $p_{\textrm{dsd}} (n)$ be the number of partitions of $n$ into distinct squarefree divisors of $n$. In this note, we find a lower bound for $p_{\textrm{dsd}} (n)$, as well as a sequence of $n$ for which $p_{\textrm{dsd}} (n)$ is unusually large. Let $p_{\textrm{dsd}} (n)$ be the number of partitions of $n$ into distinct squarefree divisors of $n$. In this note, we find a lower bound for $p_{\textrm{dsd}} (n)$, as well as a sequence of $n$ for which $p_{\textrm{dsd}} (n)$ is unusually large. △ Less

Submitted 12 February, 2024; originally announced February 2024.

Comments: 8 pages

Non-standard binary representations and the Stern sequence

Authors: Katie Anders, Madeline Locus Dawsey, Rajat Gupta, Joseph Vandehey

Abstract: We show that the number of short binary signed-digit representations of an integer $n$ is equal to the $n$-th term in the Stern sequence. Various proofs are provided, including direct, bijective, and generating function proofs. We also show that this result can be derived from recent work of Monroe on binary signed-digit representations of a fixed length. We show that the number of short binary signed-digit representations of an integer $n$ is equal to the $n$-th term in the Stern sequence. Various proofs are provided, including direct, bijective, and generating function proofs. We also show that this result can be derived from recent work of Monroe on binary signed-digit representations of a fixed length. △ Less

Submitted 14 August, 2023; originally announced August 2023.

MSC Class: 11A63

Serendipitous decompositions of higher-dimensional continued fractions

Authors: Anton Lukyanenko, Joseph Vandehey

Abstract: We prove a suite of dynamical results, including exactness of the transformation and piecewise-analyticity of the invariant measure, for a family of continued fraction systems, including specific examples over reals, complex numbers, quaternions, octonions, and in $R^3$. Our methods expand on the work of Nakada and Hensley, and in particular fill some gaps in Hensley's analysis of Hurwitz complex… ▽ More We prove a suite of dynamical results, including exactness of the transformation and piecewise-analyticity of the invariant measure, for a family of continued fraction systems, including specific examples over reals, complex numbers, quaternions, octonions, and in $R^3$. Our methods expand on the work of Nakada and Hensley, and in particular fill some gaps in Hensley's analysis of Hurwitz complex continued fractions. We further introduce a new ``serendipity'' condition for a continued fraction algorithm, which controls the long-term behavior of the boundary of the fundamental domain under iteration of the continued fraction map, and which is under reasonable conditions equivalent to the finite range property. We also show that the finite range condition is extremely delicate: perturbations of serendipitous systems by non-quadratic irrationals do not remain serendipitous, and experimental evidence suggests that serendipity may fail even for some rational perturbations. △ Less

Submitted 3 March, 2023; originally announced March 2023.

Comments: 33 pages, 4 figures

MSC Class: 11K50; 37A44; 11R52

Convergence of improper Iwasawa Continued Fractions

Authors: Anton Lukyanenko, Joseph Vandehey

Abstract: We prove the convergence of a wide class of continued fractions, including generalized continued fractions over quaternions and octonions. Fractional points in these systems are not bounded away from the unit sphere, so that the iteration map is not uniformly expanding. We bypass this problem by analyzing digit sequences for points that converge to the unit sphere under iteration, expanding on pre… ▽ More We prove the convergence of a wide class of continued fractions, including generalized continued fractions over quaternions and octonions. Fractional points in these systems are not bounded away from the unit sphere, so that the iteration map is not uniformly expanding. We bypass this problem by analyzing digit sequences for points that converge to the unit sphere under iteration, expanding on previous methods of Dani-Nogueira. △ Less

Submitted 25 May, 2022; originally announced May 2022.

Comments: 23 pages, 3 figures

MSC Class: 11K50; 11R52; 53C17

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)

Deterministic functions on amenable semigroups and a generalization of the Kamae-Weiss theorem on normality preservation

Authors: Vitaly Bergelson, Tomasz Downarowicz, Joseph Vandehey

Abstract: A classical Kamae-Weiss theorem states that an increasing sequence $(n_i)_{i\in\mathbb N}$ of positive lower density is \emph{normality preserving}, i.e. has the property that for any normal binary sequence $(b_n)_{n\in\mathbb N}$, the sequence $(b_{n_i})_{i\in\mathbb N}$ is normal, if and only if $(n_i)_{i\in\mathbb N}$ is a deterministic sequence. Given a countable cancellative amenable semigrou… ▽ More A classical Kamae-Weiss theorem states that an increasing sequence $(n_i)_{i\in\mathbb N}$ of positive lower density is \emph{normality preserving}, i.e. has the property that for any normal binary sequence $(b_n)_{n\in\mathbb N}$, the sequence $(b_{n_i})_{i\in\mathbb N}$ is normal, if and only if $(n_i)_{i\in\mathbb N}$ is a deterministic sequence. Given a countable cancellative amenable semigroup $G$, and a Følner sequence $\mathcal F=(F_n)_{n\in\mathbb N}$ in $G$, we introduce the notions of normality preservation, determinism and subexponential complexity for subsets of $G$ with respect to $\mathcal F$, and show that for sets of positive lower $\mathcal F$-density these three notions are equivalent. The proof utilizes the apparatus of the theory of tilings of amenable groups and the notion of tile-entropy. We also prove that under a natural assumption on $\mathcal F$, positive lower $\mathcal F$-density follows from normality preservation. Finally, we provide numerous examples of normality preserving sets in various semigroups △ Less

Submitted 6 April, 2020; originally announced April 2020.

Comments: 58 pages, 0 figures

MSC Class: 37B05; 37C85; 37B10

Preservation of normality by non-oblivious group selection

Authors: Olivier Carton, Joseph Vandehey

Abstract: We give two different proofs of the fact that non-oblivious selection via regular group sets preserves normality. Non-oblivious here means that whether or not a symbol is selected can depend on the symbol itself. One proof relies on the incompressibility of normal sequences, the other on the use of augmented dynamical systems. We give two different proofs of the fact that non-oblivious selection via regular group sets preserves normality. Non-oblivious here means that whether or not a symbol is selected can depend on the symbol itself. One proof relies on the incompressibility of normal sequences, the other on the use of augmented dynamical systems. △ Less

Submitted 2 May, 2019; originally announced May 2019.

Calculations of the invariant measure for Hurwitz Continued Fractions

Authors: Ghaith Hiary, Joseph Vandehey

Abstract: We study the density of the invariant measure of the Hurwitz complex continued fraction from a computational perspective. It is known that this density is piece-wise real-analytic and so we provide a method for calculating the Taylor coefficients around certain points and also the results of our calculations. While our method does not find a simple "closed form" for the density of the invariant me… ▽ More We study the density of the invariant measure of the Hurwitz complex continued fraction from a computational perspective. It is known that this density is piece-wise real-analytic and so we provide a method for calculating the Taylor coefficients around certain points and also the results of our calculations. While our method does not find a simple "closed form" for the density of the invariant measure (if one even exists), our work leads us to some new conjectures about the behavior of the density at certain points. In addition to this, we detail all admissible strings of digits in the Hurwitz expansion. This may be of independent interest. △ Less

Submitted 2 June, 2018; v1 submitted 25 May, 2018; originally announced May 2018.

MSC Class: 37M25; 11Y65; 11K50

Ergodicity of Iwasawa continued fractions via markable hyperbolic geodesics

Authors: Anton Lukyanenko, Joseph Vandehey

Abstract: We prove the convergence and ergodicity of a wide class of real and higher-dimensional continued fraction algorithms, including folded and $α$-type variants of complex, quaternionic, octonionic, and Heisenberg continued fractions, which we combine under the framework of Iwasawa continued fractions. The proof is based on the interplay of continued fractions and hyperbolic geometry, the ergodicity o… ▽ More We prove the convergence and ergodicity of a wide class of real and higher-dimensional continued fraction algorithms, including folded and $α$-type variants of complex, quaternionic, octonionic, and Heisenberg continued fractions, which we combine under the framework of Iwasawa continued fractions. The proof is based on the interplay of continued fractions and hyperbolic geometry, the ergodicity of geodesic flow in associated modular manifolds, and a variation on the notion of geodesic coding that we refer to as geodesic marking. As a corollary of our study of markable geodesics, we obtain a generalization of Serret's tail-equivalence theorem for almost all points. The results are new even in the case of complex continued fractions. △ Less

Submitted 8 February, 2022; v1 submitted 23 May, 2018; originally announced May 2018.

Comments: Expanded introduction. To appear in ETDS

MSC Class: 37D40 11K50 37A45

Towards a sharp converse of Wall's theorem on arithmetic progressions

Authors: Joseph Vandehey

Abstract: Wall's theorem on arithmetic progressions says that if $0.a_1a_2a_3\dots$ is normal, then for any $k,\ell\in \mathbb{N}$, $0.a_ka_{k+\ell}a_{k+2\ell}\dots$ is also normal. We examine a converse statement and show that if $0.a_{n_1}a_{n_2}a_{n_3}\dots$ is normal for periodic increasing sequences $n_1<n_2<n_3<\dots$ of asymptotic density arbitrarily close to $1$, then $0.a_1a_2a_3\dots$ is normal. W… ▽ More Wall's theorem on arithmetic progressions says that if $0.a_1a_2a_3\dots$ is normal, then for any $k,\ell\in \mathbb{N}$, $0.a_ka_{k+\ell}a_{k+2\ell}\dots$ is also normal. We examine a converse statement and show that if $0.a_{n_1}a_{n_2}a_{n_3}\dots$ is normal for periodic increasing sequences $n_1<n_2<n_3<\dots$ of asymptotic density arbitrarily close to $1$, then $0.a_1a_2a_3\dots$ is normal. We show this is close to sharp in the sense that there are numbers $0.a_1a_2a_3\dots$ that are not normal, but for which $0.a_{n_1}a_{n_2}a_{n_3}\dots$ is normal along a large collection of sequences whose density is bounded a little away from $1$. △ Less

Submitted 19 November, 2017; originally announced November 2017.

Journal ref: Pacific J. Math. 300 (2019) 499-509

On the binary digits of $\sqrt{2}$

Authors: Joseph Vandehey

Abstract: We show that the number of $1$'s in the first $N$ digits of the binary expansion of $\sqrt{2}$ is at least $\sqrt{2N}(1+o(1))$ and show that this bound can be improved to around $2\sqrt{N}/\sqrt{2\sqrt{2}-1}$ infinitely often. We show that the number of $1$'s in the first $N$ digits of the binary expansion of $\sqrt{2}$ is at least $\sqrt{2N}(1+o(1))$ and show that this bound can be improved to around $2\sqrt{N}/\sqrt{2\sqrt{2}-1}$ infinitely often. △ Less

Submitted 5 November, 2017; originally announced November 2017.

Uncanny subsequence selections that generate normal numbers

Authors: Joseph Vandehey

Abstract: Given a real number $0.a_1a_2 a_3\dots$ that is normal to base $b$, we examine increasing sequences $n_i$ so that the number $0.a_{n_1}a_{n_2}a_{n_3}\dots$ are normal to base $b$. Classically it is known that if the $n_i$ form an arithmetic progression then this will work. We give several more constructions, including $n_i$ that are recursively defined based on the digits $a_i$. Of particular in… ▽ More Given a real number $0.a_1a_2 a_3\dots$ that is normal to base $b$, we examine increasing sequences $n_i$ so that the number $0.a_{n_1}a_{n_2}a_{n_3}\dots$ are normal to base $b$. Classically it is known that if the $n_i$ form an arithmetic progression then this will work. We give several more constructions, including $n_i$ that are recursively defined based on the digits $a_i$. Of particular interest, we show that if a number is normal to base $b$, then removing all the digits from its expansion which equal $(b-1)$ leaves a base-$(b-1)$ expansion that is normal to base $(b-1)$. △ Less

Submitted 12 July, 2016; originally announced July 2016.

MSC Class: 11K16

Differencing Methods for Korobov-type exponential sums

Authors: Joseph Vandehey

Abstract: We study exponential sums of the form $\sum_{n=1}^N e^{2πi a b^n/m}$ for non-zero integers $a,b,m$. Classically, non-trivial bounds were known for $N\ge \sqrt{m}$ by Korobov, and this range has been extended significantly by Bourgain as a result of his and others' work on the sum-product phenomenon. We use a new technique, similar to the Weyl-van der Corput method of differencing, to give more exp… ▽ More We study exponential sums of the form $\sum_{n=1}^N e^{2πi a b^n/m}$ for non-zero integers $a,b,m$. Classically, non-trivial bounds were known for $N\ge \sqrt{m}$ by Korobov, and this range has been extended significantly by Bourgain as a result of his and others' work on the sum-product phenomenon. We use a new technique, similar to the Weyl-van der Corput method of differencing, to give more explicit bounds bounds that become non-trivial around the time when $\exp(\log m/\log_2\log m) \le N$. We include applications to the digits of rational numbers and constructions of normal numbers. △ Less

Submitted 25 June, 2016; originally announced June 2016.

MSC Class: 11L07; 11A63; 11K16

Absolutely abnormal, continued fraction normal numbers

Authors: Joseph Vandehey

Abstract: In this short note, we give a proof, conditional on the Generalized Riemann Hypothesis, that there exist numbers x which are normal with respect to the continued fraction expansion but not to any base b expansion. This partially answers a question of Bugeaud. In this short note, we give a proof, conditional on the Generalized Riemann Hypothesis, that there exist numbers x which are normal with respect to the continued fraction expansion but not to any base b expansion. This partially answers a question of Bugeaud. △ Less

Submitted 1 December, 2015; originally announced December 2015.

MSC Class: 11K16

Intrinsic Diophantine approximation in Carnot groups and in the Siegel model of the Heisenberg group

Authors: Anton Lukyanenko, Joseph Vandehey

Abstract: We initiate the study of an intrinsic notion of Diophantine approximation on a rational Carnot group $G$. If $G$ has Hausdorff dimension $Q$, we show that its Diophantine exponent is equal to $(Q+1)/Q$, generalizing the case $G=\mathbb R^n$. We furthermore obtain a precise asymptotic on the count of rational approximations. We then focus on the case of the Heisenberg group $\mathbb H^n$, disting… ▽ More We initiate the study of an intrinsic notion of Diophantine approximation on a rational Carnot group $G$. If $G$ has Hausdorff dimension $Q$, we show that its Diophantine exponent is equal to $(Q+1)/Q$, generalizing the case $G=\mathbb R^n$. We furthermore obtain a precise asymptotic on the count of rational approximations. We then focus on the case of the Heisenberg group $\mathbb H^n$, distinguishing between two notions of Diophantine approximation by rational points in $\mathbb H^n$: Carnot Diophantine approximation and Siegel Diophantine approximation. After computing the Siegel Diophantine exponent (surprisingly, equal to 1 for all $\mathbb H^n$), we consider Siegel-badly approximable points to show that Siegel approximation is linked to both Heisenberg continued fractions and to geodesics in complex hyperbolic space. We conclude by showing that Carnot and Siegel approximation are qualitatively different: Siegel-badly approximable points are Schmidt winning in any complete Ahlfors regular subset of $\mathbb H^n$, while the set of Carnot-badly approximable points does not have this property. △ Less

Submitted 20 October, 2015; originally announced October 2015.

Comments: 42 pages

MSC Class: Primary 11J83; Secondary 22E25; 11J70; 53C17

Continued fraction normality is not preserved along arithmetic progressions

Authors: Byron Heersink, Joseph Vandehey

Abstract: It is well known that if $0.a_1a_2a_3\dots$ is the base-$b$ expansion of a number normal to base-$b$, then the numbers $0.a_ka_{m+k}a_{2m+k}\dots$ for $m\ge 2$, $k\ge 1$ are all normal to base-$b$ as well. In contrast, given a continued fraction expansion $\langle a_1,a_2,a_3,\dots\rangle$ that is normal (now with respect to the continued fraction expansion), we show that for any integers… ▽ More It is well known that if $0.a_1a_2a_3\dots$ is the base-$b$ expansion of a number normal to base-$b$, then the numbers $0.a_ka_{m+k}a_{2m+k}\dots$ for $m\ge 2$, $k\ge 1$ are all normal to base-$b$ as well. In contrast, given a continued fraction expansion $\langle a_1,a_2,a_3,\dots\rangle$ that is normal (now with respect to the continued fraction expansion), we show that for any integers $m\ge 2$, $k\ge 1$, the continued fraction $\langle a_k, a_{m+k},a_{2m+k},a_{3m+k},\dots\rangle$ will never be normal. △ Less

Submitted 18 September, 2015; originally announced September 2015.

MSC Class: 11K16; 11K50; 37A30

New normality constructions for continued fraction expansions

Authors: Joseph Vandehey

Abstract: Adler, Keane, and Smorodinsky showed that if one concatenates the finite continued fraction expansions of the sequence of rationals \[ \frac{1}{2}, \frac{1}{3}, \frac{2}{3}, \frac{1}{4}, \frac{2}{4}, \frac{3}{4}, \frac{1}{5}, \cdots \] into an infinite continued fraction expansion, then this new number is normal with respect to the continued fraction expansion. We show a variety of new constructio… ▽ More Adler, Keane, and Smorodinsky showed that if one concatenates the finite continued fraction expansions of the sequence of rationals \[ \frac{1}{2}, \frac{1}{3}, \frac{2}{3}, \frac{1}{4}, \frac{2}{4}, \frac{3}{4}, \frac{1}{5}, \cdots \] into an infinite continued fraction expansion, then this new number is normal with respect to the continued fraction expansion. We show a variety of new constructions of continued fraction normal numbers, including one generated by the subsequence of rationals with prime numerators and denominators: \[ \frac{2}{3}, \frac{2}{5}, \frac{3}{5}, \frac{2}{7}, \frac{3}{7}, \frac{5}{7},\cdots. \] △ Less

Submitted 1 July, 2015; originally announced July 2015.

MSC Class: 11K16; 11K50

Non-trivial matrix actions preserve normality for continued fractions

Authors: Joseph Vandehey

Abstract: A seminal result due to Wall states that if $x$ is normal to a given base $b$ then so is $rx+s$ for any rational numbers $r,s$ with $r\neq 0$. We show that a stronger result is true for normality with respect to the continued fraction expansion. In particular, suppose $a,b,c,d\in \mathbb{Z}$ with $ad-bc\neq 0$. Then if $x$ is continued fraction normal, so is $(ax+b)/(cx+d)$. A seminal result due to Wall states that if $x$ is normal to a given base $b$ then so is $rx+s$ for any rational numbers $r,s$ with $r\neq 0$. We show that a stronger result is true for normality with respect to the continued fraction expansion. In particular, suppose $a,b,c,d\in \mathbb{Z}$ with $ad-bc\neq 0$. Then if $x$ is continued fraction normal, so is $(ax+b)/(cx+d)$. △ Less

Submitted 20 April, 2015; originally announced April 2015.

MSC Class: 11K16; 11K50

Journal ref: Compositio Math. 153 (2017) 274-293

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

Lagrange's Theorem for continued fractions on the Heisenberg group

Authors: Joseph Vandehey

Abstract: We prove an analog of Lagrange's Theorem for continued fractions on the Heisenberg group: points with an eventually periodic continued fraction expansion are those that satisfy a particular type of quadratic form, and vice-versa. We prove an analog of Lagrange's Theorem for continued fractions on the Heisenberg group: points with an eventually periodic continued fraction expansion are those that satisfy a particular type of quadratic form, and vice-versa. △ Less

Submitted 1 September, 2014; originally announced September 2014.

MSC Class: 11A55

On the joint normality of certain digit expansions

Authors: Joseph Vandehey

Abstract: We prove that a point $x$ is normal with respect to an ergodic, number-theoretic transformation $T$ if and only if $x$ is normal with respect to $T^n$ for any $n\ge 1$. This corrects an erroneous proof of Schweiger. Then, using some insights from Schweiger's original proof, we extend these results, showing for example that a number is normal with respect to the regular continued fraction expansion… ▽ More We prove that a point $x$ is normal with respect to an ergodic, number-theoretic transformation $T$ if and only if $x$ is normal with respect to $T^n$ for any $n\ge 1$. This corrects an erroneous proof of Schweiger. Then, using some insights from Schweiger's original proof, we extend these results, showing for example that a number is normal with respect to the regular continued fraction expansion if and only if it is normal with respect to the odd continued fraction expansion. △ Less

Submitted 2 August, 2014; originally announced August 2014.

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

Besicovitch, Bisection, and the normality of $0.(1)(4)(9)(16)(25)\dots$

Authors: Paul Pollack, Joseph Vandehey

Abstract: We revisit Besicovitch's 1935 paper in which he introduced several techniques that have become essential elements of modern combinatorial methods of normality proofs. Despite his paper's influence, the results he inspired are not strong enough to reprove his original result. We provide a new proof of the normality of the constant $0.(1)(4)(9)(16)(25)\dots$ formed by concatenating the squares, upda… ▽ More We revisit Besicovitch's 1935 paper in which he introduced several techniques that have become essential elements of modern combinatorial methods of normality proofs. Despite his paper's influence, the results he inspired are not strong enough to reprove his original result. We provide a new proof of the normality of the constant $0.(1)(4)(9)(16)(25)\dots$ formed by concatenating the squares, updating Besicovitch's methods. △ Less

Submitted 24 May, 2014; originally announced May 2014.

A simpler normal number construction for simple Luroth series

Authors: Joseph Vandehey

Abstract: Champernowne famously proved that the number $0.(1)(2)(3)(4)(5)(6)(7)(8)(9)(10)(11)(12)...$ formed by concatenating all the integers one after another is normal base 10. We give a generalization of Champernowne's construction to various other digit systems, including generalized Lüroth series with a finite number of digits. For these systems, our construction simplifies a recent construction given… ▽ More Champernowne famously proved that the number $0.(1)(2)(3)(4)(5)(6)(7)(8)(9)(10)(11)(12)...$ formed by concatenating all the integers one after another is normal base 10. We give a generalization of Champernowne's construction to various other digit systems, including generalized Lüroth series with a finite number of digits. For these systems, our construction simplifies a recent construction given by Madritsch and Mance. Along the way we give an estimation of the sum of multinomial coefficients above a tilted hyperplane in Pascal's simplex, which may be of general interest. △ Less

Submitted 19 November, 2013; originally announced November 2013.

MSC Class: 11K16

Some normal numbers generated by arithmetic functions

Authors: Paul Pollack, Joseph Vandehey

Abstract: Let $g \geq 2$. A real number is said to be g-normal if its base g expansion contains every finite sequence of digits with the expected limiting frequency. Let φdenote Euler's totient function, let σbe the sum-of-divisors function, and let λbe Carmichael's lambda-function. We show that if f is any function formed by composing φ, σ, or λ, then the number \[ 0. f(1) f(2) f(3) \dots \] obtained by co… ▽ More Let $g \geq 2$. A real number is said to be g-normal if its base g expansion contains every finite sequence of digits with the expected limiting frequency. Let φdenote Euler's totient function, let σbe the sum-of-divisors function, and let λbe Carmichael's lambda-function. We show that if f is any function formed by composing φ, σ, or λ, then the number \[ 0. f(1) f(2) f(3) \dots \] obtained by concatenating the base g digits of successive f-values is g-normal. We also prove the same result if the inputs 1, 2, 3, \dots are replaced with the primes 2, 3, 5, \dots. The proof is an adaptation of a method introduced by Copeland and Erdos in 1946 to prove the 10-normality of 0.235711131719\ldots. △ Less

Submitted 27 September, 2013; originally announced September 2013.

MSC Class: 11K16

Journal ref: Can. Math. Bull. 58 (2015) 160-173

Diophantine properties of continued fractions on the Heisenberg group

Authors: Joseph Vandehey

Abstract: We provide several results on the diophantine properties of continued fractions on the Heisenberg group, many of which are analogous to classical results for real continued fractions. In particular, we show an analog of Khinchin's theorem and that convergents are also best approximants up to a constant factor of the denominator. We provide several results on the diophantine properties of continued fractions on the Heisenberg group, many of which are analogous to classical results for real continued fractions. In particular, we show an analog of Khinchin's theorem and that convergents are also best approximants up to a constant factor of the denominator. △ Less

Submitted 11 August, 2014; v1 submitted 19 September, 2013; originally announced September 2013.

Comments: 14 pages

MSC Class: 11J70; 11A55

Continued fractions on the Heisenberg group

Authors: Anton Lukyanenko, Joseph Vandehey

Abstract: We provide a generalization of continued fractions to the Heisenberg group. We prove an explicit estimate on the rate of convergence of the infinite continued fraction and several surprising analogs of classical formulas about continued fractions. We then discuss dynamical properties of the associated Gauss map, comparing them with base-$b$ expansions on the Heisenberg group and continued fraction… ▽ More We provide a generalization of continued fractions to the Heisenberg group. We prove an explicit estimate on the rate of convergence of the infinite continued fraction and several surprising analogs of classical formulas about continued fractions. We then discuss dynamical properties of the associated Gauss map, comparing them with base-$b$ expansions on the Heisenberg group and continued fractions on the complex plane. △ Less

Submitted 21 May, 2013; v1 submitted 25 February, 2013; originally announced February 2013.

Comments: Version 2 introduces significant changes to the text, especially Section 4 on the dynamical properties of the Heisenberg Gauss map

MSC Class: Primary: 22E40; 11J70. Secondary: 53C17

Journal ref: Acta Arith. 167 (2015), no. 1, 19-42

The normality of digits in almost constant additive functions

Authors: Joseph Vandehey

Abstract: We consider numbers formed by concatenating some of the base b digits from additive functions f(n) that closely resemble the prime counting function Ω(n). If we concatenate the last \lceil y \frac{\log \log \log n}{\log b} \rceil digits of each f(n) in succession, then the number so created will be normal if and only if 0 < y \le 1/2. This provides insight into the randomness of digit patterns o… ▽ More We consider numbers formed by concatenating some of the base b digits from additive functions f(n) that closely resemble the prime counting function Ω(n). If we concatenate the last \lceil y \frac{\log \log \log n}{\log b} \rceil digits of each f(n) in succession, then the number so created will be normal if and only if 0 < y \le 1/2. This provides insight into the randomness of digit patterns of additive function after the Erdos-Kac theorem becomes ineffective. △ Less

Submitted 5 June, 2012; originally announced June 2012.

MSC Class: 11K16

On an incomplete argument of Erdos on the irrationality of Lambert series

Authors: Joseph Vandehey

Abstract: We show that the Lambert series $f(x)=\sum d(n) x^n$ is irrational at $x=1/b$ for negative integers $b < -1$ using an elementary proof that finishes an incomplete proof of Erdos. We show that the Lambert series $f(x)=\sum d(n) x^n$ is irrational at $x=1/b$ for negative integers $b < -1$ using an elementary proof that finishes an incomplete proof of Erdos. △ Less

Submitted 1 June, 2012; originally announced June 2012.

MSC Class: 11J72

Error term improvements for van der Corput transforms

Authors: Joseph Vandehey

Abstract: We improve the error term in the van der Corput transform for exponential sums \sum_{a \le n \le b} g(n) exp(2πi f(n)). For many functions g and f, we can extract the next term in the asymptotic, showing that previous results, such as those of Karatsuba and Korolev, are sharp. Of particular note, the methods of this paper avoid the use of the truncated Poisson formula, and thus can be applied… ▽ More We improve the error term in the van der Corput transform for exponential sums \sum_{a \le n \le b} g(n) exp(2πi f(n)). For many functions g and f, we can extract the next term in the asymptotic, showing that previous results, such as those of Karatsuba and Korolev, are sharp. Of particular note, the methods of this paper avoid the use of the truncated Poisson formula, and thus can be applied to much longer intervals [a,b] with far better results. We provide a detailed analysis of the error term in the case g(x)=1 and f(x)=(x/3)^{3/2}. △ Less

Submitted 1 May, 2012; originally announced May 2012.

Comments: 72 pages, 10 figures

MSC Class: Primary: 11L03; 11L07

On Multiplicative Functions with Bounded Partial Sums

Authors: Joseph Vandehey

Abstract: Consider a multiplicative function f(n) taking values on the unit circle. Is it possible that the partial sums of this function are bounded? We show that if we weaken the notion of multiplicativity so that f(pn)=f(p)f(n) for all primes p in some finite set P, then the answer is yes. We also discuss a result of Bronstein that shows that functions modified from characters at a finite number of place… ▽ More Consider a multiplicative function f(n) taking values on the unit circle. Is it possible that the partial sums of this function are bounded? We show that if we weaken the notion of multiplicativity so that f(pn)=f(p)f(n) for all primes p in some finite set P, then the answer is yes. We also discuss a result of Bronstein that shows that functions modified from characters at a finite number of places. △ Less

Submitted 6 August, 2011; originally announced August 2011.

MSC Class: 11N37

Squares in Polynomial Product Sequences

Authors: Paul Spiegelhalter, Joseph Vandehey

Abstract: Let F(n) be a polynomial of degree at least 2 with integer coefficients. We consider the products N_x=\prod_{1 \le n \le x} F(n) and show that N_x should only rarely be a perfect power. In particular, the number of x \le X for which N_x is a perfect power is O(X^c) for some explicit c<1. For certain F(n) we also prove that for only finitely many x will N_x be squarefull and, in the case of monic i… ▽ More Let F(n) be a polynomial of degree at least 2 with integer coefficients. We consider the products N_x=\prod_{1 \le n \le x} F(n) and show that N_x should only rarely be a perfect power. In particular, the number of x \le X for which N_x is a perfect power is O(X^c) for some explicit c<1. For certain F(n) we also prove that for only finitely many x will N_x be squarefull and, in the case of monic irreducible quadratic F(n), provide an explicit bound on the largest x for which N_x is squarefull. △ Less

Submitted 8 July, 2011; originally announced July 2011.

MSC Class: 11A51; 11C08

On certain statistical properties of continued fractions with even and with odd partial quotients

Authors: Florin P. Boca, Joseph Vandehey

Abstract: We prove results concerning the joint limiting distribution of the renewal time of denominators and consecutive digits of random irrational numbers in the case of continued fractions with even partial quotients, with odd partial quotients, and for Nakada's α-expansions. We prove results concerning the joint limiting distribution of the renewal time of denominators and consecutive digits of random irrational numbers in the case of continued fractions with even partial quotients, with odd partial quotients, and for Nakada's α-expansions. △ Less

Submitted 28 December, 2012; v1 submitted 17 August, 2010; originally announced August 2010.

Comments: Final version

MSC Class: 11A55; 11K50; 37A45

Containment in (s,t)-core Partitions

Authors: Joseph Vandehey

Abstract: We introduce the idea of (s,t)-closure and delta-sets and show that (s,t)-closed beta-sets which are contained set-wise in (s,t)-closed delta-sets are also contained partition-wise. This implies the maximal (s,t)-core partition theorem of Olsson and Stanton. Along the way, we reprove the (s,s+1)-core case, originally proved by Olsson and Stanton, using new techniques, and several lemmas and prop… ▽ More We introduce the idea of (s,t)-closure and delta-sets and show that (s,t)-closed beta-sets which are contained set-wise in (s,t)-closed delta-sets are also contained partition-wise. This implies the maximal (s,t)-core partition theorem of Olsson and Stanton. Along the way, we reprove the (s,s+1)-core case, originally proved by Olsson and Stanton, using new techniques, and several lemmas and propositions regarding the containment of partitions are presented as well. Finally, we study how these apply to partitions which are T-core. △ Less

Submitted 12 September, 2008; originally announced September 2008.

Comments: 75 pages, originally an undergraduate thesis titled "A Complete Theory of (s,t)-core Partitions"

MSC Class: 05A17