Abstract:SIAM Journal on Discrete Mathematics, Volume 38, Issue 2, Page 1222-1238, June 2024. The determinant lower bound of Lovász, Spencer, and Vesztergombi [European J. Combin., 7 (1986), pp. 151–160] is a general way to prove lower bounds on the hereditary discrepancy of a set system. In their paper, Lovász, Spencer, and Vesztergombi asked if hereditary discrepancy can also be bounded from above by a function of the determinant lower bound. This was answered in the negative by Hoffman, and the largest known multiplicative gap between the two quantities for a set system of [math] subsets of a universe of size [math] is on the order of [math]. On the other hand, building upon work of Matoušek [Proc. Amer. Math. Soc., 141 (2013), pp. 451–460], Jiang and Reis [in Proceedings of the Symposium on Simplicity in Algorithms (SOSA), SIAM, Philadelphia, 2022, pp. 308–313] showed that this gap is always bounded up to constants by [math]. This is tight when [math] is polynomial in [math] but leaves open the case of large [math]. We show that the bound of Jiang and Reis is tight for nearly the entire range of [math]. Our proof amplifies the discrepancy lower bounds of a set system derived from the discrete Haar basis via Kronecker products.

On a discrete approach to lower bounds in discrepancy theory

Discrepancy and approximation of absolutely continuous measures with atomic measures

Discrepancies and their means

Central limit theorems for lattice point counting on tessellated domains

A lower bound for the discrepancy in a Sato–Tate type measure

On the Gap Between Hereditary Discrepancy and the Determinant Lower Bound

Triple sums of Kloosterman sums and the discrepancy of modular inverses

On the theorem of Davenport and generalized Dedekind sums

New bounds in the discrete analogue of Minkowski's second theorem

Single radius spherical cap discrepancy on compact two-point homogeneous spaces

A tight lower bound on the minimal dispersion

Discrete Ricci curvature bounds for Bernoulli-Laplace and random transposition models

On distance sets, box-counting and Ahlfors-regular sets

Discrepancy of rational points in simple algebraic groups

Minimal dispersion on the cube and the torus

Smooth discrepancy and Littlewood's conjecture

On the distribution of the error terms in the divisor and circle problems

Sharp density discrepancy for cut and project sets: An approach via lattice point counting

On the Beck-Fiala Conjecture for Random Set Systems