[논문 리뷰] Jacobian hits circuits: Hitting-sets, lower bounds for depth-D occur-k formulas & depth-3 transcendence degree-k circuits

Manindra Agrawal, Chandan Saha외 2명|arXiv (Cornell University)|2011. 01. 01.

VLSI and Analog Circuit Testing인용 수 1

한 줄 요약

이 논문은 두 가지 광범위한 산술 회로 클래스인 상수 전이차수를 가진 깊이-3 회로와 상수-등장 수식을 위한 효율적인 히팅세트 생성기를 구성하기 위해 임의의 대수기하학적 도구로 제약을 도입한다. 저자들은 대수적 독립성을 포착하기 위해 임의의 행렬을 활용하여, 이러한 모델에 대해 처음으로 다항시간 블랙박스 식별 테스팅을 달성하고, 영구행렬과 이민언트에 대해 지수적 하한을 증명한다. 이는 이전 결과들을 통합하고, 식별 테스팅과 회로 하한 사이의 관계를 강화한다.

ABSTRACT

We present a single, common tool to strictly subsume all known cases of polynomial time blackbox polynomial identity testing (PIT) that have been hitherto solved using diverse tools and techniques. In particular, we show that polynomial time hitting-set generators for identity testing of the two seemingly different and well studied models - depth-3 circuits with bounded top fanin, and constant-depth constant-read multilinear formulas - can be constructed using one common algebraic-geometry theme: Jacobian captures algebraic independence. By exploiting the Jacobian, we design the first efficient hitting-set generators for broad generalizations of the above-mentioned models, namely: (1) depth-3 (Sigma-Pi-Sigma) circuits with constant transcendence degree of the polynomials computed by the product gates (no bounded top fanin restriction), and (2) constant-depth constant-occur formulas (no multilinear restriction). Constant-occur of a variable, as we define it, is a much more general concept than constant-read. Also, earlier work on the latter model assumed that the formula is multilinear. Thus, our work goes further beyond the results obtained by Saxena & Seshadhri (STOC 2011), Saraf & Volkovich (STOC 2011), Anderson et al. (CCC 2011), Beecken et al. (ICALP 2011) and Grenet et al. (FSTTCS 2011), and brings them under one unifying technique. In addition, using the same Jacobian based approach, we prove exponential lower bounds for the immanant (which includes permanent and determinant) on the same depth-3 and depth-4 models for which we give efficient PIT algorithms. Our results reinforce the intimate connection between identity testing and lower bounds by exhibiting a concrete mathematical tool - the Jacobian - that is equally effective in solving both the problems on certain interesting and previously well-investigated (but not well understood) models of computation.

연구 동기 및 목표

• 다양한 다항식 식별 테스팅(PIT) 결과들을 하나의 대수기하학적 프레임워크로 통합하기 위해.
• 제한된 상단 팬인 또는 이차형 모델을 초월하여 더 넓은 회로 클래스로 효율적인 블랙박스 PIT를 확장하기 위해.
• 이 일반화된 모델들에 대해 영구행렬과 이민언트에 대한 지수적 하한을 설정하기 위해.
• 임의의 행렬이 PIT와 회로 하한 둘 다에 있어 강력하고 통합적인 도구가 될 수 있음을 보여주기 위해.

제안 방법

• 회로 게이트가 계산하는 다항식들 사이의 대수적 독립성을 탐지하기 위해 임의의 행렬 행렬을 사용하기.
• 대수적으로 독립적인 집합에서 임의의 행렬 행렬식이 0이 아닐 때 이를 활용해 히팅세트 생성기를 구성하기.
• 중국인의 나머지 정리와 체 위의 선형대수를 적용하여 PIT 문제를 선형 조합의 0이 아님 여부 확인으로 환원하기.
• 선형 다항식을 모듈로로 하는 방정식계로 회로 항등식을 재작성하면서 계수의 비자명성을 유지하기.
• 깊이-3 랭크 경계와 부분 도함수를 사용하여 반복적 감소 단계 동안 계수를 0이 아닌 상태로 유지하기.
• 모순을 통한 하한 증명: 작은 회로가 존재한다고 가정하면, 임의의 기반 대수적 독립성에 위배되는 비자명한 선형 종속성이 유도된다.

실험 결과

연구 질문

• RQ1 단일 대수기하학적 도구가 다양한 회로 모델에 대한 블랙박스 PIT를 통합할 수 있는가?
• RQ2 제한된 상단 팬인 조건 없이도 임의의 행렬을 사용해 상수 전이차수를 가진 깊이-3 회로에 대해 효율적인 히팅세트 생성기를 설계할 수 있는가?
• RQ3 임의의 기반 접근법이 다항식의 이차형 및 상수-읽기 가정을 초월해 상수-깊이 상수-등장 수식으로 확장될 수 있는가?
• RQ4 임의의 행렬이 이러한 모델들에 대해 영구행렬과 이민언트에 대한 지수적 하한을 증명하는 데 길을 열어줄 수 있는가?
• RQ5 임의의 행렬이 PIT와 하한 증명에 성공한 이후, 산술 회로 재구성에도 도움이 될 수 있는가?

주요 결과

• 논문은 제한된 상단 팬인 조건 없이도 상수 전이차수를 가진 깊이-3 ΣΠΣ 회로에 대해 처음으로 다항시간 히팅세트 생성기를 구성한다.
• 다항식의 이차형 및 상수-읽기 가정을 초월해 상수-깊이 상수-등장 수식에 대해 처음으로 효율적인 블랙박스 식별 테스팅을 제공한다.
• 동일한 임의의 기반 프레임워크를 사용하여 상수 전이차수 또는 상수-등장 조건이 있는 깊이-3 및 깊이-4 모델에 대해 영구행렬과 이민언트에 대해 지수적 하한을 증명한다.
• 임의의 기반 접근법은 이전에 알려진 제한된 상단 팬인 깊이-3, 다항식 수식, 희박 대체 회로 등 다양한 모델에 대한 PIT 및 하한 결과를 통합하고 강화한다.
• 주요 소수의 대수적 독립성에 기반해 일반적인 상수-깊이 상수-등장 수식에 대한 하한을 확장할 수 있다는 추측을 제시한다.
• 이 작업는 임의의 행렬이 식별 테스팅에 효과적일 뿐 아니라 회로 하한 증명에도 효과적임을 보여주며, 두 문제 사이의 깊은 연관성을 강화한다.