Hostname: page-component-74656f9884-c52kr Total loading time: 0 Render date: 2026-11-09T01:57:26.740Z Has data issue: false hasContentIssue false

IP-systems, generalized polynomials and recurrence

Published online by Cambridge University Press:  10 July 2006

VITALY BERGELSON
Affiliation:
Department of Mathematics, The Ohio State University, Columbus, OH 43210, USA (e-mail: vitaly@math.ohio-state.edu)
INGER J. HÅLAND KNUTSON
Affiliation:
Department of Mathematics, Agder University College, N-4604 Kristiansand, Norway (e-mail: inger.j.knutson@hia.no)
RANDALL McCUTCHEON
Affiliation:
Department of Mathematical Sciences, University of Memphis, Memphis, TN 38152, USA (e-mail: rmcctchn@memphis.edu)
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the 'Save PDF' action button.

Let $\Omega$ be an abelian group. A set $R\subset \Omega$ is a set of recurrence if, for any probability measure-preserving system $(X,{\mathcal B},\mu,\{T_g\}_{g\in \Omega})$ and any $A\in {\mathcal A}$ with $\mu(A)>0,\ \mu(A\cap T_g A)>0$ for some $g\in R$. If $(x_i)_{i=1}^\infty$ is a sequence in $\Omega$, the set of its finite sums $\{ x_{i_1}+x_{i_2}+\dotsb + x_{i_k}: i_1<i_2<\dotsb <i_k\}$ is called an IP-set. In Bergelson et al (Erg. Theor. Dyn. Sys.16 (1996), 963–974) it is shown that if $p:{\mathbb Z}^d{\rightarrow} {\mathbb Z}^k$ is a polynomial vanishing at zero and F is an IP-set in ${\mathbb Z}^d$ then $\{ p(n):n\in F\}$ is a set of recurrence in ${\mathbb Z}^k$. Here we extend this result to an analogous family of generalized polynomials, that is functions formed from regular polynomials by iterated use of the greatest integer function, as a consequence of a theorem establishing a much wider class of recurrence sets occurring in any (possibly non-finitely generated) abelian group. While these sets do in a sense have a distinctively ‘polynomial’ nature, this far-ranging class includes, even in ${\mathbb Z}$, such examples as $\big\{\!\sum_{i, j\in \alpha, i<j} 2^i3^j : \alpha\subset \mathbb{N}, 0<|\alpha|<\infty\big\}$, where the connection to conventional polynomials is somewhat distant.

Information

Type
Research Article
Copyright
2006 Cambridge University Press