On the distribution of the Cantor-integers
Number Theory
2024-09-09 v3
Abstract
For any positive integer p≥3, let A be a proper subset of {0,1,…,p−1} with ♯A=s≥2. Suppose h:{0,1,…,s−1}→A is a one-to-one map which is strictly increasing with A={h(0),h(1),…,h(s−1)}. We focus on so-called Cantor-integers {an}n≥1, which consist of these positive integers n such that all the digits in the p-ary expansion of n belong to A. Let C={n≥1∑pnεn:εn∈A for any positive integer n} be the appropriate Cantor set, and denote the classic self-similar measure supported on C by μC. Now that nlogsp is the growth order of an and {nlogspan: n≥1}′ is precisely the set {(μC([0,x]))logspx:x∈C∩[ph(1),1]}, where E′ is the set of limit points of E, we show that {nlogspan: n≥1}′ is just an interval [m,M] with m:=inf{nlogspan:n≥1} and M:=sup{nlogspan:n≥1}. In particular, {(μC([0,x]))logspx:x∈C\{0}}=[m,M] if 0∈A, and m=p−1q(s−1)+r,M=p−1q(p−1)+pr if the set A consists of all the integers in {0,1,…,p−1} which have the same remainder r∈{0,1,…,q−1} modulus q for some positive integer q≥2 (i.e. h(x)=qx+r). We further show that the sequence {nlogspan}n≥1 is not uniformly distributed modulo 1, and it does not have the cumulative distribution function, but has the logarithmic distribution function (give by a specific Lebesgue integral).
Cite
@article{arxiv.2209.05119,
title = {On the distribution of the Cantor-integers},
author = {ChunYun Cao and Jie Yu},
journal= {arXiv preprint arXiv:2209.05119},
year = {2024}
}