[論文レビュー] Skirting the $n$-tuples

Sam Adriaensen, Ferdinand Ihringer+2 more|arXiv (Cornell University)|Feb 1, 2026

Advanced Graph Theory Research被引用数 0

ひとこと要約

この論文は Hamming 距離の下で 𝑍𝑞^𝑛 の最小の skirting 集合を研究し、特定のグラフにおける総支配集合と対応させ、f(n,q) ~ Cq^( (1+o(1))n ) という指数成長率の存在を、境界と構成を用いて証明します。

ABSTRACT

Let $n\ge 2$ and $q\ge 2$ be given. The set $X = \mathbb Z_q^n$ is a metric space of diameter $n$ under the Hamming metric $d(\cdot,\cdot)$. We seek a smallest set $S\subseteq X$ that ``skirts'' every $q$-ary $n$-tuple in the sense that every $x\in X$ is at distance $n$ from at least one element of $S$. Thus we aim to compute the total domination number $f(n,q)$ of the graph $G(n,q)$ with vertex set $X$ and edge set $\{ xy \, \| \, d(x,y)=n\}$. We provide constructions and bounds for this number, establishing $f(n,q) = C_q^{(1+o(1))n}$ for some constants $2=C_2>C_3 \geq \cdots$ which we are only able to estimate at the present time.

研究の動機と目的

• Hamming 距離における Zq^n の skirting 集合概念を定義し、それを G(n,q) における総支配と関連付ける。
• f(n,q) が n とともに指数的に増加し、漸近定数 Cq を同定する。
• Cq の境界を導出し、洞察を得るための小パラメータの厳密値または構成を提供する。
• skirting 配列を精緻化として開発し、境界のための CAN(t,n,q) への結びつきを通じて bound を導出する。

提案手法

• skirting 集合と G(n,q) における総支配の枠組みを定義する。
• 可加性の性質と Fekete の補題を用いて f(n,q) = Cq^( (1+o(1))n ) を示す。
• 単純なカウントと構成的議論により Cq の下界および上界を提供する。
• 小さな n, q に対する明示的構成を提供し、ILP/証明を用いて f(n,q) の境界を計算する。
• skirting 配列を導入し SAN(t,n,q) を CAN(t,n,q) に関連づけて境界を導く。

実験結果

リサーチクエスチョン

• RQ1 n が固定されたときに n が大きくなるときの f(n,q) の漸近的成長率はどうなるか？
• RQ2 f(n,q) = Cq^( (1+o(1))n ) における定数 Cq の境界はどうなるか？
• RQ3 小さなパラメータ値（n<q）は f(n,q) に対してどう振る舞い、どの構成がそれを達成するか？
• RQ4 skirting 集合を系統的に skirting 配列へ拡張し、境界のために covering arrays へ接続できるか？

主な発見

• すべての q ≥ 2 に対して、f(n,q) = Cq^( (1+o(1))n ) となり、Cq = infn √[n]{f(n,q)}、および数列 Cq は q に対して非増加である。
• 下界: Cq ≥ q/(q−1) および上界: Cq ≤ q^(1/(q−1))、さらに Cq = 1+ (ln q)/(q−1) + o(1/q) 。
• n<q のとき、f(n,q) = n+1（厳密解）。
• 具体的な構成により小さな n に対する f(n,3) および f(n,4) の値を示し、f(q,q) ≤ 2q−1（小パラメータ境界）。
• Skirting 配列 SA(N;t,n,q は概念を一般化し、SAN(t,n,q) を CAN(t,n,q) に関連づけることで、f(q,q) ≤ CAN(t,q,v) − (q−1)^t のような新しい境界を可能にする。
• 実用的な SA の例として f(20,20) ≤ 35 を、明示的な SA(19;4,20,4) によって示す。