비가환 및 가환 다항식 항등성 검사에 대한 새로운 결과

본 논문은 비가환 다항식 항등성 검사(PIT)와 비가환 블랙박스 ABP 복원, 그리고 계수가 유한 가환환에 속하는 경우의 PIT 복잡도 세 가지 주제를 통합적으로 다룬다. 1. **비가환 PIT를 위한 결정적 알고리즘** 기존 연구에서는 Amitsur‑Levitzki 정리를 이용해 무작위 매트릭스 할당을 통해 비가환 회로의 영성 여부를 검증했다. 그러나 이는 확률적이며 매트릭스 차원이 차수 d보다 큰 k×k 매트릭스를 필요로 했다. 저자들은 이를 대체하기 위해 비가환 변수 x_i 를 이진 문자열 v_i = 01ⁱ0 로 인코딩하고, 각 문자열을 받아들이는 유한 자동자를 설계한다. 자동자의 전이 함수를 0‑1 행렬 M_{0}, M_{1} 로 변환하면, 변수 x_i 를 M_{v_i} 로 치환한 회로 C의 출력은 행렬 M_out = f(M_{v₁},…,M_{v_n}) 가 된다. 이때 (q₀,q_f) 원소는 자동자가 받아들인 문자열에 대응하는 항들의 계수 합과 동일하다. 따라서 “하나의 문자열만을 받아들이는 자동자”를 찾으면, 그 문자열에 해당하는 단항식이 비제로이면 M_out(q₀,q_f) 역시 비제로가 된다. 자동자를 구성하는 방법은 모든 길이 ≤d·(n+2) 문자열 집합에 대해, 각 문자열을 고유하게 구분할 수 있는 자동자 집합을 다항수만큼 만든다. 이 과정은 자동자 상태 수가 O(d·n) 수준이며, 전체 복잡도는 poly(d,n,|C|,t)이다. 2. **블랙박스 비가환 다항식 및 ABP 복원** 비가환 블랙박스 모델에서는 다항식 f가 차수 d와 t개의 항을 가진다고 가정한다. 위에서 만든 자동자 집합을 이용해 각 자동자에 대응하는 매트릭스 할당을 만든 뒤 f를 평가한다. 어느 자동자에서든 비제로 출력이 나오면, 해당 자동자가 격리한 문자열을 식별할 수 있다. 문자열을 복원한 뒤 계수를 직접 계산하면 해당 항을 완전히 알아낼 수 있다. 이 과정을 모든 자동자에 대해 반복하면, f의 모든 항과 계수를 다항시간에 재구성한다. ABP 복원에 대해서는, 회로 대신 ABP를 생각한다. ABP는 각 레이어가 변수에 의해 라벨링된 에지들로 구성된 DAG이며, 각 게이트(노드)의 출력값을 쿼리할 수 있다고 가정한다. 자동자‑행렬 대응을 동일하게 적용하면, 특정 게이트에 대한 매트릭스 할당을 통해 해당 게이트가 계산하는 부분다항식을 격리할 수 있다. 이를 이용해 레이어별로 모든 에지의 라벨을 복원하고, 최종적으로 원본 ABP와 동등한 구조를 결정적으로 구성한다. 이 결과는 Raz‑Shpilka가 제시한 비가환 포뮬라 PIT를 일반화한 것으로, 비가환 ABP 전체를 다항시간에 복원한다는 점에서 의미가 크다. 3. **유한 가환환에서의 PIT** 마지막으로, 계수가 임의의 유한 가환환 R에 속하는 경우를 고려한다. R의 원소는 {0,1}* 로 균일하게 인코딩되고, 덧셈·곱셈 연산은 오라클을 통해 수행된다고 가정한다. 이러한 모델 하에서는 기존 필드 기반 PIT 알고리즘(예: Schwartz‑Zippel, 영다항식 검증)과 동일한 절차를 그대로 적용할 수 있다. 구체적으로, 입력 다항식 f를 무작위 점 (r₁,…,r_n)∈Rⁿ에 대입하고 f(r)=0인지 검사하면, f가 영다항식이면 언제나 0, 그렇지 않으면 확률적으로 비제로가 된다. 오라클 호출 비용이 다항시간 내에 이루어지므로 전체 알고리즘은 poly(|R|,deg(f),n) 시간에 실행된다. 반면, 계수가 다항식 링 F