Moving sofa problem

From HandWiki
Short description: Geometry question on motion planning
Question, Web Fundamentals.svg Unsolved problem in mathematics:
What is the largest area of a shape that can be maneuvered through a unit-width L-shaped corridor?
(more unsolved problems in mathematics)

In mathematics, the moving sofa problem or sofa problem is a two-dimensional idealisation of real-life furniture-moving problems and asks for the rigid two-dimensional shape of largest area that can be maneuvered through an L-shaped planar region with legs of unit width.[1] The area thus obtained is referred to as the sofa constant. The exact value of the sofa constant is an open problem. The currently leading solution, by Joseph L. Gerver, has a value of approximately 2.2195 and is thought to be close to the optimal, based upon subsequent study and theoretical bounds.

History

The first formal publication was by the Austrian-Canadian mathematician Leo Moser in 1966,[2] although there had been many informal mentions before that date.[1]

Bounds

Work has been done on proving that the sofa constant (A) cannot be below or above certain values (lower bounds and upper bounds).

Lower

The Hammersley sofa has area 2.2074 but is not the largest solution
Gerver's sofa of area 2.2195 with 18 curve sections

A lower bound on the sofa constant can be proven by finding a specific shape of high area and a path for moving it through the corner. An obvious lower bound is [math]\displaystyle{ A \geq \pi/2 \approx 1.57 }[/math]. This comes from a sofa that is a half-disk of unit radius, which can slide up one passage into the corner, rotate within the corner around the center of the disk, and then slide out the other passage.

In 1968, John Hammersley stated a lower bound of [math]\displaystyle{ A \geq \pi/2 + 2/\pi \approx 2.2074 }[/math].[3] This can be achieved using a shape resembling a telephone handset, consisting of two quarter-disks of radius 1 on either side of a 1 by [math]\displaystyle{ 4/\pi }[/math] rectangle from which a half-disk of radius [math]\displaystyle{ 2/\pi }[/math] has been removed.[4][5]

In 1992, Joseph L. Gerver of Rutgers University described a sofa specified by 18 curve sections each taking a smooth analytic form. This further increased the lower bound for the sofa constant to approximately 2.2195 (sequence A128463 in the OEIS).[6][7]

Upper

Hammersley stated an upper bound on the sofa constant of at most [math]\displaystyle{ 2\sqrt{2} \approx 2.8284 }[/math].[3][1][8] Yoav Kallus and Dan Romik published a new upper bound in 2018, capping the sofa constant at [math]\displaystyle{ 2.37 }[/math]. Their approach involves rotating the corridor (rather than the sofa) through a finite sequence of distinct angles (rather than continuously), and using a computer search to find translations for each rotated copy so that the intersection of all of the copies has a connected component with as large an area as possible. As they show, this provides a valid upper bound for the optimal sofa, which can be made more accurate by using more rotation angles. A set of five carefully-chosen rotation angles leads to the stated upper bound.[9]

Ambidextrous sofa

Romik's ambidextrous sofa

A variant of the sofa problem asks the shape of largest area that can go round both left and right 90 degree corners in a corridor of unit width (where the left and right corners are spaced sufficiently far apart that one is fully negotiated before the other is encountered). A lower bound of area approximately 1.64495521 has been described by Dan Romik. His sofa is also described by 18 curve sections.[10][11]

See also

References

  1. ↑ 1.0 1.1 1.2 Wagner, Neal R. (1976). "The Sofa Problem". The American Mathematical Monthly 83 (3): 188–189. doi:10.2307/2977022. http://www.cs.utsa.edu/~wagner/pubs/corner/corner_final.pdf. Retrieved 2009-07-25. 
  2. ↑ "Problem 66-11, Moving furniture through a hallway". SIAM Review 8 (3): 381. July 1966. 
  3. ↑ 3.0 3.1 J. M. Hammersley (1968). "On the enfeeblement of mathematical skills by 'Modern Mathematics' and by similar soft intellectual trash in schools and universities". Bulletin of the Institute of Mathematics and its Applications 4: 66–85. https://archive.org/details/hammersley1968.  See Appendix IV, Problems, Problem 8, p. 84.
  4. ↑ Croft, Hallard T.; Falconer, Kenneth J.; Guy, Richard K. (1994). Halmos, Paul R.. ed. Unsolved Problems in Geometry. Problem Books in Mathematics; Unsolved Problems in Intuitive Mathematics. II. Springer-Verlag. ISBN 978-0-387-97506-1. https://archive.org/details/unsolvedproblems0000crof. Retrieved 24 April 2013. 
  5. ↑ Finch, Steven, Moving Sofa Constant, Mathcad Library (includes a diagram of Gerver's sofa).
  6. ↑ Gerver, Joseph L. (1992). "On Moving a Sofa Around a Corner". Geometriae Dedicata 42 (3): 267–283. doi:10.1007/BF02414066. ISSN 0046-5755. 
  7. ↑ Weisstein, Eric W.. "Moving sofa problem". http://mathworld.wolfram.com/MovingSofaProblem.html. 
  8. ↑ Stewart, Ian (January 2004). Another Fine Math You've Got Me Into.... Mineola, N.Y.: Dover Publications. ISBN 0486431819. http://store.doverpublications.com/0486431819.html. Retrieved 24 April 2013. 
  9. ↑ Kallus, Yoav; Romik, Dan (December 2018). "Improved upper bounds in the moving sofa problem". Advances in Mathematics 340: 960–982. doi:10.1016/j.aim.2018.10.022. ISSN 0001-8708. 
  10. ↑ Romik, Dan (2017). "Differential equations and exact solutions in the moving sofa problem". Experimental Mathematics 26 (2): 316–330. doi:10.1080/10586458.2016.1270858. 
  11. ↑ Romik, Dan. "The moving sofa problem - Dan Romik's home page". https://www.math.ucdavis.edu/~romik/movingsofa/. Retrieved 26 March 2017. 

External links



Retrieved from "https://handwiki.org/wiki/index.php?title=Moving_sofa_problem&oldid=3433396"