[论文解读] Dynamically generated Networks

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

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

一句话总结

本文提出了一种新颖的方法，通过在有限环（如 $\mathbb{Z}_n$）上使用代数映射（如多项式或仿射变换）来生成复杂且动态结构的网络。通过将网络建模为图，其中顶点为环的元素，边由映射作用产生，作者证明这些图展现出丰富的拓扑与统计特性，包括小世界特征、高聚类性，并与数论密切相关，关键结果揭示了连通性与费马素数及皮尔庞特素数之间的联系。

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.

研究动机与目标

• 开发一种在环上使用半群作用生成复杂、有限简单图的框架，推广凯莱图。
• 研究这些网络的拓扑与统计特性，如直径、聚类系数和度分布。
• 探索网络结构与数论概念（如费马素数、皮尔庞特素数及中国剩余定理）之间的联系。
• 证明这些网络能够模拟现实世界网络现象，包括小世界效应与富集俱乐部效应。
• 建立此类图连通性的理论与实证条件，特别是针对 $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 在 $\mathbb{Z}_n$ 上，由映射 $T(x) = ax + b$ 生成的图在何种条件下连通？这与 $a$ 和 $a-1$ 的素因子有何关系？
• RQ2 在 $\mathbb{Z}_n$ 上，由映射 $T(x) = 3x+1$ 与 $S(x) = 2x$ 生成的所有图是否都连通？该结论是否对所有 $n \leq 200,000$ 成立？
• RQ3 在 $\mathbb{Z}_n^*$ 上，由映射 $T(x) = x^a$ 与 $S(x) = x^b$ 生成的图连通的充要条件是什么？
• RQ4 对于 $\mathbb{Z}_n$ 上的哪些 $2 \times 2$ 矩阵 $A$，由映射 $T(x) = x^2 + A$ 生成的图是连通的？
• RQ5 在 $\mathbb{Z}_2^n$ 上，对于哪些初等元胞自动机规则对，生成的图是连通的？连通性是否在 $n \to \infty$ 时趋于稳定？

主要发现

• 在 $\mathbb{Z}_n^*$ 上，由映射 $T(x) = 2x$ 与 $S(x) = 3x$ 生成的图连通，当且仅当 $n$ 是皮尔庞特素数，即 $n = 2^t 3^s + 1$。
• 当 $n$ 为费马素数时，在 $\mathbb{Z}_n^*$ 上由映射 $T(x) = x^2$ 生成的图是连通的，因为乘法群是循环群，且由 2 和 3 生成。
• 在 $M(2,\mathbb{Z}_5)$ 上，由映射 $x \to x^2$ 生成的图至少有两个连通分量，表明即使映射简单，非交换性仍可能破坏连通性。
• 在 $\mathbb{Z}_n^*$ 上，对于映射 $T(x) = x^a$ 与 $S(x) = x^b$，若 $n = 2^t k + 1$，其中 $k$ 仅由整除 $a$ 和 $b$ 的素数构成，且 $k$ 必须是 $2$ 和 $3$ 的乘积，则图连通。
• 数值证据表明，对于随机置换，量 $\lambda(G) = -\mu(G)/\log(\nu(G))$（结合平均路径长度 $\mu(G)$ 与全局聚类系数 $\nu(G)$）在 $n \to \infty$ 时收敛至一个紧致的极限集。
• 在 $\mathbb{Z}_2^n$ 上，初等元胞自动机规则 $a=101$ 与 $b=110$ 生成的图在 $n$ 增大时表现出稳定的连通性，而其他规则对（如 $a=3$, $b=4$）则表现出依赖于 $n$ 的素因子分解的波动行为。