Innovative Tech

50年以上の未解決問題「ソファ移動問題」を数学的に解決か　韓国の研究者が発表　L字の廊下を曲がれる最大の大きさとは

　韓国の延世大学に所属するペク・チネさんが発表した論文「Optimality of Gerver’s Sofa」は、1966年からの未解決問題「ソファ移動問題」（Moving sofa problem）を解決したという研究報告である。

　この問題は、家具を引っ越す際、大きなソファを例えば、幅1mの廊下の直角の曲がり角で運ぶことを考える。このとき、廊下を曲がることのできる最大の面積を持つソファ（平面図形）はどのようなものか、という問題である。

　数学的には次のように定式化できる。幅1の直角の廊下があり、水平な通路から垂直な通路へとつながっている。この廊下の中を連続的に動かせる平面図形の中で、最大の面積を持つものを求める。ただし図形は途中で切断したり変形したりはできない。

　1992年に作家のジョセフ・ガーバーさんは、面積約2.2195……の特殊な形状（ガーバーのソファ）を考案。この図形は、まるでL字型の廊下に合わせて「へこみ」を持つような形をしている。この「へこみ」により、図形は廊下を効率的に曲がることができる。

　今回発表した論文では、このガーバーのソファが実際に最大面積を持つことを証明した。証明は3つのステップからなる。

　最初に、この最大のソファは単調な形をしており、真っすぐな辺を持つ凸形状から、L字型の廊下の内側の角に合わせて一部が削られた形となっている。このソファは動く際に、辺の長さが互いにバランスよく保たれている。また、移動中に90度の角度を完全に回転することも証明された。

　次のステップでは、図形が満たすべき「単射条件」という性質を導く。これは、L字型廊下の内側の角が描く軌跡を、動いているソファから見たとき、その軌跡は交差することがないというもの。この性質は、最後のステップで図形の面積を評価する際に重要となる。

　最後のステップでは、単射条件を満たす図形の面積の上限値を求める。これは図形を3つの凸集合の組み合わせとして表現することで行われる。「マミコンの定理」という図形の面積に関する定理を使って、この上限値が「凹性」という数学的な性質を持つことを証明する。

　さらに、2018年にロミックが発見した方程式を使って、この上限値の変化率（方向微分）を調べ、ガーバーのソファの形状が局所的な最大値となることを示す。

　上限値の凹性という性質により、この局所的な最大値は大域的な最大値でもあることが分かる。これによって、ガーバーのソファが可能な限り最大の面積を持つことが証明されたとしている。

Source and Image Credits: Baek, Jineon. “Optimality of Gerver’s Sofa.” arXiv preprint arXiv:2411.19826（2024）.

Innovative Tech

2019年にスタートした本連載「Innovative Tech」は、世界中の幅広い分野から最先端の研究論文を独自視点で厳選、解説している。執筆は研究論文メディア「Seamless」（シームレス）を主宰し、日課として数多くの論文に目を通す山下氏が担当。イラストや漫画は、同メディア所属のアーティスト・おね氏が手掛けている。

この連載の記事をもっと見る

この記事の著者

関連記事

• 

  「なぜ時間は過去→未来にしか進まない？」を“量子もつれ”で説明か　未解決問題「時間の矢」に切り込む

• 

  周期性のない図形「ペンローズ・タイル」が量子コンピュータのエラーを訂正？　カナダの研究者らが発表

• 

  数学の未解決問題「アインシュタイン問題」を“完全解決”する新図形発見　「The hat」を改良

• 

  “ABC予想証明”の欠陥発見に賞金1.4億円　ドワンゴ創業者の川上さんが設置

• 

  数学の超難問「幾何学的ラングランズ予想」を証明か？　計1000ページ以上の証明論文を米研究者らが公開