arXiv++ Combinatorics

The discrepancy of the $n \times n$ greater-than matrix is shown to be $\fracπ{2 \ln n}$ up to lower order terms.

The finite-degree Zariski (Z-) closure is a classical algebraic object, that has found a key place in several applications of the polynomial method in combinatorics. In this work, we characterize the finite-degree Z-closures of a subclass of symmetric sets (subsets that are invariant under permutations of coordinates) of the Boolean cube, in positive characteristic. Our results subsume multiple statements on finite-degree Z-closures that have found applications in extremal combinatorial problems, for instance, pertaining to set systems (Hegedűs, Stud. Sci. Math. Hung. 2010; Hegedűs, arXiv 2021), and Boolean circuits (Hrǔbes et al., ICALP 2019). Our characterization also establishes that for the subclasses of symmetric sets that we consider, the finite-degree Z-closures have low computational complexity. A key ingredient in our characterization is a new variant of finite-degree Z-closures, defined using vanishing conditions on only symmetric polynomials satisfying a degree bound.

In a recent paper, Kim and Kopparty (Theory of Computing, 2017) gave a deterministic algorithm for the unique decoding problem for polynomials of bounded total degree over a general grid. We show that their algorithm can be adapted to solve the unique decoding problem for the general family of Downset codes. Here, a downset code is specified by a family D of monomials closed under taking factors: the corresponding code is the space of evaluations of all polynomials that can be written as linear combinations of monomials from D.