For those that don't understand - https://en.wikipedia.org/wiki/Moving_sofa_problem
Looks like the author researched this during their PhD which ended this year, obtained a postdoc and then finished it off. Good on them!
I wonder how the result varies if one of the corridors (the second one for simplicity) is given a variable width. And if the angle of turn is variable.
I am not well versed with mathematics publishing, but has this proof been already been peer reviewed by other mathematicians, or is it still awaiting confirmation/proof replication?
I was trying to search in the paper for a definition of the shape, to, for example, draw it in SVG.
It seems there is no closed-form solution. I saw this paper is maybe easier to follow for the definition:
https://www.math.ucdavis.edu/~romik/data/uploads/papers/sofa...
Quote:
It is worth noting that Gerver’s description of his shape is not fully explicit, in the sense that the analytic formulas for the curved pieces of the shape are given in terms of four numerical constants A, B, φ and θ (where 0 < φ < θ < π/4 are angles with a certain geometric meaning), which are defined only implicitly as solutions of the nonlinear system of four equations
Interesting, but not practical. All real furniture movers would make use of the third dimension.
The difficulty of extending the definition to 3 dimensions is that the restriction to 2 separates two classes of constraint: being able to move the sofa round the corner, and the shape of the sofa being comfortable to sit on.
I introduced my kids (13 and 11) to the sofa problem last week as we installed this cabinet organizer from IKEA: https://www.ikea.com/us/en/p/utrusta-corner-base-cab-pull-ou...
After showing them a youtube video about the problem they saw clearly how the organizer is a sofa and even made a joke about it a few days later.
Relatable math is pretty great. Also really cool is showing how academia translates to enriching our lives in benign ways.
Wow. This solves a problem that's been open for at least 58 years.
An interesting thing about this proof is that it looks as though an earlier draft relied on computer assistance – see the author’s code repository at https://github.com/jcpaik/sofa-designer – whereas this preprint contains a proof that “does not require computer assistance, except for numerical computations that can be done on a scientific calculator.”
Numberphile had a great video on this a few years ago: https://youtu.be/rXfKWIZQIo4
Big if true! But has it been reviewed by experts?
This paper makes use of Mamikons theorem. This theorem is not widely known, but it should be: https://en.m.wikipedia.org/wiki/Visual_calculus
So say you have a hallway shaped like a 5, what is the maximum volume 3d-gerver's that can make it through (by being possible to rotate to swap the turning direction?
Seems like he could have saved himself a whole lot of trouble by just getting a sectional.
Pivot!
My favourite mathematical problem looks to have been solved.
Dies Ikea offer one of these?
There are more interesting investigations and results This one is ok but not remarkable
What is the practical application of this?
Here's a fun render of how a real life Gerver's Sofa could look:
https://www.mdpi.com/symmetry/symmetry-14-01409/article_depl...
I kinda want one...
Source: https://www.mdpi.com/2073-8994/14/7/1409