[论文解读] Partially magic labelings and the Antimagic Graph Conjecture

Matthias Beck, Maryam Farahmand|arXiv (Cornell University)|Nov 13, 2015

Graph Labeling and Dimension Problems参考文献 5被引用 3

一句话总结

本文引入了部分魔幻标记作为魔幻与反魔幻图标记之间的桥梁，证明弱反魔幻标记的数量是一个周期至多为2的拟多项式。研究证明，任何不含 $K_2$ 分量的二分图均存在弱反魔幻标记，为长期悬而未决的反魔幻图猜想提供了新思路。

ABSTRACT

The Antimagic Graph Conjecture asserts that every connected graph $G = (V, E)$ except $K_2$ admits an edge labeling such that each label $1, 2, \dots, |E|$ is used exactly once and the sums of the labels on all edges incident to a given vertex are distinct. On the other extreme, an edge labeling is magic if the sums of the labels on all edges incident to each vertex are the same. In this paper we approach antimagic labelings by introducing partially magic labelings, where "magic occurs'' just in a subset of $V$. We generalize Stanley's theorem about the magic graph labeling counting function to the associated counting function of partially magic labelings and prove that it is a quasi-polynomial of period at most $2$. This allows us to introduce weak antimagic labelings (for which repetition is allowed), and we show that every bipartite graph satisfies a weakened version of the Antimagic Graph Conjecture.

研究动机与目标

• 为解决反魔幻图猜想，引入一种在魔幻与反魔幻标记之间插值的新标记类。
• 利用Ehrhart理论与半群代数，将Stanley关于魔幻标记计数函数的定理推广至部分魔幻标记。
• 证明弱反魔幻标记——允许标签重复但顶点和互不相同——的数量构成周期至多为2的拟多项式。
• 证明任何不含 $K_2$ 分量的二分图均存在弱反魔幻标记，为解决反魔幻图猜想迈出关键一步。
• 探讨反魔幻标记计数函数及其周期的结构性质，尤其关注图的二分性与环的移除关系。

提出的方法

• 将部分魔幻标记定义为仅在指定子集 $S \subseteq V$ 上顶点和相等的边标记。
• 利用线性丢番图方程组与Ehrhart理论，建模图在 $S$ 上为部分魔幻的 $k$-标记数量。
• 证明在 $S$ 上为部分魔幻的 $k$-标记计数函数 $M_S(k)$ 是周期至多为2的拟多项式，且当 $G$ 移除环后为二分图时，其形式为多项式。
• 引入弱反魔幻标记，允许标签重复但要求顶点和互不相同，并证明计数 $A_G(k)$ 是 $k$ 的拟多项式。
• 利用拟多项式结构与 $A_G(k)$ 的单调性，证明 $A_G(2|E|) > 0$，从而表明弱反魔幻标记存在。
• 利用部分魔幻计数函数的结构，界定标签大小并通过对周期分析分析反魔幻标记的存在性。

实验结果

研究问题

• RQ1 能否通过放宽标签互异的要求（允许重复标签）来接近反魔幻图猜想，同时保持顶点和互异？
• RQ2 弱反魔幻标记计数函数的代数与组合结构为何？
• RQ3 部分魔幻标记计数函数的周期如何与图的二分性结构相关？
• RQ4 是否能保证所有不含 $K_2$ 分量的二分图均存在弱反魔幻标记？
• RQ5 标签大小与周期性对一般图中反魔幻标记存在性的约束为何？

主要发现

• 弱反魔幻 $k$-标记的数量 $A_G(k)$ 是 $k$ 的拟多项式，周期至多为2。
• 若 $G$ 移除其环后为二分图，则 $A_G(k)$ 是 $k$ 的多项式，而非拟多项式。
• 每个不含 $K_2$ 分量的二分图均存在弱反魔幻标记，因为 $A_G(2|E|) > 0$。
• $k$-标记的数量至多为 $(k+1)^{|E|}$，因此 $A_G(k)$ 的次数至多为 $|E|$，且至多有 $|E|$ 个整数根。
• 在子集 $S \subseteq V$ 上为部分魔幻的 $k$-标记计数函数 $M_S(k)$ 是周期至多为2的拟多项式，且当 $G$ 移除环后为二分图时，其为多项式。
• 弱反魔幻标记的存在性由 $A_G(2|E|)$ 的正性所蕴含，而该正性源于 $A_G(k)$ 的次数与单调性。