[논문 리뷰] Geometric Complexity Theory V: Equivalence between blackbox derandomization of polynomial identity testing and derandomization of Noether's Normalization Lemma

Ketan Mulmuley|arXiv (Cornell University)|2012. 09. 26.

Computability, Logic, AI Algorithms인용 수 8

한 줄 요약

이 논문은 다항식 항등성 테스팅(PIT)의 블랙박스 비확률화와 명시적 대수다양체에 대한 노이터 정규화 보조정리의 비확률화 사이의 등가성을 확립한다. 특히 행렬 튜플에 대한 GL의 수반 작용의 맥락에서 이와 같은 등가성을 다룬다. 블랙박스 비확률화된 기호적 트레이스 항등성 테스팅(STIT)은 특성 0에서 노이터 보조정리의 비확률화 복잡도를 EXPSPACE에서 P로 감소시키며, GRH 하에서는 quasi-PH로 감소시킨다.

ABSTRACT

It is shown that black-box derandomization of polynomial identity testing (PIT) is essentially equivalent to derandomization of Noether’s Normalization Lemma for explicit algebraic varieties, the problem that lies at the heart of the foundational classification problem of algebraic geometry. Specifically: (1) It is shown that in characteristic zero black-box derandomization of the symbolic trace identity testing (STIT) brings the problem of derandomizing Noether’s Normalization Lemma for the ring of invariants of the adjoint action of the general linear group on a tuple of matrices from EXPSPACE (where it is currently) to P. Next it is shown that assuming the Generalized Riemann Hypothesis (GRH), instead of the blackbox derandomization hypothesis, brings the problem from EXPSPACE to quasi-PH, instead of P. Thus black-box derandomization

연구 동기 및 목표

• 블랙박스 PIT 비확률화와 명시적 대수다양체에 대한 노이터 정규화 보조정리의 비확률화 사이의 근본적인 등가성을 확립한다.
• GL의 수반 작용에 의한 행렬 튜플의 불변량 링에 대한 노이터 정규화 보조정리의 비확률화 복잡도를 감소시킨다.
• 일반화된 리만 가설(GRH)이 노이터 보조정리의 비확률화 복잡도에 미치는 영향을 탐색한다.
• 기호적 트레이스 항등성 테스팅(STIT) 프레임워크를 통해 대수기하학과 계산복잡도 이론의 기초 문제들을 연결한다.

제안 방법

• 블랙박스 PIT의 변종인 기호적 트레이스 항등성 테스팅(STIT)을 활용하여, 대수적 복잡도 이론과 기하학적 불변량 이론 간의 비확률화를 연결한다.
• 특성 0에서 GL의 수반 작용에 의한 행렬 튜플에 대한 노이터 정규화 보조정리의 비확률화 문제를 STIT으로 감소시킨다.
• 블랙박스 비확률화 가정을 적용하여, STIT 비확률화가 노이터 정규화 보조정리의 P시간 알고리즘을 암시함을 보여준다.
• 일반화된 리만 가설(GRH)을 대안적 가정으로 활용하여, P가 아닌 quasi-PH 상한을 달성한다.
• 기하학적 복잡도 이론의 기법을 활용하여, 대수기하학 문제를 계산복잡도 클래스와 연결한다.
• 행렬 불변량으로 정의된 명시적 대수다양체에서 정규화 보조정리의 복잡도를 분석한다.

실험 결과

연구 질문

• RQ1 블랙박스 PIT 비확률화와 명시적 대수다양체에 대한 노이터 정규화 보조정리의 비확률화 사이에 등가성이 존재하는가?
• RQ2 STIT 비확률화가 특성 0에서 행렬 불변량에 대한 노이터 정규화 보조정리의 복잡도를 EXPSPACE에서 P로 감소시킬 수 있는가?
• RQ3 일반화된 리만 가설(GRH)을 가정할 경우, 노이터 정규화 보조정리의 비확률화 복잡도는 얼마인가?
• RQ4 기호적 트레이스 항등성 테스팅(STIT) 프레임워크는 대수기하학과 계산복잡도 이론 간의 다리 역할을 어떻게 수행하는가?
• RQ5 GL의 수반 작용에 의한 행렬 튜플의 맥락에서, PIT 비확률화와 노이터 보조정리 비확률화 사이의 등가성은 어느 정도 유지되는가?

주요 결과

• 블랙박스 STIT 비확률화는 특성 0에서 GL의 수반 작용에 의한 행렬 튜플에 대한 노이터 정규화 보조정리의 비확률화가 P에 속함을 암시한다.
• 일반화된 리만 가설(GRH) 하에서는 동일한 설정에서 노이터 정규화 보조정리의 비확률화가 P가 아니라 quasi-PH에 속함을 보여준다.
• 명시적 대수다양체에 대한 노이터 정규화 보조정리의 비확률화 문제는 블랙박스 PIT 비확률화와 등가임을 입증한다.
• 현재 주어진 불변량 링에 대한 노이터 정규화 보조정리의 비확률화 복잡도는 EXPSPACE이며, 제시된 가정 하에서는 상당히 감소된다.
• 등가성은 계산복잡도와 대수기하학의 기초 문제, 특히 기하학적 불변량 이론에서 깊은 연결을 수립한다.
• 결과적으로, 블랙박스 방법을 통한 PIT 비확률화의 진전이 정규화 보조정리의 장기적인 복잡도 한계에 돌파구를 제공할 수 있음을 보여준다.