Discrepancy in random hypergraph models

We study hypergraph discrepancy in two closely related random models of hypergraphs on $n$ vertices and $m$ hyperedges. The first model, $\mathcal{H}_1$, is when every vertex is present in exactly $t$ randomly chosen hyperedges. The premise of this is closely tied to, and motivated by the Beck-Fiala conjecture. The second, perhaps more natural model, $\mathcal{H}_2$, is when the entries of the $m \times n$ incidence matrix is sampled in an i.i.d. fashion, each with probability $p$. We prove the following: 1. In $\mathcal{H}_1$, when $\log^{10}n \ll t \ll \sqrt{n}$, and $m = n$, we show that the discrepancy of the hypergraph is almost surely at most $O(\sqrt{t})$. This improves upon a result of Ezra and Lovett for this range of parameters. 2. In $\mathcal{H}_2$, when $p= \frac{1}{2}$, and $n = \Omega(m \log m)$, we show that the discrepancy is almost surely at most $1$. This answers an open problem of Hoberg and Rothvoss.

[1]  M. Mitzenmacher,et al.  Probability and Computing: Events and Probability , 2005 .

[2]  Fan Chung Graham,et al.  Concentration Inequalities and Martingale Inequalities: A Survey , 2006, Internet Math..

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

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

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

[6]  Alan M. Frieze,et al.  Optimal construction of edge-disjoint paths in random graphs , 1994, SODA '94.

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

[8]  Noga Alon,et al.  The Probabilistic Method , 2015, Fundamentals of Ramsey Theory.

[9]  Shachar Lovett,et al.  Probabilistic existence of rigid combinatorial structures , 2012, STOC '12.

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

[11]  Takuya Kon-no,et al.  Transactions of the American Mathematical Society , 1996 .

[12]  Joel H. Spencer Coloring the projective plane , 1989, Discret. Math..

[13]  G. Winskel What Is Discrete Mathematics , 2007 .

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

[15]  Jirí Matousek,et al.  Tight upper bounds for the discrepancy of half-spaces , 1995, Discret. Comput. Geom..

[16]  József Beck,et al.  Roth’s estimate of the discrepancy of integer sequences is nearly sharp , 1981, Comb..

[17]  Endre Szemerédi,et al.  On the second eigenvalue of random regular graphs , 1989, STOC '89.

[18]  Thomas Rothvoß,et al.  Constructive Discrepancy Minimization for Convex Sets , 2014, 2014 IEEE 55th Annual Symposium on Foundations of Computer Science.

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