Related papers: Normal numbers from Steinhaus viewpoint

A distinctive problem of harmonic analysis on $\R$ with respect to a Borel probability measure $\mu$ is identifying all $t\in\R$ such that both \[\left\{e^{-2\pi i\lambda x}: \lambda\in\Lambda\right\}\quad\text{and}\quad \left\{e^{-2\pi…

A subset of a topological space is said to be \emph{universally measurable} if it is measured by the completion of each countably additive $\sigma$-finite Borel measure on the space, and \emph{universally null} if it has measure zero for…

We study the sequences of numbers corresponding to lambda terms of given sizes, where the size is this of lambda terms with de Bruijn indices in a very natural model where all the operators have size 1. For plain lambda terms, the sequence…

Let $(X,o)$ be a complex analytic normal surface singularity and let ${\mathcal O}_{X,o}$ be its local ring. We investigate the normal reduction number of ${\mathcal O}_{X,o}$ and related numerical analytical invariants via resolutions…

We consider the map $T_{\alpha,\beta}(x):= \beta x + \alpha \mod 1$, which admits a unique probability measure of maximal entropy $\mu_{\alpha,\beta}$. For $x \in [0,1]$, we show that the orbit of $x$ is $\mu_{\alpha,\beta}$-normal for…

In 1949 Wall showed that $x = 0.d_1d_2d_3 \dots$ is normal if and only if $(0.d_nd_{n+1}d_{n+2} \dots)_n$ is a uniformly distributed sequence. In this article, we consider sequences which are slight variants on this. In particular, we show…

We apply methods of nonstandard mathematics in order to regard analytic geometry in a very different way. For example, complex spaces are seen to be the "standard part" of certain algebraic nonstandard schemes. We construct a category of…

We reformulate slightly Russell's notion of typicality, so as to eliminate its circularity and make it applicable to elements of any first-order structure. We argue that the notion parallels Martin-L\"{o}f (ML) randomness, in the sense that…

This paper concerns the \textbf{abstract geometry of numbers}: namely the pursuit of certain aspects of geometry of numbers over a suitable class of normed domains. (The standard geometry of numbers is then viewed as geometry of numbers…

Let $N(\sigma,T)$ denote the number of nontrivial zeros of the Riemann zeta function with real part greater than $\sigma$ and imaginary part between $0$ and $T$. We provide explicit upper bounds for $N(\sigma,T)$ commonly referred to as a…

We present the first algorithm for computing class groups and unit groups of arbitrary number fields that provably runs in probabilistic subexponential time, assuming the Extended Riemann Hypothesis (ERH). Previous subexponential algorithms…

Let $\mu$ be a probability measure on $\mathbb{R}/\mathbb{Z}$ that is ergodic under the $\times p$ map, with positive entropy. In 1995, Host showed that if $\gcd(m,p)=1$ then $\mu$ almost every point is normal in base $m$. In 2001,…

Fix a natural $\alpha$. Let $n\ge \alpha$ be an integer. Consider the symmetric group $S_{\alpha+n}$ and its subgroup $S_n$. We consider the group algebra of $S_{\alpha+n}$ and its subalgebra $\mathbb{O}[\alpha;n]$ consisting of…

For a finite, positive, Borel measure $\mu$ on $(0,1)$ we consider an infinite matrix $\Gamma_\mu$, related to the classical Hausdorff matrix defined by the same measure $\mu$, in the same algebraic way that the Hilbert matrix is related to…

Let $A$ be a central simple algebra over a number field $K$ with ring of integers $\mathcal{O}_K$, such that either the degree of the algebra $n \ge 3$, or $n=2$ and $A$ is not a totally definite quaternion algebra. Then strong…

In this paper we present a new mathematical conception based on a new method for ordering the integers. The method relies on the assumption that negative numbers are beyond infinity, which goes back to Wallis and Euler. We also present a…

In the additive topological group $(\mathbb{R},+)$ of real numbers, we construct families of sets for which elements are not measurable in the Lebesgue sense. The constructed families have algebraic structures of being semigroups (i.e.,…

This article gives some properties of intervals in $\mathbb{R}$ and discusses some problems involving intervals for which the concept of outer measure on $\mathbb{R}$ provides a more efficient solution than an elementary approach. The outer…

Let $X \in \{0,\ldots,n \}$ be a random variable, with mean $\mu$ and standard deviation $\sigma$ and let \[f_X(z) = \sum_{k} \mathbb{P}(X = k) z^k, \] be its probability generating function. Pemantle conjectured that if $\sigma$ is large…

In this paper, we show how geometry plays in the study of the Furstenberg conjecture (refer to~\cite{F}). Let $p>1$ and $q>1$ be two relative prime positive integers. We prove that a non-atomic $p$- and $q$-invariant measure having balanced…