[논문 리뷰] On the Role of Shared Randomness in Simultaneous Communication

Mohammad Bavarian, Dmitry Gavinsky외 1명|arXiv (Cornell University)|2015. 08. 26.

Computability, Logic, AI Algorithms참고 문헌 8인용 수 3

한 줄 요약

이 논문은 동시 메시지 전송(SMP) 통신 모델에서 불완전한 공유 랜덤성의 유용성을 특성화하기 위해 충돌 복잡도를 측도로 도입한다. 비록 약한 공유 랜덤성 원천—예를 들어 제한된 상관관계를 가진 것들—이라도 통신 비용을 크게 줄일 수 있음을 보여주며, 동일성 함수는 비트리벌한 공유 랜덤성이라도 거의 영역의 통신 비용으로 해결 가능하다는 것을 보여준다.

ABSTRACT

Two parties wish to carry out certain distributed computational tasks, and they are given access to a source of correlated random bits. It allows the parties to act in a correlated manner, which can be quite useful. But what happens if the shared randomness is not perfect? In this work, we initiate the study of the power of different sources of shared randomness in communication complexity. This is done in the setting of simultaneous message passing (SMP) model of communication complexity, which is one of the most suitable models for studying the resource of shared randomness. Toward characterising the power of various sources of shared randomness, we introduce a measure for the quality of a source - we call it collision complexity. Our results show that the collision complexity tightly characterises the power of a (shared) randomness resource in the SMP model. Of independent interest is our demonstration that even the weakest sources of shared randomness can in some cases increase the power of SMP substantially: the equality function can be solved very efficiently with virtually any nontrivial shared randomness.

연구 동기 및 목표

• 통신 복잡도에서 불완전한 공유 랜덤성의 능력을 이해하기 위해, 특히 동시 메시지 전송(SMP) 모델에서의 적용을 목적으로 한다.
• 다양한 공유 랜덤성 원천이 분산 계산에서 통신 비용에 어떤 영향을 미치는지 특성화하기 위해.
• SMP 프로토콜에서 비트리벌한 통신 절감을 가능하게 하기 위한 공유 랜덤성의 최소 요구 조건을 규명하기 위해.
• 특정 함수에 대해 약한 공유 랜덤성 원천이 통신 비용을 극적으로 줄일 수 있음을 보여주기 위해.

제안 방법

• SMP 모델에서 공유 랜덤성 원천의 품질을 측정하기 위해 '충돌 복잡도'라는 새로운 측도를 도입한다.
• 공유 랜덤성의 품질과 통신 효율성 간의 관계를 설명하기 위해 합의 복잡도 프레임워크를 사용한다.
• 공유 랜덤성 원천을 나타내는 이항 분포와 그 상관관계 구조를 상관관계 측도를 통해 분석한다.
• 구조화된 분포 하에서 기대 내적을 유계로 제한하기 위해 부울 큐브 위에서 푸리에 분석을 적용한다.
• 노이즈 또는 희박한 공유 랜덤성 하에서 합의와 상관관계에 대한 유계를 유도하기 위해 농도 및 반농도 불등식을 활용한다.
• 텐서화 기법을 사용하여 단일 복사본에서의 결과를 다중 복사본 공유 랜덤성 설정으로 확장한다.

실험 결과

연구 질문

• RQ1 공유 랜덤성의 품질—특히 그 상관관계 구조에 의해 측정될 때—SMP 모델에서 통신 비용에 어떤 영향을 미치는가?
• RQ2 완전히 상관관계가 없는 공유 랜덤성 원천이라도 통신 복잡도에서 상당한 이점을 제공할 수 있는가?
• RQ3 비트리벌한 통신 절감을 가능하게 하기 위해 공유 랜덤성의 최소 상관관계 수준은 어느 정도인가?
• RQ4 약한 공유 랜덤성 원천이 동일성 테스트와 같은 기본 문제에 대해 얼마나 효율적인 해결책을 제공할 수 있는가?
• RQ5 모든 공유 랜덤성 원천의 통신 능력을 특성화하는 데 유용한 보편적 측도가 존재하는가?

주요 결과

• 충돌 복잡도는 SMP 모델에서 어떤 공유 랜덤성 원천의 통신 능력에 대해 날것으로 특성화된다.
• 가장 약한 비트리벌 공유 랜덤성 원천—예를 들어 지원이 분리된 것들—조차도 동일성 함수의 통신 비용 절감을 가능하게 한다.
• 어떤 비트리벌 공유 랜덤성 원천이라도 사용할 경우, 동일성 함수는 통신 비용이 거의 0에 가까워지도록 해결 가능하다.
• 공유 랜덤성 원천의 상관관계가 1보다 작을 경우, 그 합의 복잡도는 완벽한 공유 랜덤성 하에서의 합의 복잡도의 일정 비율 이하로 유계로 제한된다.
• 논문은 상관관계가 1에서 벗어나는 한 공유 랜덤성 원천의 통신 능력은 여전히 상당히 크며, 노이즈가 존재하는 상황에서도 마찬가지로 성립함을 증명한다.
• 분석 결과, 낮은 상관관계를 가진 원천의 경우 통신 비용이 완벽한 공유 랜덤성 하에서의 최적 비용의 일정 요소로 유계로 유지됨을 보여준다.