다변수 다항식 저차 인수분해의 비난수화와 효율적 알고리즘

초록

이 논문은 다변수 다항식 클래스 𝒞에 대해 상수 차수의 불변인자를 찾는 문제를, 𝒞에 대한 다항식 정체성 검사(PIT)와 상수 차수 다항식에 대한 나눗셈 테스트만으로 다항식 시간에 환원함을 보인다. 이를 통해 (1) 상수 차수 인수만을 갖는 다항식, (2) 희소 다항식, (3) 상수 깊이 회로로 표현된 다항식에 대해 각각 다항식, 준다항식, 준지수시간 알고리즘을 얻는다. 또한 희소 인수만을 찾는 문제를 PIT, 희소 나눗셈 테스트, 그리고 희소 다항식에 대한 이차 차원 보존 투사와 연결시켜, 해당 투사를 비난수화하면 전체 인수분해를 효율적으로 수행할 수 있음을 제시한다.

상세 분석

논문은 먼저 다변수 다항식 인수분해를 기존의 5단계 프레임워크(단일화, 투사, 2변수 인수분해, 보간, 검증)에서 Hensel lifting을 배제하고 보간 단계만을 이용하는 새로운 접근법을 제시한다. 핵심은 “상수 차수 인수”라는 제한된 목표에 대해 Hilbert의 불변성 정리를 확률적으로 적용하는 대신, 이를 완전 비난수화하는 방법을 설계한 점이다. 구체적으로, 입력 다항식 f∈𝒞의 최고 차수 동질 성분 Hom