[논문 리뷰] Hitting Sets for Orbits of Circuit Classes and Polynomial Families

Saha, Chandan, Thankey, Bhargav|arXiv (Cornell University)|2021. 01. 01.

Polynomial and algebraic computation참고 문헌 37인용 수 6

한 줄 요약

이 논문은 복소수 또는 실수 위에서 동차 삼차다항식이 일차형식들의 세제곱의 합으로 표현될 수 있는지 테스트하기 위한 랜덤화된 대수적 알고리즘을 제시한다. 이 방법은 다항식 인수분해를 피하기 위해 대칭 텐서 분해를 통해 헤시안 행렬의 동시에 대각화를 사용하며, 비트 모델에서 ℚ 위에서 다항식 시간 내에 작동하며, 블랙박스 항등식 테스트, 변수 최소화, 리 대수 계산, 일차형식으로의 인수분해 등에 대한 비랜덤화를 가능하게 한다.

ABSTRACT

The orbit of an n-variate polynomial f(𝐱) over a field 𝔽 is the set {f(A𝐱+𝐛) : A ∈ GL(n,𝔽) and 𝐛 ∈ 𝔽ⁿ}. In this paper, we initiate the study of explicit hitting sets for the orbits of polynomials computable by several natural and well-studied circuit classes and polynomial families. In particular, we give quasi-polynomial time hitting sets for the orbits of: 1) Low-individual-degree polynomials computable by commutative ROABPs. This implies quasi-polynomial time hitting sets for the orbits of the elementary symmetric polynomials. 2) Multilinear polynomials computable by constant-width ROABPs. This implies a quasi-polynomial time hitting set for the orbits of the family {IMM_{3,d}}_{d ∈ ℕ}, which is complete for arithmetic formulas. 3) Polynomials computable by constant-depth, constant-occur formulas. This implies quasi-polynomial time hitting sets for the orbits of multilinear depth-4 circuits with constant top fan-in, and also polynomial-time hitting sets for the orbits of the power symmetric and the sum-product polynomials. 4) Polynomials computable by occur-once formulas.

연구 동기 및 목표

• 동차 삼차다항식이 ℂ 및 ℝ 위에서 n 개의 세제곱의 합과 동치인지 다항식 시간 알고리즘으로 테스트하는 것.
• 이전 복원 알고리즘에서 흔히 사용되는 다항식 인수분해에 의존하지 않도록 하는 것.
• 계수에 대한 산술 연산과 등가/부등가 테스트만을 사용하는 결정론적 대수적 알고리즘을 제공하는 것.
• 관련 문제들에 대한 비랜덤화를 가능하게 하는 것: 블랙박스 항등식 테스트, 변수 최소화, 리 대수 계산, 일차형식으로의 인수분해.
• 표준 튜링 기계 모델에서 유리수 계수를 가진 입력에 대해 강한 다항식 시간 알고리즘을 확립하는 것.

제안 방법

• 입력 다항식 f의 헤시안 행렬을 사용하여 f의 대칭성을 기록하는 리 대수를 계산한다.
• 리 대수의 기저에 대해 동시에 대각화를 적용하여 f를 단항식 형태로 변환한다.
• 다항식의 d제곱의 합의 리 대수는 차원이 n−1이며, 서로 가환하고 대각화 가능한 행렬들로 이루어져 있다는 사실을 활용한다.
• 수직보완공간 계산을 통해 단항식 x^α의 지수 벡터 α를 복원한다.
• 행렬 변환 A를 통해 일차형식을 복원하여 f(x) = λ·(Ax)^α로 표현한다.
• 밀도 있는 선형대수와 유리수의 d제곱근 추출을 이용해 분해를 검증한다.

실험 결과

연구 질문

• RQ1 유리수 위에서 동차 삼차다항식이 ℂ 또는 ℝ 위에서 n 개의 세제곱의 합과 동치인지 다항식 시간 내에 테스트할 수 있는가?
• RQ2 이 문제에 대해 다항식 인수분해를 피하는 대수적 알고리즘을 설계할 수 있는가?
• RQ3 산술 연산과 비교 연산만을 사용하여 동치성 테스트를 비랜덤화할 수 있는가?
• RQ4 산술적 방법을 사용하여 다항식의 변수 수를 최소화하는 데 필요한 계산 복잡도는 무엇인가?
• RQ5 다항식의 리 대수를 사용하여 일차형식의 거듭제곱 곱의 결정론적 인수분해 알고리즘을 유도할 수 있는가?

주요 결과

• 입력의 계수가 유리수일 경우 표준 튜링 기계 모델에서 알고리즘이 강한 다항식 시간 내에 작동함을 입증하였다.
• 이 방법은 다항식 인수분해를 완전히 피하며, 대신 헤시안의 리 대수의 동시에 대각화를 통한 대칭 텐서 분해에 의존한다.
• DerandLie 절차를 이용해 일차형식의 거듭제곱 곱으로의 인수분해를 위한 결정론적 블랙박스 알고리즘을 구성하였다.
• 유리수 위에서 P_d = ∑x_i^d 와 동치인 모든 다항식을 정확히 식별할 수 있으며, f(x) = P_d(Ax)를 만족하는 유리수로 가역적인 변환 A가 존재한다.
• f의 리 대수가 (n−1)차원이면서 아벨일 조건과 필요충분조건으로 f가 일차형식들의 선형 독립적 세제곱의 합임을 증명하였다.
• 알고리즘은 강건하다: 다항식이 일차형식의 거듭제곱의 곱으로 분해되지 않는 입력에서는 실패할 수 있으나, 이는 어떤 결정론적 블랙박스 알고리즘에도 피할 수 없는 일이다.