The Best Way to Pack Spheres Numberphile

Featuring James Grime... Check out Brilliant (and get 20% off their premium service): https://brilliant.org/numberphile (sponsor)
More links & stuff in full description below ↓↓↓
Sphere trilogy: http://bit.ly/Sphere_Trilogy
Strange Spheres in Higher Dimensions: https://youtu.be/mceaM2_zQd8
Earthquakes and Spheres: https://youtu.be/2vnqSwWAn34
More James Grime on Numberphile: http://bit.ly/grimevideos
James Grime website (you can book him for talks): http://singingbanana.com
Numberphile is supported by the Mathematical Sciences Research Institute (MSRI): http://bit.ly/MSRINumberphile
We are also supported by Science Sandbox, a Simons Foundation initiative dedicated to engaging everyone with the process of science. https://www.simonsfoundation.org/outreach/science-sandbox/
And support from Math For America - https://www.mathforamerica.org/
NUMBERPHILE
Website: http://www.numberphile.com/
Numberphile on Facebook: http://www.facebook.com/numberphile
Numberphile tweets: https://twitter.com/numberphile
Subscribe: http://bit.ly/Numberphile_Sub
Videos by Brady Haran
Editing and animation in this video by Pete McPartlan
Patreon: http://www.patreon.com/numberphile
Numberphile T-Shirts: https://teespring.com/stores/numberphile
Brady's videos subreddit: http://www.reddit.com/r/BradyHaran/
Brady's latest videos across all channels: http://www.bradyharanblog.com/
Sign up for (occasional) emails: http://eepurl.com/YdjL9

Ah yes the grand mathematical properties of a ball pit

:I love James Grime, he's one of my fav people in numberphile videos. You have to admit, though, that "Doctor Grime" would be an excellent name for a Captain Planet villain.

:Can you talk more about the formal mathematical language used for a computer to check a proof conclusively? A nice number/computerphile crossover

:I saw someone do this with oranges once, I think he was also the inventor of the "parker square"

:2 James grime video in a row It feels like heaven

:Why all the mathematics? Just look at my gut after I eat 12 bags of Maltesers.

:I have a solution for problem #25. Where can i collect my million dollar reward?

:The computer screen displays a few lines from the first paragraph of the Wikipedia article "Sphere packing" in a hexadecimal representation. "In geometry, a sphere packing is an arrangement of non-overlapping spheres within a containing space. The spheres considered are usually all of identical size, and the space is usually three-dimensional Euclidean space. However, sphere packing problems can be generalised to consider unequal spheres, n-dimensional Euclidean space (where the problem becomes circle packing in two dimensions, or hypersphere packing in higher dimensions) or to non-Euclidean spaces such as hyperbolic space. A typical sphere packing problem is to find an arrangement in which the spheres fill as large a proportion of the space as possible. The proportion of space filled by the spheres is calle"

:How does disproving a finite of number counter-examples count as a proof? They have to demonstrate first that any potential counter-example is essentially equal to one of the five thousand or one hundred. Have they? Edit: As has been pointed out in responds to this, it might be that Dr. Grime glossed over this point to keep the level of mathematics involved understandable to laypeople. I understand that and it is perfectly understandable and fine, I would have just preferred this detail at least to be mentioned in the video, considering that the reduction from infinitely many cases to finitely many is both a necessary condition and that it being possible is an interesting fact, if true. Instead not a single word is spent on wether these 5000 examples cover all cases. One sentence would have been enough, but this way there is something missing.

:There are some inaccuracies in the video. The triangular pyramid is in fact exactly the same as the square pyramid, but they are not the same as the hexagonal one. The two types of packing have the same packing factor but a fundamentally different structure. Google FCC and HCP for more info. Also table salt, NaCl, is not fcc or hcp, it is a simple cubic lattice and is therefore not a perfectly packed.

:Handy information for jugglers. 😉

:Oi mate! 'Ave you got you'self a loicense fo them fancy maths bruv?

:"...looked for the best way to pack his CANNIBALS." Oh, i think i misheared that part.

:*I wonder why always, that rubiks cube always remain unsolved*

:Great talk, but IMHO you should have mentioned Laszlo Fejes Toth for "He also investigated the sphere packing problem. He was the first to show, in 1953, that proof of the Kepler conjecture can be reduced to a finite case analysis and, later, that the problem might be solved using a computer." (from wikipedia)

:please do a video on michael atiyah and the riemann hypothesis thing

:As a material engineer I am a bit annoyed by the distinction between "aluminium and copper, or crystals like tablesalt". If aluminium or copper have a regular packing they ARE crystals ;)

:Will you mention Viazovska's recent result in 8- and 24-dimensional space?

:wait... you just make a finite list of possible counterexamples and just cause you could not find a better packing you conclude you found the best packing?!

:Had real trouble following this video as I couldn't help worrying about this unsolved cube... Leaving unsolved cubes lying around is a sin :)

:I remember when you pack this in 4D or even like 10D you can pack a larger sphere inside a sphere.

:Where was this 3 years ago when I had a math task to find out the best way to pack spheres.

:You mean the best way to park squares, Parker squares that is

:2 James video in a row *I HAPPY*

:When is the video on the supposed RH proof coming?

:pack 'em deep is the best way

:3D spheres in 4D is different.

:I love the way he says problem, he sounds French but just on that one word lol

:"To be continued..."
Me:

Honestly I already knew this from inorganic chemistry classes and I hate it so much!!

:A hint on combinatorics, Hamming distance, and error detection and correction?

:Hahhahaha cliffhanger in a Pack Spheres video? Numberphile!

:ask the material scientists or crystallographers, they can pack spheres in 27 ways

:James STILL hasn't hung up his pictures!

:The animations are perfect - they clarify what's being said so well. Great video.

:So Raleigh asked his friend to solve the problem and Raleigh gets the credit?

:What about packing n-spheres in the n-th dimension? Recently read that there is a hypothesis, that this kind of packing is not the best in higher dimensions...

:Oh that "to be continued"! Cheeky!

:Lover your work. Bucky Fuller was a “closest-packed sphere” expert. Surprised you didn’t mention his work. Also, Penrose was big into tiling space, so not being an expert but a dilettante in all their work, I would’ve thought they might have addressed some of these ideas. You should do some videos on their work.

:Please solve that rubix cube lying over there for centuries ..

:I love how easy you explain everything..always learning something new! Thank you!

:Make a video on congruent numbers plz!!!

:Packing..... In an infinite space. Surely a vital consideration when considering the efficiency of the packing solution, is the shape of the bounding volume?

:Sphere packing in n dimensions is my favorite problem in mathematics. Thanks for covering this!

:I see that hexagonal packing formation and I see an FCC iron crystalline structure

:Hahaaha yes, of course! (nervous American laughter) That gosh darned Sir Arthur Rowl--I mean Raleigh! Who else would it have been?

:Octahedra and tetrahedra stacked together fill volumes in the most efficient manner. Read R. Buckminster Fuller Synergetics.

:However, all this holds only if there are no boundaries. If there actually is a finite box we want to pack with spheres, it becomes much more complicated, especially if the dimensions of the box are not divisible by the size of the unit of the packing.

:The first of the trilogy in the SPCU (Sphere Packing Cinematic Universe)

: