New Bounds on the Number of Tests for Disjunct Matrices

Given n items with at most d of which being positive, instead of testing these items individually, the theory of combinatorial group testing aims to identify all positive items using as few tests as possible. This paper is devoted to a fundamental and thirty-year-old problem in the nonadaptive group testing theory. A binary matrix is called d-disjunct if the Boolean sum of arbitrary d columns does not contain another column not in this collection. Let T(d) denote the minimal t, such that there exists a t × n d-disjunct matrix with n > t. T(d) can also be viewed as the minimal t such that there exists a nonadaptive group testing scheme, which is better than the trivial one that tests each item individually. It was known that T(d) ≥ (2d+2) and was conjectured that T(d) ≥ (d + 1)2. In this paper, we narrow the gap by proving T(d)/d2 ≥ (15 + √33)/24, a quantity in [6/7,7/8].

[1]  Anthony J. Macula,et al.  A group testing method for finding patterns in data , 2004, Discret. Appl. Math..

[2]  Peter Frankl,et al.  Improved bounds for Erd ˝ os' Matching Conjecture , 2013 .

[3]  P. Erdös,et al.  Families of finite sets in which no set is covered by the union ofr others , 1985 .

[4]  Donald F. Towsley,et al.  Random Multiple-Access Communication and Group Testing , 1984, IEEE Trans. Commun..

[5]  Miklós Ruszinkó,et al.  On the Upper Bound of the Size of the R-Cover-Free Families , 1993, Proceedings. IEEE International Symposium on Information Theory.

[6]  Jack K. Wolf,et al.  Born again group testing: Multiaccess communications , 1985, IEEE Trans. Inf. Theory.

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

[8]  Frank Kwang-ming Hwang,et al.  Detecting and locating electrical shorts using group testing , 1989 .

[9]  Arkadii G. D'yachkov,et al.  A survey of superimposed code theory , 1983 .

[10]  Ding-Zhu Du,et al.  New Constructions of One- and Two-Stage Pooling Designs , 2008, J. Comput. Biol..

[11]  Francis Buekenhout Handbook of incidence geometry : buildings and foundations , 1995 .

[12]  Taieb Znati,et al.  Detecting Application Denial-of-Service Attacks: A Group-Testing-Based Approach , 2010, IEEE Transactions on Parallel and Distributed Systems.

[13]  Frank K. Hwang,et al.  When is Individual Testing Optimal for Nonadaptive Group Testing? , 2001, SIAM J. Discret. Math..

[14]  Zoltán Füredi On r-Cover-free Families , 1996, J. Comb. Theory, Ser. A.

[15]  P. Erdgs,et al.  ON MAXIMAL PATHS AND CIRCUITS OF GRAPHS , 2002 .

[16]  D. Du,et al.  Pooling Designs And Nonadaptive Group Testing: Important Tools For Dna Sequencing , 2006 .

[17]  B. M. Fulk MATH , 1992 .

[18]  M. Sobel,et al.  Group testing to eliminate efficiently all defectives in a binomial sample , 1959 .

[19]  Charles J. Colbourn,et al.  Turan-type problems in group testing, coding theory and cryptography , 1996 .

[20]  Richard C. Singleton,et al.  Nonrandom binary superimposed codes , 1964, IEEE Trans. Inf. Theory.

[21]  Frank K. Hwang,et al.  Exploring the missing link among d-separable, d_-separable and d-disjunct matrices , 2007, Discret. Appl. Math..

[22]  Peter Frankl,et al.  Improved bounds for Erdős' Matching Conjecture , 2013, J. Comb. Theory, Ser. A.

[23]  Arkadii G. D'yachkov,et al.  Bounds on the rate of disjunctive codes , 2013, 2014 IEEE International Symposium on Information Theory.

[24]  P. Erdos,et al.  On maximal paths and circuits of graphs , 1959 .

[25]  Arkadii G. D'yachkov,et al.  Bounds on the rate of superimposed codes , 2014, 2014 IEEE International Symposium on Information Theory.

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