[논문 리뷰] Near-Optimal Lower Bounds on the Threshold Degree and Sign-Rank of AC^0

Alexander A. Sherstov, Pei Wu|arXiv (Cornell University)|2019. 01. 01.

Complexity and Algorithms in Graphs참고 문헌 55인용 수 3

한 줄 요약

이 논문은 이산적 분포와 이중 다항식을 기반으로 하는 새로운 강화 기법을 사용하여, 임계도수와 서그너랭크에 대해 near-optimal 하한을 확립한다. 임계도수 Ω(n¹⁻ᵝ)과 서그너랭크 exp(Ω(n¹⁻ᵝ))를 갖는 명시적 AC⁰ 회로를 구성함으로써, 임의의 β > 0 에 대해 이를 달성한다. 이 접근법은 이전의 하한을 크게 향상시키며, 특히 깊이 4부터는 이전 결과들을 모두 포함하고도 더 엄격히 개선한다.

ABSTRACT

The communication class UPP^{cc} is a communication analog of the Turing Machine complexity class PP. It is characterized by a matrix-analytic complexity measure called sign-rank (also called dimension complexity), and is essentially the most powerful communication class against which we know how to prove lower bounds. For a communication problem f, let f wedge f denote the function that evaluates f on two disjoint inputs and outputs the AND of the results. We exhibit a communication problem f with UPP^{cc}(f)= O(log n), and UPP^{cc}(f wedge f) = Theta(log^2 n). This is the first result showing that UPP communication complexity can increase by more than a constant factor under intersection. We view this as a first step toward showing that UPP^{cc}, the class of problems with polylogarithmic-cost UPP communication protocols, is not closed under intersection. Our result shows that the function class consisting of intersections of two majorities on n bits has dimension complexity n^{Omega(log n)}. This matches an upper bound of (Klivans, O'Donnell, and Servedio, FOCS 2002), who used it to give a quasipolynomial time algorithm for PAC learning intersections of polylogarithmically many majorities. Hence, fundamentally new techniques will be needed to learn this class of functions in polynomial time.

연구 동기 및 목표

• 상수 깊이 회로(AC⁰)에서 달성 가능한 최대 임계도수와 서그너랭크를 규명하는 오랜 동안 미해결된 문제를 해결하기 위해.
• 이전까지의 최선 하한인 Ω(√n) (임계도수) 및 exp(˜Ω(√n)) (서그너랭크)를 초월하기 위해.
• 이전의 모든 작업을 포함하고도 엄격히 개선하는 통합 프레임워크를 제공하여, AC⁰에서의 임계도수, 서그너랭크, 이심도, 임계무게, 임계밀도에 대한 연구를 통합하기 위해.
• AC⁰ 회로의 무한오차 통신복잡도에 대해 날카로운 하한을 확립하기 위해.

제안 방법

• 이동된 곱분포를 사용하여 다중패리티 함수(MP)에 대해 유계 이중다항식을 구성하기 위해.
• 부호 표현을 유지하면서도 임계도수를 강화하는 새로운 입력 변환을 도입하기 위해.
• 입력 분포의 국소적 스무스 조건을 개발하여 질량 이동을 제어하고 이중다항식을 구성하기 위해.
• 저차수 이중다항식을 고차수로 올리는 데 사용되는 디지털 강화 정리를 적용하기 위해.
• 포스터의 정리와 스펙트럴 노름 한계를 활용하여 스무스한 임계도수를 서그너랭크 하한으로 올리기 위해.
• 제어된 팬인 수를 가진 OR 및 AND 게이트의 재귀적 조합을 통해 원하는 복잡도 성질을 갖는 명시적 AC⁰ 회로를 구축하기 위해.

실험 결과

연구 질문

• RQ1 상수 깊이 AC⁰ 회로에서 달성 가능한 최대 임계도수는 무엇이며, 입력 크기와 어떻게 스케일링되는가?
• RQ2 AC⁰ 회로의 최대 서그너랭크는 무엇이며, 통신복잡도와의 관계는 어떠한가?
• RQ3 기존의 임계도수 및 서그너랭크 하한은 모든 깊이의 AC⁰에서 체계적으로 향상되고 통합될 수 있는가?
• RQ4 AC⁰ 회로의 맥락에서 임계도수, 서그너랭크, 이심도는 어떻게 관련되어 있는가?
• RQ5 명시적 AC⁰ 회로 구축이 near-optimal 임계도수와 서그너랭크를 달성할 수 있는가?

주요 결과

• 모든 ǫ > 0 에 대해, 논문은 β = ǫ 인 경우에 대해 임계도수 Ω(n¹⁻ᵝ)과 서그너랭크 exp(Ω(n¹⁻ᵝ))를 갖는 AC⁰ 회로를 구성하여 near-optimality 를 달성한다.
• 깊이 4부터는 이전 하한을 엄격히 향상시키며, 이는 이전의 모든 결과를 포함하고도 더 엄격히 개선한다.
• 깊이 3k 에 대해 AC⁰ 회로의 서그너랭크는 exp(Ω(n¹⁻¹ᐟᵏ⁺¹ · (log n)⁻ᵏ⁽ᵏ⁻¹⁾ᐟ²⁽ᵏ⁺¹⁾)) 이며, 이는 현재 알려진 최고의 하한과 일치한다.
• AC⁰ 회로의 무한오차 통신복잡도는 Ω(n¹⁻¹ᐟᵏ⁺¹ · (log n)⁻ᵏ⁽ᵏ⁻¹⁾ᐟ²⁽ᵏ⁺¹⁾) 이하로 하한이 있으며, 이는 서그너랭크 하한과 일치한다.
• 이 결과들은 AC⁰ 회로에 대해 이심도, 임계무게, 임계밀도에 대해 near-optimal 하한을 도출한다.
• 이 프레임워크는 증명 가능하게 높은 임계도수와 서그너랭크를 갖는 깊이 구조화된 명시적 AC⁰ 회로를 구성할 수 있게 하여, 오랜 동안 미해결이었던 문제를 해결한다.