Divide bounded sets into sets having smaller diameters

TL;DR

This paper investigates how to partition bounded sets in finite-dimensional Banach spaces into smaller diameter subsets, introducing methods to estimate the minimal possible diameters and exploring their stability and applications to Borsuk's problem.

Contribution

It introduces two new methods for estimating the minimal diameters in set partitions within Banach spaces and analyzes their stability and applications to Borsuk's problem.

Findings

Established bounds for eta(l_p^3,8)  0.925 for all p

Proved eta(X,8) < 1 for certain 3D Banach spaces

Linked results to Borsuk's problem and Zong's computational approach

Abstract

For each positive integer $m$ and each real finite dimensional Banach space $X$, we set $\beta(X,m)$ to be the infimum of $\delta\in (0,1]$ such that each set $A\subset X$ having diameter $1$ can be represented as the union of $m$ subsets of $A$ whose diameters are at most $\delta$. Elementary properties of $\beta(X,m)$, including its stability with respect to $X$ in the sense of Banach-Mazur metric, are presented. Two methods for estimating $\beta(X,m)$ are introduced. The first one estimates $\beta(X,m)$ using the knowledge of $\beta(Y,m)$, where $Y$ is a Banach space sufficiently close to $X$. The second estimation uses the information about $\beta_X(K,m)$, the infimum of $\delta\in(0,1]$ such that $K\subset X$ is the union of $m$ subsets having diameters not greater than $\delta$ times the diameter of $K$, for certain classes of convex bodies $K$ in $X$. In particular, we show that $\beta(l_p^3,8)\leq 0.925$ holds for each $p\in [1,+\infty]$ by applying the first method, and we proved that $\beta(X,8)<1$ whenever $X$ is a three-dimensional Banach space satisfying $\beta_X(B_X,8)<\frac{221}{328}$, where $B_X$ is the unit ball of $X$, by applying the second method. These results and methods are closely related to the extension of Borsuk's problem in finite dimensional Banach spaces and to C. Zong's computer program for Borsuk's conjecture.