[论文解读] 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 阵列作为细化，并将其与覆盖阵列的联系用于界限推导。

提出的方法

• 在 G(n,q) 中定义 skirting 集及全支配框架。
• 利用分子可加性和菲凯定理(Fekete’s lemma) 证明 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 固定 q 时 n 增大时 f(n,q) 的渐近增长率是多少？
• RQ2 在 f(n,q) = Cq^( (1+o(1))n ) 中常数 Cq 的界限可以确定吗？
• RQ3 较小参数值 (n<q) 的 f(n,q) 的行为及其构造是什么？
• RQ4 是否可以系统性地将 skirting 集推广为 skirting 阵列并与覆盖阵列联系以获得界限？

主要发现

• 对任意 q ≥ 2，f(n,q) = Cq^( (1+o(1))n )，Cq = inf_n √[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)。