2026-09-22T20:13:30Zhttps://api.repository.cam.ac.uk/server/oai/request

oai:www.repository.cam.ac.uk:1810/3610442023-12-22T14:27:05Zcom_1810_213747com_1810_256064col_1810_213748

Absolutely Continuous Stationary Measures https://doi.org/10.17863/CAM.104177 Kittle, Samuel Varju, Peter This thesis studies the absolute continuity of stationary measures. Given a finite set of measurable maps $S_1, S_2, \dots, S_n$ on a measurable set $X$ and a probability vector $p_1, p_2, \dots, p_n$ we say that a probability measure $\nu$ on $X$ is stationary if $\begin{equation*} \nu = \sum_{i=1}^{n} p_i \nu \circ S_i^{-1}. \end{equation*}$ If $S_1, \dots, S_n$ are elements of *PSL*₂($\mathbb{R}$) acting on *X* = *P*¹($\mathbb{R}$), we get the notion of Furstenberg measures. If $S_1, \dots, S_n$ are similarities, affine maps, or conformal maps then $\nu$ is called a self-similar, self-affine, or self-conformal measure respectively. This thesis is concerned with Furstenberg measures and self-similar measures. Two fundamental questions about stationary measures are what are their dimensions and when are they absolutely continuous. This thesis deals with the second one of these. There are several classes of stationary measures which are known to be absolutely continuous for typical choices of parameters. For example Solomyak showed that for almost every $\lambda \in (1/2, 1)$ the Bernoulli convolution with parameter $\lambda$ is absolutely continuous. This was extended by Shmerkin who showed that the exceptional set has Hausdorff dimension zero. However, despite much effort, there are relatively few known explicit examples of stationary measures which are absolutely continuous. In this thesis we find sufficient conditions for self-similar measures and Furstenberg measures to be absolutely continuous. Using this we are able to give new examples. The techniques we use are largely inspired by the techniques of Hochman and Varj\'u though we introduce several new ingredients the most important of which is ``detail'' which is a quantitative way of measuring how smooth a measure is at a given scale. University of Cambridge 2023-06-20 Thesis Doctoral Doctor of Philosophy (PhD) eng https://www.repository.cam.ac.uk/handle/1810/361044 https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/f5a43291-12a4-43a1-a45d-8291ab1d850e/download 090aec5905bbfe65ad87c0330e480b94 https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/9361af87-a344-4fd8-b73a-1179c83d6d4e/download 87eda9de84448d1f82354d60eee3eb5f https://creativecommons.org/licenses/by/4.0/ Furstenberg measures Self-similar measures Stationary measures