[論文レビュー] On a combination of the 1-2-3 Conjecture and the Antimagic Labelling Conjecture

Julien Bensmail, Mohammed Senhaji+1 more|arXiv (Cornell University)|Apr 4, 2017

Graph Labeling and Dimension Problems被引用数 22

ひとこと要約

この論文は、$K_2$ と同型でない任意のグラフ（「よいグラフ」と呼ばれる）が、正確に重み $1$ から $|E(G)|$ を用いてエッジインジェクティブな近隣和区別エッジ重み付けを許容するかを調査する。著者たちは、正則グラフ、木、$2$-退化グラフ、最大平均次数が $3$ 未満のグラフが、しばしば $|E(G)|$ よりわずかに大きな定数個の追加重みを除き、このような重み付けを許容することを示し、Conjecture 1.1 を支持する証拠を提供する。

ABSTRACT

This paper is dedicated to studying the following question: Is it always possible to injectively assign the weights $1,...,|E(G)|$ to the edges of any given graph $G$ (with no component isomorphic to $K_2$) so that every two adjacent vertices of $G$ get distinguished by their sums of incident weights? One may see this question as a combination of the well-known 1-2-3 Conjecture and the Antimagic Labelling Conjecture. Throughout this paper, we exhibit evidence that this question might be true. Benefiting from the investigations on the Antimagic Labelling Conjecture, we first point out that several classes of graphs, such as regular graphs, indeed admit such assignments. We then show that trees also do, answering a recent conjecture of Arumugam, Premalatha, Bača and Semaničová-Feňovčíková. Towards a general answer to the question above, we then prove that claimed assignments can be constructed for any graph, provided we are allowed to use some number of additional edge weights. For some classes of sparse graphs, namely $2$-degenerate graphs and graphs with maximum average degree~$3$, we show that only a small (constant) number of such additional weights suffices.

研究の動機と目的

• Conjecture 1.1 で形式化されたように、すべてのよいグラフが正確に重み $1$ から $|E(G)|$ を用いてエッジインジェクティブな近隣和区別エッジ重み付けを許容するかを調査すること。
• 1-2-3 予想とアンチマグニテックラベルリング予想の関係を、ハイブリッドエッジ重み付け枠組みを通じて探求すること。
• どのグラフクラスにおいても、このようなエッジインジェクティブで近隣和区別可能な重み付けが存在するかを特定すること、特に最小限の追加重みで実現可能な場合を重点的に調査すること。
• $\chi^{e,1}_{\Sigma}(G)$ の上界を確立すること、これは $G$ がエッジインジェクティブな近隣和区別 $k$-エッジ重み付けを許容するような最小の $k$ を表す。
• $2$-退化グラフや最大平均次数が $3$ 未満のグラフなどのスパースなグラフクラスに結果を拡張し、$|E(G)| + k$ の形をとる、小さな定数 $k$ に対する境界を得ることを目的とする。

提案手法

• エッジインジェクティブな近隣和区別エッジ重み付けの概念を導入・形式化し、各エッジが $1$ から $k$ の一意な重みを受け、隣接する頂点の隣接エッジ重みの和が異なるようにする。
• 最小反例に対する構造的性質を示すために、分配法（discharging method）を用い、特に最大次数と平均次数の制約に注目する。
• 分配法を用いて、最大平均次数が $3$ 未満のグラフは最大次数が $3$ 未満であることを示し、$\chi^{e,1}_{\Sigma}(G)$ の上界を求める上で有用な構造的制約を得る。
• 既知のアンチマグニテックラベルリングと公平なエッジ重み付けに関する結果を活用し、正則グラフや木に類するグラフにおけるエッジインジェクティブラベルリングの存在を支持する。
• 組合せ論的およびグラフ理論的議論を用いて、特定のグラフ族（例：木、正則グラフ、$2$-退化グラフ）に対して明示的な重み付けを構成する。
• 構造的グラフ理論と分配法の技術を用いて、スパースなクラスに対して $\chi^{e,1}_{\Sigma}(G)$ の上界を確立し、$|E(G)|$ よりわずかに大きな定数個の追加重みで十分であることを示す。

実験結果

リサーチクエスチョン

• RQ1 すべてのよいグラフ $G$ は、正確に重み $1$ から $|E(G)|$ を用いてエッジインジェクティブな近隣和区別エッジ重み付けを許容するか？
• RQ2 木、正則グラフ、$2$-退化グラフ、または最大平均次数が $3$ 未満のグラフなどのどのグラフクラスにおいても Conjecture 1.1 が成り立つか？
• RQ3 スパースなグラフ族において、$|E(G)|$ を超える追加のエッジ重み数が、小さな絶対定数で抑えられるか？
• RQ4 提案されたエッジインジェクティブな近隣和区別重み付けは、1-2-3 予想とアンチマグニテックラベルリング予想の両者とどのように関係しているか？
• RQ5 すべてのよいグラフに対して、$\chi^{e,1}_{\Sigma}(G) \leq |E(G)| + k$ が普遍的な定数 $k$ を用いて成り立つか？

主な発見

• 正則グラフはすべて Conjecture 1.1 を満たす。これは、重み $1$ から $|E(G)|$ を正確に用いてエッジインジェクティブな近隣和区別エッジ重み付けを許容するからである。
• 木は Conjecture 1.1 を満たす。これは、Arumugam, Premalatha, Bača, および Semaničová-Feňovčíková が最近提起した予想を確認するものである。
• $2$-退化グラフおよび最大平均次数が $3$ 未満のグラフに関して、$\chi^{e,1}_{\Sigma}(G) \leq |E(G)| + 6$ を証明し、定数加法的境界を確立した。
• この結果は、周囲長が $6$ 以上のよい平面グラフに対しても拡張可能であり、$\chi^{e,1}_{\Sigma}(G) \leq |E(G)| + 6$ が成り立つ。
• 分配法を用いて、Conjecture 1.1 の最小反例は最大次数が $3$ 未満でなければならないことを示し、潜在的反例に対する構造的制約を支持する。
• 本論文は、$\chi^{e,1}_{\Sigma}(G) \leq \overline{\chi^{e}_{\Sigma}}(G)$ を示し、エッジインジェクティブ重み付けが公平な近隣和区別重み付けの特別な場合であることを示した。