[論文レビュー] The Strongly Antimagic labelings of Double Spiders

Fei-Huang Chang, Pinhui Chin+2 more|arXiv (Cornell University)|Dec 27, 2017

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

ひとこと要約

本稿は、ちょうど2つの次数が3以上の頂点を持つ木（二重スパイン）が、すべて強く反魔的であることを証明している。つまり、辺に一対一のラベル付けが可能であり、頂点の和がすべて異なり、次数の順序に従って整列されることを意味する。著者らは、次数の順序を保つ構成的ラベル付け法を用いてこの結果を得ており、既存のスパインおよびパスに関する結果を拡張し、グラフ理論におけるより広範な反魔的ラベル付けの予想を支持する。

ABSTRACT

A graph $G=(V,E)$ is strongly antimagic, if there is a bijective mapping $f: E o \{1,2,\ldots,|E|\}$ such that for any two vertices $u eq v$, not only $\sum_{e \in E(u)}f(e) e \sum_{e\in E(v)}f(e)$ and also $\sum_{e \in E(u)}f(e) < \sum_{e\in E(v)}f(e)$ whenever $°(u)< °(v) $, where $E(u)$ is the set of edges incident to $u$. In this paper, we prove that double spiders, the trees contains exactly two vertices of degree at least 3, are strongly antimagic.

研究の動機と目的

• K₂以外のすべての木が反魔的であるという予想2を、二重スパインのクラスについて解決すること。
• 頂点の和が次数に厳密に増加するような「強く反魔的ラベル付け」の存在を、二重スパインに対して確立すること。
• 補題1の帰納的技法を拡張し、より大きな強く反魔的グラフを、より小さいものから構成すること。
• コアパス、左腕、右腕に分解する構造的分解に基づく、二重スパインの体系的ラベル付け枠組みを提供すること。
• より複雑な木族における強く反魔的ラベル付けの今後の探求の基盤を築くこと。

提案手法

• 二重スパインを、3つの辺に交わらない部分に分解する：コアパス $P^{\text{core}}$、左腕 $L$、右腕 $R$。$v_l$ と $v_r$ はコアの端点である。
• 左腕と右腕の数、および $v_l$ と $v_r$ の次数に基づき、4つのタイプに二重スパインを分類し、それぞれに適したラベル付け規則を適用する。
• 頂点の和 $\varphi_f(u)$ が次数に厳密に増加するようにラベル付け規則を適用する：$\deg(u) < \deg(v) \Rightarrow \varphi_f(u) < \varphi_f(v)$。
• 改良されたラベル付け戦略を用いる：新規辺のラベルは、接続する頂点の頂点和の順序に従って順次割り当てられ、次数順序性が保たれる。
• 帰納的構成法（補題1）を用い、葉を追加することで強く反魔的ラベル付けをスーパーグラフへ拡張する。新規辺のラベルは、既存の頂点和の順序に従って割り当てられる。
• 次数1および次数2の頂点に対する詳細なラベル付け規則を提示。高次元頂点の完全な比較は付録に延期する。

実験結果

リサーチクエスチョン

• RQ1 すべての二重スパインは強く反魔的であるか、すなわち頂点の和が異なり、次数の順序に従って整列される辺ラベル付けが可能か？
• RQ2 補題1の帰納的構成法は、同じ次数の頂点に辺を追加する際にも、強く反魔的性質を保つように一般化可能か？
• RQ3 強く反魔的ラベル付けの存在は、すべての $k \geq 0$ に対して $k$-反魔的ラベル付けの存在を示唆するか？
• RQ4 あるグラフが $k$-反魔的であるが $(k+1)$-反魔的でないような例は存在するか？ これは強順序性の欠落を示唆するか？
• RQ5 複数の高次元頂点を持つ木の構造的制約を克服し、すべてのキャタピラーまたは一般木に対して反魔的ラベル付けを証明できるか？

主な発見

• すべての二重スパインは、次数順の頂点和条件を満たす明示的な辺ラベル付けの構成により、強く反魔的であることが証明された。
• ラベル付け規則により、任意の2頂点 $u$ と $v$ に対して、$\deg(u) < \deg(v)$ ならば $\varphi_f(u) < \varphi_f(v)$ であり、すべての頂点和が異なっていることが保証された。
• $v_l$ の頂点和は $v_r$ よりも厳密に大きく、両者ともすべての次数2頂点の頂点和よりも大きい。これは付録で確認された。
• 補題1の構成法により、次数順に葉を追加することで、任意の強く反魔的グラフを、より大きな強く反魔的グラフに拡張できる。
• 結果は、次数が3以上の頂点が高々2つの木が反魔的であるというより広範な予想を支持しており、スパインおよびパスに関する既知の結果を拡張している。
• 本稿は、$k=0$ のとき、$k$-反魔的ラベル付け（頂点和の順序が次数順に一致する）が強く反魔的ラベル付けと同値であり、このようなラベル付けは任意の $k \geq 0$ に翻訳可能であることを確立した。