[Paper Review] Pushing disks apart - The Kneser-Poulsen conjecture in the plane

Károly Bezdek, Robert Connelly|ArXiv.org|Aug 14, 2001

Advanced Combinatorial Mathematics9 references7 citations

TL;DR

This paper proves the planar Kneser-Poulsen conjecture: when centers of equal-radius disks in the plane are rearranged so that all pairwise distances between centers weakly increase, the area of their union weakly increases and the area of their intersection weakly decreases. The proof uses a higher-dimensional embedding technique and analyzes volume derivatives under smooth expansions, establishing the result even without continuous motions between configurations.

ABSTRACT

We give a proof of the planar case of a longstanding conjecture of Kneser (1955) and Poulsen (1954). In fact, we prove more by showing that if a finite set of disks in the plane is rearranged so that the distance between each pair of centers does not decrease, then the area of the union does not decrease, and the area of the intersection does not increase.

Motivation & Objective

• To resolve the longstanding Kneser-Poulsen conjecture in the plane for equal-radius disks.
• To establish that the area of the union of disks is non-decreasing and the area of the intersection is non-increasing under pairwise center distance expansions.
• To extend prior results that required continuous expansions to the general case of arbitrary expansions.
• To develop a higher-dimensional geometric embedding method to analyze volume changes under discrete expansions.
• To demonstrate that monotonicity of volume and surface area holds even when no continuous motion connects the configurations.

Proposed method

• Embed the planar configuration of disk centers into a higher-dimensional Euclidean space (specifically, E^{2n} for n=2) using a trigonometric interpolation formula.
• Define a smooth, analytic motion in the higher-dimensional space that interpolates between the original and expanded configurations while preserving monotonicity of inter-center distances.
• Apply a formula from Csikós for the derivative of the volume of the union of balls under smooth motion to analyze how the area of the union changes.
• Use a projection argument via Lemma 7 to relate the derivative of the volume in E^{n+2} back to the area in the original plane E^n.
• Leverage piecewise-constant dimensionality of the affine span to extend the argument to configurations that do not span full dimension.
• Use induction and higher-order derivatives to generalize the result to higher-dimensional analogs, suggesting a path for future work.

Experimental results

Research questions

• RQ1 Does the area of the union of equal-radius disks in the plane weakly increase when the centers are rearranged such that all pairwise distances between centers are non-decreasing?
• RQ2 Does the area of the intersection of equal-radius disks in the plane weakly decrease under the same expansion condition?
• RQ3 Can the monotonicity of union and intersection areas be established without assuming a continuous motion between the original and expanded configurations?
• RQ4 Can higher-dimensional embeddings be used to derive monotonicity properties of geometric functionals in lower-dimensional spaces?
• RQ5 What is the role of smoothness and dimensionality in the behavior of volume and surface area under expansion?

Key findings

• The area of the union of equal-radius disks in the plane is non-decreasing when the configuration of centers is expanded, even without a continuous motion between configurations.
• The area of the intersection of equal-radius disks in the plane is non-increasing under expansion of the center configuration.
• The proof establishes the planar case of the Kneser-Poulsen conjecture in full generality, resolving a longstanding open problem.
• The method successfully bypasses the need for continuous expansions by using higher-dimensional embeddings and derivative analysis.
• The result extends to weighted surface volumes and suggests a potential inductive path to higher dimensions.
• Counterexamples show that boundary length of the union may not increase under expansion, highlighting the delicacy of the conjecture and the necessity of the volume-based approach.