We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Combinatorics

Title: A simplified disproof of Beck's three permutations conjecture and an application to root-mean-squared discrepancy

Authors: Cole Franks
Abstract: A $k$-permutation family on $n$ vertices is a set system consisting of the intervals of $k$ permutations of the integers $1$ through $n$. The discrepancy of a set system is the minimum over all red-blue vertex colorings of the maximum difference between the number of red and blue vertices in any set in the system. In 2011, Newman and Nikolov disproved a conjecture of Beck that the discrepancy of any $3$-permutation family is at most a constant independent of $n$. Here we give a simpler proof that Newman and Nikolov's sequence of $3$-permutation families has discrepancy $\Omega(\log n)$. We also exhibit a sequence of $6$-permutation families with root-mean-squared discrepancy $\Omega(\sqrt{\log n})$; that is, in any red-blue vertex coloring, the square root of the expected difference between the number of red and blue vertices in an interval of the system is $\Omega(\sqrt{\log n})$.
Comments: Added a comparison of the root-mean-squared discrepancy result to the lower bounds in (Constructive Discrepancy Minimization with Hereditary L2 Guarantees, Kasper Green Larsen, 2017), and (The determinant bound for discrepancy is almost tight, Jiri Matousek, Proceedings of the American Mathematical Society, 2013)
Subjects: Combinatorics (math.CO); Discrete Mathematics (cs.DM)
Cite as: arXiv:1811.01102 [math.CO]
  (or arXiv:1811.01102v3 [math.CO] for this version)

Submission history

From: Cole Franks [view email]
[v1] Fri, 2 Nov 2018 21:42:55 GMT (11kb)
[v2] Thu, 8 Nov 2018 20:03:54 GMT (12kb)
[v3] Tue, 27 Nov 2018 19:22:05 GMT (13kb)

Link back to: arXiv, form interface, contact.