860 likes | 872 Views
Explore the Kneser-Poulsen Conjecture and its implications for the area of union and intersection of discs. Investigate the theorem and its applicability in higher dimensions, spherical space, and hyperbolic space.
E N D
Problems related to the Kneser-Poulsen conjecture Maria Belk
A Bunch of Discs Suppose we rearrange the discs so that the distances between centers increases.
A Bunch of Discs Suppose we rearrange the discs so that the distances between centers increases.
A Bunch of Discs What do you think happens to the area of the union of the discs?
A Bunch of Discs What do you think happens to the area of the union of the discs? Probably increases.
A Bunch of Discs What do you think happens to the area of the intersection?
A Bunch of Discs What do you think happens to the area of the intersection?
A Bunch of Discs What do you think happens to the area of the intersection?
A Bunch of Discs What do you think happens to the area of the intersection? Probably decreases.
Kneser-Poulsen Conjecture Conjecture (Kneser 1955, Poulsen 1954) If the distances between the centers of the discs have not decreased, then the area of the union has either increased or remained the same. Also conjectured: The area of the intersection has either decreased or remained the same.
Kneser-Poulsen Theorem Theorem (Bezdek and Connelly, 2002)If the distances between the centers of the discs have not decreased, then: • The area of the union has either decreased or remained the same. • The area of the intersection has either increased or remained the same.
Kneser-Poulsen in other spaces? We can ask the analogous question in: • Higher dimensions , • Spherical Space • Hyperbolic Space
Kneser-Poulsen in other spaces? We can ask the analogous question in: • Higher dimensions , • Spherical Space , • Hyperbolic Space
Kneser-Poulsen in other spaces? We can ask the analogous question in: • Higher dimensions , • Spherical Space , • Hyperbolic Space ,
Notation • p = (, , , , ) is a configuration of points in .
Notation • p = (, , , , ) is a configuration of points in . • q is also a configuration of points in .
Notation We say that q is an expansion of p, if , ,
Notation We say that pcontinuously expands to q if there is a continuous motion from p to q, in whichthe distances change monotonically.
Notation We say that pcontinuously expands to q if there is a continuous motion from p to q, in whichthe distances change monotonically.
Notation We say that pcontinuously expands to q if there is a continuous motion from p to q, in whichthe distances change monotonically.
Wall Continuous Case In , , and , Csikós has shown: Theorem (Csikós 1999, 2002) If there is a continuous expansion between the two configurations, then the volume behaves appropriately. Why? Because = , where = size of Wall between discs and = change in distance between and
Continuous Case Wall Why? Because = , where = size of Wall between discs and = change in distance between and
Continuous Case Why? Because = , where = size of Wall between discs and = change in distance between and
Continuous Case For more than 2 balls: Walls = The walls come from the Voronoi diagram.
Kneser-Poulsen in other spaces? Theorem (Csikós, 2006) Euclidean, Hyperbolic, and Spherical spaces are the only reasonable spaces to ask the question in. Counterexamples exist if the space is • Not homogeneous • Not isotropic • Not simply connected
On a Cylinder: An expansion, where the area of the union decreases:
On a Cylinder: An expansion, where the area of the union decreases:
What is known? In Euclidean space: • Gromov: balls in dimensions. • Bern and Sahai: Discs in two dimensions if there is a continuous expansion. • Csikós: Any dimension if there is a continuous expansion. • Bezdek and Connelly: Discs in two dimensions (no continuous expansion needed).
What is known? Spherical and Hyperbolic Space: • Csikós: Any dimension if there is a continuous expansion.
Outline • Sketch of proof for dimension 2. • The problems in extending this proof to higher dimensions? • Hyperbolic and spherical spaces? • Tensegrities in Hyperbolic space • Remaining Questions
Outline • Sketch of proof for dimension 2. • The problems in extending this proof to higher dimensions? • Hyperbolic and spherical spaces? • Tensegrities in Hyperbolic space • Remaining Questions
Outline • Sketch of proof for dimension 2. • The problems in extending this proof to higher dimensions? • Hyperbolic and spherical spaces? • Tensegrities in Hyperbolic space • Remaining Questions
Outline • Sketch of proof for dimension 2. • The problems in extending this proof to higher dimensions? • Hyperbolic and spherical spaces? • Tensegrities in Hyperbolic space • Remaining Questions
Outline • Sketch of proof for dimension 2. • The problems in extending this proof to higher dimensions? • Hyperbolic and spherical spaces? • Tensegrities in Hyperbolic space • Remaining Questions
Proof of Kneser-Poulsen: The proof due to Bezdek and Connelly has two main components: • Lemma: If there is a continuous expansion from p to q in dim , then volume in dim does not decrease. • Lemma: If q is an expansion of p, in dim , then there is a continuous expansion in . Since , the conjecture holds.
Lemma 1 Lemma (Bezdek and Connelly): If there is a continuous expansion from p to q in dim , then volume in dim does not decrease. Idea of Proof: Use Cylindrical Shells to relate the volume in dimension to the surface area in dimension .
Lemma 1 Lemma (Bezdek and Connelly): If there is a continuous expansion from p to q in dim , then volume in dim does not decrease. Sketch of Proof: Discs (in 1 dimension, equal radii, for simplicity)
Lemma (Bezdek and Connelly): If there is a continuous expansion from p to q in dim , then volume in dim does not decrease. Sketch of Proof: Discs (in 1 dimension, equal radii, for simplicity) • Create Voronoi Diagram
Lemma (Bezdek and Connelly): If there is a continuous expansion from p to q in dim , then volume in dim does not decrease. Sketch of Proof: Discs (in 1 dimension, equal radii, for simplicity) • Create Voronoi Diagram
Lemma (Bezdek and Connelly): If there is a continuous expansion from p to q in dim , then volume in dim does not decrease. Sketch of Proof: Discs (in 1 dimension, equal radii, for simplicity) • Create Voronoi Diagram • Create balls in 3 dimensions
Lemma (Bezdek and Connelly): If there is a continuous expansion from p to q in dim , then volume in dim does not decrease. Sketch of Proof: Discs (in 1 dimension, for simplicity) • Create Voronoi Diagram • Create balls in 3 dimensions. • Consider cylindrical shells.
Sketch of Proof Result of Cylindrical Shells for each Voronoi region separately:
Sketch of Proof • Differentiate to get: Vol. in dim. = Surface area in dim • If there is a continuous motion in dim , then the surface area changes monotonically between the 2 configurations. • Thus, the volume in dim does not change.
Lemma 2 Lemma (well-known): If q is an expansion of p, in dim , then there is a continuous expansion in . Proof: Place p and q in orthogonal subspaces, then the following motion works:
Recall Lemma (Bezdek and Connelly) If there is a continuous expansion from p to q in dim , then volume in dim does not decrease.
2 4 3 1 Question Lemma (Bezdek and Connelly) If there is a continuous expansion from p to q in dim , then volume in dim does not decrease. Question: If p is an expansion of q in , in what dimension is there a continuous expansion? 4 2 3 1 q p
2 4 3 1 Example This expansion in 2 dimensions requires 3 dimensions for a continuous expansion. 4 2 3 1 q p