Heights, Dynamics, and Decidability

高度、动态和可判定性

• 批准号: RGPIN-2022-02951
• 负责人: Bell, Jason
• 金额: $ 3.5万
• 依托单位: University of Waterloo
• 依托单位国家: 加拿大
• 项目类别: Discovery Grants Program - Individual
• 财政年份: 2022
• 资助国家: 加拿大
• 起止时间: 2022-01-01 至 2023-12-31
• 项目状态: 已结题
• 来源: https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=764404
• 关键词: Heights; Dynamics; Decidability

Dynamical systems are important mathematical objects of study, which are now ubiquitous within many of the physical sciences and social sciences due to their utility in modelling complex systems that vary over time.  One of the most difficult problems when dealing with dynamical systems is how to measure their complexity.  In practice, there is too much information to work with and one needs to work with simpler, easier to compute, invariants which give insight into how complex the ambient system is.  In the realm of Algebraic dynamical systems, that is, systems which are constructed from algebraic objects (varieties) and maps (morphisms) and where a map is repeatedly applied to points in the variety, it was observed by Kawaguchi and Silverman that a number theoretic notion, called the height, gives insight into the complexity of such systems. They have conjecturally made this precise by linking their arithmetic notion of complexity to a more classical invariant used within complex dynamics, called the dynamical degree.  This has gone on to become a major area of research within arithmetic dynamics within the last five years and much of this proposal builds upon their framework. This proposal deals with significantly broadening the scope of Kawaguchi and Silverman's work.  In joint work with Dragos Ghioca and Matthew Satriano, I initiated the study of dynamical sequences, which are sequences that are naturally obtained from algebraic dynamical systems.  In a sense, this construction is giving a "snapshot" of the dynamical system and these sequences encode information about the complexity of the ambient dynamical system.  In theory, having complete knowledge of all such sequences associated to a given dynamical system would be sufficient to reconstruct it entirely. This broad framework considers many classical results from number theory, algebraic combinatorics, and from the theory of differential equations. The long-term goal of my research program is to answer key questions that arise within this framework, which are motivated by fundamental problems across many different mathematical disciplines. These include questions about complexity, questions about decidability, and questions in Diophantine approximation and logic. I will answer these questions by applying recent techniques, some of which I have helped develop over the past six years, and others that have been developed by other researchers working on related problems. Answers to these questions will have important ramifications in many other mathematical disciplines, as they will in part provide an algorithmic framework for dealing with many naturally arising mathematical problems.  In addition, the proposal involves the training of undergraduate, graduate, and postdoctoral researchers, and will give trainees important mathematical expertise and both the programming and writing skills that are necessary for working in both STEM-related industries and in academia.

动态系统是重要的数学研究对象，由于其在建模随时间变化的复杂系统中的实用性，它现在在许多物理科学和社会科学中无处不在。处理动态系统时最困难的问题之一是如何测量其复杂性。在实践中，有太多的信息需要处理，人们需要更简单，更容易计算，在代数学动力系统领域，即由代数对象（簇）和映射（态射）构造的系统，其中映射被反复应用于簇中的点，川口和西尔弗曼观察到一个数论概念，称为高度，可以洞察这种系统的复杂性。他们通过将复杂性的算术概念与复杂动力学中使用的一个更经典的不变量联系起来，称为动力学度，从而使这一点变得精确。这在过去五年中已经成为算术动力学的一个主要研究领域，其中大部分建议都建立在他们的框架之上。这一建议涉及到显着扩大范围的川口和西尔弗曼的工作。在联合工作与Dragos吉奥卡和马修萨特里亚诺，我发起了研究动态序列，这是序列，自然获得的代数动力系统。 从某种意义上说，这种构造给出了动力系统的“快照”，这些序列编码了关于周围动力系统复杂性的信息。理论上，拥有与给定动力系统相关的所有此类序列的完整知识就足以完全重建它。这个广泛的框架认为许多经典的结果从数论，代数组合，并从微分方程理论。我的研究计划的长期目标是回答在这个框架内出现的关键问题，这些问题是由许多不同数学学科的基本问题所激发的。这些问题包括关于复杂性的问题，关于可判定性的问题，以及丢番图近似和逻辑的问题。我将通过应用最新的技术来回答这些问题，其中一些是我在过去六年中帮助开发的，另一些是由其他研究相关问题的研究人员开发的。 这些问题的答案将在许多其他数学学科中产生重要的影响，因为它们将部分地为处理许多自然产生的数学问题提供算法框架。此外，该提案涉及本科生，研究生和博士后研究人员的培训，并将给予学员重要的数学专业知识和编程和写作技能，这是必要的工作在两个干-相关行业和学术界。