Related papers: Shrinking targets versus recurrence: the quantitat…

Under a map T, a point x recurs at rate given by a sequence {r_n} near a point x_0 if d(T^n(x),x_0)< r_n infinitely often. Let us fix x_0, and consider the set of those x's. In this paper, we study the size of this set for expanding maps…

Let $(X,d)$ be a compact metric space and $(X,\mathcal{A},\mu,T)$ a measure preserving dynamical system. Furthermore, given a real, positive function $\psi$, let $W(T, \psi)$ and $ R(T,\psi) $ respectively denote the shrinking target set…

For a $\psi$-mixing process $\xi_0,\xi_1,\xi_2,...$ we consider the number $\mathcal{N}_N$ of multiple returns $\{\xi_{q_{i,N}(n)}\in\Gamma_N,\, i=1,...,\ell\}$ to a set $\Gamma_N$ for $n$ until either a fixed number $N$ or until the moment…

Let $(X,T,\mu,d)$ be a metric measure-preserving system. If $B(x,r_n(x))$ is a sequence of balls such that, for each $n$, the measure of $B(x,r_n(x))$ is constant, then we obtain a self-norming CLT for recurrence for systems satisfying a…

We consider the set $\mathcal{R}_\mathrm{io}$ of points returning infinitely many times to a sequence of shrinking targets around themselves. Under additional assumptions we improve Boshernitzan's pioneering result on the speed of…

Consider a system $(X, \mathcal{F}, \mu, T)$, bounded functions $f_1, f_2 \in L^\infty(\mu)$ and $a,b \in \ZZ.$ We show that there exists a set of full measure $X_{f_1, f_2}$ in $X$ such that for all $x \in X_{f_1, f_2}$ and for every…

Let $ T\colon[0,1]^d\to [0,1]^d $ be a piecewise expanding map with an absolutely continuous invariant measure $ \mu $. Let $ \{H_n\} $ be a sequence of hyperrectangles or hyperboloids centered at the origin. Denote by $ \mathcal R(\{H_n\})…

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…

Let $k\in \mathbb{N}$ and $s\geq k(\log k+3.20032)$. Let $\mathbb{N}_{0}^{k}$ be the set of $k$-th powers of nonnegative integers. Assume that $\psi$ is an increasing function tending to infinity with $\psi(x)=o(\log x)$ and satifying some…

Consider a mixing dynamical systems $([0,1], T, \mu)$, for instance a piecewise expanding interval map with a Gibbs measure $\mu$. Given a non-summable sequence $(m_k)$ of non-negative numbers, one may define $r_k (x)$ such that $\mu (B(x,…

In this paper we study the quantitative recurrence properties of self-conformal sets $X$ equipped with the map $T:X\to X$ induced by the left shift. In particular, given a function $\varphi:\mathbb{N}\to(0,\infty),$ we study the metric…

We introduce a data structure for counting pattern occurrences in texts compressed with any run-length context-free grammar. Our structure uses space proportional to the grammar size and counts the occurrences of a pattern of length $m$ in…

We prove tight lower bounds for the following variant of the counting problem considered by Aaronson, Kothari, Kretschmer, and Thaler (2020). The task is to distinguish whether an input set $x\subseteq [n]$ has size either $k$ or…

The average properties of the well-known Subset Sum Problem can be studied by the means of its randomised version, where we are given a target value $z$, random variables $X_1, \ldots, X_n$, and an error parameter $\varepsilon > 0$, and we…

Let $(x_n)_{n=1}^{\infty}$ be a sequence on the torus $\mathbb{T}$ (normalized to length 1). We show that if there exists a sequence of positive real numbers $(t_n)_{n=1}^{\infty}$ converging to 0 such that $$\lim_{N \rightarrow \infty}{…

We give an integrability criterion on a real-valued non-increasing function $\psi$ guaranteeing that for almost all (or almost no) pairs $(A, \textbf{b})$, where $A$ is a real $m\times n$ matrix and $\textbf{b} \in \mathbb{R}^m$, the system…

Turing's famous 'machine' framework provides an intuitively clear conception of 'computing with real numbers'. A recursive counterexample to a theorem shows that the theorem does not hold when restricted to computable objects. These…

For $p, q\in \mathbb{N}$, a finite nonempty set $F$ is said to be $(p,q)$-Schreier (or maximal $(p,q)$-Schreier, respectively) if $q\min F\ge p|F|$ (or $q\min F = p|F|$, respectively). For $n\in \mathbb{N}$, let $$\mathcal{S}^{p/q}_{n}\ :=\…

Let X be a metric space with metric d and T,S be two commutative measure-preserving maps of X. In this paper we obtain numerical results about multiple recurrence of almost every point of this dynamical system. On other words we study the…

This work contributes to the programme of studying effective versions of "almost everywhere" theorems in analysis and ergodic theory via algorithmic randomness. We determine the level of randomness needed for a point in a Cantor space $…