Dimension theory of dynamically defined sets

我建议的研究计划在于在交叉的维度理论和动力系统，一个令人兴奋的领域，这是关注的高度不规则的几何对象，自然产生的动态systems.Dynamical系统的背景下，研究的目的是给定性和定量的信息的长期行为的集合的状态，随着时间的推移，根据一些固定的规则演变。通常，满足某种规定的统计规律的状态的集合形成一个分形集;一个在所有放大倍数下显示复杂细节的几何对象。系统的动力学行为和某些子集的分形几何之间的这种联系导致它被用来模拟自然现象，如云边界和流体湍流。我的研究计划的第一个目标是研究重叠的自相似集，这是维数理论的核心研究课题，与遍历理论，动力系统，和几何测度论。这样的集合，尽管被定义在一个简单的方式，显示复杂的细节，往往有零面积或体积，所以经典几何的工具被证明是不那么有用。分形维数量化了物体的不规则程度，为分析这些集合提供了重要的工具。对这些集合施加技术条件，使丰富的理论得以发展，并与遍历理论和动力系统等领域表现出深刻的关系。在没有施加这样的条件的情况下，仅知道部分结果。我的意图是调查的情况下，没有分离条件的假设，着眼于集中在必要条件的重合的豪斯多夫和象征性的层面。即使是在这个方向上的部分结果也会对我们对自相似性的理解产生深远的影响，并将在这个领域产生一个全新的研究方向。我的第二个目标是研究开放动力系统的统计特性。动力学系统通常会对初始条件表现出敏感的依赖性，这意味着单个轨道的长期行为极难预测。受统计物理学中类似问题的启发，数学家们发展了热力学形式主义，它为研究动力系统中典型轨迹的长期行为提供了一条途径。我在这一领域的首要目标是在开放动力系统的背景下，更好地了解这些现象的统计特性。这项研究的一个新的应用将是计算机科学领域。Lempel-Ziv-Welsch是一种用于压缩数据的算法，它通过关联某些数据子块来操作。与此目标相关的技术将直接应用于此设置，并将为我们提供一个更好的图片，这种算法的效率。这样的结果将是在计算机科学领域工作的人极大的兴趣。该计划的最终目标是在分形设置丢番图近似的研究。丢番图逼近是关于人们用有理数逼近真实的数的程度。这项工作的经典背景一直是在欧几里得空间与勒贝格措施，与众多亮点之一是著名的定理欣钦。最近，有很大的兴趣在研究这些问题的分形集和措施，以期证明一个类似的欣钦定理在此设置。在这个方向上已经有了部分结果，我打算在自相似测度的设置下研究这些问题。

My proposed programme of research lies at the intersection of dimension theory and dynamical systems, an exciting area which is concerned with the study of highly irregular geometric objects which arise naturally in the context of dynamical systems.Dynamical systems aims to give qualitative and quantitative information about the long term behaviour of collections of states which evolve over time according to some fixed rule. Often the collection of states which satisfy some prescribed statistical law form a fractal set; a geometric object which displays intricate detail at all magnifications. This link between the dynamical behaviour of a system and the fractal geometry of certain subsets has led to it being used to model natural phenomena such as cloud boundaries and fluid turbulence.The first objective in my programme of research is the study of self-similar sets with overlap, a research topic which lies at the heart of dimension theory, and has strong connections with ergodic theory, dynamical systems, and geometric measure theory. Such sets, despite being defined in a simple fashion, display intricate detail and often have zero area or volume, and so the tools of classical geometry prove to be not so useful. Fractal dimension quantifies how irregular an object is and provides an important tool with which to analyse these sets.Imposing a technical condition on these sets has enabled a rich theory to be developed that has shown deep relations with fields such as ergodic theory and dynamical systems. In the case that no such condition is imposed only partial results are known. It is my intention to investigate the case where no separation conditions are assumed with a view of focussing on necessary conditions for the coincidence of the Hausdorff and symbolic dimensions. Even partial results in this direction would have a profound effect on our understanding of self-similarity, and would spawn an entirely new line of research in this field. My second objective is to investigate the statistical properties of open dynamical systems. Often a dynamical system will display sensitive dependence on initial conditions, which means that the long term behaviour of an individual orbit is extremely difficult to predict. Motivated by a similar problem in statistical physics mathematicians developed the thermodynamic formalism, which provides an avenue to study the long term behaviour of typical trajectories in the dynamical system. My overarching goal within this field is to gain a better picture of the statistical properties of these this phenomena in the context of open dynamical systems. A novel application of this research would be to the field of computer science. Lempel-Ziv-Welsch is an algorithm used for compressing data, which operates by relating certain sub-blocks of data. The techniques involved with this objective would directly apply in this setting and would afford us a better picture of the efficiency of this algorithm. Such a result would be of great interest to those working in the field of computer science.The final objective for the programme is the study of diophantine approximation in a fractal setting. Diophantine approximation is concerned with how well one may approximate real numbers by rationals. The classical setting for this work has been in Euclidean space with the Lebesgue measure, with one of the many highlights being the celebrated theorem of Khinchin. Recently, there has been great interest in studying these problems for fractal sets and measures, with a view of proving an analogue of Khinchin's theorem in this setting. There have been partial results in this direction, it is my intention to investigate these problems in the setting of self-similar measures.