[논문 리뷰] An Almost Quadratic Lower Bound for Syntactically Multilinear Arithmetic Circuits

Mrinal Kumar, Ben Lee Volk|arXiv (Cornell University)|2017. 01. 01.

Complexity and Algorithms in Graphs참고 문헌 24인용 수 2

한 줄 요약

이 논문은 명시적인 다항식에 대해 문법적으로 다중선형 산술 회로의 크기에 대해 거의 2차 하한값인 $Ω(n^2/\log^2 n)$을 확립하며, 이는 이전의 $Ω(n^{4/3}/\log^2 n)$ 하한값을 향상시킨다. 이 결과는 극적 집합 이론에서 갈빈의 문제를 일반화하여 특정 매개변수 영역에서 점근적으로 최적의 하한값을 도출함으로써 달성된다.

ABSTRACT

We prove a lower bound of $\Omega(n^2/\log^2 n)$ on the size of any syntactically multilinear arithmetic circuit computing some explicit multilinear polynomial $f(x_1, \ldots, x_n)$. Our approach expands and improves upon a result of Raz, Shpilka and Yehudayoff [RSY08], who proved a lower bound of $\Omega(n^{4/3}/\log^2 n)$ for the same polynomial. Our improvement follows from an asymptotically optimal lower bound, in a certain range of parameters, for a generalized version of Galvin's problem in extremal set theory.

연구 동기 및 목표

• 다항식 계산의 복잡도를 이해하는 데 핵심적인 역할을 하는 문법적으로 다중선형 산술 회로에 대해 더 강력한 하한값을 확립하는 것.
• Raz, Shpilka, 그리고 Yehudayoff가 이전에 확립한 명시적인 다항식에 대해 $Ω(n^{4/3}/\log^2 n)$ 하한값을 향상시키는 것.
• 갈빈의 문제를 극적 집합 이론에서 더 넓은 매개변수 범위로 일반화하여, 회로 복잡도에 적용 가능한 더 강력한 하한값을 도출하는 것.

제안 방법

• 극적 집합 이론에서 갈빈의 문제를 더 넓은 유형의 집합 체계로 일반화하여 새로운 조합론적 하한값을 도출하는 것.
• 일반화된 극적 집합 이론 결과를 문법적으로 다중선형 회로의 구조 분석에 적용하는 것.
• 유도된 조합론적 하한값을 사용하여 이러한 회로에서 요구되는 게이트 수에 대한 하한값을 확립하는 것.
• 집합 체계와 회로 계층 간의 이중성 관계를 통해 극적 집합 이론적 제약 조건을 회로 복잡도 제약 조건으로 변환하는 것.
• 특정 매개변수 영역에서 일반화된 하한값이 점근적으로 최적이 되도록 활용하여 거의 2차 하한값을 달성하는 것.
• Raz, Shpilka, 그리고 Yehudayoff의 프레임워크를 기반으로 하되, 더 강력한 조합론적 도구를 통해 이를 정교화하는 것.

실험 결과

연구 질문

• RQ1 Raz, Shpilka, 그리고 Yehudayoff의 $\Omega(n^{4/3}/\log^2 n)$ 결과를 초월하여 문법적으로 다중선형 회로에 대한 하한값을 향상시킬 수 있는가?
• RQ2 다항식 회로 복잡도의 맥락에서 극적 집합 이론 기법을 사용할 때 도달 가능한 가장 날카로운 하한값은 무엇인가?
• RQ3 갈빈의 문제를 어떻게 일반화하여 산술 회로에 적용 가능한 더 강력한 하한값을 도출할 수 있는가?
• RQ4 일반화된 극적 집합 문제에서 점근적으로 최적의 하한값을 도출할 수 있는 매개변수 영역이 존재하는가?
• RQ5 회로의 문법적 다중선형 제약 조건을 증가시키지 않고도 개선된 하한값을 달성할 수 있는가?

주요 결과

• 논문은 명시적인 다항식을 계산하는 모든 문법적으로 다중선형 산술 회로의 크기에 대해 $\Omega(n^2/\log^2 n)$ 하한값을 확립한다.
• 이 하한값은 Raz, Shpilka, 그리고 Yehudayoff가 이전에 확립한 $\Omega(n^{4/3}/\log^2 n)$ 하한값을 향상시킨다.
• 이 향상은 극적 집합 이론에서 갈빈의 문제를 더 넓은 매개변수 범위로 일반화함으로써 달성된다.
• 일반화된 극적 집합 문제는 관련 매개변수 영역에서 점근적으로 최적의 하한값을 도출하며, 이는 회로 복잡도에 적용된다.
• 결과는 새로운 하한값이 거의 2차이므로, 이러한 회로의 이론적 최대 가능 값에 가까워지고 있음을 보여준다.
• 이 방법은 극적 조합론과 대수적 복잡도 이론을 연결함으로써 강력한 하한값을 증명하는 새로운 길을 제시한다.