Rationally almost periodic sequences, polynomial multiple recurrence and symbolic dynamics

preprint2018arXivOpen access

Abstract

A set R⊂NR\subset \mathbb{N} is called rational if it is well-approximable by finite unions of arithmetic progressions. Examples of rational sets include many classical sets of number-theoretical origin such as the set of squarefree numbers, the set of abundant numbers, or sets of the form Φx:={n∈N:φ(n)n<x}Φ_x:=\{n\in\mathbb{N}: \frac{\boldsymbolφ(n)}{n}<x\}, where x∈[0,1]x\in[0,1] and φ\boldsymbolφ is Euler's totient function. We investigate the combinatorial and dynamical properties of rational sets and obtain new results in ergodic Ramsey theory. We show that if RR is a rational set with d‾(R)>0\overline{d}(R)>0, then the following are equivalent: (a) RR is divisible, i.e. d‾(R∩uN)>0\overline{d}(R\cap u \mathbb{N})>0 for all u∈Nu\in\mathbb{N}. (b) RR is an averaging set of polynomial single recurrence. (c) RR is an averaging set of polynomial multiple recurrence. As an application, we show that if RR is rational and divisible, then for any set E⊂NE\subset\mathbb{N} with d‾(E)>0\overline{d}(E)>0 and any polynomials pi∈Q[t]p_i\in\mathbb{Q}[t],i=1,…,ℓi=1,\ldots,\ell, which satisfy pi(Z)⊂Zp_i(\mathbb{Z})\subset\mathbb{Z} and pi(0)=0p_i(0)=0 for all i∈{1,…,ℓ}i\in\{1,\ldots,\ell\}, there exists β>0β>0 such that the set {n∈R:d‾(E∩(E−p1(n))∩…∩(E−pℓ(n)))>β}\{n\in R:\overline{d}( E\cap (E-p_1(n))\cap\ldots\cap(E-p_\ell(n)))>β\} has positive lower density. Ramsey-theoretical applications naturally lead to problems in symbolic dynamics, which involve rationally almost periodic sequences. We prove that if A\mathcal{A} is a finite alphabet, η∈ANη\in\mathcal{A}^\mathbb{N} is rationally almost periodic, SS denotes the left-shift on AZ\mathcal{A}^\mathbb{Z} and X:={y∈AZ:each finite word appearing in y appears in η},X:=\{y\in \mathcal{A}^\mathbb{Z} : \text{each finite word appearing in $y$ appears in }η\}, then ηη is a generic point for an SS-invariant probability measure νν on XX such that (X,ν,S)(X,ν,S) is ergodic and has rational discrete spectrum.

Explore this paper’s authors, topics and related work.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Reviews 0

Write a reviewWrite

No reviews yet.

Discussion 0

Add a commentWrite

No comments yet.