[논문 리뷰] Pseudorandomness for Multilinear Read-Once Algebraic Branching Programs, in any Order

Michael A. Forbes, Ramprasad Saptharishi외 1명|arXiv (Cornell University)|2013. 09. 22.

Complexity and Algorithms in Graphs참고 문헌 43인용 수 5

한 줄 요약

이 논문은 다항식의 읽기-한 번만 사용 가능한 순서 불문형 다항식 브랜치 프로그램(ROABPs)에 대해, 변수 순서에 영향을 받지 않고 n^(lg² n) 시간에 작동하는 최초의 초지수 시간 결정론적 블랙박스 다항식 항등식 검증(PIT) 알고리즘을 제시한다. 랭크 압축기와 향상된 와이언스키안 기반 기법을 활용하여, ROABPs와 대각선 회로 모두에 대해 이와 같은 성능을 달성하였으며, 이는 이전 결과를 일반화하고 대각선 회로에 대해 최초로 n^(lglg n)-시간 알고리즘을 제공한다.

ABSTRACT

We give deterministic black-box polynomial identity testing algorithms for multilinear read-once oblivious algebraic branching programs (ROABPs), in n^(lg^2 n) time. Further, our algorithm is oblivious to the order of the variables. This is the first sub-exponential time algorithm for this model. Furthermore, our result has no known analogue in the model of read-once oblivious boolean branching programs with unknown order, as despite recent work there is no known pseudorandom generator for this model with sub-polynomial seed-length (for unbounded-width branching programs). This result extends and generalizes the result of Forbes and Shpilka that obtained a n^(lg n)-time algorithm when given the order. We also extend and strengthen the work of Agrawal, Saha and Saxena that gave a black-box algorithm running in time exp((lg n)^d) for set-multilinear formulas of depth d. We note that the model of multilinear ROABPs contains the model of set-multilinear algebraic branching programs, which itself contains the model of set-multilinear formulas of arbitrary depth. We obtain our results by recasting, and improving upon, the ideas of Agrawal, Saha and Saxena. We phrase the ideas in terms of rank condensers and Wronskians, and show that our results improve upon the classical multivariate Wronskian, which may be of independent interest. In addition, we give the first n^(lglg n) black-box polynomial identity testing algorithm for the so called model of diagonal circuits. This model, introduced by Saxena has recently found applications in the work of Mulmuley, as well as in the work of Gupta, Kamath, Kayal, Saptharishi. Previously work had given n^(lg n)-time algorithms for this class. More generally, our result holds for any model computing polynomials whose partial derivatives (of all orders) span a low dimensional linear space.

연구 동기 및 목표

• 변수 순서에 영향을 받지 않는 효율적인 결정론적 블랙박스 다항식 항등식 검증(PIT) 알고리즘을 개발하여 다항식의 읽기-한 번만 사용 가능한 순서 불문형 ROABPs에 적용한다.
• 세트-다항식의 다항식 공식과 ROABPs에 대한 이전 작업을 확장하여 초지수 시간 복잡도를 달성한다.
• 대각선 회로에 대해 최초로 n^(lglg n)-시간 블랙박스 PIT 알고리즘을 제공하여 이전의 n^(lg n)-시간 bound를 향상시킨다.
• 아그라왈, 사하, 사크센라의 프레임워크를 랭크 압축기와 와이언스키안 기반 방법을 통해 일반화하고 강화한다.
• 부분 도함수들에 의해 생성되는 저차원 공간을 갖는 다항식의 더 넓은 클래스를 식별하고 분석하여, 이러한 PIT 알고리즘이 적용 가능한 조건을 규명한다.

제안 방법

• 부분 도함수 공간의 차원을 줄이기 위해 랭크 압축기를 사용하여 PIT 문제를 재구성한다.
• 기존의 다변수 와이언스키안의 개선된 변종을 도입하여 도함수 공간 내의 대수적 종속성을 포착한다.
• 와이언스키안 기반 접근을 사용하여 모든 변수 순서에 대해 효과적인 히팅 세트를 구성함으로써 순서 불문성을 달성한다.
• 개선된 와이언스키안 구성 기법을 대각선 회로에 적용하여 n^(lglg n)의 더 탴한 시간 복잡도를 도출한다.
• 모든 부분 도함수 공간의 차원이 낮은 다항식 가족에 대해 효율적인 블랙박스 PIT가 가능함을 보장하는 일반 프레임워크를 수립한다.
• 다항식의 읽기-한 번만 사용 가능한 순서 불문형 ROABPs의 구조를 활용하여 도함수 공간의 랭크를 제한하고, 랭크 압축기를 적용하여 초지수 시간 복잡도를 달성한다.

실험 결과

연구 질문

• RQ1 변수 순서에 영향을 받지 않으면서도 초지수 시간 복잡도를 확보할 수 있는 다항식의 읽기-한 번만 사용 가능한 순서 불문형 ROABPs에 대한 블랙박스 PIT 알고리즘이 존재하는가?
• RQ2 와이언스키안 기반 방법을 개선하여 대각선 회로와 ROABPs에 대해 더 나은 시간 복잡도를 확보할 수 있는가?
• RQ3 효율적인 블랙박스 PIT를 가능하게 하는 다항식의 최소한의 구조적 조건은 무엇이며, 부분 도함수 공간과의 관계는 어떠한가?
• RQ4 아그라왈, 사하, 사크센라의 기법을 더 넓은 범위의 대수적 회로 클래스를 커버할 수 있도록 일반화하고 강화할 수 있는가?
• RQ5 다항식의 읽기-한 번만 사용 가능한 순서 불문형 ROABPs에 대해 초다항식 길이의 시드 길이를 갖는 의사난수 생성기가 존재하는가? 그리고 이는 현재 알고리즘적 접근과 어떻게 관련되는가?

주요 결과

• 논문은 다항식의 읽기-한 번만 사용 가능한 순서 불문형 ROABPs에 대해 n^(lg² n) 시간에 작동하는 결정론적 블랙박스 PIT 알고리즘을 제시한다. 이는 초지수 시간 복잡도를 가지며 순서 불문성을 확보한다.
• 이것은 변수 순서를 알고 있어야 하는 기존 알고리즘 없이도 작동하는 최초의 알고리즘이다.
• 대각선 회로에 대해 n^(lglg n) 시간 복잡도를 달성하여 이전의 n^(lg n)-시간 bound를 향상시켰다.
• 이 프레임워크는 모든 도함수(모든 차수의)가 저차원 선형 공간을 생성하는 다항식 가족으로 일반화된다.
• 개선된 와이언스키안 구성은 기존의 다변수 와이언스키안보다 더 강력한 대수적 도구를 제공하며, 독립적인 응용 가능성도 있다.
• 결과는 다항식 브랜치 프로그램 모델과 부울 브랜치 프로그램 모델 사이의 분리 효과를 보여주며, 후자의 경우 알려진 초다항식 길이의 시드 길이를 갖는 의사난수 생성기가 존재하지 않음을 시사한다.