[논문 리뷰] Strongly Exponential Separation Between Monotone VP and Monotone VNP

Srikanth Srinivasan|arXiv (Cornell University)|2019. 03. 05.

Complexity and Algorithms in Graphs참고 문헌 17인용 수 4

한 줄 요약

이 논문은 단조성 VP와 단조성 VNP 사이의 강력한 지수적 분리를 증명하기 위해, 단조성 VNP에 속하는 다항식의 명시적 수열을 구성함으로써, 단조성 대수적 회로의 크기가 $2^{\Omega(n)}$ 이상이 되어야 한다고 보여준다. 증명은 단조성 회로 복잡도와 통신 복잡도 사이의 연결을 활용하며, 다항식 분해에서 계수 기대값의 확률적 분석을 통해 하한을 도출한다.

ABSTRACT

We show that there is a sequence of explicit multilinear polynomials $P_n(x_1,\ldots,x_n)\in \mathbb{R}[x_1,\ldots,x_n]$ with non-negative coefficients that lies in monotone VNP such that any monotone algebraic circuit for $P_n$ must have size $\exp(Ω(n)).$ This builds on (and strengthens) a result of Yehudayoff (2018) who showed a lower bound of $\exp( ildeΩ(\sqrt{n})).$

연구 동기 및 목표

• 명시적인 다항식에 대해 단조성 대수적 회로의 지수적 하한을 증명하여 단조성 VP 대 VNP 문제를 해결한다.
• Yehudayoff가 이전에 $\exp(\tilde{\Omega}(\sqrt{n}))$의 하한을 보였던 것을, 강력한 지수적 하한으로 향상시킨다.
• 일부 다항식이 단조성 VNP에 속하지만, 작은 단조성 회로로는 계산될 수 없음을 보여, 두 클래스를 분리한다.
• 다항식 분해를 통한 단조성 회로 복잡도와 다분할 통신 복잡도 사이의 엄밀한 연결 고리를 설정한다.

제안 방법

• 다항식 분해 $P = \sum_{i=1}^s g_i h_i$에서 $g_i$와 $h_i$가 비음이 아닌 계수를 가지며, 서로 다른 변수 집합에 의존하는 조건을 이용해 단조성 대수적 회로 크기를 특성화한다.
• 다항식의 지지 집합을 다분할 통신 복잡도 모델과 연결함으로써, 회로 하한 문제를 통신 복잡도 문제로 환원한다.
• 변수의 부분집합을 생성하는 무작위 모델 $M$을 정의하고, 특정한 구조적 사건 $\mathcal{E}_{i,j,k}$ 조건 하에서 $gh$의 단항식 계수 기대값을 분석한다.
• 삼중체 $(i,j,k)$를 사건 $\mathcal{E}_{i,j,k}$의 확률에 따라 경량 또는 고려량으로 분류하고, 각 경우에 대해 기대 계수 기여도를 별도로 근사한다.
• 베이즈 정리를 적용하고 꼬리 경계를 사용하여 고려량 케이스에서 기대 계수를 제어하며, 농도 불등식을 활용해 오차 항의 지수적 감소를 보인다.
• 경량 및 고려량 케이스의 경계를 통합하여 총 기대 계수가 기저 항의 $\exp(-\Omega(n))$ 배임을 보여, 최종 하한을 도출한다.

실험 결과

연구 질문

• RQ1 단조성 대수적 회로가 단조성 VNP에 속하는 명시적 다항식을 계산할 때 강력한 지수적 하한을 증명할 수 있는가?
• RQ2 다항식의 지지 구조가 분해에서 비음이 아닌 곱항의 수를 제약하는가? 그리고 이는 통신 복잡도와 연결될 수 있는가?
• RQ3 무작위 변수 분할에서 계수 기대값의 확률적 분석을 통해 엄밀한 회로 크기 하한을 도출할 수 있는가?
• RQ4 이전 하한이 VNP에 속하지 않음을 제거하는 데도 영향을 미치는 한계를 피하는 구성 방법을 통해 단조성 VP와 단조성 VNP를 분리할 수 있는가?
• RQ5 변수 분할의 구조적 성질(예: 집합 크기 및 간선 수 등)이 다항식 분해에서 계수 크기에 어떤 영향을 미치는가?

주요 결과

• 비음이 아닌 계수를 가진 다항식의 명시적 수열 $P_n$이 단조성 VNP에 속한다.
• 모든 단조성 대수적 회로가 $P_n$을 계산하려면 크기가 적어도 $2^{\Omega(n)}$ 이상이어야 하며, 이는 강력한 지수적 분리를 확립한다.
• 하한은 $P_n$을 비음이 아닌 곱항으로 분해하고, 다분할 통신 복잡도와 연결함으로써 증명된다.
• 증명은 다항식 항의 기대 계수 값을 근사하기 위한 확률적 방법을 사용하며, 희귀(고려량)와 일반(경량) 구성에 따라 구분한다.
• 고려량 구성에 대해 기대 계수 기여도가 지수적으로 감소함을 보여, 총합 기대 계수는 기저 항의 $\exp(-\Omega(n))$ 배가 된다.
• 이 결과는 Yehudayoff의 $\tilde{\Omega}(\sqrt{n})$ 하한을 개선하며, 단조성 회로 복잡도에서 고전적인 하한 수준에 도달한다.