# Kadets-Type Theorems for Partitions of a Convex Body

- 270 Downloads
- 2 Citations

## Abstract

For convex partitions of a convex body *B*, we try to put a homothetic copy of *B* into each set of the partition so that the sum of the homothety coefficients is at least 1. In the plane this can be done for an arbitrary partition, while in higher dimensions we need certain restrictions on the partition.

## Keywords

The Tarski plank problem The Kadets theorem## 1 Introduction

Alfred Tarski [12] proved that for any covering of the unit disk by planks (the sets *a*≤*λ*(*x*)≤*b* for a linear function *λ* and two reals *a*<*b*), the sum of plank widths is at least 2. Thøger Bang [3] generalized this result for covering of a convex body *B* in ℝ^{ d } by planks showing that the sum of the widths is at least the width of *B*. He also posed the following question: Can the plank widths in the Euclidean metric be replaced by the widths relative to *B* (as in Definition 2 below)?

Keith Ball [2] proved the conjecture of Bang for centrally symmetric bodies *B* or, in other words, for arbitrary normed spaces and coverings of the unit ball. For possibly nonsymmetric *B*, it is known (see [1]) that the Bang conjecture is equivalent to the Davenport conjecture: If a convex body *B* is sliced by *n*−1 hyperplane cuts, then there exists a piece that contains a translate of \(\frac{1}{n}B\).

In [5, 6] András Bezdek and Károly Bezdek proved an analogue of the Davenport conjecture for binary partitions by hyperplanes. The difference is that they do not cut everything with every hyperplane; instead, they divide one part into two parts and then proceed recursively.

One of the strongest results about coverings of a unit ball for the Hilbert (and finite-dimensional Euclidean) space was proved by Vladimir Kadets [10] (see also [4] for the proof in the two-dimensional case using the idea from [12]): For any convex covering *C* _{1},…,*C* _{ k } of the unit ball, the sum of the inscribed ball radii \(\sum_{i=1}^{k} r(C_{i})\) is at least 1.

The reader is referred to [7] for a detailed historical survey on the Tarski plank problem. Some other open problems can be found in [9].

In this paper we prove analogues of the Kadets theorem for inscribing homothetic copies of a (not necessarily symmetric) convex body, replacing arbitrary coverings by certain convex partitions. By a *partition* of a convex set *B* we mean a covering of *B* by a family of closed convex sets with disjoint interiors. In the two-dimensional case the analogue of the Kadets theorem for possibly nonsymmetric bodies (Theorem 2) holds for any partition, while in higher dimensions we need additional restrictions on the partition. In other words, we are solving positively certain particular cases of [7, Problem 4.4.2] about extending the Kadets theorem to Banach spaces.

We work in finite-dimensional spaces. If one needs analogues for infinite-dimensional Banach spaces, then the standard approximation argument works as in [10].

This paper is organized as follows. In Sect. 2 we define *inductive partitions* and prove a Kadets-type result for such partitions. In Sect. 3 we introduce *affine partitions* and *hierarchical affine partitions*, which are very natural examples of inductive partitions.

The main result of the paper, the case of two-dimensional partition, is proved in Sect. 4. In Sect. 5 we introduce *inductive coverings*. This is a special type of coverings, for which our methods prove a Kadets-type theorem. Section 6 is not connected with the previous sections directly; there we give a simplified proof of the Bezdek–Schneider analogue of the Kadets theorem on the sphere. In Sect. 7 we show that in the hyperbolic case the Kadets theorem does not hold.

## 2 Inductive Partitions

Let us describe the class of partitions, for which an analogue of the Kadets theorem is true:

### Definition 1

A convex partition *V* _{1}∪⋯∪*V* _{ k } of ℝ^{ d } is said to be *inductive* if for any 1≤*i*≤*k*, there exists an inductive partition *W* _{1}∪⋯∪*W* _{ i−1}∪*W* _{ i+1}∪⋯∪*W* _{ k } such that *W* _{ j }⊇*V* _{ j } for any *j*≠*i*. A partition into one part *V* _{1}=ℝ^{ d } is assumed to be inductive.

Now we define the *inradius* relative to *B*:

### Definition 2

*B*⊂ℝ

