On the discrepancy of random low degree set systems

Motivated by the celebrated Beck-Fiala conjecture, we consider the random setting where there are n elements and m sets and each element lies in t randomly chosen sets. In this setting, Ezra and Lovett showed an O((t log t)1/2) discrepancy bound in the regime when n ≤ m and an O(1) bound when n ≫ mt. In this paper, we give a tight bound for the entire range of n and m, under a mild assumption that t = Ω(log log m)2. The result is based on two steps. First, applying the partial coloring method to the case when n = m logO(1) m and using the properties of the random set system we show that the overall discrepancy incurred is at most . Second, we reduce the general case to that of n ≤ m logO(1) m using LP duality and a careful counting argument.

[1]  Nikhil Bansal,et al.  Constructive Algorithms for Discrepancy Minimization , 2010, 2010 IEEE 51st Annual Symposium on Foundations of Computer Science.

[2]  A. Frieze,et al.  Introduction to Random Graphs , 2016 .

[3]  J. Matousek,et al.  Geometric Discrepancy: An Illustrated Guide , 2009 .

[4]  Anand Srivastav,et al.  A Panorama of Discrepancy Theory , 2014 .

[5]  Boris Bukh.  An Improvement of the Beck-Fiala Theorem , 2016, Comb. Probab. Comput..

[6]  Shachar Lovett,et al.  Constructive Discrepancy Minimization by Walking on the Edges , 2012, FOCS.

[7]  Nikhil Bansal,et al.  An Algorithm for Komlós Conjecture Matching Banaszczyk's Bound , 2019, SIAM J. Comput..

[8]  Shachar Lovett,et al.  On the Beck-Fiala Conjecture for Random Set Systems , 2015, Electron. Colloquium Comput. Complex..

[9]  László Lovász,et al.  Discrepancy of Set-systems and Matrices , 1986, Eur. J. Comb..

[10]  József Beck,et al.  "Integer-making" theorems , 1981, Discret. Appl. Math..

[11]  J. Spencer.  Six standard deviations suffice , 1985 .

[12]  Rebecca Hoberg,et al.  A Fourier-Analytic Approach for the Discrepancy of Random Set Systems , 2018, SODA.

[13]  Wojciech Banaszczyk,et al.  Balancing vectors and Gaussian measures of n-dimensional convex bodies , 1998, Random Struct. Algorithms.

[14]  Bernard Chazelle,et al.  The discrepancy method - randomness and complexity , 2000 .

[15]  Avi Levy,et al.  Deterministic Discrepancy Minimization via the Multiplicative Weight Update Method , 2016, IPCO.