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

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…

Using Caratheodory measures, we associate to each positive orbit ${\mathcal O}_{f}^{+}(x)$ of a measurable map $f$, a Borel measure $\eta_{x}$. We show that $\eta_{x}$ is $f$-invariant whenever $f$ is continuous or $\eta_{x}$ is a…

Orbit-finite models of computation generalise the standard models of computation, to allow computation over infinite objects that are finite up to symmetries on atoms, denoted by $\mathbb{A}$. Set theory with atoms is used to reason about…

For a class of one-dimensional determinantal point processes including those induced by orthogonal projections with integrable kernels satisfying a growth condition, it is proved that their conditional measures, with respect to the…

This paper presents a constructive proof of the existence of a regular non-atomic strictly-positive measure on any second-countable non-atomic locally compact Hausdorff space. This construction involves a sequence of finitely-additive set…

We characterize $n$-rectifiable metric measure spaces as those spaces that admit a countable Borel decomposition so that each piece has positive and finite $n$-densities and one of the following: is an $n$-dimensional Lipschitz…

We construct an appropriate metric on the collection of piecewise $\mathcal C^r$ maps defined on a compact interval. Although this metric space turns out to be not complete, we show that it is indeed a Baire space. As an application, we…

We initiate the effective metric structure theory of Keisler randomizations. We show that a classical countable structure $\mathcal{M}$ has a decidable presentation if and only if its Borel randomization $\mathcal{M}^{[0,1)}$ has a…

A pseudorandom point in an ergodic dynamical system over a computable metric space is a point which is computable but its dynamics has the same statistical behavior as a typical point of the system. It was proved in [Avigad et al. 2010,…

We present a combinatorial approach to rigorously show the existence of fixed points, periodic orbits, and symbolic dynamics in discrete-time dynamical systems, as well as to find numerical approximations of such objects. Our approach…

The basic notions of quantum mechanics are formulated in terms of separable infinite dimensional Hilbert space $\mathcal{H}$. In terms of the Hilbert lattice $\mathcal{L}$ of closed linear subspaces of $\mathcal{H}$ the notions of state and…

Multiple Borel-Cantelli Lemma is a criterion that characterizes the occurrence of multiple rare events on the same time scale. We generalize the multiple Borel-Cantelli Lemma in dynamics established by Dolgopyat, Fayad and Liu [J. Mod. Dyn.…

Experimental science usually relies on laboratory procedures that, after finitely many steps, terminate with numerical reports on physical quantities. This paper argues that such procedures can be understood as algorithmic once the…

This essay advocates the view that any problem that has a meaningful empirical content, can be formulated in constructive, more definitely, finite terms. We consider combinatorial models of dynamical systems and approaches to statistical…

A classical Borel Cantelli Lemma gives conditions for deciding whether an infinite number of rare events will almost surely happen. In this article, we propose an extension of Borel Cantelli Lemma to characterize the multiple occurrence of…

In Chapter 3 of his Notes on constructive mathematics, Martin-L{\"o}f describes recursively constructed ordinals. He gives a constructively acceptable version of Kleene's computable ordinals. In fact, the Turing definition of computable…

In Willems' behavioral systems theory, a dynamical system is identified with the set of all trajectories compatible with its laws of motion. In the linear time-invariant setting this trajectory set is a linear subspace, and its algebraic…

The Lovasz Local Lemma [EL75] is a powerful tool to non-constructively prove the existence of combinatorial objects meeting a prescribed collection of criteria. In his breakthrough paper [Bec91], Beck demonstrated that a constructive…

We investigate the connection between the dynamical Borel-Cantelli and waiting time results. We prove that if a system has the dynamical Borel-Cantelli property, then the time needed to enter for the first time in a sequence of small balls…

We provide a Kingman-like Theorem for arbitrary finite measures and a version of Birkhoff's Theorem for bounded observable. As an application, we show that Birkhoff's limit exists for some continuous observable, in an example of Bowen.