[논문 리뷰] An overview of mathematical issues arising in the Geometric complexity theory approach to VP v.s. VNP

Peter Bürgisser, J. M. Landsberg외 2명|arXiv (Cornell University)|2009. 07. 16.

Advanced Combinatorial Mathematics참고 문헌 59인용 수 23

한 줄 요약

이 논문은 일반선형군 작용 하에서 영구행렬 다항식과 행렬식 다항식의 궤도 폐쇄에 대한 기하적 복잡도 이론(Geometric Complexity Theory, GCT) 프로그램의 접근 방식을 종합적으로 개괄한다. 만약 영구행렬의 궤도 폐쇄 내에서의 근사 순서가 다항식적으로 유계이면, VP_ws = overline( VP_ws )가 성립하며, 이는 표현론적 차단을 통한 대수적 복잡도 클래스의 핵심 분리 결과를 의미한다.

ABSTRACT

We discuss the geometry of orbit closures and the asymptotic behavior of Kronecker coefficients in the context of the Geometric Complexity Theory program to prove a variant of Valiant's algebraic analog of the P not equal to NP conjecture. We also describe the precise separation of complexity classes that their program proposes to demonstrate.

연구 동기 및 목표

• 기하학적 및 표현론적 프레임워크가 기하적 복잡도 이론(GCT) 프로그램에서 VP ≠ VNP를 증명하는 데 어떻게 기초가 되는지 명확히 하기.
• GCT가 목표로 하는 정확한 복잡도 클래스 분리, 즉 다항식적으로 유계인 근사 순서 하에서 VP_ws = overline( VP_ws )를 규명하기.
• 궤도 폐쇄의 좌표환에 나타나는 기약 표현의 출현 여부를 결정하는 데 크로네커 계수와 대칭 크로네커 계수의 역할 분석하기.
• 함수들이 궤도에서 폐쇄로 어떻게 확장되는지 분석하는 확장 문제를, 좌표환의 모듈 구조 계산의 주요 장애물로 규명하기.
• 행렬식 궤도 폐쇄 내 곡선을 따라 영구행렬의 근사 순서가 다항식적으로 유계이면, GCT 프로그램에서 근사가 필요 없어지는지 검토하기.

제안 방법

• 논문은 GCT 프로그램을 표현론적 추측으로 재구성한다: 모든 c ≥ 1과 무한히 많은 m에 대해, 어떤 기약 GL_{m^{2c}}-모듈이 ℓ^{m^c - m} perm_m의 궤도 폐쇄의 좌표환에 포함되지만 det_{m^c}의 좌표환에는 포함되지 않는다.
• 궤도 폐쇄 포함성과 동차 좌표환의 제약 사상의 전성 사이의 동형을 이용해 문제를 표현론으로 환원한다.
• 더 큰 GL_{n^2}·(ℓ^{n−m} perm_m) 궤도 폐쇄로 정보를 전이하기 위해 부분 안정성의 개념을 도입한다.
• 대칭군 표현의 텐서곱에서의 중복도를 코딩하는 크로네커 계수와 대칭 크로네커 계수를 사용해 좌표환 내 모듈 출현에 대한 제약 조건을 표현한다.
• det_n 궤도 내 곡선을 따라 다항식의 거듭제곱 급수 전개를 이용한 근사 분석을 수행하며, 이러한 변형을 모델링하기 위해 R = ℂ[[ε]]를 사용한다.
• 만약 perm_m가 det_n 궤도 폐쇄 내에서의 근사 순서가 n에 대해 다항식적으로 유계이면, perm_m의 약하게 기울여진 회로 복잡도는 m에 대해 다항식적으로 유계지며, 이는 VP_ws = overline( VP_ws )를 의미한다.

실험 결과

연구 질문

• RQ1 행렬의 크기 n에 대해, GL_{n^2}-궤도 내에서 det_n의 궤도 폐쇄 내에서 영구행렬 다항식의 근사 순서가 다항식적으로 유계가 될 수 있는가?
• RQ2 다항식적으로 유계인 근사 순서의 존재가 영구행렬의 약하게 기울여진 회로 복잡도가 다항식적으로 유계임을 의미하는가?
• RQ3 크로네커 계수와 대칭 크로네커 계수는 perm_m 및 det_n 궤도 폐쇄의 좌표환에 나타나는 기약 표현의 출현을 어떻게 제약하는가?
• RQ4 기하학적 및 표현론적 도구를 사용해, 궤도에서 폐쇄로의 함수 확장을 어느 정도 해결할 수 있는가?
• RQ5 근사 순서가 다항식적으로 유계이면, GCT 프로그램이 근사를 피할 수 있는가?

주요 결과

• 만약 GL_{n^2}-궤도 내 곡선을 따라 perm_m의 근사 순서가 n에 대해 다항식적으로 유계이면, perm_m의 약하게 기울여진 회로 복잡도는 m에 대해 다항식적으로 유계지며, 이는 VP_ws = overline( VP_ws )를 의미한다.
• 이러한 다항식 유계 근사 순서의 존재는 GCT 프로그램이 제안한 핵심 복잡도 분리를 해결한다.
• 논문은 표현론적 차단 추측(추측 1.2)이 슈어의 보조정리에 의해 포함 추측(추측 1.1)을 함의함을 증명한다.
• 함수들이 궤도에서 폐쇄로 확장되는 문제(확장 문제)는 좌표환의 모듈 분해를 계산하는 데 있어 주요 장애물로 규명된다.
• 저자들은 기울여진 회로가 약하게 기울여진 회로를 최대 두 배의 크기로 시뮬레이션할 수 있음을 보이며, 거듭제곱 급수 변형의 상수항의 회로 크기는 전체 변형의 크기의 O(q^2) 배 이내로 유계임을 보였다.
• 다항식적으로 유계인 근사 순서를 가정할 경우, 극한 다항식 f_m의 약하게 기울여진 회로 복잡도는 다항식적으로 유계지며, 이는 VP_ws에 속함을 보여준다.