[论文解读] A Study on Linear Jaco Graphs

Johan Kok, C Susanth+1 more|arXiv (Cornell University)|Jun 22, 2015

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

一句话总结

本文引入了线性雅科图（linear Jaco graphs）作为一类有限有向图，其源自由线性函数 $f(x) = mx + c$ 定义的无限 $f(x)$-根有向图，其中 $m \in \mathbb{N}$，$c \in \mathbb{N}_0$。本文建立了基础性质，包括度数公式与弧的构造规则，并为特定线性雅科图中的弧数提供了闭式表达，为未来研究多项式雅科图奠定了基础。

ABSTRACT

We introduce the concept of a family of finite directed graphs (\emph{positive integer order,} $f(x) = mx + c; x,m \in \Bbb N$ and $c \in \Bbb N_0)$ which are directed graphs derived from an infinite directed graph called the $f(x)$-root digraph. The $f(x)$-root digraph has four fundamental properties which are; $V(J_\infty(f(x))) = \{v_i: i \in \Bbb N\}$ and, if $v_j$ is the head of an arc then the tail is always a vertex $v_i, i < j$ and, if $v_k$ for smallest $k \in \Bbb N$ is a tail vertex then all vertices $v_\ell, k < \ell < j$ are tails of arcs to $v_j$ and finally, the degree of a vertex $v_k$ is $d(v_k) = mk + c$. The family of finite directed graphs are those limited to $n \in \Bbb N$ vertices by lobbing off all vertices (and corresponding arcs) $v_t, t > n.$ Hence, trivially we have $d(v_i) \leq mi + c$ for $i \in \Bbb N.$ It is meant to be an \emph{introductory paper} to encourage further research.

研究动机与目标

• 将线性雅科图的概念形式化，作为文献中早期特殊情形的推广。
• 定义无限 $f(x)$-根有向图及其有限截断，确保结构与度数性质的一致性。
• 为特定线性雅科图（特别是 $J_n(f(x))$，其中 $n = f(f(1)+1)+1$）推导出弧数的闭式表达。
• 为未来将研究推广至多项式雅科图 $J_n(f(x))$（其中 $f(x)$ 为多项式）建立框架。

提出的方法

• 定义无限线性雅科图 $J_\infty(f(x))$，其顶点集为 $\{v_i : i \in \mathbb{N}\}$，且弧 $(v_i, v_j)$ 存在当且仅当 $(f(i) + i) - d^-(v_i) \geq j$，从而确保结构化、有向的层级结构。
• 引入序列 $c_{f(x),n}$，以确定指向顶点 $v_n$ 的最小尾部顶点，从而支持弧的递归构造。
• 通过数学归纳法与度数分析，证明对所有 $n \geq 2$，有 $d^+(v_n) = (m-1)n + c + c_{f(x),n}$，将函数 $f(x)$ 与顶点出度联系起来。
• 通过将图分解为完全子图 $K_{m+c+1}$ 与早期顶点的附加弧，结合求和公式，推导出 $J_n(f(x))$ 中的弧数。
• 通过归纳法证明 $c_{f(x),n}$ 是良定义且非递减的，确保弧生成的一致性。
• 通过将弧的定义推广至多项式函数 $f(x) = \sum a_i x^i + c$，并调整负值 $f(x)$ 的情况，提出向多项式雅科图推广的可能。

实验结果

研究问题

• RQ1 如何系统地从由线性函数 $f(x) = mx + c$ 定义的无限 $f(x)$-根有向图中导出一类有限有向图？
• RQ2 函数 $f(x)$ 与有限线性雅科图 $J_n(f(x))$ 中顶点 $v_n$ 的出度 $d^+(v_n)$ 之间的确切关系是什么？
• RQ3 能否为特定 $n$ 的线性雅科图 $J_n(f(x))$ 推导出总弧数的闭式表达？
• RQ4 线性雅科图的结构特性（如诱导子图与度序列）如何依赖于参数 $m$ 与 $c$？
• RQ5 在何种条件下，可从足够大的线性雅科图的度序列唯一恢复出线性函数 $f(x)$？

主要发现

• 在 $J_n(f(x))$ 中，顶点 $v_n$ 的出度为 $d^+(v_n) = (m-1)n + c + c_{f(x),n}$（$n \geq 2$），其中 $c_{f(x),n}$ 是满足 $mk + c_{f(x),k} \geq n$ 的最小索引 $k < n$。
• 在 $J_{f(f(1)+1)+1}(f(x))$ 中，弧数为 $\epsilon(J_n(f(x))) = \epsilon(K_{m+c+1}) + \epsilon(K_{m^2 + m(c-1) - c + 2}) + \frac{1}{2}m(m+c)(m+c-1)$，该结果源于完全子图与附加弧的组合。
• 序列 $c_{f(x),n}$ 是良定义且非递减的，且满足 $c_{f(x),n+1} \in \{c_{f(x),n}, c_{f(x),n}+1\}$，从而确保弧生成的一致性。
• 当 $f(x) = k-1$ 时，若 $n \leq m + c + 1$，则完全图 $K_n$ 是一个线性雅科图，且 $K_n$ 对应于 $m + c + 1$ 个不同的线性函数。
• 在 $d(v_i) = f(i)$ 且 $d(v_{i+1}) = f(i+1)$ 的前提下，顶点 $v_i$ 与 $v_{i+1}$ 的最大弧索引之差为 $m$ 或 $m+1$。
• 本文提出，可通过推广弧的定义并允许 $f(x)$ 取负值，来研究多项式雅科图 $J_n(f(x))$（其中 $f(x)$ 为多项式）。