Related papers: A strong Borel--Cantelli lemma for recurrence

In this paper, we consider recurrence sequences $x_n=\xi_1 \alpha_1^n+\xi_2 \alpha_2^n$ ($n=0,1,\ldots$) with companion polynomial $P(X)$. For example, the sequence $x_n=\xi_1(4+\sqrt{2})^n+\xi_2(4-\sqrt{2})^n$ satisfies the recurrence…

Let $K\subset R^n$ be a compact basic semi-algebraic set. We provide a necessary and sufficient condition (with no a priori bounding parameter) for a real sequence $y=(y_\alpha)$, $\alpha\in N^n$, to have a finite representing Borel measure…

A sequence $\{x_{n}\}_1^\infty$ in $[0,1)$ is called Borel-Cantelli (BC) if for all non-increasing sequences of positive real numbers $\{a_n\}$ with $\underset{i=1}{\overset{\infty}{\sum}}a_i=\infty$ the set…

Let $(a_n), (b_n)$ be linear recursive sequences of integers with characteristic polynomials $A(X),B(X)\in \mathbb{Z}[X]$ respectively. Assume that $A(X)$ has a dominating and simple real root $\alpha$, while $B(X)$ has a pair of conjugate…

We show that for any irrational number $\a$ and a sequence of integers $\{m_l\}_{l\in \N}$ such that $\displaystyle{\lim_{l\to \infty} \norm{m_l \a} = 0}$, there exists a continuous measure $\mu$ on the circle such that…

Many combinatorial sequences (for example, the Catalan and Motzkin numbers) may be expressed as the constant term of $P(x)^k Q(x)$, for some Laurent polynomials $P(x)$ and $Q(x)$ in the variable $x$ with integer coefficients. Denoting such…

We prove an inverse of Furstenberg's correspondence principle stating that for all measure preserving systems $(X,\mu,T)$ and $A\subset X$ measurable there exists a set $E \subset \mathbb{N}$ such that \[ \mu\left( \bigcap_{i=1}^k…

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 $…

Let $S^1$ be the stopping time space and $\mathcal{B}_1(S^1)$ be the Baire-1 elements of the second dual of $S^1$. To each element $x^{**}$ in the space $\mathcal{B}_1(S^1)$ we associate a positive Borel measure $\mu_{x^{**}}$ on the Cantor…

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…

Quantum systems exhibit recurrence phenomena after equilibration, but it is a difficult task to evaluate the recurrence time of a quantum system because it drastically increases as the system size increases (usually double-exponential in…

By an analogy to the duality between the recurrence time and the longest match length, we introduce a quantity dual to the maximal repetition length, which we call the repetition time. Extending prior results, we sandwich the repetition…

We present a unified approach to extensions of Bourgain's Double Recurrence Theorem and Bourgain's Return Times Theorem to integer parts of the Kronecker sequence, emphasizing stopping times and metric entropy. Specifically, we prove the…

In the present note, we generalize the first part of the Borel-Cantelli lemma. By this generalization, we obtain some strong limit results.

The multiple Birkhoff recurrence theorem states that for any $d\in\mathbb N$, every system $(X,T)$ has a multiply recurrent point $x$, i.e. $(x,x,\ldots, x)$ is recurrent under $\tau_d=:T\times T^2\times \ldots \times T^d$. It is natural to…

It is shown that for every $k\in \N$ there exists a Borel probability measure $\mu$ on $\{-1,1\}^{\R^{k}}\times \{-1,1\}^{\R^{k}}$ such that for every $m,n\in \N$ and $x_1,..., x_m,y_1,...,y_n\in S^{m+n-1}$ there exist…

A recurrent formula is presented, for the enumeration of the compositions of positive integers as sums over multisets of positive integers, that closely resembles Euler's recurrence based on the pentagonal numbers, but where the…

After defining a notion of $\epsilon$-density, we provide for any real algebraic number $\alpha$ an estimate of the smallest $\epsilon$ such that for each $m>1$ the set of vectors of the form $(t,t\alpha,...,t\alpha^{m-1})$ for $t\in\R$ is…

A strictly increasing sequence (n_k) of positive integers is said to be a Hilbertian Jamison sequence if for any bounded operator T on a separable Hilbert space such that the supremum over k of the norms ||T^{n_k}|| is finite, the set of…

Let $m$, $r$ and $n$ be positive integers. We denote by ${\bf k}\vdash n$ any tuple of odd positive integers ${\bf k}=(k_1,\dots,k_t)$ such that $k_1+\dots+k_t=n$ and $k_j\ge 3$ for all $j$. In this paper we prove that for every…