[論文レビュー] 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$-ラベリングの数をモデル化する。
• 部分的魔法的 $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)$ は、周期2未満の $k$ の準多項式である。
• $G$ からループを除いたグラフが二部グラフであれば、$A_G(k)$ は $k$ の多項式であり、準多項式ではない。
• $K_2$ 成分を含まないすべての二部グラフは、弱い反魔法的ラベリングを有する。これは $A_G(2|E|) > 0$ であることから示される。
• ラベルの数は $(k+1)^{|E|}$ 未満であるため、$A_G(k)$ の次数は $|E|$ 未満であり、高々 $|E|$ 個の整数の根を持つ。
• $S \subseteq V$ における部分的魔法的 $k$-ラベリングの数え上げ関数 $M_S(k)$ は、周期2未満の準多項式であり、$G$ からループを除いたグラフが二部グラフであれば多項式である。
• 弱い反魔法的ラベリングの存在は、$A_G(2|E|)$ の正の値から示され、これは $A_G(k)$ の次数と単調性から導かれる。