15
$\begingroup$

I would like to write an article about powerful existence theorems that assert, under mild and simple conditions, that some basic pattern or regularity exist. See some examples below. By mild conditions I mean short, easy, general. By simple conditions I mean that they should be accessible to undergraduate mathematics/science students.

I am especially interested in "low-dimensional" examples which allow an easy graphical representation.

I had some obvious examples in mind (given below), but many of them are rather classical results established until around 1970, roughly speaking.

I would be interested in more recent results. Thanks to the users that added great examples in the comments!

(1) Cantor Set, and existence of cardinalities $>|\mathbb N |$

(2) Lemma of Sperner, and Brouwer Fixed Point Theorem

(3) Lemma of Tucker, and Borsuk-Ulam Theorem

(4) Ramsey's Theorem

(5) Wallpaper Groups: There exist exactly 17 plane symmetry groups

(6) Banach-Tarski Paradox

(7) Wagner's Theorem about Planar Graphs

(8) Monsky's Theorem

(9) Four Color Theorem

(10) Penrose Tiling

EDIT: adding great examples from the comments

(11) Max-Flow Min-Cut Theorem from graph theory

(12) Tverberg's Theorem about intersecting convex hulls

(13) Van der Waerden's Theorem

(14) Szemerédi's Regularity Lemma from extremal graph theory

(15) Recent results about Existence of Designs (Keevash 2014, Glock et al. 2016)

$\endgroup$
21
  • 3
    $\begingroup$ On the topic of Ramsey's theorem, you might be interested in van der Waerden's Theorem about arithmetic progressions. $\endgroup$ May 17, 2020 at 11:07
  • 3
    $\begingroup$ The Max-flow Min-cut theorem was proved by Ford and Fulkerson in 1956, which is slightly later than 1950. $\endgroup$ May 17, 2020 at 13:14
  • 2
    $\begingroup$ I’m not sure what you mean by minimum regular pattern, but probably the existence of designs fits the bill (recent result of Keevash and of Glock et al). $\endgroup$
    – user36212
    May 17, 2020 at 16:37
  • 1
    $\begingroup$ Tverberg's theorem might be suitable, and its topological version also. $\endgroup$ May 18, 2020 at 9:52
  • 2
    $\begingroup$ Brenier’s Theorem on the existence of transport maps between probability measures seems to qualify. $\endgroup$
    – Alf
    May 19, 2020 at 2:11

5 Answers 5

17
$\begingroup$

Alexandrov's gluing theorem: If one glues polygons together along their boundaries to form a closed surface homeomorphic to a sphere, such that no point has more than $2\pi$ incident surface angle, then the result is isometric to a convex polyhedron, uniquely determined up to rigid motions.

There is as yet no effective procedure to actually construct the polyhedron guaranteed to exist.

A.D. Alexandrov. Convex Polyhedra. Springer-Verlag, Berlin, 2005. Monographs in Mathematics. Translation of the 1950 Russian ed. by N. S. Dairbekov, S.S. Kutateladze, and A.B. Sossinsky. p.100.


The result also holds for a single polygon, whose perimeter is glued closed by identifications:
          CubeMeta
          Snapshots from a video by Erik Demaine, Martin Demaine, Anna Lubiw, J.O'Rourke, Irena Pashchenko.


$\endgroup$
3
  • 4
    $\begingroup$ I think you want to say "then the result is isometric to a convex polyhedron". Consider the cube on $(\pm1,\pm1,\pm1)$, with the top face replaced by four triangles going to $(0,0,1/2)$. Those instructions for gluing do not result in a convex polyhedron, but the result is isometric to the cube with the top face replaced by four triangles going to $(0,0,3/2)$, and that is a convex shape. $\endgroup$
    – user44143
    May 18, 2020 at 16:53
  • 2
    $\begingroup$ @Joseph O'Rourke, thanks a lot, this is a great example of what I am looking for $\endgroup$
    – Claus
    May 18, 2020 at 17:00
  • 2
    $\begingroup$ @MattF. Thanks for the correction. Among the class of convex polyhedra, the result is unique. Your phrasing is clearer, and I've changed it. $\endgroup$ May 18, 2020 at 17:18
9
$\begingroup$

There are a number of easily stated problems in elementary computational geometry that have been solved only relatively recently, e.g.,

  • the origami existence theorem that a single rectangular sheet of paper can be folded into the shape of any connected polygonal region, even if it has holes;

  • the fold-and-cut theorem that any shape with straight sides can be cut from a single sheet of paper by folding it flat and making a single straight complete cut;

  • the carpenter's rule problem of moving a simple planar polygon continuously to a position where all its vertices are in convex position, without ever crossing itself (below is an example from Erik Demaine's website);

  • the existence of hinged dissections; i.e., the existence of a common hinged dissection of any finite collection of polygons of equal area (below is an example due to Greg Frederickson).

$\endgroup$
2
  • $\begingroup$ thanks a lot for these examples. I followed the link, they are great! Very powerful. Thanks again $\endgroup$
    – Claus
    May 23, 2020 at 20:38
  • $\begingroup$ Timothy thank you for adding these great graphics for illustration! $\endgroup$
    – Claus
    May 27, 2020 at 4:55
3
$\begingroup$

adding other great examples, many of them provided in the comments section

(16) Kakeya needle problem and Besicovitch sets: You want to rotate a needle of unit length by $360°$. What is the region with smallest area to do that? It turns out there is no lower bound > 0 for the area of such a region, i.e. you can find arbitrarily small such regions. (https://en.wikipedia.org/wiki/Kakeya_set)

(17) A more recent one, Brenier’s Theorem on the existence of optimal transport maps between probability measures. (https://en.wikipedia.org/wiki/Transportation_theory_(mathematics))

(18) Recent results about bounded gaps between primes (e.g. Zhang)

(Adding these examples as an answer because the list of examples in my original question is getting too long)

$\endgroup$
1
  • $\begingroup$ @MattF., this is a fair comment and thank you for making it. I added it because of its extreme simplicity, and because it establishes what I would call a regularity: You can obviously divide it into an even number (=existence). But that's the only possible case and all other cases fail. I feel it draws a powerful and insightful line between existence and non-existence. $\endgroup$
    – Claus
    May 18, 2020 at 17:56
2
$\begingroup$

1) The set of continuous everywhere but differentiable nowhere functions on the unit interval is a meagre set of measure 1.

2) The existence of a space filling curve, or more generally surjective continuous maps $S^m \to S^n$ for $n>m$ (and then the fact that however any such map is homotopic to a map that misses a point).

$\endgroup$
1
  • 1
    $\begingroup$ thanks a lot! Two good examples $\endgroup$
    – Claus
    May 23, 2020 at 7:12
1
$\begingroup$

This example is not really recent, since it was discovered in 1849 by Cayley and Salmon, but I think it qualifies. On a smooth cubic surface in $\mathbb{CP}^3$ there are exactly 27 lines.

This is a prototypical result in enumerative geometry. There are plenty of results in the same spirit, such as the 3264 conics tangent to 5 general conics, or the (related) 28 bitangents to a general quartic curve, but I think that Cayley-Salmon is striking for the simplicity of its hypothesis.

$\endgroup$
1
  • $\begingroup$ thanks again! It is a great example $\endgroup$
    – Claus
    Jun 12, 2020 at 8:42

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.