←back to thread

161 points isaacfrond | 1 comments | | HN request time: 0.201s | source
Show context
danwills ◴[] No.42724002[source]
I'd really love to know what the mathematicians are actually doing when they work this stuff out? Is it all on computers now? Can they somehow visualize 24-dimensional-sphere-packings in their minds? Are they maybe rigorously checking results of a 'test function' that tells them they found a correct/optimal packing? I would love to know more about what the day-to-day work involved in this type of research actually would be!
replies(6): >>42724128 #>>42724129 #>>42724210 #>>42724238 #>>42724766 #>>42732516 #
davethedevguy ◴[] No.42724129[source]
Likewise!

In higher dimensions, are the spheres just a visual metaphor based on the 3-dimensional problem, or are mathematicians really visualising spheres with physical space between them?

Is that even a valid question, or does it just betray my inability to perceive higher dimensions?

This is fascinating and I'm in awe of the people that do this work.

replies(5): >>42724167 #>>42724168 #>>42724173 #>>42724768 #>>42725292 #
jstanley ◴[] No.42724173[source]
> just a visual metaphor

It's not really a metaphor.

An n-sphere is the set of all points that are the same distance away from the same centre, in (n+1)-dimensional space. That generalises perfectly well to any number of dimensions.

In 1 dimension you get 2 points (0-sphere), in 2 dimensions you get a circle (1-sphere), in 3 dimensions you get a sphere (2-sphere), etc.

EDIT: Also, if you slice a plane through a sphere, you get a circle. If you slice a line through a circle, you get 2 points. If you slice a 3d space through a hypersphere in 4d space, do you get a normal sphere? Probably.

replies(3): >>42724324 #>>42724811 #>>42731839 #
1. zmgsabst ◴[] No.42724811[source]
> If you slice a 3d space through a hypersphere in 4d space, do you get a normal sphere? Probably.

Yep — and this will generally be the case, as the equation looks like: x1^2 + x2^2 + … + xn^2 = r^2. If you fix one dimension, you have a hyperplane perpendicular to that axis — and a sphere of one dimension lower in that hyperplane.

For four dimensions, you can sort of visualize that as x^2 + y^2 + z^2 + t^2 = r^2, where xyz are your normal 3D and t is time. From t=-r to t=r, you have it start as a point then spheres of growing size until you hit t=0, then the spheres shrink back to a point.