Related papers: The upper density of an automatic set is rational

For any set $A$ of natural numbers with positive upper Banach density, we show the existence of an infinite set $B$ and sequences $(t_k)_{k\in \mathbb{N}}, (s_k)_{k\in \mathbb{N}}$ of natural numbers such that $\left\{ \sum_{n \in F}n : F…

Let $\mathcal{P}$ and $\mathbb{N}$ be the sets of all primes and natural numbers, respectively. In this article, it is proved that there has a positive lower density of the natural numbers which can be represented by the form…

Let $K$ be a number field with ring of integers $\mathcal O$. After introducing a suitable notion of density for subsets of $\mathcal O$, generalizing that of natural density for subsets of $\mathbb Z$, we show that the density of the set…

We study the value distribution of the Sudler product $P_N(\alpha) := \prod_{n=1}^{N}\lvert2\sin(\pi n \alpha)\rvert$ for Lebesgue-almost every irrational $\alpha$. We show that for every non-decreasing function $\psi: (0,\infty) \to…

Sequences of numbers (either natural integers, or integers or rational) of level $k \in \mathbb{N}$ have been defined in \cite{Fra05,Fra-Sen06} as the sequences which can be computed by deterministic pushdown automata of level $k$. This…

A word is called $\beta$-free if it has no factors of exponent greater than or equal to $\beta$. The repetition threshold $\mathrm{RT}(k)$ is the infimum of the set of all $\beta$ such that there are arbitrarily long $k$-ary $\beta$-free…

In [arXiv:1006.4939] the enumeration order reducibility is defined on natural numbers. For a c.e. set A, [A] denoted the class of all subsets of natural numbers which are co-order with A. In definition 5 we redefine co-ordering for rational…

In this paper, we study the density of subsets of nonabelian free groups using relative densities of languages. We start by proving some basic properties about the density of a language $L_1$ relative to another language $L_2$ containing…

In spite of the Lebesgue density theorem, there is a positive $\delta$ such that, for every non-trivial measurable set $S$ of real numbers, there is a point at which both the lower densities of $S$ and of the complement of $S$ are at least…

A natural number N is said to be palindromic if its binary representation reads the same forwards and backwards. In this paper we study the quotients of two palindromic numbers and answer some basic questions about the resulting sets of…

The free semigroup $\mathcal{F}$ over a finite alphabet $\mathcal{A}$ is the set of all finite words with letters from $\mathcal{A}$ equipped with the operation of concatenation. A subset $S$ of $\mathcal{F}$ is $k$-product-free if no…

In a previous paper, the author introduced the idea of intrinsic density --- a restriction of asymptotic density to sets whose density is invariant under computable permutation. We prove that sets with well-defined intrinsic density (and…

We show that with high probability a random set of size $\Theta(n^{1-1/k})$ of $\{1,...,n\}$ contains two elements $a$ and $a+d^k$, where $d$ is a positive integer. As a consequence, we prove an analogue of S\'ark\"ozy-F\"urstenberg's…

Let $\alpha_1, \cdots, \alpha_d$ be real numbers, and let $S$ be the set of integers $s$ so that $||\alpha_i s||_{\mathbb{R}/\mathbb{Z}}>\delta$ for some $i$ and some fixed $\delta>0$. We prove $S$ is not \enquote{$2$-large}, i.e. there is…

Given an integer base $b>1$, a set of integers is represented in base $b$ by a language over $\{0,1,...,b-1\}$. The set is said to be $b$-recognisable if its representation is a regular language. It is known that eventually periodic sets…

We study density of rational languages under shift invariant probability measures on spaces of two-sided infinite words, which generalizes the classical notion of density studied in formal languages and automata theory. The density for a…

Let $\mathcal{P}({\bf N})$ be the power set of ${\bf N}$. We say that a function $\mu^\ast: \mathcal{P}({\bf N}) \to \bf R$ is an upper density if, for all $X,Y\subseteq{\bf N}$ and $h, k\in{\bf N}^+$, the following hold: (F1)…

We consider Artin's conjecture on primitive roots over a number field $K$, reducing an algebraic number $\alpha\in K^\times$. Under the Generalised Riemann Hypothesis, there is a density ${\mathrm{dens}}(\alpha)$ counting the proportion of…

An positive even number is said to be a Kronecker number if it can be written in infinitely many ways as the difference between two primes, and it is believed that all even numbers are Kronecker numbers. We will study the division and…

For any set $A$ of natural numbers with positive upper Banach density and any $k\geq 1$, we show the existence of an infinite set $B\subset{\mathbb N}$ and a shift $t\geq0$ such that $A-t$ contains all sums of $m$ distinct elements from $B$…