[논문 리뷰] Lower Bounds for Multiplication via Network Coding

Peyman Afshani, Casper Benjamin Freksen외 2명|DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)|2019. 02. 28.

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

한 줄 요약

이 논문은 비방향성 $k$-페어 네트워크 코딩 추측이 참임을 가정할 경우, 곱셈 또는 시프트 연산을 계산하는 부울 회로에 대해 $Ω(n\lg n)$의 조건부 하한을 확립한다. 이 결과는 곱셈이 상수 차수의 크기 $O(n)$인 회로로 계산될 수 없음을 시사하며, 투어의 상한과 거의 정확히 일치하고 곱셈이 덧셈보다 엄격히 더 어렵다는 것을 보여준다.

ABSTRACT

Multiplication is one of the most fundamental computational problems, yet its true complexity remains elusive. The best known upper bound, by Fürer, shows that two $n$-bit numbers can be multiplied via a boolean circuit of size $O(n \lg n \cdot 4^{\lg^*n})$, where $\lg^*n$ is the very slowly growing iterated logarithm. In this work, we prove that if a central conjecture in the area of network coding is true, then any constant degree boolean circuit for multiplication must have size $Ω(n \lg n)$, thus almost completely settling the complexity of multiplication circuits. We additionally revisit classic conjectures in circuit complexity, due to Valiant, and show that the network coding conjecture also implies one of Valiant's conjectures.

연구 동기 및 목표

• 기본적인 계산 문제인 곱셈의 회로 복잡도에 대해 조건부 하한을 확립하는 것.
• 곱셈의 복잡도를 핵심적인 비방향성 $k$-페어 네트워크 코딩 추측과 연결하는 것.
• 더 단순한 시프트 문제조차도 동일한 추측 하에 $Ω(n\lg n)$의 회로 크기를 요구한다는 것을 보여주는 것.
• 네트워크 코딩 추측이 오랜 기간 동안 제기된 회로 복잡도 이론의 추측들, 특히 발리언트의 깊이 축소 추측을 함의한다는 것을 보여주는 것.
• 네트워크 코딩 원리를 활용해 회로 하한을 유도하는 새로운 프레임워크를 제공하는 것.

제안 방법

• 시프트 문제로 곱셈 문제를 감소시키며, 문자열을 $j$ 단위로 이동시키는 것은 $2^j$로 곱하는 것과 동일하다.
• 시프트 연산을 통신 작업으로 모델링하기 위해 $n/k$개의 소스-싱크 쌍을 가진 네트워크 코딩 인스턴스를 구성한다.
• 정보 흐름을 시뮬레이션하고 간선에 대한 엔트로피 제약 조건을 유도하기 위해 $\mathcal{F}$-보정 게임을 사용한다.
• 샤논의 소스 코딩 정리를 적용하여 간선의 메시지 엔트로피를 간선 용량과 연결한다.
• 비방향 네트워크의 다중물류 흐름 분석을 수행하며, 네트워크 코딩 추측이 참임을 가정한다.
• 유량 보존, 엔트로피 한계, 용량 제약 조건을 조합하여 부분 그래프의 간선 수에 대한 하한을 유도한다.

Figure 1: The depth $3$ circuit $C$ .

실험 결과

연구 질문

• RQ1 상수 차수의 부울 회로에서 곱셈의 복잡도는 $\Omega(n\lg n)$로 하한을 가질 수 있는가?
• RQ2 비방향성 $k$-페어 네트워크 코딩 추측은 기본 산술 연산에 대해 강력한 회로 하한을 함의하는가?
• RQ3 곱셈의 특수한 경우인 시프트 연산은 회로 복잡도에서 덧셈보다 본질적으로 더 복잡한가?
• RQ4 네트워크 코딩 추측은 부울 회로에서 깊이 축소에 관한 발리언트의 추측을 함의하는가?
• RQ5 네트워크 코딩 기반 감소 기법을 사용해 다른 계산 문제에 대해 날카로운 하한을 도출할 수 있는가?

주요 결과

• 비방향성 $k$-페어 네트워크 코딩 추측을 가정할 경우, 곱셈을 위한 임의의 상수 차수의 부울 회로는 크기가 $\Omega(n\lg n)$여야 한다.
• 동일한 하한은 더 단순한 시프트 문제에도 적용되며, 여기서 $n$-비트 문자열이 $\lg n$-비트 인덱스로 이동된다.
• 결과는 투어의 상한 $O(n\lg n \cdot 4^{\lg^* n})$와 거의 정확히 일치하며, 곱셈이 덧셈보다 엄격히 더 어렵다는 것을 보여준다.
• 네트워크 코딩 추측은 발리언트의 깊이 축소 추측을 함의하며, 회로 복잡도 이론의 두 주요 열린 문제를 연결한다.
• 증명 기법은 순환 시프트로도 확장되며, 동일한 하한이 이 변형에도 적용됨을 보여준다.

Figure 2: Given the $2$ -layer circuit $\Gamma$ spanned by $x_{1},\ldots,x_{n},y_{1},\ldots,y_{n}$ , we construct the communication network graph $G$ .