Sparse Graph Codes for Non-adaptive Quantitative Group Testing

This paper considers the problem of Quantitative Group Testing (QGT). Consider a set of N items among which K items are defective. The QGT problem is to identify (all or a sufficiently large fraction of) the defective items, where the result of a test reveals the number of defective items in the tested group. In this work, we propose a non-adaptive QGT scheme using sparse graph codes over bi-regular bipartite graphs and binary t-error-correcting BCH codes. The proposed scheme provides exact recovery with probabilistic guarantee, i.e. recovers all the defective items with high probability. In particular, we show that for the sub-linear regime where $\frac{K}{N}$ vanishes as K, $N\rightarrow\infty$, the proposed scheme requires at most $m\approx 1.19K\log_{2}\left(4.74\frac{N}{K}\right)$ tests to recover all the defective items with probability approaching one as K, $N\rightarrow\infty$. This bound can be achieved by $t=2$. The testing and recovery algorithms of the proposed scheme for any $t\leq 4$ have the computational complexity of $O\left(K\log^{2}\frac{N}{K}\right)$ and $O\left(K\log\frac{N}{K}\right)$, respectively. Our simulation results also show that the proposed scheme significantly outperforms a non-adaptive semi-quantitative group testing scheme recently proposed by Abdalla et at. in terms of the required number of tests for identifying all the defective items with high probability.

[1]  Ramtin Pedarsani,et al.  Multilevel group testing via sparse-graph codes , 2017, 2017 51st Asilomar Conference on Signals, Systems, and Computers.

[2]  M. Aigner,et al.  Determining defectives in a linear order , 1985 .

[3]  Krishna R. Narayanan,et al.  Group Testing using left-and-right-regular sparse-graph codes , 2017, ArXiv.

[4]  Chao Wang,et al.  Optimal Nested Test Plan for Combinatorial Quantitative Group Testing , 2014, IEEE Transactions on Signal Processing.

[5]  Chin-Long Chen,et al.  Formulas for the solutions of quadratic equations over GF(2m) , 1982, IEEE Trans. Inf. Theory.

[6]  Volkan Cevher,et al.  Limits on Sparse Support Recovery via Linear Sketching with Random Expander Matrices , 2016, AISTATS.

[7]  Martin Aigner Search problems on graphs , 1986, Discret. Appl. Math..

[8]  L. Litwin,et al.  Error control coding , 2001 .

[9]  M. A. Iwen,et al.  Compressed sensing with sparse binary matrices: Instance optimal error guarantees in near-optimal time , 2013, J. Complex..

[10]  Milton Sobel,et al.  Binomial Group-Testing With an Unknown Proportion of Defectives* , 1966 .

[11]  Kannan Ramchandran,et al.  Sub-Linear Time Support Recovery for Compressed Sensing Using Sparse-Graph Codes , 2014, IEEE Transactions on Information Theory.

[12]  B. Lindström On B2-sequences of vectors , 1972 .

[13]  Mathukumalli Vidyasagar,et al.  A Fast Noniterative Algorithm for Compressive Sensing Using Binary Measurement Matrices , 2017, IEEE Transactions on Signal Processing.

[14]  Richard G. Baraniuk,et al.  Robust support recovery using sparse compressive sensing matrices , 2011, 2011 45th Annual Conference on Information Sciences and Systems.

[15]  Kannan Ramchandran,et al.  SAFFRON: A fast, efficient, and robust framework for group testing based on sparse-graph codes , 2016, 2016 IEEE International Symposium on Information Theory (ISIT).

[16]  Fatemeh Kazemi,et al.  A Simple and Efficient Strategy for the Coin Weighing Problem with a Spring Scale , 2018, 2018 IEEE International Symposium on Information Theory (ISIT).

[17]  Vladimir Grebinski,et al.  Optimal Reconstruction of Graphs under the Additive Model , 1997, Algorithmica.

[18]  Volkan Cevher,et al.  How little does non-exact recovery help in group testing? , 2017, 2017 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP).

[19]  Nader H. Bshouty,et al.  Optimal Algorithms for the Coin Weighing Problem with a Spring Scale , 2009, COLT.