[論文レビュー] Poisson Group Testing: A Probabilistic Model for Boolean Compressed Sensing

Amin Emad, Olgica Milenković|arXiv (Cornell University)|Oct 20, 2014

SARS-CoV-2 detection and testing参考文献 45被引用数 8

ひとこと要約

本稿では、λ(n) = o(n) である右切断ポアソン分布に従う欠陥品の数をもつ確率的モデルとして、ポアソングループテストを導入する。非適応的および準適応的テスト行列の構築法を提案し、m = 2(β(n)λ(n))^{1+γ}(log n + τβ²(n)log²(β(n)λ(n))) テストで誤り確率が消え去るのを達成しており、情報理論的下界と定数因子の違いを除いて一致する。

ABSTRACT

We introduce a novel probabilistic group testing framework, termed Poisson group testing, in which the number of defectives follows a right-truncated Poisson distribution. The Poisson model has a number of new applications, including dynamic testing with diminishing relative rates of defectives. We consider both nonadaptive and semi-adaptive identification methods. For nonadaptive methods, we derive a lower bound on the number of tests required to identify the defectives with a probability of error that asymptotically converges to zero; in addition, we propose test matrix constructions for which the number of tests closely matches the lower bound. For semi-adaptive methods, we describe a lower bound on the expected number of tests required to identify the defectives with zero error probability. In addition, we propose a stage-wise reconstruction algorithm for which the expected number of tests is only a constant factor away from the lower bound. The methods rely only on an estimate of the average number of defectives, rather than on the individual probabilities of subjects being defective.

研究の動機と目的

• 欠陥品の相対的割合が時間とともに減少する動的およびストリーミングテストのシナリオにおいて、新たな確率的グループテストフレームワークを開発すること。
• λ(n) = o(n) である右切断ポアソン分布を用いて欠陥品の数をモデル化し、臨床的検査およびDNAスクリーニングへの応用を可能にすること。
• 非適応的および準適応的テストにおける信頼性の高い特定に必要なテスト数の情報理論的下界を導出すること。
• 誤り確率が最小限のテストオーバーヘッドでゼロに収束するテスト行列の構築法および復号アルゴリズムを提案すること。

提案手法

• λ(n) = o(n) である右切断ポアソン分布を用いて、時間の経過に伴う相対的欠陥率の低下を捉える。
• 非適応的テストでは、i.i.d. ベルヌーイ(p) 要素をもつテスト行列を構築し、p = ⌈β(n)λ(n)⌉^{-(1+γ)}（γ > 0 が小さい）とする。
• 大偏差境界およびチェルノフ型不等式を適用して、欠陥品の特定における誤り確率の上界を求める。
• 最尤復号を用い、指数モーメントおよびエントロピーに基づく解析により誤り確率の境界を導出する。
• 準適応的テストでは、過去の結果に基づいて適応的にテストを選択する段階的再構成アルゴリズムを設計する。
• 期待されるテスト数の下界を導出し、提案されたアルゴリズムがこの下界を定数因子の範囲内で達成することを示す。

実験結果

リサーチクエスチョン

• RQ1 時間的に変化する欠陥率を有する確率的グループテストモデルは、右切断ポアソン分布を用いて効果的にモデル化可能か？
• RQ2 このポアソンモデル下で、非適応的欠陥品特定に必要なテスト数の情報理論的下限は何か？
• RQ3 誤り確率が消え去る近似的最適なテスト複雑度を達成するテスト行列の構築法はどのように設計できるか？
• RQ4 準適応的アルゴリズムに必要な期待テスト数は何か？ また、理論的下限にどの程度近づけるか？
• RQ5 個々の欠陥確率の推定値を必要とせず、平均欠陥品数のみに依存してよいのか？

主な発見

• 本稿では、任意の γ > 0 および τ > 0 に対して、m = 2(β(n)λ(n))^{1+γ}(log n + τβ²(n)log²(β(n)λ(n))) テストで誤り確率が消え去る非適応的テスト構築法を確立した。
• 必要なテスト数は情報理論的下限と定数因子の違いを除いて一致しており、n → ∞ のとき誤り確率がゼロに収束することが示された。
• 準適応的テストでは、提案された段階的アルゴリズムが理論的下限の定数因子の範囲内で期待されるテスト数を達成した。
• 多数の欠陥品が存在する場合の誤り確率 Pe2 は、ポアソン尾部におけるチェルノフ境界を用いて o(1) であることが示された。
• 分析により、少数の欠陥品に対する誤り確率 Pe1 は、m ≥ (2 + δ(n))h(n)^{1+γ} log n かつ δ(n) = ϵ(1+ϵ)^2(1+γ)^2β(n)log³λ(n)/log n を満たすように選ぶことで o(1) にできることが分かった。
• 本手法は個々の欠陥確率の推定値を必要とせず、平均欠陥品数の推定値のみでよいので、現実の応用においても頑健かつ実用的である。