[論文レビュー] Communication Cost of Transforming a Nearest Plane Partition to the Voronoi Partition

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

Cellular Automata and Applications参考文献 12被引用数 6

ひとこと要約

本稿は、分散型インタラクティブ通信モデルにおける2次元格子の最近傍平面（Babai）分割を正確なボロノイ分割に refining する際の通信コストを分析している。無限回の通信ラウンドを許容する場合、ゼロエラーを達成するために必要な平均ビット数は有限であり、格子パラメータおよび交換されたビット数の関数として、誤り確率および通信コストの閉形式表現を導出している。

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.

研究の動機と目的

• 2次元格子における分散環境下で、最近傍平面（Babai）分割を正確なボロノイ分割に変換する際の通信コストを定量化すること。
• 最近傍格子点計算のインタラクティブ通信モデルにおいて、通信ビット数と誤り確率のトレードオフを分析すること。
• 無制限の通信ラウンドが許容される場合、ゼロエラーを達成するための平均通信コストが有限であるかどうかを特定すること。
• 格子幾何学的特性（特に角度とアスペクト比）が誤り指数および通信効率に与える影響を調査すること。

提案手法

• ノードがビットを交換することで、Babaiセルからボロノイセルへの分割を refining するインタラクティブ通信モデルを用いる。
• 各ラウンドで1ビットずつ座標ごとに通信することで、誤り長方形の範囲を狭める二分探索としての精錬プロセスをモデル化する。
• エントロピー符号化を適用して期待ビット数を最小化し、符号語長を誤り領域の確率に基づくものとする。
• ボロノイセルおよび格子基本ベクトルの幾何的性質を用いて、期待ラウンド数およびビット数の式を導出する。
• 座標の誤り長方形寸法に対する2進展開を用いて、ビット送信および停止条件を誘導する。
• 一様かつ独立な入力を仮定したもとで、各ラウンドで停止する確率を、座標の2進展開における一致ビットに基づいて分析する。

実験結果

リサーチクエスチョン

• RQ1 2次元格子に対して最近傍平面分割を正確なボロノイ分割に変換する際の通信コスト（ビット数およびラウンド数）はどの程度か？
• RQ2 1ラウンドのインタラクティブモデルにおいて、通信ビット数の関数として誤り確率はどのように減少するか？
• 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)$ であり、各ラウンドを継続する確率の指数的減少のおかげで、有限のまま保たれる。
• 1ラウンド通信モデルにおいて、誤り確率は格子パラメータ $\rho$ および $\theta$ に依存し、ヘキサゴナル格子（$\rho=1$、$\theta=\pi/3$）は特定の通信シーケンスにおいて最悪ケースの格子である。
• 1ラウンドモデルにおける誤り指数は格子に依存しており、一部の格子ではビット数の増加に伴い誤り確率の低下が速いことが示唆される。
• 誤り長方形内の座標の2進展開がビット位置で一致する際にアルゴリズムは停止し、これにより最終的な領域は誤りなしで真の最近傍格子点を含むことが保証される。
• 数値結果から、$\rho=1$ の場合、ヘキサゴナル格子は無限ラウンドモデル下で最大の平均通信コスト（$\bar{R} = 2.42$ ビット）を示し、これが最悪ケースの格子であることが確認された。