For random piecewise linear systems T of the interval that are expanding on average we construct explicitly the density functions of absolutely continuous T-invariant measures. If the random system uses only expanding maps our procedure produces all invariant densities of the system. Examples include random tent maps, random W-shaped maps, random $\beta $ -transformations and random Lüroth maps with a hole.

If $\mathcal {A}$ is a finite set (alphabet), the shift dynamical system consists of the space $\mathcal {A}^{\mathbb {N}}$ of sequences with entries in $\mathcal {A}$ , along with the left shift operator S. Closed S-invariant subsets are called subshifts and arise naturally as encodings of other systems. In this paper, we study the number of ergodic measures for transitive subshifts under a condition (‘regular bispecial condition’) on the possible extensions of words in the associated language. Our main result shows that under this condition, the subshift can support at most $({K+1})/{2}$ ergodic measures, where K is the limiting value of $p(n+1)-p(n)$ , and p is the complexity function of the language. As a consequence, we answer a question of Boshernitzan from 1984, providing a combinatorial proof for the bound on the number of ergodic measures for interval exchange transformations.

Let $(X,T)$ be a topological dynamical system consisting of a compact metric space X and a continuous surjective map $T : X \to X$ . By using local entropy theory, we prove that $(X,T)$ has uniformly positive entropy if and only if so does the induced system $({\mathcal {M}}(X),\widetilde {T})$ on the space of Borel probability measures endowed with the weak* topology. This result can be seen as a version for the notion of uniformly positive entropy of the corresponding result for topological entropy due to Glasner and Weiss.

This paper considers self-conformal iterated function systems (IFSs) on the real line whose first level cylinders overlap. In the space of self-conformal IFSs, we show that generically (in topological sense) if the attractor of such a system has Hausdorff dimension less than 1 then it has zero appropriate dimensional Hausdorff measure and its Assouad dimension is equal to 1. Our main contribution is in showing that if the cylinders intersect then the IFS generically does not satisfy the weak separation property and hence, we may apply a recent result of Angelevska, Käenmäki and Troscheit. This phenomenon holds for transversal families (in particular for the translation family) typically, in the self-similar case, in both topological and in measure theoretical sense, and in the more general self-conformal case in the topological sense.

In this article we aim to investigate the Hausdorff dimension of the set of points $x \in [0,1)$ such that for any $r\in \mathbb {N}$ ,

$$ \begin{align*} a_{n+1}(x)a_{n+2}(x)\cdots a_{n+r}(x)\geq e^{\tau(x)(h(x)+\cdots+h(T^{n-1}(x)))} \end{align*} $$

$n\in \mathbb {N}$

$\tau $

$a_{n}(x)$

$r,\tau (x)$

$h(x)$

It is known that if $S(z)$ is a non-constant singular inner function defined on the unit disk, then $\min _{|z|\le r}|S(z)|\to 0$ as $r\to 1^-$ . We show that the convergence can be arbitrarily slow.

Fractal percolation exhibits a dramatic topological phase transition, changing abruptly from a dust-like set to a system-spanning cluster. The transition points are unknown and difficult to estimate. In many classical percolation models the percolation thresholds have been approximated well using additive geometric functionals, known as intrinsic volumes. Motivated by the question of whether a similar approach is possible for fractal models, we introduce corresponding geometric functionals for the fractal percolation process F. They arise as limits of expected functionals of finite approximations of F. We establish the existence of these limit functionals and obtain explicit formulas for them as well as for their finite approximations.

We prove a Lusin type theorem for a certain class of linear partial differential operators G(D), reducing to [1, Theorem 1] when G(D) is the gradient. Moreover, we describe the structure of the set {G(D)f = F}, under assumptions of non-integrability on F, in terms of lower dimensional rectifiability and superdensity. Applications to Maxwell type system and to multivariable Cauchy–Riemann system are provided.

