[論文レビュー] Asynchronous iterations in ultrametric spaces

Alexander J. T. Gurney|arXiv (Cornell University)|Jan 25, 2017

advanced mathematical theories参考文献 9被引用数 4

ひとこと要約

本稿では、非同期反復が同期反復と同じ固定点に収束するための必要十分条件を、超距離空間を用いた新しい特徴付けによって確立する。反復が、状態空間上の超距離に関して軌道上で厳密な収縮写像であるときかつそのときに限り、非同期的に安全であることを証明し、独立したプロセッサの最大数が空間の次元に等しいことを示す。これにより、新しい非同期ルーティングおよび論理プログラミングの実装が可能になる。

ABSTRACT

Some iterative calculations can be carried out by parallel communicating processors, and yield the same results whether or not the processors are synchronized. We show that this is the case if and only if the iteration is a contraction that is strict on orbits, with respect to an ultrametric defined on the state space. The maximum number of independent processors is given by the dimension of the space. We apply this theorem to interdomain routing, and are able to provide two advances over the previous state of the art. Firstly, multipath routing problems have unique solutions, if certain conditions are satisfied that are analogous to known correctness conditions for the single-path case. Secondly, these solutions can be computed asynchronously in a variety of ways, which go beyond methods that are currently used.

研究の動機と目的

• 超距離空間を用いた非同期収縮作用素（ACO）の完全な特徴付けを提供すること。
• 特定の十分条件にとどまらず、一般かつ検証可能な非同期安全の条件が欠如している問題を解決すること。
• 数値データにとどまらず、ルーティング経路や論理プログラムの解釈といった離散的構造へと非同期反復の理論を拡張すること。
• マルチパス相互接続ルーティングと論理プログラムの評価が、収束保証のもとで非同期に計算可能であることを示すこと。

提案手法

• 反復の改善の階層的構造を反映するように、球がネストされたボックスに対応する状態空間上に超距離を定義する。
• 自己写像がACOであるための必要十分条件として、この超距離に関して軌道上で厳密な収縮写像であることであることを証明する。
• 超距離空間におけるバナッハの不動点定理を用いて、これらの条件下で不動点の存在と一意性を保証する。
• 独立したプロセッサの数が、その位相的構造から導かれる超距離空間の次元によって上限を持つことを示す。
• 相互接続ルーティングにこの枠組みを適用する際、パス集合を積超距離空間の要素としてモデル化し、各パスまたはパスの成分を別々のプロセッサに割り当てる。
• 論理プログラミングへの応用では、段階的順序付けに基づく解釈上に超距離を定義し、収縮性と収束性を保証する。

実験結果

リサーチクエスチョン

• RQ1 分散プロセッサ上で非同期に安全に実行可能な反復的アルゴリズムの必要十分条件は何か？
• RQ2 非同期反復の理論を実数値データにとどまらず、ルーティング経路や論理的解釈といった離散的データ構造へ一般化するにはどうすればよいか？
• RQ3 収束に影響を与えない範囲で使用可能な独立プロセッサの最大数は何か？
• RQ4 マルチパス相互接続ルーティングは、単一パス正しさと類似した条件下で一意な解を持つと証明できるか？
• RQ5 完全モデル意味論を有する論理プログラムは、非同期で動作する分散アーキテクチャを用いて非同期に計算可能か？

主な発見

• 反復が、状態空間上の超距離に関して軌道上で厳密な収縮写像であるときかつそのときに限り、非同期的に安全である。
• 非同期実装で使用可能な独立プロセッサの最大数は、超距離空間の次元に等しい。
• 特定の条件下では、マルチパス相互接続ルーティングには一意な不動点が存在し、この解は非同期に計算可能である。
• 非同期実行において、収束に影響を与えることなく、ソース、ソース-ディスティネーションペア、ネクストホップ、または地理的領域といった複数の粒度でルーティングパスの計算を分解可能である。
• 局所的に段階的な構文を有する論理プログラムには一意な完全モデルが存在し、超距離に基づく収縮枠組みを用いた非同期反復により計算可能である。
• この枠組みにより、非同期実行中の一時的な不整合が許容され、最終的に一貫性のある不動点に収束することが保証される。