10代の数学者たち、驚異のフラクタルの中にあらゆる結び目を見つける

 (quantamagazine.org)
1 ポイント 投稿者 GN⁺ 2024-11-27 | 1件のコメント | WhatsAppで共有
  • トロント大学の大学院生だった Malors Espinosa は、高校生でも証明に挑戦できる研究問題を探す中で、あらゆる結び目を Menger sponge の中に入れられるかを問うた
  • Menger sponge は立方体を繰り返しくり抜いて作るフラクタルであり、Karl Menger は1926年にこの構造があらゆる曲線を含む universal curve であることを証明した
  • Joshua Broden、Noah Nazareth、Niko Voth は結び目を arc presentation として格子化し、Cantor set の座標を使って sponge の穴を避ける方法を考案した
  • 数か月にわたる週次の Zoom ミーティングの末、3人の学生は あらゆる結び目 が Menger sponge の中に入れられることを証明し、論文は arXiv で公開された
  • tetrahedral 版では trefoil knot と、より広い pretzel knot の族まで配置できることを示したが、あらゆる結び目へ拡張できるかはまだ未解決である

高校生向けの研究問題から始まった結び目とフラクタルの定理

  • 2021年秋、Malors Espinosa は高校生が自分で証明でき、なおかつ研究価値のある数学の問題を探していた
  • 地域の高校生向け夏季ワークショップで、数学研究の基本的な考え方と証明の書き方を教えており、一部の学生は解答集のない問題に取り組む準備ができていた
  • カオス理論の教科書で Menger sponge に再び出会ったことから、このフラクタルと結び目理論を組み合わせた問いへとつながった

Menger sponge と universal curve

  • Menger sponge は、立方体を Rubik’s cube のように分割した後、中央の小立方体と6つの面の中央にある小立方体を取り除き、残った20個の小立方体に同じ操作を無限に繰り返して作られる
  • 繰り返しが進むほど穴は幾何級数的に増え、無限に繰り返した後には体積が0に近づき、表面積は無限に大きくなる
  • Karl Menger は1926年にこの sponge を定義し、任意の曲線を変形して sponge 上のどこかに 自己交差なしで 入れられることを証明した
    • 単純な線や円
    • 木や雪の結晶のように見える構造
    • フラクタルの塵のような曲線
  • Menger はこの性質から sponge を universal curve と呼んだ

円と同相なあらゆる結び目も入れられるのか

  • Malors の問いは、Menger の定理が 同相（homeomorphic） な曲線を区別しないという点から出発している
  • 数学的な結び目とは、ねじれたり結ばれたりしたひもの両端をつないで作る閉じたループであり、その上を歩くアリにとっては円のように出発点へ戻ってくる
  • この意味ではあらゆる結び目は円と同相だが、Menger の証明が保証するのは円が sponge の中に入るという事実だけである
  • 目標は、結び目の輪と絡みを保ったまま、あらゆる結び目 を Menger sponge の中で見つけられることを示すことだった

arc presentation で結び目を格子化

  • 3人の学生 Joshua Broden、Noah Nazareth、Niko Voth は、結び目を平面格子上の arc presentation として表現し、この問題に取り組んだ
  • arc presentation は、結び目のひもが互いに前後を通る情報を格子上の点の配置に変換するもので、各行と各列にはちょうど2つの点が入る
  • 点を水平線と垂直線で結び、2つの線分が交差するときは垂直線が水平線の前を通るように描く
  • あらゆる結び目はこのような格子状の表現で表せるため、結び目の重要な性質を研究しやすくなる

Cantor set の座標で sponge の穴を避ける

  • 学生たちは、arc presentation の水平線を Menger sponge の一方の面に、垂直線をその反対側の面に置くというアイデアを用いた
  • 最も難しい部分は、arc presentation の各角で2つの面を sponge の内部で接続する際、経路が 穴 に落ち込まないようにすることだった
  • そのために、1次元フラクタルである Cantor set を活用した
    • 線分を3等分し、中央の3分の1を取り除く
    • 残った2つの線分にも同じ操作を無限に繰り返す
    • 結果として、散らばった点の集合が残る
  • Menger sponge と Cantor set が同じ回数の除去ステップを経たと考えると、sponge の面上で2つの座標がどちらも Cantor set に属する点には穴がないはずである
  • sponge の反復構造により、そうした点のすぐ奥にも穴がないはずなので、結び目は sponge の材料から外れることなく通過できる

あらゆる結び目を Menger sponge に入れる証明

  • 残る課題は、任意の結び目の arc presentation を圧縮または引き伸ばして、すべての角を Cantor set の座標 に合わせられることを示すことだった
  • このような圧縮と引き伸ばしは arc presentation 全体の構造を変えないため、表している結び目自体は変わらない
  • Broden、Nazareth、Voth は、垂直線と水平線が交差する点が Cantor set の中に来るように、任意の arc presentation を変形できることを証明した
  • この結果により、より多くの角も Cantor set に合わせられることが保証され、最終的に与えられた結び目を Menger sponge のある反復段階の中に入れられるようになった
  • 3人の学生は、あらゆる結び目が Menger sponge の中に入れられることを示した

