[論文レビュー] Sublinear-Time Non-Adaptive Group Testing with $O(k \\log n)$ Tests via Bit-Mixing Coding

Bondorf, Steffen, Chen, Binbin+3 more|arXiv (Cornell University)|Apr 22, 2019

SARS-CoV-2 detection and testing被引用数 6

ひとこと要約

この論文は、$k$ 個の欠陥アイテムを $n$ 個のアイテムの中で正確に回復できる、非適応的でサブ線形時間のグループテストアルゴリズムであるビットミキシングコーディング（BMC）を提案する。この手法は $O(k\log n)$ テストと $O(k^2 \log k \log n)$ の復号時間で動作し、$k$ に関する仮定なしに、最適なテスト複雑度とサブ線形時間の復号を両立する。インデックス符号化とエラー訂正コードを組み合わせることで、漸近的にゼロに近づく誤り確率を保証し、$k$ に関する仮定なしに、最適なテスト複雑度とサブ線形時間の復号を同時に達成するという、未解決の問題を解決する。

ABSTRACT

The group testing problem consists of determining a small set of defective items from a larger set of items based on tests on groups of items, and is relevant in applications such as medical testing, communication protocols, pattern matching, and many more. While rigorous group testing algorithms have long been known with runtime at least linear in the number of items, a recent line of works has sought to reduce the runtime to ${\ m poly}(k \\log n)$, where $n$ is the number of items and $k$ is the number of defectives. In this paper, we present such an algorithm for non-adaptive probabilistic group testing termed {\\em bit mixing coding} (BMC), which builds on techniques that encode item indices in the test matrix, while incorporating novel ideas based on erasure-correction coding. We show that BMC achieves asymptotically vanishing error probability with $O(k \\log n)$ tests and $O(k^2 \\cdot \\log k \\cdot \\log n)$ runtime, in the limit as $n \ o \\infty$ (with $k$ having an arbitrary dependence on $n$). This closes a recently-proposed open problem of simultaneously achieving ${\ m poly}(k \\log n)$ decoding time using $O(k \\log n)$ tests without any assumptions on $k$. In addition, we show that the same scaling laws can be attained in a commonly-considered noisy setting, in which each test outcome is flipped with constant probability.

研究の動機と目的

• サブ線形時間の復号を達成しつつ、最適なテスト複雑度を維持する非適応的グループテストの課題に対処すること。
• グループテストにおける未解決問題を解決すること：$k$ に関する仮定なしに、$O(k\log n)$ テストと $O(\text{poly}(k\log n))$ 復号時間の両方を同時に達成すること。
• 一般の $k$ の条件下で、漸近的にゼロに近づく誤り確率を保証する確率的非適応的グループテスト方式を設計すること。
• 各テスト結果が定数確率で反転するノイズのある状況においても、同じスケーリング則を維持できるように、提案手法を拡張すること。
• ビットミキシングとエラー訂正に基づく新しい符号化フレームワークを構築し、欠陥アイテムの効率的かつ信頼性の高い回復を可能にすること。

提案手法

• アイテムのインデックスを、衝突を最小限に抑えるように、アイテム間のテスト参加を分散させるビットミキシング戦略を用いてテスト行列に符号化する。
• 長さ $w = \log n$ のランダムなマスキング文字列のマルチセットを用い、各セグメントに重み1を割り当てて、アイテムにテストパターンを割り当てる。
• サイズ $\log n$ の集合 $\mathcal{S}$ から、各アイテムにランダムなマスキング文字列を割り当てることで、テスト行列の確率的構築を行い、異なるアイテム間の衝突確率を低く保つ。
• エラー訂正コードの原理を活用し、部分的なテスト結果であっても、欠陥アイテムの集合を一意に特定できることを保証する。
• チェルノフとベルンシュタインの不等式を用いて、マスキング文字列と欠陥アイテムとの過剰な衝突の確率を抑え、高確率での回復を保証する。
• 2段階の復号手順を設計する：まず、テスト結果の集約により候補となる欠陥アイテムを特定し、次に、衝突解析と符号構造を用いて曖昧さを解消・検証する。

実験結果

リサーチクエスチョン

• RQ1 非適応的グループテスト方式は、$k$ に関する仮定なしに、$O(k\log n)$ テストと $O(\text{poly}(k\log n))$ 復号時間の両方を同時に達成できるか？
• RQ2 エラー訂正コードの原理をグループテストに統合することで、復号複雑度を低減できるか？
• RQ3 サブ線形時間非適応的グループテストにおいて、漸近的にゼロに近づく誤り確率を達成するために必要な最小テスト数は何か？
• RQ4 各テスト結果が定数確率で反転するノイズのある状況でも、提案手法はロバスト性を保つことができるか？
• RQ5 テスト行列のどのような構造的性質が、テストパターンの衝突があっても、欠陥アイテムを一意に特定できることを保証するか？

主な発見

• 提案されたビットミキシングコーディング（BMC）アルゴリズムは、$O(k\log n)$ テストと $O(k^2 \log k \log n)$ 復号時間で動作し、テスト複雑度の理論的下界と一致する。
• $n \to \infty$ のとき、$k$ が $n$ に対して任意の依存関係を持っていても、漸近的にゼロに近づく誤り確率を保証する。
• 各テスト結果が定数確率で反転するノイズのある状況でも、同じスケーリング則—$O(k\log n)$ テストとサブ線形時間の復号—が維持される。
• 異なるアイテム間の衝突確率を低く保つために、長さ $4k\log n$ の $\log n$ 個のマスキング文字列を用いたテスト行列の確率的構築に依存する。
• 高確率で、2つの異なるアイテムがそのテストパターンにおいて $\frac{1}{2}\log n$ 個を超える重複する 1 を共有することはなく、欠陥アイテムの信頼性の高い特定が可能になる。
• 復号時間は、最初の段階で $O((\log n)^2)$ の演算が支配的であり、これは $n$ に対してサブ線形的で、$k$ と $-\log n$ に対して多項式的である。