English

On the Gap between Hereditary Discrepancy and the Determinant Lower Bound

Combinatorics 2024-01-18 v2 Discrete Mathematics

Abstract

The determinant lower bound of Lovasz, Spencer, and Vesztergombi [European Journal of Combinatorics, 1986] is a powerful general way to prove lower bounds on the hereditary discrepancy of a set system. In their paper, Lovasz, Spencer, and Vesztergombi asked if hereditary discrepancy can also be bounded from above by a function of the hereditary discrepancy. This was answered in the negative by Hoffman, and the largest known multiplicative gap between the two quantities for a set system of mm substes of a universe of size nn is on the order of max{logn,logm}\max\{\log n, \sqrt{\log m}\}. On the other hand, building on work of Matou\v{s}ek [Proceedings of the AMS, 2013], recently Jiang and Reis [SOSA, 2022] showed that this gap is always bounded up to constants by log(m)log(n)\sqrt{\log(m)\log(n)}. This is tight when mm is polynomial in nn, but leaves open what happens for large mm. We show that the bound of Jiang and Reis is tight for nearly the entire range of mm. Our proof relies on a technique of amplifying discrepancy via taking Kronecker products, and on discrepancy lower bounds for a set system derived from the discrete Haar basis.

Keywords

Cite

@article{arxiv.2303.08167,
  title  = {On the Gap between Hereditary Discrepancy and the Determinant Lower Bound},
  author = {Lily Li and Aleksandar Nikolov},
  journal= {arXiv preprint arXiv:2303.08167},
  year   = {2024}
}
R2 v1 2026-06-28T09:17:16.286Z