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

213日前原文(quantamagazine.org)

概要

17世紀の王族の賭けから始まった立体幾何学問題の解決
「Rupert性」と呼ばれる性質を持つ多面体の研究史
ほとんどの凸多面体がRupert性を持つと考えられていたが、例外が発見
SteiningerとYurkevichによる「Noperthedron」の証明
新たなアプローチによる今後の研究の可能性

3世紀越しの幾何学問題とNoperthedronの発見

2つの同じ大きさのサイコロを使い、一方にトンネルを開けてもう一方を通せるかという問題
17世紀末、Prince Rupertがこの賭けに勝利
- John Wallisが数学的に証明、内対角線方向にトンネルを開ければ通過可能
- 4%大きい立方体では通過不可
この性質を持つ立体は他にもあるのかという疑問
数学者は凸多面体（凹みや突起のない平面だけで構成される立体）に注目
1968年、Christoph Scribaが四面体と八面体もRupert性を持つことを証明
近年、十二面体やサッカーボール型多面体など、様々な凸多面体でRupert性が確認

Rupert性の一般則とNoperthedronの登場

ほぼすべての凸多面体がRupert性を持つと推測されていた
SteiningerとYurkevichが「Noperthedron」を発見
- 90頂点、152面を持つ特殊な形状
- どの方向からトンネルを開けても同じ形が通過できないことを証明
- 「Nopert」は「Rupert」と「nope」の合成語
理論的考察と大規模計算による証明
- Noperthedronの頂点配置の特殊性が鍵

影による立体通過の理解と計算アプローチ

立方体の影の形状に着目
- 標準姿勢では影は正方形、角を上に向けると正六角形
- 正方形の影が六角形に収まるため、通過が可能
- より良い影の向きも存在（Nieuwlandによる発見）
より複雑な形状でも、様々な向きの影を比較し通過可能性を調査
コンピューターによるRupertトンネル探索アルゴリズムの発展
- 多くの多面体で即座にトンネル発見
- 一部の形状（例：rhombicosidodecahedron）は長時間計算でも見つからず

Nopertの希少性と発見プロセス

Rupert性を持たない形状（Nopert）は非常に稀
Murphyによる数億個のランダム多面体生成と検証
- ほぼ全てでRupertトンネル発見
- 一部の頑固な候補がNopertの存在を示唆
SteiningerとYurkevichによる本格的な証明
- 全ての可能な向きを高次元パラメータ空間で管理
- 「global theorem」と「local theorem」により、空間全体を網羅的に排除
- NoperthedronがRupert性を持たないことを厳密に証明

新手法と今後の展望

新たな証明手法により他のNopert発見や、より難解な形状への応用期待
これまでの「全ての凸多面体がRupert性を持つ」という自然な予想が覆された意義
研究者たちは今後、Nopertのさらなる探索や理論の発展に注力予定

まとめ

17世紀から続く幾何学的な謎が最新の数学と計算技術でついに解明
Noperthedronの発見により、凸多面体のRupert性に例外が存在することが示された
今後の多面体研究に新たな道筋を示す成果

Hackerたちの意見

これはなかなか興味深い解決策だね。すべての可能性を試すことはできないから、ひとつ選んで、その解決策の他の特性を判断できれば、同じエリアのいくつかを除外できるんだ。数週間前に「ルパート」や「ノパート」に関する面白い動画を見たんだけど、今回の進展の前にちょうどいい偶然だったな。

└

そんなに偶然じゃないよ。記事自体にtom7が言及されてるし、彼の動画の感動的な結論でも、記事で紹介された研究について触れてる。実は、tom7も同じことを証明しようとしてたんだ！

おそらく、単純な球体は自分を通過できないという点で明らかに条件を満たすだろうね。

└

このパズルは凸多面体にのみ適用されるよ。

└

球体は凸多面体ではないんだ。

一般人の疑問なんだけど、ノパート候補って結局、球体にどんどん近づいてるだけで、ルパートトンネルを持てないんじゃないの？

└

そうだね、もっと面が増えると見た目が球に近づいてくる。でも、球は明らかにルパートじゃないし、凸多面体がルパートじゃないかどうかっていうのはもっと面白い問題だよね。

└

どれだけ面を追加できるか見るのは面白そうだね。形が自分自身を通り抜けられなくなるまで、ずっと追加し続けられるのかな？それとも、時々ノパートに出くわしながら無限に通し続けられるのかな？それとも、ノパートが徐々に増えて、ノノパートを見つけるのが難しくなるのかも。誰が知ってるか、やってみよう！

└

でも大事なのは、彼らはそうじゃないってこと！

ノパートヘドロン（「ノパート」は、マーフィーが「ルパート」と「ノープ」を組み合わせて作った言葉）。数学にユーモアがあるのはいいね。

└

この論理的な誤りにはイライラしたな。ノパートはno+ルパートなのに、ノープ+ルパートは実際にはノーパートになるはずだよ。

└

Tom7は僕のお気に入りの人の一人だよ。めっちゃ面白いし、技術的な深さもすごいし、ユーモアもたっぷり。彼のことを一日中宣伝したいくらい！関連動画: https://www.youtube.com/watch?v=QH4MviUE0_s あまり関連性はないけど、これが僕のお気に入りかも: https://www.youtube.com/watch?v=ar9WRwCiSr0

この記事の詳細さがすごく好き。ちゃんと理解できるレベルで、でも数学的な細かさがあまりにも多くてついていけないってこともなかったから、ちょうど良かった。

誤解を招くタイトルだね。他の形は何年も前から知られてるし、例えば球体とか。ここでの新しさは、自分自身を通り抜けられない初めての多面体ってところだね。

└

凸多面体（でもタイトルについての君の指摘は正しいよ）

└

球は多面体で近似できるよね。まあ明らかに、そういう多面体は全部ルパート特性を持ってるように見える。この新しいノパートは一つの重要な点で違うみたいで、平らな上面/底面に近い頂点が、上下の頂点よりも垂直軸に対して浅い角度にあるんだ。T字型のテトロミノを自分自身を通り抜けさせることはできるかな？

└

一般向けに、タイトルは「曲線なしの最初の形が見つかった[...]」って書いた方がいいと思う。

└

なぜ球体が自分を通過できないの？投影された影は直径と同じサイズだよ。

このテーマと詳細レベルの記事が載ってる印刷版の雑誌があったらいいなぁ。特に年齢の高い子供向けに…インターネットの気が散る要素なしで、アクセスしやすくて面白い内容が欲しい。ググったらQuantaはオンラインだけみたい。印刷されてる似たような出版物知ってる人いる？

プリンス・ルパートってめっちゃ面白いキャラクターだよね。この問題は、彼のすごく豊かな人生の中のちょっとした注釈みたいなもんだ。

まっすぐ通る必要があるの？動いてる形が通過する時に回転しなきゃいけないシナリオも想像できるんだけど。ブロックパズルやソファを角を曲がらせるのに似てるかも。記事にはまっすぐ通るって書いてあって、ほとんどの分析は影の技法のバリエーションで行われてるけど、それはまっすぐ通らなきゃいけないんだよね。でも、元々の賭けは、考え始めたきっかけは、コピーを通過させる必要があるって言ってたと思うから、回転させるのはこの問題では許容される技術だと思う。

プリンス・ルパートの名前は「プリンス・ルパートの雫」でしか聞いたことなかったけど、実際には彼は一つじゃなくていくつかの素晴らしいキャリアを持ってたみたいだね。https://en.wikipedia.org/wiki/Prince_Rupert_of_the_Rhine

ハクソク