Ergodic characterization of van der Corput sets (Q420970)

From MaRDI portal

!

This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:

scientific article; zbMATH DE number 6037951
Language Label Description Also known as
default for all languages
No label defined
    English
    Ergodic characterization of van der Corput sets
    scientific article; zbMATH DE number 6037951

      Statements

      Ergodic characterization of van der Corput sets (English)
      0 references
      0 references
      0 references
      0 references
      23 May 2012
      0 references
      A set \(D\subset\mathbb N\) is called intersective if \(A-A\) contains an element of \(D\) for any set \(A\) of positive upper density, and is called a set of Poincaré recurrence if for any positive measure set \(A\) in a measure-preserving dynamical system \((T,\mu)\) there is some \(d\in D\) with \(\mu(A\cap T^{-d}A)>0\). \textit{A. Bertrand-Mathis} [Isr. J. Math. 55, 184--198 (1986; Zbl 0611.10032)] showed that a set is intersective if and only if it is a set of Poincaré recurrence. \textit{T. Kamae} and \textit{M. Mendès France} [Isr. J. Math. 31, 335--342 (1978; Zbl 0396.10040)] introduced the following related notion: a set \(D\) is called van der Corput whenever for any real sequence \((x_n)\), if all the sequences \((x_{n+d}-x_n)\) for \(d\in D\) are uniformly distributed modulo \(1\), then the original sequence \((x_n)\) is also uniformly distributed modulo \(1\). They showed that van der Corput sets are intersective, and \textit{J. Bourgain} [Isr. J. Math. 59, 150--166 (1987; Zbl 0643.10045)] later showed that the converse does not hold. Here it is shown that a set \(D\) is van der Corput if and only if for any Hilbert space \(H\), unitary operator \(U\), and \(x\in H\) with non-zero projection onto the kernel of \((U-I)\), there is some \(d\in D\) such that \((U^dx,x)\neq 0\).
      0 references
      recurrence set
      0 references
      van der Corput set
      0 references
      intersective set
      0 references
      Furstenberg correspondence principle
      0 references

      Identifiers