Related papers: Measures supported on partly normal numbers
Effective versions of strong measure zero sets are developed for various levels of complexity and computability. It is shown that the sets can be equivalently defined using a generalization of supermartingales called odds supermartingales,…
R.D.Mauldin asked if every translation invariant $\sigma$-finite Borel measure on $\RR^d$ is a constant multiple of Lebesgue measure. The aim of this paper is to show that the answer is "yes and no", since surprisingly the answer depends on…
We introduce a multivariate Markov transform which generalizes the well-known one-dimensional Stieltjes transform from the Moment problem and Spectral theory. Our main result states that two measures {\mu} and {\nu} with bounded support…
Despite the fact that almost all real numbers are absolutely normal---that is, the digits in their expansions to any base occur in all possible configurations with the expected frequency---not one specific example of an absolutely normal…
Standard results in descriptive set theory provide sufficient conditions for a Borel set $P \subseteq \mathbb{N}^\mathbb{N} \times \mathbb{N}^\mathbb{N}$ to admit a Borel uniformization, namely, when $P$ has "small" sections or "large"…
In this paper we study the property of normality of a number in base 2. A simple rule that associates a vector to a number is presented and the property of normality is stated for the vector associated to the number. The problem of testing…
We consider equally-weighted Cantor measures $\mu_{q,b}$ arising from iterated function systems of the form ${b^{-1}(x+i)}$, $i=0,1,...,q-1$, where $q<b$. We classify the $(q,b)$ so that they have infinitely many mutually orthogonal…
A metric measure space $(X,\mu)$ is 1-regular if \[0< \lim_{r\to 0} \frac{\mu(B(x,r))}{r}<\infty\] for $\mu$-a.e $x\in X$. We give a complete geometric characterisation of the rectifiable and purely unrectifiable part of a 1-regular measure…
Given an analytic equivalence relation, we tend to wonder whether it is Borel. When it is non Borel, there is always the hope it will be Borel on a "large" set -- nonmeager or of positive measure. That has led Kanovei, Sabok and Zapletal to…
In this paper, we construct a class of random measures $\mu^{\mathbf{n}}$ by infinite convolutions. Given infinitely many admissible pairs $\{(N_{k}, B_{k})\}_{k=1}^{\infty}$ and a positive integral sequence…
In this paper, we consider a problem of counting rational points near self-similar sets. Let $n\geq 1$ be an integer. We shall show that for some self-similar measures on $\mathbb{R}^n$, the set of rational points $\mathbb{Q}^n$ is…
Normal numbers were introduced by Borel and later proven to be a weak notion of algorithmic randomness. We introduce here a natural relativization of normality based on generalized number representation systems. We explore the concepts of…
In this article, we characterize both Lusin's theorem and the existence of Borel representatives via the regularity properties of the measure in general topological measure spaces. As a corollary, we prove that Borel regularity of the…
A classical theorem of Lusin states that all analytic sets are Lebesgue-measurable. In this article we established the reverse mathematical strength of Lusin's theorem, which depends on how precisely it is formalized. By doing so, we answer…
If $\Lambda $ is a measure space, $u:\Lambda ^{m}\rightarrow \Bbb{R}$ is a given function and $N\geq m,$ the function $U(x_{1},...,x_{N})=\left( \begin{array}{l} N \\ m \end{array} \right) ^{-1}\sum_{1\leq i_{1}<\cdots <i_{m}\leq…
The well known binary and decimal representations of the integers, and other similar number systems, admit many generalisations. Here, we investigate whether still every integer could have a finite expansion on a given integer base b, when…
Quantification starts with sum and product rules that express combination and partition. These rules rest on elementary symmetries that have wide applicability, which explains why arithmetical adding up and splitting into proportions are…
We establish necessary and sufficient conditions for a Borel measure to be a Lee-Yang one which means that its Fourier transform possesses only real zeros. Equivalently, we answer a question of P\'olya who asked for a characterisation of…
Early results by Borel and Cantelli and Erd\H{o}s and Chung have provided bounds for the measure of a limsup set in terms of measures of its constituent sets and their intersections. Recent work by Beresnevich and Velani \cite{Velanipaper}…
We introduce a simple sieve-theoretic approach to studying partial sums of multiplicative functions which are close to their mean value. This enables us to obtain various new results as well as strengthen existing results with new proofs.…