Sphere Eversion

https://rreusser.github.io/explorations/sphere-eversion/

by colinprince • 6 years ago

202 45 6 years ago

rreusser.github.io

magnio• 6 years ago

I watched a great YT video on this. Still kinda hard to believe it's possible.

https://youtu.be/sKqt6e7EcCs

J253• 6 years ago

I love the fact that a field like topology, with all its underlying mathematical complexity, also has a such a beautiful visual aspect to it.

Does anyone know if people try to tackle topology problems from the visual side? Before computers I imagine it wasn’t really considered. But say one is curious about a particular geometry, any researchers just whip it up in software and start contorting things to see what happens?

Beautiful visualization, by the way. Very cool use of Idyll. Watching the sphere evert reminded me of trying to solve those complex wooden burr puzzles.

https://wikipedia.org/wiki/Burr_puzzle

fractallyte• 6 years ago

That's exactly it! I'm sure there are extremely talented 'visual' thinkers who just can't grasp standard mathematical symbology. But is their mathematical ability in any way diminished by this?

Bees make hexagonal combs. Bower birds weave elaborate, decorative structures to attract mates. And spiders and their webs!

Now that we have the tools, it's time to attract those visual/tactile thinkers who don't even realize that they're natural mathematicians...

walleeee• 6 years ago

Bees make hexagonal combs.

I can't speak to the birds or spiders, but hexagon packing in combs can be explained without endowing bees with mathematical reasoning. It's a geometrically efficient structure that they've likely happened upon as a result of collective behavior (large numbers of bees constructing adjacent cells simultaneously). Check out Philip Ball's Shapes for a detailed account of the "accidental" emergence of many complex natural structures.

Jarmsy• 6 years ago

"A topological picturebook" by George K Francis is full of wonderful hand drawn visual explorations of topological concepts. http://www.probehead.com/log/texts/Francis/

sevensor• 6 years ago

I had the great fortune to get my start programming as an REU for George. We were visualizing non-Euclidean spaces in VR, in the UIUC CAVE around the turn of the millenium. He also had an animated (minimax) sphere eversion with special audio cues that would play when interesting things happened. His website is still up, and I think some of his more recent REUs have been working on WebGL versions. Only about 5 percent of the math stuck, since I was not a math major, but I really came to appreciate affine transformations.

RBerenguel• 6 years ago

This is a book I keep recommending as well. It is very fun (and also includes a sphere eversion).

jobigoud• 6 years ago

And the first visualization of the sphere eversion was found by a blind mathematician Bernard Morin.

somethingsome• 6 years ago

I really like the mathematical impressions from Fomenko

http://chronologia.org/en/math_impressions/images.html

For programmable graphics, I like Penrose https://www.cs.cmu.edu/~kmcrane/Projects/Penrose/Penrose_SIG...

And finally the same author as Penrose (Keenan Crane) has a challenge for creating beautiful visualisation of abstract and difficult math concepts, but at the moment I'm unable to find the link

shezi2• 6 years ago

I have done differential topology and geometry for a time in University. There is a lot of visualisation going on in every lecture every day, even if it is not computer visualization. Everything in difftop is drawn at some point, just so you can get an understanding of what's happening. In fact, I would say that topology and subfields are formalisations of these beautiful and silly visual ideas.

One problem, however is that visualizations are by necessity simplifications, even in pure 2d cases like this one. That's not a sphere, that's a tessellation of one. Everything on a screen is differential and "smooth" (or actually, everything is discrete and thus not differentiable), but some things are symbols for "not differentiable here". Even these break down in pathological cases, singularities and such. This doesn't make the visualisation any less useful, but IMHO it can in most cases not be "the" reasoning, only a guide to reasoning.

Besides,as the article points out, there are many non-constructive proofs that don't have any visuals.

Have a look at how vsauce explains Banach-Tarsky [1] or any of 3blue1brown's excellent videos to see the edges of what's possible with visualisations.

[1] https://youtube.com/watch?v=s86-Z-CbaHA [2] https://youtube.com/watch?v=zjMuIxRvygQ

IshKebab• 6 years ago

This is amazing. Must have been a lot of work to make!

Smaug123• 6 years ago

There's a proof project taking place in the Lean theorem prover right now! I don't know whether the method is the same as that in the article (I'm pretty sure it's not).

