自分自身を通過できない最初の形状が発見される

• 数学者たちが自分自身を通過できない3次元形状を初めて発見し、既存の幾何学的直観を揺るがす発見となった
• ほとんどの多面体は、**Rupert通路（Rupert passage）**と呼ばれる特定の回転・移動の組み合わせによって自己複製体を通過させられるが、今回の形状はどの方向でもそれが不可能であることが確認された
• 研究者たちは数億個の多面体をアルゴリズムで生成・検証し、ほぼすべてのケースで通路を見つけたが、ごく少数の例外が存在した
• 2人の数学者はYouTube動画から着想を得て独自のアルゴリズムを開発し、2021年の論文で特定の多面体は通過不可能だろうと推定しており、今回の研究でその可能性がさらに強まった
• この発見は、幾何学的対称性と空間探索アルゴリズムの研究に新たな方向性を示し、数学的形状の根本的な限界を明らかにした事例と評価されている

---

Nopert形状の希少性と探索過程

• 研究者たちは、**Nopert（自己通過不可能な形状）**の候補が極めてまれであることを確認した
  • Murphyは2023年から数億個の多面体を生成して実験
  • ランダムな多面体、球面上の頂点配置、対称構造を持つ多面体、一部の頂点を意図的に変形した形状などを含む
• 彼のアルゴリズムはほとんどすべての形状でRupert通路を容易に探索したが、一部の形状では最後まで通路を見つけられなかった
  • これらの例外的な形状が真のNopertなのか、それとも単に通路探索が難しいだけなのかは、まだ不確かである
• こうした結果は、真のNopertが存在する可能性を数学者の間で強く示唆した
  • しかし2024年8月以前には確かな証拠はなかった

「No Passage」— 通路が存在しない形状の発見

• Steininger（30歳）とYurkevich（29歳）は、数学オリンピックの同窓生であり友人であり研究パートナーで、学界を離れた後も未解決問題を共に探究してきた
  • 「3時間前にもピザを食べながら、ほとんど数学の話ばかりしていた」というインタビューでの発言が、彼らの情熱を物語っている
• 5年前、2人はある立方体が別の立方体を通過するYouTube動画を見てRupert問題に魅了された
  • その後、独自のRupert通路探索アルゴリズムを開発し、一部の形状は通過不可能だという確信を持つに至った
• 2021年の論文で、**rhombicosidodecahedron（菱形二十・十二面体）**はRupert形状ではないだろうと推定した
  • これはMurphyとGrimmerの最近の研究より前に示された、最初の「通過不可能な立体」仮説として評価されている
• Steiningerは「私たちの研究は、こうした性質を持たない立体が存在しうると初めて推定したものだった」と述べた

Nopert証明の数学的条件

• ある形状がNopertであると証明するには、あらゆる可能な方向と回転の組み合わせについてRupert通路が存在しないことを示さなければならない
  • 各方向は回転角の集合として表現できる
  • この角度集合は、**高次元のパラメータ空間（parameter space）**上の1点として表せる
• したがって証明過程は、パラメータ空間全体を探索して通路の不在を確認する問題に帰着する
  • これは計算上きわめて複雑であり、完全な証明のためには無限の方向の組み合わせを考慮する必要がある
• 現時点での結果は、コンピュータ探索で可能な有限ケースの検証に基づいており、完全な数学的証明はまだ進行中である

[GN⁺]

Hacker News のコメント

• すべてのケースをテストできないので、1つを選んでその周辺の多くの可能性を排除していくやり方が興味深い。
  最近 Rupert/Nopert の話題に関する素晴らしい動画を見たのだが、今回の研究と時期が重なっていて面白い偶然のように感じた
  • 実はそれほど偶然ではない。記事でも tom7 に言及されており、彼の動画の最後の部分で今回の論文に直接触れている。つまり、tom7 も同じ問題を証明しようとしていたということだ
• タイトルにはやや誤解を招くところがある。具体的には、球体(sphere)のような他の形はすでにかなり前から知られていて、今回の新しさは**自分自身を通せない最初の多面体(polyhedron)**だという点だ
  • 正確には**凸(convex)**多面体を意味する。それでもタイトルへの指摘はもっともだ
  • 球は多面体で近似できる。一般にはそうした多面体は Rupert 性質を持ちそうだが、今回の Nopert は上下の平面付近の頂点が垂直軸に対してより緩やかな角度を持っている点が異なる。
    もしかすると T字型テトロミノは自分自身を通せるのだろうか、と思った
  • 専門家ではない立場からすると、タイトルは「曲線のない最初の形が発見された」くらいにしたほうが、より明確だったように思う
  • なぜ球が自分自身を通れないのか疑問だ。影として投影したときに直径と同じ大きさになるのだから、可能な気がする
• 平らな面が2つあるので、D&D のサイコロには使えない。私は今でも rhombicosidodecahedron を応援している
• 記事の詳細説明のレベルが気に入った。数学的な細部に深入りしすぎず、それでいて研究内容を実際に理解できるだけの情報が十分にあった
• 私は Prince Rupert を、彼の名が付いた「Prince Rupert’s drops」でしか知らなかったが、実際にはさまざまな分野で活躍した人物だった。
  関連内容はWikipediaで見られる
• この性質に対して「anisotransient」のような用語がまだ存在しないのが信じられない
• これを1つ見つけるのですら難しかったのなら、次の結果はおそらく「ほとんどすべての凸多面体は自分自身を通せない」になるのではないか
• 必ず直線で通過しなければならないのだろうか。回転しながら通る場合も想像できる。ブロックパズルやソファを角で回す場面のように。
  記事では直線通過に限定しており、分析の大半も影の投影手法を使っているので直線が前提だ。だが、元の賭けの条件は単に「複製体を通すこと」だったのだから、回転も許されるアプローチかもしれないと思う
  • ただしこの問題は凸多面体に限られているので、回転が助けになるとは思えない
• なぜこのような研究に時間を使うのか気になる。単なる好奇心なのか、それとも最終的に実用的な価値が生まれるのか分からない。どちらかというと芸術に近い感じがする
  • 問題そのものは実用的でないかもしれないが、それを解くために開発された手法は他分野に応用できる可能性がある。
    それに、純粋な好奇心だけで研究することにも十分な価値がある
  • 例えば、何十年ものあいだ 行列変換 や 表面法線 のような抽象的な数学が研究されてきたが、1980年代になると コンピュータグラフィックス の中核技術として使われるようになった
  • こうした研究が、ときには ベルクロ や 自己ロック機構 のような実用的発明につながることもある。誰かがその接点を見いだせば、世界を少しずつ変えられる
• 一般人の立場から見ると、Nopert 候補はだんだん球に近づく形なのではないかと思える。球には Rupert トンネルがありえないのだから
  • その通り。面が多くなるほど見た目は球に近づく。しかし球が自明に non-Rupert である一方で、凸多面体が non-Rupert になりうるのかという点のほうが興味深い問いだ
  • 面を増やし続けたら、いつまで通過可能なのか気になる。無限に可能なのかもしれないし、ところどころで Nopert が現れるのかもしれない。あるいは徐々に Nopert が増えて見つけにくくなるのかもしれない。自分で実験してみたい
  • だが重要なのは、彼らが球とは異なるという点だ