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 $m$ substes of a universe of size $n$ is on the order of $\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 $\sqrt{\log(m)\log(n)}$. This is tight when $m$ is polynomial in $n$, but leaves open what happens for large $m$. We show that the bound of Jiang and Reis is tight for nearly the entire range of $m$. 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.
翻译:Lovasz、Spencer和Vesztergombi的决定因素下限(Lovasz、Spencer和Vesztergombi,1986年《欧洲组合体杂志》)是证明一个固定系统的遗传差异下限的有力通用途径。在他们的文章Lovasz、Spencer和Vesztergombi中,Lovas、Spencer和Vesztergombi询问遗传差异是否也可以与遗传差异的上限相联。Hoffman的回答是否定的,而对于一个规模为1美元(美元)的宇宙的一套系统,其最大数量之间已知的多倍增值差距是按美元(美元)和美元(美元)的离差值排列的顺序来计算的。另一方面,在他们的文章中,在Matou\v{v{sr@sek的作品上,最近江和Reis[SOS,2022]显示,这一差距总是由美元(m)=log(n)美元(美元)美元)美元(美元)美元(美元)的固定。当美元(美元)美元是混合美元(美元)美元)的混合美元(美元)的混合美元(sqrrrupl)的基(美元)值基础上)值的硬基(美元)值(美元)值的基)值的基的基将多少开始。</s>