# Cutting convex regions into equal diameter and equal least width pieces

The diameter of a convex region is the greatest distance between any pair of points in the region. The least width of a 2D convex region can be defined as the least distance between any pair of parallel lines that touch the region.

1. Given a positive integer $$n$$, can every 2D convex region $$C$$ be divided into $$n$$ convex pieces, all of the same diameter? The pieces ought to be non-degenerate and have finite area.

2. If the answer to 1 is yes, how does one minimize the common diameter of the $$n$$ pieces?

3. For any $$n$$, can any $$C$$ be divided into $$n$$ convex nondegenerate pieces, all of the same least width?

4. If 4 has a "yes" answer, how does one maximize the common least width of the $$n$$ pieces?

These questions have obvious analogs in higher dimensions and other geometries.

Note added on 15th November 2020: As I have just come to know, both question 1 and 3 (existence of partitions into n pieces all of same diameter and into n pieces all of equal least width) have affirmative answers. They follow from the work of Avvakumov, Akopyan and Karasev: Convex fair partitions into an arbitrary number of pieces.

However, the existence proof for $$n$$ pieces all of same diameter (or same least width) does not directly yield an algorithm to determine a partition with that property.

• This is too many questions for one post. I suggest moving the questions about widths to another post instead. – Matt F. Nov 12 '20 at 2:50
• The questions are closely related and as I just learned, 2 of them have answers at the same source - am editing the question above accordingly. Hope that would be okay. – Nandakumar R Nov 14 '20 at 19:02
• ok. questions 3 and 6 which seem simpler and more intuitive can be shifted into another question (basically qns 1-3 are on diameter and 4-6 on least width. so one from each set goes to another post) – Nandakumar R Nov 17 '20 at 11:03

1. I assume that you want $$C$$ to be bounded here? Your language throughout the post seems to assume it. If not, then either $$C$$ is either a ray or a line or the pieces can be chosen to all have infinite diameter.
If $$C$$ is bounded, then when $$n=2$$, this can always be done*; fix a direction of a line, and consider the family of dissections given by cutting $$C$$ along translates of this line. The diameters of the two resulting pieces are monotonic with the position of the line, and continuous except possibly where part of $$C$$'s boundary forms a line segment parallel to the line (which happens in at most countably many cases), so there is some line orientation for which the diameters of the pieces must be equal as it slides along $$C$$.
3. This is not the case; take $$C$$ to be a unit equilateral triangle, and $$n=2$$. Then some piece must contain at least two vertices of the triangle, so the diameter must be at least $$1$$. But there are dissections attaining this bound where one piece is arbitrarily small: just cut it in two via a line parallel to one side and very close to the opposite vertex.
*I am not sure what you take to be a "nondegenerate" convex set, so I can't guarantee that the resulting pieces will have this property. If you mean something like "its intersection with any open ball is either empty or has positive area", then this will only happen if the convex set is a line segment or a point, and the construction given above avoids such dissections unless $$C$$ itself is similarly degenerate.