On the Gap between Hereditary Discrepancy and the Determinant Lower Bound
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 substes of a universe of size is on the order of . 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 . This is tight when is polynomial in , but leaves open what happens for large . We show that the bound of Jiang and Reis is tight for nearly the entire range of . 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}
}