[논문 리뷰] Deterministic identity testing paradigms for bounded top-fanin depth-4 circuits

Pranjal Dutta, Prateek Dwivedi외 1명|arXiv (Cornell University)|2023. 04. 22.

Cryptography and Data Security인용 수 7

한 줄 요약

본 논문은 bounded top-fanin depth-4 회로에 대한 결정적 PIT 알고리즘을 제시하며, Sigma^[k]PiSigma wedge에 대한 다항시간 화이트박스 PIT와 관련 모델에 대한 준다항시간 블랙박스 PIT를 포함한다.

ABSTRACT

Polynomial Identity Testing (PIT) is a fundamental computational problem. The famous depth-$4$ reduction result by Agrawal and Vinay (FOCS 2008) has made PIT for depth-$4$ circuits an enticing pursuit. A restricted depth-4 circuit computing a $n$-variate degree-$d$ polynomial of the form $\sum_{i = 1}^{k} \prod_{j} g_{ij}$, where $°g_{ij} \leq δ$ is called $Σ^{[k]}ΠΣΠ^{[δ]}$ circuit. On further restricting $g_{ij}$ to be sum of univariates we obtain $Σ^{[k]}ΠΣ\wedge$ circuits. The largely open, special-cases of $Σ^{[k]}ΠΣΠ^{[δ]}$ for constant $k$ and $δ$, and $Σ^{[k]}ΠΣ\wedge$ have been a source of many great ideas in the last two decades. For eg. depth-$3$ ideas of Dvir and Shpilka (STOC 2005), Kayal and Saxena (CCC 2006), and Saxena and Seshadhri (FOCS 2010 and STOC 2011). Further, depth-$4$ ideas of Beecken, Mittmann and Saxena (ICALP 2011), Saha, Saxena and Saptharishi (Comput.Compl. 2013), Forbes (FOCS 2015), and Kumar and Saraf (CCC 2016). Additionally, geometric Sylvester-Gallai ideas of Kayal and Saraf (FOCS 2009), Shpilka (STOC 2019), and Peleg and Shpilka (CCC 2020, STOC 2021). Very recently, a subexponential-time blackbox PIT algorithm for constant-depth circuits was obtained via lower bound breakthrough of Limaye, Srinivasan, Tavenas (FOCS 2021). We solve two of the basic underlying open problems in this work. We give the first polynomial-time PIT for $Σ^{[k]}ΠΣ\wedge$. We also give the first quasipolynomial time blackbox PIT for both $Σ^{[k]}ΠΣ\wedge$ and $Σ^{[k]}ΠΣΠ^{[δ]}$. A key technical ingredient in all the three algorithms is how the logarithmic derivative, and its power-series, modify the top $Π$-gate to $\wedge$.

연구 동기 및 목표

• 상한이 있는 top fanin을 가진 제한된 depth-4 회로에 대한 기본적인 PIT 문제를 다룬다.
• Top fanin을 줄이고 효율적인 아이덴티티 테스트를 가능하게 하는 새로운 해석적 기법을 개발한다.
• DiDI 기법과 야코비안 기반 접근법을 통해 PIT 방법론을 통합하고 확장한다.
• 정량화 가능한 시간 복잡도를 갖는 화이트박스와 블랙박스 PIT 알고리즘을 모두 제공한다.
• 더 넓은 depth-4 회로 PIT에 대한 함의와 하한과의 연계를 강조한다.

제안 방법

• Top fanin을 감소시키되 비영성을 보존하는 DiDI(divide-derive-induce) 기법을 도입하여 wedge 모델로의 환원을 가능하게 한다.
• 형식 멱급수 환에서의 해석적 도구를 활용하여 회로를 변환하고 안전한 나눗셈 연산을 가능하게 한다.
• 로그 미분 및 멱급수 전개를 활용하여 곱을 선형화하고 복잡도를 감소시킨다.
• 야코비안 기반의 대수적 독립성과 충실한 선형 변환을 사용하여 히팅 셋을 얻고, 히팅 셋은 비영성을 증명하는 데 사용된다.
• 희소 다항식의 곱에 대한 명시적 히팅 셋을 구성하고 이를 ROABP 기반 PIT와 환원 관계로 연결한다.
• Sigma^[k]PiSigma wedge 회로에 대해 시간 s^{O(k 7^k)}의 화이트박스 PIT를 증명; Sigma^[k]PiSigma wedge에 대해 시간 s^{O(k log log s)}의 블랙박스 PIT를, Sigma^[k]PiSigmaPi^[delta]에 대해 시간 s^{O(delta^2 k log s)}의 블랙박스 PIT를 증명한다.

실험 결과

연구 질문

• RQ1 상수 또는 작은 값의 top fanin k에 대해, top-fanin이 제한된 depth-4 회로에 대해 다항시간 화이트박스 알고리즘으로 결정적 PIT를 달성할 수 있는가?
• RQ2 DiDI 기법을 사용하여 상호 체계적으로 top fanin을 축소하고 비영성을 보존하여 기존의 PIT 방법들을 가능하게 할 수 있는가?
• RQ3 Sigma^[k]PiSigma wedge 및 Sigma^[k]PiSigmaPi^[delta]와 같은 상한된 top-fanin depth-4 회로에 대해 준다항시간(Quasipolynomial-time) 블랙박스 PIT를 얻는 것이 가능한가?
• RQ4 야코비안 기반 방법을 멱급수 기법과 어떻게 통합하여 이 회로 클래스에 대한 충실한 환원과 히팅 셋을 생성할 수 있는가?
• RQ5 제안된 방법이 delta- bounded 하층을 가진 관련 depth-4 모델(예: Pi^[delta])에 확장되는가?

주요 결과

• There is a deterministic whitebox s^{O(k 7^k)}-time PIT algorithm for Sigma^[k]PiSigma wedge circuits of size s over F[x].
• There is a blackbox s^{O(k log log s)}-time PIT algorithm for Sigma^[k]PiSigma wedge circuits of size s over F[x].
• There is a blackbox s^{O(delta^2 k log s)}-time PIT algorithm for Sigma^[k]PiSigmaPi^[delta] circuits of size s over F[x].
• The results hold for field F of characteristic zero (and extend to large characteristic fields).
• A novel DiDI technique is introduced to inductively reduce top fanin while preserving nonzeroness, enabling reduction to wedge models with known PIT results.
• Jacobian-based and power-series methods are used to unify and extend PIT approaches, reducing complex depth-4 models to more tractable forms.