Papers
Topics
Authors
Recent
Gemini 2.5 Flash
Gemini 2.5 Flash
173 tokens/sec
GPT-4o
7 tokens/sec
Gemini 2.5 Pro Pro
46 tokens/sec
o3 Pro
4 tokens/sec
GPT-4.1 Pro
38 tokens/sec
DeepSeek R1 via Azure Pro
28 tokens/sec
2000 character limit reached

A fresh look at the notion of normality (2004.05058v1)

Published 10 Apr 2020 in math.DS

Abstract: Let $G$ be a countable cancellative amenable semigroup and let $(F_n)$ be a (left) F{\o}lner sequence in $G$. We introduce the notion of an $(F_n)$-normal element of ${0,1}G$. When $G$ = $(\mathbb N,+)$ and $F_n = {1,2,...,n}$, the $(F_n)$-normality coincides with the classical notion. We prove that: $\bullet$ If $(F_n)$ is a F{\o}lner sequence in $G$, such that for every $\alpha\in(0,1)$ we have $\sum_n \alpha{|F_n|}<\infty$, then almost every $x\in{0,1}G$ is $(F_n)$-normal. $\bullet$ For any F{\o}lner sequence $(F_n)$ in $G$, there exists an Cham-per-nowne-like $(F_n)$-normal set. $\bullet$ There is a natural class of "nice" F{\o}lner sequences in $(\mathbb N,\times)$. There exists a Champernowne-like set which is $(F_n)$-normal for every nice F{\o}lner \sq. $\bullet$ Let $A\subset\mathbb N$ be a classical normal set. Then, for any F{\o}lner sequence $(K_n)$ in $(\mathbb N,\times)$ there exists a set $E$ of $(K_n)$-density $1$, such that for any finite subset ${n_1,n_2,\dots,n_k}\subset E$, the intersection $A/{n_1}\cap A/{n_2}\cap\ldots\cap A/{n_k}$ has positive upper density in $(\mathbb N,+)$. As a consequence, $A$ contains arbitrarily long geometric progressions, and, more generally, arbitrarily long "geo-arithmetic" configurations of the form ${a(b+ic)j,0\le i,j\le k}$. $\bullet$ For any F{\o}lner \sq\ $(F_n)$ in $(\mathbb N,+)$ there exist uncountably many $(F_n)$-normal Liouville numbers. $\bullet$ For any nice F{\o}lner sequence $(F_n)$ in $(\mathbb N,\times)$ there exist uncountably many $(F_n)$-normal Liouville numbers.

Summary

We haven't generated a summary for this paper yet.