[논문 리뷰] A Composition Theorem for Conical Juntas

Jain, Rahul, Lee, Troy외 1명|arXiv (Cornell University)|2014. 01. 18.

Quantum Computing Algorithms and Architecture참고 문헌 1인용 수 11

한 줄 요약

이 논문은 고전적 통신 복잡도와 질의 복잡도를 위한 새로운 선형계획법 기반의 하한 방법인 공개코인 분할 하한을 소개한다. 이 하한의 로그 값이 제곱적으로 날카롭게 높아진다는 것을 증명한다: 공개코인 랜덤화된 통신 및 질의 복잡도를 하한으로 제시하며, 그 제곱은 복잡도를 상한으로 제시하므로, 모든 관계에 대해 이와 같은 날카러운 하한을 달성하는 것으로 알려진 첫 번째 하한이다.

ABSTRACT

In this work we introduce, both for classical communication complexity and query complexity, a modification of the 'partition bound' introduced by Jain and Klauck [2010]. We call it the 'public-coin partition bound'. We show that (the logarithm to the base two of) its communication complexity and query complexity versions form, for all relations, a quadratically tight lower bound on the public-coin randomized communication complexity and randomized query complexity respectively.

연구 동기 및 목표

• 통신 및 질의 복잡도에서 분할 하한이 얼마나 날카운지에 대한 열린 질문을 해결하기 위해.
• 공개코인 랜덤성을 통합한 분할 하한의 새로운 변형을 개발하여 그 강력함과 적용 가능성을 향상시키기 위해.
• 새로운 하한이 제곱적으로 날카로움을 입증하기 위해, 즉 그 로그 값이 공개코인 랜덤화된 복잡도의 하한이자 그 제곱이 상한이 되는 것을 입증하기 위해.
• 선형계획법을 사용하여 기존의 통신 및 질의 복잡도 하한 기법들을 통합하고 강화하기 위해.

제안 방법

• 입력 공간의 분할을 직사각형 또는 할당으로 모델링하는 선형계획법으로 공개코인 분할 하한을 정의한다. 각각은 출력과 확률과 연관된다.
• 원형에서 변수 wz,R 은 입력 (x,y) 가 직사각형 R 내에서 출력 z 를 내는 확률을 나타내며, 각 입력에 대해 모든 직사각형을 통틀어 합이 1이 되도록 제약된다.
• 분할 P 의 확률 분포 aP 를 도입한다. 여기서 wz,R 은 (z,R) 를 포함하는 모든 분할 P 에 대해 aP 를 합한 값이며, 이는 프로토콜의 출력 분포와 일관성을 확보한다.
• 선형계획법의 이중형을 사용하여 복잡도를 가중치 µx,y, φx,y 및 보조 변수 vz,R 로 제약하는 최대화 문제를 유도한다.
• 원형 최적값의 로그 값이 공개코인 랜덤화된 통신 및 질의 복잡도의 하한이 되는 것을 증명한다.
• 분할을 샘플링하고 통신 또는 질의 비용이 제한된 방식으로 시뮬레이션하는 프로토콜을 구성함으로써, 최적값의 로그 값의 제곱이 복잡도를 상한으로 제시함을 보인다.

실험 결과

연구 질문

• RQ1 공개코인 랜덤화된 통신 복잡도에서 분할 하한은 제곱적으로 날카로운가?
• RQ2 공개코인 랜덤성을 반영하고 날카로움을 달성하는 수정된 분할 하한을 구성할 수 있는가?
• RQ3 새로운 하한은 모든 관계에 대해 기존의 분할 하한보다 엄밀히 강력한가?
• RQ4 새로운 하한을 사용하여 통신 및 질의 복잡도에 대해 동시에 날카로운 상한과 하한을 확립할 수 있는가?

주요 결과

• 공개코인 분할 하한의 로그 값은 임의의 관계에 대해 공개코인 랜덤화된 통신 복잡도의 하한이 된다.
• 공개코인 분할 하한의 로그 값의 제곱은 공개코인 랜덤화된 통신 복잡도를 상한으로 제시하며, 이는 제곱적 날카로움을 입증한다.
• 통신 및 질의 복잡도의 모든 관계에서 공개코인 분할 하한은 원래의 분할 하한보다 엄밀히 강력하다.
• 질의 복잡도에서는 하한의 로그 값이 랜덤화된 질의 복잡도를 하한으로 제시하며, 그 제곱은 복잡도를 상한으로 제시한다.
• 이 하한은 제곱적으로 날카로움이다: 임의의 관계에 대해 공개코인 복잡도는 log₂(pprtε(f)) 와 (log₂(pprtε(f)) + log₂(1/ε) + 1)² 사이에 놓여진다.
• 새로운 하한은 공개코인 프로토콜을 분할에 대한 분포로 명시적으로 모델링하는 선형계획법을 통해 정의되며, 더 날카로운 분석을 가능하게 한다.