[논문 리뷰] Derandomizing the Isolation Lemma and Lower Bounds for Circuit Size

V. Arvind, Partha Mukhopadhyay|ArXiv.org|2008. 04. 07.

Complexity and Algorithms in Graphs참고 문헌 12인용 수 8

한 줄 요약

이 논문은 고립 렘마의 제한된 버전을 비확률화하면 비가환 및 가환 산술 회로에 대해 강력한 회로 크기 하한을 이끌어낸다는 것을 입증한다. 다항식 동일성 테스트와 고립 렘마를 연결함으로써, 저자들은 회로용으로 무작위 가중치 할당을 비확률화하면 NEXP⊄P/poly 또는 영구행렬이 다항식 크기의 산술 회로를 갖지 못한다는 것을 유도한다.

ABSTRACT

The isolation lemma of Mulmuley et al \cite{MVV87} is an important tool in the design of randomized algorithms and has played an important role in several nontrivial complexity upper bounds. On the other hand, polynomial identity testing is a well-studied algorithmic problem with efficient randomized algorithms and the problem of obtaining efficient \emph{deterministic} identity tests has received a lot of attention recently. The goal of this note is to compare the isolation lemma with polynomial identity testing: 1. We show that derandomizing reasonably restricted versions of the isolation lemma implies circuit size lower bounds. We derive the circuit lower bounds by examining the connection between the isolation lemma and polynomial identity testing. We give a randomized polynomial-time identity test for noncommutative circuits of polynomial degree based on the isolation lemma. Using this result, we show that derandomizing the isolation lemma implies noncommutative circuit size lower bounds. The restricted versions of the isolation lemma we consider are natural and would suffice for the standard applications of the isolation lemma. 2. From the result of Klivans-Spielman \cite{KS01} we observe that there is a randomized polynomial-time identity test for commutative circuits of polynomial degree, also based on a more general isolation lemma for linear forms. Consequently, derandomization of (a suitable version of) this isolation lemma also implies circuit size lower bounds in the commutative setting.

연구 동기 및 목표

• 고립 렘마의 비확률화와 회로 크기 하한을 증명하는 것 사이의 연결 고리를 조사하는 것.
• 고립 렘마의 제한된 비확률화가 비잔영 복잡도론적 결과를 이끌어내는지 탐색하는 것.
• 다항식 동일성 테스트에서 사용되는 고립 렘마의 비확률화가 비가환 및 가환 회로에 미치는 영향을 설정하는 것.
• 고립 렘마의 유효성을 유지하는 비확률화 가정을 제안하고 분석하는 것.
• 특정 고립 렘마의 비확률화가 주요 알고리즘 응용에서 중요한 기능을 유지하면서 주요 복잡도 클래스 분리나 회로 하한을 이끌어내는지 보여주는 것.

제안 방법

• 회로별 가중치 함수 기반의 비확률화 가정(Hypothesis 1)과 주어진 크기의 모든 회로에 대해 균일한 생성 방식의 비확률화 가정(Hypothesis 2)을 제안한다.
• 고립 렘마를 사용하여 무작위 가중치에 기반한 변수의 거듭제곱으로 대체함으로써 비가환 회로에 대한 랜덤화 다항식 시간 동일성 테스트를 구성한다.
• 유리 다항식의 선형 형식에 대한 일반화된 고립 렘마에 의존하는 클리반스-스피르만 동일성 테스트를 가환 회로에 적용한다.
• 이러한 고립 렘마의 비확률화를 가정하고 임파지아노-카바네츠 및 발리안트-바지라니의 기존 결과를 결합함으로써 회로 하한을 도출한다.
• 어느 회로에 정의된 가족 내에서 유일한 최소 가중치 집합을 고립하는 작은 가중치 함수 집합을 생성하는 결정론적 알고리즘이 존재함을 가정하여, 초지수적 결정론적 동일성 테스트를 도출한다.
• 단일 단항식 탐지 문제를 회로 수락 문제로 환원하고, NEXP ⊆ P/poly를 가정함으로써 비확률화 조건 하에서 모순을 이끌어내는 데 사용한다.

실험 결과

연구 질문

• RQ1 고립 렘마의 제한된 버전을 비확률화하면 비가환 산술 회로에 대해 회로 크기 하한이 유도되는가?
• RQ2 가환 회로에 대해 고립 렘마를 비확률화하면 NEXP⊄P/poly 또는 영구행렬의 산술 회로 크기 하한이 도출되는가?
• RQ3 고립 렘마의 비확률화와 산술 회로에 대한 초지수적 결정론적 동일성 테스트 존재 사이에 연결 고리가 있는가?
• RQ4 발리안트-바지라니 렘마를 비확률화할 수 있는 방법이 존재하는가? 그 경우 고립 렘마의 경우와 유사한 회로 하한을 이끌어내는가?
• RQ5 주어진 크기와 입력 길이에 대해 모든 회로에 대해 고유한 최소 가중치 집합을 고립하는 가중치 함수를 생성하는 결정론적 알고리즘을 가정할 경우, 어떤 복잡도론적 결과가 도출되는가?

주요 결과

• Hypothesis 1(회로별 가중치 생성)의 비확률화는 다항식 차수의 비가환 산술 회로가 초다항식 크기의 필요성을 유도한다.
• Hypothesis 2(크기 m의 모든 회로에 대해 균일한 가중치 생성)의 비확률화는 NEXP⊄P/poly 또는 ℤ 위에서 영구행렬이 다항식 크기의 산술 회로를 갖지 못한다는 것을 의미한다.
• 가환 회로에 대해 클리반스-스피르만 고립 렘마의 비확률화된 버전을 가정하면 ℚ 위의 다항식에 대해 초지수적 결정론적 동일성 테스트가 도출된다.
• NEXP ⊆ P/poly를 가정할 경우, 오рак불을 가진 EXP-완전 언어에 접근할 수 있는 회로에 대해 고립 렘마를 비확률화하면, 초지수적 크기의 가환 회로로 계산할 수 없는 명시적인 다항식이 존재한다는 것을 유도한다.
• 논문은 비가환 회로에 대해 고립 렘마를 비확률화하면, 무작위 가중치를 사용한 일변수 대입을 통한 랜덤화 다항식 시간 동일성 테스트를 도출함을 보여준다.
• 어느 회로에 정의된 가족 내에서 고유한 최소 가중치 집합을 고립하는 작은 가중치 함수 집합을 생성하는 결정론적 알고리즘이 존재하면, 산술 회로에 대해 초지수적 결정론적 동일성 테스트가 도출된다.