[논문 리뷰] Asymptotically Optimal Lower Bounds on the NIH-Multi-Party Information

André Gronemeier|ArXiv.org|2009. 02. 10.

Cryptography and Data Security참고 문헌 9인용 수 7

한 줄 요약

이 논문은 정보 이론적 접근을 사용하여, 유일한 교차 조건을 가진 k-파트리 전이 문제의 랜덤화된 ε-오류 통신 복잡도에 대해 점점 커지는 최적의 Ω(n/k) 하한을 확립한다. 주요 기여는 k-진 AND 함수의 정보 복잡도에 대한 날카운 하한을 제시하여, 기존의 단방향 및 일반 프로토콜에 대한 하한의 격차를 해결한 것이다. 이를 통해 ICε(ANDk; Z|D) ≥ c(ε)/k (c(ε) > 0 인 상수) 를 증명한다.

ABSTRACT

Here we prove an asymptotically optimal lower bound on the information complexity of the k-party disjointness function with the unique intersection promise, an important special case of the well known disjointness problem, and the ANDk-function in the number in the hand model. Our (n/k) bound for disjointness improves on an earlier (n/(k log k)) bound by Chakrabarti et al. (2003), who obtained an asymptotically tight lower bound for one-way protocols, but failed to do so for the general case. Our result eliminates both the gap between the upper and the lower bound for unrestricted protocols and the gap between the lower bounds for one-way protocols and unrestricted protocols.

연구 동기 및 목표

• 유일한 교차 조건이 있는 k-파트리 전이 문제의 통신 복잡도에 대한 알려진 상한과 하한 사이의 격차를 해소하기 위해.
• 단방향 프로토콜 하한과 일반 프로토콜 하한 간의 불일치를 전이 함수에 대해 해결하기 위해.
• 특정 입력 분포 하에서 k-진 AND 함수의 정보 복잡도에 대해 날카운 점점 커지는 최적의 하한을 확립하기 위해.
• 정보 이론적 방법을 사용하여 다자 통신 복잡도의 더 날카운 하한을 확립하기 위한 기초를 마련하기 위해.

제안 방법

• 한 명의 플레이어가 랜덤 비트를 가지며 나머지 플레이어가 0을 가지는 공동 입력 분포 하에서 k-진 AND 함수의 정보 복잡도를 분석하기 위해 정보 이론적 프레임워크를 사용한다.
• 기타 플레이어의 입력을 고려할 때 플레이어의 입력에 대한 전송본의 정보 내용을 연결하기 위해 조건부 상호정보를 적용한다.
• 대칭성 기반의 추론을 통해 유일한 교차 분포 하에서 AND 함수의 정보 복잡도를 표준 균일 입력 모델의 것과 동일시한다.
• 비트 전송 비용이 1/k인 자명한 결정론적 프로토콜이 I(T : Xi | X−i = 0) = 1/k 를 달성함을 이용하여 하한의 최적성을 입증한다.
• 전이 문제와 AND 함수 간의 관계를 활용하여 정보 복잡도 하한을 바탕으로 주요 통신 복잡도 결과를 도출한다.
• 기존에 알려진 전이 문제에서 AND 함수로의 감소를 적용하여 정보 복잡도 하한을 통신 복잡도 설정으로 이전한다.

실험 결과

연구 질문

• RQ1 유일한 교차 조건이 있는 k-파트리 전이 문제의 랜덤화된 통신 복잡도에 대해 점점 커지는 최적의 하한은 무엇인가?
• RQ2 기존의 단방향 프로토콜에 한해 알려진 바를 초월하여, 일반 다자 프로토콜에 대한 상한과 하한 사이의 격차를 메울 수 있는가?
• RQ3 지정된 입력 분포 하에서 k-진 AND 함수의 정확한 정보 복잡도는 무엇인가?
• RQ4 AND 함수에 대한 정보 복잡도 하한은 전이 문제에 대해 날카운 통신 복잡도 하한을 암시하는가?

주요 결과

• 논문은 유일한 교차 조건이 있는 k-파트리 전이 문제에 대해 랜덤화된 ε-오류 통신 복잡도 하한 Ω(n/k) 을 확립한다.
• 이 하한은 점점 커지는 최적성을 가지며, Chakrabarti 등(2003)의 알려진 상한과 일치한다.
• 지정된 입력 분포 하에서 k-진 AND 함수의 정보 복잡도는 ε 에만 의존하는 상수 c(ε) > 0 에 대해 c(ε)/k 이상으로 하한이 설정된다.
• 하한은 날카롭다. 자명한 결정론적 프로토콜이 정확히 1/k 정보 비용을 달성함으로써 최적성이 확인된다.
• 이 결과는 전이 함수에 대한 단방향 프로토콜 하한과 일반 프로토콜 하한 간의 격차를 메운다.
• 정보 이론적 접근은 오랫동안 존재하던 기본적인 다자 문제에 대한 통신 복잡도 하한의 격차를 성공적으로 해결한다.