[논문 리뷰] New results on Noncommutative and Commutative Polynomial Identity Testing

V. Arvind, Partha Mukhopadhyay외 1명|arXiv (Cornell University)|2008. 01. 03.

Complexity and Algorithms in Graphs참고 문헌 17인용 수 4

한 줄 요약

이 논문은 자동차 이론 기법을 사용하여 비가환 회로와 블랙박스 다항식에 대한 결정적 다항시간 항등식 테스트를 제시하며, 비가환 대수적 분지 프로그램(ABP)의 완전한 재구성과 유니티를 가진 유한 가환 링 위의 다항식으로의 효율적 항등식 테스트 확장을 가능하게 한다.

ABSTRACT

Using ideas from automata theory we design a new efficient (deterministic) identity test for the noncommutative polynomial identity testing problem (first introduced and studied in [RS05, BW05]). More precisely, given as input a noncommutative circuit C(x1, · · · , xn) computing a polynomial in F{x1, · · · , xn} of degree d with at most t monomials, where the variables xi are noncommuting, we give a deterministic polynomial identity test that checks if C ≡ 0 and runs in time polynomial in d, n, |C|, and t. The same methods works in a black-box setting: Given a noncommuting black-box polynomial f ∈ F{x1, · · · , xn} of degree d with t monomials we can, in fact, reconstruct the entire polynomial f in time polynomial in n, d and t. Indeed, we apply this idea to the reconstruction of black-box noncommuting algebraic branching programs (the ABPs considered by Nisan in [N91] and Raz-Shpilka in [RS05]). Assuming that the black-box model allows us to query the ABP for the output at any given gate then we can reconstruct an (equivalent) ABP in deterministic polynomial time. Finally, we turn to commutative identity testing and explore the complexity of the problem when the coefficients of the input polynomial come from an arbitrary finite commutative ring with unity whose elements are uniformly encoded as strings and the ring operations are given by an oracle. We show that several algorithmic results for polynomial identity testing over fields also hold when the coefficients come from such finite rings. 1

연구 동기 및 목표

• 제한된 차수와 단항식 수를 가진 비가환 회로에 대해 효율적인 결정적 항등식 테스트를 개발하기 위해.
• 블랙박스 비가환 다항식과 대수적 분지 프로그램(ABP)을 결정적 다항시간 내에 완전히 재구성할 수 있도록 하기 위해.
• 다항식 항등식 테스트 알고리즘을 필드에서 임의의 유한 가환 링으로 확장하여, 연산이 오라클에 접근 가능한 조건에서 수행되도록 하기 위해.
• 일반적인 다항식 항등식 테스트 결과를 필드 기반에서 유일한 유한 링의 더 넓은 설정으로 일반화하기 위해.

제안 방법

• 차수 d, n개의 변수, 최대 t개의 단항식을 가진 비가환 회로에 대한 결정적 항등식 테스트를 설계하기 위해 자동차 이론적 아이디어를 활용한다.
• 비가환 단항식의 구조를 이용하여 유한 오토마타를 통해 평가를 시뮬레이션함으로써 효율적인 항등식 검증을 가능하게 한다.
• 동일한 프레임워크를 사용하여 블랙박스 접근을 통해 다항식 전체를 n, d, t에 대해 다항시간 내에 재구성한다.
• 유한 가환 링 위에서 작동하도록 항등식 테스트 접근법을 조정하여, 필드 연산 대신 오라클 제공 링 연산을 사용한다.
• 쿼리가 특정 게이트에서 출력 값을 반환하는 블랙박스 모델을 활용하여, 동치 ABP의 결정적 재구성을 가능하게 한다.
• 오라클 액세스와 균일한 문자열 인코딩 조건 하에서 효율성을 유지하면서도, 링 위에서의 항등식 테스트 문제를 필드 위의 등가 문제로 환원한다.

실험 결과

연구 질문

• RQ1 자동차 이론적 방법을 사용하여 차수와 단항식 수가 제한된 비가환 회로에 대해 결정적 다항시간 항등식 테스트를 구성할 수 있는가?
• RQ2 오라클 쿼리로부터 비가환 블랙박스 다항식 또는 ABP를 결정적 다항시간 내에 재구성할 수 있는가?
• RQ3 다항식이 필드 위에서 효율적인 항등식 테스트 결과를 가질 때, 임의의 유한 가환 링의 계수를 가진 다항식으로도 동일한 결과가 확장되는가?
• RQ4 직접 계산하는 대신 오라클을 통해 링 연산에 액세스할 경우 항등식 테스트의 복잡도는 어떻게 변화하는가?
• RQ5 비가환 단항식의 구조를 활용하여 ABP에 대한 블랙박스 재구성 알고리즘을 설계할 수 있는가?

주요 결과

• 차수 d, 변수 수 n, 회로 크기 |C|, 단항식 수 t에 대해 다항시간 내에 실행되는 비가환 회로에 대한 결정적 다항식 항등식 테스트가 개발되었다.
• 동일한 방법을 통해 t개의 단항식을 가진 블랙박스 비가환 다항식을 n, d, t에 대해 다항시간 내에 완전히 재구성할 수 있다.
• 어떤 게이트에서의 출력에 대한 블랙박스 액세스로부터도 동치의 대수적 분지 프로그램(ABP)을 결정적 다항시간 내에 재구성할 수 있다.
• 오라클 액세스를 통해 링 연산이 가능할 경우, 필드 위에서의 항등식 테스트 결과는 임의의 유한 가환 링 위의 다항식으로도 확장된다.
• 균일한 문자열 인코딩과 오라클 기반 링 연산 조건 하에서, 프레임워크는 효율성과 정확성을 유지한다.
• 이 접근법은 자동차 이론과 대수적 복잡도 이론 간의 다리를 놓으며, 비가환 및 링 기반 항등식 테스트에서 새로운 알고리즘적 해결책을 가능하게 한다.