Strong Converses for Group Testing From Finite Blocklength Results

We prove new strong converse results in a variety of group testing settings, generalizing a result of Baldassini et al.. First, in the non-adaptive case, we mimic the hypothesis testing argument introduced in the finite blocklength channel coding regime by Polyanskiy et al., and using joint source–channel coding arguments of Kostina and Verdú. In the adaptive case, we combine this approach with a novel model formulation based on causal probability and directed information theory. In both cases, we prove results, which are valid for finite sized problems, and imply capacity results in the asymptotic regime. These results are illustrated graphically for a range of models.

[1]  Gerhard Kramer,et al.  Directed information for channels with feedback , 1998 .

[2]  Amin Karbasi,et al.  Graph-constrained group testing , 2010, ISIT.

[3]  Wenhao Huang,et al.  Group testing with prior statistics , 2014, 2014 IEEE International Symposium on Information Theory.

[4]  N. Shental,et al.  Identification of rare alleles and their carriers using compressed se(que)nsing , 2010, Nucleic acids research.

[5]  Matthew Aldridge,et al.  The capacity of adaptive group testing , 2013, 2013 IEEE International Symposium on Information Theory.

[6]  Mikhail Malyutov Recovery of sparse active inputs in general systems: A review , 2010, 2010 IEEE Region 8 International Conference on Computational Technologies in Electrical and Electronics Engineering (SIBIRCON).

[7]  Matthew Aldridge Interference Mitigation in Large Random Wireless Networks , 2011, ArXiv.

[8]  D. Du,et al.  Combinatorial Group Testing and Its Applications , 1993 .

[9]  George Atia,et al.  Boolean Compressed Sensing and Noisy Group Testing , 2009, IEEE Transactions on Information Theory.

[10]  J. Massey CAUSALITY, FEEDBACK AND DIRECTED INFORMATION , 1990 .

[11]  Jacob Wolfowitz,et al.  Notes on a General Strong Converse , 1968, Inf. Control..

[12]  V. V. Rykov,et al.  Superimposed distance codes , 1989 .

[13]  Harry Kesten,et al.  Some Remarks on the Capacity of Compound Channels in the Semicontinuous Case , 1961, Inf. Control..

[14]  Sergio Verdú,et al.  Variable-length compression allowing errors (extended) , 2014, ArXiv.

[15]  Matthew Aldridge Adaptive group testing as channel coding with feedback , 2012, 2012 IEEE International Symposium on Information Theory Proceedings.

[16]  Thomas M. Cover,et al.  Elements of Information Theory , 2005 .

[17]  Matthew Aldridge,et al.  Almost separable matrices , 2017, J. Comb. Optim..

[18]  Volkan Cevher,et al.  Limits on Support Recovery With Probabilistic Models: An Information-Theoretic Framework , 2015, IEEE Transactions on Information Theory.

[19]  Sergio Verdú,et al.  Variable-Length Compression Allowing Errors , 2014, IEEE Transactions on Information Theory.

[20]  Masahito Hayashi Error exponent in asymmetric quantum hypothesis testing and its application to classical-quantum channel coding , 2006, quant-ph/0611013.

[21]  H. Vincent Poor,et al.  Feedback in the Non-Asymptotic Regime , 2011, IEEE Transactions on Information Theory.

[22]  R. Gallager Information Theory and Reliable Communication , 1968 .

[23]  R. Dorfman The Detection of Defective Members of Large Populations , 1943 .

[24]  V. V. Petrov Limit Theorems of Probability Theory: Sequences of Independent Random Variables , 1995 .

[25]  Robert J. Piechocki,et al.  The capacity of non-identical adaptive group testing , 2014, 2014 52nd Annual Allerton Conference on Communication, Control, and Computing (Allerton).

[26]  Gou Hosoya,et al.  国際会議参加報告:2014 IEEE International Symposium on Information Theory , 2014 .

[27]  George Atia,et al.  Strong Impossibility Results for Sparse Signal Processing , 2014, IEEE Signal Processing Letters.

[28]  Masahito Hayashi,et al.  General formulas for capacity of classical-quantum channels , 2003, IEEE Transactions on Information Theory.

[29]  Tadashi Wadayama,et al.  Bitwise MAP Algorithm for Group Testing based on Holographic Transformation , 2014, ArXiv.

[30]  Venkatesh Saligrama,et al.  Non-adaptive probabilistic group testing with noisy measurements: Near-optimal bounds with efficient algorithms , 2011, 2011 49th Annual Allerton Conference on Communication, Control, and Computing (Allerton).

[31]  J. Wolfowitz Coding Theorems of Information Theory , 1962, Ergebnisse der Mathematik und Ihrer Grenzgebiete.

[32]  Imre Csiszár,et al.  Information Theory - Coding Theorems for Discrete Memoryless Systems, Second Edition , 2011 .

[33]  Schreiber,et al.  Measuring information transfer , 2000, Physical review letters.

[34]  F. Hwang A Method for Detecting all Defective Members in a Population by Group Testing , 1972 .

[35]  Tadashi Wadayama,et al.  Bitwise MAP estimation for group testing based on holographic transformation , 2015, 2015 IEEE International Symposium on Information Theory (ISIT).

[36]  Tadashi Wadayama,et al.  An analysis on non-adaptive group testing based on sparse pooling graphs , 2013, 2013 IEEE International Symposium on Information Theory.

[37]  Sergio Verdú,et al.  A general formula for channel capacity , 1994, IEEE Trans. Inf. Theory.

[38]  Matthew Aldridge,et al.  Group Testing Algorithms: Bounds and Simulations , 2013, IEEE Transactions on Information Theory.

[39]  H. Vincent Poor,et al.  Channel Coding Rate in the Finite Blocklength Regime , 2010, IEEE Transactions on Information Theory.

[40]  Michael Brand,et al.  Compressed Genotyping , 2009, IEEE Transactions on Information Theory.

[41]  Igal Sason,et al.  Concentration of Measure Inequalities in Information Theory, Communications, and Coding , 2012, Found. Trends Commun. Inf. Theory.

[42]  A. Sterrett On the Detection of Defective Members of Large Populations , 1957 .

[43]  Mikhail B. Malyutov,et al.  Search for Sparse Active Inputs: A Review , 2013, Information Theory, Combinatorics, and Search Theory.

[44]  Sergio Verdú,et al.  Lossy Joint Source-Channel Coding in the Finite Blocklength Regime , 2012, IEEE Transactions on Information Theory.

[45]  Emanuel Knill,et al.  A Comparative Survey of Non-Adaptive Pooling Designs , 1996 .

[46]  H. Marko,et al.  The Bidirectional Communication Theory - A Generalization of Information Theory , 1973, IEEE Transactions on Communications.

[47]  Olivier J. J. Michel,et al.  The relation between Granger causality and directed information theory: a review , 2012, Entropy.

[48]  V. Saligrama,et al.  On Throughput Maximization and Interference Avoidance in Cognitive Radios , 2008, 2008 5th IEEE Consumer Communications and Networking Conference.

[49]  H. Nagaoka,et al.  Strong converse theorems in the quantum information theory , 1999, 1999 Information Theory and Networking Workshop (Cat. No.99EX371).