s-convex Tverberg partition number

Problem 1.4 · arXiv:2506.17777

arXiv Problem high confidence— first stated 2026-02-27

Authors: Noga Alon, Shakhar Smorodinsky

Status partial high confidence

Problem 1.4 asks to determine or estimate f_r(d,s_1,...,s_r), the minimum number of points guaranteeing a Tverberg-type partition with s_i-convex containers. The source paper supplies an upper bound via Theorem 1.6. A follow-up by Chen, Wang, Ge, Shu, and Xu (arXiv:2510.20770, October 2025) answers two related questions of Alon and Smorodinsky negatively, proving f_r(d,s,...,s) > s^r for all r >= 2, s >= 1, d >= 2r-2, disproving polynomial boundedness in s and nearly matching the upper bound up to a log s factor. The exact determination of f_r(d,s_1,...,s_r) remains open.

Cited literature (1)

partial A Tverberg-type problem of Kalai: Two negative answers to questions of Alon and Smorodinsky, and the power of disjointness (2025)

Wenchong Chen, Zhouningxin Wang, Gennian Ge, Yang Shu, Zixiang Xu · arXiv preprint · arXiv:2510.20770

Proves f_r(d,s,...,s) > s^r for r >= 2, s >= 1, d >= 2r-2, nearly matching the upper bound up to a log s factor, and disproves polynomial boundedness; the exact value of f_r(d,s_1,...,s_r) remains open.

Reviewer notes. arXiv:2510.20770 (posted October 2025, after the arXiv preprint of the source paper in June 2025) directly addresses two open questions from the Alon-Smorodinsky paper with near-tight exponential lower bounds; the exact determination of f_r(d,s_1,...,s_r) for general parameters remains open.

Auto-reviewed 2026-05-14 with claude-sonnet-4-6 (web search enabled).

Problem. Determine or estimate the least integer $f=f_{r}(d,s_{1},\ldots,s_{r})$ such that for any set $P$ of $f$ points in $\mathbb{R}^{d}$ there is a partition into $r$ pairwise disjoint sets $P=\bigcup_{i=1}^{r}P_{i}$ such that for any family of sets $C_{1},\ldots,C_{r}$ with $P_{i}\subset C_{i}$ where $C_{i}$ is an $s_{i}$-convex set for every $i\in[r]$ we have that $\bigcap_{i=1}^{r}C_{i}\neq\emptyset$.

Context

This is a Tverberg-type generalization of Problem 1.3 to $r$ parts and $r$ families of $s_i$-convex sets. Radon's theorem is equivalent to $f(d,1,1)=d+2$ and Tverberg's theorem is equivalent to $f_{r}(d,1,\ldots,1)=(r-1)(d+1)+1$. The paper provides an upper bound via Theorem 1.6 but the exact determination remains open.

Notes. The paper proves the upper bound $f_{r}(d,s_{1},\ldots,s_{r})=O\left(dr^{2}\cdot\log r\cdot\prod_{i=1}^{r}s_{i}\cdot\ln(1+\prod_{i=1}^{r}s_{i})\right)$ via Theorem 1.6, partially addressing this problem. A 2025 paper by Chen et al. (reference [9]) is titled 'A Tverberg-type problem of Kalai: Two negative answers to questions of Alon and Smorodinsky', suggesting specific sub-questions of this problem are attributed to the paper authors.

Source paper

Extended VC-dimension, and Radon and Tverberg type theorems for unions of convex sets
Noga Alon, Shakhar Smorodinsky · 2026-02-27
https://arxiv.org/abs/2506.17777