The Orthogonal Partition

The ham sandwich theorem says n measures in R^n can be simultaneously bisected by a single hyperplane. Generalizations ask for multiple cuts: k hyperplanes partitioning m measures into equal parts. But what if the hyperplanes must be mutually orthogonal?

Musin proves a Borsuk-Ulam type theorem for Stiefel manifolds that provides exactly these bounds.

The classical Borsuk-Ulam theorem says a continuous map from S^n to R^n must send some pair of antipodal points to the same value — it’s the topological engine behind the ham sandwich theorem. Musin lifts this to Stiefel manifolds V_k(R^d), the space of orthonormal k-frames in R^d. The generalized theorem constrains continuous maps from Stiefel manifolds to Euclidean space, and the constraint translates directly to orthogonal mass partition results.

The orthogonality requirement is the key restriction. Without it, k arbitrary hyperplanes have more freedom to arrange themselves. With it, the hyperplanes must be perpendicular, which couples their orientations and reduces the degrees of freedom. The topological argument determines exactly how much dimension d must exceed k and m to guarantee the existence of an orthogonal equipartition.

When k equals the number of hyperplanes needed for the partition, the orthogonal result strengthens previous bounds that allowed arbitrary hyperplane arrangements. The perpendicularity constraint doesn’t just make the problem harder — it produces a different bound, because the topology of the constraint space changes.

The application is as clean as the theory: m measures, k perpendicular knives, everything cut evenly. The geometry demands it; the topology proves it.