Related papers: A constructive Borel-Cantelli Lemma. Constructing …

We prove that every hyperbolic measure invariant under a C^{1+\alpha} diffeomorphism of a smooth Riemannian manifold possesses asymptotically ``almost'' local product structure, i.e., its density can be approximated by the product of the…

This paper proves a representation theorem regarding sequences of random elements that take values in a Borel space and are measurable with respect to the sigma algebra generated by an arbitrary union of sigma algebras. This, together with…

We prove that when $f$ is a continuous selfmap acting on compact metric space $(X,d)$ which satisfies the shadowing property, then the set of irregular points (i.e. points with divergent Birkhoff averages) has full entropy. Using this fact…

The recently proven Quantum Lovasz Local Lemma generalises the well-known Lovasz Local Lemma. It states that, if a collection of subspace constraints are "weakly dependent", there necessarily exists a state satisfying all constraints. It…

We define a finite Borel measure of Gibbs type, supported by the Sobolev spaces of negative indexes on the circle. The measure can be seen as a limit of finite dimensional measures. These finite dimensional measures are invariant by the…

We study substitutions on countably infinite alphabet (without compactification) as Borel dynamical systems. We construct stationary and non-stationary generalized Bratteli-Vershik models for a class of such substitutions, known as left…

Let $(X,\mathcal{F},\mu,T)$ be a not necessarily invertible non-atomic measure-preserving dynamical system where the $\sigma$-algebra $\mathcal{F}$ is generated by the intervals according to some total order. The main result is that the…

The Birkhoff Ergodic Theorem asserts under mild conditions that Birkhoff averages (i.e. time averages computed along a trajectory) converge to the space average. For sufficiently smooth systems, our small modification of numerical Birkhoff…

We study the Borel complexity of sets of normal numbers in several numeration systems. Taking a dynamical point of view, we offer a unified treatment for continued fraction expansions and base $r$ expansions, and their various…

The empty set of course contains no computable point. On the other hand, surprising results due to Zaslavskii, Tseitin, Kreisel, and Lacombe assert the existence of NON-empty co-r.e. closed sets devoid of computable points: sets which are…

The probabilistic method is a technique for proving combinatorial existence results by means of showing that a randomly chosen object has the desired properties with positive probability. A particularly powerful probabilistic tool is the…

On a measure theoretical dynamical system with spectral gap property we consider non-integrable observables with regularly varying tails and fulfilling a mild mixing condition. We show that the normed trimmed sum process of these…

Recently, there has been an increasing interest on nonautonomous composition of perturbed hyperbolic systems: composing perturbations of a given hyperbolic map $F$ results in statistical behaviour close to that of $F$. We show this fact in…

A construction of product measures is given for an arbitrary sequence of measure spaces via outer measure techniques without imposing any condition on the underlying measure spaces. This approach concludes finally the problem of the…

Within a simple quantization scheme, observables for a large class of finite dimensional time reparametrization invariant systems may be constructed by integration over the manifold of time labels. This procedure is shown to produce a…

We propose an extension of Aczel's constructive set theory CZF by an axiom for inductive types and a choice principle, and show that this extension has the following properties: it is interpretable in Martin-Lof's type theory (hence…

We study the properties of the constructible universe, L, over intuitionistic theories. We give an extended set of fundamental operations which is sufficient to generate the universe over Intuitionistic Kripke-Platek set theory without…

The work [8] established memory loss in the time-dependent (non-random) case of uniformly expanding maps of the interval. Here we find conditions under which we have convergence to the normal distribution of the appropriately scaled…

Let (X k) be a strictly stationary sequence of random variables with values in some Polish space E and common marginal $\mu$, and (A k) k>0 be a sequence of Borel sets in E. In this paper, we give some conditions on (X k) and (A k) under…

We prove that the relation of bisimilarity between countable labelled transition systems is $\Sigma_1^1$-complete (hence not Borel), by reducing the set of non-wellorders over the natural numbers continuously to it. This has an impact on…