Computational Tropical Geometry and its Applications

计算热带几何及其应用

• 批准号: MR/Y003888/1
• 负责人: Yue Ren
• 金额: $ 63.15万
• 依托单位: Durham University
• 依托单位国家: 英国
• 项目类别: Fellowship
• 财政年份: 2024
• 资助国家: 英国
• 起止时间: 2024 至 无数据
• 项目状态: 未结题
• 来源: https://gtr.ukri.org/projects?ref=MR%2FY003888%2F1
• 关键词: Computational; Tropical; Geometry; its; Applications

In high school, students learn that the equation x^2-x-2=0 has two solutions: x=-1 and x=2. But what if there are more equations and variables like x^2+11*y^2+x+3y+1 = 0 and x^2+13*y^2+2x+y+5 = 0?Such polynomial systems appear in many applications, they describe the dynamics of reactions in a chemical production process or the movement of robot arms along an assembly line. Solving these systems is an important but computationally difficult task.A go-to method for solving such systems is homotopy continuation, which involves picking an easy start system with known solutions and deforming it to the target system. If done carefully, every solution of the start system can be traced to a solution of the target system. For the system above, a potential start system to the target system above is x^2-x-2 = 0 and y^2-y-2 = 0.However, picking the start system requires an accurate estimate on the number of target solutions. This is especially challenging for systems arising in applications, where the variables carry meaning and the equations have structure. Because meaning and structure vary from application to application, it is difficult to find a method that works in general.This is the main project for which we will be using using tropical geometry. In tropical geometry, each polynomial is assigned a piecewise linear object, and from how these so-called tropical varieties intersect each other, we can estimate the number of target solutions. Tropical varieties also arise naturally in many other areas, like phylogenetics, economics or machine learning. This diversity is one of the key strengths of tropical geometry which we will be exploiting. It serves as a bridge between vastly different areas, allowing for an exchange of ideas and solutions. Problems that appear impossible in one area may very well be solvable in another.

在高中，学生了解到方程 x^2-x-2=0 有两个解：x=-1 和 x=2。但是如果有更多的方程和变量，比如 x^2+11*y^2+x+3y+1 = 0 和 x^2+13*y^2+2x+y+5 = 0 呢？出现这样的多项式系统在许多应用中，它们描述化学生产过程中的反应动力学或机器人手臂沿装配线的运动。求解这些系统是一项重要但计算困难的任务。求解此类系统的首选方法是同伦延拓，其中涉及选择具有已知解的简单启动系统并将其变形为目标系统。如果仔细操作，起始系统的每个解都可以追溯到目标系统的一个解。对于上述系统，上述目标系统的潜在启动系统为 x^2-x-2 = 0 且 y^2-y-2 = 0。但是，选择启动系统需要准确估计目标数量解决方案。这对于应用程序中出现的系统尤其具有挑战性，其中变量具有意义并且方程具有结构。由于意义和结构因应用而异，因此很难找到一种通用的方法。这是我们将使用热带几何的主要项目。在热带几何中，每个多项式都被分配一个分段线性对象，并且根据这些所谓的热带变量如何彼此相交，我们可以估计目标解的数量。热带品种也在许多其他领域自然出现，例如系统发育学、经济学或机器学习。这种多样性是我们将要利用的热带几何学的关键优势之一。它充当了不同领域之间的桥梁，允许交流想法和解决方案。在一个领域看似不可能的问题在另一领域很可能可以解决。