Convex Equipartitions of volume and surface area

We show that, for any prime power p^k and any convex body K (i.e., a compact convex set with interior) in Rd, there exists a partition of K into p^k convex sets with equal volume and equal surface area. We derive this result from a more general one for absolutely continuous measures and continuous functionals on the space of convex bodies. This result was independently found by Roman Karasev generalizing work of Gromov and Memarian who proved it for the standard measure on the sphere and p=2. Our proof uses basics from the theory of optimal transport and equivariant topology. The topological ingredient is a Borsuk-Ulam type statement on configuration space with the standard action of the symmetric group. This result was discovered in increasing generality by Fuks, Vaseliev and Karasev. We include a detailed proof and discuss how it relates to Gromov's proof for the case p=2.

[1]  Loring W. Tu,et al.  Differential forms in algebraic topology , 1982, Graduate texts in mathematics.

[2]  M. Gromov,et al.  Generalization of the spherical isoperimetric inequality to uniformly convex Banach spaces , 1987 .

[3]  Franz Aurenhammer,et al.  A criterion for the affine equivalence of cell complexes inRd and convex polyhedra inRd+1 , 1987, Discret. Comput. Geom..

[4]  V. A. Vasil'ev,et al.  Braid group cohomologies and algorithm complexity , 1988 .

[5]  Y. Brenier Polar Factorization and Monotone Rearrangement of Vector-Valued Functions , 1991 .

[6]  K. Ball CONVEX BODIES: THE BRUNN–MINKOWSKI THEORY , 1994 .

[7]  R. McCann Existence and uniqueness of monotone measure-preserving maps , 1995 .

[8]  Miklós Simonovits,et al.  Isoperimetric problems for convex bodies and a localization lemma , 1995, Discret. Comput. Geom..

[9]  Franz Aurenhammer,et al.  Minkowski-Type Theorems and Least-Squares Clustering , 1998, Algorithmica.

[10]  Manifold-theoretic compactifications of configuration spaces , 2003, math/0306385.

[11]  J. Matousek,et al.  Using The Borsuk-Ulam Theorem , 2007 .

[12]  M. Gromov,et al.  Isoperimetry of Waists and Concentration of Maps , 2003 .

[13]  H. O. Erdin Characteristic Classes , 2004 .

[14]  L. Ambrosio Gradient Flows in Metric Spaces and in the Spaces of Probability Measures, and Applications to Fokker-Planck Equations with Respect to Log-Concave Measures , 2008 .

[15]  C. Villani Optimal Transport: Old and New , 2008 .

[16]  R. Karasev The genus and the category of configuration spaces , 2009, 0905.0555.

[17]  R. Karasev Equipartition of several measures , 2010, 1011.4762.

[18]  I. Bárány,et al.  Equipartitioning by a convex 3-fan , 2010 .

[19]  A lower bound on the waist of unit spheres of uniformly convex normed spaces , 2010, Compositio Mathematica.

[20]  Pablo Soberón,et al.  BALANCED CONVEX PARTITIONS OF MEASURES IN ℝ d , 2010, 1010.6191.

[21]  R.Nandakumar,et al.  Fair partitions of polygons: An elementary introduction , 2008, 0812.2241.

[22]  R. Ho Algebraic Topology , 2022 .