Related papers: From Haar to Lebesgue via Domain Theory, Revised v…

The Doob convergence theorem implies that the set of divergence of any martingale has measure zero. We prove that, conversely, any $G\_{\delta\sigma}$ subset of the Cantor space with Lebesgue-measure zero can be represented as the set of…

It is known that there is a comeagre set of mutually conjugate measure preserving homeomorphisms of Cantor space equipped with the coinflipping probability measure, i.e., Haar measure. We show that the generic measure preserving…

In this article, we study integrals on the unitary group with respect to the Haar measure. We give a combinatorial interpretation in terms of maps of the asymptotic topological expansion, established previously by Guionnet and Novak. The…

We consider in this note Furstenberg transformations on Cartesian products of infinite-dimensional tori. Under some appropriate assumptions, we show that these transformations are uniquely ergodic with respect to the Haar measure and have…

We show that given a one parameter family $F_b$ of strongly dissipative infinitely renormalisable H\'enon-like maps, parametrised by a quantity called the `average Jacobian' $b$, the set of all parameters $b$ such that $F_b$ has a Cantor…

By reformulating the classical proof as a Baire Category argument, we show that Besicovitch's Theorem in Cantor space is provable in $ACA_0$, and additionally that the witnessing subset is computable from one jump of the original set. We…

The notion of a shift-compact set in an abelian topological group $X$ plays a significant role in functional equations and inequalities, especially so since each Borel set that is not Haar-meagre, alternatively not Haar-null, is necessarily…

Consider a topological dynamical system where the group is abelian and the topologies are locally compact and second-countable. Given an invariant measure for this system, we show that if its dynamical spectrum is contained in some Borel…

A distortion theory is developed for $S-$unimodal maps. It will be used to get some geometric understanding of invariant Cantor sets. In particular attracting Cantor sets turn out to have Lebesgue measure zero. Furthermore the ergodic…

We study the complexity of the classification problem of conjugacy on dynamical systems on some compact metrizable spaces. Especially we prove that the conjugacy equivalence relation of interval dynamical systems is Borel bireducible to…

In previous work with Harman, we introduced a new class of representations for an oligomorphic group $G$, depending on an auxiliary piece of data called a measure. In this paper, we look at this theory when $G$ is the symmetry group of the…

The half-open real unit interval (0,1] is closed under the ordinary multiplication and its residuum. The corresponding infinite-valued propositional logic has as its equivalent algebraic semantics the equational class of cancellative hoops.…

We introduce a novel notion of {\it local spectral gap} for general, possibly infinite, measure preserving actions. We establish local spectral gap for the left translation action $\Gamma\curvearrowright G$, whenever $\Gamma$ is a dense…

The classic middle-thirds Cantor set leads to a singular continuous measure via a distribution function that is know as the Devil's staircase. The support of the Cantor measure is a set of zero Lebesgue measure. Here, we discuss a class of…

In this paper we shall show that there exists a polynomial unimodal map f: [0,1] -> [0,1] which is 1) non-renormalizable(therefore for each x from a residual set, $\omega(x)$ is equal to an interval), 2) for which $\omega(c)$ is a Cantor…

We classify the pairs of subsets (A,B) of a locally compact abelian group satisfying m(A+B)=m(A)+m(B), where m is Haar measure. This generalizes a result of M. Kneser classifying such pairs under the additional assumption that G is compact…

We show that every homeomorphism between closed measure zero subsets extends to a measure preserving auto-homeomorphism, whenever the Cantor set is endowed with a suitable probability measure. This is valid both for the standard product…

Let F be a continuous injective map from an open subset of R^n to R^n. Assume that, for infinitely many k>1, F induces a bijection between the rational points of denominator k in the domain and those in the image (the denominator of…

We give a probabilistic proof of the Weyl integration formula on U(n), the unitary group with dimension $n$. This relies on a suitable definition of Haar measures conditioned to the existence of a stable subspace with any given dimension…

We study a two-parameter family of one-dimensional maps and related (a,b)-continued fractions suggested for consideration by Don Zagier. We prove that the associated natural extension maps have attractors with finite rectangular structure…