[논문 리뷰] On P vs. NP, Geometric Complexity Theory, and the Riemann Hypothesis

Ketan Mulmuley|ArXiv.org|2009. 08. 13.

Algebraic structures and combinatorial models참고 문헌 24인용 수 6

한 줄 요약

이 논문은 특성 0에서 P 대 비대칭 문제와 #P 대 NC 문제를 다루기 위해 기하학적 복잡도 이론(GCT) 프레임워크를 제안한다. 표현 이론과代수기하학을 활용하여 영구행렬 대 행렬식 문제를 양의 질문으로 환원한다. 핵심 기여는 유한체 위의 리만 가설과 비표준 양자군 구조를 통한 복잡도 하한의 해소 사이에 추측적 다리를 놓는 것이다.

ABSTRACT

Geometric complexity theory (GCT) is an approach to the $P$ vs. $NP$ and related problems. A high level overview of this research plan and the results obtained so far was presented in a series of three lectures in the Institute of Advanced study, Princeton, Feb 9-11, 2009. This article contains the material covered in those lectures after some revision, and gives a mathematical overview of GCT. No background in algebraic geometry, representation theory or quantum groups is assumed.

연구 동기 및 목표

• 특성 0에서 P 대 비대칭 문제와 #P 대 NC 문제를 해결하기 위한 기하학적 및 표현론적 프레임워크를 수립하기.
• 비표준 양자군 구조를 통해 양의 성질을 가진 표준 기저를 이용해 구체적이고 검증 가능한 하드함성 증명을 구성함으로써 복잡도 장벽을 극복하기.
• 비표준 양자군의 표현을 통해 리틀우드-리치드슨 규칙을 펠리스미(plethysm)와 부분군 제약 문제로 일반화하기.
• 고전 결과를 비표준 양자군으로 올림으로써 복잡도 이론에서 '플립' 전략의 수학적 기반을 제공하기.
• 특히, 유한체 위의 비표준 리만 가설과 같은 깊은 수론적 추측을 복잡도 이론의 계산 하한과 연결하기.

제안 방법

• 특정 군 작용에 관해 불변인 유일한 다항식으로 영구행렬과 행렬식을 특성화함으로써 대칭성을 이용해 그 복잡도 클래스를 정의하기.
• GL_n에 대한 와일 모듈이 GL_m의 표현의 대칭적 거듭제곱에 통합되는지 여부로 영구행렬 대 행렬식 문제를 질문으로 제시하기.
• 기하학적 불변량 이론을 적용하여 영구행렬의 궤도 폐쇄를 계열 다양체로 정의하고, 이를 통해 하드함성 가설(PH1)을 정의하기.
• 표준 및 비표준 양자군을 통한 부분군 통합의 양자화를 도입하여 고전 표현을 양자 환경으로 옮기기.
• 비표준 양자군의 기약 표현에 대한 표준 기저를 구성하고, 부분군 작용에 대해 양의 성질을 가진다 고 추측하기.
• 이 기저의 양의 성질을 활용하여 하드함성 가설(PH1)을 증명하고, 이는 특성 0에서 #P 대 NC 추측을 함의한다.

실험 결과

연구 질문

• RQ1 영구행렬 대 행렬식 문제는 비표준 양자군의 표준 기저에서의 양의 질문으로 환원될 수 있는가?
• RQ2 비표준 양자군 구조를 통해 텐서곱의 다중성에 대한 리틀우드-리치드슨 규칙은 펠리스미로 일반화될 수 있는가?
• RQ3 유한체 위의 리만 가설은 비표준 양자군으로 확장되어 표준 기저의 양의 성질을 증명할 수 있는가?
• RQ4 기하학적 및 표현론적 방법을 통해 특성 0에서 #P 대 NC 추측에 대한 구조적이고 명시적인 증명이 가능한가?
• RQ5 비표준 양자군의 부분군 통합과 표준 기저를 통해 복잡도 이론의 '플립' 전략을 실현할 수 있는가?

주요 결과

• 비표준 양자군의 표준 기저의 양의 성질을 기반으로, 비트 연산 없이도 비균일 P ≠ NC 결과가 기하학적으로 유도된 무조건적 하한으로 확립된다.
• 특성 0에서의 영구행렬 대 행렬식 문제는 펠리스미 사상과 관련된 비표준 양자군에 대해 양의 표준 기저가 존재함을 증명하는 것으로 환원된다.
• 리틀우드-리치드슨 양의 성질(LR PH0)은 양자화를 통해 펠리스미 설정으로 확장되어 펠리스미 PH0 가설로 이어진다.
• GCT7과 GCT8는 비표준 양자군의 표준 기저를 구성하는 데 추측적으로 올바른 알고리즘을 제공하며, 이들의 양의 성질은 하드함성 가설을 함의한다.
• GCT의 궁극적 목표는 비표준 유한체 위의 리만 가설을 통해 기하학적 및 표현론적 환원의 사슬을 거쳐 P ≠ NP를 도출하는 것이다.