[論文レビュー] Nonadaptive group testing with random set of defectives via constant-weight codes

Arya Mazumdar|arXiv (Cornell University)|Mar 12, 2015

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

ひとこと要約

本稿は、最小距離を超える平均距離の性質を活用して、ランダムな欠陊者を用いた非適応的グループテスト行列の明示的決定的構成を提示する。定数重み符号を用いることで、情報理論的限界に一致する O(t log N) テストを達成する。これは、(t+1) 通りの識別特性と符号の距離を結びつけることで実現される。

ABSTRACT

In a group testing scheme, set of tests are designed to identify a small number t of defective items that are present among a large numberN of items. Each test takes as input a group of items and produces a binary output indicating whether any defective item is present in the group. In a non-adaptive scheme the tests have to be designed in one-shot. In this setting, designing a testing scheme is equivalent to the construction of a disjunct matrix, anM N binary matrix where the union of supports of anyt columns does not contain the support of any other column. In principle, one wants to have such a matrix with minimum possible number M of rows. In this paper we consider the scenario where defective items are random and follow simple probability distributions. In particular we consider the cases where 1) each item can be defective independently with probability t N and 2) each t-set of items can be defective with uniform probability. In both cases our aim is to design a testing matrix that successfully identifies the set of defectives with high probability. Both of these models have been studied in the literature before and it is known that O(t logN) tests are necessary as well as sufficient (via random coding) in both cases. Our main focus is explicit deterministic construction of the test matrices amenable to above scenarios. One of the most popular ways of constructing test matrices relies on constant-weight error-correcting codes and their minimum distance. In particular, it is known that codes result in test matrices with O(t 2 logN) rows that identify anyt defectives. We go beyond the minimum distance analysis and connect the average distance of a constant weight code to the parameters of the resulting test matrix. Indeed, we show how distance, a pairwise property of the columns of the matrix, translates to a (t+1)-wise property

研究の動機と目的

• ランダム欠陊者モデルにおけるグループテスト行列の明示的決定的構成の欠落を埋める。
• 既存の O(t² log N) の構成を改善するため、定数重み符号における平均距離を活用する。
• ランダム欠陊者モデル下で、情報理論的下界である O(t log N) テストを達成するテスト行列を設計する。
• グループテストにおける (t+1) 通りの識別特性とペアワイズ符号距離の性質を結びつける。
• 確率的成否を維持しつつ、ランダム符号化の代替としての決定的代替を提供する。

提案手法

• 非適応的グループテストにおけるディスイント行列の構築の基盤として、定数重みエラー訂正符号を用いる。
• 最小距離の分析を越えて、符号の語の平均距離の性質を組み込む。
• 列が語に対応するテスト行列を設計し、任意の t 個の列の和集合が他の列のサポートを含まないことを保証する。
• 符号語の平均距離を分析することで、(t+1) 通りの識別特性をグループテストにおける耐障害性と結びつける。
• 定数重み符号における平均距離が、ランダムモデル下で t 個の欠陊者を高確率で正しく識別可能であることを証明する。
• 欠陊者が独立または一様ランダム t 集合分布に従う場合、結果の行列に O(t log N) 行で十分であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 平均距離の性質を有する定数重み符号を用いて、ランダム欠陊者に対して O(t log N) テストを達成する明示的決定的グループテスト行列を構築可能か？
• RQ2 符号語の平均距離は、グループテストにおける (t+1) 通りの識別特性とどのように関係するか？
• RQ3 ランダム欠陊者モデル下で、情報理論的下界である O(t log N) テストを明示的構成で達成可能か？
• RQ4 最小距離を超える符号構造—特に平均距離—は、ランダム欠陊者に対する効率的な非適応的グループテストを可能にする役割を果たすか？
• RQ5 定数重み符号における平均距離を活用することで、既存の O(t² log N) 法よりも優れた決定的構成が得られるか？

主な発見

• 提案手法は、両方のランダム欠陊者モデルにおいて O(t log N) のテスト数を達成し、情報理論的下限に一致する。
• 定数重み符号における平均距離を分析することで、ペアワイズ符号特性とグループテストにおける (t+1) 通りの識別特性との間の関係を確立する。
• ランダム符号化の代替としての明示的決定的代替を提供し、これまでは確率的のみで O(t log N) テストを達成していた。
• 最小距離を超える符号距離の洗練された分析を用いることで、従来の O(t² log N) テストを要する決定的構成を改善する。
• 独立および一様ランダム t 集合モデル下で、欠陊者集合を高確率で正しく識別する。
• 理論的枠組みにより、定数重み符号における平均距離が、非適応的グループテストにおけるディスイント性と信頼性の高い識別を保証するのに十分であることを示す。