[论文解读] Dense graphs are antimagic

Noga Alon, Gil Kaplan+3 more|ArXiv.org|Apr 15, 2003

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

一句话总结

本文证明了所有最小度为 Ω(log n) 的稠密图都是抗 magic 图，即存在边标签的双射 1 到 m，使得所有顶点和（相邻边标签之和）互不相同。该证明结合了概率方法、解析数论和组合技巧，解决了该类图的 Ringel 猜想，并进一步确立了完全分划图及最大度 ≥ n−2 的图的抗 magic 性质。

ABSTRACT

An {\em antimagic labeling} of a graph with $m$ edges and $n$ vertices is a bijection from the set of edges to the integers $1,...,m$ such that all $n$ vertex sums are pairwise distinct, where a vertex sum is the sum of labels of all edges incident with the same vertex. A graph is called {\em antimagic} if it has an antimagic labeling. A conjecture of Ringel (see \cite{HaRi}) states that every connected graph, but $K_2$, is antimagic. Our main result validates this conjecture for graphs having minimum degree $Ω(\log n)$. The proof combines probabilistic arguments with simple tools from analytic number theory and combinatorial techniques. We also prove that complete partite graphs (but $K_2$) and graphs with maximum degree at least $n-2$ are antimagic.

研究动机与目标

• 通过证明最小度为 Ω(log n) 的稠密图满足抗 magic 性质，解决 Ringel 猜想中关于除 K₂ 外所有连通图均为抗 magic 图的猜想。
• 将抗 magic 性质扩展至完全 k-分图（k ≥ 3）以及最大度 Δ(G) ≥ n−2 的图。
• 构建一个结合概率组合学、特征和估计与数论工具的一般性框架，以构造抗 magic 标签。
• 即使在高度对称或稠密的图中，也能通过精心设计的边标签策略使顶点和互不相同。
• 为传统贪心法或基于对称性的方法失效的图提供抗 magic 标签的构造性证明。

提出的方法

• 使用概率构造方法为边分配标签，使得顶点和以高概率互不相同。
• 通过单位根（如 w = e^{2πi/p}）应用特征和估计，以控制与标签差值相关的指数和的大小。
• 应用引理 2.2 表明，在特定条件下，余弦项乘积（代表标签对差值）呈指数衰减。
• 应用集中不等式（二项尾部估计）以确保大多数标签配对满足所需的非退化条件。
• 将标签分配分为两个阶段：首先为大子集内的内部边分配标签，然后为与小顶点集相连的边分配标签以平衡顶点和。
• 对完全二分图采用基于矩阵的标签策略，通过交替行方向以生成互不相同的行和与列和。

实验结果

研究问题

• RQ1 是否可以证明最小度为 Ω(log n) 的图满足 Ringel 猜想？
• RQ2 所有完全 k-分图（k ≥ 3）是否都是抗 magic 图（K₂ 除外）？
• RQ3 最大度 Δ(G) ≥ n−2 的图是否具有抗 magic 标签？
• RQ4 能否使用概率与解析数论工具在稠密图中构造抗 magic 标签？
• RQ5 即使图具有高度对称性或规则结构，是否仍可确保所有顶点和互不相同？

主要发现

• 对于任意 n 个顶点的图，若其最小度至少为 C log n（C 为绝对常数），则该图是抗 magic 图，从而确认了该类图的 Ringel 猜想。
• 该证明可优化为仅需 Ω(log n / log log n) 的最小度，但为清晰起见采用更简单的界限。
• 所有完全 k-分图（k ≥ 3）均为抗 magic 图（K₂ 除外），其证明基于基于矩阵排列的构造性标签策略。
• 当 n ≥ 4 时，最大度 Δ(G) ≥ n−2 的图是抗 magic 图，即使 Δ(G) = n−2 的情况也具有挑战性。
• 通过确保标签矩阵中行和与列和互不相同，可实现顶点和的互异性，仅通过一次交换即可解决冲突。
• 通过控制标签分布与基于奇偶性的分配策略，该方法可确保最终标签分配使行和与列和严格递增，且所有顶点权重互不相同。