[論文レビュー] Dynamic Averaging Load Balancing on Cycles

Dan Alistarh, Giorgi Nadiradze+1 more|arXiv (Cornell University)|Jan 1, 2020

Complexity and Algorithms in Graphs参考文献 10被引用数 3

ひとこと要約

本稿は、サイクルグラフ上の動的ロードバランシングを分析するための新しいポテンシャル関数とギャップカバー技術を導入する。単位負荷が順次追加され、ランダムな近隣ノード間で平均化される。期待される最大負荷と最小負荷のギャップに対する上界として、O(√n log n)を確立し、実験的および解析的証拠により、対数要因の範囲内でタイトである可能性が示唆されている。

ABSTRACT

We consider the following dynamic load-balancing process: given an underlying graph G with n nodes, in each step t≥ 0, one unit of load is created, and placed at a randomly chosen graph node. In the same step, the chosen node picks a random neighbor, and the two nodes balance their loads by averaging them. We are interested in the expected gap between the minimum and maximum loads at nodes as the process progresses, and its dependence on n and on the graph structure. Variants of the above graphical balanced allocation process have been studied previously by Peres, Talwar, and Wieder [Peres et al., 2015], and by Sauerwald and Sun [Sauerwald and Sun, 2015]. These authors left as open the question of characterizing the gap in the case of cycle graphs in the dynamic case, where weights are created during the algorithm’s execution. For this case, the only known upper bound is of 𝒪(n log n), following from a majorization argument due to [Peres et al., 2015], which analyzes a related graphical allocation process. In this paper, we provide an upper bound of 𝒪 (√n log n) on the expected gap of the above process for cycles of length n. We introduce a new potential analysis technique, which enables us to bound the difference in load between k-hop neighbors on the cycle, for any k ≤ n/2. We complement this with a "gap covering" argument, which bounds the maximum value of the gap by bounding its value across all possible subsets of a certain structure, and recursively bounding the gaps within each subset. We provide analytical and experimental evidence that our upper bound on the gap is tight up to a logarithmic factor.

研究の動機と目的

• サイクルグラフ上での動的平均化ロードバランシングにおける期待される負荷不均衡の既知の上界と下界の間のギャップを埋める。
• ノード間の遠く離れた位置にある負荷差を制御するための、サイクルの構造的性質を反映した新しい解析フレームワークを構築する。
• 動的かつ高負荷状態下での負荷ギャップの漸近的挙動について、より鋭い理論的および実験的証拠を提供する。
• 従来のバインディングが緩いとされる、サイクルのような低拡張性構造へと解析を拡張する。

提案手法

• サイクル上でのノード間のkステップ離れたノード間の負荷差の二乗を測る、パラメータ化されたkホップポテンシャル関数φk(t) = Σ(xi(t) − xi+k(t))²を導入する。
• 期待されるkホップポテンシャルに関する再帰的バインディングを確立し、サイクルではE[φk(t)] ≤ k(n − k) − 1が成り立つことを証明する。
• 「ギャップカバー」の議論を構築し、最大ギャップを2k間隔で配置されたノードの部分集合に分解し、各部分集合内のギャップを再帰的にバインディングする。
• 再帰的不等式の連鎖を用いて、最も遠いホップ距離（k = ⌊n/2⌋）における期待値が時間とともに減少することを示し、収束を示唆する。
• ジェンセンの不等式と凸ポテンシャルの議論を用いて、kホップポテンシャルの挙動を全体のギャップに関連付ける。
• 単位重みの増分を伴うサイクルグラフにおける実験的検証を用いて、平均ギャップの√nスケーリングを確認する。

実験結果

リサーチクエスチョン

• RQ1 サイクルグラフ上での動的平均化ロードバランシングにおける期待される負荷ギャップのタイトな上界は何か？
• RQ2 サイクルの対称性と構造を尊重しつつ、長距離の負荷差を捉える新しいポテンシャル関数を設計できるか？
• RQ3 ギャップは時間とともにどのように変化するのか？また、ノード部分集合の再帰的分解を用いてバインディング可能か？
• RQ4 期待ギャップに対するO(√n log n)の上界は、対数要因の範囲内でタイトか？
• RQ5 マジョライゼーションまたは確率的カップリングを用いて、平均化プロセスにおけるギャップ挙動を二選択ロードバランシングプロセスと関連づけられるか？

主な発見

• 本稿は、nノードからなるサイクル上での動的平均化ロードバランシングにおける最大負荷と最小負荷の期待ギャップに対して、O(√n log n)の上界を確立した。
• kホップポテンシャル関数φk(t)は、すべてのk ≥ 1に対してE[φk(t)] ≤ k(n − k) − 1を満たし、負荷不均衡のバインディングに構造的基盤を提供する。
• ギャップカバー技術により、2の累乗間隔で配置されたノードの部分集合を分析することで、最大ギャップの再帰的バインディングが可能となり、最も遠いホップ距離におけるポテンシャルの減少が得られた。
• 実験結果から、増分の数が十分に大きい段階では、平均ギャップが√nの定数倍の範囲内に保たれることを示した。
• 期待されるギャップの二乗はΩ(n)で下からバインディングされ、√nスケーリングがサイクル構造に内在していることを示唆した。
• 著者らは、真の期待ギャップがΘ(√n)であると予想し、現在の上界が対数要因の範囲内でタイトであると結論している。