Our first result is a noncommutative form of the Jessen-Marcinkiewicz-Zygmund theorem for the maximal limit of multiparametric martingales or ergodic means. It implies bilateral almost uniform convergence (a noncommutative analogue of almost everywhere convergence) with initial data in the expected Orlicz spaces. A key ingredient is the introduction of the $L_p$ -norm of the $\limsup $ of a sequence of operators as a localized version of a $\ell _\infty /c_0$ -valued $L_p$ -space. In particular, our main result gives a strong $L_1$ -estimate for the $\limsup $ —as opposed to the usual weak $L_{1,\infty }$ -estimate for the $\mathop {\mathrm {sup}}\limits $ —with interesting consequences for the free group algebra.

Let $\mathcal{L} \mathbf{F} _2$ denote the free group algebra with $2$ generators, and consider the free Poisson semigroup generated by the usual length function. It is an open problem to determine the largest class inside $L_1(\mathcal{L} \mathbf{F} _2)$ for which the free Poisson semigroup converges to the initial data. Currently, the best known result is $L \log ^2 L(\mathcal{L} \mathbf{F} _2)$ . We improve this result by adding to it the operators in $L_1(\mathcal{L} \mathbf{F} _2)$ spanned by words without signs changes. Contrary to other related results in the literature, this set grows exponentially with length. The proof relies on our estimates for the noncommutative $\limsup $ together with new transference techniques.

We also establish a noncommutative form of Córdoba/Feffermann/Guzmán inequality for the strong maximal: more precisely, a weak $(\Phi ,\Phi )$ inequality—as opposed to weak $(\Phi ,1)$ —for noncommutative multiparametric martingales and $\Phi (s) = s (1 + \log _+ s)^{2 + \varepsilon }$ . This logarithmic power is an $\varepsilon $ -perturbation of the expected optimal one. The proof combines a refinement of Cuculescu’s construction with a quantum probabilistic interpretation of M. de Guzmán’s original argument. The commutative form of our argument gives the simplest known proof of this classical inequality. A few interesting consequences are derived for Cuculescu’s projections.

In this paper, we present a theoretical foundation for a representation of a data set as a measure in a very large hierarchically parametrized family of positive measures, whose parameters can be computed explicitly (rather than estimated by optimization), and illustrate its applicability to a wide range of data types. The preprocessing step then consists of representing data sets as simple measures. The theoretical foundation consists of a dyadic product formula representation lemma, and a visualization theorem. We also define an additive multiscale noise model that can be used to sample from dyadic measures and a more general multiplicative multiscale noise model that can be used to perturb continuous functions, Borel measures, and dyadic measures. The first two results are based on theorems in [15, 3, 1]. The representation uses the very simple concept of a dyadic tree and hence is widely applicable, easily understood, and easily computed. Since the data sample is represented as a measure, subsequent analysis can exploit statistical and measure theoretic concepts and theories. Because the representation uses the very simple concept of a dyadic tree defined on the universe of a data set, and the parameters are simply and explicitly computable and easily interpretable and visualizable, we hope that this approach will be broadly useful to mathematicians, statisticians, and computer scientists who are intrigued by or involved in data science, including its mathematical foundations.

As pointed out by Alexandre Bailleul, the paper mentioned in the title contains a mistake in Theorem 2.2. The hypothesis on the linear relation of the almost periods is not sufficient. In this note, we fix the problem and its minor consequences on other results in the same paper.

Higher-dimensional binary shifts of number-theoretic origin with positive topological entropy are considered. We are particularly interested in analysing their symmetries and extended symmetries. They form groups, known as the topological centralizer and normalizer of the shift dynamical system, which are natural topological invariants. Here, our focus is on shift spaces with trivial centralizers, but large normalizers. In particular, we discuss several systems where the normalizer is an infinite extension of the centralizer, including the visible lattice points and the k-free integers in some real quadratic number fields.

We obtain a criterion for an analytic subset of a Euclidean space to contain points of differentiability of a typical Lipschitz function: namely, that it cannot be covered by countably many sets, each of which is closed and purely unrectifiable (has a zero-length intersection with every $C^1$ curve). Surprisingly, we establish that any set failing this criterion witnesses the opposite extreme of typical behaviour: in any such coverable set, a typical Lipschitz function is everywhere severely non-differentiable.