https://leanprover-community.github.io/sphere-eversion/bluep...

kmill• 6 years ago

Yeah, it's not. They're following something like Smale's proof as best as I understand. It will give some general useful topological tools for mathlib.

solveit• 6 years ago

This is beautiful

The_rationalist2• 6 years ago

Why hasn't this been achieved in the real world?I strongly feel they need a mathematical trick inexistant in the real world, either a tear or a supplementary dimension.

sideshowb• 6 years ago

I was wondering if there's some real process that uses the "twist" trick, even if it's not inverting a sphere.

Packing a pop-up tent maybe? Always seems difficult enough..!

andreareina• 6 years ago

The stowable shades people use to cover car windshields and windows use a twist to fold them up without having to crimp/crease the stiff wire on the exterior that gives it its support.

om2• 6 years ago

Real material objects can't self-intersect. Self-intersection is the only trick this uses that is nonexistent in the real world.

pdonis• 6 years ago

How is self-intersection allowed in the math? Isn't that inconsistent with maintaining the topology?

pbhjpbhj• 6 years ago

B-E condensates? Or as someone else said a fluid could model it is you had control over it.

Arrrlex• 6 years ago

In the real world you usually can't pass a material through itself.

The_rationalist2• 6 years ago

I wonder if that couldn't be possible with colored gaz or liquid (magnetic "liquids" that hold together). That would be quite fascinating to see IRL.

throwaway_pdp09• 6 years ago

The vid says the surfaces are allowed to pass through each other. I don't see how that corresponds to anything in the real world.

amelius2• 6 years ago

From the article:

Note that unlike physical objects, self-intersection is permitted.

Causality1• 6 years ago

This is a topic I read about every few years and I always end up having to just trust that they're right because I can't follow the math and they're clearly using definitions for "crease" and "smooth" that don't match my own.

war1025• 6 years ago

I think the part that turns me off to it is "Look we can flip a sphere inside out" followed shortly after by "You can't do this in real life".

So what's the point then? Who cares?

caconym_3• 6 years ago

The point is that it's a solution to a difficult mathematical problem, and a particularly interesting one since it has a different result with one less dimension and naively there's no reason to expect any different in 3D.

A lot of math is like this, in the sense that you can't set it up in the real world and prove it's true with physical objects, but it's still interesting and often practically useful. I guess the difference here is that it's close to being physically possible, causing frustration here among HN readers? But it's odd to see so much disparagement of the result. This is a famous result in topology, with good reason.

heavenlyblue• 6 years ago

Doesn’t the sphere intersect itself while this operation is performed?

scatters• 6 years ago

Obviously it has to pass through itself. The interesting thing is that it is possible to evert it without pinching or creasing.

pja• 6 years ago

Yes, that’s why you can’t do it in 3 dimensions (without self-intersection) - if you have an extra dimension to hand you can invert the sphere using the extra dimension to avoid self-intersection I believe.

cevn• 6 years ago

Thanks, this confused me greatly watching the graphics, I'm no mathematician... OK if we can just push the sphere through itself then yeah I guess you can invert it...

caconym_3• 6 years ago

Can you do the same with a circle?

(In case you didn't read the article carefully—no, you can't, and that's why this is interesting.)

roenxi• 6 years ago

Piece of advice for the lazy: examine the links closely. The "Outside In" video, linked in the article, is substantially more interesting than the text.

ridaj• 6 years ago

Spectacular presentation

bane2• 6 years ago

This trick reminds me of that game ten year old children play where one of them shoots the other with a "gun" and the child who was "hit" suddenly declares a new rule, "I have a forcefield!".

Meaning, you can't pinch or cut. So sphere eversion is obviously impossible...but the suddenly, "I can pass surfaces through one another!"

So I guess the game here is not in finding interesting solutions within a set of constraints (no pinching or cutting!) but in just making up arbitrary new rules when the problem becomes intractable?

zodiac2• 6 years ago

If you think the constraints make it trivial, try producing a solution with the same constraints. (intersection allowed but pinching and cutting not)

bane2• 6 years ago

I think the constraints make it impossible. It's obvious that allowing free passage through a surface is the same as cutting.

Sphere Eversion

Related Stories