The Unsolved Lollipop Problem - Numberphile

Key Concepts

• Mathematical Lollipop: A geometric figure consisting of a circle and an infinite, perpendicular stick that passes through the circle's center.
• Region Partitioning: The process of dividing a 2D plane into distinct areas using geometric shapes.
• Intersection Maximization: The strategy of arranging shapes to maximize the number of crossing points between lines and curves to increase the total number of regions.
• Euler’s Formula (Application): Used here to relate the number of intersections and components to the total number of regions created.
• Perturbation: The act of slightly modifying or "jiggling" a geometric configuration to optimize the number of intersections.

---

1. The Geometry of Lollipops

A "mathematical lollipop" is defined as a circle with an infinite stick attached perpendicularly to its edge, extending through the center. When drawn on a plane (like a beach), one lollipop divides the space into two regions: the interior of the circle and the infinite exterior.

2. Calculating Regions with Multiple Lollipops

The goal is to maximize the number of regions created by overlapping $n$ lollipops. The number of regions is determined by the number of intersections between the components (circles and sticks).

• Two Lollipops: By carefully overlapping the circles and ensuring the sticks cross the circles and each other, one can achieve 10 regions.
  • Formula: $Regions = (\text{Total Intersections}) + n + 1$.
  • For $n=2$, there are 7 intersections: 2 circle-circle, 4 stick-circle, and 1 stick-stick. $7 + 2 + 1 = 10$.
• Three Lollipops: By ensuring each pair of lollipops intersects in 7 points and avoiding triple-point intersections (where three lines meet at one spot), one achieves 25 regions.
  • Total intersections: $7 \times 3 = 21$.
  • Calculation: $21 + 3 + 1 = 25$.

3. The Challenge of Four Lollipops

Adding a fourth lollipop is significantly more complex. The theoretical maximum (if every pair intersected perfectly) would be 47 regions.

• Initial Attempts: Using perturbation (copying and slightly shifting existing shapes), researchers reached 43 regions.
• The Optimal Solution: A researcher named Jonas achieved 45 regions and proved it was the mathematical limit.
• Methodology: Jonas magnified the existing three-lollipop configuration by a factor of 100. This made the arcs of the circles appear nearly straight, creating a "mess" of lines in the center. He then placed a tiny fourth lollipop within that central intersection cluster.
• The "Loss": The reason 47 is impossible is that the fourth stick cannot physically cross all existing circles and sticks in the required manner without violating geometric constraints.

4. Future Projections (Five Lollipops)

The problem remains open for five lollipops. Current research suggests the maximum number of regions is either 71 or 72, with 71 being the leading hypothesis. This is determined by taking the four-lollipop configuration and applying further perturbations.

5. Notable Quotes

• "You never want to have three things meeting at a point because you make a tiny little change and you pick up one piece, one region." — Explaining the importance of avoiding triple-point intersections to maximize region counts.
• "He proved that 45 is best possible. You know what he did was really extraordinary. He took those three and he magnified them a little bit." — Describing the breakthrough method for the four-lollipop problem.

Synthesis

The "lollipop" problem is a study in combinatorial geometry. It demonstrates that as the number of shapes increases, the complexity of maximizing intersections grows exponentially. The transition from simple drawing to "magnification and perturbation" highlights how complex geometric problems are often solved by changing the scale of the perspective, allowing for the insertion of new elements into previously "crowded" intersection zones. The problem remains a work in progress for $n \ge 5$.