[논문 리뷰] Query-to-Communication Lifting Using Low-Discrepancy Gadgets

Arkadev Chattopadhyay, Yuval Filmus외 3명|arXiv (Cornell University)|2019. 04. 30.

Complexity and Algorithms in Graphs인용 수 4

한 줄 요약

이 논문은 로그 크기의 저이분산 게이지에 대해 쿼리 복잡도와 통신 복잡도 사이의 연결 고리를 설정하는 새로운 리프팅 정리(lifting theorem)를 제안한다. 이는 이전에 내적(inner product)과 같은 특정 게이지에 국한된 결과를 넘어서, 모든 저이분산 게이지에 대해 적용 가능한 것이다. 주요 기여는 저이분산 게이지를 사용하는 일반적인 리프팅 프레임워크를 제안하여, 더 넓은 범위의 함수에 대해 쿼리 복잡도 하한값으로부터 랜덤화된 통신 복잡도 하한값을 도출할 수 있도록 한다.

ABSTRACT

Lifting theorems are theorems that relate the query complexity of a function $f:\\{0,1\\}^{n}\ o\\{0,1\\}$ to the communication complexity of the composed function $f \\circ g^{n}$, for some "gadget" $g:\\{0,1\\}^{b}\ imes\\{0,1\\}^{b}\ o\\{0,1\\}$. Such theorems allow transferring lower bounds from query complexity to the communication complexity, and have seen numerous applications in the recent years. In addition, such theorems can be viewed as a strong generalization of a direct-sum theorem for the gadget $g$. We prove a new lifting theorem that works for all gadgets $g$ that have logarithmic length and exponentially-small discrepancy, for both deterministic and randomized communication complexity. Thus, we significantly increase the range of gadgets for which such lifting theorems hold. Our result has two main motivations: First, allowing a larger variety of gadgets may support more applications. In particular, our work is the first to prove a randomized lifting theorem for logarithmic-size gadgets, thus improving some applications of the theorem. Second, our result can be seen as a strong generalization of a direct-sum theorem for functions with low discrepancy.

연구 동기 및 목표

• 내적 게이지의 특수 케이스를 초월하여, 로그 크기의 모든 저이분산 게이지에 대해 리프팅 정리를 확장하기 위해.
• 임의의 저이분산 게이지 g에 대해 함수 f의 쿼리 복잡도와 f∘gⁿ의 통신 복잡도 사이의 일반적인 연결 고리를 수립하기 위해.
• 적용 가능한 게이지의 범위를 넓혀 통신 복잡도에서 리프팅 정리의 새로운 응용을 가능하게 하기 위해.
• 저이분산 게이지가 결정론적 및 랜덤화된 통신 모델 양쪽 모두에서 강력한 직접합(direct-sum) 성질을 지원함을 보여, 직접합 정리들을 일반화하기 위해.

제안 방법

• 쿼리 프로토콜을 통신 환경에서 시뮬레이션하는 동안 정보 손실을 추적하기 위해 결함 기반 분석을 도입한다.
• 엔트로피 항과 자유 변수 수를 조합하여 쿼리 수를 제한하는 결함 측도를 정의한다.
• 게이지의 저이분산 성질을 이용해 프로토콜 시뮬레이션 중에 위험하거나 泄露되는 값이 발생할 확률을 제한한다.
• 시뮬레이션 프로토콜의 각 단계를 분석하여, 메시지 전송이 결함을 O(log(1/p_M))만큼 증가시키는 반면, 쿼리 단계는 Ω(b·|I|)만큼 감소시킴을 보인다.
• 총 결함이 유한하고 음수가 아니라는 것을 증명하여, 쿼리 복잡도 상한이 O((C + b)/b)임을 도출한다. 여기서 C는 통신 비용이다.
• 게이지의 지수적 이분산성과 로그 크기를 활용해, 각 쿼리 단계에서의 결함 감소가 메시지로 인한 증가를 압도함을 보여, 리프팅 결과를 확보한다.

실험 결과

연구 질문

• RQ1 리프팅 정리는 내적 게이지 외에도 로그 크기의 모든 저이분산 게이지로 확장될 수 있는가?
• RQ2 어떤 조건을 만족해야 저이분산 게이지가 랜덤화된 환경에서 쿼리 복잡도 하한값이 통신 복잡도 하한값으로 리프팅되는가?
• RQ3 결함 기반 분석을 어떻게 활용해 통신 시뮬레이션에서의 쿼리 수를 제한할 수 있는가?
• RQ4 저이분산 게이지가 통신 복잡도에서 강력한 직접합 성질을 얼마나 잘 지원하는가?
• RQ5 동일한 게이지 제약 조건으로 결정론적 및 랜덤화된 통신 복잡도 양쪽 모두에서 작동하는 리프팅 프레임워크를 일반화할 수 있는가?

주요 결과

• 논문은 로그 크기의 모든 저이분산 게이지에 대해 랜덤화된 리프팅 정리를 증명하였으며, 이는 이전에 내적 함수에 국한된 결과를 크게 일반화한 것이다.
• 결함 분석에 따르면, 각 메시지 전송은 최대 O(log(1/p_M) + 1)만큼 결함을 증가시키지만, 각 쿼리 단계는 Ω(b·|I|)만큼 감소시키므로 쿼리 수가 유한함을 보장한다.
• 통신 프로토콜에서의 총 쿼리 수는 O((C + b)/b) 이하로 제한되며, 여기서 C는 통신 비용이고 b는 게이지 크기이다.
• 이 프레임워크는 결정론적 및 랜덤화된 통신 복잡도 모두를 지원하여, 리프팅 정리의 적용 범위를 훨씬 더 넓은 함수 클래스로 확장한다.
• 결과적으로, 저이분산 게이지가 정보 이론적 압축을 내재적으로 지원함을 보여, 직접합 정리의 강력한 일반화를 암시한다.
• 분석은 게이지가 지수적 이분산성과 로그 크기를 갖는 조건 하에서 성립하며, 이는 다양한 자연 함수들에 의해 충족된다.