Equipartitions of measures in ℝ⁴

Živaljević, Rade

doi:10.1090/S0002-9947-07-04294-8

Equipartitions of measures in $\mathbb {R}^4$
HTML articles powered by AMS MathViewer

by Rade T. Živaljević PDF

Trans. Amer. Math. Soc. 360 (2008), 153-169 Request permission

Abstract:

A well-known problem of B. Grünbaum (1960) asks whether for every continuous mass distribution (measure) $d\mu = f dm$ on $\mathbb {R}^n$ there exist $n$ hyperplanes dividing $\mathbb {R}^n$ into $2^n$ parts of equal measure. It is known that the answer is positive in dimension $n=3$ (see H. Hadwiger (1966)) and negative for $n\geq 5$ (see D. Avis (1984) and E. Ramos (1996)). We give a partial solution to Grünbaum’s problem in the critical dimension $n=4$ by proving that each measure $\mu$ in $\mathbb {R}^4$ admits an equipartition by $4$ hyperplanes, provided that it is symmetric with respect to a $2$-dimensional affine subspace $L$ of $\mathbb {R}^4$. Moreover we show, by computing the complete obstruction in the relevant group of normal bordisms, that without the symmetry condition, a naturally associated topological problem has a negative solution. The computation is based on Koschorke’s exact singularity sequence (1981) and the remarkable properties of the essentially unique, balanced binary Gray code in dimension $4$; see G. C. Tootill (1956) and D. E. Knuth (2001).

References

