[論文レビュー] Reversibility vs local creation/destruction

Pablo Arrighi, Nicolas Durbec+1 more|arXiv (Cornell University)|May 25, 2018

Cellular Automata and Applications参考文献 28被引用数 3

ひとこと要約

本稿は、因果グラフダイナミクスにおける局所的ノード生成・消滅が、完全に匿名化されたグラフ、見えない物質貯蔵を持つポインタグラフ、無限二分木における名前を有するグラフという3つの緩和された形式を導入することにより、可能であることを確立している。これら3形式の同値性を証明し、可逆性がこれらの設定において逆転可能性を示唆することを示した。これにより、可逆性と変化するネットワークトポロジーの両立が実現された。

ABSTRACT

Consider a network that evolves according to a reversible, nearest neighbours dynamics. Is the dynamics allowed to vary the size of the network? On the one hand it seems that, being the principal carriers of information, nodes cannot be destroyed without jeopardising bijectivity. On the other hand, there are plenty of bijective functions from the set of graphs to the set of graphs that are non-vertex-preserving. The question has been settled negatively -- for three different reasons. Yet, in this paper we do obtain reversible local node creation/destruction -- in three relaxed settings, whose equivalence we prove for robustness. We motivate our work both by theoretical computer science considerations (reversible computing, cellular automata extensions) and theoretical physics concerns (basic formalisms towards discrete quantum gravity).

研究の動機と目的

• ネットワーク進化における可逆的ダイナミクスが、局所的ノード生成／消滅を許容できるかどうかという長年の問いを解決すること。
• 固定頂点モデルにとどまらない、時間変化する、有界次数のグラフへの可逆的セルオートマトン理論の拡張。
• 可逆計算と離散的量子重力モデルの両者と両立可能な形式的枠組みの提供。
• 進化するグラフダイナミクスにおける一対一性が、緩和された構造的仮定のもとで逆転可能性を示すことを示すこと。
• 可逆的ノード生成／消滅を可能にする3つの異なる形式の同値性の確立。

提案手法

• 完全に匿名化されたグラフ（ACGD）、見えない物質を有するポインタグラフ（IMCGD）、無限二分木における名前を有するグラフ（NCGD）という3つの形式を導入。
• コンパクト性の議論と位相的技法を用いて、これらの設定において可逆性が逆転可能性を示すことを証明。
• 名前付け関数を用いたシミュレーションにより、グラフ進化中に一対一性を維持。
• ハスラッチャー＝マイヤー例を、頂点を保存しない可逆的ダイナミクスの具体的実装として適用。
• 3形式の相互シミュレーションを証明し、それらの同値性と強度を確立。
• 名前付け関数と構造の保存に基づき、逆転可能性定理が3形式すべてに一般化可能であると予想。

実験結果

リサーチクエスチョン

• RQ1 ネットワーク進化における可逆的ダイナミクスが、一対一性を損なわずに局所的ノード生成または消滅を許容できるか。
• RQ2 どのような緩和された構造的仮定のもとで、逆転可能性と時間変化するグラフトポロジーが共存できるか。
• RQ3 可逆的グラフダイナミクスが、その逆が因果グラフダイナミクスであることを示す形式は存在するか。
• RQ4 情報損失を避けるには、動的グラフシステムにおける可逆性をどのように維持できるか。
• RQ5 計算的・物理的整合性を保ちつつ、可逆的ノード生成／消滅を可能にする同等の形式は存在するか。

主な発見

• 本稿は、可逆的局所的ノード生成・消滅が可能な3つの同等な形式（ACGD, IMCGD, NCGD）を構築した。
• IMCGDにおいて、コンパクト性を用いて可逆性が逆転可能性を示すことを証明し、古典的RCA理論に類似した重要な結果を得た。
• ハスラッチャー＝マイヤー例が、3形式すべてに成功裏に実装され、頂点を保存しない可逆的ダイナミクスを実証した。
• 3形式は互いにシミュレート可能であり、それらの同値性と統一的フレームワークとしての強度を証明した。
• 著者らは、名前付け関数の保存に基づき、逆転可能性定理がACGDおよびNCGDにも拡張可能であると予想している。
• 本研究の結果は、局所的ノード生成／消滅を伴う量子因果グラフダイナミクスの実現に道を開き、離散的量子重力と関連する。