[논문 리뷰] Superpolynomial lower bounds for general homogeneous depth 4 arithmetic circuits

Mrinal Kumar, Shubhangi Saraf|arXiv (Cornell University)|2013. 12. 20.

Complexity and Algorithms in Graphs인용 수 3

한 줄 요약

이 논문은 일반적인 동차 깊이 4 산술 회로에 대해 초다항적 하한을 확립하기 위해 새로운 복잡도 측도인 '제한된 지지도를 가진 이동 편미분'을 도입함으로써, 하한이 제한된 바닥 팬인을 가진 회로에 대해 지수적 하한을 도출한다. 그 후 랜덤 제약 절차를 적용하여 이러한 하한을 일반적인 동차 깊이 4 회로로 확장하고, 이 모델에서 $NW_d$ 다항식이 크기 $n^{\theta(\log\log n)}$ 가 필요로 함을 증명한다.

ABSTRACT

In this paper, we prove superpolynomial lower bounds for the class of homogeneous depth 4 arithmetic circuits. We give an explicit polynomial in VNP of degree $n$ in $n^2$ variables such that any homogeneous depth 4 arithmetic circuit computing it must have size $n^{Ω(\log \log n)}$. Our results extend the works of Nisan-Wigderson [NW95] (which showed superpolynomial lower bounds for homogeneous depth 3 circuits), Gupta-Kamath-Kayal-Saptharishi and Kayal-Saha-Saptharishi [GKKS13, KSS13] (which showed superpolynomial lower bounds for homogeneous depth 4 circuits with bounded bottom fan-in), Kumar-Saraf [KS13a] (which showed superpolynomial lower bounds for homogeneous depth 4 circuits with bounded top fan-in) and Raz-Yehudayoff and Fournier-Limaye-Malod-Srinivasan [RY08, FLMS13] (which showed superpolynomial lower bounds for multilinear depth 4 circuits). Several of these results in fact showed exponential lower bounds. The main ingredient in our proof is a new complexity measure of {\it bounded support} shifted partial derivatives. This measure allows us to prove exponential lower bounds for homogeneous depth 4 circuits where all the monomials computed at the bottom layer have {\it bounded support} (but possibly unbounded degree/fan-in), strengthening the results of Gupta et al and Kayal et al [GKKS13, KSS13]. This new lower bound combined with a careful "random restriction" procedure (that transforms general depth 4 homogeneous circuits to depth 4 circuits with bounded support) gives us our final result.

연구 동기 및 목표

• 대부분의 대수적 복잡도 이론에서 중요한 클래스인 일반적인 동차 깊이 4 산술 회로에 대해 초다항적 하한을 확립하기 위해.
• 이전 결과가 제한된 바닥 또는 상단 팬인을 요구하는 한계를 극복하기 위해 새로운 복잡도 측도를 개발하기 위해.
• 랜덤 제약 기법을 통해 제한된 지지도를 가진 회로에서의 지수적 하한을 일반적인 동차 깊이 4 회로로 확장하기 위해.
• VP와 VNP를 분리하기 위한 단계로 깊이 4 회로의 이해를 발전시키기 위해.
• 새로운 제한된 지지도를 가진 이동 편미분 복잡도 측도의 한계와 잠재력을 더 깊이 있는 또는 비동차 회로 클래스에 대해 일반화할 수 있는지 조사하기 위해.

제안 방법

• 깊이 4 회로의 저지지도 단항식의 구조를 포착하는 새로운 복잡도 측도인 '제한된 지지도를 가진 이동 편미분'을 도입한다.
• 이 측도를 사용하여 바닥 팬인이 제한된 동차 깊이 4 회로에 대해 지수적 하한을 증명함으로써, 구프타 등과 카야얼 등이 이전에 확립한 결과를 강화한다.
• 일반적인 회로를 제한된 지지도를 가진 회로로 변환하기 위해 변수를 특정 비율로 0으로 설정하는 랜덤 제약 절차를 적용한다.
• 높은 확률로 지지도가 큰 곱셈 게이트가 제거됨을 보이며, 복잡도 측도 적용에 필요한 구조를 유지한다.
• 제한된 지지도 하한과 랜덤 제약을 조합하여 원래 일반 회로에 대한 하한을 유도한다.
• 점점 증가하는 점근적 분석과 스타링의 근사법을 사용하여 $r = \Theta(n / \log n)$ 및 $s = \Theta(\log n)$와 같은 매개변수에 따라 상단 팬인의 성장률을 추정한다.

실험 결과

연구 질문

• RQ1 바닥 팬인 또는 상단 팬인에 제한이 없는 조건에서 동차 깊이 4 회로에 대해 지수적 하한을 증명할 수 있는가?
• RQ2 제한된 지지도를 가진 이동 편미분 측도를 사용하여 일반적인 동차 깊이 4 회로에 대해 하한을 증명할 수 있는가?
• RQ3 $d = \delta n$ 인 $NW_d$ 다항식을 계산하는 동차 깊이 4 회로의 최대 크기는 얼마인가?
• RQ4 랜덤 제약 기법은 일반 회로를 제한된 지지도를 가진 것으로 줄이는 데 얼마나 효과적인가? 하한 적용 가능성을 유지하는가?
• RQ5 이 새로운 복잡도 측도는 더 깊거나 비동차 회로에 대해 하한을 증명하는 데 일반화될 수 있는가?

주요 결과

• 논문은 $n^2$ 개의 변수에서 차수 $n$ 인 다항식을 명시적으로 구성하였으며, 이는 어떤 동차 깊이 4 산술 회로에서도 크기 $n^{\Omega(\log\log n)}$ 가 필요로 함을 보였다.
• 제한된 지지도를 가진 이동 편미분 복잡도 측도는 바닥 팬인이 제한된 동차 깊이 4 회로에 대해 지수적 하한을 가능하게 한다.
• 랜덤 제약 절차를 통해 일반적인 동차 깊이 4 회로가 높은 확률로 제한된 지지도를 가진 회로로 감소되며, 하한 분석에 필요한 핵심 구조를 유지한다.
• 제약된 회로의 상단 팬인이 최소 $2^{\Omega(n)}$ 임을 보이며, 이는 원래 회로가 크기 $n^{\Omega(\log\log n)}$ 를 가져야 함을 의미한다.
• 이 결과는 바닥 팬인 또는 상단 팬인에 제한이 없는 일반적인 동차 깊이 4 회로에 대해 초다항적 하한을 확립한 최초의 결과이다.
• 이 방법은 이전 결과의 지수를 略로 개선하는 것만으로도 일반 산술 회로에 대한 하한을 이끌 수 있음을 보여주며, 이 결과의 중요성을 부각시킨다.