Strong independence and the dimension of a Tverberg set (Q2035558)

A set \(S\) in \(\mathbb{R}^d\) is said to be: \begin{itemize} \item[(i)] in general position, if no \(q\) points of \(S\) lie in a \((q - 2)\)-dimensional flat, for \(q = 2, 3, \dots , d + 1\); \item[(ii)] strongly independent, if for each finite family \(\{S_1, \dots, S_r\}\) of pairwise disjoint subsets of \(S\), with \(\max (\operatorname{card} S_i) \leq d +1\), \(\dim \big( \bigcap_{i = 1}^r \operatorname{aff} S_i\big) = \max \big(-1, d - \sum_{i = 1}^r (d + 1 - \operatorname{card} S_i)\big)\); \item[(iii)] weakly independent provided \(S\) is in general position, and no subspaces of positive dimension spanned by vertex-disjoint subsets of \(S\) are parallel; \item[(iv)] algebraically independent if the set of all real coordinates of the points of \(S\) is algebraically independent over \(\mathbb{Q}\). \end{itemize} In this paper, the authors establish several relationships between the four concepts mentioned above.