ハクソク

世界を動かす技術を、日本語で。

韓国の数学者が解決した60年の数学パズル

102日前原文(www.koreaherald.com)

概要

  • 韓国の数学者Baek Jin-eonが60年近く未解決だった幾何学パズルを解決
  • 彼の研究がScientific Americanの2025年数学的ブレイクスルーTOP10に選出
  • 問題は「moving sofa problem」と呼ばれるL字型廊下の最適形状問題
  • Baekは論理的証明で従来の候補形状が上限であることを証明
  • 論文はAnnals of Mathematicsで査読中

韓国数学者Baek Jin-eon、60年未解決の幾何学パズルを解決

  • Baek Jin-eon、Korea Institute for Advanced Study所属の数学者
  • moving sofa problem（動くソファ問題）の解決で国際的評価
  • Scientific American誌2025年数学的ブレイクスルーTOP10選出
  • 同問題は1966年Leo Moserが提起、L字型廊下を通過可能な最大面積の剛体形状を問うもの
  • 高度な数学知識不要で理解できる問題として米国教科書などで有名
  • 研究者たちは効率的な形状の提案と解の範囲の絞り込みを続けてきたが、上限証明は未達成

moving sofa problemの歴史とこれまでの進展

  • 1968年John Hammersley：面積約2.2074平方メートルの形状を提案
  • 1992年Joseph Gerver（Rutgers大学）：さらに複雑な曲線形状（面積約2.2195平方メートル）を提案
  • Gerverの形状が最有力候補となるも、より大きな形状が不可能である証明はなかった

Baek Jin-eonの研究内容と意義

  • 7年かけて研究、2024年末にarXivへ119ページの論文を公開
  • Gerverの形状が厳密な上限であることを証明
  • 従来のコンピュータ支援推定ではなく、論理的推論で最適性を証明
  • 研究過程について「希望を持っては壊し、灰の中からアイデアを拾い上げて進む」と表現
  • 「数学研究は夢見ることと目覚めることの繰り返し」と語る
  • 論文は現在Annals of Mathematics誌で査読中

問題へのアプローチと今後

  • Baekは「理論的枠組みが不明確な問題」に惹かれたと述懐
  • 既存のアイデアと結びつけ、最適化問題として再定式化、新たなツールを開発
  • 「こうした問題の進展には時間がかかる」「小さな種を植えた感覚」とコメント

Baek Jin-eonの経歴

  • University of Michiganで博士号取得
  • National Institute for Mathematical Sciencesで研究スペシャリスト歴任
  • Yonsei Universityポスドク在籍中の29歳時に問題解決

moving sofa problemの図解と社会的影響

  • 幾何学分野におけるmoving sofa problemの図解が話題
  • 直感的理解のしやすさから一般層にも注目
  • 今回の成果が今後の最適化理論や幾何学研究に与える影響

Hackerたちの意見

