# Cutting the Same Fraction of Several Measures

- 276 Downloads
- 2 Citations

## Abstract

We study some measure partition problems: Cut the same positive fraction of *d*+1 measures in ℝ^{ d } with a hyperplane or find a convex subset of ℝ^{ d } on which *d*+1 given measures have the same prescribed value. For both problems positive answers are given under some additional assumptions.

## Keywords

The ham sandwich theorem Balanced partition## 1 Introduction

The famous “ham sandwich” theorem of Stone, Tukey, and Steinhaus [13, 14] asserts that every *d* absolutely continuous probability measures in ℝ^{ d } can be simultaneously partitioned into equal parts by a single hyperplane.

In [3] Bereg and Kano raise the following question (in the planar case): If we are given *d*+1 measures in ℝ^{ d } and want to cut the same (but unknown) fraction of every measure by a hyperplane, then what assumptions on the measures allow us to do so? Certainly, additional assumptions are required because if the measures are concentrated near vertices of a *d*-simplex then such a fraction cut is impossible. A sufficient assumption is described below.

### Definition 1

*μ*

_{0},

*μ*

_{1},…,

*μ*

_{ d }be absolutely continuous probability measures on ℝ

^{ d }and let

*ε*∈(0,1/2). Call the set of measures

*ε-not-permuted*if for any halfspace

*H*the inequalities

*μ*

_{ i }(

*H*)<

*ε*for all

*i*=0,1,…,

*d*imply

### Remark 1

For *ε*>0 consider all halfspaces *H* in ℝ^{ d } such that *μ* _{ i }(*H*)<*ε* for all *i* and the values *μ* _{ i }(*H*) are pairwise distinct. If we arrange the values *μ* _{ i }(*H*) in the ascending order, then we get some permutation of {0,1,…,*d*}. So there is an order of *μ* _{ i } such that the measures *μ* _{ i } are *ε*-not-permuted if and only if in such a way we cannot get all possible permutations of the *d*+1 element set. In the sequel, for example in Theorem 1, we are actually interested in measures that are *ε*-not-permuted for *at least one order* of them.

### Remark 2

A natural example of *ε*-not-permuted measures appears when the support of one measure lies in the interior of the convex hull of the union of supports of the other *d* measures. In this case the measures are *ε*-not-permuted for sufficiently small *ε*.

Now we state the main result.

### Theorem 1

*Suppose*

*μ*

_{0},

*μ*

_{1},…,

*μ*

_{ d }

*are absolutely continuous probability*

*ε*-

*not*-

*permuted measures in*ℝ

^{ d }

*for some*

*ε*∈(0,1/2).

*Then there exists a halfspace*

*H*

*such that*

Note that in [2, 6, 8] a similar problem was considered: Cut by a hyperplane a *prescribed* fraction of each of *d* measures in ℝ^{ d }. Again, this cannot be done in general and some additional assumptions are needed.

A straightforward consequence of Theorem 1 follows by considering one measure concentrated near a point.

### Corollary 1

*Suppose*

*μ*

_{1},…,

*μ*

_{ d }

*are absolutely continuous probability measures in*ℝ

^{ d }

*and*

*p*

*is a point in the convex hull of their supports*.

*Then there exists a halfspace*

*H*

*such that*

*and*

*p*∈

*∂H*.

In Sect. 4 we consider a discrete version of Theorem 1, replacing measures by finite point sets. This is in accordance with the initial statement of the problem in [3].

Finally, in Sect. 5 we consider a problem of cutting the same *prescribed* fraction of every measure, this time allowing cutting with a convex subset of ℝ^{ d }.

## 2 Ham Sandwich Theorem for Signed Measures

In order to prove Theorem 1 we need a version of the “ham sandwich” theorem [13, 14] for signed measures.

### Definition 2

A difference *ρ*=*μ*′−*μ*″ of two absolutely continuous finite measures on ℝ^{ d } is called a *signed measure*. In other words, a signed measure is represented by its density from *L* _{1}(ℝ^{ d }).

### Theorem 2

(Ham sandwich for signed measures)

*Suppose we are given*

*d*

*signed measures*

*ρ*

_{1},…,

*ρ*

_{ d }

*in*ℝ

^{ d },

*then there exists a*(

*possibly degenerate*)

*halfspace*

*H*

*such that for any*

*i*,

### Remark 3