^{ d }be a convex body. For a convex set

*C*⊆ℝ

^{ d }, define the analogue of the inscribed ball radius as follows:

*r*

_{ B }(

*C*)=−∞ for empty

*C*.

Now we are ready to state one of the main results.

### Theorem 1

*Let*

*B*⊂ℝ

^{ d }

*be a convex body*,

*and let*

*C*

_{1}∪⋯∪

*C*

_{ k }=

*B*

*be induced from an inductive partition*

*V*

_{1}∪⋯∪

*V*

_{ k }=ℝ

^{ d }(

*that is*,

*C*

_{ i }=

*V*

_{ i }∩

*B*

*for any*

*i*).

*Then*

Before proving this theorem we need a lemma about the inradius.

### Lemma 1

*Let a convex polytope*

*C*⊂ℝ

^{ d }

*be defined by linear inequalities for*

*i*=1,…,

*m*:

*Denote by*\(C(\bar{y})\)

*the polytope defined by the inequalities*

*where*\(\bar{y} = (y_{1}, \ldots, y_{m})\)

*is a vector of reals*.

*Then*\(r_{B}(C(\bar{y}))\)

*is a concave function of*\(\bar{y}\).

### Proof

*m*]={1,…,

*m*}. By the Helly theorem we have

*λ*

_{ i }(

*x*)+

*y*

_{ i }≤0 for

*i*∈

*I*. The sets \(C_{I}(\bar{y})\) are either Cartesian products of a linear subspace

*L*⊂ℝ

