2人の若き数学者が300年来の多面体ルールを覆す――「自分自身を通り抜けられない立体」を初発見 (5/5)

3次元空間は高次元よりも変な空間かもしれない

数学の証明というのは、しばしば「特定のパズルが解けた」という形で語られます。

けれど今回の発見の含意は、もっと広い場所にまで届いています。

私たちは日常生活で、立体というものに対してかなり強い直観を持っています。

サイコロを見れば、それが立方体だと一瞬で分かります。

コップを見れば、これは円柱の一種だな、と分かります。

複雑な彫刻を見ても、「ここに穴を開ければ向こうが見える」「これくらいなら回せばこの隙間を通せる」と、なんとなく見当がつきます。

この「見れば分かる」という安心感は、私たちが空間を歩き、家具を運び込み、引っ越しの段ボールをパッキングするときに、ずっと無意識に頼っている感覚です。

ところが数学は、こう告げてきました。

「自分の穴を絶対に通れない、不思議な形が存在する」

しかも、何かエキゾチックな高次元の話ではありません。

私たちが手に取って眺められる、ふつうの3次元の立体の話なのです。

ここで興味深い対比が浮かび上がります。

すでに数学者たちは、超立方体（4次元以上の「立方体」のこと）に限れば、すべての次元でルパート性を持つことを証明していました。

つまり、超立方体という限られたクラスでは、高次元でも自分自身を通り抜けられる穴が必ず存在する。

ところが、私たちの慣れ親しんだ3次元の世界には、自分自身を通れないノパーヘドロンが存在する。

少なくとも超立方体では現れない対比が、3次元の別の凸多面体で現れた――そう言える結果なのです。

人間の直観が一番効くと思っていた3次元の世界が、実は「ヘンな例外」を抱え込んでいた。

これは、私たちの空間理解について、なかなか不思議な事実です。

私たちは普段、自分が住んでいる3次元の世界が一番自然で、高次元は「どこか変な場所」だと思っています。

ところが数学は、こう告げてきました。

「変なのは、もしかすると私たちの3次元のほうかもしれない」と。

研究チームは今後の課題として、いくつかの問いを残しています。

「ノパーヘドロンの仲間は、無限にあるのか、それとも有限のごく稀な存在なのか？」

「ロンビコシド十二面体のような、長年の容疑者たちは、本当にノパートなのか？」

「立体を回しながら通せるような穴ならどうなのか？ 立体イライラ棒のルールから外れた、もっと自由な遊びのなかでは、ノパートはなお通せないのか？」

300年の問いに答えが出たことで、新しい問いが生まれました。

これが数学の常で、ひとつの扉が閉じると、その奥に別の扉が現れます。

専門家向け補遺

ルパート王子(1619〜1682) はイングランド王チャールズ1世の甥で、内戦時には王党派軍を指揮した軍人でしたが、晩年は研究所に引きこもって冶金学やガラス製造の実験に没頭していたそうです。 彼が数学史のなかで果たした役割は評価が別れますが、多彩な才能を持っていたのは確かでしょう。

著者らは、Rupert’s property（ルパート特性）――「ある凸立体の内部にまっすぐな穴を開け、その立体と合同なコピーを通せるか」という問題を、正射影と凸包の包含問題として定式化しています。そのうえで、ひとつの具体的な凸多面体について、可能な配置をすべて排除する形で証明を組み立てました。

この定式化において、多面体は3次元空間内の凸位置にある有限個の点として扱われ、その凸包が立体に対応します。Rupert’s propertyは、物理的な穴あけ実験ではなく、2つのorthogonal projection（正射影）の比較として書かれます。コピー側の射影を平面内で回転させたものが、穴を開ける側の射影の凸包の内部に厳密に含まれるかどうかを見るわけです。論文では点対称な凸多面体に議論を絞っているため、平面内の平行移動を別に導入する必要がなく、2つの射影方向と平面内回転を表す5つのパラメータで問題が記述されます。

著者らが構成する反例は、Noperthedron、略してNOPと呼ばれます。3つの有理座標の点を出発点とし、z軸まわりの15回回転対称と中心反転を含む30個の操作を施して作られています。頂点数は3×30で90個、原点に関して点対称、半径は1に正規化されています。この構成は美的な配慮によるものではなく、対称性によって探索すべき5次元パラメータ空間を縮小するための設計です。実際、2つの方位角はそれぞれ0から2π/15まで見れば足り、片方の極角や平面内回転角も対称性によって範囲が削れます。Noperthedronは反例として機能すると同時に、反例であることを証明可能な形で記述するために設計された多面体でもあります。

