[논문 리뷰] On geometric complexity theory: Multiplicity obstructions are stronger than occurrence obstructions

Julian Dörfler, Christian Ikenmeyer외 1명|arXiv (Cornell University)|2019. 01. 14.

Polynomial and algebraic computation인용 수 4

한 줄 요약

이 논문은 기하학적 복잡도 이론에서 표현 이론적 다중도 차단법이 발생 차단법보다 엄밀히 강력한 첫 번째 증명된 분리 결과를 제시한다. 초원형 다항식의 초원형 다양체와 경계 워링 차수로 제한된 다항식의 다양체에 대해, 다중도 차단법은 발생 차단법이 실패하는 경우에도 다양체를 분리할 수 있음을 보여주며, 이는 다중도가 발생보다 엄밀히 더 강력한 능력을 지닌 구체적인 설정을 제공한다.

ABSTRACT

Geometric Complexity Theory as initiated by Mulmuley and Sohoni in two papers (SIAM J Comput 2001, 2008) aims to separate algebraic complexity classes via representation theoretic multiplicities in coordinate rings of specific group varieties. The papers also conjecture that the vanishing behavior of these multiplicities would be sufficient to separate complexity classes (so-called occurrence obstructions). The existence of such strong occurrence obstructions has been recently disproven in 2016 in two successive papers, Ikenmeyer-Panova (Adv. Math.) and B\\"urgisser-Ikenmeyer-Panova (J. AMS). This raises the question whether separating group varieties via representation theoretic multiplicities is stronger than separating them via occurrences. This paper provides for the first time a setting where separating with multiplicities can be achieved, while the separation with occurrences is provably impossible. Our setting is surprisingly simple and natural: We study the variety of products of homogeneous linear forms (the so-called Chow variety) and the variety of polynomials of bounded border Waring rank (i.e. a higher secant variety of the Veronese variety). As a side result we prove a slight generalization of Hermite's reciprocity theorem, which proves Foulkes' conjecture for a new infinite family of cases.

연구 동기 및 목표

• 기하학적 복잡도 이론에서 다중도 차단법이 발생 차단법보다 엄밀히 강력할 수 있는지에 대한 스콧 어론슨의 미해결 질문을 해결하기 위해.
• 다중도 차단법이 성공하고 발생 차단법이 실패하는 자연스러운 대수기하학적 설정을 특정하기 위해.
• 푸크스의 추측을 새로운 무한한 경우에 대해 해결하는 일반화된 허미트 상호법칙 정리를 증명하기 위해.
• 기하학적 복잡도 이론에서 표현 이론적 다중도가 발생 차단법을 통해 달성할 수 없는 분리를 제공하는 최초의 명시적 예를 제시하기 위해.

제안 방법

• 저자들은 m개 변수에서 동차 다항식의 공간 위에서 GL_m의 작용을 분석하며, 두 개의 GL_m-불변 부분다양체인 초원형 다양체와 버로네제 다양체의 고차 시퀀스 다양체에 집중한다.
• 좌표환의 표현 이론적 다중도를 비교하기 위해, 초원형 다양체와 워링 차수 다양체의 좌표환에서의 기약 표현의 다중도를 특성 이론과 대칭 함수 기법을 사용하여 분석한다.
• 핵심 기술 도구는 허미트 상호법칙의 일반화로, 이는 저자가 두 다양체의 좌표환에서의 다중도를 계산하고 비교할 수 있도록 한다.
• 이전에 Ikenmeyer-Panova 및 Bürgisser-Ikenmeyer-Panova에서 증명된 lin과 마찬가지로 발생 차단 기준이 실패하는 반면, 초원형 다양체의 좌표환에서의 비영 다중도로 인해 다중도 차단 기준이 성공함을 보여준다.
• 이 증명은 초원형 다양체의 좌표환에 비영 다중도를 가진 특정 기약 표현이 포함되어 있으나, 워링 차수 다양체의 좌표환에는 포함되어 있지 않다는 사실에 기반한다. 이는 둘 다 GL_m-다양체임에도 불구하고 성립한다.
• 저자들은 대칭 다항식과 플레티즘 계수의 구조를 활용하여, 초원형 다양체 설정에서 다중도 차단법이 비영임을 입증한다.

실험 결과

연구 질문

• RQ1 기하학적 복잡도 이론에서 다중도 차단법이 어떤 자연스러운 설정에서도 발생 차단법보다 엄밀히 강력할 수 있는가?
• RQ2 두 다항식이 대칭적 구성으로 정의된 다항식 다양체일지라도, 한 다양체의 좌표환에 포함된 비영 다중도를 가진 기약 표현이 다른 다양체에는 존재하지 않는 설정이 존재하는가?
• RQ3 일반화된 허미트 상호법칙 정리는 푸크스의 추측에 대해 새로운 사례를 도출하는가?
• RQ4 초원형 다양체의 좌표환에서의 다중도를 고려함으로써 발생 차단법의 실패를 극복할 수 있는가?
• RQ5 다중도 차단법이 성공하고 발생 차단법이 실패하는 최소한의 설정이 엄밀히 존재하는가?

주요 결과

• 논문은 다중도 차단법이 성공하고 발생 차단법이 실패하는 두 개의 GL_m-다양체—구체적으로 초원형 다양체와 버로네제 다양체의 고차 시퀀스 다양체—를 분리하는 첫 번째 알려진 예를 구성한다.
• 저자들은 초원형 다양체의 좌표환에 비영 다중도를 가진 특정 기약 표현이 포함되어 있으나, 워링 차수 다양체의 좌표환에는 포함되어 있지 않음을 증명함으로써, 다중도를 통한 엄밀한 분리를 확립한다.
• 일반화된 허미트 상호법칙 정리를 증명하였으며, 이는 대칭 함수 이론에서 알려진 결과를 새로운 무한한 경우에 대해 확장한다.
• 논문은 이 설정에서 다중도 차단 기준이 발생 차단 기준보다 엄밀히 강력함을 보여주며, 스콧 어론슨의 질문에 긍정적으로 답한다.
• 분리는 놀랍도록 단순하고 자연스러운 기하학적 설정에서 달성된다: 선형형식의 곱으로 이루어진 다항식의 다양체와 경계 워링 차수로 제한된 다항식의 다양체 사이에서.
• 결과들은 좌표환에서의 표현 이론적 다중도가 기하학적 복잡도 이론에서 순수한 발생 조건보다 더 강력한 분리 도구가 될 수 있음을 보여준다.