[论文解读] On the super edge-magicness of graphs of equal order and size

Susana-Clara López, Francesc-Antoni Muntaner-Batle+1 more|arXiv (Cornell University)|Jun 1, 2017

Graph Labeling and Dimension Problems被引用 1

一句话总结

本文研究了阶与大小相等的图的超级边-魔法性质，特别关注包含环和星形图的家族。通过使用 ⊗h-乘积和邻接矩阵分析，证明了某些配置（如 2L ∪ LK₁,n）并非超级边-魔法图，提供了罕见的负面结果，挑战了常见的障碍原因（如顶点-边不平衡或奇偶性问题）。主要贡献在于系统地刻画了此类图类中的超级边-魔法图，包含正面与负面结果，并提出了新颖的结构洞见。

ABSTRACT

The super edge-magicness of graphs of equal order and size has been shown to be important since such graphs can be used as seeds to answer many questions related to (super) edge-magic labelings and other types of well studied labelings, as for instance harmonious labelings. Also other questions related to the area of combinatorics can be attacked and understood from the point of view of super edge-magic graphs of equal order and size. For instance, the design of Steiner triple systems, the study of the set of dual shuffle primes and the Jacobsthal numbers. In this paper, we study the super edge-magic properties of some types of super edge-magic graphs of equal order and size, with the hope that they can be used later in the study of other related questions. The negative results found in last section are specially interesting since these kind of results are not common in the literature. Furthermore, the few results found in this direction usually meet one of the following reasons: too many vertices compared with the number of edges; too many edges compared with the number of vertices; or parity conditions. In this case, all previous reasons fail in our results.

研究动机与目标

• 刻画由环和星形图组成的超级边-魔法图，其中环位于中心，特别是阶与大小相等的情况。
• 通过识别阶与大小相等类中的有效种子图，扩展 ⊗h-乘积构造的适用性。
• 提供罕见的负面结果，说明超级边-魔法性不成立的原因并非源于顶点-边不平衡或奇偶性问题。
• 建立超级边-魔法标记与组合结构（如雅可比斯塔尔数和斯坦纳三元系）之间的联系。

提出的方法

• 利用有向图的 ⊗h-乘积，从已知的种子图生成新的超级边-魔法图。
• 应用引理 1.1，将超级边-魔法性重新表述为：存在一种顶点标记，使得边和构成连续整数集合。
• 通过分析有向图的邻接矩阵，施加来自超级边-魔法标记的结构约束。
• 利用超级边-魔法互补标记及其矩阵旋转性质（引理 1.3）推导矛盾。
• 通过对邻接矩阵行模式进行案例分析，排除非超级边-魔法情况下的可能标记。
• 应用定理 1.1 确认：若种子有向图是超级边-魔法图，则其 ⊗h-乘积结果也是超级边-魔法图。

实验结果

研究问题

• RQ1 哪些由环和星形图组成的图家族（中心带环）在阶与大小相等时是超级边-魔法图？
• RQ2 ⊗h-乘积构造能否可靠地用于从阶与大小相等的种子图生成新的超级边-魔法图？
• RQ3 为何某些图（如 L ∪ LK₁,n 或 2L ∪ LK₁,n）尽管满足常见条件，仍无法成为超级边-魔法图？
• RQ4 是否存在普遍阻止此类图家族中超级边-魔法性的结构或代数不变量？
• RQ5 形式为 nL ∪ nLK₁,s 的超级边-魔法图集合（n 和 s 为自然数）具有何种特征？

主要发现

• 对于任意 n ∈ ℕ，图 2L ∪ LK₁,n 均非超级边-魔法图，这是通过在超级边-魔法标记下邻接矩阵结构的矛盾所证明。
• 对于任意 n ∈ ℕ，图 L ∪ LK₁,n 均非超级边-魔法图，原因在于无法满足连续和条件与对角线约束。
• 图 2L ∪ LK₁,n 失去超级边-魔法性，是因为不存在有效标记能同时满足所需的邻接矩阵行模式与对角线覆盖。
• 对于所有 s ∈ ℕ，家族 (2s+1)LK₁,n 是超级边-魔法图，表明奇数倍星形图带环存在结构性规律。
• 对于所有 n ∈ ℕ，家族 2LK₁,₁ ∪ LK₁,n 是超级边-魔法图，表明某些多重星形图与环的组合可为超级边-魔法图。
• 鹿形图（定义为 2LK₁,₁ ∪ LK₁,n）是超级边-魔法图，为阶与大小相等的超级边-魔法图家族提供了新类别。