Almost sure convergence and bounded entropy
type: Item
instance of: scholarly article
title: Almost sure convergence and bounded entropy
zbMATH Open document ID: 0677.60042
DOI: 10.1007/BF02765022
published in: Israel Journal of Mathematics
publication date: 1988-01-01T00:00:00Z
review text: Let (\({\mathcal X},\mu)\) be a probability space, \(S_ n\) a sequence of operators on \(L^ 2(\mu)\), \(\| S_ n\| \leq 1\), \(T_ j\) a sequence of positive isometric operators satisfying \(T_ j(1)=1\), \(J^{-1}\sum_{j\leq J}T_ jf\to \int f d\mu\) \(\forall f\in L^ 1\) and \(T_ jS_ n=S_ nT_ j\). Using the theory of Gaussian processes it is proved that if \(S_ nf\) converges almost surely for all \(f\in L^ p\), \(p<\infty\) \((p=\infty)\), then there is a uniform entropy estimate: \(\delta (\log N_ f(\delta))^{1/2}<C,\) \(\delta >0\) \((N_ f(\delta)\leq C(\delta))\) for all \(f\in L^ 2\), \(\| f\|_ 2\leq 1\). \(N_ f(\delta)\) denotes the number of \(\delta\)-balls needed for covering \(\{S_ nf\), \(n\in {\mathbb{N}}\}.\) As a consequence one obtains new proofs for Rudin's solution of the Marcinkiewicz-Zygmund problem for Riemann sums [\textit{W. Rudin}, Proc. Am. Math. Soc. 15, 321-324 (1964; Zbl 0132.036)], or Marstrand's negative solution of Khintchine's conjecture. Even a weaker version of Khintchine's problem (considered by Erdős) is disproved. It follows even more generally that for any sequence of decreasing numbers \(\lambda_ j>0\), \(\sum \lambda_ j=\infty\), there is a function \(f\in L^{\infty}({\mathbb{R}}/{\mathbb{Z}})\) such that \((1/\sigma_ n)\sum_{j\leq n}\lambda_ jf(jx)\) does not converge almost surely \((\sigma_ n=\sum_{j\leq n}\lambda_ j).\) As a further application one obtains an affirmative answer to a question of \textit{A. Bellow}, Two problems. Measure theory, Proc. Conf., Oberwolfach 1981, Lect. Notes Math. 945, 429 (1987): Let \((a_ j)\) be any sequence converging to 0 \((a_ n\neq 0\) \(\forall_ j)\). Then there exists \(f\in L^ 1({\mathbb{R}}/{\mathbb{Z}})\) (f can be even choosen to be the characteristic function of a measurable set) such that \(n^{- 1}\sum_{j\leq n}f(x+a_ j)\) does not converge to f almost everywhere.
Mathematics Subject Classification ID: 60G15
Mathematics Subject Classification ID: 22D40
Mathematics Subject Classification ID: 28D20
Mathematics Subject Classification ID: 11K06
Mathematics Subject Classification ID: 40H05
zbMATH DE Number: 4109749
zbMATH Keywords: sequence of positive isometric operators
zbMATH Keywords: Gaussian processes
zbMATH Keywords: Marcinkiewicz-Zygmund problem for Riemann sums
zbMATH Keywords: Khintchine's conjecture
zbMATH Keywords: characteristic function
author: Jean Bourgain
MaRDI profile type: Publication
cites work: Sample functions of the Gaussian process
cites work: On the approximation of Lebesgue integrals by Riemann sums
cites work: Q5809275
cites work: On Khinchin's Conjecture about Strong Uniform Distribution
cites work: An Arithmetic Property of Riemann Sums
cites work: On limits of sequences of operators
Recommended article: Q3473667
Recommended article: Weak entropy inequalities and entropic convergence
Recommended article: Entropy and the approximation of bounded functions and operators
Recommended article: Convergence of Best Entropy Estimates
Recommended article: Entropy estimators with almost sure convergence and an \(\mathcal O(n^{-1})\) variance
Recommended article: Q3840949
Recommended article: Entropy and the approximation of continuous functions
Recommended article: Almost sure convergence on chaoses
Recommended article: Q3210622
description: scientific article; zbMATH DE number 4109749