tetrahedral sponge へ拡張した問題

  • 元の問いを解いた後、学生たちはあらゆる結び目を tetrahedral 版の Menger sponge にも入れられるかを調べ始めた
  • この場合、互いに正確に向かい合う面を使う従来の方法がもはや機能せず、問題はより難しくなる
  • Malors は一時期、trefoil knot は tetrahedron の中に入れられないと考えていたが、3人の学生はこれに反対し、新しい配置方法を見つけ出した
  • その後、trefoil が属するより一般的な結び目の族である pretzel knot 全体についても、同じことが可能であると証明した
  • 他の種類の結び目が tetrahedral sponge の中に入れられるかは、まだ未解決問題として残っている

フラクタルの複雑さを結び目で見る可能性

  • Malors は、学生たちの方法がフラクタルの複雑さをより広く測る方法になり得ると見ている
  • すべてのフラクタルがあらゆる種類の結び目を含めるわけではないため、どの結び目を含められ、どの結び目を含められないかが、フラクタル構造を理解する基準になり得る
  • 2014年には、数学愛好家たちが MegaMenger という世界規模のプロジェクトで、名刺を使った200ポンド規模の有限 Menger sponge を作ったことがある
  • Allison Moore は、この成果が物理的な材料で作られる新しい数学アートにつながる可能性があると見ている
  • 3人の学生は全員高校を卒業し、Broden だけが大学の授業と並行して tetrahedron 問題に取り組み続けており、3人とも数学の進路を検討している

関連記事

1件のコメント

 
GN⁺ 2024-11-27
Hacker News の意見

  • 結び目理論をもとに作られたブラウザパズルで、遊んで何を学んだのかは分からないけれど面白かった
    https://brainteaser.top/knot/index.html

  • Quanta は本当に素晴らしいマガジンだと思う。今回初めて知った

    • 良いポッドキャストもいくつかあって、個人的には Joy of Wh(y) がかなり好き

  • 「すべての結び目は円と**同相（homeomorphic）**である」ことの説明はここにある
    https://math.stackexchange.com/questions/3791238/introductio...

    • これは正確ではない。結び目は位相空間ではなく埋め込み（embedding）、つまり K:S^1 -> S^3 であり、より一般には S^n -> S^n+2 である。なので同相という概念はそのままでは適用されない
      元記事が指しているのは、像に制限すれば、円からその像への同相になるという点。円の埋め込みだからである
      位相空間の間の写像として見ると、そして普通は滑らかな圏や区分線形圏で選ぶため、さらに制約が生じる。「同型」に最も自然に近い解釈は、Kf=gK を満たす同相の組 f:S^1 -> S^1, g:S^3 -> S^3 である。つまり自然変換や可換四角形に相当する
      こうするとほぼ望むものは得られるが、同相によって空間の向きや結び目の向きを反転できてしまい、これは物理的な結び目の現象とは合わない。そのため空間に向きを与える必要があり、そのために区分線形／滑らかな圏へ移るか、ホモトピー／アイソトピーを使うことになる
    • 直感的には、円と結び目でそれぞれ始点を1つ取り、互いに違う速度で歩いて、同じ時刻に始点へ戻ってくると考えればよい
      実際、結び目は円からその写像の像、つまり結び目への連続全単射である。リンク先の回答もそう述べている
      追記：記事を見直したら、この直感的な説明はすでにアリのたとえで入っていた

  • Quanta が本当に好き。印刷版があればいいのに

    • 同意。印刷購読料を喜んで払うし、近くの高校にもう1部寄付してもいい
      ただ、今どきの10代は図書館に行かないかもしれないので、雑誌をトイレ・廊下・カフェに置いて回る必要があるかもしれない
    • MIT の Leonardo を思い出す。2年生のときに少しハマっていたものの1つだった: https://direct.mit.edu/leon
    • 逆に、アニメーションなどを入れられるという点で現代的なメディアのほうが好み

  • 「Menger sponge の四面体版」は、通常は Sierpiński tetrahedron としてよりよく知られており、Sierpiński triangle の3次元版である

  • なぜわざわざフラクタルを使ったのか分からない。普通に3次元格子を使えばよかったのでは？ 適切な解像度の格子でも同じ役割を果たすのでは？
    それとも、こうした制限された3次元格子の部分集合の中でもすべてを実現できることを示そうとしているのか？

    • 3次元格子での結果はよく知られていて、ほとんど自明と言ってもよさそう。1つの次元では2層だけ残して残りを捨ててもよい
      言うように Menger sponge は3次元格子の部分集合なので、学生たちは穴を避けて通る構成を見つける必要があった。個人的には結果に驚きはしないが、見栄えはよい
      ただ、記事で本当にすごい部分は最後の未解決問題だと思う。すべての結び目を Sierpiński tetrahedron の中に埋め込めるのだろうか？

  • 証明が初等的で理解しやすい点が良い。ほとんどピタゴラスの定理の証明を思い出させる一方で、かなり意味のあるものになり得そうに見える

  • とても素晴らしい。Sierpiński gasket でどう解いたのかも、同じような可視化で見せてくれたらよかった