Excellence in Research: Numerical Analysis of Quasiperiodic Topology

哈密顿动力系统在数学和物理学中都具有极其重要的意义。这些系统是由一个能量函数定义的，叫做哈密顿函数，通常允许第一积分，也就是其他函数，独立于哈密顿函数，但是，就像哈密顿函数一样，它们的值不会随着运动方程的解而改变。自从这个形式主义在大约两个世纪前由汉密尔顿爵士提出以来，它逐渐包含了大多数非耗散现象的物理学，以及由此自然产生的几个重要的几何分支，并成为量子力学的主要组成部分之一。然而，直到最近，一类重要的哈密顿系统被忽视了，即当一些第一积分是多值的情况（多值函数的一个例子是圆上的角坐标）。这样的系统自然产生于量子力学（在所谓的半经典近似中），特别是在强磁场下低温金属导电的理论中。关于这一现象的实验数据是从70年前开始收集的，但由于缺乏具有多值哈密顿量的哈密顿系统的理论，这些数据无法与理论完全核对。自八十年代以来，菲尔兹奖得主S.P.诺维科夫和他的学校开始填补这一空白，大约十年前，实验数据在最简单的情况下得到了成功的验证，即金和银。同时，随着这一哈密顿系统的推广和形式化，出现了一个新的拓扑学领域——拟周期拓扑学，在最简单的情况下进行数值研究，得到了重要的理论结果。本课题的目的，一方面是为了完成这些尚未被检验的金属的基本实验数据的验证，另一方面是为了扩展和深化准周期拓扑的数值研究。本项目的主要目标是继续和深化拟周期拓扑的数值研究，特别是关注n维环面上多值映射的水平集的拓扑。它的主要子目标是数值实验表明的特性的上下文分析研究。这将通过以下具体目标和方法来实现：(1)在Perl/Python/ c++中开发和实现用于n-tori上多值映射的数值和分析研究的新旧算法；(2)这些地图的数值勘探和分类；(3)对此类地图的主要和次要性质进行分析研究。作为这些结果的应用，该项目的另一个重要子目标是应用(1)中生成的代码，首次从第一性原理验证五六十年代测量的金属电导率的一些重要实验数据，这些数据的数学描述涉及准周期函数。该奖项反映了美国国家科学基金会的法定使命，并通过使用基金会的知识价值和更广泛的影响审查标准进行评估，被认为值得支持。

Hamiltonian dynamical systems are of paramount importance in both Mathematics and Physics. These systems are defined by an energy function, called Hamiltonian, and often admit first integrals, namely other functions, independent on the Hamiltonian but that also, just like the Hamiltonian, do not change their value over the solutions of the equations of motion. Since this formalism was introduced by Sir W.R. Hamilton almost two centuries ago, it grew to embrace the physics of most non-dissipative phenomena, as well as several important branches of geometry that arose naturally out of it, and it became one of the main building block of quantum mechanics. Nevertheless, until relatively recently, an important class of Hamiltonian systems was overlooked, namely the case when some first integral is multivalued (an example of multivalued function is the angle coordinate on a circle). Such systems arise naturally from quantum mechanics (in the so-called semiclassical approximation), in particular in the theory of conductivity of metals at low temperature under a strong magnetic field. Experimental data on this phenomenon were collected for many metals starting from seventy years ago but they could not be checked against the theory exactly for the lack of a theory of Hamiltonian systems with multivalued Hamiltonians. Since the Eighties, Fields medalist S.P. Novikov and his school started filling this gap and about ten years ago the experimental data were successfully verified in the simplest cases, namely for Au and Ag. At the same time, a new field of topology, called Quasiperiodic topology, arose as the generalization and formalization of this Hamiltonian system and important theoretical results have been found after the numerical study of the simplest cases. This project aims, on the one hand, at completing the verification of these fundamental experimental data for the several metals still unchecked and, on the other hand, at extending and deepening the numerical study of quasiperiodic topology. The main goal of this project is to continue and deepen the numerical study of Quasiperiodic Topology focusing, in particular, on the topology of level sets of multivalued maps on the n-dimensional tori. Its main subgoal is the contextual analytical study of the properties suggested by the numerical experiments. This will be achieved through the following specific objectives and methods: (1) development and implementation in Perl/Python/C++ of old and new algorithms for the numerical and analytical study of multivalued maps on n-tori; (2) numerical exploration and classification of these maps; (3) analytical study of minor and major properties of such maps. As an application of these results, a further important subgoal of the project is the application of the code generated in (1) to verify from first principles for the first time some important experimental data about conductivity in metals measured in Fifties and Sixties and whose mathematical description involves quasiperiodic functions.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.