A classical theorem of Hutchinson asserts that if an iterated function system acts on $\mathbb {R}^{d}$ by similitudes and satisfies the open set condition then it admits a unique self-similar measure with Hausdorff dimension equal to the dimension of the attractor. In the class of measures on the attractor, which arise as the projections of shift-invariant measures on the coding space, this self-similar measure is the unique measure of maximal dimension. In the context of affine iterated function systems it is known that there may be multiple shift-invariant measures of maximal dimension if the linear parts of the affinities share a common invariant subspace, or more generally if they preserve a finite union of proper subspaces of $\mathbb {R}^{d}$ . In this paper we give an example where multiple invariant measures of maximal dimension exist even though the linear parts of the affinities do not preserve a finite union of proper subspaces.

A subset X of a Polish group G is Haar null if there exists a Borel probability measure μ and a Borel set B containing X such that μ(gBh) = 0 for every g, h ∈ G. A set X is Haar meager if there exists a compact metric space K, a continuous function f : K → G and a Borel set B containing X such that f−1(gBh) is meager in K for every g, h ∈ G. We calculate (in ZFC) the four cardinal invariants (add, cov, non, cof) of these two σ-ideals for the simplest non-locally compact Polish group, namely in the case $G = \mathbb {Z}^\omega$. In fact, most results work for separable Banach spaces as well, and many results work for Polish groups admitting a two-sided invariant metric. This answers a question of the first named author and Vidnyánszky.

We study the $L^{q}$ -spectrum of measures in the plane generated by certain nonlinear maps. In particular, we consider attractors of iterated function systems consisting of maps whose components are $C^{1+\alpha }$ and for which the Jacobian is a lower triangular matrix at every point subject to a natural domination condition on the entries. We calculate the $L^{q}$ -spectrum of Bernoulli measures supported on such sets by using an appropriately defined analogue of the singular value function and an appropriate pressure function.

We derive the almost sure Assouad spectrum and quasi-Assouad dimension of one-variable random self-affine Bedford–McMullen carpets. Previous work has revealed that the (related) Assouad dimension is not sufficiently sensitive to distinguish between subtle changes in the random model, since it tends to be almost surely ‘as large as possible’ (a deterministic quantity). This has been verified in conformal and non-conformal settings. In the conformal setting, the Assouad spectrum and quasi-Assouad dimension behave rather differently, tending to almost surely coincide with the upper box dimension. Here we investigate the non-conformal setting and find that the Assouad spectrum and quasi-Assouad dimension generally do not coincide with the box dimension or Assouad dimension. We provide examples highlighting the subtle differences between these notions. Our proofs combine deterministic covering techniques with suitably adapted Chernoff estimates and Borel–Cantelli-type arguments.

The notion of recurrent fractal interpolation functions (RFIFs) was introduced by Barnsley et al. [‘Recurrent iterated function systems’, Constr. Approx. 5 (1989), 362–378]. Roughly speaking, the graph of an RFIF is the invariant set of a recurrent iterated function system on $\mathbb {R}^2$. We generalise the definition of RFIFs so that iterated functions in the recurrent system need not be contractive with respect to the first variable. We obtain the box dimensions of all self-affine RFIFs in this general setting.

For $n\geq 3$ , let $Q_n\subset \mathbb {C}$ be an arbitrary regular n-sided polygon. We prove that the Cauchy transform $F_{Q_n}$ of the normalised two-dimensional Lebesgue measure on $Q_n$ is univalent and starlike but not convex in $\widehat {\mathbb {C}}\setminus Q_n$ .

In the present paper, we deal with asymptotical stability of Markov operators acting on abstract state spaces (i.e. an ordered Banach space, where the norm has an additivity property on the cone of positive elements). Basically, we are interested in the rate of convergence when a Markov operator T satisfies the uniform P-ergodicity, i.e. $\|T^n-P\|\to 0$ , here P is a projection. We have showed that T is uniformly P-ergodic if and only if $\|T^n-P\|\leq C\beta^n$ , $0<\beta<1$ . In this paper, we prove that such a β is characterized by the spectral radius of T − P. Moreover, we give Deoblin’s kind of conditions for the uniform P-ergodicity of Markov operators.