Sparse Geometric Set Systems and the Beck-Fiala Conjecture
share
We investigate the combinatorial discrepancy of geometric set systems having bounded shallow cell complexity in the Beck-Fiala setting, where each point belongs to at most t ranges. For set systems with shallow cell complexity ψ(m,k)=g(m)k^c, where (i) g(m) = o(m^ε) for any ε∈ (0,1], (ii) ψ is non-decreasing in m, and (iii) c>0 is independent of m and k, we get a discrepancy bound of O(√((log n+(t^cg(n))^1/1+c)log n)). For t=ω(log^2 n), in several cases, such as for set systems of points and half-planes / disks / pseudo-disks in ℝ^2, points and orthants in ℝ^3 etc., these bounds are o(√(t)), which verifies (and improves upon) the conjectured bound of Beck and Fiala (Disc. Appl. Math., 1981). Our bounds are obtained by showing the existence of matchings with low crossing number, using the multiplicative weights update method of Welzl (SoCG, 1988), together with the recent bound of Mustafa (Disc. Comp. Geom., 2015) on shallow packings of set systems in terms of their shallow cell complexity. For set systems of shallow cell complexity ψ(m,k)=m^c_1g(m)k^c, we obtain matchings with crossing number at most O((n^c_1g(n)t^c)^1/1+c_1+c). These are of independent interest.
READ FULL TEXT