[논문 리뷰] On the Spectral Properties of Symmetric Functions

Anil Ada, Omar Fawzi외 1명|arXiv (Cornell University)|2017. 04. 11.

Complexity and Algorithms in Graphs참고 문헌 9인용 수 4

한 줄 요약

이 논문은 조합적 측도인 $r(f)$와 $\rho(f)$를 사용하여 대칭 부울 함수의 스펙트럼 성질, 즉 근사 단항 복잡도, 부호 단항 복잡도, 근사 $L_1$ 노름을 특성화한다. 이는 [AFH12]에서 제기된 $L_1$ 노름에 대한 주요 추측을 해결하고, [ZS09]에서 제기된 대칭-엑스오르 함수에 대한 무한정 오차 통신 복잡도에 대한 추측을 증명하며, 대칭-논리곱 함수로의 감소를 통해 날카로운 경계를 확립한다.

ABSTRACT

We characterize the approximate monomial complexity, sign monomial complexity , and the approximate L 1 norm of symmetric functions in terms of simple combinatorial measures of the functions. Our characterization of the approximate L 1 norm solves the main conjecture in [AFH12]. As an application of the characterization of the sign monomial complexity, we prove a conjecture in [ZS09] and provide a characterization for the unbounded-error communication complexity of symmetric-xor functions.

연구 동기 및 목표

• 대칭 부울 함수의 근사 단항 복잡도를 조합적 매개변수로 특성화하는 것.
• 부호 단항 복잡도의 특성화 및 그 통신 복잡도에 대한 함의를 규명하는 것.
• [AFH12]에서 제기된 대칭 함수의 근사 $L_1$ 노름에 대한 주요 추측을 해결하는 것.
• [ZS09]에서 제기된 대칭-엑스오르 함수에 대한 무한정 오차 통신 복잡도에 대한 추측을 증명하는 것.
• 대칭-엑스오르 함수에 대해 로그 근사 랭크 추측이 성립하는지 확인하는 것.

제안 방법

• 푸리에 분석을 활용한 부울 함수의 스펙트럼 노름과 단항 복잡도에 중점을 둔다.
• 대칭-엑스오르 함수 문제를 구조적 변환을 통해 알려진 대칭-논리곱 함수 결과로 감소시킨다.
• 대칭-논리곱 함수에 대한 근사 랭크 및 부호 랭크의 경계 적용 (정리 2.5 및 2.6).
• 삼각 부등식과 $\frac{1}{5}$-근사 $L_1$ 노름을 사용하여 단항 복잡도의 하한을 유도한다.
• $\rho(f)$ 매개변수, 즉 $f(i) \neq f(i+2)$인 위치 수를 정의하여 스펙트럼 및 통신 복잡도를 특성화한다.
• 포스터의 스펙트럼 노름 하한 기법과 셰르스토프의 대칭-논리곱 함수 결과를 활용하여 대칭-엑스오르 함수로 확장한다.

실험 결과

연구 질문

• RQ1 대칭 함수의 근사 단항 복잡도와 그 조합적 구조 사이의 정확한 관계는 무엇인가?
• RQ2 대칭 함수의 부호 단항 복잡도는 그 스펙트럼 노름과 통신 복잡도와 어떻게 관련되어 있는가?
• RQ3 근사 $L_1$ 노름은 단순한 조합적 측도를 사용하여 대칭 함수에 대해 특성화될 수 있는가, [AFH12]의 추측을 해결할 수 있는가?
• RQ4 대칭-엑스오르 함수의 무한정 오차 통신 복잡도는 [ZS09]에서 추측한 바와 같이 $\rho(f)$로 특성화되는가?
• RQ5 기존의 근사 랭크 및 통신 복잡도 경계를 고려할 때, 대칭-엑스오르 함수에 대해 로그 근사 랭크 추측이 성립하는가?

주요 결과

• 대칭 함수의 근사 단항 복잡도는 주기 2로 변하는 최소 간격인 $r(f)$로 특성화된다.
• 부호 단항 복잡도는 $(n+2)^{\rho(f)}$로 상한이 존재하며, 여기서 $\rho(f)$는 $f(i) \neq f(i+2)$인 위치 수를 세는 값이다.
• 근사 $L_1$ 노름은 $\log\|\widehat{f}\|_{1,1/5} = \Omega(r(f)) - \frac{1}{2}\log n$ 및 $O(r(f)\log(n/r(f)))$를 만족하며, 이는 [AFH12]의 주요 추측을 해결한다.
• 대칭-엑스오르 함수의 무한정 오차 통신 복잡도는 $\log \mathbf{U}(F^\oplus_{n,f}) = \Omega(\rho(f)/\log^5 n)$ 및 $O(1 + \rho(f)\log n)$를 만족하며, [ZS09]의 추측을 확인한다.
• 로그 근사 랭크 추측은 대칭-엑스오르 함수에 대해 성립하며, 어떤 상수 $c$에 대해 $\mathbf{R}_\epsilon(F^\oplus_{n,f}) \leq \log^c \operatorname{rank}_{\epsilon'}(F)$를 만족한다.
• 푸리에 무한노름에 대한 하한이 확립되었으며, $\|\widehat{f}\|_\infty \geq 1/(n+2)^{\rho(f)}$이다.