Validity of the Strong Version of the Union of Uniform Closed Balls Conjecture in the Plane

This paper proves the validity of the strong version of the union of uniform closed balls conjecture in the plane.

The Gist

Here is an explanation of the paper, translated from mathematical jargon into a story about shapes, bubbles, and a geometric puzzle.

The Big Picture: The "Bubble Blanket" Problem

Imagine you have a mysterious, irregularly shaped blob of clay sitting on a table. Let's call this blob $S$.

Now, imagine you have a magical stamp: a perfect, solid circle (a "ball") with a fixed size, say radius $r$.

The Rule: The blob $S$ has a special property. If you look at any point on the very edge of the blob, you can always find a way to press that magical circle of size $r$ against the edge so that the circle fits perfectly inside the blob without poking out.

The Question: Does this mean the entire blob is just a big pile of these circles glued together? In other words, can you cover the whole shape $S$ by stacking up many circles of size $r$?

The Answer (The Old Guess): For a long time, mathematicians knew the answer was "No, not necessarily." You can have a shape that satisfies the rule but is too "wiggly" to be made of circles of size $r$. However, they guessed that if you made the circles slightly smaller, you could cover the shape.

The "Strong" Guess: In 2011, mathematicians made a very specific, bold guess (The Strong Conjecture). They said:

"If your blob satisfies the rule with radius $r$, then you can definitely cover the whole thing with circles of radius $r / \sqrt{3}$."

(Note: $\sqrt{3}$ is about 1.732. So, if your rule-circle is size 10, you can cover the blob with circles of size 5.77.)

This guess had been sitting unsolved for 15 years, even for simple 2D shapes (like on a piece of paper). This paper finally solves it for the 2D case.

---

The Metaphor: The "Wobbly Edge" and the "Triangle Trap"

To understand how the authors proved this, let's use a metaphor involving bubbles and triangles.

1. The Setup: The Impossible Point

