[논문 리뷰] Deterministic Identity Testing of Read-Once Algebraic Branching Programs

Maurice Jansen, Youming Qiao외 1명|ArXiv.org|2009. 12. 14.

Complexity and Algorithms in Graphs참고 문헌 3인용 수 7

한 줄 요약

이 논문은 새로운 대수적 성질인 '정렬(alignmen)'과 Shpilka-Volkovich 생성자 확장 기반으로, 합의 k번 읽는 일次 대수적 분지 프로그램(Σk-RO-ABPs)에 대한 결정적 다항시간 알고리즘을 제시한다. Σk-RO-ABPs가 Σk-RO-공식보다 엄격히 더 강력하다는 것을 보이며, 비블랙박스, 반블랙박스, 블랙박스 세 가지 알고리즘을 제안하여 각각 시간 복잡도 O(k²n⁷s) + n^O(k), k²n^O(log n) + n^O(k), n^O(k+log n) 내에 작동함을 보인다. 이는 필드 크기 제약 조건 하에서 성립한다.

ABSTRACT

In this paper we study polynomial identity testing of sums of $k$ read-once algebraic branching programs ($Σ_k$-RO-ABPs), generalizing the work in (Shpilka and Volkovich 2008,2009), who considered sums of $k$ read-once formulas ($Σ_k$-RO-formulas). We show that $Σ_k$-RO-ABPs are strictly more powerful than $Σ_k$-RO-formulas, for any $k \leq \lfloor n/2 floor$, where $n$ is the number of variables. We obtain the following results: 1) Given free access to the RO-ABPs in the sum, we get a deterministic algorithm that runs in time $O(k^2n^7s) + n^{O(k)}$, where $s$ bounds the size of any largest RO-ABP given on the input. This implies we have a deterministic polynomial time algorithm for testing whether the sum of a constant number of RO-ABPs computes the zero polynomial. 2) Given black-box access to the RO-ABPs computing the individual polynomials in the sum, we get a deterministic algorithm that runs in time $k^2n^{O(\log n)} + n^{O(k)}$. 3) Finally, given only black-box access to the polynomial computed by the sum of the $k$ RO-ABPs, we obtain an $n^{O(k + \log n)}$ time deterministic algorithm.

연구 동기 및 목표

• 합의 k번 읽는 일회 대수적 분지 프로그램(Σk-RO-ABPs)에 대한 다항식 항등식 테스팅(PIT)을 위한 효율적인 결정적 알고리즘을 개발하는 것.
• k ≤ ⌊n/2⌋일 때 Σk-RO-ABPs가 Σk-RO-공식보다 엄격히 더 강력하다는 것을 입증하는 것.
• RO-공식을 위한 것으로 설계된 Shpilka-Volkovich 생성자를 RO-ABPs에 적용할 수 있도록 확장하는 것.
• 다양한 다항식의 구조적 분석을 가능하게 하는 '정렬'이라는 대수적 성질을 도입하고 이를 활용하는 것.

제안 방법

• 다항식의 정렬 개념을 도입하여 사전 정렬을 일반화함으로써, 구조적 제약 조건과 귀납을 가능하게 하는 방법을 제시한다.
• Shpilka-Volkovich 생성자를 사용하여 개별 RO-ABPs를 테스트함으로써, 이 생성자가 RO-공식을 넘어서서도 유효하다는 것을 보여준다.
• 이전 연구에서 사용된 '대수적 표현의 난이도' 접근법을 활용하여 Σk-RO-ABPs의 구조를 분석한다.
• 부분 도함수와 변수 제약 조건을 적용하여 변수 수를 줄이되, 정렬 및 사전 정렬 성질을 유지한다.
• 변수 수에 대한 귀납을 활용하며, Vanishing 정리(정리 9)를 통해 PIT 문제를 작은 집합 Wₙ^{7k}에서의 테스팅으로 환원한다.
• 비블랙박스(RO-ABPs에 대한 전체 액세스), 반블랙박스(구성 요소에 대한 블랙박스 액세스), 블랙박스(합에만 액세스 가능) 세 가지 액세스 모델에 따라 알고리즘을 구축한다.

실험 결과

연구 질문

• RQ1 Shpilka-Volkovich 생성자는 원래 RO-공식 전용으로 설계되었지만, RO-ABP 하나의 항등식 테스팅에도 확장 가능한가?
• RQ2 k ≤ ⌊n/2⌋일 때 Σk-RO-ABPs 클래스는 Σk-RO-공식보다 엄격히 더 표현력이 강한가?
• RQ3 정렬 성질을 활용하여 Σk-RO-ABPs에 대한 결정적 항등식 테스팅 알고리즘을 설계할 수 있는가?
• RQ4 다른 액세스 모델(비블랙박스, 반블랙박스, 블랙박스) 하에서 Σk-RO-ABPs의 항등식 테스팅의 계산 복잡도는 어떻게 되는가?
• RQ5 정렬 다항식에 대한 Vanishing 정리가 Σk-RO-ABPs로 확장되어, 작은 히팅 세트를 통해 효율적인 PIT를 가능하게 하는가?

주요 결과

• k ≤ ⌊n/2⌋일 때 Σk-RO-ABPs는 Σk-RO-공식보다 엄격히 더 강력하다. 이는 RO-ABP로 계산 가능한 다항식이지만 어떤 RO-공식으로도 표현할 수 없는 다항식을 통해 입증된다.
• 원래 RO-공식 전용으로 설계된 Shpilka-Volkovich 생성자는 단일 RO-ABP의 항등식 테스팅에도 유효한 테스트로 기능한다.
• 비블랙박스 액세스 모델에서는 크기 s가 가장 큰 RO-ABP의 크기를 제한할 때, 시간 복잡도 O(k²n⁷s) + n^O(k) 내에 결정적 알고리즘이 작동한다.
• 반블랙박스 액세스 모델에서는 동일한 필드 크기 제약 조건 하에 시간 복잡도 k²n^O(log n) + n^O(k) 내에 알고리즘이 작동한다.
• 블랙박스 액세스 모델에서는 시간 복잡도 n^O(k+log n) 내에 결정적 알고리즘이 작동하며, 이는 이 설정에 대해 처음으로 제안된 결과이다.
• Vanishing 정리(정리 9)는 정렬 조건과 필드 크기 제약 조건 하에서 f ≡ 0이 되기 위한 필요충분조건으로, f가 Wₙ^{7k}에 제약된 결과가 항상 0이 되는 경우임을 보여준다.