(2024) ソースはScientific-Americanだよ。https://www.scientificamerican.com/article/mathematicians-so... （https://news.ycombinator.com/item?id=42946052）論文についてのディスカッション（131ポイント、2024年、36コメント）https://news.ycombinator.com/item?id=42300382
>> 「希望を持ち続けては、それを壊して、灰の中からアイデアを拾い上げて前に進むんだ」と、[Baek]は韓国高度研究所が発行するウェブマガジンのインタビューで言ってた。「自分はどちらかというと夢想家で、数学の研究は夢を見ては目が覚めるのを繰り返している感じだね。」素敵だね！
Dan Romikが移動するソファ問題についていいイントロを書いてるよ。https://www.math.ucdavis.edu/~romik/movingsofa/
└
うわ、やばいね。家具を入れるために窓枠を外す時は、私は小さい家具を推奨するよ。
実際の論文はこちらだよ。https://arxiv.org/pdf/2411.19826
└
1992年のGerverの曲がった「ソファ」（面積 ≈ 2.2195）は、ただの良い推測じゃなくて、実際に最適なんだ。この問題は、単位幅の廊下で直角のコーナーを滑らせることができる最大の2D形状を求めているんだ。これがぴったりフィットするソファだよ。https://en.wikipedia.org/wiki/File:Gerver.svg
これが有名なソファ問題だよ！やっと解決されたなんて信じられない。簡単そうに見える問題ですら数学の手が届かないことに、何度もウィキペディアの記事を見つめながら驚いてたよ。
└
数学って、ネジで留まってる問題をバラすためにフルセットのレンチを使うみたいな時があるよね。
この文章にある科学報道のスタイルが大好き！一貫して客観的な詳細レベルを保ってる（「ベクトル空間をゼリーの塊として想像してみて」みたいなことは全然ない）。専門家が主張されていることを正確に理解できるし、一般の人にもアクセスしやすい。自分が目指している読者層に向けて書かれている感じがする：必ずしも全てのトピックの専門家ではないけど、高校を卒業して注意を払っている人。まあ、こんな書き方は現代ではあまり報われないんだろうけどね。ほとんどの読者は読んでいる時に一貫して注意を払わないし、正直自分もそうだし。
└
クアンタの比喩がちょっとイライラすることもあるけど、「この廊下の角を通れる最大のソファはどれくらいか」って、リーマン予想よりも一般の人に説明しやすいのは確かだよね。
└
批判したい出版物はたくさんあるけど、Quantaはいつも高い基準に達してると思うから、評価されるべきだよね。これが同じテーマについてのQuantaの記事だよ。[1] 詳細がもっとあって、完璧なソファの写真も載ってるし、実際の研究論文へのリンクもある。彼らは「高校を卒業した後」のレベルを目指してるから、そこがいいんだよね。問題の解決策から学ぶチャンスをくれるし、自分で考えることを促してくれる。Quantaがいつも「専門家に何が主張されているかを正確に理解させる」わけではないのは同意するけど、それは問題だよね。でも、研究論文へのリンクがあることで、その罪はかなり軽減されてると思う。[1] https://www.quantamagazine.org/the-largest-sofa-you-can-move... それから、彼らが証明戦略をどう説明しているかも見てみて。 > 「まず、彼は彼の空間にある任意のソファについて、Qの出力がソファの面積以上になることを示した。これは、ソファを含む形の面積を測定したことを意味する。だから、BaekがQの最大値を見つけられれば、最適なソファの面積の良い上限を得られることになる。」 > 「これだけでは移動ソファ問題を解決するには不十分だった。でもBaekは、Gerverのソファに対してQを定義して、関数が単に上限を示すだけではなく、その出力がソファの面積と正確に等しくなるようにした。だからBaekは、QがGerverのソファを入力したときに最大値に達することを証明するだけでよかった。それは、Gerverのソファがすべての潜在的なソファの中で最大の面積を持つことを意味し、移動ソファ問題の解決策になる。」
└
同意するけど、もっと知りたいな。最適性の証明の直感は何なの？119ページの論文を2段落で要約するのは無理だってわかってるけど、それでも気になる。
あのグラフィックを見てると…ほぼ明らかに思えるね。外側のコーナー半径は、内側の曲線半径と何らかの固定の関係にあるんじゃないかな？内側の曲線が浅ければ浅いほど、外側の曲線は大きくならなきゃいけない。完全に凸の外側は、内側が平らでもいいし、端から端まで凹んでいる内側は、外側が平らでも構わない。証明を書いた彼には拍手を送りたい！この記事が、なぜ60年もかかったのかをもっと詳しく説明してくれたらよかったのに…
└
何かを証明するのが難しい理由を説明するのは、たいてい難しい。既存のアプローチがうまくいかなかっただけだから。あんまり満足感はないよね。結局、やってみるしかないし、それでも満足できるわけじゃない。
└
証明は包括的であるべきだよね。ちょっとバカバカしい例だけど、1、3、5、7が素数だから、すべての奇数が素数だと思われがち。もちろん、そうじゃないんだけど、実際に素数を生成できる様々な方法についての証明がたくさんあって、ほんとに素数を生成できるんだよね。
└
あなたが言ってる「明らかな」解決策は、ハマースリーソファ（1968年）で、A=2.2074なんだよね。長い間、これが最適な形かもしれないと思われてたけど、証明されてはいなかった。実際、もっと良い形があることがわかったんだ。ゲルバーソファ（1992年）は、18の曲線セグメントから成る複雑な形で、A=2.2195なんだ。今まで、もっと良い形があるかどうかわからなかったんだよね（証明が成立すればだけど）。詳しくはここを見てね: https://en.wikipedia.org/wiki/Moving_sofa_problem
> いわゆる移動ソファ問題は、1メートルの一定の幅のL字型廊下の直角コーナーを通過できる剛体の形状がどれくらい大きくなれるかを問う問題です。これはダーク・ジェントリーのホリスティック探偵社でも扱われていて、フィクションの中ではすでに解決されている問題なんだよね。
アイロニックだね。韓国ではソファを廊下を通さずにリフトで運ぶことが多いよ（高いところもあるからちょっと怖いけど）。 https://centers.ibs.re.kr/html/living_en/housing/moving2.htm...