A *degenerate halfspace* is either ∅ or the whole ℝ^{ d }. We cannot exclude degenerate halfspaces in this theorem when *ρ* _{ i }(ℝ^{ d })’s are all zero. The reason is the same for which we cannot exclude the “*ε*-not-permuted” assumption from Theorem 1, see also Remark 4 below.

### Proof

The classical proof from the book of Matoušek [11] passes for signed measures (the authors learned this fact long ago from Vladimir Dol’nikov). Identify ℝ^{ d } with ℝ^{ d }×{1}⊂ℝ^{ d+1}. Parameterize halfspaces \(\tilde{H}\subset\mathbb{R}^{d+1}\) with boundary passing through the origin by their inner normals. So all halfspaces \(H = \tilde{H}\cap\mathbb{R}^{d}\times\{1\}\) (including degenerate) are parameterized by the unit sphere *S* ^{ d }.

*P*:

*S*

^{ d }→ℝ

^{ d }; by the Borsuk–Ulam theorem [5] (see also [11]) one halfspace must be mapped to zero. □

## 3 Proof of Theorem 1

*H*such that

*μ*

_{0}(

*H*)=

*μ*

_{1}(

*H*)=⋯=

*μ*

_{ d }(

*H*). But the halfspace

*H*may be degenerate or

*μ*

_{ i }(

*H*) may be all zero. This is not what we want.

### Remark 4

By the way, we see that starting from three measures *μ* _{ i } on ℝ^{2} distributed along three rays emanating from vertices of a regular triangle *T* and going in the direction opposite to the center of *T*, we cannot cut the same fraction (possibly zero) of these measures with a non-degenerate halfplane. The same example generalizes to higher dimensions and shows that in the ham sandwich theorem for signed measures we cannot avoid using degenerate halfspaces when all measures satisfy *ρ* _{ i }(ℝ^{ d })=0.

*s*:

*H*with:

*μ*

_{ i }(

*H*)<

*ε*for all

*i*=0,…,

*d*. Then we have

*μ*

_{ i }(

*H*)<1/2 and

*s*(

*μ*

_{ i }(

*H*)−1/2)<0. Hence,

This contradicts the assumption that the measures are *ε-not-permuted*.

Hence the inequality *μ* _{ i }(*H*)≥*ε* for some *i* is guaranteed while we decrease *s* to 0, and in turn it guarantees (remember that we can interchange *H* and ℝ^{ d }∖*H*!) that *H* cannot approach degenerate halfspaces ∅ and ℝ^{ d }. So we assume by compactness that *H* tends to a certain halfspace as *s*→0 and going to the limit in (2) together with (1) we obtain the conclusion.

## 4 Discrete Version

In the paper [3] Bereg and Kano consider a discrete version of this theorem in the plane. They call a line *ℓ* *balanced* if each halfplane bounded by *ℓ* contains precisely the same number of points of each color.

### Theorem 3

(S. Bereg and M. Kano [3])

*Let*

*S*

*be a set of*3

*n*≥6

*points in the plane in general position colored in red*/

*blue*/

*green such that*

- (i)
*the number of points of each color is**n*; - (ii)
*the vertices of the convex hull of**S**have the same color*.

*Then there exists a balanced line of*

*S*.

Here we generalize the result of Bereg and Kano. For every directed line *ℓ* we write *x*≤_{ ℓ } *y* if the projection of *x* to *ℓ* has not greater coordinate than the projection of *y* to *ℓ*.

### Theorem 4

*Let*

*S*

*be a set of*(

*d*+1)

*n*

*points in*ℝ

^{ d }

*in general position partitioned into colors*

*S*=

*S*

_{0}∪

*S*

_{1}∪⋯∪

*S*

_{ d }

*so that*:

- (i)
*the number of points of each**S*_{ i }*is**n*; - (ii)
*for any directed line**ℓ**there exist two colors**i**and**j*,*i*<*j*,*and a point**x*∈*S*_{ i }*such that for any**y*∈*S*_{ j }*we have**y*≤_{ ℓ }*x*.

*Then there exists a*balanced

*hyperplane*

*h*,

*or in other words*,

*a hyperplane such that each halfspace bounded by*

*h*

*contains precisely the same number of points of each color*.

### Proof

The proof follows almost directly from the continuous version. Replace each point by a solid ball centered in it and of radius *r*>0 sufficiently small so that there is no hyperplane that intersects any *d*+1 balls at the same time and for any partition of points of *S* by a hyperplane there exists a hyperplane that separates the corresponding balls accordingly. Since the points are in general position, such *r* does exist.