証明の戦略は、縮小された5次元空間を小さな領域に分割し、それぞれの領域について「ここにはRupert通路を与えるパラメータが存在しない」と示すことにあります。主道具はglobal theorem（大域定理）とlocal theorem（局所定理）の2つです。

大域定理は、支持方向による分離判定として理解できます。ある候補配置で、コピー側の射影のある頂点が、穴側の射影凸包の外へ十分にはみ出しているなら、その配置はRupert解ではありません。さらに、はみ出しに余裕があれば、角度を少し変えた近傍全体も同時に排除されます。論文では、角度の摂動による射影の変化量が、回転行列と射影行列の作用素ノルム、および一次・二次の微分評価によって定量化されています。これにより、排除できる5次元の箱の大きさが、連続性の議論にとどまらず、実際に計算可能な形で与えられます。

大域定理だけでは証明は閉じません。問題となるのは、2つの射影がほとんど同じ形に見える局所的な場面です。この状況では、どこかの頂点が大きく外へはみ出すという余裕がなくなり、大域的な分離判定は効きにくくなります。そこで導入されるのが局所定理です。論文の局所定理は、境界上の任意の3点を見るのではなく、2つの合同な3点組 P_i と Q_i を選び、それぞれの射影が摂動に耐えて原点を囲む ε-spanning 条件を満たし、Q_i 側の射影点が局所的に原点から最も遠い境界点として振る舞う δ-LMD 条件を満たす場合に、その近傍全体を排除する構造を持っています。

局所定理の鍵は線形代数的な矛盾にあります。仮に局所的なRupert通路が存在するとすれば、コピー側の3点の射影距離は、穴側の対応する3点の射影距離より、いずれも小さくならなければなりません。一方、射影距離はもとの3次元点と射影方向との内積に結びついています。3点が正の係数で張る錐の中に射影方向を含むような配置では、同じ長さの2つの方向ベクトルに対して、3つの内積が同時にすべて一方向へ厳密に改善することはできません。論文のLemma 23は、この不可能性を抽象化した命題であり、局所定理はそれを実際の多面体の射影と微小な角度摂動に耐える形へ落とし込んだものです。

コンピュータ計算の厳密性についても、論文は注意深い設計を採っています。Rによる浮動小数点計算でまずsolution tree、すなわち探索領域の分割木を作りますが、著者らはこのRコード自体は主定理の証明ではないと明記しています。証明を完成させるのは、SageMathによる有理数ベースの検証です。三角関数は有理係数のTaylor多項式で近似され、sinとcosの近似誤差はκ/7以下に抑えられ、対応する行列の誤差はκ＝10⁻¹⁰以下に管理されます。平方根についても、上からの有理近似と下からの有理近似が使い分けられ、不等式判定は常に安全側に倒れるよう設計されています。

実際のsolution treeは、58万5200個の内部ノードと1811万5245個の葉を持っています。葉のうち1749万2530個は大域定理で、62万2715個は局所定理で排除されます。SageMathで確認されるのは、各葉に有理数版の大域定理または局所定理が適用できることと、葉全体が対称性で縮小された初期探索領域を覆っていることの2点です。この検証によって、NoperthedronはRupert’s propertyを持たない、という主定理が成立します。

論文ではさらにRuperthedronという別の多面体も構成されています。これはRupertではあるものの、locally Rupertではありません。著者らは具体的なRupert通路を与える一方で、2つの射影方向の差と平面内回転がすべて0.0006以下となる範囲には解が存在しないことを示しました。「Rupertである」ことと「任意に近い向きの組み合わせでRupert通路を持つ」ことは同値ではない、ということがここから分かります。

本研究は、凸多面体のRupert性という幾何学的問いに対し、正射影、凸包、線形代数、不等式評価、厳密なコンピュータ検証を組み合わせ、ひとつの明示的反例を構成しました。一方で著者らは、Rhombicosidodecahedron（斜方二十・十二面体）のような自然な候補が、現行の手法ではまだ扱えないことも記しています。「すべての凸多面体はRupertである」という予想はここで終わりますが、非Rupert多面体を体系的に研究する作業はここから始までしょう。