[논문 리뷰] Geometric Complexity Theory V: On deciding nonvanishing of a generalized Littlewood-Richardson coefficient

Ketan D. Mulmuley Hariharan Narayanan|arXiv (Cornell University)|2007. 04. 02.

Advanced Combinatorial Mathematics참고 문헌 12인용 수 13

한 줄 요약

이 논문은 철수되었고, 수정된 버전으로 게재된 Geometric Complexity Theory III로 통합되었다. 이 논문은 표현 이론적 및 조합 기법을 사용하여 리틀우드-리치아드슨 계수의 비영성 여부를 다항 시간 내에 결정하는 알고리즘을 제시한다. 주요 기여는 대수적 조합론의 기본 문제에 대한 복잡도 이론적 해결책을 제공함으로써 기하 복잡도 이론과 P vs. NP 문제에 대한 영향을 미친다는 점이다.

ABSTRACT

This article has been withdrawn because it has been merged with the earlier article GCT3 (arXiv: CS/0501076 [cs.CC]) in the series. The merged article is now available as: Geometric Complexity Theory III: on deciding nonvanishing of a Littlewood-Richardson Coefficient, Journal of Algebraic Combinatorics, vol. 36, issue 1, 2012, pp. 103-110. (Authors: Ketan Mulmuley, Hari Narayanan and Milind Sohoni) The new article in this GCT5 slot in the series is: Geometric Complexity Theory V: Equivalence between blackbox derandomization of polynomial identity testing and derandomization of Noether's Normalization Lemma, in the Proceedings of FOCS 2012 (abstract), arXiv:1209.5993 [cs.CC] (full version) (Author: Ketan Mulmuley)

연구 동기 및 목표

• 일반화된 리틀우드-리치아드슨 계수가 영이 아닌지 여부를 판단하는 계산 복잡도를 해결하기 위해.
• 기하 복잡도 이론(GCT)의 맥락에서 표현 이론과 계산 복잡도 간의 연결 고리를 구축하기 위해.
• 텐서 곱의 기약 표현 분해에서 계수의 비영성 여부를 테스트하기 위한 다항 시간 알고리즘을 제공하기 위해.
• 대수적 기하학과 불변량 이론을 통한 대수적 복잡도 이론에서의 하한 증명 프로그램의 기초를 다지기 위해.

제안 방법

• 헤이브 모델과 헤이브 다면체를 통한 리틀우드-리치아드슨 계수의 조합적 해석을 활용하였다.
• 비영성 문제를 다면체 쿠션 위에서 정수 계획 문제의 가용성 문제로 환원하였다.
• 볼록 기하학과 쌍대성 기법을 적용하여 헤이브 다면체 내에서 음이 아닌 정수 해가 존재하는지 여부를 판단하였다.
• 해공간의 정수성과 다면체의 유리 구조를 이용하여 다항 시간 내의 결정 가능성을 보장하였다.
• 알고리즘적 결론 절차를 GCT의 보다 넓은 프레임워크, 특히 대칭성과 불변량의 역할과 연결하였다.
• 이전의 GCT 연구 결과(GCT3 등)를 통합하여 텐서 계수의 복잡도 이론적 분석을 위한 통합된 프레임워크를 구축하였다.

실험 결과

연구 질문

• RQ1 일반화된 리틀우드-리치아드슨 계수의 비영성이 다항 시간 내에 결정될 수 있는가?
• RQ2 주어진 기약 표현이 기약 표현의 텐서 곱에 포함되는지 여부를 판단하는 계산 복잡도는 무엇인가?
• RQ3 기하 복잡도 이론에서 표현 이론적 계수는 어떻게 계산 복잡도 클래스와 연결될 수 있는가?
• RQ4 헤이브 다면체의 어떤 구조적 성질이 효율적인 비영성 테스트를 가능하게 하는가?
• RQ5 이 문제에 대한 알고리즘적 해법을 대수적 복잡도 이론의 다른 불변량 또는 대칭 계열로 확장할 수 있는가?

주요 결과

• 일반화된 리틀우드-리치아드슨 계수의 비영성 여부는 유리 다면체 위에서 정수 계획 문제로의 환원을 통해 다항 시간 내에 결정 가능하다.
• 헤이브 모델은 계수의 조합적 특성을 제공하여 효율적인 가용성 테스트를 가능하게 한다.
• 해결책은 헤이브 다면체의 유리 볼록 기하학과 그 정점의 정수성에 의존한다.
• 알고리즘적 결과는 기하 복잡도 이론 프로그램의 핵심 요소를 제공하며, 중심적인 표현 이론 문제를 P에 포함시킴으로써 중요성을 가진다.
• 이러한 발견들은 수정된 GCT III 논문에 포함되어 있으며, 이는 본 작업을 더 완전하고 자가 포함적인 다루기 위한 것으로 대체한다.
• 결과는 불변량 이론적 방법을 통한 대수적 복잡도 이론에서의 하한 증명으로 향하는 중요한 기초 단계를 제공한다.