[論文レビュー] Non-Adaptive Group Testing Framework based on Concatenation Code

Thach V. Bui, Minoru Kuribayashi+1 more|arXiv (Cornell University)|Jan 24, 2017

SARS-CoV-2 detection and testing参考文献 11被引用数 5

ひとこと要約

本論文は、連結符号を用いた強力に明示的で、効率的に復号可能な非適応的グループテスト（NAGT）フレームワークを提示しており、最大 $ d = 2 $ 個の欠陊項目に対して、最適なテスト複雑性 $ t \simeq 16 \log N $ を達成する。このフレームワークは、$ O\left( \frac{\ln^2 N}{\ln^2 \ln N} \right) $ の時間で行列の構築と復号が可能であり、符号化に $ O(N \log N) $ ビットの記憶領域を必要とし、$ d > 2 $ に対しても、$ O(d \log N) $ のテストを用いて $ (1-\varepsilon)d $ 個の欠陊項目を高確率で復号可能に拡張可能である。

ABSTRACT

We consider an efficiently decodable non-adaptive group testing (NAGT) problem that meets theoretical bounds. The problem is to find a few specific items (at most $d$) satisfying certain characteristics in a colossal number of $N$ items as quickly as possible. Those $d$ specific items are called extit{defective items}. The idea of NAGT is to pool a group of items, which is called extit{a test}, then run a test on them. If the test outcome is extit{positive}, there exists at least one defective item in the test, and if it is extit{negative}, there exists no defective items. Formally, a binary $t imes N$ measurement matrix $\mathcal{M} = (m_{ij})$ is the representation for $t$ tests where row $i$ stands for test $i$ and $m_{ij} = 1$ if and only if item $j$ belongs to test $i$. There are three main objectives in NAGT: minimize the number of tests $t$, construct matrix $\mathcal{M}$, and identify defective items as quickly as possible. In this paper, we present a strongly explicit construction of $\mathcal{M}$ for when the number of defective items is at most 2, with the number of tests $t \simeq 16 \log{N} = O(\log{N})$. In particular, we need only $K \simeq N imes 16\log{N} = O(N\log{N})$ bits to construct such matrices, which is optimal. Furthermore, given these $K$ bits, any entry in the matrix can be constructed in time $O \left(\ln{N}/ \ln{\ln{N}} ight)$. Moreover, $\mathcal{M}$ can be decoded with high probability in time $O\left( \frac{\ln^2{N}}{\ln^2{\ln{N}}} ight)$. When the number of defective items is greater than 2, we present a scheme that can identify at least $(1-ε)d$ defective items with $t \simeq 32 C(ε) d \log{N} = O(d \log{N})$ in time $O \left( d \frac{\ln^2{N}}{\ln^2{\ln{N}}} ight)$ for any close-to-zero $ε$, where $C(ε)$ is a constant that depends only on $ε$.

研究の動機と目的

• テスト複雑性の理論的限界を満たす、効率的に復号可能な非適応的グループテスト（NAGT）フレームワークを設計すること。
• 測定行列 $ \mathcal{M} $ の構築と復号を高速化しつつ、テスト数 $ t $ を最小限に抑えること。
• 行列の保存に $ O(N \log N) $ ビットの空間複雑性を達成し、エントリの計算を高速化すること。
• 2 個を超える欠陊項目を扱えるようにフレームワークを拡張し、$ (1-\varepsilon)d $ 個の欠陊項目を高確率で復号可能にすること。
• 行列の構築と復号が、それぞれエントリごとおよび全体で対数時間未満で実行可能であることを保証すること。

提案手法

• フレームワークは、符号化と復号の両方を効率的に行うために、連結符号に基づく強力に明示的な $ t \times N $ 測定行列 $ \mathcal{M} $ の構築法を採用する。
• 行列エントリは、$ K \simeq N \times 16 \log N $ ビットのコンパクトな表現を用いて、$ O\left( \frac{\ln N}{\ln \ln N} \right) $ の時間で計算可能である。
• $ d \leq 2 $ の場合、$ t \simeq 16 \log N $ テストで欠陊項目の正確な同定が保証され、理論的下界と一致する。
• $ d > 2 $ の場合、確率的アプローチを用いて、少なくとも $ (1-\varepsilon)d $ 個の欠陊項目を $ t \simeq 32 C(\varepsilon) d \log N $ テストで復号可能である。
• 復号は、$ d \leq 2 $ の場合 $ O\left( \frac{\ln^2 N}{\ln^2 \ln N} \right) $、$ d > 2 $ の場合 $ O\left( d \frac{\ln^2 N}{\ln^2 \ln N} \right) $ の時間で高確率で実行可能である。
• 連結符号の性質を活用することで、行列のスパarsity とエントリへの効率的なランダムアクセスの両方を確保している。

実験結果

リサーチクエスチョン

• RQ1 非適応的グループテスト方式を設計できるか。$ d \leq 2 $ の場合に、最適なテスト複雑性 $ O(\log N) $ を達成し、効率的な復号が可能であるか。
• RQ2 測定行列 $ \mathcal{M} $ の強力に明示的な構築法を設計できるか。エントリの計算が高速で、記憶領域を最小限に抑えられるか。
• RQ3 2 個を超える欠陊項目を扱えるようにフレームワークを拡張できるか。近似的に最適なテスト数と復号時間を維持できるか。
• RQ4 $ d > 2 $ の場合、復号精度とテスト複雑性のトレードオフは何か。高確率での復号が保証できるか。
• RQ5 高々定数倍の増加で、$ d > 2 $ の場合でも全体の復号時間が $ O\left( \frac{\ln^2 N}{\ln^2 \ln N} \right) $ の範囲に収まるか。

主な発見

• $ d = 2 $ までの欠陊項目に対して、$ t \simeq 16 \log N $ テストを達成し、理論的下界と一致する。
• 測定行列 $ \mathcal{M} $ は、$ K \simeq N \times 16 \log N = O(N \log N) $ ビットの記憶領域で構築可能であり、空間複雑性において最適である。
• 行列 $ \mathcal{M} $ の任意のエントリは、$ O\left( \frac{\ln N}{\ln \ln N} \right) $ の時間で計算可能であり、高速なアクセスが可能である。
• 欠陊項目は、$ d \leq 2 $ の場合、高確率で $ O\left( \frac{\ln^2 N}{\ln^2 \ln N} \right) $ の時間で復号可能である。
• $ d > 2 $ の場合、$ t \simeq 32 C(\varepsilon) d \log N $ テストを用いて、少なくとも $ (1-\varepsilon)d $ 個の欠陊項目が復号可能であり、$ C(\varepsilon) $ は $ \varepsilon $ に依存する定数である。
• $ d > 2 $ の場合の復号時間は、$ O\left( d \frac{\ln^2 N}{\ln^2 \ln N} \right) $ にスケーリングされ、計算効率の面で近似的に最適性を維持している。