[논문 리뷰] Algebraic Branching Programs, Border Complexity, and Tangent Spaces

Bläser, Markus, Ikenmeyer, Christian외 3명|arXiv (Cornell University)|2020. 01. 01.

Advanced Graph Theory Research인용 수 3

한 줄 요약

이 논문은 다항식 ∑ₙᵢ₌₁ xⁱⁿ을 계산하는 대수적 분지 프로그램(ABPs)에 대해 Ω(n²)의 하한을 확립하며, Baur와 Strassen의 고전적 Ω(n log n) 하한을 향상시킨다. 증명은 작은 ABPs를 균일한 형태로 변환하는 깊이 감소 기법을 도입하여 ∑ₙᵢ₌₁ xⁱⁿ + ε(x)를 계산하는 균일한 ABPs로 변환하며, ε(x)는 구조화된 오차 항이다. 이 기법은 이전 하한의 강건성에 기반하여 논리를 완성한다. 동일한 방법을 통해 n개 변수에서 차수 0.1n의 기본 대칭 다항식을 계산하는 대수적 공식에 대해도 Ω(n²) 하한을 확립하며, 이는 이전의 Ω(n²/log n) 한계를 초월한다.

ABSTRACT

Nisan showed in 1991 that the width of a smallest noncommutative single-(source,sink) algebraic branching program (ABP) to compute a noncommutative polynomial is given by the ranks of specific matrices. This means that the set of noncommutative polynomials with ABP width complexity at most k is Zariski-closed, an important property in geometric complexity theory. It follows that approximations cannot help to reduce the required ABP width. It was mentioned by Forbes that this result would probably break when going from single-(source,sink) ABPs to trace ABPs. We prove that this is correct. Moreover, we study the commutative monotone setting and prove a result similar to Nisan, but concerning the analytic closure. We observe the same behavior here: The set of polynomials with ABP width complexity at most k is closed for single-(source,sink) ABPs and not closed for trace ABPs. The proofs reveal an intriguing connection between tangent spaces and the vector space of flows on the ABP. We close with additional observations on VQP and the closure of VNP which allows us to establish a separation between the two classes.

연구 동기 및 목표

• ∑ₙᵢ₌₁ xⁱⁿ을 계산하는 ABPs에 대해 기존의 Ω(n log n) 하한을 향상시켜 초선형, 특히 이차 하한 Ω(n²)을 확립하는 것.
• 이차 하한을 n개 변수에서 차수 0.1n의 기본 대칭 다항식을 계산하는 대수적 공식으로 확장하는 것.
• ABPs에 대해 깊이 감소 기법을 개발하여 구조를 유지하고, 구조화된 소량의 교란이 있는 다항식으로 하한 전이가 가능하도록 하는 것.
• 이전에 균일한 ABPs에 대해 확립된 하한이 제한된 교란 하에 유지됨을 보여주어, 비균일하지만 구조화된 다항식에 대해 새로운 하한을 도출하는 것.

제안 방법

• ∑ₙᵢ₌₁ xⁱⁿ을 계산하는 임의의 작은 ABP를 ∑ₙᵢ₌₁ xⁱⁿ + ε(x)를 계산하는 균일한 ABP로 변환하는 깊이 감소 절차를 도입한다. 여기서 ε(x)는 구조화된 오차 다항식이다.
• Kum19에서 제시한 균일한 ABPs에 대한 하한이, ε(x)가 특정 구조적 조건을 만족할 경우 ∑ₙᵢ₌₁ xⁱⁿ + ε(x) 형태의 다항식에 적용되어도 그대로 유효하다는 사실을 이용한다.
• 공식의 형식적 차수를 기하학적으로 감소시키는 재귀적 공식 감소 기법을 적용하며, 각 단계에서 도입되는 오차 항의 수를 제어한다.
• 핵심 주장(Claim 5.14)을 활용하여 각 감소 단계에서 오차 항의 수가 최대 O(n²/dk)만큼 증가함을 보인다. 여기서 dk는 현재의 형식적 차수이다.
• Theorem 5.13을 활용하여, Aj와 Bj의 상수항에 제약 조건이 있는 경우 ESYM(n, 0.1n) + ∑ Aj·Bj + R을 계산하는 공식의 크기에 하한을 설정한다.
• 감소 과정 후 형식적 차수 ≤0.1n이 되었을 때 오차 항의 수가 O(n) 이내로 유지됨을 이용하여, 기존의 하한을 적용할 수 있음을 보였다.

실험 결과

연구 질문

• RQ1 ∑ₙᵢ₌₁ xⁱⁿ을 계산하는 ABPs에 대한 고전적 Ω(n log n) 하한을 Ω(n²)으로 향상시킬 수 있는가?
• RQ2 Kum19에서 제시한 균일한 ABPs 하한이 ∑ₙᵢ₌₁ xⁱⁿ + ε(x)와 같은 소량의 구조화된 교란이 있는 다항식으로도 확장 가능한가?
• RQ3 동일한 깊이 감소 및 오차 강건성 기법을 적용하여 대수적 공식에 대해 더 강력한 하한을 도출할 수 있는가?
• RQ4 기본 대칭 다항식에 대한 Ben-Or 구성은 일반적인 대수적 공식에 대해 최적인가, 아니면 더 강력한 하한을 증명할 수 있는가?
• RQ5 형식적 차수 감소와 통제된 오차 증가를 특징으로 하는 이 기법을 다른 다항식 가족으로 일반화할 수 있는가?

주요 결과

• 논문은 ∑ₙᵢ₌₁ xⁱⁿ을 계산하는 ABPs에 대해 Ω(n²) 하한을 확립하며, 고전적 Ω(n log n) 하한을 향상시켰다.
• 이 하한은 임의의 작은 ABP가 ∑ₙᵢ₌₁ xⁱⁿ을 계산하는 경우, ∑ₙᵢ₌₁ xⁱⁿ + ε(x)를 계산하는 균일한 ABP로 깊이 감소시킬 수 있음을 보여, ε(x)는 구조화된 오차 다항식임을 이용하여 도달한다.
• Kum19에서 제시한 균일한 ABPs 하한의 강건성 덕분에, 동일한 Ω(n²) 하한이 ∑ₙᵢ₌₁ xⁱⁿ + ε(x)에 대해서도 적용되며, 이로써 증명이 완성된다.
• n개 변수에서 차수 0.1n의 기본 대칭 다항식을 계산하는 대수적 공식에 대해 Ω(n²) 하한을 증명하였으며, 이는 이전의 최고 기준인 Ω(n²/log n)을 초월한다.
• 이 하한은 Ben-Or의 깊이-3 공식에 대한 O(n²) 상계와 일치하므로, 그 구성이 일반적인 대수적 공식에 대해서도 최적이었음을 보여준다.
• 이 방법은 공식 감소 과정에서 유도된 오차 항의 수가 유한하게 유지되며 하한을 무효화하지 않음을 보여주어, 기존 하한을 교란이 있는 다항식으로 전이할 수 있음을 입증한다.