^{ d }of positive dimension with a lower-dimensional polyhedral set \(C'_{I}(\bar{y})\), or simplicial cones, or simplices. In the first case we use induction on the dimension. In the second case we note that \(r_{B}(C_{I}(\bar{y}))=+\infty\). In the third case the function \(r_{B}(C_{I}(\bar{y}))\) is obviously linear. Hence, for any \(C_{I}(\bar{y})\), the inradius \(r_{B}(C_{I}(\bar{y}))\) is a concave function of \(\bar{y}\). Therefore the inradius \(r_{B}(C(\bar{y}))\) is concave as an infimum of concave functions. □

### Lemma 2

*Let*

*C*

_{1},…,

*C*

_{ m }

*be a family of convex bodies in*ℝ

^{ d }.

*Then the inradius of the intersection of translates*

*is a concave function of*\(\bar{y} = (y_{1}, \ldots, y_{m})\in(\mathbb{R}^{d})^{\times m}\).

### Proof

When *C* _{ i }’s are polytopes, this is a particular case of Lemma 1. The general case is made by approximating *C* _{ i }’s by polytopes and passing to the limit. □

### Remark 1

In the above lemmas we actually prove that the set of vectors \(\bar{y}\) such that the considered function of \(\bar{y}\) is >−∞ is a convex closed set.

### Proof of Theorem 1

Let us vary the vector *y*∈ℝ^{ d } and define *C* _{ i }(*y*)=*B*∩(*V* _{ i }+*y*). The function \(r(y) = \sum_{i=1}^{k} r_{B}(C_{i}(y))\) is a concave function of *y* by Lemma 2, and the set *Y*={*y*:*r*(*y*)>−∞} is a convex closed set. If *y* is in the boundary of *Y*, then at least one of *C* _{ i }(*y*) has the empty interior. In this case we can omit the corresponding *V* _{ i } and consider a smaller partition {*W* _{ j }}_{ j≠i }, which induces the same partition {(*W* _{ j }+*y*)∩*B*}_{ j≠i } as {(*V* _{ j }+*y*)∩*B*} up to sets with empty interior.

*r*(

*y*)≥1 on

*∂Y*. Along with the concavity of

*r*(

*y*), this implies

*r*(

*y*)≥1 on the whole

*Y*unless

*Y*is a halfspace. From the obvious formula (the sum is the Minkowski sum)

*Y*can be a halfspace if and only if every

*V*

_{ i }contains the same halfspace. This is impossible unless

*k*=1; but for

*k*=1, the theorem is obviously true. □

## 3 Affine Partitions

In this section we describe constructively a certain class of inductive partitions.

### Definition 3

*F*={

*λ*

_{1},…,

*λ*

_{ k }}, define the

*affine partition*

*P*(

*F*) of ℝ

^{ d }by

*X*⊂ℝ

^{ d }is defined as a restriction of an affine partition of the whole ℝ

^{ d }.

### Remark 2

Affine partitions are also known as *generalized Voronoi partitions* or *power diagrams*, but we use the term *affine* for brevity.

### Corollary 1

*Let*

*B*⊂ℝ

^{ d }

*be a convex body*,

*and let*

*C*

_{1}∪⋯∪

*C*

_{ k }=

*B*

*be its affine partition*.

*Then*

### Proof

It suffices to show that any affine partition is inductive. Starting from *V* _{1}∪⋯∪*V* _{ k }=ℝ^{ d } defined by {*λ* _{1},…,*λ* _{ k }}, we omit *λ* _{ i } from the list and obtain another affine partition {*W* _{ j }}_{ j≠i } such that *W* _{ j }⊇*V* _{ j } for any *j*≠*i*. So the induction step is possible. □

A straightforward generalization of an affine partition is a *hierarchical affine partition*:

### Definition 4

By induction: If in a hierarchical affine partition *C* _{1}∪⋯∪*C* _{ k } we partition some *C* _{ i } by an affine partition, we obtain again a hierarchical affine partition.

Let us show that a hierarchical affine partition is a limit of affine partitions.

### Lemma 3

*Suppose that* *B* *is a convex body and* *C* _{1}∪⋯∪*C* _{ k }=*B* *is its hierarchical affine partition*. *Then this partition can be approximated by an affine partition with arbitrary precision in the Hausdorff metric*.

### Proof

From the definition we know that there exists a graded tree *T* with an affine function *λ* _{ v } in every vertex *v*∈*T* such that the sets *C* _{ i } correspond to the leaves *ℓ* _{ i } of *T*; the condition *x*∈*C* _{ i } is equivalent to *λ* _{ v }(*x*)≤*λ* _{ w }(*x*) for any *v* in the ancestors of *ℓ* _{ i } and *w* a sibling of *v*.

*ε*>0 small enough and for any

*C*

_{ i }and its corresponding

*ℓ*

_{ i }, consider the full chain from the root

*v*

_{0}<

*v*

_{1}<⋯<

*v*

_{ m }=

*ℓ*

_{ i }and the corresponding affine function

*B*corresponding to \(\{ \lambda_{i,\varepsilon}\}_{i=1}^{k}\) tends to \(\{C_{i}\}_{i=1}^{k}\) as

*ε*tends to +0. □

Even without this lemma it is obvious that Corollary 1 holds for hierarchical affine partitions by induction. Note that a binary partition by hyperplanes is a particular case of a hierarchical affine partition.

## 4 The Two-Dimensional Case

Now we are ready to prove an analogue of the Kadets theorem in the plane. The key property of an inductive partition in the proof of Theorem 1 is actually the following: we consider convex partitions *C* _{1}∪⋯∪*C* _{ k }=*B* that can be extended to a convex partition *V* _{1}∪⋯∪*V* _{ k }=ℝ^{ d }. Then we can translate *V* _{ i }’s with *y* so that one of the sets *C* _{ i }=*V* _{ i }∩*B* disappears, remove *C* _{ i }, extend the partition {*C* _{ j }}_{ j≠i } again to a new partition of the whole space, and so on.

In the plane the extension is always possible by the following:

### Lemma 4

*Any convex partition* *C* _{1}∪⋯∪*C* _{ k }=*B*⊂ℝ^{2} *can be extended to a partition* *V* _{1}∪⋯∪*V* _{ k }=ℝ^{2}.

### Proof

The boundary *∂B* consists of parts of the boundaries *∂C* _{ i }. Denote the vertices of this partition by *a* _{1},*a* _{2},…,*a* _{ n }. Denote the polygon *a* _{1} *a* _{2}⋯*a* _{ n } by *A*. Note that for some *C* _{ i }s, we may have more than one corresponding part of *∂B*.

Obviously, from each point *a* _{ i } it is possible to draw a ray *ℓ* _{ i } outside *B* with the following property: For any set *C* _{ j } and its corresponding boundary segment [*a* _{ i } *a* _{ i+1}] (the indices are understood cyclically *a* _{ n+1}=*a* _{1}), the union of *C* _{ j } and the area that is bounded by [*a* _{ i } *a* _{ i+1}], *ℓ* _{ i }, and *ℓ* _{ i+1} is convex. For the rays *ℓ* _{ i }, one can take the extension of the interior with respect to *B* side of *C* _{ j } after *a* _{ i }.

Our goal is to erase parts of the rays *ℓ* _{ i } and obtain a partition of ℝ^{2}∖*A* into *n* convex parts. At the start the rays may partition ℝ^{2}∖*A* into a larger number of parts.

We perform erasing as follows. Suppose that *b* _{ j } is a point of transversal intersection of two rays *ℓ* _{ s } and *ℓ* _{ t } that is closer to *A* than other points of transversal intersection of the remaining rays. Note that the segments *b* _{ j } *a* _{ s } and *b* _{ j } *a* _{ t } do not intersect with other rays *ℓ* _{ i } transversally (in this case the point of intersection would be closer to *A* than *b* _{ j }). Erase part of one of the rays *ℓ* _{ s } or *ℓ* _{ t } after *b* _{ i } and start a new iteration of this process again. Some rays actually become segments, but it does not matter.

After each step we have a convex partition of ℝ^{2}∖*A*, and finally we obtain a partition into exactly *n* parts.

*C*

_{ i }, we obtain the required extension of the partition to the whole plane, see Fig. 2. □

Now we are ready to state the result.

### Theorem 2

*Let*

*B*⊂ℝ

^{2}

*be a convex body*,

*and let*

*C*

_{1}∪⋯∪

*C*

_{ k }=

*B*

*be its convex partition*.

*Then*

### Proof

*C*

_{1}∪⋯∪

*C*

_{ k }=

*B*to

*V*

_{1}∪⋯∪

*V*

_{ k }=ℝ

^{2}by Lemma 4. Then the function

*y*we can make one of

*B*∩(

*V*

_{ i }+

*y*) have the empty interior without increasing

*r*(

*y*). Then we omit

*V*

_{ i }, obtain a partition of

*B*into fewer parts, and use the inductive assumption. □

## 5 Possible Extension to Coverings

Theorem 2 is quite close to the plane case of the Bang conjecture, which we restate here: If *B*⊂ℝ^{2} is covered by a set of planks *W* _{1}∪⋯∪*W* _{ k }⊇*B*, then \(\sum_{i=1}^{k} r_{B}(W_{i}) \ge\nobreak 1\). The key difference is that in the Bang conjecture we have a covering, not a partition. Intuitively, a partition is something smaller than covering and therefore has smaller sum of “inradii.” But already in the case of ℝ^{2} there exist coverings that do not contain partitions. A simple example is a set of planks *C* _{ i } passing through the center of a disk *B*, forming a “sunflower” so that each of the sets *C* _{ i }∩*∂B* consists of two disjoint arcs and these arcs partition *∂B*.

It is easily verified that Theorem 1 holds (with the same proof literally) for coverings instead of partitions if we define an inductive covering by the following:

### Definition 5

Call a convex covering (by closed sets) *V* _{1}∪⋯∪*V* _{ k } of ℝ^{ d } *inductive* if for any 1≤*i*≤*k*, there exists an inductive covering *W* _{1}∪⋯∪*W* _{ i−1}∪*W* _{ i+1}∪⋯∪*W* _{ k } such that *W* _{ j }⊆*V* _{ j }∪*V* _{ i } for any *j*≠*i*. A covering by one set *V* _{1}=ℝ^{ d } is assumed to be inductive.

Returning to the Bang conjecture, we see the unpleasant thing: If we cover some part of ℝ^{2} by planks and the remaining part is covered by the corresponding (possibly infinite) polygons, then none of the polygons can be deleted, so this is an example of a noninductive covering of the plane.

## 6 Notes on the Spherical Kadets Theorem

In [8] Károly Bezdek and Rolf Schneider proved the following version of the Kadets theorem in the spherical geometry:

### Theorem 3

(K. Bezdek, R. Schneider, 2010)

*If the sphere*\(\mathbb{S}^{n}\)

*is covered by spherical convex sets*

*K*

_{ i },

*then we have the following inequality for the inradii*:

Here we use the standard intrinsic metric of the unit sphere. By a convex set we mean the intersection of this sphere and a convex cone whose apex is at the center of the sphere.

This theorem gives rise to the following:

### Problem 1

(K. Bezdek, R. Schneider, 2010)

*ρ*in the spherical geometry. Suppose that

*B*

_{ ρ }is covered by spherical convex sets

*K*

_{ i }. Prove that

As it is noted in [8], Theorem 3 solves this problem for *ρ*≥*π*/2, the solution being essentially volumetric. But if *ρ*→0, then this problem approaches the original Kadets theorem, which has no volumetric solution for *n*>2. So it seems that solving this problem for *ρ* in the range (0,*π*/2) must require a new approach.

Let us outline the proof of Theorem 3. This proof is essentially the same as that given in [8]; but we simplify it and split into several lemmas, some of which may be of interest on their own.

### Lemma 5

*Let*

*μ*

*be a spherically symmetric absolute continuous measure on*ℝ

^{ n },

*B*

*be a ball centered at the origin*,

*and*

*T*

*be a*0-

*starshaped body*.

*Then*

### Proof

^{ n }into convex cones

*V*

_{ i }of equal measures

*μ*(

*V*

_{ i }). Note that the sets

*V*

_{ i }∩

*B*will also have equal measures because of the spherical symmetry of

*μ*. The lemma will follow from the inequality

*V*

_{ i }gets arbitrarily close to a one-dimensional ray, and the limit case of (1) becomes an inequality for nonnegative functions:

*X*,

*Y*}

