本文へ
ハクソク

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

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

元記事: 原文(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の図解 が話題
  • 直感的理解のしやすさ から一般層にも注目
  • 今回の成果が 今後の最適化理論や幾何学研究 に与える影響

提供: ハクソク · 要約更新:

AIによる日本語要約です。内容は原文とあわせてご確認ください。

Hacker Newsの議論を読む

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段落で要約するのは無理だってわかってるけど、それでも気になる。

Hacker Newsで議論の続きを見る

同じ出典の記事