ハクソク

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

ハンナ・カイロが水畑-竹内予想を解決しました

323日前原文(english.elpais.com)

概要

  • Hannah Cairo は17歳で長年未解決だった Mizohata-Takeuchi予想 に反例を発見
  • 数々の数学的手法や フラクタル を駆使し、証明の難しさを逆手に取った
  • UC Berkeley や University of Maryland で学び、若くして国際会議で講演
  • 数学教育や仲間との交流を重視し、教えることにも意欲的
  • 今後も Ruixiang Zhang 教授の指導のもと、研究と教育活動を継続予定

17歳でMizohata-Takeuchi予想に反例発見

  • Hannah Cairo は高校生ながら、1980年代から未解決だった Mizohata-Takeuchi予想 に取り組み
  • 何ヶ月も証明を試みた末、証明困難な理由に着目し、 反例の構成 に発想を転換
  • フラクタルなど複数のツールを駆使し、慎重に構成を組み立てる必要性
  • 指導教員の Ruixiang Zhang に提案の正当性を納得させるまで時間を要したが、最終的に正しさが認められる
  • 予想が広く正しいと信じられていたため、若き解決者の登場はコミュニティに驚きをもたらした

米国での学びと数学への情熱

  • Nassau（バハマ） から米国へ移住し、 UC Berkeley で大学の授業を受講
  • 教授陣に自分の読書歴を伝え、授業参加を直談判
  • Zhang教授の授業で、予想の特殊な簡単な場合が課題として出され、オプションで本来の予想も提示
  • これをきっかけに予想の解明に没頭

調和解析とFourier理論

  • 調和解析 は関数をサイン波などの単純な成分に分解する分野
  • Fourier級数 の発明により、物理・数学現象の新たな理解法が誕生
  • Fourier制限理論 では、限られた種類の波で構成可能な対象を研究
  • Mizohata-Takeuchi予想は「特定の波だけを使うと、直線でできた図形しか得られない」と主張

反例構成の道のり

  • 最初の反例発見後、問題全体を 周波数空間 で再構成し、より簡単な反例の存在に気づく
  • El Escorial国際会議 （ICMAT主催）で初の国際講演を経験
  • 数学愛好者との交流や発表を楽しみ、年長の学生にも教えることに意欲

数学教育と将来への展望

  • 独学で難解な教科書を読み、当初は数論にも関心
  • Berkeley Math Circle のオンライン化により、バハマからも参加可能に
  • 数学サークルでの探究・対話型学習の魅力を強調
  • サークル活動で才能を認められ、後に講師としても参加
  • University of Maryland で博士課程進学予定、Zhang教授の指導継続
  • 数学教育・普及活動にも強い関心、今後は自身のグループ設立も志向

若手数学者支援の取り組み

  • スペインICMATの Mathematics Intensive Programme（MIP） など、若手数学者の発掘・支援体制
  • Ágata Timón García-Longoria がICMATの数学文化推進を担当

Hackerたちの意見

こちらに論文があります: https://arxiv.org/abs/2502.06137 大学院で調和解析のコースを受ける機会があったんだけど、結局受けなかったんだ。研究とはあんまり関係なかったしね。

└

X線変換のことは、今日ニューヨークタイムズでたまたま読んで初めて知ったんだけど、またここで見かけるとは。

https://archive.is/Nr1hH

反証されたの？

└

水畑-竹内予想は「すべての（いろいろな数学）」という形の主張なんだ。それが間違っているxが存在することを示せば、その予想は反証される。彼女は反例を見つけたんだ。

└

そう、予想の反例を見つけたんだよ。

└

そうだね、真の予想を証明するか、偽の予想を反証することは「解決する」ってことになるんだ。

元のタイトルの方が、ここでの編集されたものよりも情報量が多いよね。

└

元のタイトルの近似で提出したら、数秒で編集されたよ。

ちょっとバカな質問なんだけど、彼女は今秋に博士課程を始めるんだよね。もうそれを達成してるんじゃないの？ 数十年前の問題を解決した人に、さらに「別の」ことをすることを期待する理論って何なの？

└

アメリカの博士号は、研究だけじゃなくてたくさんの授業が必要なんだよね。もしかしたら、彼女はそのことに興味があるのかも。そうじゃなければ、特にEUの大学では、出版による博士号を提供してるところもあるよ。彼女は単に反例の出版を論文としてまとめて、卒業できるかもしれない。時には、指導教員なしでもできることもあるし。

└

でも、17歳で博士号を持ってる人って、何をするんだろう？そんな若い人を教授として雇うなんて想像できないよ。数学者としての非数学的な部分を指導してもらいながら、すでに生産的なコラボレーションを続けるために数年かけるのも悪くないアイデアだと思う。

└

Ph.D.ってのは研究のやり方を学ぶためのものだよ。たとえ一つの難しい問題を解決しても、そういう訓練が必要ないってわけじゃない。特に反例に関しては、スキルよりも才能や運の問題になることもあるから、難しいんだよね。PhDを持ってて、アカデミアに残りたい人の次のステップはポスドクだよ。一つの問題を解決したからって、良いポスドクを得るために必要なもの、たとえば明確な研究計画や一貫して出版する能力の証明があるとは限らないからね。

└

ここには深い理論はないよ。官僚は深く考えないから。

数学でオリジナルで新しいことをするのは、どんな年齢でもめっちゃ難しいよね。17歳でそれをやるなんて、超才能あるわ。おめでとう！

└

そもそも、何かオリジナルなものってことだね。

ハンナ・カイロの動画があって、そこではその予想と彼女の結果について説明してるよ。[1] それに、テレンス・タオも少し前にさらなる進展についてほのめかしてたよね。[2] 誰かそのことについて詳しい人いる？

└

うん、たぶんこれだね： https://terrytao.wordpress.com/2025/02/25/the-three-dimensio...

「ある日、彼は予想の特別でずっと簡単なケースを宿題として証明することを提案した。オプションの部分として、元の予想も含めた。」 そこには教訓があるね：できるなら、いつでも人に優れた機会を与えてあげることが大事だよ。

素晴らしい成果だね。これでプリンストンの数学科が彼女に博士課程に参加するように頼むだろうね。