[논문 리뷰] Quasi-polynomial Hitting-set for Set-depth-Delta Formulas

Manindra Agrawal, Chandan Saha외 1명|arXiv (Cornell University)|2012. 09. 11.

Complexity and Algorithms in Graphs인용 수 3

한 줄 요약

이 논문은 임의의 체 위의 set-depth-Δ 공식에 대해 준다항식 시간의 히팅세트 생성기를 제시하며, 공식 크기 s에 대해 exp((Δ² log s)^{Δ−1})의 다항식 시간 내에 블랙박스 항등식 테스트를 달성한다. 이 접근법은 변수 이동과 히아다르드 대수에서의 저지지 랭크 농도를 활용하며, 이 클래스에 대한 핵심 대수적 추측을 증명하고 깊이-3 공식과 깊이 ε log s / log log s 이하(ε < 1)의 공식에 대해 열려 있던 문제를 해결한다.

ABSTRACT

We call a depth-4 formula C set-depth-4 if there exists a (unknown) partition (X_1,...,X_d) of the variable indices [n] that the top product layer respects, i.e. C(x) = \sum_{i=1}^k \prod_{j=1}^{d} f_{i,j}(x_{X_j}), where f_{i,j} is a sparse polynomial in F[x_{X_j}]. Extending this definition to any depth - we call a depth-Delta formula C (consisting of alternating layers of Sigma and Pi gates, with a Sigma-gate on top) a set-depth-Delta formula if every Pi-layer in C respects a (unknown) partition on the variables; if Delta is even then the product gates of the bottom-most Pi-layer are allowed to compute arbitrary monomials. In this work, we give a hitting-set generator for set-depth-Delta formulas (over any field) with running time polynomial in exp(({Delta}^2 log s)^{Delta - 1}), where s is the size bound on the input set-depth-Delta formula. In other words, we give a quasi-polynomial time blackbox polynomial identity test for such constant-depth formulas. Previously, the very special case of Delta=3 (also known as set-multilinear depth-3 circuits) had no known sub-exponential time hitting-set generator. This was declared as an open problem by Shpilka &amp; Yehudayoff (FnT-TCS 2010); the model being first studied by Nisan &amp; Wigderson (FOCS 1995). Our work settles this question, not only for depth-3 but, up to depth epsilon.log s / loglog s, for a fixed constant epsilon &lt; 1. The technique is to investigate depth-Delta formulas via depth-(Delta-1) formulas over a Hadamard algebra, after applying a `shift' on the variables. We propose a new algebraic conjecture about the low-support rank-concentration in the latter formulas, and manage to prove it in the case of set-depth-Delta formulas.

연구 동기 및 목표

• 집합-깊이-Δ 공식, 즉 상수 깊이 산술 회로의 자연스러운 클래스에 대해 블랙박스 다항식 항등식 테스트(PIT)를 개발하는 것.
• 1995년 Nisan & Wigderson 이후 해결되지 않았던 깊이-3 집합-다중선형 공식에 대해 하위지수 히팅세트 생성기를 구축하는 열린 문제를 해결하는 것.
• 고정된 ε < 1에 대해 깊이까지 ε log s / log log s까지의 공식에 대해 히팅세트 생성의 범위를 확장하는 것.
• 히아다르드 대수에서 깊이-(Δ−1) 공식에 대해 저지지 랭크 농도에 대한 새로운 대수적 추측을 증명함으로써 효율적인 히팅세트를 구성하는 데 기여하는 것.

제안 방법

• 저지지 단항식이 탐지 가능해지도록 원래 공식을 변형하기 위해 변수 이동을 적용하는 것.
• 히아다르드 대수에서의 재귀적 구성 기법을 사용하여 깊이-Δ 공식을 구조화된 계수를 가진 깊이-(Δ−1) 공식으로 줄이는 것.
• 이동 후 결과 공식이 저지지 랭크 농도를 보임을 증명하는 것. 즉, 낮은 차수의 단항식이 낮은 지지도를 가진 항들의 공간을 차지함을 의미한다.
• 이 농도를 활용하여, 깊이 매개변수에 대해 다항식 크기인 ℓ인 제한된 변수 집합에 대해 공식을 테스트함으로써 히팅세트를 구성하는 것.
• 제한된 공식에 대해 흩어진 다항식 항등식 테스트를 사용하는 것. 이는 낮은 흐트러짐으로 인해 효율적이다.
• 이동과 흩어진 PIT 단계를 조합하여, 공식 크기 s와 깊이 Δ에 대해 준다항식 실행 시간을 가지는 히팅세트 생성기를 구성하는 것.

실험 결과

연구 질문

• RQ1 임의의 체 위의 set-depth-Δ 공식에 대해 준다항식 시간 히팅세트 생성기를 구축할 수 있는가? 이는 깊이-3 회로를 초월하여 확장 가능한가?
• RQ2 변수 이동 후 히아다르드 대수에서 깊이-(Δ−1) 공식에 저지지 랭크 농도 현상이 존재하는가? 이는 효율적인 항등식 테스트를 가능하게 하는가?
• RQ3 고정된 ε < 1에 대해 깊이까지 ε log s / log log s까지의 공식에 대해 히팅세트 생성기를 확장할 수 있는가? 이는 이전의 지수 시간 기반의 한계를 초월하는가?
• RQ4 부분 도함수와 변수 이동 기법을 사용하여 set-depth-Δ 공식에 대해 블랙박스 PIT를 결정론적으로 수행할 수 있는가?
• RQ5 set-depth-Δ를 초월하는 더 넓은 공식 클래스에 대해 저지지 랭크 농도 추측을 증명할 수 있는가? 이는 다항식 시간 PIT로 이어질 수 있는가?

주요 결과

• 공식 크기 s에 대해 exp((Δ² log s)^{Δ−1})의 다항식 시간 내에 실행되는 준다항식 시간 히팅세트 생성기가 set-depth-Δ 공식에 대해 구성되었다.
• 이 구성은 Shpilka & Yehudayoff(2010)가 제기한 깊이-3 집합-다중선형 공식에 대한 하위지수 히팅세트 생성 문제를 해결한다.
• 고정된 ε < 1에 대해 깊이까지 ε log s / log log s까지의 공식에 대해 블랙박스 PIT를 달성하여, 기존의 결정론적 추론 결과의 적용 범위를 확장한다.
• 핵심 기술적 기여는 변수 이동 후 히아다르드 대수에서 깊이-(Δ−1) 공식에 저지지 랭크 농도가 존재함을 증명한 것이다. 이는 히팅세트의 구성 가능성을 보장한다.
• 반대각선 공식과 set-depth-6 공식의 경우, 이중성과 정교한 분석을 통해 각각 s^{O(log s)} 및 s^{O(log² s)}의 향상된 히팅세트 시간이 달성되었다.
• 결과적으로 저지지 랭크 농도가 상수 깊이 산술 회로에서 블랙박스 항등식 테스트에 있어 실현 가능하고 강력한 구조적 성질임을 보여준다.