[论文解读] Proof of a local antimagic conjecture

John Haslegrave|arXiv (Cornell University)|May 28, 2017

Graph Labeling and Dimension Problems被引用 24

一句话总结

本文通過證明每棵不含孤立邊的連通圖均存在局部反魔標號，從而解決了局部反魔標號猜想。該證明使用概率方法，顯示隨機將邊標籤分配為從 1 到 m 的不同數字時，能以正概率區分相鄰頂點。關鍵結果確立了所有此類圖的局部反魔色數是明確定義的。

ABSTRACT

An antimagic labelling of a graph $G$ is a bijection $f:E(G) o\{1,\ldots,E(G)\}$ such that the sums $S_v=\sum_{e i v}f(e)$ distinguish all vertices. A well-known conjecture of Hartsfield and Ringel (1994) is that every connected graph other than $K_2$ admits an antimagic labelling. Recently, two sets of authors (Arumugam, Premalatha, Bača \& Semaničová-Feňovčíková (2017), and Bensmail, Senhaji \& Lyngsie (2017)) independently introduced the weaker notion of a local antimagic labelling, where only adjacent vertices must be distinguished. Both sets of authors conjectured that any connected graph other than $K_2$ admits a local antimagic labelling. We prove this latter conjecture using the probabilistic method. Thus the parameter of local antimagic chromatic number, introduced by Arumugam et al., is well-defined for every connected graph other than $K_2$ .

研究动机与目标

• 解決猜想：每棵除 $K_2$ 外的連通圖均存在局部反魔標號。
• 確立所有不含孤立邊的連通圖的局部反魔色數 $\chi_{la}(G)$ 是明確定義的。
• 提供一種非構造性證明，使用概率方法表明隨機排列邊標籤能以正概率區分相鄰頂點。
• 透過證明即使在邊的標籤列表大小為 $m$ 時，只要滿足特定條件，仍存在能區分相鄰頂點的可行標號，從而加強該猜想。
• 探討概率方法在邊標號問題中的極限，特別是與區分距離為 2 的頂點的關係。

提出的方法

• 應用概率方法，證明對邊標籤 $1$ 到 $m$ 的均勻隨機排列，其區分相鄰頂點的概率至少為 $1 - \frac{1}{m}$。
• 使用並集界（union bound）證明無法區分任何相鄰頂點對的概率小於 1，從而確保存在有效標號。
• 運用關於子集和奇偶性的引理，以界定兩相鄰頂點具有相同頂點和的概率。
• 分析在 5 條邊的圖中，兩個度數為 3 的相鄰頂點未能被區分的概率，顯示其嚴格小於 $\frac{1}{m}$，僅在一個特殊情況下等於 $\frac{1}{m}$。
• 建立對於任意邊 $vw$，在隨機標號下兩頂點和相等的概率嚴格小於 $\frac{1}{m}$，且僅在單一小型特例中等於 $\frac{1}{m}$。
• 將論證推廣至猜想的列表變體：每條邊擁有一組大小為 $m$ 的整數列表，建議非區分概率仍低於 $\frac{1}{m}$。

实验结果

研究问题

• RQ1 每棵不含孤立邊的連通圖是否都存在一種局部反魔標號，使得相鄰頂點的頂點和互不相同？
• RQ2 是否能使用概率方法證明此類標號的存在性，而無需明確構造？
• RQ3 隨機邊標號無法區分特定相鄰頂點對的最小概率是多少？
• RQ4 失敗概率的界 $\frac{1}{m}$ 是否緊緻？是否存在等號成立的例外情況？
• RQ5 概率方法能否推廣至列表邊標號問題，其中每條邊有 $m$ 個允許的標籤？

主要发现

• 局部反魔標號猜想已獲證明：每棵不含孤立邊的連通圖均存在局部反魔標號。
• 對於具有 $m$ 條邊且無孤立邊的任何圖，隨機排列標籤 $1$ 到 $m$ 區分相鄰頂點的概率至少為 $1 - \frac{1}{m}$。
• 隨機標號無法區分特定相鄰頂點對的概率嚴格小於 $\frac{1}{m}$，僅在兩條相鄰頂點度數均為 3 且圖僅含 5 條邊的特殊情況下等於 $\frac{1}{m}$。
• 簡單算法（生成隨機排列並檢查有效性）的期望運行時間最多為 $m$ 的二次函數。
• 所有除 $K_2$ 外的連通圖的局部反魔色數 $\chi_{la}(G)$ 是明確定義的。
• 提出一個猜想：對於任意大小為 $m$ 的邊標籤列表，均存在一種可行標號，使得非區分概率嚴格小於 $\frac{1}{m}$。