상위 팬인 제한 깊이 3 회로의 블랙박스 영식별 테스트 필드와 무관

초록

본 논문은 상위 팬인 k 가 상수이고 차수가 d 인 깊이‑3 회로 sps(k,d,n) 에 대해, 기반 필드와 무관하게 poly(n·d^k) 시간 내에 영식별을 검증할 수 있는 블랙박스 알고리즘을 제시한다. 핵심은 회로의 변수 수를 k 개로 축소하면서 영식별 구조를 보존하는 변환이며, 이는 기존의 랭크 기반 기법을 사용하지 않는다.

상세 분석

깊이‑3 회로는 ΣΠΣ 형식으로 표현되며, 상위 Σ 게이트의 팬인 k 가 작을수록 구조적 제약이 강해진다. 기존 연구는 주로 랭크‑기반 방법을 이용해 k 가 상수일 때도 필드 ℚ 에 한정된 효율적인 검증을 제시했으며, 일반 필드에서는 여전히 지수적 복잡도가 남아 있었다. 본 논문은 두 가지 혁신적인 아이디어로 이 난관을 극복한다. 첫째, “변수 축소 변환”(Variable‑Reduction Transformation)을 설계하여 sps(k,d,n) 회로를 동일한 영식별 여부를 유지하면서 변수 수를 k 로 감소시킨다. 이 변환은 무작위 선형 사상과 고정된 다항식 치환을 조합해, 원 회로의 모든 항이 k 개의 새로운 변수에 대한 다항식으로 재구성되도록 보장한다. 둘째, 축소된 k‑변수 회로에 대해 전통적인 블랙박스 히팅 세트(예: 그리드 기반 샘플링)를 적용하면, 전체 회로에 대한 영식별 테스트가 poly(n·d^k) 시간 안에 수행된다. 중요한 점은 이 과정에서 필드의 특성이나 크기에 의존하지 않는다는 것이다. 변환 단계는 선형 연산만을 사용하므로, 임의의 체 𝔽 에 대해 동일하게 적용 가능하고, 히팅 세트 구성 역시 체 연산이 가능한 한계 내에서 수행된다. 또한, 변환이 영식별 구조를 완전 보존한다는 증명은, 원 회로의 각 곱항이 새로운 변수에 대한 일대일 매핑을 갖는다는 사실을 이용해, 영식별 여부가 변환 후에도 동일함을 보인다. 이와 같이 변수 수를 상수 k 로 제한함으로써, 기존에 지수적으로 폭증하던 차수 d 와 변수 n 의 의존성을 효과적으로 차단한다. 결과적으로, 필드에 무관한 다항식 시간 블랙박스 영식별 알고리즘이 최초로 구현되었다.