Noga Alon, Splitting necklaces, Adv. in Math. 63 (1987), no. 3, 247–253. MR 877785, DOI 10.1016/0001-8708(87)90055-7
Noga Alon, Some recent combinatorial applications of Borsuk-type theorems, Algebraic, extremal and metric combinatorics, 1986 (Montreal, PQ, 1986) London Math. Soc. Lecture Note Ser., vol. 131, Cambridge Univ. Press, Cambridge, 1988, pp. 1–12. MR 1052658
S. S. Anisov, Convex curves in $\textbf {R}\textrm {P}^n$, Tr. Mat. Inst. Steklova 221 (1998), 9–47 (Russian); English transl., Proc. Steklov Inst. Math. 2(221) (1998), 3–39. MR 1683685
V. Arnol′d, On the number of flattening points on space curves, Sinaĭ’s Moscow Seminar on Dynamical Systems, Amer. Math. Soc. Transl. Ser. 2, vol. 171, Amer. Math. Soc., Providence, RI, 1996, pp. 11–22. MR 1359089, DOI 10.1090/trans2/171/02
David Avis, Nonpartitionable point sets, Inform. Process. Lett. 19 (1984), no. 3, 125–129. MR 782220, DOI 10.1016/0020-0190(84)90090-5
Imre Bárány, Geometric and combinatorial applications of Borsuk’s theorem, New trends in discrete and computational geometry, Algorithms Combin., vol. 10, Springer, Berlin, 1993, pp. 235–249. MR 1228045, DOI 10.1007/978-3-642-58043-7_{1}0
I. Bárány and J. Matoušek, Simultaneous partitions of measures by $k$-fans, Discrete Comput. Geom. 25 (2001), no. 3, 317–334. MR 1815435, DOI 10.1007/s00454-001-0003-5
I. Bárány and J. Matoušek, Equipartition of two measures by a 4-fan, Discrete Comput. Geom. 27 (2002), no. 3, 293–301. MR 1921557, DOI 10.1007/s00454-001-0071-6
S. Beckett, Quad, In: “Collected Shorter Plays", Faber, London, 1984.
A. Björner, Topological methods, Handbook of combinatorics, Vol. 1, 2, Elsevier Sci. B. V., Amsterdam, 1995, pp. 1819–1872. MR 1373690
P. E. Conner and E. E. Floyd, Differentiable periodic maps, Ergebnisse der Mathematik und ihrer Grenzgebiete, (N.F.), Band 33, Academic Press, Inc., Publishers, New York; Springer-Verlag, Berlin-Göttingen-Heidelberg, 1964. MR 0176478
W. A. Coppel, Disconjugacy, Lecture Notes in Mathematics, Vol. 220, Springer-Verlag, Berlin-New York, 1971. MR 0460785
Tammo tom Dieck, Transformation groups, De Gruyter Studies in Mathematics, vol. 8, Walter de Gruyter & Co., Berlin, 1987. MR 889050, DOI 10.1515/9783110858372.312
Edward R. Fadell and Sufian Y. Husseini, Geometry and topology of configuration spaces, Springer Monographs in Mathematics, Springer-Verlag, Berlin, 2001. MR 1802644, DOI 10.1007/978-3-642-56446-8
Eva Maria Feichtner and Günter M. Ziegler, On orbit configuration spaces of spheres, Topology Appl. 118 (2002), no. 1-2, 85–102. Arrangements in Boston: a Conference on Hyperplane Arrangements (1999). MR 1877717, DOI 10.1016/S0166-8641(01)00043-8
E. N. Gilbert, Gray codes and paths on the $n$-cube, Bell System Tech. J. 37 (1958), 815–826. MR 94273, DOI 10.1002/j.1538-7305.1958.tb03887.x
B. Grünbaum, Partitions of mass-distributions and of convex bodies by hyperplanes, Pacific J. Math. 10 (1960), 1257–1261. MR 124818
L. Guillou, A. Marin, A la Recherche de la Topologie Perdue, Birkhäuser, 1986.
H. Hadwiger, Simultane Vierteilung zweier Körper, Arch. Math. (Basel) 17 (1966), 274–278 (German). MR 199791, DOI 10.1007/BF01899586
Allen Hatcher, Algebraic topology, Cambridge University Press, Cambridge, 2002. MR 1867354
D.E. Knuth, Generating all $n$-tuples, Ch. 7.2.1.1, prefascicle 2A of “The Art of Computer Programming” (vol. 4), released September 2001, http://www-cs-faculty. stanford.edu/$^\sim$knuth/fasc2a.ps.gz.
V. Klee, Shapes of the future. Some unsolved problems in high-dimensional intuitive geometry, http://www.cs.ubc.ca/conferences/CCCG/elec/_proc/klee.pdf.
Ulrich Koschorke, Vector fields and other vector bundle morphisms—a singularity approach, Lecture Notes in Mathematics, vol. 847, Springer, Berlin, 1981. MR 611333
L. Lovász, Kneser’s conjecture, chromatic number, and homotopy, J. Combin. Theory Ser. A 25 (1978), no. 3, 319–324. MR 514625, DOI 10.1016/0097-3165(78)90022-5
V. V. Makeev, Equipartition of a mass continuously distributed on a sphere and in space, Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI) 279 (2001), no. Geom. i Topol. 6, 187–196, 249 (Russian, with English and Russian summaries); English transl., J. Math. Sci. (N.Y.) 119 (2004), no. 1, 96–100. MR 1846080, DOI 10.1023/B:JOTH.0000008746.06445.63
Peter Mani-Levitska, Siniša Vrećica, and Rade Živaljević, Topology and combinatorics of partitions of masses by hyperplanes, Adv. Math. 207 (2006), no. 1, 266–296. MR 2264074, DOI 10.1016/j.aim.2005.11.013
Jiří Matoušek, Efficient partition trees, Discrete Comput. Geom. 8 (1992), no. 3, 315–334. ACM Symposium on Computational Geometry (North Conway, NH, 1991). MR 1174360, DOI 10.1007/BF02293051
Jiří Matoušek, Range searching with efficient hierarchical cuttings, Discrete Comput. Geom. 10 (1993), no. 2, 157–182. MR 1220545, DOI 10.1007/BF02573972
John W. Milnor and James D. Stasheff, Characteristic classes, Annals of Mathematics Studies, No. 76, Princeton University Press, Princeton, N. J.; University of Tokyo Press, Tokyo, 1974. MR 0440554
E. A. Ramos, Equipartition of mass distributions by hyperplanes, Discrete Comput. Geom. 15 (1996), no. 2, 147–167. MR 1368272, DOI 10.1007/BF02717729
I. J. Schoenberg, An isoperimetric inequality for closed curves convex in even-dimensional Euclidean spaces, Acta Math. 91 (1954), 143–164. MR 65944, DOI 10.1007/BF02393429
Vyacheslav Sedykh and Boris Shapiro, On Young hulls of convex curves in $\textbf {R}^{2n}$, J. Geom. 63 (1998), no. 1-2, 168–182. MR 1651573, DOI 10.1007/BF01221247
G.C. Tootill., Proc. IEE 103, Part B Supplement (1956), p. 435.
Siniša T. Vrećica and Rade T. Živaljević, The ham sandwich theorem revisited, Israel J. Math. 78 (1992), no. 1, 21–32. MR 1194956, DOI 10.1007/BF02801568
Siniša T. Vrećica and Rade T. Živaljević, New cases of the colored Tverberg theorem, Jerusalem combinatorics ’93, Contemp. Math., vol. 178, Amer. Math. Soc., Providence, RI, 1994, pp. 325–334. MR 1310591, DOI 10.1090/conm/178/01908
A.C. Yao, F.F. Yao, A general approach to $d$-dimensional geometric queries, Proceedings of the 17th ACM Annual Symposium on the Theory of Computing, 1985, 163–169.
F. Frances Yao, David P. Dobkin, Herbert Edelsbrunner, and Michael S. Paterson, Partitioning space for range queries, SIAM J. Comput. 18 (1989), no. 2, 371–384. MR 986673, DOI 10.1137/0218025
G.M. Ziegler, Personal communication, October 2004.
Rade T. Živaljević, User’s guide to equivariant methods in combinatorics, Publ. Inst. Math. (Beograd) (N.S.) 59(73) (1996), 114–130. MR 1444570
Rade T. Živaljević, User’s guide to equivariant methods in combinatorics. II, Publ. Inst. Math. (Beograd) (N.S.) 64(78) (1998), 107–132. 50th anniversary of the Mathematical Institute, Serbian Academy of Sciences and Arts (Belgrade, 1996). MR 1668705
Rade T. Živaljević, Topological methods, Handbook of discrete and computational geometry, CRC Press Ser. Discrete Math. Appl., CRC, Boca Raton, FL, 1997, pp. 209–224. MR 1730167
Rade T. Živaljević and Siniša T. Vrećica, The colored Tverberg’s problem and complexes of injective functions, J. Combin. Theory Ser. A 61 (1992), no. 2, 309–318. MR 1185000, DOI 10.1016/0097-3165(92)90028-S