[論文レビュー] Covering Array Bounds Using Analytical Techniques

Ruyue Yuan, Zoe Koch+1 more|arXiv (Cornell University)|May 12, 2014

graph theory and CDMA systems参考文献 5被引用数 9

ひとこと要約

本稿は、ラヴászの局所補題、組合せ最適化、スターリングの近似、微分積分を組み合わせた解析的手法を用いて、t-カバーイング配列の最小サイズに対する漸近的上界を改善した。t=3, q=3 の場合（32.03 lg n）および t=4, q=2 の場合（27.32 lg n）で、従来の一般化された上界を上回り、ランダム構成法を越えた初めての解析的改善を達成した。

ABSTRACT

A $t$-covering array with entries from the alphabet ${\cal Q}=\{0,1,\ldots,q-1\}$ is a $k imes n$ stack, so that for any choice of $t$ (typically non-consecutive) columns, each of the $q^{t}$ possible $t$-letter words over ${\cal Q}$ appear at least once among the rows of the selected columns. We will show how a combination of the Lovász local lemma; combinatorial analysis; Stirling's formula; and Calculus enables one to find better asymptotic bounds for the minimum size of $t$-covering arrays, notably for $t = 3, 4$. Here size is measured in the number of rows, as expressed in terms of the number of columns.

研究の動機と目的

• 与えられたパラメータ t, q, n に対する t-カバーイング配列の最小行数に関する改善された漸近的上界を導出すること。
• ランダム構成法を越えて、t=3およびt=4のカバーイング配列に対してより tightened な上界を達成するため、解析的手法を拡張すること。
• 組合せ的および漸近的解析を用いて、等重み配列における任意の t-語が欠落する確率を最適化すること。
• ラヴászの局所補題を用いて依存構造を制御し、より少ない行数でカバーイング配列の存在を保証すること。
• 特に t=3,q=3 および t=4,q=2 のケースにおいて、従来の一般式よりも解析的に導出された定量的かつ tighter な上界を提供すること。

提案手法

• 任意の t-語がランダムな等重み配列で欠落する確率を制御するため、ラヴászの局所補題を用いる。
• 特定の t-語が t 列にわたって欠落する確率の推定に、スターリングの近似を適用して多項係数を近似する。
• A や B などの変数を用いて、列間の重複する 1 の数（またはシンボルの一致数）をパラメータ化し、同時分布をモデル化する。
• 微分積分を用いて確率式の指数部を最大化し、臨界点を求める。
• すべての q^t 個の可能な t-語に対して和集合の上限を適用し、ラヴász補題における依存数 d=O(n^{t-1}) を考慮して依存を扱う。
• パラメータ化された最適化を用いて確率式の分子を抑え、多項係数から導かれる分母と比較する。

実験結果

リサーチクエスチョン

• RQ1 ラヴászの局所補題やスターリングの近似といった解析的手法は、従来の一般式を上回る、t-カバーイング配列に対するより tightened な漸近的上界を導出できるか？
• RQ2 ランダムな等重み配列において任意の t-語が欠落する確率を最小化するための、シンボル出現の最適な分布は何か？
• RQ3 t=3, q=3 および t=4, q=2 の場合の上界は、[4] の一般式 (2) と比較してどのようになるか？ さらに解析的に改善可能か？
• RQ4 パラメータ化された変数（例：A, B）のどの臨界値が、t-カバーイング配列における語の欠落確率を最小にするか？
• RQ5 本手法は t=4 および q≥3 の q 進 t-カバーイング配列に拡張可能か？ その場合の計算的および解析的課題は何か？

主な発見

• t=3, q=3 の場合、本稿は k₀(n,3,3) ≤ 32.03 · lg n (1+o(1)) という新たな上界を確立し、[4] の一般式を上回った。
• t=4, q=2 の場合、本稿は k₀(n,2,4) ≤ 27.32 · lg n (1+o(1)) を導出し、式 (2) からの一般式の 32.22 · lg n よりも著しく tightened であった。
• t=3, q=3 の配列において、特定の三進語を回避する確率を最適化するための臨界値は A=2−√3 であり、指数部の対数微分を用いた微分積分により導出された。
• t=4, q=2 の場合、最適パラメータは数値的に求められた：B≈0.9126 および A≈0.3522 であり、確率式における指数部が最小化された。
• 解析により、ラヴászの局所補題における依存数 d が t=4 の場合 O(n³) であることが確認され、この補題を用いてカバーイング配列の存在を保証する根拠が得られた。
• 本手法は、スターリングの公式と微分積分を用いた多項係数の解析的最適化が、単なるランダム構成法に比べてより tightened な上界を導けることを示した。