[論文レビュー] On the Optimality of the Kautz-Singleton Construction in Probabilistic Group Testing

Huseyin A. Inan, Peter Kairouz+2 more|arXiv (Cornell University)|Aug 4, 2018

SARS-CoV-2 detection and testing参考文献 46被引用数 6

ひとこと要約

本稿では、組合せ的グループテストのために考案された Kautz-Singleton の構成が、$d = \Omega(\log^2 N)$ のとき、確率的グループテストにおいて $\Theta(d\log N)$ テストの順序最適性を達成することを示している。これは、強明示的で決定的なスキームである。著者らは、組合せ的符号の性質に依存しない、ランダムな欠損アイテム集合による非欠損アイテムのカバー確率の新しい直接的解析を導入し、テスト複雑度が $\log\log N$ 要因しか増加しない再帰的デコード法を構築することで、構成を拡張した。

ABSTRACT

We consider the probabilistic group testing problem where $d$ random defective items in a large population of $N$ items are identified with high probability by applying binary tests. It is known that $Θ(d \log N)$ tests are necessary and sufficient to recover the defective set with vanishing probability of error when $d = O(N^α)$ for some $α\in (0, 1)$. However, to the best of our knowledge, there is no explicit (deterministic) construction achieving $Θ(d \log N)$ tests in general. In this work, we show that a famous construction introduced by Kautz and Singleton for the combinatorial group testing problem (which is known to be suboptimal for combinatorial group testing for moderate values of $d$) achieves the order optimal $Θ(d \log N)$ tests in the probabilistic group testing problem when $d = Ω(\log^2 N)$. This provides a strongly explicit construction achieving the order optimal result in the probabilistic group testing setting for a wide range of values of $d$. To prove the order-optimality of Kautz and Singleton's construction in the probabilistic setting, we provide a novel analysis of the probability of a non-defective item being covered by a random defective set directly, rather than arguing from combinatorial properties of the underlying code, which has been the main approach in the literature. Furthermore, we use a recursive technique to convert this construction into one that can also be efficiently decoded with only a log-log factor increase in the number of tests.

研究の動機と目的

• 既知の順序最適な確率的グループテストスキーム（確率的）と、$\Theta(d\log N)$ テストを達成する明示的決定的構成の欠如との間のギャップを埋めること。
• 従来、組合せ的グループテストでは部分的に最適でないとされていた Kautz-Singleton の構成が、確率的グループテスト設定において順序最適性を達成することを確立すること。
• Kautz-Singleton の構成を用いて、$d = \Omega(\log^2 N}$ のとき $O(d\log N)$ テストを達成する強明示的かつ効率的なデコードが可能なグループテストの構成を設計すること。
• 従来の組合せ的符号の議論に依存しない、非欠損アイテムのカバー確率に関する直接的確率解析に基づく新しい解析フレームワークを提供すること。
• テスト複雑度とデコード複雑度の漸近的境界を維持したまま、ノイズありグループテスト設定への拡張を図ること。

提案手法

• 組合せ的符号の性質に依存しない、非欠損アイテムがランダムな欠損アイテム集合にカバーされる確率の新しい直接的解析を提案。
• Kautz-Singleton の構成をベースとするグループテスト行列 $M^{\textnormal{KS}}$ を使用。これは強明示的であり、$t^{\textnormal{KS}}(d,N,\epsilon) = O(d\log N/\epsilon)$ テストを達成する。
• 再帰的構成 $M^{\textnormal{ED}}$ を設計。これは、$M^{(F)}$ と $M^{(L)}$ を用いて、より大きな行列を小さな $M^{\textnormal{KS}}$ のインスタンスから構築する。
• 2段階のデコードプロセスを適用：まず、部分行列に対して再帰的デコードを実行して、サイズ $O(d^2)$ の候補集合 $S'$ を推定し、次に、全行列に対してカバー・デコーダを適用して最終的な欠損セットを回復する。
• 総テスト数を $t^{\textnormal{ED}}(d,N,\epsilon) = O(d\log N\log\log_{d}N)$ と評価。デコード複雑度は $D^{\textnormal{ED}}(d,N,\epsilon) = O(d^3\log N\log\log_{d}N)$ で抑えられる。
• 基本ケースに反復ベースの個別テストを用いることで、ノイズあり設定への拡張を実現。同じ漸近的テストおよびデコード複雑度境界を維持する。

実験結果

リサーチクエスチョン

• RQ1 Kautz-Singleton の構成は、$d = \Omega(\log^2 N}$ のとき、確率的グループテストにおいて $\Theta(d\log N)$ テスト複雑度を達成できるか？
• RQ2 組合せ的符号の性質に依存せず、ランダムな欠損アイテム集合下での非欠損アイテムのカバー確率を解析する方法はあるか？
• RQ3 確率的グループテストにおいて $O(d\log N)$ テストを達成する強明示的かつ効率的なデコード可能な構成を設計できるか？
• RQ4 再帰的構成 $M^{\textnormal{ED}}$ は、効率的なデコードを可能にしつつ、順序最適性をどのように維持するか？
• RQ5 ノイズの影響は、提案された構成のテストおよびデコード複雑度にどのような影響を与えるか？

主な発見

• Kautz-Singleton の構成は、$d = \Omega(\log^2 N}$ のとき、確率的グループテストにおいて $O(d\log N)$ テストを達成し、この範囲で順序最適性を示した。
• 著者らは、組合せ的符号の議論を回避する、非欠損アイテムのカバー確率に関する新しい直接的解析を確立し、より鋭い境界を可能にした。
• 再帰的構成 $M^{\textnormal{ED}}$ は、$t^{\textnormal{ED}}(d,N,\epsilon) = O(d\log N\log\log_{d}N)$ テストを達成し、最適な $\Theta(d\log N)$ に対して僅か $\log\log N$ 要因の増加にとどまる。
• デコード複雑度は $D^{\textnormal{ED}}(d,N,\epsilon) = O(d^3\log N\log\log_{d}N)$ で抑えられ、これは $t$ に対して多項式的であり、したがって効率的である。
• ノイズありグループテスト設定への拡張においても、同じ漸近的テストおよびデコード複雑度を維持し、誤り確率 $\epsilon$ を保ったままである。
• 本研究の結果として、広範な $d$ の範囲において、$\Theta(d\log N)$ テストを達成する最初の強明示的構成が得られた。