1: \begin{abstract}
2: We estimate the selection constant in the following geometric
3: selection theorem by Pach: For every positive integer $d$ there is a constant
4: $c_d > 0$ such that whenever $X_1, \dots, X_{d+1}$ are $n$-element subsets of
5: $\R^d$, then we can find a point $\pp \in \R^d$ and subsets $Y_i \subseteq X_i$
6: for every $i \in [d+1]$, each of size at least $c_d n$, such that $\pp$ belongs
7: to all {\em rainbow\/} $d$-simplices determined by $Y_1, \dots, Y_{d+1}$, that
8: is, simplices with one vertex in each $Y_i$.
9:
10: We show a super-exponentially decreasing upper bound
11: $c_d\leq e^{-(1/2-o(1))(d \ln d)}$.
12: The ideas used in the proof of the upper bound also help us prove
13: Pach's theorem with $c_d \geq 2^{-2^{d^2 + O(d)}}$, which is a lower bound doubly
14: exponentially decreasing in $d$ (up to some polynomial in
15: the exponent). For comparison, Pach's original approach yields a triply
16: exponentially decreasing lower bound. On the other hand, Fox, Pach, and Suk recently
17: obtained a hypergraph density result implying a proof of Pach's theorem with
18: $c_d \geq2^{-O(d^2\log d)}$.
19:
20: In our construction for
21: the upper bound, we use the fact that the minimum solid angle of every
22: $d$-simplex is super-exponentially small. This fact was previously unknown and might
23: be of independent interest.
24: For the lower bound, we improve the `separation' part of the argument by
25: showing that in one of the key steps only $d+1$ separations are necessary,
26: compared to $2^d$ separations in the original proof.
27:
28: We also provide a measure version of Pach's theorem.
29: %\keywords{Pach's selection theorem \and $d$-dimensional simplex \and Solid angle \and Borel probability measure \and Weak convergence of measures}
30: %\subclass{52C35 \and 52C10 \and 28A75 \and 28A33}
31: \end{abstract}