Balls of each color generate absolutely continuous measures. So we have *d*+1 absolutely continuous measures; multiplying them by the same constant we make these measures normalized; denote them by *μ* _{0},*μ* _{1},…,*μ* _{ d }.

Now, as in the proof of Theorem 1, we consider signed measures \(\rho^{s}_{i} = (1+s)\mu_{i} - \mu_{i-1}\) and find a halfspace *H* such that \(\rho^{s}_{1}(H) = \cdots= \rho^{s}_{d}(H)=s/2\).

*μ*

_{ i }(

*H*) cannot be less than 1/

*n*for all

*i*. Suppose it is so. Then again using (2) we get:

Consider a line *ℓ* inner-normal to *H* and colors *i* and *j* from condition (ii) for this line. Suppose *μ* _{ i }(*H*)<*μ* _{ j }(*H*)<1/*n*. The hyperplane *∂H* intersects at least two balls of color *j*, otherwise the inequality would be *μ* _{ i }(*H*)≥*μ* _{ j }(*H*) by condition (ii). Under the above assumptions, every hyperplane can pass through at most *d* balls. Therefore there exist two colors *k* and *m* that do not intersect with *∂H* and therefore with *H* (in the opposite case *μ* _{ k }(*H*) or *μ* _{ m }(*H*) would be at least 1/*n*). Hence we have *μ* _{ k }(*H*)=*μ* _{ m }(*H*)=0 in contradiction with (4). So for at least one *i* the measure *μ* _{ i }(*H*) is at least 1/*n*.

As *s* goes to 0, the halfspace *H* tends to a certain halfspace *H* _{0}. Its border hyperplane *h*=*∂H* cuts an equal positive fraction of every measure *μ* _{ i }.

If *h* touches no ball where the measures are concentrated, then we are done. But a problem can occur if *h* intersects some balls. Since the points in *S* are in general position, the hyperplane *h* touches at most *d* of them (denote the corresponding subset of *X* by *I*) and we can perturb *h* so that an arbitrary subset *J*⊆*I* will be on one side of *h* while *I*∖*J* will be on the other side of *h*. Thus we may “round” the fractions of the measure in any way we want and equalize the numbers of points in *H* for all the colors (compare with the proof of Corollary 3.1.3 in [11]). □

### Remark 5

As in Remark 1 we can describe point sets satisfying condition (ii) in terms of permutations: For any directed line *ℓ* the order of points with least (among the points of the same color) projection to *ℓ* gives a permutation of colors {0,1,…,*d*}; a colored point set satisfies condition (ii) for some order of colors if and only if we cannot get all permutations this way.

Let us give a simpler but still useful assumption on *S*:

### Corollary 2

*Let*

*S*

*be a set of*(

*d*+1)

*n*

*points in*ℝ

^{ d }

*in general position colored in colors*0,1,…,

*d*

*so that*:

- (i)
*the number of points of each color is**n*; - (ii)
*points of one color lie in the convex hull of the union of points of the other**d**colors*.

*Then there exists a*balanced

*hyperplane*

*h*.

## 5 Cutting a Prescribed Fraction by a Convex Set

Let us state another problem about cutting the same fraction of several measures:

### Problem 1

*d*and the number of measures

*k*>1 are given. For which

*α*∈(0,1) for any absolutely continuous probability measures

*μ*

_{1},…,

*μ*

_{ k }on ℝ

^{ d }it is always possible to find a convex subset

*C*⊂ℝ

^{ d }such that

For *α*=1/2 and *k*=*d* a positive solution to this problem follows from the ham sandwich theorem. If *α*>1/2 then considering two measures, one concentrated near the origin and the other concentrated uniformly near a unit sphere, we see that there is no solution.

If *k*>*d*+1, one can consider *d*+2 measures concentrated near the vertices of a simplex *S* and the mass center *w* of *S*; in this case, any such *C* must contain a neighborhood of *w* and therefore cannot cut *α* of the corresponding measure.

In [15] Stromquist and Woodall solved a similar problem for *k* measures on a circle and cutting it by a union of *k* arcs.

Using the results on measure equipartitions from [1, 9, 12] we are able to solve Problem 1 for *d*+1 measures:

### Theorem 5

*Suppose*

*μ*

_{0},

*μ*

_{1},…,

*μ*

_{ d }

*are absolutely continuous probability measures on*ℝ

^{ d }

*and*

*α*∈(0,1).

*It is always possible to find a convex subset*

*C*⊂ℝ

^{ d }

*such that*

*if and only if*

*α*=1/

*m*

*for a positive integer*

*m*.

### Proof

*α*=1/

*m*. Following [12] it is sufficient to consider the case when

*m*is a prime and use induction. Consider the space of functions

*d*+2. Recall that a generalized Voronoi partition corresponding to an

*m*-tuple of pairwise distinct functions {

*f*

_{1},…,

*f*

_{ m }}⊂

*L*is defined by

*f*

_{1},…,

*f*

_{ m }}⊂

*L*that equipartitions every

*μ*

_{ i }. As it was noted by Pablo Soberón, we may not refer to [9, Theorem 1.3] and use the simpler result of [12] if we lift the measures

*μ*

_{ i }to the paraboloid \(x_{d+1} = x_{1}^{2}+\cdots+ x_{d}^{2}\) in ℝ

^{ d+1}and then partition them with a convex generalized Voronoi partition.

*f*

_{1}(

*x*) has the largest coefficient at \(\sum_{i=1}^{d} x_{i}^{2}\) among all

*f*

_{ j }(

*x*). Then the defining equations for

*C*

_{1}will look like

*λ*(

*x*) is a linear function and

*b*

_{1}−

*b*

_{ j }is nonnegative. Note that each of these equations defines either a halfspace or a ball and therefore their intersection

*C*

_{1}is convex.

Now we give a counterexample for *d*=1 and *α* not of the form 1/*m*. Assume \(\frac{1}{n}>\alpha>\frac{1}{n+1}\). Let *μ* _{0} be the uniform measure on (0,1).

*a*

_{ i },

*i*=1,…,

*n*, be the points with coordinates \(\frac {i}{n+1}\) and Δ

_{ i }be the intervals with centers at

*a*

_{ i }and length \(\epsilon<\alpha-\frac{1}{n+1}\). The support of the measure

*μ*

_{1}is the union of intervals Δ

_{ i }and \(\int_{\Delta_{i}}d\mu_{1}=\frac{1}{n}\) for each

*i*(Fig. 1).

It is easy to see that each convex set *C* with *μ* _{0}(*C*)=*α* is an interval of length *α* in intersection with (0,1) and it must contain at least one interval Δ_{ i }. Therefore \(\mu_{1}(C)\geq\frac {1}{n}>\alpha\).

*d*>1 we can extend the one-dimensional example. Consider a

*d*-dimensional regular simplex with vertices

*v*

_{0},

*v*

_{1},…,

*v*

_{ d }. Let the measures

*μ*

_{2},…,

*μ*

_{ d }concentrate near the vertices

*v*

_{2},…,

*v*

_{ d }, respectively. Similarly to the case

*d*=1, let

*μ*

_{0}be the uniform measure on a small cylinder around the edge

*v*

_{0}

*v*

_{1}. The measure

*μ*

_{1}will look like in the one-dimensional case, but its support will be intervals on the segment that connects the centers of faces

*v*

_{0}

*v*

_{2}…

*v*

_{ d }and

*v*

_{1}

*v*

_{2}…

*v*

_{ d }. See Fig. 2 for the two-dimensional case.

To conclude the proof we note the following. Assume that the measures *μ* _{ i } are concentrated in *δ*-neighborhoods of their respective vertices (for *i*>1) or segments (for *i*=0,1). Then going to the limit *δ*→+0 and using the Blaschke selection theorem, we assume that the corresponding *C* _{ δ } tends in the Hausdorff metric to some *C* _{0}. This *C* _{0} must intersect the segment [*v* _{0},*v* _{1}] by an interval of length at least *α*|*v* _{0}−*v* _{1}|. It also has to contain every vertex *v* _{ i } for *i*=2,…,*d*. Hence, similarly to the one-dimensional case, *C* _{0} contains in its interior one of the support segments of *μ* _{1}. For small enough *δ*, the convex set *C* _{ δ } will also contain at least 1/*n* of the measure *μ* _{1}, which is a contradiction. □

### Remark 6

For *d*=1 this result follows from the theorem of Levy [10] about a segment on a curve. Note that Hopf [7] showed that the set of *α* for which the required segment does not exist is additive.

### Remark 7

In [4, Theorem 3.2] it was proved that any two absolutely continuous probability measures on *S* ^{2} can be cut into pieces of measures *α*,*α*,1−2*α* by a 3-fan. Using the central projection we see that any two absolutely continuous probability measures on ℝ^{2} may be cut into pieces of measures *α*,*α*,1−2*α* with a (possibly degenerate) 3-fan. It is clear that at least one of the *α* parts of the fan is a convex angle and therefore Problem 1 has a positive solution for *k*=*d*=2 and any *α*∈(0,1/2].

## Notes

### Acknowledgements

We thank Nikolay Dolbilin for drawing our attention to this problem. We also thank Fedor Petrov, Imre Bárány, Pavle Blagojević, Pablo Soberón and two unknown referees for useful remarks.

The research of both authors is supported by the Dynasty Foundation, the President’s of Russian Federation grant MD-352.2012.1, the Russian Foundation for Basic Research grant 10-01-00096, the Federal Program “Scientific and Scientific-Pedagogical Staff of Innovative Russia” 2009–2013, and the Russian Government Project 11.G34.31.0053. The research of A.V. Akopyan is also supported by the Russian Foundation for Basic Research grant 11-01-00735, and the research of R.N. Karasev is also supported by the Russian Foundation for Basic Research grant 10-01-00139.

## References

- 1.Aronov, B., Hubard, A.: Convex equipartitions of volume and surface area. arXiv preprint: arXiv:1010.4611 (2010)
- 2.Bárány, I., Hubard, A., Jerónimo, J.: Slicing convex sets and measures by a hyperplane. Discrete Comput. Geom.
**39**, 67–75 (2008). 10.1007/s00454-007-9021-2 MathSciNetzbMATHCrossRefGoogle Scholar - 3.Bereg, S., Kano, M.: Balanced line for a 3-colored point set in the plane. Electron. J. Comb.
**19**(1), P33 (2012) MathSciNetGoogle Scholar - 4.Blagojević, P.V.M., Blagojević, A.S.D.: Using equivariant obstruction theory in combinatorial geometry. Topol. Appl.
**154**(14), 2635–2655 (2007). doi: 10.1016/j.topol.2007.04.007 zbMATHCrossRefGoogle Scholar - 5.Borsuk, K.: Drei sätze über die
*n*-dimensionale euklidische Sphäre. Fundam. Math.**20**(1), 177–190 (1933) Google Scholar - 6.Breuer, F.: Uneven splitting of ham sandwiches. Discrete Comput. Geom.
**43**(4), 876–892 (2010) MathSciNetzbMATHCrossRefGoogle Scholar - 7.Hopf, H.: Über die Sehnen ebener Kontinuen und die Schleifen geschlossener Wege. Comment. Math. Helv.
**9**, 303–319 (1936). 10.1007/BF01258195 MathSciNetCrossRefGoogle Scholar - 8.Karasev, R.N.: Theorems of Borsuk-Ulam type for flats and common transversals of families of convex compact sets. Sb. Math.
**200**(10), 1453–1471 (2009). doi: 10.1070/SM2009v200n10ABEH004045 MathSciNetzbMATHCrossRefGoogle Scholar - 9.Karasev, R.N.: Equipartition of several measures. arXiv preprint: arXiv:1011.4762 (2010)
- 10.Levy, P.: Sur une généralisation du théorème de Rolle. C. R. Acad. Sci., Paris
**198**, 424–425 (1934) Google Scholar - 11.Matoušek, J.: Using the Borsuk–Ulam Theorem: Lectures on Topological Methods in Combinatorics and Geometry. Springer, Berlin (2003) zbMATHGoogle Scholar
- 12.Soberón, P.: Balanced convex partitions of measures in ℝ
^{d}. Mathematika**58**(1), 71–76 (2012). doi: 10.1112/S0025579311001914 MathSciNetzbMATHCrossRefGoogle Scholar - 13.Steinhaus, H.: Sur la division des ensembles de l’espace par les plans et des ensembles plans par les cercles. Fundam. Math.
**33**, 245–263 (1945) MathSciNetzbMATHGoogle Scholar - 14.Stone, A.H., Tukey, J.W.: Generalized “sandwich” theorems. Duke Math. J.
**9**(2), 356–359 (1942) MathSciNetzbMATHCrossRefGoogle Scholar - 15.Stromquist, W., Woodall, D.: Sets on which several measures agree. J. Math. Anal. Appl.
**108**, 241–248 (1985). doi: 10.1016/0022-247X(85)90021-6 MathSciNetzbMATHCrossRefGoogle Scholar