[논문 리뷰] An introduction to geometric complexity theory

J. M. Landsberg|arXiv (Cornell University)|2015. 09. 08.

Advanced Graph Theory Research참고 문헌 24인용 수 5

한 줄 요약

이 논문은 발리언트의 대수적 복잡도 추측을 다루기 위한 프레임워크로 기하학적 복잡도 이론(GCT)을 제안한다. 이 추측은 행렬의 행렬식을 계산하는 것보다 행렬의 영구행렬을 계산하는 것이 본질적으로 더 어렵다는 것을 시사한다. 대수적 기하학, 표현 이론, 미분 기하학의 도구—특히 크로네커 및 플레티즘 계수의 연구—를 활용하여, 영구행렬이 결정식 유사 공식을 통해 효율적으로 계산될 수 없다는 기하학적 접근을 제공함으로써, 대수적 P vs. NP 문제를 해결할 잠재적 길을 제시한다.

ABSTRACT

I survey methods from differential geometry, algebraic geometry and representation theory relevant for the permanent v. determinant problem from computer science, an algebraic analog of the P v. NP problem.

연구 동기 및 목표

• 수학자들을 대상으로 기하학적 복잡도 이론(GCT)에 대한 종합적인 소개를 제공하기 위해.
• 영구행렬 대 비결정식 문제를 P vs. NP 추측의 대수적 유사체로 프레임을 재구성하기 위해.
• 영구행렬과 비결정식과 같은 대칭 다항식의 복잡도를 연구하기 위해 기하학적 및 표현 이론적 도구를 사용하는 방법을 설명하기 위해.
• 영구다항식의 구조를 이해하는 데 크로네커 및 플레티즘 계수의 중요성을 확립하기 위해.
• 벡터 다발과 코hom올로지 방법의 사용을 동기화하여 표현 이론적 중복도의 渐近적 행동을 분석하기 위해.

제안 방법

• 불러-바일 정리를 사용하여 기약 표현을 동류 다양체 위의 벡터 다발의 단면 공간으로 실현하기 위해.
• 벡터 다발의 필터레이션을 적용하여 크로네커 및 플레티즘 계수와 같은 표현 이론적 계수를 정리하고 경계를 설정하기 위해.
• 셰어의 코hom올로지의 정체성을 적용하여 중복도의 상한이 渐近적으로 날카로워짐을 보여주기 위해.
• 최고 무게 벡터와 무게 공간을 통해 $ GL(V) $-모듈로서의 대칭 거듭제곱의 분해인 $ S^d(S^n V) $ 를 분석하기 위해.
• 변형 다항식의 옥스큘레이팅 수열을 연구하여 $ d $ 와 $ n $ 이 증가함에 따라 표현 이론적 중복도의 안정적 행동을 이해하기 위해.
• 분해식 $ S^n(x_1 \oplus T) = \bigoplus_{j=0}^n x_1^{n-j} \otimes S^j T $ 를 사용하여 대칭 거듭제곱의 구조와 그 $ GL(V) $-모듈 분해를 분석하기 위해.

실험 결과

연구 질문

• RQ1 영구다항식은 변수들의 아핀 선형 함수를 성분으로 갖는 행렬의 행렬식으로 표현될 수 있는가?
• RQ2 고정된 $ \pi $ 에 대해 $ d $ 와 $ n $ 이 증가함에 따라 $ S^d(S^n V) $ 에서 기약 $ GL(V) $-모듈의 중복도의 渐近적 행동은 어떠한가?
• RQ3 벡터 다발과 코hom올로지와 같은 기하학적 방법을 사용하여 크로네커 및 플레티즘 계수를 어떻게 경계하고 계산할 수 있는가?
• RQ4 어떤 조건을 만족할 경우 파artition $ \pi $ 는 $ \text{mult}(S_\pi W, S^d(S^n W)) \neq 0 $ 를 보장하며, 이는 영구행렬 대 비결정식 문제와 어떻게 관련되는가?
• RQ5 제트 공간과 옥스큘레이팅 수열을 통한 기하학적 접근이 대칭다항식의 복잡도를 분석하는 체계적인 방법을 제공할 수 있는가?

주요 결과

• 중복도 $ \text{mult}(S_{(dn - |\mu|, \mu)}, S^d(S^n V)) $ 는 $ d $ 와 $ n $ 의 함수로서 비감소적이며, 이는 안정적인 渐近적 행동을 나타낸다.
• 고정된 $ \pi $ 에 대해 기약 $ GL(V) $-모듈 $ S_\pi V $ 의 중복도는 최종적으로 일정해지며, 코hom올로지의 소멸 정리에 의해 경계가 달성된다.
• $ S^d(S^n V) $ 내의 최고 무게 벡터 $ ((x_1)^n)^d $ 는 $ S_{(dn)} V $ 와 동형인 부분모듈을 생성하며, 그 무게 공간의 구조는 고차원 무게 성분의 존재를 드러낸다.
• $ S^n(x_1 \oplus T) $ 의 분해식 $ \bigoplus_{j=0}^n x_1^{n-j} \otimes S^j T $ 는 $ [x_1^n] $ 에서의 $ n $-번째 버로네제 임bedding 의 옥스큘레이팅 수열에 대한 기하학적 모델을 제공한다.
• 벡터 다발과 그 관련된 순서 구조를 사용하면 표현 이론적 중복도에 대한 상한을 명시적으로 계산할 수 있으며, 세르의 정리에 의해 이 상한은 渐近적으로 날카로워진다.
• 마르쿠스와 민크의 결과에 따르면, $ m > 2 $ 일 때 $ \text{perm}_m(Y) $ 는 변수 $ y^i_j $ 에 대한 아핀 선형 성분을 갖는 크기 $ m $ 의 행렬식으로 표현될 수 없으며, 이는 영구행렬의 본질적 복잡성을 뒷받침한다.