Related papers: Effectively closed sets of measures and randomness

We consider the limit set of generalised iterated function systems. Under the assumption of a natural potential, the so called cylinder function, we prove the existence of the invariant probability measure satisfying the equilibrium state.…

We study invariant measures for random countable (finite or infinite) conformal iterated function systems (IFS) with arbitrary overlaps. We do not assume any type of separation condition. We prove, under a mild assumption of finite entropy,…

We are interested in situations where the Hausdorff measure and Hausdorff content of a set are equal in the critical dimension. Our main result shows that this equality holds for any subset of a self-similar set corresponding to a…

We present an orthogonal expansion for real, function-regulated, second-order random measures over $\mathbb{R}^{d}$ with measure covariance. Such a expansion, which can be seen as a Karhunen-Lo\`eve decomposition, consists in a series of…

We consider a random walk on a closed manifold $M$ driven by a probability measure $\mu$ on the space of $C^2$ diffeomorphisms. Provided $\mu$ has compact support, satisfies certain gap and pinching conditions, and is weak-$*$ close to a…

Let $\mu$ and $\nu$ be two Borel probability measures on two separable metric spaces $\X$ and $\Y$ respectively. For $h, g$ be two Hausdorff functions and $q\in \R$, we introduce and investigate the generalized pseudo-packing measure…

In this note we present an algorithm to obtain a uniform lower bound on Hausdorff dimension of the stationary measure of an affine iterated function scheme with similarities, the best known example of which is Bernoulli convolution. The…

Let $C$ be an open cone in a Banach space equipped with the Thompson metric with closure a normal cone. The main result gives sufficient conditions for Borel probability measures $\mu,\nu$ on $C$ with finite first moment for which $\mu\leq…

Let G be a locally compact Hausdorff group in which every element is of finite order, and let P(G) denote the class of all regular probability measures on G. In this note, it is observed that a characterization of algebraically regular…

Let $\mu$ be a Borel probability measure generated by a hyperbolic recurrent iterated function system defined on a nonempty compact subset of $\mathbb R^k$. We study the Hausdorff and the packing dimensions, and the quantization dimensions…

Let X be a real or complex Hilbert space of finite but large dimension d, let S(X) denote the unit sphere of X, and let u denote the normalized uniform measure on S(X). For a finite subset B of S(X), we may test whether it is approximately…

Solomonoff's central result on induction is that the posterior of a universal semimeasure M converges rapidly and with probability 1 to the true sequence generating posterior mu, if the latter is computable. Hence, M is eligible as a…

Let \mu be a computable ergodic shift-invariant measure over the Cantor space. Providing a constructive proof of Shannon-McMillan-Breiman theorem, V'yugin proved that if a sequence x is Martin-L\"of random w.r.t. \mu then the strong…

Hausdorff dimension results are a classical topic in the study of path properties of random fields. This article presents an alternative approach to Hausdorff dimension results for the sample functions of a large class of self-affine random…

We consider fixed-point equations for probability measures charging measured compact metric spaces that naturally yield continuum random trees. On the one hand, we study the existence/uniqueness of the fixed-points and the convergence of…

We give conditions on a general family $P_{\lambda}:\R^n\to\R^m, \lambda \in \Lambda,$ of orthogonal projections which guarantee that the Hausdorff dimension formula $\dim A\cap P_{\lambda}^{-1}\{u\}=s-m$ holds generically for measurable…

We prove that Poisson measures are invariant under (random) intensity preserving transformations whose finite difference gradient satisfies a cyclic vanishing condition. The proof relies on moment identities of independent interest for…

This paper investigates the Hausdorff measure of certain sets of generics in computability theory. Let $\Gamma$ be the Turing ideal in which we take the dense open sets. The set of $\Gamma$-Cohen generics has measure positive if and only if…

We prove that, for every norm on $\mathbb{R}^d$ and every $E \subseteq \mathbb{R}^d$, the Hausdorff dimension of the distance set of $E$ with respect to that norm is at least $\dim_{\mathrm{H}} E - (d-1)$. An explicit construction follows,…

In the spirit of the famous KOML\'OS (1967) theorem, every sequence of nonnegative, measurable functions $\{ f_n \}_{n \in \N}$ on a probability space, contains a subsequence which - along with all its subsequences - converges a.e. in…