The Zaporozhets-Tarasov Conjecture on Mean Distances

Abstract

For a convex body $K \subset \mathbb R^d$ let $\Delta(K)$ be the expected distance between two independent uniform points of $K$, and let $\theta(K)$ be the corresponding expectation for normalized surface measure on $\partial K$. The Zaporozhets-Tarasov conjecture asserts $\Delta(K) \le \theta(K)$. We prove this conjecture in case $d=2$. In addition, we give a six-vertex convex polytope in $\mathbb R^3$ for which the reverse strict inequality holds, and obtain counterexamples in every dimension $d \ge 3$ by taking products with segments.