quantizing Schur functors

几何复杂性理论是运用代数几何和表示理论研究复杂性理论中P与NP及相关问题的一种方法。表示理论中的一个基本问题，被认为对这种方法很重要，是Kronecker问题，它要求一个正组合公式来分解对称群的两个不可约表示的张量积为不可约。在过去的几十年里，量子群和晶体基理论得到了积极的发展，是连接组合学和表示理论的有力工具。在过去的十年中，Berenstein、Zwicknagl、Mulmuley、Sohoni等人尝试使用这个工具来研究Kronecker和相关的体积问题。最近，研究者和他的合作者Mulmuley和Sohoni已经获得了克罗内克问题晶体基理论的开端。这个项目的主要目标是进一步推动这种方法。更广泛地说，本项目旨在进一步探索代数组合中复杂性理论与正性之间的潜在深层联系，这是由几何复杂性理论发起的。代数中产生的对象通常是复杂的、神秘的，并且具有许多对称性。代数组合学是研究计数和组织这类物体的学科。这个项目将探索这个领域和复杂性理论（算法及其局限性的研究）之间的一些令人惊讶的联系。张量分解问题是一个重要而困难的问题，它出现在许多领域，包括代数组合学、复杂性理论和统计学，并在医学、计算机视觉、化学和快速矩阵乘法中有应用。本质上，它是一个从混合信号中恢复单个信号的问题。这个项目通过应用代数组合学的强大工具，为这个问题提供了潜在的新见解。

Geometric complexity theory is an approach to P versus NP and related problems in complexity theory using algebraic geometry and representation theory. A fundamental problem in representation theory, believed to be important for this approach, is the Kronecker problem, which asks for a positive combinatorial formula for decomposing the tensor product of two irreducible representations of the symmetric group into irreducibles. The theory of quantum groups and crystal bases, which has been actively developed over the last several decades, is a powerful tool for connecting combinatorics and representation theory. In the last decade, there have been several attempts, by Berenstein, Zwicknagl, Mulmuley, Sohoni, and others, to use this tool to study the Kronecker and related plethysm problems. Recently, the investigator and his collaborators Mulmuley and Sohoni have obtained the beginnings of a theory of crystal bases for the Kronecker problem. The main goal of this project is to push this approach further. More broadly, this project aims to further explore the potentially deep connections between complexity theory and positivity in algebraic combinatorics as has been initiated by geometric complexity theory.Objects arising in algebra are typically complicated, mysterious, and have many symmetries. Algebraic combinatorics is the study of counting and organizing such objects. This project will explore some surprising connections between this area and complexity theory (the study of algorithms and their limitations). The tensor decomposition problem is an important and difficult problem that shows up in many fields, including algebraic combinatorics, complexity theory, and statistics, and has applications in medicine, computer vision, chemistry, and fast matrix multiplication. Essentially, it is the problem of recovering individual signals from a mixture of signals. This project offers potential new insights into this problem by applying powerful tools from algebraic combinatorics.