The authors start by playing "What If?"
They say: "Let's pretend the Strong Guess is WRONG."
This means there is a tiny, stubborn speck of clay (let's call it Point X) inside the blob that cannot be covered by any circle of size $r/\sqrt{3}$.

If this speck exists, the blob must have a very specific, weird shape around it. The authors use a tool called "proximal analysis" (which is just a fancy way of looking at the direction of the edge) to find the neighbors of this speck.

2. The Three Friends: $s_0$, $s'_0$, and $s''_0$

Because the speck $X$ is so stubborn, the authors prove that it must be surrounded by three specific points on the edge of the blob. Let's call them Alice, Bob, and Charlie.

These three points are special:

• They are all touching the "stubborn speck" $X$.
• They are all "irregular" (meaning the edge of the blob is sharp or weird at these spots, not smooth).
• They are arranged in a triangle around $X$.

3. The Angle Trap (The Magic of 60 Degrees)

Here is where the geometry gets clever. The authors look at the angles between Alice, Bob, and Charlie.

• They calculate how "sharp" the corners of the triangle $Alice-Bob-Charlie$ must be to allow that stubborn speck $X$ to exist.
• Using a geometric lemma (a helper rule they proved earlier), they show that if the circles are big enough (specifically, if we are trying to use the $r/\sqrt{3}$ size), the angles at Alice, Bob, and Charlie must all be less than 60 degrees (which is $\pi/3$ radians).

4. The Contradiction

Now, remember basic geometry?

• The sum of the three angles in any triangle must equal exactly 180 degrees ($\pi$).

But the authors just proved that:

• Angle at Alice < 60°
• Angle at Bob < 60°
• Angle at Charlie < 60°

If you add three numbers that are all less than 60, the total must be less than 180.

The Result: You have a triangle where the angles add up to less than 180 degrees. This is impossible in flat, 2D space.

The Conclusion

Because assuming the "Strong Guess" was wrong led to an impossible triangle, the assumption must be false.

Therefore, the "stubborn speck" $X$ cannot exist.
Conclusion: Every single point in the blob can be covered by a circle of radius $r/\sqrt{3}$. The Strong Conjecture is TRUE for 2D shapes.

Why is this a big deal?

• It's Optimal: The authors didn't just prove you can cover it with tiny circles. They proved you can cover it with the largest possible circles ($r/\sqrt{3}$). You can't go any bigger, or the math breaks.
• The 2D Trick: The proof relies heavily on the fact that in 2D, you can order directions like a clock face and measure angles easily. The authors admit that this specific "angle sum" trick doesn't work in 3D (like a sphere) or higher dimensions, so the 3D version of this problem is still a mystery!

In short: They solved a 15-year-old puzzle about covering shapes with circles by showing that if you tried to break the rule, you would end up with a triangle that has too few degrees to exist.

Technical Summary

Here is a detailed technical summary of the paper "Validity of the Strong Version of the Union of Uniform Closed Balls Conjecture in the Plane" by Chadi Nour and Jean Takche.

1. Problem Statement and Context

The paper addresses a fundamental problem in nonsmooth analysis and convex geometry concerning the Union of Uniform Closed Balls Conjecture.

• The Setting: Let $S \subset \mathbb{R}^n$ be a nonempty, closed set. $S$ is said to satisfy the interior $r$-sphere condition if, for every boundary point $a \in \partial S$, there exists a closed ball of radius $r$ contained in $S$ that touches $a$.
• The Weak Conjecture (Conjecture 1.1): If $S$ satisfies the interior $r$-sphere condition, is $S$ necessarily the union of closed balls of some common radius $r'$?
  • Status: Proven in [4] to be true with $r' = r/2$.
• The Strong Conjecture (Conjecture 1.3): This is the central focus of the paper. It posits that if $S$ satisfies the interior $r$-sphere condition, then $S$ is the union of closed balls with the optimal radius:
  $$r' = \frac{nr}{2\sqrt{n^2-1}}$$
  • For the planar case ($n=2$), this optimal radius is $r' = \frac{r}{\sqrt{3}}$.
  • Status: Formulated over 15 years ago, this conjecture remained unresolved even for $n=2$ and $n=3$ prior to this work.

2. Methodology

The authors employ a proof by contradiction combined with geometric analysis specific to the two-dimensional plane ($\mathbb{R}^2$). The methodology relies heavily on proximal analysis (studying normal cones to non-smooth sets) and oriented angles.

Key Steps in the Proof:

1. Assumption of Contradiction:
   Assume there exists a point $x_0 \in S$ that cannot be covered by any closed ball of radius $r/\sqrt{3}$ contained in $S$.

2. Construction of Contact Points:
   Using the properties of the interior sphere condition and proximal normals, the authors construct a sequence of points on the boundary of $S$. They identify a specific closed ball $B(x_1; r_1) \subset S$ (where $r_1 < r/\sqrt{3}$) whose boundary contains at least three distinct, non-regular boundary points of $S$: $s_0, s'_0, s''_0$.

3. Lemma 3.2 (Geometric Analysis of Non-Regular Points):
   A crucial technical lemma establishes that if a point $x_0$ is not covered by a ball of radius $r/\sqrt{3}$, the boundary points of the maximal covering ball must be "non-regular."

   • At these non-regular points, the proximal normal cone is not a single ray but contains at least two distinct unit normal vectors ($\zeta_0, \xi_0$) realized by an $r$-sphere.
   • The lemma derives sharp angular estimates for these normal vectors relative to the direction of $x_0$. Specifically, it bounds the angle between the two normals and their relationship to the vector pointing to $x_0$.

4. Lemma 3.1 (Planar Geometric Lemma):
   This lemma provides a geometric inequality for a configuration of three circles and points in $\mathbb{R}^2$. It states that under specific radius constraints ($r_0 < r/\sqrt{3}$), the angle subtended by the intersection points of these circles is strictly less than $\pi/3$.

5. The Contradiction:

   • The authors apply Lemma 3.1 to the triangle formed by the three boundary points $s_0, s'_0, s''_0$.
   • Using the angular estimates derived in Lemma 3.2, they prove that each internal angle of the triangle $\triangle s_0 s'_0 s''_0$ is strictly less than $\pi/3$.
   • Result: The sum of the angles is strictly less than $\pi$ ($\sum \text{angles} < \pi$).
   • Contradiction: In Euclidean geometry, the sum of angles in a triangle must equal exactly $\pi$. This contradiction proves the initial assumption false.

3. Key Contributions

• Resolution of the Strong Conjecture in $\mathbb{R}^2$: The paper definitively proves that for any nonempty closed set $S \subset \mathbb{R}^2$ satisfying the interior $r$-sphere condition, $S$ is the union of closed balls of radius $r/\sqrt{3}$.
• Optimality of the Constant: The proof confirms that $r/\sqrt{3}$ is the sharp constant for the planar case. Previous work had shown that $r/2$ works, but the gap between $r/2$ and $r/\sqrt{3}$ was open.
• Novel Geometric Argument: The authors introduce a specific argument relying on the ordering of directions in the plane (via oriented angles). This allows them to sum the angles of a triangle to derive a contradiction, a technique that is inherently 2D.

4. Main Results

Theorem 1.4:
Let $S \subset \mathbb{R}^2$ be a nonempty and closed set satisfying the interior $r$-sphere condition for some $r > 0$. Then $S$ is the union of closed balls with common radius $r/\sqrt{3}$.

Remark on Regularity:
The proof highlights that if the conjecture were false, the boundary of $S$ would contain "non-regular" points where the proximal normal cone is large (containing multiple directions). The contradiction arises because the geometry of these non-regular points forces the formation of a triangle with an angle sum less than $\pi$.

5. Significance and Limitations

• Significance:

  • This resolves a long-standing open problem in the field of nonsmooth analysis and geometric measure theory.
  • It establishes the precise geometric threshold ($r/\sqrt{3}$) for the union of balls property in the plane.
  • It demonstrates the power of combining proximal analysis (normal cones) with classical Euclidean geometry (angle sums).

• Limitations and Future Work:

  • Dimensionality: The proof is specific to the plane ($n=2$). The authors explicitly state that the argument relies on the 1D structure of directions in $\mathbb{R}^2$ (ordered angles) and the fact that the sum of angles in a triangle is $\pi$.
  • Higher Dimensions: The paper does not solve the conjecture for $n \geq 3$. In higher dimensions, the "sum of angles" argument does not directly apply to the simplex formed by $n+1$ contact points, and the geometry of normal cones is more complex. The authors suggest that a higher-dimensional substitute for the planar angle argument is required to generalize the result.

In summary, Nour and Takche provide a rigorous, geometrically elegant proof that the strong version of the union of uniform closed balls conjecture holds in the plane with the optimal radius $r/\sqrt{3}$, utilizing a novel contradiction based on the angular properties of non-regular boundary points.