Invariant Theory and Complexity Theory for Quiver Representations and Tensors

不变量理论研究高维空间中在对称性下保持不变的量。例如，点到旋转轴的距离是旋转对称性的不变量。不变量理论在物理、化学和其他数学领域有许多有用的应用。不变量理论中的一个经典任务是找到给定对称群的基本不变量的有限列表，使得所有不变量都可以用基本不变量来表示。在这个项目中，首席研究员和他的合作者计划找到基本不变量大小的界限，并将这些结果应用于高维数组(也称为张量)、图和理论计算机科学中的问题的对称。主要研究人员积极参与与这项研究相关的领域的研究生培训。特别感兴趣的一个例子是特殊线性群对n×n矩阵的m元组同时进行左右乘法。主要研究者和他的合作者得到了基本多项式不变量的次数的多项式度的界，并将这一结果应用于非对易Edmond问题和非对易有理恒等式检验的确定性多项式时间算法。该项目专注于张量不变量理论和构造性不变量理论的新应用，例如图形同构问题和BrasCamp-Lieb不等式。该奖项反映了NSF的法定使命，并通过使用基金会的智力优势和更广泛的影响审查标准进行评估，被认为值得支持。

Invariant theory studies quantities that remain unchanged under symmetries in high dimensional spaces. For example, the distance of a point to the rotation axis is an invariant for the rotation symmetry. Invariant theory has many useful applications in physics, chemistry, and other areas of mathematics. A classical task in invariant theory is to find a finite list of fundamental invariants for a given group of symmetries, such that all invariants can be expressed in terms of the fundamental invariants. In this project, the principal investigator and his collaborators plan to find bounds for the size of fundamental invariants and apply these results to symmetries of high-dimensional arrays (also called tensors), graphs, and questions in theoretical computer science. The principal investigator is actively involved in the training of graduate students in fields close to this research.An example of particular interest is the action of simultaneous left and right multiplication of the special linear group on m-tuples of n by n matrices. The principal investigator and his collaborators obtained polynomial degree bounds for the degrees of fundamental polynomial invariants, and this result has been applied to get deterministic polynomial time algorithms for the noncommutative Edmond's problem and for noncommutative rational identity testing. This project focuses on invariant theory for tensors and new applications of constructive invariant theory, such as the graph isomorphism problem and Brascamp-Lieb inequalities.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.