[논문 리뷰] Communication Cost of Transforming a Nearest Plane Partition to the Voronoi Partition

Vinay A. Vaishampayan, Maiara F. Bollauf|arXiv (Cornell University)|2017. 01. 30.

Cellular Automata and Applications참고 문헌 12인용 수 6

한 줄 요약

이 논문은 분산 상호작용 통신 모델에서 2차원 격자에서 가장 가까운 평면(Babai) 분할을 정확한 비어노이 분할로 개선하는 데 드는 통신 비용을 분석한다. 무한한 통신 라운드를 허용할 경우 평균적으로 영오차를 달성하기 위해 필요한 비트 수가 유한하며, 격자 매개변수와 교환된 비트 수의 함수로서 오차 확률과 통신 비용에 대한 폐쇄형 표현식을 도출한다.

ABSTRACT

We consider the problem of distributed computation of the nearest lattice point for a two dimensional lattice. An interactive model of communication is considered. We address the problem of reconfiguring a specific rectangular partition, a nearest plane, or Babai, partition, into the Voronoi partition. Expressions are derived for the error probability as a function of the total number of communicated bits. With an infinite number of allowed communication rounds, the average cost of achieving zero error probability is shown to be finite. For the interactive model, with a single round of communication, expressions are obtained for the error probability as a function of the bits exchanged. We observe that the error exponent depends on the lattice.

연구 동기 및 목표

• 분산 환경에서 2D 격자를 대상으로 가장 가까운 평면(Babai) 분할을 정확한 비어노이 분할로 변환하는 데 드는 통신 비용을 정량화하는 것.
• 가장 가까운 격자점 계산을 위한 상호작용 통신 모델에서 통신 비트 수와 오차 확률 사이의 트레이드오프를 분석하는 것.
• 무한한 통신 라운드가 허용될 경우 영오차를 달성하기 위한 평균 통신 비용이 유한한지 확인하는 것.
• 격자 기하학—특히 각도와 종횡비—가 오차 지수와 통신 효율성에 미치는 영향을 조사하는 것.

제안 방법

• 노드들이 비트를 교환하여 Babai 셀에서 Voronoi 셀로 분할을 개선하는 상호작용 통신 모델을 사용한다.
• 각 라운드에서 좌표당 한 비트를 통신하여 영역을 좁히는 방식으로 오차 직사각형 위에서 이진 탐색을 모델링한다.
• 기대 비트 수를 최소화하기 위해 엔트로피 코딩을 적용하며, 코드워드 길이는 오차 영역의 확률에 기반한다.
• 비어노이 셀과 격자 기저 벡터의 기하적 성질을 사용하여 기대 라운드 수와 비트 수의 표현식을 유도한다.
• 좌표의 이진 전개를 오차 직사각형 치수 기준으로 사용하여 비트 전송 및 정지 조건을 안내한다.
• 균일하고 독립적인 입력을 가정할 때, 각 라운드에서 정지할 확률는 좌표의 이진 전개에서 일치하는 비트 위치에 기반하여 분석한다.

실험 결과

연구 질문

• RQ1 2D 격자를 대상으로 가장 가까운 평면 분할을 정확한 비어노이 분할로 변환하는 데 드는 통신 비용(비트 수와 라운드 수 기준)은 얼마인가?
• RQ2 단일 라운드 상호작용 모델에서 통신 비트 수의 함수로서 오차 확률는 어떻게 감소하는가?
• RQ3 무한한 통신 라운드가 허용될 경우 평균 통신 비용은 유한한가?
• RQ4 격자 구조—특히 각도와 종횡비—는 오차 지수와 통신 효율성에 어떻게 영향을 미치는가?
• RQ5 오차 확률를 유한한 기대 통신 비용으로 영오차로 이끌 수 있도록 개선 과정을 설계할 수 있는가?

주요 결과

• 무한한 통신 라운드를 허용할 경우 영오차를 달성하기 위해 필요한 평균 비트 수는 유한하며, 기대 통신 비용은 $\bar{R} = H(Q) + (1 - Q_0)H(P) + 4(1 - P_0)(1 - Q_0)$ 로 주어진다.
• 기대 라운드 수는 $\bar{N} = 1 + 2(1 - P_0)(1 - Q_0)$ 로, 각 라운드를 초과할 확률가 지수적으로 감소하므로 여전히 유한하다.
• 단일 라운드 통신 모델에서는 오차 확률가 격자 매개변수 $\rho$ 및 $\theta$ 에 따라 달라지며, 헥사고날 격자($\rho=1$, $\theta=\pi/3$)는 특정 통신 시퀀스에 대해 가장 악조건의 격자이다.
• 단일 라운드 모델에서의 오차 지수는 격자에 따라 달라지며, 일부 격자는 비트 수 증가에 따라 오차 감소 속도가 더 빠른 편이다.
• 오차 직사각형 내 좌표의 이진 전개가 비트 위치에서 일치할 경우 알고리즘이 정지하여 최종 영역는 오차 없고 참값인 가장 가까운 격자점을 포함한다.
• 수치 결과는 $\rho=1$ 인 경우 헥사고날 격자가 무한한 라운드 모델에서 가장 높은 평균 통신 비용($\bar{R} = 2.42$ 비트)을 보이며, 이는 최악의 경우 격자임을 확인한다.