{"id":{"repo_id":"cambridge","oai_identifier":"oai:www.repository.cam.ac.uk:1810/361044"},"canonical_url":"https://search.dev.ndltd.org/etd/cambridge/oai:www.repository.cam.ac.uk:1810/361044","repository":{"repo_id":"cambridge","name":"Cambridge University","base_url":"https://api.repository.cam.ac.uk/server/oai/request"},"display":{"title":"Absolutely Continuous Stationary Measures","abstract":"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*<sub>2</sub>($\\mathbb{R}$) acting on *X* = *P*<sup>1</sup>($\\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.","abstract_html":"This thesis studies the absolute continuity of stationary measures. Given a finite set of measurable maps <span class=\"etd-inline-math\">S<sub>1</sub>, S<sub>2</sub>, \\dots, S<sub>n</sub></span> on a measurable set $X$ and a probability vector <span class=\"etd-inline-math\">p<sub>1</sub>, p<sub>2</sub>, \\dots, p<sub>n</sub></span> we say that a probability measure $\\nu$ on $X$ is stationary if <span class=\"etd-inline-math\">\\begin{equation*} \\nu = \\sum<sub>i=1</sub><sup>n</sup> p<sub>i</sub> \\nu \\circ S<sub>i</sub><sup>-1</sup>. \\end{equation*}</span> If <span class=\"etd-inline-math\">S<sub>1</sub>, \\dots, S<sub>n</sub></span> are elements of *PSL*&lt;sub&gt;2&lt;/sub&gt;($\\mathbb{R}$) acting on *X* = *P*&lt;sup&gt;1&lt;/sup&gt;($\\mathbb{R}$), we get the notion of Furstenberg measures. If <span class=\"etd-inline-math\">S<sub>1</sub>, \\dots, S<sub>n</sub></span> 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\\&#x27;u though we introduce several new ingredients the most important of which is ``detail&#x27;&#x27; which is a quantitative way of measuring how smooth a measure is at a given scale.","abstract_has_math":true,"creators":["Kittle, Samuel"],"institution":"University of Cambridge","degree_name":"Doctor of Philosophy (PhD)","degree_level":"Doctoral","degree_discipline":null,"degree_department":null,"school":null,"contributors":[],"advisors":["Varju, Peter"],"committee_chairs":[],"committee_members":[],"year":2023,"date_issued":"2023-06-20","date_published":"2023-06-20","updated_at":"2026-07-22T22:24:06Z","subjects":["Furstenberg measures","Self-similar measures","Stationary measures"],"languages":["eng"],"rights":[],"rights_urls":["https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/9361af87-a344-4fd8-b73a-1179c83d6d4e/download","https://creativecommons.org/licenses/by/4.0/"],"identifier_entries":[]},"links":{"outbound_url":"https://doi.org/10.17863/CAM.104177","outbound_label":"DOI","outbound_source":"dc:identifier.doi"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Varju, Peter"]},{"key":"dc:creator","label":"Author","values":["Kittle, Samuel"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.issued","label":"Date","values":["2023-06-20"]},{"key":"dc:publisher.institution","label":"Dc Publisher Institution","values":["University of Cambridge"]},{"key":"dc:relation.isreferencedby.uri","label":"Dc Relation Isreferencedby URI","values":["https://www.repository.cam.ac.uk/handle/1810/361044"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]},{"key":"dc:type.qualificationlevel","label":"Dc Type Qualificationlevel","values":["Doctoral"]},{"key":"dc:type.qualificationname","label":"Dc Type Qualificationname","values":["Doctor of Philosophy (PhD)"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Furstenberg measures","Self-similar measures","Stationary measures"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language","label":"Dc Language","values":["eng"]},{"key":"dc:rights","label":"Dc Rights","values":["https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/9361af87-a344-4fd8-b73a-1179c83d6d4e/download","https://creativecommons.org/licenses/by/4.0/"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.doi","label":"DOI","values":["https://doi.org/10.17863/CAM.104177"]},{"key":"dc:identifier.uri","label":"Identifier URI","values":["https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/f5a43291-12a4-43a1-a45d-8291ab1d850e/download"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["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*<sub>2</sub>($\\mathbb{R}$) acting on *X* = *P*<sup>1</sup>($\\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."]},{"key":"dc:format.checksum.md5","label":"Dc Format Checksum Md5","values":["090aec5905bbfe65ad87c0330e480b94","87eda9de84448d1f82354d60eee3eb5f"]},{"key":"dc:title","label":"Title","values":["Absolutely Continuous Stationary Measures"]}]}],"canonical_facts":{"dc:contributor.advisor":["Varju, Peter"],"dc:creator":["Kittle, Samuel"],"dc:date.issued":["2023-06-20"],"dc:description.abstract":["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*<sub>2</sub>($\\mathbb{R}$) acting on *X* = *P*<sup>1</sup>($\\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."],"dc:format.checksum.md5":["090aec5905bbfe65ad87c0330e480b94","87eda9de84448d1f82354d60eee3eb5f"],"dc:identifier.doi":["https://doi.org/10.17863/CAM.104177"],"dc:identifier.uri":["https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/f5a43291-12a4-43a1-a45d-8291ab1d850e/download"],"dc:language":["eng"],"dc:publisher.institution":["University of Cambridge"],"dc:relation.isreferencedby.uri":["https://www.repository.cam.ac.uk/handle/1810/361044"],"dc:rights":["https://apollo8-f-pro.lib.cam.ac.uk/bitstreams/9361af87-a344-4fd8-b73a-1179c83d6d4e/download","https://creativecommons.org/licenses/by/4.0/"],"dc:subject":["Furstenberg measures","Self-similar measures","Stationary measures"],"dc:title":["Absolutely Continuous Stationary Measures"],"dc:type":["Thesis"],"dc:type.qualificationlevel":["Doctoral"],"dc:type.qualificationname":["Doctor of Philosophy (PhD)"]},"updated_at":"2026-07-22T22:24:06Z"}