[论文解读] On quadratic orbital networks

Oliver Knill|arXiv (Cornell University)|Dec 2, 2013

Graph theory and applications参考文献 7被引用 3

一句话总结

本文研究有限域 𝔽ₚ 上的二次轨道网络，其由二次映射 Tᵢ(x) = x² + aᵢ 生成的动力系统定义。分析连通性、欧拉示性数、单纯形结构、平面性、直径及归纳维数，证明当 d=1 时，欧拉示性数非负；而当 d=2 且 p 较大时，其变为负数。当 p→∞ 时，这些网络的归纳维数收敛于 1，且对于 d≥2，推测在足够大的 p 下网络为非平面图。

ABSTRACT

These are some informal remarks on quadratic orbital networks over finite fields. We discuss connectivity, Euler characteristic, number of cliques, planarity, diameter and inductive dimension. We find a non-trivial disconnected graph for d=3. We prove that for d=1 generators, the Euler characteristic is always non-negative and for d=2 and large enough p the Euler characteristic is negative. While for d=1, all networks are planar, we suspect that for d larger or equal to 2 and large enough prime p, all networks are non-planar. As a consequence on bounds for the number of complete sub graphs of a fixed dimension, the inductive dimension of all these networks goes 1 as p goes to infinity.

研究动机与目标

• 研究有限域上由二次映射生成的有限动力网络的结构与拓扑性质。
• 理解关键图不变量（欧拉示性数、单纯形计数、直径及归纳维数）在域大小 p→∞ 时的渐近行为。
• 确定不同生成元数量 d 与素数 p 下二次轨道网络的连通性、平面性及维度。
• 探索 d=3 生成元下异常不连通图的存在性与稀有性，并分析其结构特征。

提出的方法

• 将轨道网络定义为顶点集为 𝔽ₚ 的有限简单图，若存在某个生成元 Tᵢ 满足 Tᵢ(x)=y 或 Tᵢ(y)=x，则在 x 与 y 之间连边。
• 使用半群动力学建模时间演化，通过二次映射 Tᵢ(x) = x² + aᵢ 的复合实现。
• 通过单位球面递推定义归纳维数：dim(G) = 1 + (1/|V|)∑ᵥ dim(S(v))，其中 S(v) 为 v 的邻域（链）。
• 利用丢番图方程的界，证明对固定的 d 和 m，Kₘ₊₁ 子图的数量有统一有界。
• 利用库拉托夫斯基定理分析平面性，通过搜索是否存在 K₃,₃ 或 K₅ 子式。
• 在小素数和光滑数上进行计算实验，观察连通性、欧拉示性数及维数的模式。

实验结果

研究问题

• RQ1 当 d=1 时，二次轨道网络在 𝔽ₚ 上的欧拉示性数是否总是非负？
• RQ2 当 d=2 且 p 较大时，欧拉示性数是否变为负数？其渐近行为如何？
• RQ3 当 d≥2 且 p 较大时，二次轨道网络是否总是非平面图？若是，何种结构特征导致此性质？
• RQ4 当 p→∞ 时，这些网络的归纳维数是否收敛于 1？在哪些 d 和 p 下其值达到最大？
• RQ5 是否存在仅有有限多个 d=3 生成元的不连通二次轨道网络？此类异常情况的特征是什么？

主要发现

• 当 d=1 时，二次轨道网络在 𝔽ₚ 上的欧拉示性数总是非负。
• 当 d=2 且 p 足够大时，欧拉示性数变为负数。
• 无论 d 为何值，二次轨道网络的归纳维数在 p→∞ 时收敛于 1。
• 在任意属于 Xₚᵈ 的网络中，Kₘ₊₁ 子图的数量被一个仅依赖于 d 和 m 的常数统一有界。
• 在任何 d=3 的网络中均不存在 K₆ 子图，且当 p≤47 时也不存在 K₅ 子图。
• 目前已知 d=2 生成元下最大的平面二次轨道网络出现在 p=23；在 p>23 时未发现更大的平面图示例。