[論文レビュー] An asymptotically tight upper bound for the domination number of the $2$-token graph of path graphs

E. Acosta Troncoso, J. Leaños+1 more|arXiv (Cornell University)|Jan 28, 2026

Advanced Graph Theory Research被引用数 0

ひとこと要約

その論文は domination 数 γ(F2(Pn)) が n ≥ 13 に対して a(n-1) ≤ γ(F2(Pn)) ≤ d(n) に厳密に挟まれることを証明し、これらの n に対して γ(F2(Pn)) = d(n) を予想する、明示的な構成と小さな n に対する正確な値を提示する。

ABSTRACT

In this note, we show that the domination number of the $2$-token graph of the path graph of order $n\geq 2$ is equal to $\frac{n^2}{10}+Θ(n)$.

研究の動機と目的

• トークングラフ、特に F2(Pn) における支配の研究動機づけ。
• n が成長するにつれて γ(F2(Pn)) の漸近的に厳密な上界を決定する。
• 上界を達成する構成的な支配集合を提供し、パッキング数との比較を行う。
• 小さな n に対する正確な値を示し、(n ≥ 13) の大きな n に対する予想を提案する。

提案手法

• F2(Pn) を全ての 2-部分集合 {i,j} の頂点集合として、辺をパスの辺と一致する対称差を持つものとしてモデリングする。
• H, I(n) および翻訳ベースの着色方式 (f, g) を 5 でモジュロに用い、支配集合の構成を導く。
• h^{-1}_n(r) が colors r の下で I(n) において支配的であることを示す（h ∈ {f,g}）。
• h^{-1}_n(r) から D'_{r}(h) を構成し、A_r, B_r 置換を用いてそれらを refinement して I(n) の支配集合 D_r(h) を得る。
• n を mod 5 で場合分けし、明示的な構成（n ≡ 0,1,2,3,4 mod 5 の場合）を通じて γ(F2(Pn)) ≤ d(n) の上界を得る。

実験結果

リサーチクエスチョン

• RQ1 2-トークングラフ Pn の支配数 γ(F2(Pn)) の漸近的に厳密な上界とは何か。
• RQ2 大きな n (n ≥ 13) に対して予想された界と一致する支配集合のサイズを、 explicit な構成で得られるか。
• RQ3 γ(F2(Pn)) はパッキング数 ρ(F2(Pn)) とどう関係し、既知の境界にどのような影響を及ぼすか。
• RQ4 すべての十分に大きな n に対して γ(F2(Pn)) が d(n) に等しいか、もし等しいなら等価となる n はどこからか。

主な発見

• n ≥ 13 に対して γ(F2(Pn)) は a(n-1) と d(n) の間に挟まれる。
• 明示的な上界 d(n) は n mod 5 に依存する区分的な二次関数として与えられる。
• 予想として: n ≥ 13 なら γ(F2(Pn)) = d(n)。
• n ≤ 25 に対する正確な γ(F2(Pn)) の値はコンピュータで計算され、n = 13 から 25 まで d(n) と一致する。
• パッキング数に基づく下界は γ(F2(Pn)) ≥ a(n-1) を示し、下界と一致する。
• 色分けと局所的修正による構成的アプローチは、提案された上界を達成する支配集合を生み出す。