*Z*≥

*XY*for any

*X*,

*Y*∈[0,

*Z*]. □

### Lemma 6

*Let us work in the spherical geometry*.

*Suppose that*\(H\subset\mathbb{S}^{n}\)

*is a hemisphere with center*

*o*,

*B*

*is a ball of radius*≤

*π*/2

*centered at*

*o*,

*and*

*T*

*is an*

*o*-

*starshaped body in*

*H*.

*Then*

*for the standard measure*

*σ*

*on the sphere*.

### Proof

Follows from Lemma 5 by central projection of *H* onto ℝ^{ n } such that *o* goes to 0. □

### Lemma 7

*Let*

*X*

*be s subset of the sphere*\(\mathbb{S}^{n}\)

*not contained in an open hemisphere*,

*and*

*X*

_{0}

*be a set consisting of two antipodal points on the sphere*.

*Then for their*

*ε*-

*neighborhoods*(

*in the spherical geometry*),

*we have*

### Proof

Without loss of generality, let *X*={*o* _{1},…,*o* _{ m }} be finite. Consider the hemispheres *H* _{ i } with respective centers *o* _{ i } and the Voronoi regions *V* _{ i } of *o* _{ i }. Note that *V* _{ i }⊆*H* _{ i } for every *i*. Denote the measure of the whole sphere \(\mathbb{S}^{n}\) by *σ* _{ n }.

