English
Related papers

Related papers: Multiple Recurrence and Algorithmic Randomness

200 papers

We study algorithmic randomness notions via effective versions of almost-everywhere theorems from analysis and ergodic theory. The effectivization is in terms of objects described by a computably enumerable set, such as lower semicomputable…

Logic · Mathematics 2016-03-22 Kenshi Miyabe , André Nies , Jing Zhang

We establish multiple recurrence and convergence results for pairs of zero entropy measure preserving transformations that do not satisfy any commutativity assumptions. Our results cover the case where the iterates of the two…

Dynamical Systems · Mathematics 2023-01-12 Nikos Frantzikinakis , Bernard Host

We characterize the points that satisfy Birkhoff's ergodic theorem under certain computability conditions in terms of algorithmic randomness. First, we use the method of cutting and stacking to show that if an element x of the Cantor space…

Logic · Mathematics 2012-06-14 Johanna N. Y. Franklin , Henry Towsner

Within the last fifteen years, a program of establishing relationships between algorithmic randomness and almost-everywhere theorems in analysis and ergodic theory has developed. In harmonic analysis, Franklin, McNicholl, and Rute…

Logic · Mathematics 2026-01-07 Johanna N. Y. Franklin , Lucas E. Rodriguez , Diego A. Rojas

The paper considers quantitative versions of different randomness notions: algorithmic test measures the amount of non-randomness (and is infinite for non-random sequences). We start with computable measures on Cantor space (and Martin-Lof…

Logic · Mathematics 2011-05-27 Laurent Bienvenu , Peter Gacs , Mathieu Hoyrup , Cristobal Rojas , Alexander Shen

Given a sequence of subsets A_n of {0,...,n-1}, the Furstenberg correspondence principle provides a shift-invariant measure on Cantor space that encodes combinatorial information about infinitely many of the A_n's. Here it is shown that…

Combinatorics · Mathematics 2012-02-03 Jeremy Avigad

We show any subset $A\subset\mathbb{N}$ with positive upper Banach density contains the pattern $\{m,m+[n\alpha],\dots,m+k[n\alpha]\}$, for some $m\in\mathbb{N}$ and $n=p-1$ for some prime $p$, where…

Dynamical Systems · Mathematics 2015-07-08 Wenbo Sun

The main goal of the paper is to prove convergence in norm and pointwise almost everywhere on $L^p$, $p\in (1,\infty)$, for certain multiparameter polynomial ergodic averages in the spirit of Dunford and Zygmund for continuous flows. We…

Dynamical Systems · Mathematics 2026-02-10 Dariusz Kosz , Bartosz Langowski , Mariusz Mirek , Paweł Plewa

We study the long-term behavior of the iteration of a random map consisting of Lipschitz transformations on a compact metric space, independently and randomly selected according to a fixed probability measure. Such a random map is said to…

Dynamical Systems · Mathematics 2025-05-06 Pablo G. Barrientos , Dominique Malicet

It is a well known general principle that the Fourier transform of a random measure is small, except at the zero frequency, in various senses for appropriate notions of randomness. In this note we develop analogues of this principle for two…

Classical Analysis and ODEs · Mathematics 2011-08-30 Michael Christ

We investigate quantitative recurrence in systems having an infinite measure. We extend the Ornstein-Weiss theorem for a general class of infinite systems estimating return time in decreasing sequences of cylinders. Then we restrict to a…

Dynamical Systems · Mathematics 2009-11-11 Stefano Galatolo , Dong Han Kim , Kyewon Koh Park

This is a survey of constructive and computable measure theory with an emphasis on the close connections with algorithmic randomness. We give a brief history of constructive measure theory from Brouwer to the present, emphasizing how…

Logic · Mathematics 2019-03-19 Jason Rute

It is known that, for a positive Dunford-Schwartz operator in a noncommutative $L^p-$space, $1\leq p<\infty$ or, more generally, in a noncommutative Orlicz space with order continuous norm, the corresponding ergodic averages converge…

Operator Algebras · Mathematics 2020-04-14 Vladimir Chilin , Semyon Litvinov

The Furstenberg recurrence theorem (or equivalently, Szemer\'edi's theorem) can be formulated in the language of von Neumann algebras as follows: given an integer $k \geq 2$, an abelian finite von Neumann algebra $(\M,\tau)$ with an…

Operator Algebras · Mathematics 2010-07-21 Tim Austin , Tanja Eisner , Terence Tao

The aim of our paper is to formulate and solve problems concerning multitime multiple recurrence equations. We discuss in detail the generic properties and the existence and uniqueness of solutions. Among the general things, we discuss in…

Dynamical Systems · Mathematics 2015-06-09 Cristian Ghiu , Raluca Tuliga , Constantin Udriste

This paper is a continuation to the study of generalized quasi contractive operators, essentially due to Akhtar et al. [A multi-step implicit iterative process for common fixed points of generalized C^{q}-operators in convex metric spaces,…

Functional Analysis · Mathematics 2018-02-28 Zahid Akhtar , Muhammad Aqeel Ahmad Khan

We establish results with an arithmetic flavor that generalize the polynomial multidimensional Szemeredi theorem and related multiple recurrence and convergence results in ergodic theory. For instance, we show that in all these statements…

Dynamical Systems · Mathematics 2015-11-19 Nikos Frantzikinakis , Bernard Host

We obtain new results pertaining to convergence and recurrence of multiple ergodic averages along functions from a Hardy field. Among other things, we confirm some of the conjectures posed by Frantzikinakis in [Fra10; Fra16] and obtain…

Dynamical Systems · Mathematics 2026-02-10 Vitaly Bergelson , Joel Moreira , Florian K. Richter

In this paper we investigate algorithmic randomness on more general spaces than the Cantor space, namely computable metric spaces. To do this, we first develop a unified framework allowing computations with probability measures. We show…

Information Theory · Computer Science 2008-07-23 Mathieu Hoyrup , Cristobal Rojas

We analyze the pointwise convergence of a sequence of computable elements of L^1(2^omega) in terms of algorithmic randomness. We consider two ways of expressing the dominated convergence theorem and show that, over the base theory RCA_0,…

Logic · Mathematics 2014-01-03 Jeremy Avigad , Edward Dean , Jason Rute
‹ Prev 1 2 3 10 Next ›