Wolfram Computation Meets Knowledge

Tetrahedra Packing

Back in 325 BC, Aristotle talked about which polyhedra can fill space, and noted that regular tetrahedra could fill space.

Around 1470 AD, Regiomontanus showed that Aristotle was wrong. He also found the spot where a statue on a pedestal appears the largest, as shown in the Demonstration “The Statue of Regiomontanus”.

In 1896, Minkowski tried to solve the problem of how well tetrahedra could pack. He failed. But he did introduce many valuable tools to math, such as “The Minkowski Sum of Two Triangles”.

In 1900, Hilbert tried the problem of tetrahedra packing and included it as a part of problem 18 in his list of unsolved problems. Hilbert is also famous for the Hilbert curve and “The Hilbert Hotel”.

In 1972, Ulam conjectured that spheres had a worse packing density than tetrahedra. He wound up being correct, as we shall see. He is also known for “The Ulam Prime Spiral”.

In 2006, Conway and Torquato found a packing density of .7175. Conway is famous for the Schmitt–Conway biprism, “Intrinsically Knotted Graphs”, the “Look and Say sequence”, and the Game of Life.

In 2008, Chen increased the packing density to .7786. A series of short-lived records were set and published prominently in Nature, Science, and Physical Review Letters, three of the most esteemed scientific journals to be published in. The New York Times reported on the results. All of these results have now been beaten.

As of July 27, 2010, the best-known packing density for the tetrahedron is 4000/4671 = .856347…. It was found by Chen, Engel, and Glotzer. Here’s Mathematica code for the 16-tetrahedra cell for this packing.

Mathematica code for the 16-tetrahedra cell
16-tetrahedra cell

Here is a larger section of that packing.

Code for a larger section of that packing
Output for a larger section of that packing

This has been added to the “Densest Tetrahedral Packing” Demonstration. Here’s the best-known packing as seen in the Demonstration.

Densest Tetrahedra Packing

If tetrahedra aren’t regular, there are five known types that will fill space. These are listed in “Space-Filling Tetrahedra”. Here is the strangest of them, packed into a triangular prism:

Tetrahedra packed into a triangular prism
Tetrahedra packed into a triangular prism

I glossed over the mistakes made in finding these five polyhedra—three different mathematicians each found four of them. And there might be others, since this is an unsolved question. Even writing this blog entry seems foolhardy, since the best-known result is barely more than a month old. If I am wrong here, I get to join the ranks of 2,500 years worth of famous mathematicians, who were also wrong. But maybe the problem of tetrahedra packing is finally settled.

Download Notebook

Comments

Join the discussion

!Please enter your comment (at least 5 characters).

!Please enter your name.

!Please enter a valid email address.

7 comments

  1. I really enjoy this blog but the fact that the code is provided as images is lame. Where are the links to get the notebook? Every post with code should have one.

    Reply
  2. I totally agree with Sal, where’s the code???

    Reply
  3. A download link for the notebook is at the bottom of the article. Also, both sets of code are in demonstrations, and links are provided to them.

    Reply
  4. Thanks! I am pretty sure that was not there when I first read it but if I missed it, sorry.

    Reply
  5. Dear Dr.Ed Pegg Jr
    Thank you very much for your blog.
    Can you please let me know your email address?

    Regards,
    Memmed

    Reply
  6. Back in 325 BC, Aristotle .. noted that regular tetrahedra could fill space.
    Around 1470 AD, Regiomontanus showed that Aristotle was wrong.
    — Wow, almost 2000 years to correct an obvious error. (obvious if you manually try to pack some regular tetrahedral)

    Reply