[論文レビュー] Natural orbital networks

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

Advanced Combinatorial Mathematics参考文献 29被引用数 5

ひとこと要約

本稿では、ℤₙなどの有限環上の多項式写像から構成される自然オービタルネットワーク——有限単純グラフを導入する。辺は、ある生成子のもとで一方の要素が他方に写像される場合に存在する。2つの二次写像がℤₚ上で作用すると、高い連結性とクラスタリングを示すが、1つの写像では非連結なグラフが得られる。グローバルクラスタリング係数は3/nの割合で減少し、特徴的パス長は対数的に増加する。これは代数的構造を持つ実世界のネットワークを模倣する。

ABSTRACT

Given a finite set T of maps on a finite ring R, we look at the finite simple graph G=(V,E) with vertex set V=R and edge set E={(a,b) | exists t in T, b=t(a), b not equal to a}. An example is when R=Z_n and T consists of a finite set of quadratic maps T_i(x)=x^2+a_i. Graphs defined like that have a surprisingly rich structure. This holds especially in an algebraic set-up when T is generated by polynomials on Z_n. The characteristic path length L and the mean clustering coefficient C are interlinked by global-local quantity LC=-L/log(C) which often appears to have a limit for n to infinity like for two quadratic maps on a finite field Z_p. We see that for one quadratic map x^2+a, the probability to have connectedness goes to zero and for two quadratic maps, the probability goes to 1, for three different quadratic maps x^2+a,x^2+b,x^2+c on Z_p, we always appear to get a connected graph for all primes.

研究の動機と目的

• 有限動的系を用いて、実世界のネットワークに類似した統計的特徴を示す複雑ネットワークを決定的フレームワークで生成すること。
• ℤₙのような有限環上の二次写像によって生成されるグラフの連結性、クラスタリング、パス長の性質を調査すること。
• 有限環ℤₙの数論的性質と、クラスタリングや次数分布のようなネットワーク構造的特徴との相関関係を調査すること。
• モノイド作用と変換ダイナミクスを用いて、有限グラフにおけるリーマン幾何学の代数的・幾何的類似物を確立すること。

提案手法

• 頂点集合V = R（ℤₙのような有限環）とし、有限集合Tの写像Rへの作用によって定義される辺集合Eを持つ有限単純グラフG = (V, E)を構築する。辺(a,b) ∈ Eであるとは、あるt ∈ Tが存在してt(a) = bかつb ≠ aを満たすことである。
• 特に二次写像fᵢ(x) = x² + aᵢを生成子Tとして用い、ℤₙまたはℤₙ[i]上でのグラフダイナミクスを定義する。
• 主要なネットワーク指標を計算する：特徴的パス長μ、平均クラスタリング係数ν、グローバルクラスタリング係数C(n)は、ランダムな写像ペアの期待値として定義される。
• 平均次数a₂(n) = 2|E|/|V|を分析し、d個の生成子に対して2dに収束することを示し、そのずれはx² + a = y² + bのディオファントス方程式に起因することを特定する。
• 代数的数論を用いて、f(f(f(x))) ≡ x mod nの解を解析し、三角形（K₃完全部分グラフ）を検出する。さらに、高次完全部分グラフはディオファントス系を用いて分析する。
• Euler係数χ(G) = c₀ − c₁ + c₂のようなグラフ理論的不変量を用い、Euler-Poincaréの公式を介してトポロジカル不変量（Betti数b₀およびb₁）と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 ℤₚ上で2つの二次写像によって生成されるグラフについて、n → ∞におけるグローバル・ローカル量λ = −μ/log(ν)の漸近的挙動はいかなるものか？
• RQ2 ℤₚ上での二次生成子の数に応じて、グラフの連結確率はどのように変化するか。特に1、2、3つの写像を比較する。
• RQ3 オービタルネットワークにおける頂点次数の分布はどのような要因によって決定されるのか。また、ℤₙの算術的性質（例：素数性）はこの分布にどのように影響を与えるか？
• RQ4 有限環上の多項式写像によって生成されるオービタルネットワークは、小規模世界的またはスケールフリーネットワーク的特性をどの程度示すのか。また、ランダムグラフモデルと比較してどのように異なるか？
• RQ5 生成写像の数と環構造に基づいて、オービタルネットワークのEuler係数および次元を代数的に有界化できるか？

主な発見

• 有限体ℤₚ上で2つの二次写像を用いる場合、p → ∞のときグラフの連結確率は1に近づくが、1つの写像では0に近づく。
• 2つのランダムな二次写像に対して、グローバルクラスタリング係数は3/nの割合で減少し、n個の頂点あたり平均3個の三角形があることを示唆する。
• 3つの二次写像を用いる場合、クラスタリング係数は4/nで減少し、平均次数は6に近く保たれる。これにより、クラスタリングと平均次数の比例関係が示される。
• 平均頂点次数はd個の生成子に対して2dに収束し、そのずれはx² + a = y² + b mod nの解に起因する。これは数論的条件である。
• ℤₙ上に1つの二次写像で生成されるグラフは次元≤2、Euler係数≥0であり、K₄部分グラフもK₃,₃部分グラフも存在しないため、平面的であると示唆される。
• n = 57、f(x) = x² + 30のとき、f³(x) ≡ x mod 57の解に対応する2つの三角形（K₃完全部分グラフ）が存在する。