A spectral bound on hypergraph discrepancy

Let $\mathcal{H}$ be a $t$-regular hypergraph on $n$ vertices and $m$ edges. Let $M$ be the $m \times n$ incidence matrix of $\mathcal{H}$ and let us denote $\lambda =\max_{v \perp \overline{1},\|v\| = 1}\|Mv\|$. We show that the discrepancy of $\mathcal{H}$ is $O(\sqrt{t} + \lambda)$. As a corollary, this gives us that for every $t$, the discrepancy of a random $t$-regular hypergraph with $n$ vertices and $m \geq n$ edges is almost surely $O(\sqrt{t})$ as $n$ grows. The proof also gives a polynomial time algorithm that takes a hypergraph as input and outputs a coloring with the above guarantee.

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

[2]  Martin Helm,et al.  A note on the Beck-Fiala Theorem , 1997, Comb..

[3]  Michael Mitzenmacher,et al.  Probability And Computing , 2005 .

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

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

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

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

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

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

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

[11]  Shachar Lovett,et al.  Constructive Discrepancy Minimization by Walking on the Edges , 2012, 2012 IEEE 53rd Annual Symposium on Foundations of Computer Science.

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

[13]  Aravind Srinivasan,et al.  Probability and Computing , 2018, SIGA.

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

[15]  Aditya Potukuchi,et al.  Discrepancy in random hypergraph models , 2018, ArXiv.

[16]  Nikhil Bansal,et al.  On the discrepancy of random low degree set systems , 2018, SODA.

[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.

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

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

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

[23]  Cole Franks,et al.  On the discrepancy of random matrices with many columns , 2020, Random Struct. Algorithms.

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

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

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

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