Title:Strict Kneser-Poulsen conjecture for large radii

Abstract:In this paper we prove the Kneser-Poulsen conjecture for the case of large radii. Namely, if a finite number of points in an n-dimensional Euclidean space is rearranged so that the distance between each pair of points does not decrease, then there exists a positive number $r_0$ that depends on the rearrangement of the points, such that if we consider n-dimensional balls of radius r>r_0 with centers at these points, then the volume of the union (intersection) of the balls before the rearrangement is not less (no more) than the volume of the union (intersection) after the rearrangement. Moreover, the inequality is strict whenever the new point set is not congruent to the original one. Also under the same conditions we prove a similar result about perimeters instead of volumes.
In order to prove the above mentioned results we use ideas from tensegrity theory to strengthen the theorem proved independently by Sudakov, R. Alexander and Capoyleas and Pach, which says that the mean width of the convex hull of a finite number of points does not decrease after an expansive rearrangement of those points. In this paper we show that the mean width increases strictly, unless the expansive rearrangement was a congruence.
We also show that the volume of a polyhedral set intersected by an n-dimensional ball with fixed center and varying radius is a piecewise real analytic function of the radius. It is at least [n/2] times continuously differentiable at singular points and it can be decomposed into convergent Laurent series in the neighborhood of infinity.