[논문 리뷰] On the Optimality of the Kautz-Singleton Construction in Probabilistic Group Testing

Huseyin A. Inan, Peter Kairouz외 2명|arXiv (Cornell University)|2018. 08. 04.

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 구축 방식이 확률적 군집 테스팅 환경에서 순서 최적성을 달성함을 입증하기 위해.
• 확률적 군집 테스팅에서 $O(d\log N)$ 테스트를 갖는 강력한 명시적이고 효율적으로 복원 가능한 구성 방법을 개발하기 위해.
• 기존의 조합적 코드 논의를 회피하고 비결함 항목 커버리지의 직접적 확률 분석에 기반한 새로운 분석 프레임워크를 제공하기 위해.
• 테스트 복잡도와 효율적 복원을 유지하면서 노이즈가 있는 군집 테스팅 환경으로 프레임워크를 확장하기 위해.

제안 방법

• 기본 코드의 조합적 성질에 의존하지 않고, 무작위로 선택된 결함 항목 집합이 비결함 항목을 커버할 확률에 대한 새로운 직접 분석을 제안한다.
• 강력한 명시적 구축 방식이면서 $t^{\textnormal{KS}}(d,N,\epsilon) = O(d\log N/\epsilon)$ 테스트를 달성하는 Kautz-Singleton 구축 방식을 기반 군집 테스팅 행렬 $M^{\textnormal{KS}}$로 사용한다.
• 더 큰 행렬을 작은 $M^{\textnormal{KS}}$의 복수의 인스턴스로부터 구성하는 재귀적 구성 $M^{\textnormal{ED}}$를 설계하며, 빠른 복원을 위해 $M^{(F)}$와 $M^{(L)}$을 활용한다.
• 두 단계 복원 절차를 적용한다: 먼저 하위행렬에 대해 재귀적 복원을 통해 크기가 $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)$ 테스트를 달성하는 첫 번째 강력한 명시적 구성이다.