*i*and multiplying by 2,

*B*

_{∗}(

*ε*) is any ball (on the sphere) of radius

*ε*. So we obtain

### Lemma 8

*Let*

*μ*

*be an absolutely continuous spherically symmetric measure on*ℝ

^{ n }.

*Suppose that*

*K*

*is a convex body in*ℝ

^{ n }

*with inscribed ball*

*B*,

*centered at the origin*.

*Then*

*where*

*T*

*is a plank with inscribed ball*

*B*.

### Proof

*μ*as an integral, it suffices to prove the inequality

*S*centered at the origin. Let the radii of

*B*and

*S*be

*r*and

*R*, respectively. For

*R*≤

*r*, inequality (2) is obvious, so we consider

*R*>

*r*.

*T*∩

*S*is the complement of the

*ε*-neighborhood of two opposite points

*X*

_{0}in

*S*, where

*ε*=arccos

*r*/

*R*. Since

*K*has

*B*as the inscribed ball, the set

*X*′=

*∂K*∩

*B*contains the origin in its convex hull. It is easy to see that the set

*X*=

*R*/

*rX*′ is not contained in an open hemisphere and that its

*ε*-neighborhood is disjoint with

*K*∩

*S*. By Lemma 7,

Now we deduce the following (the same as [8, Theorem 2]):

