Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of Graph Search.
We estimate the selection constant in the following geometric selection theorem by Pach: For every positive integer d, there is a constant such that whenever are n-element subsets of , we can find a point and subsets for every , each of size at least , such that belongs to all rainbow d-simplices determined by , i.e., simplices with one vertex in each . We show a super-exponentially decreasing upper bound . The ideas used in the proof of the upper bound also help us to prove Pach's theorem with , which is a lower bound doubly exponentially decreasing in d (up to some polynomial in the exponent). For comparison, Pach's original approach yields a triply exponentially decreasing lower bound. On the other hand, Fox, Pach, and Suk recently obtained a hypergraph density result implying a proof of Pach's theorem with . In our construction for the upper bound, we use the fact that the minimum solid angle of every d-simplex is super-exponentially small. This fact was previously unknown and might be of independent interest. For the lower bound, we improve the 'separation' part of the argument by showing that in one of the key steps only separations are necessary, compared to separations in the original proof. We also provide a measure version of Pach's theorem.
Maryna Viazovska, Nihar Prakash Gargava, Vlad Serban
Volkan Cevher, Kimon Antonakopoulos, Thomas Michaelsen Pethick, Wanyun Xie, Fabian Ricardo Latorre Gomez