[論文レビュー] Dynamically generated Networks

Oliver Knill|arXiv (Cornell University)|Nov 18, 2013

Benford’s Law and Fraud Detection参考文献 15被引用数 5

ひとこと要約

本稿では、有限環 $\mathbb{Z}_n$ などの有限環上で多項式やアフィン変換などの代数的写像を用いて、複雑で動的に構造化されたネットワークを生成する新規な手法を提案する。頂点を環の元、写像の適用によって生じる辺をもつグラフとしてネットワークをモデル化することで、著者らはこれらのグラフが、小世界的特徴、高いクラスタリング、数論的性質と密接な関係を示すことを示した。主な結果として、接続性がフェルマー素数やピERPント素数と結びつくことが明らかになった。

ABSTRACT

Simple algebraic rules can produce complex networks with rich structures. These graphs are obtained when looking at a monoid operating on a ring. There are relations to dynamical systems theory and number theory. This document illustrates this class of networks introduced together with Montasser Ghachem. Besides showing off pictures, we look at elementary results related to the Chinese remainder theorem, the Collatz problem, the Artin constant, Fermat primes and Pierpont primes.

研究の動機と目的

• モノイド作用を用いた有限単純グラフの生成フレームワークを構築すること。これは、ケイリー・グラフの一般化を目的とする。
• これらのネットワークの位相的・統計的性質（直径、クラスタリング係数、次数分布など）を調査すること。
• ネットワーク構造とフェルマー素数、ピERPント素数、中国剰余定理などの数論的概念との関係を調査すること。
• これらのネットワークが、小世界的およびリッチ・クラブ効果といった現実世界のネットワーク現象を模倣できることを示すこと。
• 特に $x \to x^2 + c$ や $\mathbb{Z}_n$ 上のアフィン写像のような写像に対して、理論的および実験的条件下でこれらのグラフが接続されている条件を確立すること。

提案手法

• 環 $R$ の元を頂点とするグラフを定義し、写像 $T_i$ が存在して $T_i(x) = y$ を満たす場合に $x$ と $y$ を辺で結ぶ。このようにして得られる有向グラフを単純無向グラフに簡略化する。
• モノイド生成ダイナミクスを用いる：環 $R$ 上に有限個の写像 $T_i$ を適用し、軌道構造を用いて隣接関係を定義する。
• $\mathbb{Z}_n$ 上で $T(x) = x^2 + c$、$T(x) = 3x+1$、$T(x) = ax+b$ などの変換を適用し、ネットワーク構造を生成する。
• 特に $\mathbb{Z}_n^*$ において乗法的群構造と離散対数問題に還元することで、接続性を分析する。
• 計算実験を用いてネットワーク統計（平均パス長、クラスタリング係数）を調査し、$n \to \infty$ のときの収束パターンを観察する。特にランダムまたは非線形写像に対して注目する。
• 非可換環 $M(2,\mathbb{Z}_n)$ や多項式環 $\mathbb{Z}_n[x]/(p)$ に一般化し、より豊かな位相的挙動を研究する。

実験結果

リサーチクエスチョン

• RQ1 写像 $T(x) = ax + b$ が $\mathbb{Z}_n$ 上で生成するグラフが接続される条件は何か？また、$a$ と $a-1$ の素因数とどのように関係するか？
• RQ2 写像 $T(x) = 3x+1$ と $S(x) = 2x$ が $\mathbb{Z}_n$ 上で生成するすべてのグラフが接続されているか？この性質は $n \leq 200,000$ 全てで成り立つか？
• RQ3 写像 $T(x) = x^a$ と $S(x) = x^b$ が $\mathbb{Z}_n^*$ 上で生成するグラフが接続されるための必要十分条件は何か？
• RQ4 どの $2 \times 2$ 行列 $A$ に対して、写像 $T(x) = x^2 + A$ が生成するグラフが接続されるか？
• RQ5 どのペアの基本的セルオートマトン規則が $\mathbb{Z}_2^n$ 上で接続されたグラフを生成するか？また、$n \to \infty$ のとき接続性は安定化するか？

主な発見

• 写像 $T(x) = 2x$ と $S(x) = 3x$ が $\mathbb{Z}_n^*$ 上で生成するグラフは、$n$ がピERPント素数（すなわち $n = 2^t 3^s + 1$）である場合にかつその場合にのみ接続される。
• フェルマー素数 $n$ に対して、写像 $T(x) = x^2$ が $\mathbb{Z}_n^*$ 上で生成するグラフは接続される。これは乗法的群が巡回的であり、2と3が生成元であるためである。
• $M(2,\mathbb{Z}_5)$ 上で $x \to x^2$ を適用する場合、少なくとも2つの連結成分が存在するため、非可換性が単純な写像に対しても接続性を破壊することがある。
• 写像 $T(x) = x^a$ と $S(x) = x^b$ が $\mathbb{Z}_n^*$ 上で生成するグラフが接続されるための条件は、$n = 2^t k + 1$ で $k$ が $a$ と $b$ の素因数のみからなること。さらに、$k$ が $2$ と $3$ の積で構成されている必要がある。
• 数値的証拠により、$n \to \infty$ のとき、平均パス長 $\mu(G)$ とグローバルクラスタリング係数 $\nu(G)$ を組み合わせた量 $\lambda(G) = -\mu(G)/\log(\nu(G))$ が、ランダム置換に対してコンactな極限集合に収束することが示唆された。
• セルオートマトン規則 $a=101$ と $b=110$ が $\mathbb{Z}_2^n$ 上で生成するグラフは、$n$ の増加に伴い安定した接続性を示すが、他のペア（例：$a=3$, $b=4$）は $n$ の素因数分解に依存した振動を示す。