### Lemma 9

*Suppose that*

*K*

*is a convex body in*\(\mathbb{S}^{n}\)

*with inscribed ball*

*B*.

*Then*

*where*

*K*

_{0}=

*H*

_{0}∩

*H*

_{1}

*is an intersection of two hemispheres with inscribed ball B*.

*Note that*

*σ*(

*K*

_{0})

*equals*\(\frac{\alpha \sigma_{n}}{2\pi}\),

*where*

*α*

*is the angle between*

*H*

_{0}

*and*

*H*

_{1}.

### Proof

Obtained from Lemma 8 by central projection that takes the center of *B* to the origin in ℝ^{ n }. □

Now Theorem 3 follows from Lemma 9 by bounding from above the volume of every *K* _{ i } in terms of *r*(*K* _{ i }).

## 7 The Hyperbolic Kadets Theorem

It is interesting that the Kadets theorem does not hold for hyperbolic space unlike the spherical case mentioned above. We skip the calculation here because of the negativity of this result, but the figures should be sufficiently convincing.

*Ω*and a regular hexagon inscribed in it. Let us cover this disk by two convex shapes, which are drawn in Fig. 3 (this is the Poincaré model). The maximal inscribed disk of a shape is drawn by a dashed line. Since it does not contain the center of

*Ω*, its radius is less than half of the radius of

*Ω*.

Note that this counterexample uses essentially that *C* _{1} and *C* _{2} do intersect. The authors do not know whether the Kadets theorem holds for partitions in the hyperbolic space.

## Notes

### Acknowledgements

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.Alexander, R.: A problem about lines and ovals. Am. Math. Mon.
**75**, 482–487 (1968) zbMATHCrossRefGoogle Scholar - 2.Ball, K.: The plank problem for symmetric bodies. Invent. Math.
**104**(3), 535–543 (1991). doi: 10.1007/BF01245089 MathSciNetzbMATHCrossRefGoogle Scholar - 3.Bang, T.: A solution of the “plank problem”. Proc. Am. Math. Soc.
**2**, 990–993 (1951) MathSciNetzbMATHGoogle Scholar - 4.Bezdek, A.: On a generalization of Tarski’s plank problem. Discrete Comput. Geom.
**38**(2), 189–200 (2007). doi: 10.1007/s00454-007-1333-8 MathSciNetzbMATHCrossRefGoogle Scholar - 5.Bezdek, A., Bezdek, K.: A solution of Conway’s fried potato problem. Bull. Lond. Math. Soc.
**27**(5), 492 (1995) MathSciNetzbMATHCrossRefGoogle Scholar - 6.Bezdek, A., Bezdek, K.: Conway’s fried potato problem revisited. Arch. Math.
**66**(6), 522–528 (1996) MathSciNetzbMATHCrossRefGoogle Scholar - 7.Bezdek, K.: Classical Topics in Discrete Geometry. Springer, Berlin (2010). doi: 10.1007/978-1-4419-0600-7 zbMATHCrossRefGoogle Scholar
- 8.Bezdek, K., Schneider, R.: Covering large balls with convex sets in spherical space. Contrib. Algebra Geom.
**51**(1), 229–235 (2010) MathSciNetzbMATHGoogle Scholar - 9.Brass, P., Moser, W., Pach, J.: Research Problems in Discrete Geometry. Springer, New York (2005) zbMATHGoogle Scholar
- 10.Kadets, V.: Coverings by convex bodies and inscribed balls. Proc. Am. Math. Soc.
**133**(5), 1491–1496 (2005) MathSciNetzbMATHCrossRefGoogle Scholar - 11.Nazarov, F., Sodin, M., Vol’berg, A.: The geometric Kannan–Lovász–Simonovits lemma, dimension-free estimates for the distribution of the values of polynomials, and the distribution of the zeros of random analytic functions. St. Petersburg Math. J.
**14**(2), 351–366 (2002) MathSciNetGoogle Scholar - 12.Tarski, A.: Further remarks about the degree of equivalence of polygons. Odbitka Z. Parametr.
**2**, 310–314 (1932) Google Scholar