Stabbing simplices by points and flats (Q848667): Difference between revisions

The following result was proved by \textit{I. Bárány} [Discrete Math. 40, 141--152 (1982; Zbl 0492.52005)]: For every \(d \geq 1\) there exists \(c_d > 0\) such that for every \(n\)-point set~\(S\) in~\({\mathbb R}^d\) there is a~point \(p \in {\mathbb R}^d\) contained in at least \(c_dn^{d+1} -O(n^d)\) of the \(d\)-dimensional simplices spanned by~\(S\). The authors of the present paper examine the largest possible value of~\(c_d\), construct sets showing that \(c_d \leq (d + 1)^{-(d+1)}\), and conjecture that this estimate is tight; in this method \(p\) is~chosen as any centerpoint of~\(S\). It is also proved that, for every \(n\)-point set \(S\subset {\mathbb R}^d\), there exists a~\((d-2)\)-flat that stabs at least \(c_{d,d-2} n ^3-O(n^2)\) of the triangles spanned by~\(S\), with \(c_{d,d-2}\geq \frac 1{24} (1-1/ (2d-1)^2)\). This is established with the help of an~equipartition result of independent interest (generalizing planar results of \textit{R.~C.~Buck} and \textit{E.~F.~Buck} [Math. Mag. 22, 195--198 (1948/49)] and and of \textit{J.~Ceder} [Bol. Soc. Mat. Mexicana (2) 9, 28--32 (1964; Zbl 0158.19802)]: Every mass distribution in~\({\mathbb R}^d\) can be divided into \(4d - 2\) equal parts by \(2d - 1\) hyperplanes intersecting in a~common \((d - 2)\)-flat.